("9.3" ta6le ("16778799998b062fdd38f2c0e94124fd8af43560" . "3d2b817a729b92c763a773ce68eea0820bdbc4f1") (collects #"eopl" #"lang" #"reader.rkt") (collects #"eopl" #"main.rkt") (collects #"eopl" #"tests" #"chapter6" #"cps-lang" #"cps-out-lang.rkt"))
