("5.3.1" ("e9f1b09ae8a2595f293e62e4cb1e1302421d7760" . "40420ffbf7bf1eb59742f7a564f1eae947136e03") (collects #"scheme" #"private" #"provider" #"lang.rkt") (collects #"racket" #"list.rkt") (collects #"scheme" #"private" #"provider" #"lang" #"reader.rkt"))
