("8.1" racket ("fc2c6c1cedde98dfa2fd30fcf3bf57c057e733f4" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "c73076fc80151952b99e480dd94f0bca65e6c26a") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
