OutputVerbosity,0
LoadFile,set.mm
VerifyProof,*
Parse,* 
ProofAsstUnifySearchExclude,biigb,xxxid,dummylink
ProofAsstProofFolder,myproofs
TheoremLoaderMMTFolder,myproofs
TMFFUseFormat,7
ProofAsstDeriveAutocomplete, no
DefineWorkVarType,wff,&W,999
SystemOutputFile,c:\mmj2\mmj2jar\temp2.txt,update,""
ProofAsstBatchTest,*,c:\mmj2\mmj2jar\temp.txt,unified,Correct,Print,NoDeriveFormulas,NoCompareDJs,NoUpdateDJs,NoAsciiRetest