("9.1" ti3le ("4ce035cd0fe83d4aa2d63b00766aec2845bd12d4" . "fa5cf5d9a6d876c4137407332fcf9a37ec1d1028") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark.rkt"))
