("5.3.1" ("71601bb2d9dec4550df9516a29ccb49006bd8ef6" . "d332063d662760d472342b39ae0b361be6a2dbd5") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
