("8.17" ta6le ("0bbabae81df11a3b034522d8ef544d6cc4ecb270" . "8e8a9673fe0f0634a722b9074e8b7043dc0bf80c") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzlib" #"contract.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt"))
