("7.8" ta6nt ("79c9808cc89ac5e2d960c2f045c8f99f9e8dc9f7" "9a3f6668b41878d616f1ba37211ac4d200dbc92e" . "ae65a89b625d3f434a1ad44010833303cc7bce0c") (collects #"racket" #"private" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"readerr.rkt"))
