("8.17" ta6le ("81b49e157ee6a1b48aa6b2ad5a767b4f8fa4e029" . "3c835294ba5feb3af0309884c8aeae2a32794da2") (collects #"htdp" #"matrix.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
