("8.1" racket ("06dc430a0f94037bfc2f4ff66b23ff730619f0e7" "281733a622c299aee4d2e6b4aefdff1b81cc2e35" . "75ab1190911acecdc79de7c4c80f402342ac1843") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"define.rkt"))
