("8.17" ta6le ("d70bbb0fe36d8a94af8a4e8656614df05218ff71" . "36dfc60e43452cd95647973c1307b237565f00a0") (collects #"mred" #"main.rkt") (collects #"mzlib" #"class.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"format.rkt") (collects #"racket" #"runtime-config.rkt"))
