("5.3.1" ("2196b918c3f4e91eca8956a9024cdee0e7336ad4" . "d61ddf9116b7fb99dd9badcb7d1192278ffc8de1") (collects #"racket" #"base.rkt") (collects #"unstable" #"automata" #"nfa-ep.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
