("8.1" racket ("c3eda922a69888d7ac96ce6f9479ebc25bebaf9f" "e8331ddc3d95065fd1bae85d63e201ed01bfea38" . "6ae371946a4f5da584c4cf0e07b23b2cb586fccb") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
