("5.0.1.5" ("df0864eb502ceb553ca9563588bcfa23b21deec1" . "3b000c812c73fa51ec6995b94d13b867fe0dd7e7") (collects #"racket" #"base.rkt") (collects #"racket" #"match" #"match.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
