("7.0" ("8d7dc3c1b896a7c3705e49dad619c32885701f02" . "8410cbd9aa1eebb8264f62e1eb0e1ffe955e21aa") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"private" #"custom-write.rkt") (collects #"racket" #"runtime-config.rkt"))
