("7.8" ta6nt ("048d58eca56da4288828fb614765780a1575cc28" "b9cf08935e34616c009a9bd21a11e6e894da3231" . "7aac1ddc422c466175274dcf410d2ad6625ce55e") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt"))
