/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active U11 tt M N mark U12 tt M N active U12 tt M N mark s plus N M active U21 tt M N mark U22 tt M N active U22 tt M N mark plus x N M N active plus N 0 mark N active plus N s M mark U11 tt M N active x N 0 mark 0 active x N s M mark U21 tt M N mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark tt active tt mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark s X active s mark X mark plus X1 X2 active plus mark X1 mark X2 mark U21 X1 X2 X3 active U21 mark X1 X2 X3 mark U22 X1 X2 X3 active U22 mark X1 X2 X3 mark x X1 X2 active x mark X1 mark X2 mark 0 active 0 U11 mark X1 X2 X3 U11 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U11 active X1 X2 X3 U11 X1 X2 X3 U11 X1 active X2 X3 U11 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U12 active X1 X2 X3 U12 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U12 X1 X2 active X3 U12 X1 X2 X3 s mark X s X s active X s X plus mark X1 X2 plus X1 X2 plus X1 mark X2 plus X1 X2 plus active X1 X2 plus X1 X2 plus X1 active X2 plus X1 X2 U21 mark X1 X2 X3 U21 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 U21 active X1 X2 X3 U21 X1 X2 X3 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 U22 active X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 U22 X1 X2 active X3 U22 X1 X2 X3 x mark X1 X2 x X1 X2 x X1 mark X2 x X1 X2 x active X1 X2 x X1 X2 x X1 active X2 x X1 X2 2.2 active U12 tt M N s plus N M U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 mark U21 X1 X2 X3 active U21 mark X1 X2 X3 active x N s M mark U21 tt M N active plus N 0 mark N active x N 0 mark 0 U11 X1 X2 mark X3 U11 X1 X2 X3 mark U21 X1 X2 X3 mark X1 active U22 tt M N x N M U22 X1 X2 mark X3 U22 X1 X2 X3 plus mark X1 X2 plus X1 X2 active U22 tt M N mark plus x N M N U12 X1 active X2 X3 U12 X1 X2 X3 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 mark x X1 X2 active x mark X1 mark X2 mark x X1 X2 mark X2 s mark X s X plus X1 active X2 plus X1 X2 mark x X1 X2 x mark X1 mark X2 U12 X1 X2 mark X3 U12 X1 X2 X3 active x N s M U21 tt M N U12 X1 mark X2 X3 U12 X1 X2 X3 U12 active X1 X2 X3 U12 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 X1 X2 active X3 U22 X1 X2 X3 U11 active X1 X2 X3 U11 X1 X2 X3 mark U11 X1 X2 X3 mark X1 mark U22 X1 X2 X3 mark X1 mark U11 X1 X2 X3 U11 mark X1 X2 X3 plus X1 mark X2 plus X1 X2 mark U22 X1 X2 X3 U22 mark X1 X2 X3 x mark X1 X2 x X1 X2 mark s X active s mark X U21 mark X1 X2 X3 U21 X1 X2 X3 active plus N s M mark U11 tt M N active U21 tt M N mark U22 tt M N U22 active X1 X2 X3 U22 X1 X2 X3 mark 0 active 0 U11 X1 active X2 X3 U11 X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark plus X1 X2 mark X1 U22 X1 active X2 X3 U22 X1 X2 X3 x X1 mark X2 x X1 X2 U21 X1 mark X2 X3 U21 X1 X2 X3 active U11 tt M N mark U12 tt M N mark s X mark X active U22 tt M N plus x N M N U12 X1 X2 active X3 U12 X1 X2 X3 mark tt active tt active U11 tt M N U12 tt M N U12 mark X1 X2 X3 U12 X1 X2 X3 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 s active X s X mark U12 X1 X2 X3 mark X1 mark x X1 X2 mark X1 x X1 active X2 x X1 X2 mark s X s mark X mark plus X1 X2 plus mark X1 mark X2 active U21 tt M N U22 tt M N mark U12 X1 X2 X3 U12 mark X1 X2 X3 mark U22 X1 X2 X3 active U22 mark X1 X2 X3 mark U21 X1 X2 X3 U21 mark X1 X2 X3 mark plus X1 X2 mark X2 U21 X1 active X2 X3 U21 X1 X2 X3 active U12 tt M N plus N M active U12 tt M N mark s plus N M U11 X1 mark X2 X3 U11 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 active plus N s M U11 tt M N U22 X1 mark X2 X3 U22 X1 X2 X3 plus active X1 X2 plus X1 X2 mark plus X1 X2 active plus mark X1 mark X2 true mark plus X1 X2 active plus mark X1 mark X2 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 active U21 tt M N mark U22 tt M N active plus N s M mark U11 tt M N mark s X active s mark X active U12 tt M N mark s plus N M mark U22 X1 X2 X3 mark X1 mark U11 X1 X2 X3 mark X1 mark plus X1 X2 mark X2 mark U22 X1 X2 X3 active U22 mark X1 X2 X3 mark x X1 X2 mark X1 mark U12 X1 X2 X3 mark X1 mark x X1 X2 mark X2 mark x X1 X2 active x mark X1 mark X2 active U22 tt M N mark plus x N M N mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark U21 X1 X2 X3 mark X1 active U11 tt M N mark U12 tt M N mark s X mark X active plus N 0 mark N active x N s M mark U21 tt M N mark U21 X1 X2 X3 active U21 mark X1 X2 X3 mark plus X1 X2 mark X1 true U21 3 9727 U11 3 9727 s 1 1 plus 2 0 U12 3 9727 x 2 9727 U12 3 0 mark 1 9727 0 0 1 x 2 0 s 1 0 mark 1 1 plus 2 9727 U11 3 0 active 1 2 active 1 1 0 U21 3 0 U22 3 0 tt 0 1 U22 3 9727 mark plus X1 X2 mark X1 mark U21 X1 X2 X3 active U21 mark X1 X2 X3 active x N s M mark U21 tt M N active plus N 0 mark N mark s X mark X active U11 tt M N mark U12 tt M N mark U21 X1 X2 X3 mark X1 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 active U22 tt M N mark plus x N M N mark x X1 X2 active x mark X1 mark X2 mark x X1 X2 mark X2 mark U12 X1 X2 X3 mark X1 mark x X1 X2 mark X1 mark U22 X1 X2 X3 active U22 mark X1 X2 X3 mark plus X1 X2 mark X2 mark U11 X1 X2 X3 mark X1 mark U22 X1 X2 X3 mark X1 active U12 tt M N mark s plus N M active plus N s M mark U11 tt M N active U21 tt M N mark U22 tt M N mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark plus X1 X2 active plus mark X1 mark X2 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 active U22 tt M N mark plus x N M N mark U22 X1 X2 X3 mark X1 mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active x N s M mark U21 tt M N active U11 tt M N mark U12 tt M N active U21 tt M N mark U22 tt M N mark x X1 X2 mark X2 mark x X1 X2 mark X1 mark x X1 X2 active x mark X1 mark X2 active plus N 0 mark N mark U21 X1 X2 X3 mark X1 mark U21 X1 X2 X3 active U21 mark X1 X2 X3 mark s X mark X mark U12 X1 X2 X3 mark X1 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U11 X1 X2 X3 mark X1 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark plus X1 X2 mark X2 mark plus X1 X2 mark X1 mark plus X1 X2 active plus mark X1 mark X2 active plus N s M mark U11 tt M N active U12 tt M N mark s plus N M true U21 3 1 36470 2 42324 3 36469 0 U11 3 1 30614 2 36469 3 0 0 s 1 1 0 plus 2 0 U12 3 1 30613 2 36469 3 0 0 x 2 1 36469 2 42324 0 U12 3 0 mark 1 1 0 0 0 36470 x 2 0 s 1 0 mark 1 1 0 plus 2 1 0 2 36469 0 U11 3 0 active 1 1 0 active 1 1 0 U21 3 0 U22 3 0 tt 0 5854 U22 3 1 28101 2 42324 3 36469 0 active U12 tt M N mark s plus N M active plus N s M mark U11 tt M N mark plus X1 X2 active plus mark X1 mark X2 mark plus X1 X2 mark X1 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark s X mark X mark U21 X1 X2 X3 active U21 mark X1 X2 X3 active plus N 0 mark N mark x X1 X2 active x mark X1 mark X2 active U21 tt M N mark U22 tt M N active U11 tt M N mark U12 tt M N active x N s M mark U21 tt M N mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active U22 tt M N mark plus x N M N U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 active U22 tt M N mark plus x N M N mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active x N s M mark U21 tt M N active U11 tt M N mark U12 tt M N active U21 tt M N mark U22 tt M N mark x X1 X2 active x mark X1 mark X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 mark 0 active 0 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 active plus N 0 mark N plus X1 mark X2 plus X1 X2 mark tt active tt U21 active X1 X2 X3 U21 X1 X2 X3 active x N 0 mark 0 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X mark U21 X1 X2 X3 active U21 mark X1 X2 X3 s active X s X mark s X active s mark X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark plus X1 X2 active plus mark X1 mark X2 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 active plus N s M mark U11 tt M N U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 active U12 tt M N mark s plus N M active U22 tt M N mark plus x N M N mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active x N s M mark U21 tt M N active U11 tt M N mark U12 tt M N active U21 tt M N mark U22 tt M N mark x X1 X2 active x mark X1 mark X2 active plus N 0 mark N mark U21 X1 X2 X3 active U21 mark X1 X2 X3 mark s X mark X mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark plus X1 X2 mark X1 mark plus X1 X2 active plus mark X1 mark X2 active plus N s M mark U11 tt M N active U12 tt M N mark s plus N M true x 2 1 mark 1 1 active 1 1 U21 3 2 3 2 1 U11 3 1 3 2 1 s 1 0 1 plus 2 0 2 1 U12 3 1 3 2 1 x 2 2 1 2 U12 3 0 1 2 3 mark 1 3 1 0 0 1 s 1 0 plus 2 1 1 2 U11 3 0 2 1 3 active 1 3 1 U21 3 0 3 2 1 U22 3 0 2 3 1 tt 0 0 U22 3 2 3 2 1 U21 3 1 0 2 0 3 0 0 U11 3 1 0 2 0 3 0 0 s 1 1 0 plus 2 1 0 2 0 0 U12 3 1 0 2 0 3 0 0 x 2 1 0 2 0 0 U12 3 1 0 2 0 3 0 0 mark 1 1 0 0 0 0 s 1 0 plus 2 1 0 2 0 0 U11 3 1 0 2 0 3 0 0 active 1 1 0 U21 3 1 0 2 0 3 0 0 U22 3 1 0 2 0 3 0 0 tt 0 0 U22 3 1 0 2 0 3 0 0 active plus N s M mark U11 tt M N mark plus X1 X2 active plus mark X1 mark X2 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U21 X1 X2 X3 active U21 mark X1 X2 X3 mark x X1 X2 active x mark X1 mark X2 active U21 tt M N mark U22 tt M N active U11 tt M N mark U12 tt M N mark U22 X1 X2 X3 active U22 mark X1 X2 X3 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 active U22 tt M N mark plus x N M N mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active x N s M mark U21 tt M N active U11 tt M N mark U12 tt M N active U21 tt M N mark U22 tt M N mark x X1 X2 active x mark X1 mark X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 mark 0 active 0 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 active plus N 0 mark N plus X1 mark X2 plus X1 X2 mark tt active tt U21 active X1 X2 X3 U21 X1 X2 X3 active x N 0 mark 0 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X mark U21 X1 X2 X3 active U21 mark X1 X2 X3 s active X s X mark s X active s mark X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark plus X1 X2 active plus mark X1 mark X2 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 active plus N s M mark U11 tt M N U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 active U12 tt M N mark s plus N M mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active U11 tt M N mark U12 tt M N active U21 tt M N mark U22 tt M N mark x X1 X2 active x mark X1 mark X2 mark U21 X1 X2 X3 active U21 mark X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark plus X1 X2 active plus mark X1 mark X2 active plus N s M mark U11 tt M N true U21 3 4296 U11 3 4295 s 1 15593 plus 2 0 U12 3 4295 x 2 2 4296 U12 3 0 mark 1 1 5432 0 0 19891 x 2 0 s 1 0 mark 1 19890 plus 2 4296 U11 3 0 active 1 1 0 active 1 9727 U21 3 0 U22 3 0 tt 0 19891 U22 3 4295 active plus N s M mark U11 tt M N mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 active U21 tt M N mark U22 tt M N active U11 tt M N mark U12 tt M N mark U22 X1 X2 X3 active U22 mark X1 X2 X3 U11 mark X1 X2 X3 U11 X1 X2 X3 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active U11 tt M N mark U12 tt M N active U21 tt M N mark U22 tt M N mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 active plus N s M mark U11 tt M N true U21 3 0 U11 3 0 s 1 0 plus 2 0 U12 3 0 x 2 1 U12 3 0 mark 1 9727 0 0 1 x 2 0 s 1 0 mark 1 1 plus 2 1 U11 3 0 active 1 1 active 1 1 9727 U21 3 0 U22 3 0 tt 0 0 U22 3 0 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 active U21 tt M N mark U22 tt M N active U11 tt M N mark U12 tt M N mark U22 X1 X2 X3 active U22 mark X1 X2 X3 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 active U22 tt M N mark plus x N M N mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active x N s M mark U21 tt M N active U11 tt M N mark U12 tt M N active U21 tt M N mark U22 tt M N mark x X1 X2 active x mark X1 mark X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 mark 0 active 0 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 active plus N 0 mark N plus X1 mark X2 plus X1 X2 mark tt active tt U21 active X1 X2 X3 U21 X1 X2 X3 active x N 0 mark 0 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X mark U21 X1 X2 X3 active U21 mark X1 X2 X3 s active X s X mark s X active s mark X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 mark plus X1 X2 active plus mark X1 mark X2 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 active plus N s M mark U11 tt M N U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 active U12 tt M N mark s plus N M mark U22 X1 X2 X3 active U22 mark X1 X2 X3 active U11 tt M N mark U12 tt M N active U21 tt M N mark U22 tt M N mark U12 X1 X2 X3 active U12 mark X1 X2 X3 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 true U21 3 2 3 9216 U11 3 9215 s 1 0 plus 2 0 U12 3 4608 x 2 13824 U12 3 0 mark 1 9727 0 0 9217 x 2 0 s 1 0 mark 1 1 4608 plus 2 1 U11 3 0 active 1 1 0 active 1 1 512 U21 3 0 U22 3 0 tt 0 24234 U22 3 4609 mark U11 X1 X2 X3 active U11 mark X1 X2 X3 active U11 tt M N mark U12 tt M N U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 active U11 tt M N mark U12 tt M N mark U11 X1 X2 X3 active U11 mark X1 X2 X3 true U21 3 2 3 3621 U11 3 3 22631 s 1 0 plus 2 0 U12 3 11316 x 2 14937 U12 3 0 mark 1 1 1 0 0 9217 x 2 0 s 1 0 mark 1 1 11316 plus 2 1 U11 3 0 active 1 1 0 active 1 1 0 U21 3 0 U22 3 0 tt 0 24234 U22 3 15908 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 active U12 tt M N s plus N M false active U12 tt M N plus N M false mark plus X1 X2 plus mark X1 mark X2 false active plus N s M U11 tt M N false active x N 0 mark 0 false mark U11 X1 X2 X3 U11 mark X1 X2 X3 false U11 X1 active X2 X3 U11 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 U11 active X1 X2 X3 U11 X1 X2 X3 U11 mark X1 X2 X3 U11 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 true U21 3 2 3 1 U11 3 3 2103 s 1 0 plus 2 0 U12 3 26785 x 2 5857 U12 3 0 mark 1 1 1 0 0 9217 x 2 0 s 1 0 mark 1 1 3 plus 2 1 U11 3 1 3 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 0 tt 0 1 U22 3 15908 U11 X1 mark X2 X3 U11 X1 X2 X3 U11 X1 active X2 X3 U11 X1 X2 X3 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 U11 X1 active X2 X3 U11 X1 X2 X3 true U21 3 2 3 2246 U11 3 3 1441 s 1 0 plus 2 0 U12 3 2632 x 2 21903 U12 3 0 mark 1 1 1 0 0 19272 x 2 0 s 1 0 mark 1 1 2633 plus 2 2631 U11 3 2 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 0 tt 0 21314 U22 3 5263 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 mark U12 X1 X2 X3 U12 mark X1 X2 X3 false active U21 tt M N U22 tt M N false mark s X s mark X false s mark X s X s active X s X true U21 3 2 3 20694 U11 3 3 1898 s 1 0 plus 2 0 U12 3 34052 x 2 85605 U12 3 0 mark 1 1 1 0 0 51554 x 2 0 s 1 1 0 mark 1 1 34053 plus 2 34051 U11 3 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 0 tt 0 39502 U22 3 68103 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 active U11 tt M N U12 tt M N false U12 active X1 X2 X3 U12 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 U12 X1 X2 active X3 U12 X1 X2 X3 true U21 3 2 3 1 U11 3 3 1 s 1 0 plus 2 0 U12 3 9994 x 2 3 U12 3 1 2 3 0 mark 1 1 1 0 0 2 x 2 0 s 1 0 mark 1 1 3 plus 2 1 U11 3 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 0 tt 0 57076 U22 3 32092 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 mark U21 X1 X2 X3 U21 mark X1 X2 X3 false mark tt active tt false mark 0 active 0 false active x N s M U21 tt M N false U21 mark X1 X2 X3 U21 X1 X2 X3 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 active X1 X2 X3 U21 X1 X2 X3 true U21 3 2 3 1 U11 3 3 1 s 1 0 plus 2 0 U12 3 16960 x 2 3 U12 3 0 mark 1 1 1 0 0 2 x 2 0 s 1 0 mark 1 1 3 plus 2 1 U11 3 0 active 1 1 1 active 1 1 0 U21 3 1 2 3 0 U22 3 0 tt 0 1 U22 3 26357 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 mark x X1 X2 x mark X1 mark X2 false active U22 tt M N plus x N M N false plus active X1 X2 plus X1 X2 plus X1 mark X2 plus X1 X2 plus X1 active X2 plus X1 X2 plus mark X1 X2 plus X1 X2 true U21 3 2 3 1 U11 3 3 17724 s 1 0 plus 2 1 2 0 U12 3 25645 x 2 3 U12 3 0 mark 1 1 1 0 0 2 x 2 0 s 1 0 mark 1 1 3 plus 2 1 U11 3 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 0 tt 0 1 U22 3 26964 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 active U22 tt M N x N M false x mark X1 X2 x X1 X2 x X1 active X2 x X1 X2 x active X1 X2 x X1 X2 x X1 mark X2 x X1 X2 true U21 3 2 3 1 U11 3 3 1 s 1 0 plus 2 0 U12 3 29192 x 2 13521 U12 3 0 mark 1 1 1 0 0 39004 x 2 1 0 s 1 0 mark 1 1 3 plus 2 1 U11 3 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 0 tt 0 1 U22 3 3 x X1 mark X2 x X1 X2 x X1 active X2 x X1 X2 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 x X1 mark X2 x X1 X2 x X1 active X2 x X1 X2 true U21 3 2 3 10867 U11 3 3 1 s 1 0 plus 2 0 U12 3 7037 x 2 17904 U12 3 0 mark 1 1 1 0 0 39119 x 2 2 0 s 1 0 mark 1 1 7038 plus 2 1 U11 3 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 0 tt 0 40807 U22 3 28922 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 mark U22 X1 X2 X3 U22 mark X1 X2 X3 false U22 X1 mark X2 X3 U22 X1 X2 X3 U22 active X1 X2 X3 U22 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 X2 active X3 U22 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 true U21 3 2 3 1 U11 3 3 1 s 1 0 plus 2 0 U12 3 2 x 2 3 U12 3 0 mark 1 1 1 0 0 2 x 2 0 s 1 0 mark 1 1 3 plus 2 1 U11 3 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 1 3 0 tt 0 8128 U22 3 28118 U22 X1 active X2 X3 U22 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 true U21 3 2 3 1 U11 3 3 2089 s 1 0 plus 2 0 U12 3 39724 x 2 3 U12 3 0 mark 1 1 1 0 0 9590 x 2 0 s 1 0 mark 1 1 3 plus 2 1 U11 3 0 active 1 1 1 active 1 1 0 U21 3 0 U22 3 2 0 tt 0 57205 U22 3 19456 U11 mark X1 X2 X3 U11 X1 X2 X3 x active X1 X2 x X1 X2 U11 active X1 X2 X3 U11 X1 X2 X3 U21 mark X1 X2 X3 U21 X1 X2 X3 U12 X1 X2 mark X3 U12 X1 X2 X3 U11 X1 mark X2 X3 U11 X1 X2 X3 plus mark X1 X2 plus X1 X2 U12 active X1 X2 X3 U12 X1 X2 X3 plus active X1 X2 plus X1 X2 U11 X1 active X2 X3 U11 X1 X2 X3 U12 X1 active X2 X3 U12 X1 X2 X3 U22 X1 X2 mark X3 U22 X1 X2 X3 plus X1 mark X2 plus X1 X2 U21 active X1 X2 X3 U21 X1 X2 X3 U11 X1 X2 mark X3 U11 X1 X2 X3 U12 X1 mark X2 X3 U12 X1 X2 X3 x X1 mark X2 x X1 X2 s mark X s X s active X s X U22 active X1 X2 X3 U22 X1 X2 X3 U11 X1 X2 active X3 U11 X1 X2 X3 U12 mark X1 X2 X3 U12 X1 X2 X3 x X1 active X2 x X1 X2 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 x mark X1 X2 x X1 X2 U22 X1 X2 active X3 U22 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 U22 mark X1 X2 X3 U22 X1 X2 X3 U22 X1 active X2 X3 U22 X1 X2 X3 plus X1 active X2 plus X1 X2 U12 X1 X2 active X3 U12 X1 X2 X3 U22 X1 mark X2 X3 U22 X1 X2 X3 NaTT certifiable-1.6