("9.1" ti3le ("adea426b43bdca70c25cb6e4a3ab2f7d8796cbbf" . "af921dc92112d5f1ad3d491d57df365a6b106ba7") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"examples" #"list-machine" #"list-machine-typing.rkt") (collects #"redex" #"examples" #"list-machine" #"list-machine.rkt") (collects #"redex" #"main.rkt"))
