("9.1" ti3le ("f5adca2269dca8ac04491d68556854f643943a11" . "b857de785da240589489cbdfe774a78686b6acb2") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter7" #"checked" #"lang.rkt"))
