("8.1" racket ("97b724ac15ccf717724114854fc56f0e211b8bb1" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "af639c63fd24d85d12eb6ac64eef1708bb3b6a49") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
