("5.0.1.5" ("c1ae4395fc38bdcc6555deaf0690014bedc9d4ac" . "c4a2acd556b7c505582d5acc7f47501f2a6e31cd") (collects #"racket" #"main.rkt") (collects #"racket" #"serialize.rkt") (collects #"racket" #"lang" #"reader.rkt"))
