("9.1" ti3le ("33c12d99d4318edfa72271bf11e10afea9b192e0" . "12129d3789c4a6edeea4569021f450c6aa71783a") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter8" #"full-system" #"lang.rkt"))
