("5.3.1" ("bea45a035245779e69968349d16d060e9f134fa2" . "40d4a4ccd3ad78fdc4ca36d59c3d6a75d030ebf7") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"contract.rkt") (collects #"syntax" #"stx.rkt") (collects #"mzlib" #"list.rkt"))
