("5.3.1" ("0e44806478aefb6694d7044e9a527dd0ca2bf5da" . "d332063d662760d472342b39ae0b361be6a2dbd5") (collects #"mzlib" #"class.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
