("5.3.1" ("0dfc1b94a42ba130084e4bd41c07121dfef954af" . "5d9a13f70d2aec2a9d4051b134a520a7f1dd2e72") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"42" #"ec-core.scm"))
