("7.3" racket ("e0d5d27656dd84e556db96a789c47bc558cfa4fc" . "08b7c9dfd2f20743b7ec005e14c6e70d3cc95cce") (collects #"racket" #"private" #"pre-base.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt"))
