0.00/0.00	c Mistral 01082018
11.88/11.99	o 67152
11.98/12.10	o 67054
12.17/12.27	o 66997
12.48/12.53	o 66815
12.68/12.74	o 66786
13.09/13.20	o 66689
13.28/13.37	o 66670
13.68/13.70	o 66569
25.27/25.38	o 66447
27.98/28.08	o 66435
28.17/28.24	o 66425
28.27/28.36	o 66415
38.16/38.28	o 66277
38.37/38.46	o 66266
38.77/38.87	o 66264
52.97/53.09	o 66245
54.07/54.16	o 66227
54.36/54.40	o 66179
54.46/54.59	o 66175
70.55/70.64	o 66173
71.15/71.22	o 66147
73.65/73.78	o 66039
75.06/75.15	o 65967
75.15/75.28	o 65889
75.45/75.59	o 65863
92.85/92.95	o 65817
97.44/97.57	o 65685
116.64/116.70	o 65647
116.74/116.88	o 65512
116.95/117.01	o 65488
117.05/117.17	o 65392
122.64/122.71	o 65347
122.95/123.10	o 65236
147.14/147.28	o 65036
147.34/147.49	o 65008
147.95/148.10	o 64971
148.14/148.24	o 64965
164.44/164.51	o 64929
164.54/164.66	o 64915
164.74/164.81	o 64907
188.05/188.15	o 64835
188.44/188.54	o 64646
230.73/230.81	o 64624
231.23/231.36	o 64618
231.73/231.83	o 64616
233.83/234.00	o 64490
234.04/234.12	o 64434
234.23/234.39	o 64418
234.93/235.02	o 64350
237.63/237.75	o 64260
296.83/296.96	o 64206
300.33/300.44	o 64198
301.42/301.50	o 64186
310.12/310.23	o 64170
310.23/310.38	o 64152
334.83/334.98	o 64148
335.63/335.71	o 64130
335.73/335.85	o 64128
335.83/335.97	o 64120
386.83/386.97	o 64119
387.93/388.04	o 64082
388.12/388.23	o 64052
488.52/488.61	o 64013
489.22/489.31	o 64005
605.81/605.98	o 63965
608.11/608.20	o 63889
802.92/803.02	o 63876
1001.79/1001.95	o 63814
1005.01/1005.18	o 63800
1006.90/1007.05	o 63750
1021.70/1021.84	o 63745
1403.28/1403.47	o 63705
1699.34/1699.55	o 63682
1699.64/1699.81	o 63674
1700.74/1700.98	o 63644
1702.95/1703.11	o 63636
1703.64/1703.83	o 63600
1704.04/1704.23	o 63592
1711.04/1711.22	o 63585
2298.71/2298.91	o 63570
2301.11/2301.34	o 63562
2306.71/2306.94	o 63519
2315.01/2315.21	o 63495
2519.81/2520.01	s SATISFIABLE
2519.81/2520.01	v <instantiation type="solution">
2519.81/2520.01	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[0][81] d[0][82] d[0][83] d[0][84] d[0][85] d[0][86] d[0][87] d[0][88] d[0][89] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[1][81] d[1][82] d[1][83] d[1][84] d[1][85] d[1][86] d[1][87] d[1][88] d[1][89] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[2][81] d[2][82] d[2][83] d[2][84] d[2][85] d[2][86] d[2][87] d[2][88] d[2][89] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[3][81] d[3][82] d[3][83] d[3][84] d[3][85] d[3][86] d[3][87] d[3][88] d[3][89] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[4][81] d[4][82] d[4][83] d[4][84] d[4][85] d[4][86] d[4][87] d[4][88] d[4][89] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[5][81] d[5][82] d[5][83] d[5][84] d[5][85] d[5][86] d[5][87] d[5][88] d[5][89] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[6][81] d[6][82] d[6][83] d[6][84] d[6][85] d[6][86] d[6][87] d[6][88] d[6][89] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[7][81] d[7][82] d[7][83] d[7][84] d[7][85] d[7][86] d[7][87] d[7][88] d[7][89] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[8][81] d[8][82] d[8][83] d[8][84] d[8][85] d[8][86] d[8][87] d[8][88] d[8][89] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[9][81] d[9][82] d[9][83] d[9][84] d[9][85] d[9][86] d[9][87] d[9][88] d[9][89] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[10][81] d[10][82] d[10][83] d[10][84] d[10][85] d[10][86] d[10][87] d[10][88] d[10][89] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[11][81] d[11][82] d[11][83] d[11][84] d[11][85] d[11][86] d[11][87] d[11][88] d[11][89] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[12][81] d[12][82] d[12][83] d[12][84] d[12][85] d[12][86] d[12][87] d[12][88] d[12][89] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[13][81] d[13][82] d[13][83] d[13][84] d[13][85] d[13][86] d[13][87] d[13][88] d[13][89] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[14][81] d[14][82] d[14][83] d[14][84] d[14][85] d[14][86] d[14][87] d[14][88] d[14][89] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[15][81] d[15][82] d[15][83] d[15][84] d[15][85] d[15][86] d[15][87] d[15][88] d[15][89] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[16][81] d[16][82] d[16][83] d[16][84] d[16][85] d[16][86] d[16][87] d[16][88] d[16][89] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[17][81] d[17][82] d[17][83] d[17][84] d[17][85] d[17][86] d[17][87] d[17][88] d[17][89] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[18][81] d[18][82] d[18][83] d[18][84] d[18][85] d[18][86] d[18][87] d[18][88] d[18][89] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[19][81] d[19][82] d[19][83] d[19][84] d[19][85] d[19][86] d[19][87] d[19][88] d[19][89] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[20][81] d[20][82] d[20][83] d[20][84] d[20][85] d[20][86] d[20][87] d[20][88] d[20][89] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[21][81] d[21][82] d[21][83] d[21][84] d[21][85] d[21][86] d[21][87] d[21][88] d[21][89] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[22][81] d[22][82] d[22][83] d[22][84] d[22][85] d[22][86] d[22][87] d[22][88] d[22][89] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[23][81] d[23][82] d[23][83] d[23][84] d[23][85] d[23][86] d[23][87] d[23][88] d[23][89] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[24][81] d[24][82] d[24][83] d[24][84] d[24][85] d[24][86] d[24][87] d[24][88] d[24][89] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[25][81] d[25][82] d[25][83] d[25][84] d[25][85] d[25][86] d[25][87] d[25][88] d[25][89] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[26][81] d[26][82] d[26][83] d[26][84] d[26][85] d[26][86] d[26][87] d[26][88] d[26][89] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[27][81] d[27][82] d[27][83] d[27][84] d[27][85] d[27][86] d[27][87] d[27][88] d[27][89] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[28][81] d[28][82] d[28][83] d[28][84] d[28][85] d[28][86] d[28][87] d[28][88] d[28][89] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[29][81] d[29][82] d[29][83] d[29][84] d[29][85] d[29][86] d[29][87] d[29][88] d[29][89] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[30][81] d[30][82] d[30][83] d[30][84] d[30][85] d[30][86] d[30][87] d[30][88] d[30][89] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[31][81] d[31][82] d[31][83] d[31][84] d[31][85] d[31][86] d[31][87] d[31][88] d[31][89] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[32][81] d[32][82] d[32][83] d[32][84] d[32][85] d[32][86] d[32][87] d[32][88] d[32][89] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[33][81] d[33][82] d[33][83] d[33][84] d[33][85] d[33][86] d[33][87] d[33][88] d[33][89] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[34][81] d[34][82] d[34][83] d[34][84] d[34][85] d[34][86] d[34][87] d[34][88] d[34][89] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[35][81] d[35][82] d[35][83] d[35][84] d[35][85] d[35][86] d[35][87] d[35][88] d[35][89] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[36][81] d[36][82] d[36][83] d[36][84] d[36][85] d[36][86] d[36][87] d[36][88] d[36][89] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[37][81] d[37][82] d[37][83] d[37][84] d[37][85] d[37][86] d[37][87] d[37][88] d[37][89] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[38][81] d[38][82] d[38][83] d[38][84] d[38][85] d[38][86] d[38][87] d[38][88] d[38][89] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[39][81] d[39][82] d[39][83] d[39][84] d[39][85] d[39][86] d[39][87] d[39][88] d[39][89] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[40][81] d[40][82] d[40][83] d[40][84] d[40][85] d[40][86] d[40][87] d[40][88] d[40][89] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[41][81] d[41][82] d[41][83] d[41][84] d[41][85] d[41][86] d[41][87] d[41][88] d[41][89] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[42][81] d[42][82] d[42][83] d[42][84] d[42][85] d[42][86] d[42][87] d[42][88] d[42][89] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[43][81] d[43][82] d[43][83] d[43][84] d[43][85] d[43][86] d[43][87] d[43][88] d[43][89] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[44][81] d[44][82] d[44][83] d[44][84] d[44][85] d[44][86] d[44][87] d[44][88] d[44][89] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[45][81] d[45][82] d[45][83] d[45][84] d[45][85] d[45][86] d[45][87] d[45][88] d[45][89] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[46][81] d[46][82] d[46][83] d[46][84] d[46][85] d[46][86] d[46][87] d[46][88] d[46][89] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[47][81] d[47][82] d[47][83] d[47][84] d[47][85] d[47][86] d[47][87] d[47][88] d[47][89] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[48][81] d[48][82] d[48][83] d[48][84] d[48][85] d[48][86] d[48][87] d[48][88] d[48][89] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[49][81] d[49][82] d[49][83] d[49][84] d[49][85] d[49][86] d[49][87] d[49][88] d[49][89] d[50][0] d[50][1] d[50][2] d[50][3] d[50][4] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[50][81] d[50][82] d[50][83] d[50][84] d[50][85] d[50][86] d[50][87] d[50][88] d[50][89] d[51][0] d[51][1] d[51][2] d[51][3] d[51][4] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[51][81] d[51][82] d[51][83] d[51][84] d[51][85] d[51][86] d[51][87] d[51][88] d[51][89] d[52][0] d[52][1] d[52][2] d[52][3] d[52][4] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[52][81] d[52][82] d[52][83] d[52][84] d[52][85] d[52][86] d[52][87] d[52][88] d[52][89] d[53][0] d[53][1] d[53][2] d[53][3] d[53][4] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[53][81] d[53][82] d[53][83] d[53][84] d[53][85] d[53][86] d[53][87] d[53][88] d[53][89] d[54][0] d[54][1] d[54][2] d[54][3] d[54][4] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[54][81] d[54][82] d[54][83] d[54][84] d[54][85] d[54][86] d[54][87] d[54][88] d[54][89] d[55][0] d[55][1] d[55][2] d[55][3] d[55][4] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[55][81] d[55][82] d[55][83] d[55][84] d[55][85] d[55][86] d[55][87] d[55][88] d[55][89] d[56][0] d[56][1] d[56][2] d[56][3] d[56][4] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[56][81] d[56][82] d[56][83] d[56][84] d[56][85] d[56][86] d[56][87] d[56][88] d[56][89] d[57][0] d[57][1] d[57][2] d[57][3] d[57][4] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[57][81] d[57][82] d[57][83] d[57][84] d[57][85] d[57][86] d[57][87] d[57][88] d[57][89] d[58][0] d[58][1] d[58][2] d[58][3] d[58][4] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[58][81] d[58][82] d[58][83] d[58][84] d[58][85] d[58][86] d[58][87] d[58][88] d[58][89] d[59][0] d[59][1] d[59][2] d[59][3] d[59][4] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[59][81] d[59][82] d[59][83] d[59][84] d[59][85] d[59][86] d[59][87] d[59][88] d[59][89] d[60][0] d[60][1] d[60][2] d[60][3] d[60][4] d[60][5] d[60][6] d[60][7] d[60][8] d[60][9] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][60] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[60][81] d[60][82] d[60][83] d[60][84] d[60][85] d[60][86] d[60][87] d[60][88] d[60][89] d[61][0] d[61][1] d[61][2] d[61][3] d[61][4] d[61][5] d[61][6] d[61][7] d[61][8] d[61][9] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][60] d[61][61] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[61][81] d[61][82] d[61][83] d[61][84] d[61][85] d[61][86] d[61][87] d[61][88] d[61][89] d[62][0] d[62][1] d[62][2] d[62][3] d[62][4] d[62][5] d[62][6] d[62][7] d[62][8] d[62][9] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][60] d[62][61] d[62][62] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[62][81] d[62][82] d[62][83] d[62][84] d[62][85] d[62][86] d[62][87] d[62][88] d[62][89] d[63][0] d[63][1] d[63][2] d[63][3] d[63][4] d[63][5] d[63][6] d[63][7] d[63][8] d[63][9] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][60] d[63][61] d[63][62] d[63][63] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[63][81] d[63][82] d[63][83] d[63][84] d[63][85] d[63][86] d[63][87] d[63][88] d[63][89] d[64][0] d[64][1] d[64][2] d[64][3] d[64][4] d[64][5] d[64][6] d[64][7] d[64][8] d[64][9] d[64][10] d[64][11] d[64][12] d[64][13] d[64][14] d[64][15] d[64][16] d[64][17] d[64][18] d[64][19] d[64][20] d[64][21] d[64][22] d[64][23] d[64][24] d[64][25] d[64][26] d[64][27] d[64][28] d[64][29] d[64][30] d[64][31] d[64][32] d[64][33] d[64][34] d[64][35] d[64][36] d[64][37] d[64][38] d[64][39] d[64][40] d[64][41] d[64][42] d[64][43] d[64][44] d[64][45] d[64][46] d[64][47] d[64][48] d[64][49] d[64][50] d[64][51] d[64][52] d[64][53] d[64][54] d[64][55] d[64][56] d[64][57] d[64][58] d[64][59] d[64][60] d[64][61] d[64][62] d[64][63] d[64][64] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[64][81] d[64][82] d[64][83] d[64][84] d[64][85] d[64][86] d[64][87] d[64][88] d[64][89] d[65][0] d[65][1] d[65][2] d[65][3] d[65][4] d[65][5] d[65][6] d[65][7] d[65][8] d[65][9] d[65][10] d[65][11] d[65][12] d[65][13] d[65][14] d[65][15] d[65][16] d[65][17] d[65][18] d[65][19] d[65][20] d[65][21] d[65][22] d[65][23] d[65][24] d[65][25] d[65][26] d[65][27] d[65][28] d[65][29] d[65][30] d[65][31] d[65][32] d[65][33] d[65][34] d[65][35] d[65][36] d[65][37] d[65][38] d[65][39] d[65][40] d[65][41] d[65][42] d[65][43] d[65][44] d[65][45] d[65][46] d[65][47] d[65][48] d[65][49] d[65][50] d[65][51] d[65][52] d[65][53] d[65][54] d[65][55] d[65][56] d[65][57] d[65][58] d[65][59] d[65][60] d[65][61] d[65][62] d[65][63] d[65][64] d[65][65] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[65][81] d[65][82] d[65][83] d[65][84] d[65][85] d[65][86] d[65][87] d[65][88] d[65][89] d[66][0] d[66][1] d[66][2] d[66][3] d[66][4] d[66][5] d[66][6] d[66][7] d[66][8] d[66][9] d[66][10] d[66][11] d[66][12] d[66][13] d[66][14] d[66][15] d[66][16] d[66][17] d[66][18] d[66][19] d[66][20] d[66][21] d[66][22] d[66][23] d[66][24] d[66][25] d[66][26] d[66][27] d[66][28] d[66][29] d[66][30] d[66][31] d[66][32] d[66][33] d[66][34] d[66][35] d[66][36] d[66][37] d[66][38] d[66][39] d[66][40] d[66][41] d[66][42] d[66][43] d[66][44] d[66][45] d[66][46] d[66][47] d[66][48] d[66][49] d[66][50] d[66][51] d[66][52] d[66][53] d[66][54] d[66][55] d[66][56] d[66][57] d[66][58] d[66][59] d[66][60] d[66][61] d[66][62] d[66][63] d[66][64] d[66][65] d[66][66] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[66][81] d[66][82] d[66][83] d[66][84] d[66][85] d[66][86] d[66][87] d[66][88] d[66][89] d[67][0] d[67][1] d[67][2] d[67][3] d[67][4] d[67][5] d[67][6] d[67][7] d[67][8] d[67][9] d[67][10] d[67][11] d[67][12] d[67][13] d[67][14] d[67][15] d[67][16] d[67][17] d[67][18] d[67][19] d[67][20] d[67][21] d[67][22] d[67][23] d[67][24] d[67][25] d[67][26] d[67][27] d[67][28] d[67][29] d[67][30] d[67][31] d[67][32] d[67][33] d[67][34] d[67][35] d[67][36] d[67][37] d[67][38] d[67][39] d[67][40] d[67][41] d[67][42] d[67][43] d[67][44] d[67][45] d[67][46] d[67][47] d[67][48] d[67][49] d[67][50] d[67][51] d[67][52] d[67][53] d[67][54] d[67][55] d[67][56] d[67][57] d[67][58] d[67][59] d[67][60] d[67][61] d[67][62] d[67][63] d[67][64] d[67][65] d[67][66] d[67][67] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[67][81] d[67][82] d[67][83] d[67][84] d[67][85] d[67][86] d[67][87] d[67][88] d[67][89] d[68][0] d[68][1] d[68][2] d[68][3] d[68][4] d[68][5] d[68][6] d[68][7] d[68][8] d[68][9] d[68][10] d[68][11] d[68][12] d[68][13] d[68][14] d[68][15] d[68][16] d[68][17] d[68][18] d[68][19] d[68][20] d[68][21] d[68][22] d[68][23] d[68][24] d[68][25] d[68][26] d[68][27] d[68][28] d[68][29] d[68][30] d[68][31] d[68][32] d[68][33] d[68][34] d[68][35] d[68][36] d[68][37] d[68][38] d[68][39] d[68][40] d[68][41] d[68][42] d[68][43] d[68][44] d[68][45] d[68][46] d[68][47] d[68][48] d[68][49] d[68][50] d[68][51] d[68][52] d[68][53] d[68][54] d[68][55] d[68][56] d[68][57] d[68][58] d[68][59] d[68][60] d[68][61] d[68][62] d[68][63] d[68][64] d[68][65] d[68][66] d[68][67] d[68][68] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[68][81] d[68][82] d[68][83] d[68][84] d[68][85] d[68][86] d[68][87] d[68][88] d[68][89] d[69][0] d[69][1] d[69][2] d[69][3] d[69][4] d[69][5] d[69][6] d[69][7] d[69][8] d[69][9] d[69][10] d[69][11] d[69][12] d[69][13] d[69][14] d[69][15] d[69][16] d[69][17] d[69][18] d[69][19] d[69][20] d[69][21] d[69][22] d[69][23] d[69][24] d[69][25] d[69][26] d[69][27] d[69][28] d[69][29] d[69][30] d[69][31] d[69][32] d[69][33] d[69][34] d[69][35] d[69][36] d[69][37] d[69][38] d[69][39] d[69][40] d[69][41] d[69][42] d[69][43] d[69][44] d[69][45] d[69][46] d[69][47] d[69][48] d[69][49] d[69][50] d[69][51] d[69][52] d[69][53] d[69][54] d[69][55] d[69][56] d[69][57] d[69][58] d[69][59] d[69][60] d[69][61] d[69][62] d[69][63] d[69][64] d[69][65] d[69][66] d[69][67] d[69][68] d[69][69] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[69][81] d[69][82] d[69][83] d[69][84] d[69][85] d[69][86] d[69][87] d[69][88] d[69][89] d[70][0] d[70][1] d[70][2] d[70][3] d[70][4] d[70][5] d[70][6] d[70][7] d[70][8] d[70][9] d[70][10] d[70][11] d[70][12] d[70][13] d[70][14] d[70][15] d[70][16] d[70][17] d[70][18] d[70][19] d[70][20] d[70][21] d[70][22] d[70][23] d[70][24] d[70][25] d[70][26] d[70][27] d[70][28] d[70][29] d[70][30] d[70][31] d[70][32] d[70][33] d[70][34] d[70][35] d[70][36] d[70][37] d[70][38] d[70][39] d[70][40] d[70][41] d[70][42] d[70][43] d[70][44] d[70][45] d[70][46] d[70][47] d[70][48] d[70][49] d[70][50] d[70][51] d[70][52] d[70][53] d[70][54] d[70][55] d[70][56] d[70][57] d[70][58] d[70][59] d[70][60] d[70][61] d[70][62] d[70][63] d[70][64] d[70][65] d[70][66] d[70][67] d[70][68] d[70][69] d[70][70] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[70][81] d[70][82] d[70][83] d[70][84] d[70][85] d[70][86] d[70][87] d[70][88] d[70][89] d[71][0] d[71][1] d[71][2] d[71][3] d[71][4] d[71][5] d[71][6] d[71][7] d[71][8] d[71][9] d[71][10] d[71][11] d[71][12] d[71][13] d[71][14] d[71][15] d[71][16] d[71][17] d[71][18] d[71][19] d[71][20] d[71][21] d[71][22] d[71][23] d[71][24] d[71][25] d[71][26] d[71][27] d[71][28] d[71][29] d[71][30] d[71][31] d[71][32] d[71][33] d[71][34] d[71][35] d[71][36] d[71][37] d[71][38] d[71][39] d[71][40] d[71][41] d[71][42] d[71][43] d[71][44] d[71][45] d[71][46] d[71][47] d[71][48] d[71][49] d[71][50] d[71][51] d[71][52] d[71][53] d[71][54] d[71][55] d[71][56] d[71][57] d[71][58] d[71][59] d[71][60] d[71][61] d[71][62] d[71][63] d[71][64] d[71][65] d[71][66] d[71][67] d[71][68] d[71][69] d[71][70] d[71][71] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[71][81] d[71][82] d[71][83] d[71][84] d[71][85] d[71][86] d[71][87] d[71][88] d[71][89] d[72][0] d[72][1] d[72][2] d[72][3] d[72][4] d[72][5] d[72][6] d[72][7] d[72][8] d[72][9] d[72][10] d[72][11] d[72][12] d[72][13] d[72][14] d[72][15] d[72][16] d[72][17] d[72][18] d[72][19] d[72][20] d[72][21] d[72][22] d[72][23] d[72][24] d[72][25] d[72][26] d[72][27] d[72][28] d[72][29] d[72][30] d[72][31] d[72][32] d[72][33] d[72][34] d[72][35] d[72][36] d[72][37] d[72][38] d[72][39] d[72][40] d[72][41] d[72][42] d[72][43] d[72][44] d[72][45] d[72][46] d[72][47] d[72][48] d[72][49] d[72][50] d[72][51] d[72][52] d[72][53] d[72][54] d[72][55] d[72][56] d[72][57] d[72][58] d[72][59] d[72][60] d[72][61] d[72][62] d[72][63] d[72][64] d[72][65] d[72][66] d[72][67] d[72][68] d[72][69] d[72][70] d[72][71] d[72][72] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[72][81] d[72][82] d[72][83] d[72][84] d[72][85] d[72][86] d[72][87] d[72][88] d[72][89] d[73][0] d[73][1] d[73][2] d[73][3] d[73][4] d[73][5] d[73][6] d[73][7] d[73][8] d[73][9] d[73][10] d[73][11] d[73][12] d[73][13] d[73][14] d[73][15] d[73][16] d[73][17] d[73][18] d[73][19] d[73][20] d[73][21] d[73][22] d[73][23] d[73][24] d[73][25] d[73][26] d[73][27] d[73][28] d[73][29] d[73][30] d[73][31] d[73][32] d[73][33] d[73][34] d[73][35] d[73][36] d[73][37] d[73][38] d[73][39] d[73][40] d[73][41] d[73][42] d[73][43] d[73][44] d[73][45] d[73][46] d[73][47] d[73][48] d[73][49] d[73][50] d[73][51] d[73][52] d[73][53] d[73][54] d[73][55] d[73][56] d[73][57] d[73][58] d[73][59] d[73][60] d[73][61] d[73][62] d[73][63] d[73][64] d[73][65] d[73][66] d[73][67] d[73][68] d[73][69] d[73][70] d[73][71] d[73][72] d[73][73] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[73][81] d[73][82] d[73][83] d[73][84] d[73][85] d[73][86] d[73][87] d[73][88] d[73][89] d[74][0] d[74][1] d[74][2] d[74][3] d[74][4] d[74][5] d[74][6] d[74][7] d[74][8] d[74][9] d[74][10] d[74][11] d[74][12] d[74][13] d[74][14] d[74][15] d[74][16] d[74][17] d[74][18] d[74][19] d[74][20] d[74][21] d[74][22] d[74][23] d[74][24] d[74][25] d[74][26] d[74][27] d[74][28] d[74][29] d[74][30] d[74][31] d[74][32] d[74][33] d[74][34] d[74][35] d[74][36] d[74][37] d[74][38] d[74][39] d[74][40] d[74][41] d[74][42] d[74][43] d[74][44] d[74][45] d[74][46] d[74][47] d[74][48] d[74][49] d[74][50] d[74][51] d[74][52] d[74][53] d[74][54] d[74][55] d[74][56] d[74][57] d[74][58] d[74][59] d[74][60] d[74][61] d[74][62] d[74][63] d[74][64] d[74][65] d[74][66] d[74][67] d[74][68] d[74][69] d[74][70] d[74][71] d[74][72] d[74][73] d[74][74] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[74][81] d[74][82] d[74][83] d[74][84] d[74][85] d[74][86] d[74][87] d[74][88] d[74][89] d[75][0] d[75][1] d[75][2] d[75][3] d[75][4] d[75][5] d[75][6] d[75][7] d[75][8] d[75][9] d[75][10] d[75][11] d[75][12] d[75][13] d[75][14] d[75][15] d[75][16] d[75][17] d[75][18] d[75][19] d[75][20] d[75][21] d[75][22] d[75][23] d[75][24] d[75][25] d[75][26] d[75][27] d[75][28] d[75][29] d[75][30] d[75][31] d[75][32] d[75][33] d[75][34] d[75][35] d[75][36] d[75][37] d[75][38] d[75][39] d[75][40] d[75][41] d[75][42] d[75][43] d[75][44] d[75][45] d[75][46] d[75][47] d[75][48] d[75][49] d[75][50] d[75][51] d[75][52] d[75][53] d[75][54] d[75][55] d[75][56] d[75][57] d[75][58] d[75][59] d[75][60] d[75][61] d[75][62] d[75][63] d[75][64] d[75][65] d[75][66] d[75][67] d[75][68] d[75][69] d[75][70] d[75][71] d[75][72] d[75][73] d[75][74] d[75][75] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[75][81] d[75][82] d[75][83] d[75][84] d[75][85] d[75][86] d[75][87] d[75][88] d[75][89] d[76][0] d[76][1] d[76][2] d[76][3] d[76][4] d[76][5] d[76][6] d[76][7] d[76][8] d[76][9] d[76][10] d[76][11] d[76][12] d[76][13] d[76][14] d[76][15] d[76][16] d[76][17] d[76][18] d[76][19] d[76][20] d[76][21] d[76][22] d[76][23] d[76][24] d[76][25] d[76][26] d[76][27] d[76][28] d[76][29] d[76][30] d[76][31] d[76][32] d[76][33] d[76][34] d[76][35] d[76][36] d[76][37] d[76][38] d[76][39] d[76][40] d[76][41] d[76][42] d[76][43] d[76][44] d[76][45] d[76][46] d[76][47] d[76][48] d[76][49] d[76][50] d[76][51] d[76][52] d[76][53] d[76][54] d[76][55] d[76][56] d[76][57] d[76][58] d[76][59] d[76][60] d[76][61] d[76][62] d[76][63] d[76][64] d[76][65] d[76][66] d[76][67] d[76][68] d[76][69] d[76][70] d[76][71] d[76][72] d[76][73] d[76][74] d[76][75] d[76][76] d[76][77] d[76][78] d[76][79] d[76][80] d[76][81] d[76][82] d[76][83] d[76][84] d[76][85] d[76][86] d[76][87] d[76][88] d[76][89] d[77][0] d[77][1] d[77][2] d[77][3] d[77][4] d[77][5] d[77][6] d[77][7] d[77][8] d[77][9] d[77][10] d[77][11] d[77][12] d[77][13] d[77][14] d[77][15] d[77][16] d[77][17] d[77][18] d[77][19] d[77][20] d[77][21] d[77][22] d[77][23] d[77][24] d[77][25] d[77][26] d[77][27] d[77][28] d[77][29] d[77][30] d[77][31] d[77][32] d[77][33] d[77][34] d[77][35] d[77][36] d[77][37] d[77][38] d[77][39] d[77][40] d[77][41] d[77][42] d[77][43] d[77][44] d[77][45] d[77][46] d[77][47] d[77][48] d[77][49] d[77][50] d[77][51] d[77][52] d[77][53] d[77][54] d[77][55] d[77][56] d[77][57] d[77][58] d[77][59] d[77][60] d[77][61] d[77][62] d[77][63] d[77][64] d[77][65] d[77][66] d[77][67] d[77][68] d[77][69] d[77][70] d[77][71] d[77][72] d[77][73] d[77][74] d[77][75] d[77][76] d[77][77] d[77][78] d[77][79] d[77][80] d[77][81] d[77][82] d[77][83] d[77][84] d[77][85] d[77][86] d[77][87] d[77][88] d[77][89] d[78][0] d[78][1] d[78][2] d[78][3] d[78][4] d[78][5] d[78][6] d[78][7] d[78][8] d[78][9] d[78][10] d[78][11] d[78][12] d[78][13] d[78][14] d[78][15] d[78][16] d[78][17] d[78][18] d[78][19] d[78][20] d[78][21] d[78][22] d[78][23] d[78][24] d[78][25] d[78][26] d[78][27] d[78][28] d[78][29] d[78][30] d[78][31] d[78][32] d[78][33] d[78][34] d[78][35] d[78][36] d[78][37] d[78][38] d[78][39] d[78][40] d[78][41] d[78][42] d[78][43] d[78][44] d[78][45] d[78][46] d[78][47] d[78][48] d[78][49] d[78][50] d[78][51] d[78][52] d[78][53] d[78][54] d[78][55] d[78][56] d[78][57] d[78][58] d[78][59] d[78][60] d[78][61] d[78][62] d[78][63] d[78][64] d[78][65] d[78][66] d[78][67] d[78][68] d[78][69] d[78][70] d[78][71] d[78][72] d[78][73] d[78][74] d[78][75] d[78][76] d[78][77] d[78][78] d[78][79] d[78][80] d[78][81] d[78][82] d[78][83] d[78][84] d[78][85] d[78][86] d[78][87] d[78][88] d[78][89] d[79][0] d[79][1] d[79][2] d[79][3] d[79][4] d[79][5] d[79][6] d[79][7] d[79][8] d[79][9] d[79][10] d[79][11] d[79][12] d[79][13] d[79][14] d[79][15] d[79][16] d[79][17] d[79][18] d[79][19] d[79][20] d[79][21] d[79][22] d[79][23] d[79][24] d[79][25] d[79][26] d[79][27] d[79][28] d[79][29] d[79][30] d[79][31] d[79][32] d[79][33] d[79][34] d[79][35] d[79][36] d[79][37] d[79][38] d[79][39] d[79][40] d[79][41] d[79][42] d[79][43] d[79][44] d[79][45] d[79][46] d[79][47] d[79][48] d[79][49] d[79][50] d[79][51] d[79][52] d[79][53] d[79][54] d[79][55] d[79][56] d[79][57] d[79][58] d[79][59] d[79][60] d[79][61] d[79][62] d[79][63] d[79][64] d[79][65] d[79][66] d[79][67] d[79][68] d[79][69] d[79][70] d[79][71] d[79][72] d[79][73] d[79][74] d[79][75] d[79][76] d[79][77] d[79][78] d[79][79] d[79][80] d[79][81] d[79][82] d[79][83] d[79][84] d[79][85] d[79][86] d[79][87] d[79][88] d[79][89] d[80][0] d[80][1] d[80][2] d[80][3] d[80][4] d[80][5] d[80][6] d[80][7] d[80][8] d[80][9] d[80][10] d[80][11] d[80][12] d[80][13] d[80][14] d[80][15] d[80][16] d[80][17] d[80][18] d[80][19] d[80][20] d[80][21] d[80][22] d[80][23] d[80][24] d[80][25] d[80][26] d[80][27] d[80][28] d[80][29] d[80][30] d[80][31] d[80][32] d[80][33] d[80][34] d[80][35] d[80][36] d[80][37] d[80][38] d[80][39] d[80][40] d[80][41] d[80][42] d[80][43] d[80][44] d[80][45] d[80][46] d[80][47] d[80][48] d[80][49] d[80][50] d[80][51] d[80][52] d[80][53] d[80][54] d[80][55] d[80][56] d[80][57] d[80][58] d[80][59] d[80][60] d[80][61] d[80][62] d[80][63] d[80][64] d[80][65] d[80][66] d[80][67] d[80][68] d[80][69] d[80][70] d[80][71] d[80][72] d[80][73] d[80][74] d[80][75] d[80][76] d[80][77] d[80][78] d[80][79] d[80][80] d[80][81] d[80][82] d[80][83] d[80][84] d[80][85] d[80][86] d[80][87] d[80][88] d[80][89] d[81][0] d[81][1] d[81][2] d[81][3] d[81][4] d[81][5] d[81][6] d[81][7] d[81][8] d[81][9] d[81][10] d[81][11] d[81][12] d[81][13] d[81][14] d[81][15] d[81][16] d[81][17] d[81][18] d[81][19] d[81][20] d[81][21] d[81][22] d[81][23] d[81][24] d[81][25] d[81][26] d[81][27] d[81][28] d[81][29] d[81][30] d[81][31] d[81][32] d[81][33] d[81][34] d[81][35] d[81][36] d[81][37] d[81][38] d[81][39] d[81][40] d[81][41] d[81][42] d[81][43] d[81][44] d[81][45] d[81][46] d[81][47] d[81][48] d[81][49] d[81][50] d[81][51] d[81][52] d[81][53] d[81][54] d[81][55] d[81][56] d[81][57] d[81][58] d[81][59] d[81][60] d[81][61] d[81][62] d[81][63] d[81][64] d[81][65] d[81][66] d[81][67] d[81][68] d[81][69] d[81][70] d[81][71] d[81][72] d[81][73] d[81][74] d[81][75] d[81][76] d[81][77] d[81][78] d[81][79] d[81][80] d[81][81] d[81][82] d[81][83] d[81][84] d[81][85] d[81][86] d[81][87] d[81][88] d[81][89] d[82][0] d[82][1] d[82][2] d[82][3] d[82][4] d[82][5] d[82][6] d[82][7] d[82][8] d[82][9] d[82][10] d[82][11] d[82][12] d[82][13] d[82][14] d[82][15] d[82][16] d[82][17] d[82][18] d[82][19] d[82][20] d[82][21] d[82][22] d[82][23] d[82][24] d[82][25] d[82][26] d[82][27] d[82][28] d[82][29] d[82][30] d[82][31] d[82][32] d[82][33] d[82][34] d[82][35] d[82][36] d[82][37] d[82][38] d[82][39] d[82][40] d[82][41] d[82][42] d[82][43] d[82][44] d[82][45] d[82][46] d[82][47] d[82][48] d[82][49] d[82][50] d[82][51] d[82][52] d[82][53] d[82][54] d[82][55] d[82][56] d[82][57] d[82][58] d[82][59] d[82][60] d[82][61] d[82][62] d[82][63] d[82][64] d[82][65] d[82][66] d[82][67] d[82][68] d[82][69] d[82][70] d[82][71] d[82][72] d[82][73] d[82][74] d[82][75] d[82][76] d[82][77] d[82][78] d[82][79] d[82][80] d[82][81] d[82][82] d[82][83] d[82][84] d[82][85] d[82][86] d[82][87] d[82][88] d[82][89] d[83][0] d[83][1] d[83][2] d[83][3] d[83][4] d[83][5] d[83][6] d[83][7] d[83][8] d[83][9] d[83][10] d[83][11] d[83][12] d[83][13] d[83][14] d[83][15] d[83][16] d[83][17] d[83][18] d[83][19] d[83][20] d[83][21] d[83][22] d[83][23] d[83][24] d[83][25] d[83][26] d[83][27] d[83][28] d[83][29] d[83][30] d[83][31] d[83][32] d[83][33] d[83][34] d[83][35] d[83][36] d[83][37] d[83][38] d[83][39] d[83][40] d[83][41] d[83][42] d[83][43] d[83][44] d[83][45] d[83][46] d[83][47] d[83][48] d[83][49] d[83][50] d[83][51] d[83][52] d[83][53] d[83][54] d[83][55] d[83][56] d[83][57] d[83][58] d[83][59] d[83][60] d[83][61] d[83][62] d[83][63] d[83][64] d[83][65] d[83][66] d[83][67] d[83][68] d[83][69] d[83][70] d[83][71] d[83][72] d[83][73] d[83][74] d[83][75] d[83][76] d[83][77] d[83][78] d[83][79] d[83][80] d[83][81] d[83][82] d[83][83] d[83][84] d[83][85] d[83][86] d[83][87] d[83][88] d[83][89] d[84][0] d[84][1] d[84][2] d[84][3] d[84][4] d[84][5] d[84][6] d[84][7] d[84][8] d[84][9] d[84][10] d[84][11] d[84][12] d[84][13] d[84][14] d[84][15] d[84][16] d[84][17] d[84][18] d[84][19] d[84][20] d[84][21] d[84][22] d[84][23] d[84][24] d[84][25] d[84][26] d[84][27] d[84][28] d[84][29] d[84][30] d[84][31] d[84][32] d[84][33] d[84][34] d[84][35] d[84][36] d[84][37] d[84][38] d[84][39] d[84][40] d[84][41] d[84][42] d[84][43] d[84][44] d[84][45] d[84][46] d[84][47] d[84][48] d[84][49] d[84][50] d[84][51] d[84][52] d[84][53] d[84][54] d[84][55] d[84][56] d[84][57] d[84][58] d[84][59] d[84][60] d[84][61] d[84][62] d[84][63] d[84][64] d[84][65] d[84][66] d[84][67] d[84][68] d[84][69] d[84][70] d[84][71] d[84][72] d[84][73] d[84][74] d[84][75] d[84][76] d[84][77] d[84][78] d[84][79] d[84][80] d[84][81] d[84][82] d[84][83] d[84][84] d[84][85] d[84][86] d[84][87] d[84][88] d[84][89] d[85][0] d[85][1] d[85][2] d[85][3] d[85][4] d[85][5] d[85][6] d[85][7] d[85][8] d[85][9] d[85][10] d[85][11] d[85][12] d[85][13] d[85][14] d[85][15] d[85][16] d[85][17] d[85][18] d[85][19] d[85][20] d[85][21] d[85][22] d[85][23] d[85][24] d[85][25] d[85][26] d[85][27] d[85][28] d[85][29] d[85][30] d[85][31] d[85][32] d[85][33] d[85][34] d[85][35] d[85][36] d[85][37] d[85][38] d[85][39] d[85][40] d[85][41] d[85][42] d[85][43] d[85][44] d[85][45] d[85][46] d[85][47] d[85][48] d[85][49] d[85][50] d[85][51] d[85][52] d[85][53] d[85][54] d[85][55] d[85][56] d[85][57] d[85][58] d[85][59] d[85][60] d[85][61] d[85][62] d[85][63] d[85][64] d[85][65] d[85][66] d[85][67] d[85][68] d[85][69] d[85][70] d[85][71] d[85][72] d[85][73] d[85][74] d[85][75] d[85][76] d[85][77] d[85][78] d[85][79] d[85][80] d[85][81] d[85][82] d[85][83] d[85][84] d[85][85] d[85][86] d[85][87] d[85][88] d[85][89] d[86][0] d[86][1] d[86][2] d[86][3] d[86][4] d[86][5] d[86][6] d[86][7] d[86][8] d[86][9] d[86][10] d[86][11] d[86][12] d[86][13] d[86][14] d[86][15] d[86][16] d[86][17] d[86][18] d[86][19] d[86][20] d[86][21] d[86][22] d[86][23] d[86][24] d[86][25] d[86][26] d[86][27] d[86][28] d[86][29] d[86][30] d[86][31] d[86][32] d[86][33] d[86][34] d[86][35] d[86][36] d[86][37] d[86][38] d[86][39] d[86][40] d[86][41] d[86][42] d[86][43] d[86][44] d[86][45] d[86][46] d[86][47] d[86][48] d[86][49] d[86][50] d[86][51] d[86][52] d[86][53] d[86][54] d[86][55] d[86][56] d[86][57] d[86][58] d[86][59] d[86][60] d[86][61] d[86][62] d[86][63] d[86][64] d[86][65] d[86][66] d[86][67] d[86][68] d[86][69] d[86][70] d[86][71] d[86][72] d[86][73] d[86][74] d[86][75] d[86][76] d[86][77] d[86][78] d[86][79] d[86][80] d[86][81] d[86][82] d[86][83] d[86][84] d[86][85] d[86][86] d[86][87] d[86][88] d[86][89] d[87][0] d[87][1] d[87][2] d[87][3] d[87][4] d[87][5] d[87][6] d[87][7] d[87][8] d[87][9] d[87][10] d[87][11] d[87][12] d[87][13] d[87][14] d[87][15] d[87][16] d[87][17] d[87][18] d[87][19] d[87][20] d[87][21] d[87][22] d[87][23] d[87][24] d[87][25] d[87][26] d[87][27] d[87][28] d[87][29] d[87][30] d[87][31] d[87][32] d[87][33] d[87][34] d[87][35] d[87][36] d[87][37] d[87][38] d[87][39] d[87][40] d[87][41] d[87][42] d[87][43] d[87][44] d[87][45] d[87][46] d[87][47] d[87][48] d[87][49] d[87][50] d[87][51] d[87][52] d[87][53] d[87][54] d[87][55] d[87][56] d[87][57] d[87][58] d[87][59] d[87][60] d[87][61] d[87][62] d[87][63] d[87][64] d[87][65] d[87][66] d[87][67] d[87][68] d[87][69] d[87][70] d[87][71] d[87][72] d[87][73] d[87][74] d[87][75] d[87][76] d[87][77] d[87][78] d[87][79] d[87][80] d[87][81] d[87][82] d[87][83] d[87][84] d[87][85] d[87][86] d[87][87] d[87][88] d[87][89] d[88][0] d[88][1] d[88][2] d[88][3] d[88][4] d[88][5] d[88][6] d[88][7] d[88][8] d[88][9] d[88][10] d[88][11] d[88][12] d[88][13] d[88][14] d[88][15] d[88][16] d[88][17] d[88][18] d[88][19] d[88][20] d[88][21] d[88][22] d[88][23] d[88][24] d[88][25] d[88][26] d[88][27] d[88][28] d[88][29] d[88][30] d[88][31] d[88][32] d[88][33] d[88][34] d[88][35] d[88][36] d[88][37] d[88][38] d[88][39] d[88][40] d[88][41] d[88][42] d[88][43] d[88][44] d[88][45] d[88][46] d[88][47] d[88][48] d[88][49] d[88][50] d[88][51] d[88][52] d[88][53] d[88][54] d[88][55] d[88][56] d[88][57] d[88][58] d[88][59] d[88][60] d[88][61] d[88][62] d[88][63] d[88][64] d[88][65] d[88][66] d[88][67] d[88][68] d[88][69] d[88][70] d[88][71] d[88][72] d[88][73] d[88][74] d[88][75] d[88][76] d[88][77] d[88][78] d[88][79] d[88][80] d[88][81] d[88][82] d[88][83] d[88][84] d[88][85] d[88][86] d[88][87] d[88][88] d[88][89] d[89][0] d[89][1] d[89][2] d[89][3] d[89][4] d[89][5] d[89][6] d[89][7] d[89][8] d[89][9] d[89][10] d[89][11] d[89][12] d[89][13] d[89][14] d[89][15] d[89][16] d[89][17] d[89][18] d[89][19] d[89][20] d[89][21] d[89][22] d[89][23] d[89][24] d[89][25] d[89][26] d[89][27] d[89][28] d[89][29] d[89][30] d[89][31] d[89][32] d[89][33] d[89][34] d[89][35] d[89][36] d[89][37] d[89][38] d[89][39] d[89][40] d[89][41] d[89][42] d[89][43] d[89][44] d[89][45] d[89][46] d[89][47] d[89][48] d[89][49] d[89][50] d[89][51] d[89][52] d[89][53] d[89][54] d[89][55] d[89][56] d[89][57] d[89][58] d[89][59] d[89][60] d[89][61] d[89][62] d[89][63] d[89][64] d[89][65] d[89][66] d[89][67] d[89][68] d[89][69] d[89][70] d[89][71] d[89][72] d[89][73] d[89][74] d[89][75] d[89][76] d[89][77] d[89][78] d[89][79] d[89][80] d[89][81] d[89][82] d[89][83] d[89][84] d[89][85] d[89][86] d[89][87] d[89][88] d[89][89] </list>
2519.81/2520.01	v   <values> 32 1 18 9 63 81 66 39 47 24 4 30 38 71 25 5 31 42 51 49 41 61 52 2 72 27 68 55 17 56 14 44 34 6 50 48 8 67 57 26 64 35 23 20 36 13 74 43 58 54 28 88 15 0 16 12 59 33 70 29 84 89 3 45 53 11 10 60 82 78 19 65 46 76 69 80 87 21 40 85 86 83 79 77 62 7 75 37 73 22 * 1 0 0 2 4 0 2 0 0 5 0 5 0 5 3 10 6 5 0 5 4 0 5 0 2 2 2 2 2 4 3 10 0 2 0 1 1 5 5 2 5 5 0 10 0 1 5 0 0 5 0 10 3 0 5 1 1 0 0 5 6 0 5 0 1 2 0 5 1 10 4 10 2 6 0 4 0 0 3 1 0 5 0 2 0 5 0 0 2 * * 0 5 5 5 2 2 1 5 0 10 5 5 5 3 2 1 2 5 10 2 0 5 0 2 2 1 0 1 0 0 5 10 0 1 2 5 2 2 2 0 5 5 0 0 0 1 1 1 6 3 5 2 10 0 0 1 5 2 0 0 10 0 1 0 1 6 0 2 0 1 6 2 4 1 5 0 2 1 0 0 0 0 0 1 0 4 5 0 * * * 0 0 0 1 0 0 1 1 0 5 4 4 10 6 0 0 1 0 0 5 10 0 5 10 0 0 10 10 0 2 10 2 2 2 1 10 1 10 5 2 2 5 2 2 2 5 2 0 2 1 0 4 10 1 3 1 1 2 0 1 0 3 5 2 0 5 6 1 5 0 5 2 2 2 1 2 5 2 1 2 5 0 2 4 5 0 0 * * * * 10 2 0 5 6 2 5 5 0 1 0 5 6 0 2 3 5 0 0 2 5 2 2 1 5 2 5 10 1 1 4 2 10 1 0 0 5 2 0 3 5 1 1 0 0 0 2 10 5 6 2 2 5 0 5 2 0 5 5 0 2 5 0 1 2 2 2 2 1 2 5 10 0 5 0 0 0 1 0 1 5 2 2 0 2 2 * * * * * 10 5 10 0 2 10 2 0 1 1 2 1 1 0 0 2 0 6 0 1 2 2 2 2 1 2 1 0 3 1 0 2 0 5 2 0 5 2 5 2 0 0 0 5 10 5 5 0 6 5 5 2 0 0 0 1 1 5 0 1 6 10 0 1 4 0 2 1 4 2 5 1 5 0 6 5 2 0 5 1 0 2 0 5 2 * * * * * * 2 5 0 0 2 0 0 1 0 2 10 10 1 0 4 1 5 2 2 0 2 2 0 2 1 1 0 0 2 5 2 5 3 2 10 0 4 0 0 5 5 5 1 0 5 0 5 5 1 5 1 2 3 0 1 2 1 2 1 2 0 2 5 2 1 5 0 3 0 5 2 0 5 2 1 1 1 2 5 0 2 2 0 0 * * * * * * * 0 0 0 10 0 10 1 0 2 0 0 2 2 2 5 0 4 10 2 4 2 10 5 0 1 5 2 0 1 1 0 1 0 0 1 5 0 1 2 0 2 1 10 5 5 0 0 5 0 0 3 1 2 2 3 2 0 0 5 0 5 6 0 1 0 0 10 1 10 1 2 0 3 0 1 1 0 0 0 4 2 2 1 * * * * * * * * 10 2 2 2 5 2 4 2 0 0 10 3 0 0 5 1 2 5 1 5 1 10 0 0 5 3 0 2 0 5 0 10 0 0 2 2 5 10 4 10 2 0 0 3 0 0 0 0 3 3 5 0 3 2 4 0 0 3 5 10 0 1 1 5 2 5 0 10 0 0 2 0 1 5 5 0 5 1 0 0 2 2 * * * * * * * * * 5 0 6 2 2 1 4 1 0 5 10 0 10 0 5 2 5 2 10 2 0 0 10 0 0 5 1 1 0 5 2 5 6 2 0 0 0 10 5 10 2 0 2 2 5 2 0 0 5 1 3 5 0 1 0 2 0 1 2 5 0 1 0 1 0 1 0 5 0 4 10 1 0 0 0 10 0 1 3 1 1 * * * * * * * * * * 3 0 0 1 0 2 0 10 3 2 0 6 10 0 1 0 0 0 5 5 0 1 10 2 0 0 1 0 1 0 2 0 0 5 3 5 0 4 4 5 5 0 2 2 6 0 5 0 5 0 0 0 0 0 2 5 2 5 2 2 2 5 1 0 0 1 1 2 0 0 5 5 1 2 5 5 2 5 5 5 * * * * * * * * * * * 2 0 5 1 2 0 0 1 0 5 2 3 0 5 5 0 0 6 0 0 0 1 2 2 0 2 0 0 0 2 2 5 2 5 0 0 0 2 1 2 1 0 4 5 0 2 0 5 2 2 2 3 2 3 2 0 0 10 10 0 0 10 0 2 3 0 1 0 0 0 0 0 0 2 2 0 2 1 2 * * * * * * * * * * * * 2 0 0 5 2 5 1 5 1 3 5 2 5 5 2 3 6 0 10 0 5 6 2 5 1 5 0 2 3 0 1 5 2 0 0 1 5 4 2 0 5 0 1 0 5 10 3 6 5 2 2 1 0 1 0 0 5 0 0 0 1 0 1 5 0 0 2 6 5 1 5 1 0 0 0 2 2 0 * * * * * * * * * * * * * 10 2 10 10 2 1 5 5 10 2 5 5 1 1 5 0 2 3 5 10 0 0 5 1 2 0 0 3 0 2 3 4 0 3 5 0 5 1 5 0 5 1 1 0 3 0 0 1 5 10 3 0 0 1 0 1 0 5 2 1 0 2 5 0 1 0 0 0 2 2 2 0 0 2 5 3 5 * * * * * * * * * * * * * * 1 0 5 3 2 1 0 2 2 10 0 5 2 0 0 0 0 0 1 2 0 5 5 10 3 0 3 5 0 6 3 5 1 5 0 0 0 5 0 4 0 2 2 4 0 0 10 5 2 3 0 2 5 0 1 0 5 0 6 2 1 2 2 0 1 0 2 2 0 4 0 10 2 5 5 0 * * * * * * * * * * * * * * * 0 2 1 0 5 0 0 0 2 10 5 2 0 5 0 0 10 1 1 10 10 0 5 1 0 2 1 5 2 2 0 1 0 0 0 5 2 2 1 6 1 5 0 0 5 2 10 10 10 10 5 0 5 5 2 0 0 3 1 0 5 5 0 0 2 0 2 0 1 5 1 2 5 6 0 * * * * * * * * * * * * * * * * 2 0 10 1 5 5 5 2 10 5 5 3 10 10 0 1 5 2 5 2 2 5 1 5 0 1 0 2 10 2 0 5 5 3 10 0 1 2 5 10 2 5 2 0 0 5 0 2 5 10 1 0 5 2 3 5 4 0 0 2 0 0 4 0 2 10 0 5 5 0 1 5 1 2 * * * * * * * * * * * * * * * * * 5 10 2 2 10 5 0 10 1 4 2 0 2 5 1 5 5 0 0 2 5 3 10 2 2 1 1 2 0 1 2 1 5 2 5 0 2 2 2 5 1 5 0 5 5 1 0 10 0 0 0 0 2 5 0 0 0 2 2 10 2 1 0 0 5 0 5 5 2 0 2 0 2 * * * * * * * * * * * * * * * * * * 1 10 5 2 5 5 0 4 0 10 0 0 1 0 0 5 5 0 0 5 5 0 0 10 5 5 0 10 10 2 1 3 0 0 6 4 3 5 0 2 0 5 0 0 0 0 4 0 0 3 0 5 4 5 2 2 2 0 0 2 5 5 5 0 3 5 10 0 2 1 5 0 * * * * * * * * * * * * * * * * * * * 0 0 5 0 5 0 5 1 2 0 0 3 5 2 5 5 4 1 2 0 2 5 0 2 5 2 4 0 0 2 5 0 2 2 0 3 5 2 0 2 0 5 0 1 1 0 2 3 5 0 5 1 0 5 2 0 0 10 2 3 2 2 2 0 2 10 10 10 5 0 2 * * * * * * * * * * * * * * * * * * * * 0 0 5 2 5 10 0 5 0 0 1 2 0 2 0 5 4 2 0 2 0 5 2 1 5 0 0 1 1 2 1 5 2 1 2 5 2 3 4 2 0 5 2 2 0 5 1 0 2 1 1 5 0 1 0 0 0 0 5 5 2 5 4 2 3 2 3 1 2 0 * * * * * * * * * * * * * * * * * * * * * 5 10 6 0 0 1 1 5 2 2 6 10 2 0 0 0 0 2 0 0 5 10 5 0 5 0 5 0 5 10 1 2 0 1 5 5 0 1 0 10 0 0 0 5 4 1 1 1 2 2 0 0 0 0 2 0 2 2 0 2 2 1 0 0 6 0 4 0 2 * * * * * * * * * * * * * * * * * * * * * * 2 5 1 0 2 0 2 0 2 2 10 1 1 0 5 5 2 0 5 0 2 5 1 10 0 0 0 5 5 1 2 6 5 2 0 2 0 4 5 3 2 0 2 1 2 2 1 0 5 2 0 5 2 5 0 6 10 4 10 5 1 2 0 2 0 0 4 2 * * * * * * * * * * * * * * * * * * * * * * * 1 2 1 1 0 1 0 5 5 2 3 1 5 2 1 0 5 4 2 2 0 5 1 5 5 0 3 5 0 5 5 1 5 0 4 5 0 2 5 10 3 2 0 0 0 1 2 5 3 0 5 2 0 0 0 0 2 0 0 5 0 0 0 0 2 1 2 * * * * * * * * * * * * * * * * * * * * * * * * 1 5 10 2 5 2 2 10 5 5 10 3 2 5 1 5 5 5 0 0 6 10 5 0 0 5 5 2 10 10 5 2 5 2 0 5 0 5 0 4 5 0 0 0 0 1 0 0 0 5 5 0 5 0 0 5 0 10 10 2 2 5 3 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 0 0 3 0 5 1 5 2 0 0 6 0 2 0 2 4 0 10 0 1 0 2 6 10 0 5 6 4 5 1 0 0 5 10 2 3 2 2 1 0 0 0 2 4 0 5 5 5 0 1 4 2 0 2 5 1 0 2 0 5 6 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 5 0 0 4 10 10 5 5 10 5 0 1 2 5 0 0 5 5 0 10 3 4 1 1 1 0 0 4 0 1 0 0 2 10 0 2 10 3 0 0 10 2 5 3 5 5 2 0 0 0 2 1 2 0 10 5 6 0 3 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 5 10 0 2 5 0 5 0 2 3 3 1 5 2 0 4 5 0 0 5 1 0 3 0 0 5 1 10 0 10 5 0 0 0 0 2 10 0 1 0 2 0 0 2 5 5 0 0 0 4 0 2 2 5 1 0 2 2 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 10 6 2 0 5 1 3 0 0 4 2 10 2 0 1 5 5 0 4 4 0 4 1 1 0 2 3 2 2 1 1 4 10 10 0 4 5 0 2 0 3 0 0 2 3 2 5 5 4 3 0 0 10 2 1 5 0 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 10 1 0 1 2 0 10 0 1 3 1 1 2 5 0 2 1 5 2 0 2 0 0 2 2 6 0 5 10 1 1 5 10 0 1 5 5 4 0 5 5 0 0 2 5 0 2 0 0 2 5 0 0 2 5 0 0 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 10 0 5 5 0 3 0 5 2 0 2 5 4 0 10 5 1 5 1 5 3 5 0 5 5 3 1 3 2 2 4 2 5 5 2 10 10 2 2 5 0 2 0 2 5 2 2 3 2 10 4 10 2 2 5 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 1 5 5 2 2 0 2 2 5 5 4 5 5 3 4 5 10 3 10 0 3 10 0 2 1 2 2 0 3 0 5 5 5 1 5 0 1 10 3 0 10 0 1 0 10 0 5 2 0 5 5 2 1 4 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 0 5 5 3 5 0 1 2 0 0 5 5 0 2 0 4 2 4 1 0 1 5 5 0 5 5 2 0 5 0 2 0 1 5 0 1 2 5 4 5 2 5 1 0 1 5 3 2 0 3 0 2 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 1 0 10 2 0 3 0 5 1 4 5 0 3 0 2 5 5 5 2 1 0 4 0 0 0 10 0 0 2 1 0 1 2 5 0 0 5 6 0 2 0 3 5 0 1 0 0 1 0 5 2 6 0 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 0 6 0 2 0 1 2 0 10 0 5 2 0 1 0 10 5 1 5 5 0 0 5 5 5 5 0 0 0 1 0 1 5 0 0 4 0 5 5 2 5 3 2 5 0 0 5 1 0 5 2 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 10 4 1 10 0 0 2 10 0 0 1 5 2 0 6 10 2 0 0 5 5 1 5 0 3 2 1 5 2 3 3 2 6 5 5 6 2 5 10 10 1 5 1 2 0 10 5 3 0 0 3 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 2 6 5 10 4 0 5 0 10 0 1 2 0 0 5 3 4 0 5 0 2 2 2 2 1 2 3 1 5 0 5 0 2 2 0 10 5 5 5 0 4 0 0 3 2 5 2 0 2 4 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 0 5 5 2 4 1 1 5 2 3 5 1 6 5 0 0 4 4 1 2 4 2 0 5 0 1 6 2 4 0 0 0 2 0 0 2 2 10 2 5 6 0 0 2 3 0 1 5 10 1 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 4 10 0 0 10 4 2 1 2 0 2 10 5 5 5 1 2 0 2 0 5 10 0 3 2 0 10 10 0 3 4 2 0 2 1 0 0 10 5 0 5 0 2 2 2 0 0 2 3 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 5 2 0 0 1 10 0 1 4 5 1 5 2 3 0 0 1 5 0 5 6 0 5 3 0 10 0 1 0 2 0 0 2 0 5 0 0 0 5 0 5 4 6 5 5 5 5 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 1 2 1 3 10 2 0 1 2 0 3 0 2 0 2 1 10 2 4 2 10 1 1 5 2 0 10 1 1 1 1 5 2 10 0 0 5 2 5 0 1 1 1 5 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 1 10 5 1 2 3 0 2 1 4 3 0 5 0 0 0 5 10 10 1 3 3 5 2 2 0 5 5 0 5 0 5 5 1 2 0 0 10 2 5 2 0 1 5 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 5 0 0 0 10 0 10 5 0 2 0 2 10 1 5 5 2 4 1 1 5 5 3 2 0 0 2 5 10 10 10 0 0 0 5 5 2 0 0 2 2 0 3 0 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 1 2 3 0 5 2 0 1 5 1 0 10 2 2 2 2 10 5 10 0 0 4 0 2 1 0 4 0 2 0 5 1 0 0 5 1 3 2 4 5 10 0 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 0 5 1 5 5 0 5 10 2 0 10 1 3 0 0 10 5 5 5 0 5 2 2 0 0 0 0 5 5 2 0 0 5 2 0 0 5 2 5 4 4 1 5 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 5 1 1 5 0 0 1 0 10 0 0 2 5 0 0 5 10 1 1 0 0 0 0 1 2 10 0 0 6 2 10 10 2 0 10 5 3 1 0 5 0 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 5 2 0 2 6 0 10 10 2 6 1 1 4 0 1 1 2 0 10 1 0 5 0 4 5 2 1 2 1 1 2 5 1 5 2 0 5 4 0 0 10 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 10 10 5 0 5 0 4 0 1 0 1 5 0 10 1 10 5 3 5 5 1 2 1 0 0 0 3 5 10 0 4 0 3 10 2 2 0 1 2 0 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 2 0 5 1 1 1 0 5 5 1 1 0 0 5 2 0 5 5 0 2 0 10 5 5 0 3 3 10 5 2 0 5 0 2 10 0 6 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 4 2 0 1 1 0 10 0 5 5 5 0 3 0 4 2 0 10 0 2 0 5 5 0 0 1 0 5 2 5 5 10 0 2 0 5 0 10 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 5 2 1 10 0 2 1 10 5 0 2 0 0 4 2 0 10 0 5 0 0 0 5 0 4 4 1 2 0 2 5 5 2 2 0 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 4 2 6 1 0 1 0 0 0 2 10 2 5 3 1 5 0 1 0 1 4 10 0 5 3 0 0 5 0 0 4 2 4 3 3 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 2 5 5 6 2 5 5 10 5 3 0 2 2 2 1 5 5 0 0 2 5 3 0 2 2 0 10 4 5 0 3 5 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 2 0 3 1 2 4 0 0 0 2 0 5 5 6 5 2 0 10 2 0 5 0 3 4 0 0 4 5 2 4 10 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 4 0 0 5 4 2 0 5 0 0 0 5 1 1 0 5 5 2 5 5 2 5 1 0 1 5 0 0 2 5 5 1 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 10 5 5 0 2 0 0 5 0 5 6 2 10 5 2 0 5 4 5 2 0 1 0 4 2 0 10 5 2 4 5 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 1 0 5 1 0 5 2 0 10 5 10 2 5 0 5 1 1 5 0 1 5 0 0 2 10 4 2 0 6 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 0 5 10 2 1 2 5 10 0 2 2 2 5 0 2 5 5 2 0 0 2 0 5 5 5 0 0 0 5 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 0 5 5 5 0 5 0 5 5 1 0 0 3 0 2 5 2 10 0 0 0 0 1 5 0 2 4 0 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 0 2 4 0 1 5 5 0 5 5 2 6 0 1 0 0 5 2 0 0 5 3 4 1 1 1 1 10 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 1 0 0 5 0 0 2 4 2 4 0 0 2 5 5 2 0 1 0 0 2 5 5 2 2 5 1 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 10 10 2 2 2 10 0 5 2 1 0 5 1 2 1 5 2 10 0 2 0 0 0 5 2 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 5 1 2 0 2 1 0 2 0 5 1 5 1 5 2 0 5 5 4 2 2 1 1 10 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 0 10 5 4 1 5 10 5 10 1 2 0 0 2 10 10 0 0 0 5 5 5 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 5 0 2 0 4 2 0 0 0 1 5 0 0 0 1 2 0 5 5 5 0 2 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 10 10 5 0 5 5 0 5 2 1 3 0 3 0 2 5 4 5 2 0 1 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 3 3 5 5 4 10 0 2 2 5 0 2 5 0 2 5 5 0 4 1 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 4 5 2 0 10 2 2 2 2 1 0 0 1 4 2 5 1 1 1 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 5 0 0 0 1 5 0 1 5 1 5 0 5 4 2 2 0 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 10 0 0 5 1 0 5 5 5 10 0 4 3 1 2 5 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 1 10 0 1 5 4 10 0 10 3 5 1 5 0 2 2 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 4 3 5 0 1 2 0 5 0 10 6 5 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 10 10 5 3 6 1 2 10 2 0 10 5 0 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 10 10 2 2 2 5 0 6 1 5 5 4 3 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 4 0 5 2 0 3 2 5 0 5 1 1 5 3 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 10 2 4 0 0 0 0 2 0 10 1 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 1 5 0 0 10 10 5 0 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 10 2 10 10 3 2 0 5 2 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 2 2 2 0 0 0 4 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 2 5 2 0 5 10 10 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 2 0 2 5 1 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 5 0 0 0 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 10 2 0 1 0 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 4 2 5 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 3 0 1 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 5 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2519.81/2520.01	v </instantiation>

