("5.3.1" ("6002d5e601cf0db07dbc7e2b71bd2bcae55aa2ac" . "e82d6b3d4059d44d34c0c35e940961bdd523915c") (collects #"racket" #"private" #"pre-base.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt"))
