("9.3" ta6le ("33c12d99d4318edfa72271bf11e10afea9b192e0" . "bbb0ef5e17374272195b41290bcc9a5d0b49c5e1") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter8" #"full-system" #"lang.rkt"))
