("7.9" racket ("5cce17d5d19441513891eef812cfb3be3d5b8502" "07c4b3478443443bb003b8487ab63e6d9f05fa36" . "1c0ba332fee1984154f1deeeba95ccf522f9bf0f") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
