("8.1" racket ("9474ef01111ef783ceda2e50427bdd7566058aec" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "f6b5a7c19db9b2f6ff946aac0884b3b2cdae2891") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
