2.2 macs:Mac OS X10.2.8 BleF C994621651232D994621709214D994621729068D994621760307C1137781422017D1137781437000 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=7;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="Tet(a) \u2227 Small(a)";},openproof.boole.BooleExpressionData{_fLabelNum=2;_fLabelText=@;_fByBoole=false;_fTruthColumnExist:66[@,@,@,@,@,@,@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=8;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=19;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,openproof.boole.TruthColumnData{_fValueList="";_fCharIndex=31;_fByBoole=false;},@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@,@]_fExpression="(Tet(a) \u2228 Cube(a)) \u2227 (Small(a) \u2228 Large(a))";})_fIsReferenceSide=false;}_fIsTaut=@;_fIsTTPossible=@;_fAreTautEquiv=@;_fIsLastSentenceTautCon=@;_fIsFirstSentenceTautCon=@;_fNeedToBeComplete=@;}}}c=118691;