("8.1" racket ("d6f193760417aa7d2bd061bc9767469d57da0c15" "0314c5a7663a31970810df29ac78ab1610ad1b67" . "62c7b7ebedb2f6c01ae11388d3a700ad4ffad578") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"serialize.rkt"))
