TPTP Problem Domain: QUA

`QUA001^1.p`	`QUA002^1.p`	`QUA003^1.p`	`QUA004^1.p`	`QUA005^1.p`	`QUA006^1.p`	`QUA007^1.p`
`QUA008^1.p`	`QUA009^1.p`	`QUA010^1.p`	`QUA011^1.p`	`QUA012^1.p`	`QUA013^1.p`	`QUA014^1.p`
`QUA015^1.p`	`QUA016^1.p`	`QUA017^1.p`	`QUA018^1.p`	`QUA019^1.p`	`QUA020^1.p`	`QUA021^1.p`