("9.3" ta6le ("0240cb14ffbb70ddb2ce6e1311ffadeb141961da" . "a5d65d01ab8210cdde7f9fc035f7f90abb913b16") (collects #"mred" #"mred.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
