("8.17" ta6le ("523579aa0983b89ddcd6be4b662d1ccc5cff011b" . "db64e0a124cfb5e3c07c9c5c3dfaece2cf9dfd16") (collects #"mzlib" #"unit.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt"))
