% SZS status Theorem

WATCH: 0.00 CPU 0.01 WC

WATCH: 0.00 CPU 0.05 WC

FINAL WATCH: 0.00 CPU 0.05 WC