("9.1" ta6le ("0bbabae81df11a3b034522d8ef544d6cc4ecb270" . "b4c0301a61beb44cb3766d9b069dd72f9264bedb") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"contract.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
