("8.15" tarm32nb ("d4009eb8509bd944e35c5b4ce7f4b57980443d09" . "53f9834c4064fe8cdbabd4f59968ce86d8c4fbd6") (collects #"r6rs" #"private" #"readtable.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"syntax" #"module-reader.rkt"))
