1.2
wnds:Windows 954.10
BleF
C986327382830D986327458520
newFormat
{p=boole{_fAssessmentData{_fTitle=@;_fRefData{_fExpVector(openproof.boole.BooleExpressionData{_fLabelNum=1;_fLabelText=@;_fByBoole=true;_fTruthColumnExist[openproof.boole.TruthColumnData{_fValueList=TTFF;_fCharIndex=0;_fByBoole=true;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="Cube(a)";},openproof.boole.BooleExpressionData{_fLabelNum=2;_fLabelText=@;_fByBoole=true;_fTruthColumnExist[openproof.boole.TruthColumnData{_fValueList=TFTF;_fCharIndex=0;_fByBoole=true;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="Tet(a)";})_fIsReferenceSide=true;}_fSentData{_fExpVector(openproof.boole.BooleExpressionData{_fLabelNum=1;_fLabelText=@;_fByBoole=false;_fTruthColumnExist[@,@,@,@,@,@,@,@,openproof.boole.TruthColumnData{_fValueList=TFFF;_fCharIndex=8;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="Cube(a) \u2227 Tet(a)";})_fIsReferenceSide=false;}_fIsTaut=@;_fIsTTPossible=@;_fAreTautEquiv=@;_fIsLastSentenceTautCon=@;_fIsFirstSentenceTautCon=@;_fNeedToBeComplete=@;}}}c=103426;