("9.1" tppc32osx ("7b5c286f9dbb4cb23448bfa60a8a59f6dfc719ac" "aee73eb79253d36439f1af75f63ccd49b41bf1aa" . "05b3b238da7848c18686beda80bb07afa63e3ea5") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))
