("5.3.1" ("28bfa6042484032ea686ea58956c21acc1affdad" . "e8be87e61015ae612d398e90a4a237d6c0534a3d") (collects #"rnrs" #"main-6.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
