("9.3" ta6le ("d7e6f312850e0588d31668e56d56c27d1ee6bddb" . "a12df8334c2d7183790a97446821e1e5a2c868de") (collects #"r6rs" #"lang" #"reader.rkt") (collects #"r6rs" #"main.rkt") (collects #"r6rs" #"private" #"prelims.rkt") (collects #"r6rs" #"private" #"records-explicit.rkt") (collects #"rnrs" #"base-6.rkt") (collects #"rnrs" #"syntax-case-6.rkt"))
