("8.1" racket ("e540e413f89eeba61a0fac071b5e467658daf352" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "325a43ba9968d9694a8fbe92edc3dd4d987fd157") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
