a__U11 tt M N a__U12 tt M N a__U12 tt M N s a__plus mark N mark M a__U21 tt M N a__U22 tt M N a__U22 tt M N a__plus a__x mark N mark M mark N a__plus N 0 mark N a__plus N s M a__U11 tt M N a__x N 0 0 a__x N s M a__U21 tt M N mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark plus X1 X2 a__plus mark X1 mark X2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 mark x X1 X2 a__x mark X1 mark X2 mark tt tt mark s X s mark X mark 0 0 a__U11 X1 X2 X3 U11 X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__plus X1 X2 plus X1 X2 a__U21 X1 X2 X3 U21 X1 X2 X3 a__U22 X1 X2 X3 U22 X1 X2 X3 a__x X1 X2 x X1 X2 2.2 a__U12 tt M N mark N mark U22 X1 X2 X3 mark X1 mark U21 X1 X2 X3 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark plus X1 X2 mark X2 a__U22 tt M N a__plus a__x mark N mark M mark N a__x N s M a__U21 tt M N mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark x X1 X2 a__x mark X1 mark X2 a__U22 tt M N a__x mark N mark M mark s X mark X mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark plus X1 X2 mark X1 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__U22 tt M N mark N a__U11 tt M N a__U12 tt M N a__U22 tt M N mark M mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__plus N 0 mark N a__U22 tt M N mark N a__U21 tt M N a__U22 tt M N mark x X1 X2 mark X2 a__U12 tt M N mark M a__U12 tt M N a__plus mark N mark M mark U11 X1 X2 X3 mark X1 mark x X1 X2 mark X1 a__plus N s M a__U11 tt M N mark U12 X1 X2 X3 mark X1 true mark U12 X1 X2 X3 mark X1 a__U22 tt M N a__x mark N mark M a__plus N s M a__U11 tt M N mark x X1 X2 a__x mark X1 mark X2 mark x X1 X2 mark X1 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark U11 X1 X2 X3 mark X1 a__U12 tt M N a__plus mark N mark M a__x N s M a__U21 tt M N a__U12 tt M N mark M a__U22 tt M N a__plus a__x mark N mark M mark N mark x X1 X2 mark X2 a__U21 tt M N a__U22 tt M N a__U22 tt M N mark N mark plus X1 X2 mark X2 mark plus X1 X2 a__plus mark X1 mark X2 mark U21 X1 X2 X3 mark X1 a__plus N 0 mark N mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark U22 X1 X2 X3 mark X1 a__U22 tt M N mark M a__U11 tt M N a__U12 tt M N a__U22 tt M N mark N mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 mark plus X1 X2 mark X1 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 a__U12 tt M N mark N mark s X mark X true a__plus 2 1 0 2 18815 0 U21 3 1 13215 2 1 3 18815 0 U11 3 1 18814 2 18815 3 0 0 s 1 1 0 a__x 2 1 75553 2 56739 0 a__U22 3 1 18814 2 1 3 18815 0 a__U11 3 1 75552 2 75553 3 56738 0 a__x 2 1 18815 2 1 0 U12 3 1 18814 2 18815 3 0 0 x 2 1 18815 2 1 0 a__U12 3 1 75551 2 75553 3 56738 0 a__U21 3 2 56739 3 75553 0 a__plus 2 1 56738 2 75553 0 mark 1 1 56738 0 0 4684 a__U21 3 1 13215 2 1 3 18815 0 mark 1 1 0 a__U11 3 1 18814 2 18815 3 0 0 a__U12 3 1 18814 2 18815 3 0 0 plus 2 1 0 2 18815 0 a__U22 3 1 31964 2 56739 3 75553 0 tt 0 1 U22 3 1 18814 2 1 3 18815 0 mark s X mark X a__U12 tt M N mark N mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark plus X1 X2 mark X1 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__U11 tt M N a__U12 tt M N mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__plus N 0 mark N mark plus X1 X2 a__plus mark X1 mark X2 a__U21 tt M N a__U22 tt M N a__U22 tt M N a__plus a__x mark N mark M mark N a__x N s M a__U21 tt M N a__U12 tt M N a__plus mark N mark M mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark x X1 X2 a__x mark X1 mark X2 a__plus N s M a__U11 tt M N a__U22 tt M N a__x mark N mark M a__U11 X1 X2 X3 U11 X1 X2 X3 a__U22 tt M N a__plus a__x mark N mark M mark N mark tt tt a__x N s M a__U21 tt M N a__U11 tt M N a__U12 tt M N a__U21 tt M N a__U22 tt M N mark s X s mark X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 mark 0 0 a__U22 X1 X2 X3 U22 X1 X2 X3 a__plus N 0 mark N mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__x N 0 0 a__plus X1 X2 plus X1 X2 mark x X1 X2 a__x mark X1 mark X2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__x X1 X2 x X1 X2 mark plus X1 X2 a__plus mark X1 mark X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__plus N s M a__U11 tt M N a__U12 tt M N s a__plus mark N mark M a__U22 tt M N a__x mark N mark M a__U22 tt M N a__plus a__x mark N mark M mark N a__x N s M a__U21 tt M N a__U11 tt M N a__U12 tt M N a__U21 tt M N a__U22 tt M N mark s X mark X a__plus N 0 mark N mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark x X1 X2 a__x mark X1 mark X2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__plus N s M a__U11 tt M N a__U12 tt M N mark N a__U12 tt M N a__plus mark N mark M true a__U11 3 3 a__U12 3 3 a__plus 2 1 mark 1 1 mark 1 1 a__plus 2 3 1 2 U21 3 4 3 2 1 U11 3 3 3 2 1 s 1 0 1 a__x 2 4 1 2 a__U22 3 4 3 2 1 a__x 2 4 1 2 U12 3 3 3 2 1 x 2 4 1 2 a__U21 3 4 3 2 1 0 0 2 a__U21 3 4 3 2 1 a__U11 3 3 3 2 1 a__U12 3 3 3 2 1 plus 2 3 1 2 a__U22 3 4 3 2 tt 0 2 U22 3 4 3 2 1 a__plus 2 1 0 2 0 0 U21 3 1 0 2 0 3 0 0 U11 3 1 0 2 0 3 0 0 s 1 1 0 a__x 2 1 0 2 0 0 a__U22 3 1 0 2 0 3 0 0 a__x 2 1 0 2 0 0 U12 3 1 0 2 0 3 0 0 x 2 1 0 2 0 0 a__U21 3 1 0 2 0 3 0 0 0 0 0 a__U21 3 1 0 2 0 3 0 0 a__U11 3 1 0 2 0 3 0 0 a__U12 3 1 0 2 0 3 0 0 plus 2 1 0 2 0 0 a__U22 3 2 0 3 0 0 tt 0 0 U22 3 1 0 2 0 3 0 0 a__U12 tt M N a__plus mark N mark M a__U12 tt M N mark N a__plus N s M a__U11 tt M N mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 mark x X1 X2 a__x mark X1 mark X2 a__plus N 0 mark N a__U11 tt M N a__U12 tt M N a__U22 tt M N a__plus a__x mark N mark M mark N a__U22 tt M N a__x mark N mark M a__U11 X1 X2 X3 U11 X1 X2 X3 a__U22 tt M N a__plus a__x mark N mark M mark N mark tt tt a__x N s M a__U21 tt M N a__U11 tt M N a__U12 tt M N a__U21 tt M N a__U22 tt M N mark s X s mark X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 mark 0 0 a__U22 X1 X2 X3 U22 X1 X2 X3 a__plus N 0 mark N mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__x N 0 0 a__plus X1 X2 plus X1 X2 mark x X1 X2 a__x mark X1 mark X2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__x X1 X2 x X1 X2 mark plus X1 X2 a__plus mark X1 mark X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__plus N s M a__U11 tt M N a__U12 tt M N s a__plus mark N mark M a__U22 tt M N a__x mark N mark M false a__U22 tt M N a__plus a__x mark N mark M mark N false a__U11 tt M N a__U12 tt M N a__plus N s M a__U11 tt M N a__U12 tt M N a__plus mark N mark M true a__U11 3 2 a__U12 3 2 a__plus 2 2 mark 1 1 mark 1 1 a__plus 2 4 1 2 U21 3 5 3 2 1 U11 3 4 3 2 1 s 1 3 1 a__x 2 4 1 2 a__U22 3 5 3 2 1 a__x 2 5 1 2 U12 3 4 3 2 1 x 2 5 1 2 a__U21 3 4 3 2 1 0 0 1 a__U21 3 5 3 2 1 a__U11 3 4 3 2 1 a__U12 3 4 3 2 1 plus 2 4 1 2 a__U22 3 4 3 2 tt 0 2 U22 3 5 3 2 1 a__plus 2 1 0 2 0 0 U21 3 1 0 2 0 3 0 0 U11 3 1 0 2 0 3 0 0 s 1 1 0 a__x 2 1 0 2 0 0 a__U22 3 1 0 2 0 3 0 0 a__x 2 1 0 2 0 0 U12 3 1 0 2 0 3 0 0 x 2 1 0 2 0 0 a__U21 3 1 0 2 0 3 0 0 0 0 0 a__U21 3 1 0 2 0 3 0 0 a__U11 3 1 0 2 0 3 0 0 a__U12 3 1 0 2 0 3 0 0 plus 2 1 0 2 0 0 a__U22 3 2 0 3 0 0 tt 0 0 U22 3 1 0 2 0 3 0 0 a__U12 tt M N a__plus mark N mark M a__U11 tt M N a__U12 tt M N a__U11 X1 X2 X3 U11 X1 X2 X3 a__U22 tt M N a__plus a__x mark N mark M mark N mark tt tt a__x N s M a__U21 tt M N a__U11 tt M N a__U12 tt M N a__U21 tt M N a__U22 tt M N mark s X s mark X a__U21 X1 X2 X3 U21 X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 mark 0 0 a__U22 X1 X2 X3 U22 X1 X2 X3 a__plus N 0 mark N mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__x N 0 0 a__plus X1 X2 plus X1 X2 mark x X1 X2 a__x mark X1 mark X2 mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 a__x X1 X2 x X1 X2 mark plus X1 X2 a__plus mark X1 mark X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U22 X1 X2 X3 a__U22 mark X1 X2 X3 a__plus N s M a__U11 tt M N a__U12 tt M N s a__plus mark N mark M a__U11 tt M N a__U12 tt M N false a__U12 tt M N a__plus mark N mark M false a__U12 tt M N mark N false a__plus N 0 mark N false mark U21 X1 X2 X3 a__U21 mark X1 X2 X3 false mark x X1 X2 a__x mark X1 mark X2 false NaTT certifiable-1.6