("5.3.1" ("23026624eb6f19f551f98f549102a0a198e38b6f" . "1b2bb05b2564b3bd3f7628d833c29c48e5a9d667") (collects #"mzlib" #"kw.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"core.rkt") (collects #"racket" #"main.rkt"))
