("5.3.1" ("05876e2e41bac81946cd0de5a9621d2bcc9a912c" . "1d93cd10f1c75c4c671fb37e65dd2ba9d97f8230") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"9.rkt"))
