("9.1" tppc32osx ("5cce17d5d19441513891eef812cfb3be3d5b8502" "e2a49f8878c00070f8bc141ef1986371dd6c45e7" . "ea936e32e5c2d842ba5f4bedfc75672b8f7ef0d9") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
