("8.17" ta6le ("62665eba16f015907f7658e39091f0c16ef95941" . "c809d5b6eb492d8dd7f845ee0f6e0af1c0485a88") (collects #"deinprogramm" #"quickcheck" #"quickcheck.rkt") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"simple-tree-text-markup" #"data.rkt"))
