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