("5.0.1.5" ("a7d6bbef57bbd64a05e0e82a470ea624786efcfd" . "6810c08e7e07b6b917630dda26ce3d2cbebb8923") (collects #"setup" #"infotab.rkt") (collects #"string-constants" #"main.rkt") (collects #"setup" #"infotab" #"lang" #"reader.rkt"))
