("8.12" ta6nt ("0160a40a20d9e0d2a9dc08e0d3b6407cd43b669f" . "12567ad7cf048b54fd2e6314d628c1279919250c") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))