("8.14" racket ("e94672c42b88f70e91ad6aab9d19a26b4dd9e88d" "a3dfa5dbbc4ce841bbfb8306a0302b0ab4b037d3" . "0f3411d07b3411c429bdc42cfcefa81fc25e03eb") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))
