("5.3" ("abf1ec1d5752ead63f536e2372a5b031077cee5f" . "76fada164a8fe5777773f126e5b73eb1ad0afa7d") (collects #"racket" #"main.rkt") (collects #"scribblings" #"guide" #"arith.rkt") (collects #"syntax" #"readerr.rkt") (collects #"racket" #"lang" #"reader.rkt"))
