#lang reader "main.rkt" ★ ; 14029 10 3 15 10 5 15 5 15 9 2 5 8 5 2 3 6