TPTP Axioms File: LCL013%5E0.ax


ERROR: Illegal character in /home/tptp/TPTP-v7.2.0/Axioms/LCL013%5E0.ax