#lang reader "main.rkt" ★★
0 2 7 0