2.4
macs:Mac OS X10.2.8
BleF
C994620279388D994620335989C1137780825985D1137780891404C1137888170358D1137888324239
newFormat
{p=boole{_fAssessmentData{_fTitle=@;_fRefData{_fExpVector(openproof.boole.BooleExpressionData{_fLabelNum=1;_fLabelText=@;_fByBoole=true;_fTruthColumnExist:48[openproof.boole.TruthColumnData{_fValueList=TTFF;_fCharIndex=0;_fByBoole=true;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression=A;},openproof.boole.BooleExpressionData{_fLabelNum=2;_fLabelText=@;_fByBoole=true;_fTruthColumnExist:48[openproof.boole.TruthColumnData{_fValueList=TFTF;_fCharIndex=0;_fByBoole=true;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression=B;})_fIsReferenceSide=true;}_fSentData{_fExpVector(openproof.boole.BooleExpressionData{_fLabelNum=1;_fLabelText=@;_fByBoole=false;_fTruthColumnExist:48[@,@,@,openproof.boole.TruthColumnData{_fValueList=TFFF;_fCharIndex=3;_fByBoole=false;},@,@,@,@,openproof.boole.TruthColumnData{_fValueList="TFFT\000";_fCharIndex=8;_fByBoole=false;},@,@,@,openproof.boole.TruthColumnData{_fValueList=FFTT;_fCharIndex=12;_fByBoole=false;},@,@,openproof.boole.TruthColumnData{_fValueList=FFFT;_fCharIndex=15;_fByBoole=false;},@,openproof.boole.TruthColumnData{_fValueList=FTFT;_fCharIndex=17;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="(A \u2227 B) \u2228 ( \254A \u2227 \254B)";})_fIsReferenceSide=false;}_fIsTaut=@;_fIsTTPossible=@;_fAreTautEquiv=@;_fIsLastSentenceTautCon=@;_fIsFirstSentenceTautCon=@;_fNeedToBeComplete=@;}}}c=137575;
s=237413;