line 11, characters 11-12: syntax error


 No.of.Axioms: 0

WATCH: 0.00 CPU 0.01 WC
line 11, characters 11-12: syntax error


WATCH: 0.00 CPU 0.34 WC

FINAL WATCH: 0.00 CPU 0.34 WC