("7.9" racket ("7b5c286f9dbb4cb23448bfa60a8a59f6dfc719ac" "acdbf42b88fe7b48a35977ff27556232aeef50ec" . "da4834969d6b366cdfe59d452a9aad60319e49cd") (collects #"info" #"main.rkt") (collects #"setup" #"infotab.rkt"))
