("5.3.1" ("50a4128c748bcf7a9382b5488a9726adf06ebe79" . "05ad8121c74166bb760775df4998f2afeadb1af2") (collects #"racket" #"base.rkt") (collects #"scribble" #"text" #"main.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
