("5.0.1.5" ("a4a1685c7ca138aea538401e79b348e7a972dfb1" . "5b43a2c0de83bf06c8beda06ae8ed647f6285559") (collects #"scheme" #"mzscheme.rkt") (collects #"frtime" #"main.rkt") (collects #"mzlib" #"class.rkt"))
