("8.1" racket ("d72a4236e9e51748a05453ed4b66bee7d17b987d" "34a3764a396a009ab767b129204c355ca9dbb9a9" . "3aad32dac07fcbc8dbd0d8a62ae8d65c16cf7b3b") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
