("8.1" racket ("7b5c286f9dbb4cb23448bfa60a8a59f6dfc719ac" "efbd89143930ed320f6bb433b2f82b7aac3314e4" . "155cfb01f508aa22dcbff8695e9e93d2ff70d70d") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))
