("5.3.1" ("05876e2e41bac81946cd0de5a9621d2bcc9a912c" . "52c406b16b7d1fd46cb140eee227a26921fcfc1f") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"9.rkt"))
