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