("7.9" racket ("39c1e4675ccc9e5d37ce18a393e960bba0e7647c" "acdbf42b88fe7b48a35977ff27556232aeef50ec" . "ba184fc65844ddc2f3c863dc3ad9d4ed2a208e6e") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))
