PUZ056-2.010

DCTP---1.31.UNS-Ass.s Darwin---1.4.5.UNS-Ass.s GrAnDe---1.1.UNS-Ass.s Paradox---4.0.UNS-Ass.s SOS---2.0.UNS-Ref.s Vampire---5.0.1.UNS-Ref.s Vampire-SAT---5.0.1.UNS-Ref.s