("6.2" ("21a85df0b2b2e686b8333add66d9f26c6a11ba71" . "1819393c443f2c6b0ea70ed8ba5ed41df021f259") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"base.rkt") (collects #"htdp" #"testing.rkt"))
