("5.3.1" ("da93afb55036923c654e13d82cb67ae255ce932e" . "f657d89cbd8e06436745f4298733b030391bc09a") (collects #"racket" #"base.rkt") (collects #"racket" #"struct-info.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
