("5.3.1" ("aaa9274def5b4377d10d244c96909b34e97dcc6b" . "cdef8d95cba279e49e0ae3d1ba2df0163a123abb") (collects #"racket" #"base.rkt") (collects #"racket" #"performance-hint.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
