("8.1" racket ("d63018e964eb926c4fcd67ad83a99319d592e1f4" "4bcec00532a14572f2dd364e99e86b7c844346ba" . "3163aaac1bca2f5f567a83a534007ae2ca170872") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"private" #"exists.rkt") (collects #"racket" #"contract" #"private" #"parametric.rkt") (collects #"racket" #"runtime-config.rkt"))
