2.2 macs:Mac OS X10.2.8 BleF C994621982577D994622039733C1137781512331D1137781525270 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=2;_fByBoole=false;},@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=5;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="\254(\254A \u2228 B)";},openproof.boole.BooleExpressionData{_fLabelNum=2;_fLabelText=@;_fByBoole=false;_fTruthColumnExist:48[@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=2;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="B \u2228 C";},openproof.boole.BooleExpressionData{_fLabelNum=3;_fLabelText=@;_fByBoole=false;_fTruthColumnExist:48[@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=2;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="A \u2227 C";})_fIsReferenceSide=false;}_fIsTaut=@;_fIsTTPossible=@;_fAreTautEquiv=@;_fIsLastSentenceTautCon=@;_fIsFirstSentenceTautCon=@;_fNeedToBeComplete=@;}}}c=136066;