OK	63495

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (1798 MiB free)
  memory of node 1: 16384 MiB (3863 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303704-1534008637/watcher-4303704-1534008637 -o /tmp/evaluation-result-4303704-1534008637/solver-4303704-1534008637 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21541 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 762468753 HOME/instance-4303704-1534008637.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23987, runsolver pid=23984

[startup+0.100206 s]*
/proc/loadavg: 2.00 2.03 2.05 3/192 23988
/proc/meminfo: memFree=5785464/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=42044 memory=16552 CPUtime=0.1 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 4518 0 0 0 10 0 0 0 20 0 1 0 218426912 43053056 4138 33554432000 4194304 7499544 140724796353968 140724796350968 140407238212608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 10511 4138 689 807 0 3502 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42044 KiB
Current children cumulated memory: 16552 KiB

[startup+0.210002 s]*
/proc/loadavg: 2.00 2.03 2.05 3/192 23988
/proc/meminfo: memFree=5745296/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=87476 memory=61952 CPUtime=0.2 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 15902 0 0 0 18 2 0 0 20 0 1 0 218426912 89575424 15488 33554432000 4194304 7499544 140724796353968 140724796345432 140407237822368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 21869 15488 698 807 0 14860 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 87476 KiB
Current children cumulated memory: 61952 KiB

[startup+0.310162 s]*
/proc/loadavg: 2.00 2.03 2.05 3/192 23988
/proc/meminfo: memFree=5670648/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=162072 memory=136664 CPUtime=0.3 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 34550 0 0 0 26 4 0 0 20 0 1 0 218426912 165961728 34166 33554432000 4194304 7499544 140724796353968 140724796345432 140407237774309 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 40518 34166 698 807 0 33509 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 162072 KiB
Current children cumulated memory: 136664 KiB

[startup+0.700418 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 23988
/proc/meminfo: memFree=5519864/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=449408 memory=424160 CPUtime=0.68 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 106402 0 0 0 54 14 0 0 20 0 1 0 218426912 460193792 105974 33554432000 4194304 7499544 140724796353968 140724796345416 140407237774309 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 112396 106040 698 807 0 105387 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 449408 KiB
Current children cumulated memory: 424160 KiB

[startup+1.50042 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 23988
/proc/meminfo: memFree=5147836/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=1059456 memory=1034000 CPUtime=1.48 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 258916 0 0 0 114 34 0 0 20 0 1 0 218426912 1084882944 258500 33554432000 4194304 7499544 140724796353968 140724796345416 140407237774309 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 264915 258500 698 807 0 257906 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1059456 KiB
Current children cumulated memory: 1034000 KiB

[startup+3.11024 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 23988
/proc/meminfo: memFree=3657604/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=2242124 memory=2216736 CPUtime=3.09 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 554615 0 0 0 231 78 0 0 20 0 1 0 218426912 2295934976 554118 33554432000 4194304 7499544 140724796353968 140724796345000 140407237774309 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 560531 554184 698 807 0 553522 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2242124 KiB
Current children cumulated memory: 2216736 KiB

[startup+6.30042 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 23988
/proc/meminfo: memFree=1855900/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=3971124 memory=3945876 CPUtime=6.28 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 1467971 0 0 0 453 175 0 0 20 0 1 0 218426912 4066430976 986469 33554432000 4194304 7499544 140724796353968 140724796345000 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 992781 986469 738 807 0 985772 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 3971124 KiB
Current children cumulated memory: 3945876 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 23988
/proc/meminfo: memFree=1295772/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4519800 memory=4494592 CPUtime=12.68 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 1958758 0 0 0 1036 232 0 0 20 0 1 0 218426912 4628275200 1123648 33554432000 4194304 7499544 140724796353968 140724796348504 5163864 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1129950 1123648 748 807 0 1122941 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 4519800 KiB
Current children cumulated memory: 4494592 KiB

[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.05 3/192 23988
/proc/meminfo: memFree=1204068/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4611548 memory=4586340 CPUtime=25.47 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 3010048 0 0 0 2231 316 0 0 20 0 1 0 218426912 4722225152 1146585 33554432000 4194304 7499544 140724796353968 140724796348504 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1152887 1146585 748 807 0 1145878 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 4611548 KiB
Current children cumulated memory: 4586340 KiB

[startup+51.1102 s]
/proc/loadavg: 2.05 2.04 2.05 3/192 23988
/proc/meminfo: memFree=1113076/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4703420 memory=4678316 CPUtime=51.07 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 4944674 0 0 0 4634 473 0 0 20 0 1 0 218426912 4816302080 1169579 33554432000 4194304 7499544 140724796353968 140724796348504 5790971 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1175855 1169579 748 807 0 1168846 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 4703420 KiB
Current children cumulated memory: 4678316 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 23989
/proc/meminfo: memFree=1064708/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4751208 memory=4726076 CPUtime=102.24 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 7137440 0 0 0 9580 644 0 0 20 0 1 0 218426912 4865236992 1181519 33554432000 4194304 7499544 140724796353968 140724796348984 5790967 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1187802 1181519 748 807 0 1180793 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 4751208 KiB
Current children cumulated memory: 4726076 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 23990
/proc/meminfo: memFree=1042432/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4773252 memory=4748148 CPUtime=162.24 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 9099855 0 0 0 15414 810 0 0 20 0 1 0 218426912 4887810048 1187037 33554432000 4194304 7499544 140724796353968 140724796348984 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1193313 1187037 748 807 0 1186304 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 4773252 KiB
Current children cumulated memory: 4748148 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 23991
/proc/meminfo: memFree=1035164/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4780776 memory=4755656 CPUtime=222.24 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 10085688 0 0 0 21325 899 0 0 20 0 1 0 218426912 4895514624 1188914 33554432000 4194304 7499544 140724796353968 140724796348984 5790999 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1195194 1188914 748 807 0 1188185 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 4780776 KiB
Current children cumulated memory: 4755656 KiB

[startup+282.3 s]
/proc/loadavg: 2.13 2.05 2.05 3/190 23992
/proc/meminfo: memFree=1027840/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4788168 memory=4763084 CPUtime=282.23 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 10946561 0 0 0 27250 973 0 0 20 0 1 0 218426912 4903084032 1190771 33554432000 4194304 7499544 140724796353968 140724796348984 5771859 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1197042 1190771 748 807 0 1190033 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 4788168 KiB
Current children cumulated memory: 4763084 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/190 23993
/proc/meminfo: memFree=1022408/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4794376 memory=4769172 CPUtime=342.23 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 11800217 0 0 0 33182 1041 0 0 20 0 1 0 218426912 4909441024 1192293 33554432000 4194304 7499544 140724796353968 140724796348984 5771859 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1198594 1192293 748 807 0 1191585 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 4794376 KiB
Current children cumulated memory: 4769172 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/190 23994
/proc/meminfo: memFree=1015792/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4800980 memory=4775796 CPUtime=402.23 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 12615870 0 0 0 39114 1109 0 0 20 0 1 0 218426912 4916203520 1193949 33554432000 4194304 7499544 140724796353968 140724796348984 5773392 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1200245 1193949 748 807 0 1193236 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 4800980 KiB
Current children cumulated memory: 4775796 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 23995
/proc/meminfo: memFree=1014776/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4800980 memory=4775796 CPUtime=462.22 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 12700934 0 0 0 45103 1119 0 0 20 0 1 0 218426912 4916203520 1193949 33554432000 4194304 7499544 140724796353968 140724796348984 5771839 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1200245 1193949 748 807 0 1193236 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 4800980 KiB
Current children cumulated memory: 4775796 KiB


################
# More data... #
################

/proc/meminfo: memFree=992692/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810532 CPUtime=1782.13 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 34403473 0 0 0 175158 3055 0 0 20 0 1 0 218426912 4951797760 1202633 33554432000 4194304 7499544 140724796353968 140724796348984 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202633 748 807 0 1201926 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810532 KiB

[startup+1842.3 s]
/proc/loadavg: 2.27 2.05 2.06 3/192 24130
/proc/meminfo: memFree=998356/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810536 CPUtime=1842.13 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 35110433 0 0 0 181084 3129 0 0 20 0 1 0 218426912 4951797760 1202634 33554432000 4194304 7499544 140724796353968 140724796348984 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202634 748 807 0 1201926 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810536 KiB

[startup+1902.3 s]
/proc/loadavg: 2.41 2.14 2.09 3/192 24131
/proc/meminfo: memFree=998728/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810544 CPUtime=1902.13 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 35838858 0 0 0 187008 3205 0 0 20 0 1 0 218426912 4951797760 1202636 33554432000 4194304 7499544 140724796353968 140724796348984 4258041 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202636 748 807 0 1201926 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810544 KiB

[startup+1962.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/192 24132
/proc/meminfo: memFree=998844/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810552 CPUtime=1962.12 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 36545376 0 0 0 192936 3276 0 0 20 0 1 0 218426912 4951797760 1202638 33554432000 4194304 7499544 140724796353968 140724796348984 5770280 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202638 748 807 0 1201926 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810552 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/192 24133
/proc/meminfo: memFree=999192/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810556 CPUtime=2022.12 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 37295032 0 0 0 198857 3355 0 0 20 0 1 0 218426912 4951797760 1202639 33554432000 4194304 7499544 140724796353968 140724796348984 5790967 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202639 748 807 0 1201926 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810556 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/191 24134
/proc/meminfo: memFree=999328/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810556 CPUtime=2082.13 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 38160514 0 0 0 204767 3446 0 0 20 0 1 0 218426912 4951797760 1202639 33554432000 4194304 7499544 140724796353968 140724796348984 5791192 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202639 748 807 0 1201926 0
Current children cumulated CPU time: 2082.13 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810556 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/190 24135
/proc/meminfo: memFree=999300/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810556 CPUtime=2142.12 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 39017212 0 0 0 210681 3531 0 0 20 0 1 0 218426912 4951797760 1202639 33554432000 4194304 7499544 140724796353968 140724796348984 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202639 748 807 0 1201926 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810556 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/190 24136
/proc/meminfo: memFree=999256/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810556 CPUtime=2202.12 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 39749856 0 0 0 216606 3606 0 0 20 0 1 0 218426912 4951797760 1202639 33554432000 4194304 7499544 140724796353968 140724796348984 4404875 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202639 748 807 0 1201926 0
Current children cumulated CPU time: 2202.12 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810556 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 24137
/proc/meminfo: memFree=999212/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4835740 memory=4810556 CPUtime=2262.11 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 40580980 0 0 0 222522 3689 0 0 20 0 1 0 218426912 4951797760 1202639 33554432000 4194304 7499544 140724796353968 140724796348984 5790971 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1208935 1202639 748 807 0 1201926 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 4835740 KiB
Current children cumulated memory: 4810556 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 24139
/proc/meminfo: memFree=993492/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4841812 memory=4816732 CPUtime=2322.11 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 42891898 0 0 0 228336 3875 0 0 20 0 1 0 218426912 4958015488 1204183 33554432000 4194304 7499544 140724796353968 140724796348984 4249920 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1210453 1204183 748 807 0 1203444 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 4841812 KiB
Current children cumulated memory: 4816732 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 24148
/proc/meminfo: memFree=992964/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4841812 memory=4816732 CPUtime=2382.11 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 43737060 0 0 0 234251 3960 0 0 20 0 1 0 218426912 4958015488 1204183 33554432000 4194304 7499544 140724796353968 140724796348984 5790971 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1210453 1204183 748 807 0 1203444 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 4841812 KiB
Current children cumulated memory: 4816732 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 24149
/proc/meminfo: memFree=993452/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4841812 memory=4816732 CPUtime=2442.11 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 44588912 0 0 0 240165 4046 0 0 20 0 1 0 218426912 4958015488 1204183 33554432000 4194304 7499544 140724796353968 140724796348984 5790967 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1210453 1204183 748 807 0 1203444 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 4841812 KiB
Current children cumulated memory: 4816732 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 24150
/proc/meminfo: memFree=993444/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4841812 memory=4816732 CPUtime=2502.1 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 45447690 0 0 0 246081 4129 0 0 20 0 1 0 218426912 4958015488 1204183 33554432000 4194304 7499544 140724796353968 140724796348984 5770335 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1210453 1204183 748 807 0 1203444 0
Current children cumulated CPU time: 2502.1 s
Current children cumulated vsize: 4841812 KiB
Current children cumulated memory: 4816732 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/192 24150
/proc/meminfo: memFree=993452/32770624 swapFree=67108860/67108860
[pid=23987] ppid=23984 vsize=4841812 memory=4816732 CPUtime=2519.81 cores=0,2,4,6
/proc/23987/stat : 23987 (MistralXCSP) R 23984 23987 21509 0 -1 4202496 45732753 0 0 0 247826 4155 0 0 20 0 1 0 218426912 4958015488 1204183 33554432000 4194304 7499544 140724796353968 140724796348984 4249975 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 30007296 140724796359790 140724796359939 140724796359939 140724796362697 0
/proc/23987/statm: 1210453 1204183 748 807 0 1203444 0
Current children cumulated CPU time: 2519.81 s
Current children cumulated vsize: 4841812 KiB
Current children cumulated memory: 4816732 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.26 s]
# the end of solver process 23987 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2478.26 s, system=41.806 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.21 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 24150
/proc/meminfo: memFree=3471988/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 2520.26
CPU time (s): 2520.07
CPU user time (s): 2478.26
CPU system time (s): 41.806
CPU usage (%): 99.9925
Max. virtual memory (cumulated for all children) (KiB): 4841812
Max. memory (cumulated for all children) (KiB): 4816732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2478.26
system time used= 41.806
maximum resident set size= 4816752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45732895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101
involuntary context switches= 2797


# summary of solver processes directly reported to runsolver:
#   pid: 23987
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2478.26
#   total CPU system time (s): 41.806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.77522 second user time and 19.7437 second system time

The end

Begin job on node132 at 2018-08-11 19:30:37
IDJOB=4303704
IDBENCH=141248
IDSOLVER=2779
FILE ID=node132/4303704-1534008637
RUNJOBID= node132-1533990732-21541
PBS_JOBID= 21036940
Free space on /tmp= 37984 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko90_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303704-1534008637/watcher-4303704-1534008637 -o /tmp/evaluation-result-4303704-1534008637/solver-4303704-1534008637 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1533990732-21541 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 762468753 HOME/instance-4303704-1534008637.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e1bd5b7e730358cb8a15a6f1e37f47a5
RANDOM SEED=762468753

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         5798600 kB
MemAvailable:   31903436 kB
Buffers:          243520 kB
Cached:         25759728 kB
SwapCached:            0 kB
Active:          9106500 kB
Inactive:       16953568 kB
Active(anon):       4704 kB
Inactive(anon):   104636 kB
Active(file):    9101796 kB
Inactive(file): 16848932 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5960 kB
Writeback:             0 kB
AnonPages:        155744 kB
Mapped:            54864 kB
Shmem:             49824 kB
Slab:             610204 kB
SReclaimable:     582568 kB
SUnreclaim:        27636 kB
KernelStack:        3648 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     378332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 37980 MiB
End job on node132 at 2018-08-11 20:12:38