("8.17" ta6le ("75fc4364efe1d38ae17b934ea0621b5199372f45" . "22a5e09e8b669a8dd65c7a1d02c78dd03de1341d") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"private" #"utils.rkt"))
