("9.1" ta6le ("adea426b43bdca70c25cb6e4a3ab2f7d8796cbbf" . "9b20165332f014ed8895fb21afe66813caeaed4c") (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"))
