("8.15" tarm32nb ("2018b42db3588fdc9fc59ba32c373feae5ada4a1" . "d59daea71ae50398ce9687b88368ddcd16c34b7a") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"mzscheme" #"main.rkt"))
