% SZS start BatchIncludes
include('Axioms/CSR003+0.ax').
include('Axioms/CSR003+1.ax').
% SZS end BatchIncludes
% SZS start BatchProblems
/home/graph/tptp/TPTP/Problems/CSR/CSR075+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR075+2
/home/graph/tptp/TPTP/Problems/CSR/CSR076+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR076+2
/home/graph/tptp/TPTP/Problems/CSR/CSR079+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR079+2
/home/graph/tptp/TPTP/Problems/CSR/CSR080+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR080+2
/home/graph/tptp/TPTP/Problems/CSR/CSR082+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR082+2
/home/graph/tptp/TPTP/Problems/CSR/CSR083+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR083+2
/home/graph/tptp/TPTP/Problems/CSR/CSR084+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR084+2
/home/graph/tptp/TPTP/Problems/CSR/CSR085+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR085+2
/home/graph/tptp/TPTP/Problems/CSR/CSR086+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR086+2
/home/graph/tptp/TPTP/Problems/CSR/CSR088+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR088+2
/home/graph/tptp/TPTP/Problems/CSR/CSR089+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR089+2
/home/graph/tptp/TPTP/Problems/CSR/CSR090+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR090+2
/home/graph/tptp/TPTP/Problems/CSR/CSR091+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR091+2
/home/graph/tptp/TPTP/Problems/CSR/CSR092+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR092+2
/home/graph/tptp/TPTP/Problems/CSR/CSR093+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR093+2
/home/graph/tptp/TPTP/Problems/CSR/CSR094+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR094+2
/home/graph/tptp/TPTP/Problems/CSR/CSR096+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR096+2
/home/graph/tptp/TPTP/Problems/CSR/CSR098+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR098+2
/home/graph/tptp/TPTP/Problems/CSR/CSR099+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR099+2
/home/graph/tptp/TPTP/Problems/CSR/CSR100+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR100+2
/home/graph/tptp/TPTP/Problems/CSR/CSR101+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR101+2
/home/graph/tptp/TPTP/Problems/CSR/CSR103+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR103+2
/home/graph/tptp/TPTP/Problems/CSR/CSR104+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR104+2
/home/graph/tptp/TPTP/Problems/CSR/CSR108+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR108+2
/home/graph/tptp/TPTP/Problems/CSR/CSR109+2.p /home/graph/tptp/tmp/LTBResults/SMO/BLuNT---1.0/CSR109+2
% SZS end BatchProblems