("5.3.6" ("21a85df0b2b2e686b8333add66d9f26c6a11ba71" . "d6f92e11f45ea3c2ce96e14d320630aeb6c17387") (collects #"htdp" #"testing.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
