("8.1" racket ("4d947bedeaaf67b1112bd4edde97fed7b706bea9" "7fc3a885206763c1a93dbfad1d1066edd816d559" . "9f3583dc22b5198b1d8b44a710d34892ca0df9c9") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
