("9.1" ti3le ("dc15472477eb522616cb6f563387bf2d795fc8d4" . "027f310ce161afdd776bfa2ba08dc750cf801ef2") (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"))
