2.2
macs:Mac OS X10.2.8
BleF
C994620614690D994620771781C1137781120132D1137781137082
newFormat
{p=boole{_fAssessmentData{_fTitle=@;_fRefData{_fExpVector(openproof.boole.BooleExpressionData{_fLabelNum=1;_fLabelText=@;_fByBoole=false;_fTruthColumnExist:48[@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="";})_fIsReferenceSide=true;}_fSentData{_fExpVector(openproof.boole.BooleExpressionData{_fLabelNum=1;_fLabelText=@;_fByBoole=false;_fTruthColumnExist:48[openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=0;_fByBoole=false;},@,@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=4;_fByBoole=false;},@,@,@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=9;_fByBoole=false;},@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=11;_fByBoole=false;},@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=13;_fByBoole=false;},@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=16;_fByBoole=false;},@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=18;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="\254(A \u2228 B) \u2227 \254(\254A \u2227 \254B)";})_fIsReferenceSide=false;}_fIsTaut=@;_fIsTTPossible=@;_fAreTautEquiv=@;_fIsLastSentenceTautCon=@;_fIsFirstSentenceTautCon=@;_fNeedToBeComplete=@;}}}c=118262;