("7.8" ta6nt ("7fbbf3de0ea50315719c694bade9d726f7ca8634" "e475f27778a289bd704201a78f243dfcee58bc0f" . "c3c0bc218bbf5bf7a3a0189b5359f53c2b0b0a0c") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"intdef.rkt"))
