("8.17" tarm64le ("bbea41825de8bba752063d64ae2a361e03d5fe69" . "4b156e8037c7fac9228df7ca02f19a66f408228a") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter5" #"letrec-lang" #"data-structures.rkt"))
