("5.3.1" ("f205052a86e1fa3488d9b830f35e50176a9a7155" . "3fe84dde5aa842ad30b53df0eef7bbdc083f09af") (collects #"htdp" #"testing.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"lang" #"reader.rkt"))
