("8.1" racket ("e567de95db2ed957bb0e34fbca8e75d4f7085510" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "a87f13d0bcdee3910e340d9494c24b37f5b796de") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
