("8.1" racket ("e94672c42b88f70e91ad6aab9d19a26b4dd9e88d" "efbd89143930ed320f6bb433b2f82b7aac3314e4" . "39dda8f9d3a08fecf469b684bd6fb6a04eec6d93") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))
