("7.3" racket ("cca4feb65898ec2099dcf623812b3e77b846ad74" . "bd39a745de8bd96ca03f02b8e3506e7dbcb9a9ec") (collects #"racket" #"private" #"kw.rkt") (collects #"racket" #"private" #"path.rkt") (collects #"racket" #"private" #"qq-and-or.rkt"))
