TPTP Axioms File: LCL013%5E2.ax


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