("9.3" ta6le ("0bbabae81df11a3b034522d8ef544d6cc4ecb270" . "84929623f9d4a6cc0194382beafd3fe3fa942b8e") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"contract.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
