("5.3.1" ("64884ccdd0ff9f6a75aa59890e7247e760ddbdfb" . "a9d876aa8b221550313b5cd503f15ae5890ac504") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"sequence.rkt") (collects #"racket" #"stream.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
