Table Tautology 4.24.tt

4.1.0.26369
macs:Mac OS X10.12.6
BleF
C1506566299067D1506567046560
newFormat
=openproof.zen.Openproof{p=openproof.boole.Boole{_fAssessmentData=openproof.boole.entities.AssessmentData{_fTitle=@;_fRefData=openproof.boole.entities.ExpressionPanelData{_fExpVector(openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTTTTTTTTTTTTTFFFFFFFFFFFFFFFF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=A;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTTTTTFFFFFFFFTTTTTTTTFFFFFFFF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=B;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTFFFFTTTTFFFFTTTTFFFFTTTTFFFF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=C;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTFFTTFFTTFFTTFFTTFFTTFFTTFFTTFF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=D;_fStatusColumn@o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:1[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTFTFTFTFTFTFTFTFTFTFTFTFTFTFTF\000";_fCharIndex=0;_fByBoole=false;}]_fExpression=E;_fStatusColumn@o()})_fIsReferenceSide=true;}_fSentData=openproof.boole.entities.ExpressionPanelData{_fExpVector(openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:3[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FFFFFFFFFFFFFFFFTTTTTTTTTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTTTTTFFFFFFFFTTTTTTTTTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTTTTTTTTTTFFFFTTTTTTTTTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;}]_fExpression="~A | B | C";_fStatusColumn(openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=0;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=1;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=2;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=3;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=4;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=5;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=6;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=7;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=8;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=9;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=10;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=11;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=12;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=13;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=14;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=15;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=16;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=17;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=18;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=19;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=20;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=21;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=22;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=23;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=24;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=25;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=26;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=27;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=28;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=29;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=30;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=31;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=100100;s="";l="";d@k="";t=false;r=32;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=0;s="";l="";d@k="";t=false;r=33;})o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:2[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FFFFTTTTFFFFTTTTFFFFTTTTFFFFTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTFFTTTTTTFFTTTTTTFFTTTTTTFFTTTT\000";_fCharIndex=0;_fByBoole=false;}]_fExpression="~C | D";_fStatusColumn(openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=0;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=1;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=2;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=3;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=4;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=5;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=6;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=7;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=8;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=9;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=10;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=11;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=12;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=13;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=14;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=15;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=16;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=17;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=18;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=19;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=20;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=21;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=22;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=23;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=24;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=25;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=26;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=27;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=28;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=29;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=30;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=31;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=100100;s="";l="";d@k="";t=false;r=32;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=0;s="";l="";d@k="";t=false;r=33;})o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:3[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TFTFTFTFTTTTTTTTTFTFTFTFTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FTFTFTFTFFFFFFFFFTFTFTFTFFFFFFFF\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FTFTFTFTFTFTFTFTFTFTFTFTFTFTFTFT\000";_fCharIndex=0;_fByBoole=false;}]_fExpression="~(B  &  ~E)";_fStatusColumn(openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=0;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=1;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=2;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=3;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=4;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=5;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=6;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=7;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=8;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=9;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=10;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=11;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=12;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=13;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=14;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=15;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=16;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=17;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=18;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=19;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=20;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=21;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=22;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=23;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=24;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=25;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=26;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=27;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=28;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=29;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=30;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=31;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=100100;s="";l="";d@k="";t=false;r=32;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=0;s="";l="";d@k="";t=false;r=33;})o()},openproof.boole.BooleExpressionData=openproof.boole.BooleExpressionData{_fLabelNum=0;_fLabelText="";_fByBoole=false;_fTruthColumnExist:3[openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTFFTTFFTTFFTTFFTTTTTTTTTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="FFFFFFFFFFFFFFFFTTTTTTTTTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;},openproof.boole.TruthColumnData=openproof.boole.TruthColumnData{v="TTTFTTTFTTTFTTTFTTTTTTTTTTTTTTTT\000";_fCharIndex=0;_fByBoole=false;}]_fExpression="D |  ~A | E";_fStatusColumn(openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=0;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=1;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=2;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=3;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=4;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=5;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=6;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=7;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=8;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=9;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=10;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=11;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=12;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=13;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=14;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=15;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=16;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=17;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=18;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=19;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=20;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=21;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=22;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=23;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=24;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=25;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=26;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=27;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=28;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=29;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=30;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=1;s="";l="";d@k="";t=false;r=31;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=100100;s="";l="";d@k="";t=false;r=32;},openproof.boole.status.TruthTableRowStatus=openproof.boole.status.TruthTableRowStatus{c=0;s="";l="";d@k="";t=false;r=33;})o()})_fIsReferenceSide=false;}_fIsTaut=@;_fIsTTPossible=@;_fAreTautEquiv=@;_fIsLastSentenceTautCon=true;_fIsFirstSentenceTautCon=@;_fNeedToBeComplete=@;isContra=@;isTTContra=@;}}}c=1948461;
s=2803534;