("5.3.1" ("157abe5c075335e0269611ef1a73d1c53bcd4816" . "6a1248e6f501a01d44bd929f137ad2bc042310ba") (collects #"racket" #"private" #"stream-cons.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
