("8.15" #f ("728fefb5c48ec584213eb9f80bc0cbe9c03957d3" . "7a561ccd44eb42fb247e9afdb24ac1818926890a") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt"))
