("9.3" ta6le ("75fc4364efe1d38ae17b934ea0621b5199372f45" . "668b327cc8b40397ac1dfd9e0f10ff12524b60af") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"private" #"utils.rkt"))
