3
1
x1
4
1
x1
5
9
x1
2
6
5
x1
3
5
x1
8
9
7
x1
9
x1
3
2
3
x1
8
4
x1
6
x1
2
6
x1
4
3
x1
3
8
x1
3
2
7
x1
9
x1
5
0
2
x1
8
8
4
x1
1
9
x1
7
1
x1
6
9
x1
3
9
x1
9
3
x1
7
5
x1
1
0
x1
2.2
5
9
x1
5
x1
3
9
x1
3
x1
3
5
x1
7
x1
3
8
x1
7
x1
3
5
x1
8
9
7
x1
3
5
x1
9
7
x1
9
x1
5
0
2
x1
3
8
x1
3
2
7
x1
7
1
x1
9
x1
3
9
x1
9
3
x1
9
x1
2
3
x1
9
x1
3
2
3
x1
2
6
x1
3
x1
5
9
x1
2
6
5
x1
3
8
x1
2
7
x1
9
x1
2
x1
8
8
4
x1
9
x1
9
x1
3
x1
true
5
9
x1
5
x1
true
7
1
0
1
1
0
4
1
0
7
1
0
5
1
0
3
1
0
8
1
0
2
1
0
9
1
1
1
8
1
0
9
1
0
0
1
0
3
1
0
5
1
1
0
2
1
0
6
1
0
5
9
x1
2
6
5
x1
false
9
x1
3
x1
8
8
4
x1
9
x1
9
x1
2
x1
3
5
x1
9
7
x1
3
8
x1
2
7
x1
2
6
x1
3
x1
9
x1
3
2
3
x1
3
5
x1
8
9
7
x1
3
8
x1
7
x1
3
5
x1
7
x1
9
x1
2
3
x1
3
9
x1
3
x1
3
9
x1
9
3
x1
7
1
x1
9
x1
3
8
x1
3
2
7
x1
true
7
1
1
1
1
1
1
4
1
1
7
1
26289
5
1
3
3
1
1
26287
8
1
1
0
2
1
26289
9
1
26288
8
1
26290
9
1
26289
0
1
1
17678
3
1
26289
5
1
0
2
1
1
6
1
2
3
8
x1
3
2
7
x1
7
1
x1
9
x1
3
9
x1
9
3
x1
3
9
x1
3
x1
9
x1
2
3
x1
3
5
x1
7
x1
3
8
x1
7
x1
9
x1
3
2
3
x1
2
6
x1
3
x1
3
8
x1
2
7
x1
3
5
x1
9
7
x1
9
x1
2
x1
9
x1
3
x1
9
x1
3
2
3
x1
9
x1
5
0
2
x1
3
1
x1
4
1
x1
3
5
x1
8
9
7
x1
8
4
x1
6
x1
3
8
x1
3
2
7
x1
3
9
x1
9
3
x1
8
8
4
x1
1
9
x1
2
6
x1
4
3
x1
5
9
x1
2
6
5
x1
9
x1
3
x1
9
x1
2
3
x1
9
x1
3
2
3
x1
9
x1
2
x1
3
5
x1
7
x1
3
5
x1
9
7
x1
7
1
x1
9
x1
3
8
x1
7
x1
3
8
x1
2
7
x1
3
8
x1
3
2
7
x1
3
9
x1
3
x1
3
9
x1
9
3
x1
2
6
x1
3
x1
true
2
1
7
1
0
1
1
0
1
0
0
1
1
0
0
1
0
1
24655
24655
4
1
0
0
1
0
1
0
0
7
1
1
0
0
0
1
0
2
5
1
1
1
1
1
1
24655
24655
3
1
1
24655
0
8
1
0
0
2
1
0
0
1
0
1
24653
2
9
1
1
0
1
1
1
24655
24655
8
1
1
1
0
0
1
24655
0
9
1
0
0
1
0
1
24654
2
0
1
0
0
3
1
0
0
1
0
1
24653
2
5
1
0
0
2
1
0
0
1
0
1
0
0
6
1
0
0
0
1
1
1
0
2
6
x1
3
x1
3
8
x1
3
2
7
x1
3
8
x1
2
7
x1
9
x1
3
2
3
x1
9
x1
5
0
2
x1
3
1
x1
4
1
x1
3
5
x1
8
9
7
x1
8
4
x1
6
x1
7
1
x1
6
9
x1
3
8
x1
3
2
7
x1
7
5
x1
1
0
x1
3
9
x1
9
3
x1
8
8
4
x1
1
9
x1
2
6
x1
4
3
x1
5
9
x1
2
6
5
x1
3
8
x1
2
7
x1
3
8
x1
3
2
7
x1
2
6
x1
3
x1
true
2
1
7
1
0
1
0
1
1
2
58719
1
1
1
0
0
0
1
1
535958
4
1
1
1
0
0
1
38987
0
7
1
0
2
5
1
1
1
0
1
1
379527
97712
3
1
1
1
0
0
1
176164
5892
8
1
0
0
2
1
0
1
1
0
1
0
0
9
1
1
1
0
0
1
379528
117438
8
1
1
0
1
1
1
58721
267979
9
1
24654
2
0
1
1
19725
3
1
1
0
0
0
1
215150
2
5
1
0
0
2
1
0
0
1
1
1
1
1
6
1
0
1
0
0
1
2
215150
2
6
x1
3
x1
9
x1
3
2
3
x1
9
x1
5
0
2
x1
3
1
x1
4
1
x1
3
5
x1
8
9
7
x1
8
4
x1
6
x1
7
1
x1
6
9
x1
3
8
x1
3
2
7
x1
7
5
x1
1
0
x1
3
9
x1
9
3
x1
8
8
4
x1
1
9
x1
2
6
x1
4
3
x1
5
9
x1
2
6
5
x1
2
6
x1
3
x1
false
9
x1
5
0
2
x1
false
NaTT
certifiable-1.6