("9.1" ti3le ("75fc4364efe1d38ae17b934ea0621b5199372f45" . "b3762a53a87a8ddc7fc4bb1d5b94562bfc51defe") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"private" #"utils.rkt"))
