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