("8.17" ta6le ("faf2075345a30a31189c9cc41ede258ef90a7f4f" . "b38df2d92c1989ca5b04817975b9eb0724d781dd") (collects #"deinprogramm" #"sdp" #"private" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
