("8.1" racket ("bd0defae0757a7416e93e64c861b62cee7225c2c" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "5f9bf3be11582fd2bd2ca211cacfc1d535513eb7") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
