1 1 x1 4 3 x1 1 2 x1 2 1 x1 2 2 x1 1 1 1 x1 3 3 x1 5 6 x1 3 4 x1 1 1 x1 4 4 x1 3 x1 5 5 x1 6 2 x1 5 6 x1 1 2 x1 6 6 x1 2 1 x1 2.2 1 2 x1 1 x1 5 5 x1 6 2 x1 1 1 x1 4 3 x1 3 4 x1 1 x1 2 2 x1 1 1 x1 2 2 x1 1 x1 1 1 x1 3 x1 5 5 x1 2 x1 2 2 x1 1 1 1 x1 6 6 x1 1 x1 3 3 x1 5 6 x1 5 6 x1 2 x1 4 4 x1 3 x1 1 2 x1 2 1 x1 3 4 x1 1 1 x1 5 6 x1 1 2 x1 6 6 x1 2 1 x1 3 3 x1 6 x1 true 3 3 x1 6 x1 6 6 x1 2 1 x1 1 1 x1 3 x1 5 6 x1 1 2 x1 2 2 x1 1 x1 3 4 x1 1 1 x1 1 2 x1 2 1 x1 4 4 x1 3 x1 5 6 x1 2 x1 2 2 x1 1 1 x1 3 4 x1 1 x1 1 1 x1 4 3 x1 3 3 x1 5 6 x1 5 5 x1 6 2 x1 6 6 x1 1 x1 2 2 x1 1 1 1 x1 5 5 x1 2 x1 1 2 x1 1 x1 true 1 1 1 90 4 1 1 61 5 1 1 125 3 1 1 119 6 1 1 53 2 1 1 75 4 1 1 0 3 1 1 60 5 1 1 65 2 1 1 136 6 1 1 113 1 1 1 30 3 3 x1 5 6 x1 5 6 x1 1 2 x1 1 1 x1 4 3 x1 2 2 x1 1 1 1 x1 3 4 x1 1 1 x1 5 5 x1 6 2 x1 6 6 x1 2 1 x1 4 4 x1 3 x1 1 2 x1 2 1 x1 NaTT certifiable-1.6