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