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