("7.3" racket ("c638adfc8ff3b103ab9d7cbe4ab034a4c5cb1511" . "97be45bd692c5c8cb6b65ab81bf17cf66eb1bce8") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
