("5.0.1.5" ("abf1ec1d5752ead63f536e2372a5b031077cee5f" . "54cd25c5c8aa5141809c3ea5d89f4e5dc4d89455") (collects #"racket" #"main.rkt") (collects #"syntax" #"readerr.rkt") (collects #"scribblings" #"guide" #"arith.rkt") (collects #"racket" #"lang" #"reader.rkt"))
