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