("5.3.1" ("3a0c27cf67cbeeaa33814c6c8d229a3318bf6221" . "6baf6e7771e46138208e0f68a12f7646d72e3d4f") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"syntax" #"stx.rkt"))
