("9.1" ta6le ("de334a9a6cecb2c06ac361c5f308105c08143ff0" . "df6c10ba9f68319a77d4d5f366a93a6bb1fc9284") (collects #"lang" #"private" #"teach.rkt") (collects #"lang" #"private" #"teachprims.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt"))
