0.00/0.00	c Mistral 16062018
3.99/4.01	o 40150
4.10/4.13	o 40076
4.19/4.20	o 40072
4.39/4.45	o 40036
5.00/5.01	o 40008
5.99/6.06	o 40002
9.38/9.44	o 39984
9.48/9.50	o 39896
9.58/9.61	o 39827
9.68/9.72	o 39773
9.88/9.91	o 39733
10.18/10.23	o 39730
10.28/10.32	o 39714
11.09/11.19	o 39696
11.19/11.28	o 39608
11.29/11.35	o 39582
11.38/11.45	o 39561
14.68/14.76	o 39551
14.78/14.86	o 39535
16.29/16.30	o 39446
16.68/16.76	o 39430
17.48/17.59	o 39406
20.88/20.95	o 39239
21.28/21.30	o 39172
21.28/21.37	o 39113
21.58/21.64	o 39097
28.48/28.57	o 39073
28.68/28.72	o 39005
28.78/28.82	o 38984
28.88/28.94	o 38944
29.18/29.26	o 38940
30.18/30.29	o 38890
37.58/37.67	o 38882
49.58/49.66	o 38862
50.48/50.52	o 38770
50.48/50.59	o 38724
56.68/56.73	o 38686
62.38/62.41	o 38666
62.38/62.46	o 38664
62.58/62.67	o 38663
70.28/70.38	o 38491
70.78/70.87	o 38480
73.18/73.21	o 38479
76.78/76.82	o 38468
76.88/76.90	o 38464
79.67/79.74	o 38351
79.77/79.80	o 38305
79.87/79.92	o 38273
81.27/81.30	o 38269
81.27/81.37	o 38125
81.37/81.46	o 38115
81.47/81.52	o 38111
81.47/81.57	o 38069
82.98/83.10	o 38067
88.48/88.51	o 38061
88.67/88.71	o 38015
103.99/104.02	o 37985
103.99/104.10	o 37970
104.09/104.15	o 37876
107.88/107.90	o 37854
107.88/107.96	o 37853
111.88/111.95	o 37841
111.88/112.00	o 37817
113.18/113.25	o 37796
132.77/132.84	o 37714
132.87/132.92	o 37686
135.47/135.57	o 37629
140.87/140.92	o 37603
144.77/144.86	o 37594
171.27/171.34	o 37545
185.27/185.32	o 37455
235.16/235.28	o 37450
271.66/271.76	o 37399
271.76/271.82	o 37329
284.06/284.12	o 37315
284.35/284.47	o 37297
284.65/284.70	o 37281
285.45/285.53	o 37247
285.85/285.90	o 37244
340.64/340.77	o 37230
370.05/370.11	o 37212
370.05/370.18	o 37197
370.14/370.27	o 37137
370.84/370.93	o 37132
371.74/371.87	o 37103
378.05/378.11	o 37102
379.34/379.42	o 37098
379.64/379.71	o 37091
385.84/386.00	o 37077
386.24/386.30	o 37070
386.84/386.90	o 37062
485.13/485.20	o 37059
485.13/485.26	o 37045
485.23/485.37	o 36954
485.43/485.56	o 36937
489.13/489.27	o 36921
493.33/493.46	o 36908
538.53/538.60	o 36687
538.63/538.70	o 36677
544.73/544.85	o 36676
785.20/785.36	o 36659
824.91/825.04	o 36584
832.10/832.25	o 36552
832.20/832.32	o 36534
835.80/835.94	o 36526
835.91/836.04	o 36502
835.91/836.10	o 36471
1079.29/1079.41	o 36437
1082.79/1082.97	o 36423
1226.28/1226.48	o 36315
1753.47/1753.66	o 36279
2333.74/2333.98	o 36277
2400.03/2400.20	s SATISFIABLE
2400.03/2400.20	v <instantiation type="solution">
2400.03/2400.20	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list>
2400.03/2400.20	v   <values> 11 3 52 28 40 26 31 69 51 12 4 2 22 56 35 1 37 29 23 24 17 21 20 64 58 6 33 13 42 30 45 5 0 38 59 27 7 16 53 54 25 19 15 32 8 9 49 34 18 46 65 41 50 39 14 36 71 68 43 57 48 63 62 44 55 10 61 66 67 70 60 47 * 3 5 6 1 0 2 1 4 0 0 0 5 0 3 5 1 0 5 5 2 3 0 0 2 2 2 0 5 5 1 1 0 0 3 1 0 0 0 1 0 0 2 0 1 6 0 5 0 0 0 2 0 0 1 10 0 2 5 2 0 5 1 5 2 0 0 5 2 5 1 0 * * 1 1 0 1 0 5 0 0 5 0 10 10 10 0 0 0 2 10 2 0 0 2 2 1 2 4 10 0 5 3 10 1 0 0 5 10 0 10 5 10 1 5 0 0 0 0 0 0 10 0 0 2 2 5 10 0 0 0 0 0 1 0 0 5 10 1 2 2 1 0 * * * 5 0 1 1 2 6 2 3 5 0 2 0 2 1 0 1 0 6 6 2 10 2 1 0 0 5 5 0 10 2 5 2 0 2 0 0 0 0 5 0 0 0 1 10 5 2 0 0 0 1 0 0 4 2 0 0 0 5 0 2 0 1 1 0 1 1 0 1 0 * * * * 5 5 0 0 1 5 2 0 2 5 0 2 0 0 0 2 5 0 5 5 0 4 5 3 3 5 5 5 10 0 1 5 5 1 2 0 2 4 0 3 5 0 2 0 0 1 5 0 0 5 2 0 0 1 10 0 10 2 2 1 4 10 1 0 0 5 0 1 * * * * * 5 10 0 2 5 5 5 2 1 10 1 2 0 5 0 2 0 0 5 2 0 0 0 1 0 2 3 3 0 0 2 0 0 2 5 5 10 10 1 1 0 5 0 0 5 0 10 2 5 4 0 3 5 5 10 2 10 2 0 0 2 0 0 1 2 4 0 * * * * * * 0 6 0 2 0 1 1 0 1 4 10 10 0 3 5 0 0 5 1 3 0 2 2 0 2 5 5 1 10 5 2 2 10 1 0 0 5 1 0 0 2 2 5 10 5 1 0 1 0 4 0 3 3 0 2 4 0 0 5 5 4 1 0 0 6 0 * * * * * * * 5 5 4 0 1 1 2 5 10 0 5 0 1 0 10 2 0 5 5 0 1 5 1 2 1 10 10 0 0 5 1 2 6 1 5 3 0 2 0 0 0 1 10 5 1 1 2 2 4 0 2 0 2 0 0 5 2 1 3 0 0 5 2 0 5 * * * * * * * * 3 3 0 0 4 0 0 3 3 10 1 10 10 5 5 0 2 0 2 2 6 1 0 2 0 3 2 10 0 2 0 0 0 0 2 5 4 10 0 0 1 6 10 2 5 1 2 4 0 0 0 3 0 5 0 0 0 0 2 5 1 3 4 0 * * * * * * * * * 5 5 5 5 5 5 10 2 4 5 2 0 0 6 2 3 0 2 0 0 5 0 2 10 5 2 5 0 1 1 2 6 10 3 2 0 4 2 1 0 10 0 10 5 2 1 0 0 5 0 0 1 2 6 0 1 2 3 0 5 0 0 0 * * * * * * * * * * 5 1 0 10 1 4 2 5 3 10 2 1 1 1 10 5 1 10 5 0 10 5 0 5 6 3 2 0 0 1 0 3 4 1 0 10 2 0 3 5 5 1 1 2 1 10 5 2 1 2 2 0 6 0 1 0 5 1 0 0 0 6 * * * * * * * * * * * 1 0 5 2 0 0 0 2 5 3 6 5 2 2 0 3 0 3 3 5 2 2 2 1 0 0 2 5 1 2 3 0 5 1 5 2 0 5 0 3 5 0 2 5 0 5 1 5 5 2 1 2 10 0 2 2 5 1 0 0 0 * * * * * * * * * * * * 0 0 5 1 2 0 4 6 0 5 5 5 1 0 5 0 10 0 6 0 2 2 0 5 0 1 2 5 0 5 2 1 0 2 2 0 0 5 1 0 0 1 2 5 5 5 1 0 5 0 2 5 10 2 0 1 0 2 3 0 * * * * * * * * * * * * * 2 0 0 2 1 5 2 5 5 0 3 5 10 2 10 4 5 5 2 0 1 4 5 2 2 0 5 2 0 10 5 1 5 5 2 1 2 2 0 2 0 5 2 0 1 5 2 5 2 0 0 0 3 0 3 0 0 5 10 * * * * * * * * * * * * * * 10 3 4 10 2 0 0 0 4 0 5 1 0 0 0 0 2 5 1 5 5 0 2 5 1 10 5 0 5 0 0 2 0 0 5 2 0 10 5 0 1 0 0 2 10 0 1 5 0 10 2 1 5 0 5 10 1 0 * * * * * * * * * * * * * * * 6 0 0 2 5 0 0 5 10 2 0 10 2 0 0 5 10 2 5 0 1 3 6 2 5 5 0 4 2 1 2 5 0 0 0 2 0 5 0 10 10 0 5 5 0 2 2 0 1 1 1 0 0 5 2 10 5 * * * * * * * * * * * * * * * * 10 0 4 3 2 5 10 1 3 2 10 0 0 5 0 0 0 0 1 5 5 5 1 0 5 0 0 2 0 5 1 5 0 2 0 5 2 5 0 10 5 5 2 1 5 0 1 2 0 2 0 2 5 1 1 0 * * * * * * * * * * * * * * * * * 5 5 5 5 2 0 5 5 5 6 2 5 1 10 0 6 0 10 0 2 1 1 10 0 5 0 0 5 2 5 10 0 0 2 0 10 6 2 0 0 3 5 6 10 0 0 2 3 0 1 0 1 5 4 5 * * * * * * * * * * * * * * * * * * 1 5 0 3 5 5 5 10 2 0 1 2 5 4 2 5 0 5 5 5 2 2 1 5 2 0 2 2 0 0 2 1 0 5 0 1 0 5 3 1 2 0 0 0 0 2 5 0 5 2 1 1 2 4 * * * * * * * * * * * * * * * * * * * 3 0 0 1 0 0 3 10 2 10 0 1 2 2 5 0 5 0 1 10 5 4 10 0 2 0 0 0 2 5 5 2 5 0 1 2 0 1 0 0 0 0 2 1 2 2 5 1 5 5 0 4 0 * * * * * * * * * * * * * * * * * * * * 0 0 2 1 5 0 3 2 0 5 3 5 1 0 0 5 1 0 0 2 1 1 0 5 5 0 6 0 5 1 10 0 0 1 2 5 0 10 0 0 2 0 1 5 1 10 2 0 1 5 0 5 * * * * * * * * * * * * * * * * * * * * * 0 10 0 0 0 0 1 2 5 5 5 0 10 6 1 4 5 2 0 2 1 2 0 0 2 0 5 2 0 1 0 0 2 5 5 0 0 0 2 0 2 2 0 10 1 10 5 5 0 2 5 * * * * * * * * * * * * * * * * * * * * * * 5 10 2 0 2 10 2 2 10 5 10 0 10 5 2 5 2 10 5 0 1 10 2 0 5 10 0 5 0 5 0 2 5 1 6 2 1 1 2 5 10 0 1 0 2 5 2 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * 1 0 5 0 10 2 5 5 5 2 0 2 2 2 5 0 5 10 1 0 1 0 2 5 5 2 2 0 2 5 5 3 5 1 1 1 5 5 2 1 2 0 5 2 5 3 2 0 1 * * * * * * * * * * * * * * * * * * * * * * * * 5 3 2 10 1 4 10 2 0 5 5 1 0 2 2 1 0 5 0 5 2 5 0 1 2 10 5 0 2 0 5 2 0 5 5 3 0 0 5 2 2 0 0 5 0 5 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 5 1 1 10 0 10 1 0 5 5 6 1 5 1 5 2 2 5 0 5 1 2 0 2 2 0 2 0 5 0 0 0 1 10 1 5 1 1 5 5 0 0 5 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 2 10 6 10 0 5 0 2 0 0 4 0 0 5 4 0 5 2 0 2 2 3 0 2 0 1 1 5 3 2 4 10 5 5 0 0 0 0 0 0 10 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 0 0 0 0 2 4 0 2 2 0 2 5 1 5 1 10 2 0 1 5 0 4 0 0 2 0 1 1 0 3 1 0 0 1 1 5 4 2 0 1 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 3 2 2 0 1 5 2 0 0 2 5 4 5 0 2 5 0 4 2 5 1 0 5 1 1 0 0 2 5 1 4 0 0 2 5 0 0 2 1 4 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 10 1 5 2 2 5 0 0 0 2 1 5 1 2 1 5 5 5 5 5 5 5 0 1 2 1 6 0 0 10 1 10 5 0 4 2 2 1 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 1 10 0 5 6 0 2 1 2 2 0 1 2 5 0 1 6 5 5 2 0 0 1 3 2 1 0 0 2 2 0 0 2 5 5 2 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 0 2 5 0 0 5 2 2 1 0 10 1 5 5 4 5 0 3 5 1 2 4 6 0 10 0 1 5 2 4 5 1 0 10 10 0 4 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 5 2 0 0 2 5 3 2 5 10 5 4 5 2 0 10 1 5 0 4 1 5 0 5 5 2 5 2 0 4 1 1 2 0 5 1 10 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 4 0 5 0 2 10 2 10 10 0 2 0 5 10 6 5 0 1 6 0 1 0 1 0 2 4 2 2 5 1 0 0 4 5 3 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 10 5 1 0 5 10 5 10 0 0 2 5 1 2 1 0 0 0 1 2 5 5 0 10 2 10 0 5 0 1 5 5 2 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 1 5 5 3 5 2 2 5 0 5 0 3 2 6 0 0 0 0 2 3 0 3 5 10 0 6 1 0 0 5 5 2 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 5 2 10 5 0 3 5 5 0 5 0 0 1 0 2 10 0 2 0 1 2 0 5 1 10 0 4 0 3 2 3 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 0 4 2 2 1 2 10 4 5 2 2 0 0 5 2 5 0 1 0 5 0 0 0 3 1 0 1 1 2 3 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 2 2 4 5 2 5 5 5 5 1 1 0 1 0 2 5 5 3 2 2 0 5 2 0 0 4 0 5 3 5 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 2 5 5 0 1 0 0 3 0 5 0 5 2 0 0 5 5 2 0 0 0 1 5 5 0 5 5 2 2 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 5 5 10 10 1 5 5 0 5 2 2 5 5 5 0 1 10 0 2 0 2 1 0 2 5 1 2 1 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 3 4 3 0 2 2 10 0 2 0 2 5 2 5 0 10 0 0 5 0 1 10 5 2 2 2 0 10 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 4 1 0 4 5 4 5 1 2 0 5 2 2 5 5 10 5 4 0 6 1 5 5 1 2 2 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 4 2 3 0 0 1 5 2 3 0 0 0 0 5 0 0 5 1 0 1 4 0 1 10 5 5 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 2 5 0 4 0 2 0 10 2 2 2 2 5 5 5 0 10 0 3 2 1 5 4 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 10 1 6 0 2 4 5 10 1 0 5 0 1 0 5 1 5 1 5 0 5 10 5 5 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 2 5 0 6 0 1 0 0 4 0 2 0 5 2 1 5 10 0 0 1 2 2 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 5 3 1 0 2 10 3 10 2 2 5 0 10 1 5 0 2 10 0 0 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 10 0 1 0 5 2 0 2 2 6 2 2 5 2 4 2 5 0 0 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 0 2 0 10 5 5 2 4 10 3 0 0 2 0 4 1 0 10 10 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 10 4 0 5 4 0 5 0 5 2 2 2 0 0 1 5 2 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 5 5 5 5 4 5 10 5 0 0 5 2 0 5 2 10 0 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 1 3 5 2 5 4 3 2 5 0 6 2 2 0 3 2 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 10 10 5 0 10 3 0 0 1 0 2 1 0 0 5 0 4 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 0 0 10 10 2 0 3 10 0 2 0 3 2 10 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 5 0 5 5 5 5 5 5 1 0 0 2 2 5 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 3 0 5 5 5 10 2 0 6 1 3 2 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 0 0 0 3 0 5 5 10 2 0 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 4 1 3 10 1 0 5 2 5 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 4 4 3 1 0 0 5 10 2 10 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 10 0 2 1 3 0 4 4 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 0 0 0 5 0 10 5 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 2 5 10 10 4 1 5 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 6 1 10 0 0 5 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 10 2 1 5 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 1 5 1 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 3 0 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 10 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 5 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2400.03/2400.20	v </instantiation>

OK	36277

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 (11027 MiB free)
  memory of node 1: 16384 MiB (9207 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289391-1532195309/watcher-4289391-1532195309 -o /tmp/evaluation-result-4289391-1532195309/solver-4289391-1532195309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532190499-24593 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1966281861 HOME/instance-4289391-1532195309.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=25285, runsolver pid=25282
Current StackSize limit: 8192 KiB


[startup+0.100291 s]*
/proc/loadavg: 2.03 2.03 1.97 3/187 25286
/proc/meminfo: memFree=20709944/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=42832 memory=17216 CPUtime=0.09 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 4544 0 0 0 9 0 0 0 20 0 1 0 37094110 43859968 4238 33554432000 4194304 7498468 140720316893072 140720316884408 139977069112293 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 10708 4304 696 807 0 3699 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42832 KiB
Current children cumulated memory: 17216 KiB

[startup+0.209715 s]*
/proc/loadavg: 2.03 2.03 1.97 3/187 25286
/proc/meminfo: memFree=20644132/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=111696 memory=86120 CPUtime=0.21 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 21783 0 0 0 18 3 0 0 20 0 1 0 37094110 114376704 21530 33554432000 4194304 7498468 140720316893072 140720316884408 139977069160352 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 27924 21530 696 807 0 20915 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111696 KiB
Current children cumulated memory: 86120 KiB

[startup+0.309709 s]*
/proc/loadavg: 2.03 2.03 1.97 3/187 25286
/proc/meminfo: memFree=20580148/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=175324 memory=149744 CPUtime=0.3 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 37678 0 0 0 25 5 0 0 20 0 1 0 37094110 179531776 37436 33554432000 4194304 7498468 140720316893072 140720316884408 139977069112293 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 43831 37436 696 807 0 36822 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 175324 KiB
Current children cumulated memory: 149744 KiB

[startup+0.700378 s]
/proc/loadavg: 2.03 2.03 1.97 3/187 25286
/proc/meminfo: memFree=20453668/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=416480 memory=390776 CPUtime=0.69 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 97966 0 0 0 58 11 0 0 20 0 1 0 37094110 426475520 97694 33554432000 4194304 7498468 140720316893072 140720316884408 139977069160352 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 104120 97694 696 807 0 97111 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 416480 KiB
Current children cumulated memory: 390776 KiB

[startup+1.50038 s]
/proc/loadavg: 2.03 2.03 1.97 3/187 25286
/proc/meminfo: memFree=20142212/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=923376 memory=897656 CPUtime=1.48 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 224680 0 0 0 122 26 0 0 20 0 1 0 37094110 945537024 224414 33554432000 4194304 7498468 140720316893072 140720316884152 139977069112293 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 230844 224414 696 807 0 223835 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 923376 KiB
Current children cumulated memory: 897656 KiB

[startup+3.10945 s]
/proc/loadavg: 2.03 2.03 1.97 3/187 25286
/proc/meminfo: memFree=19344892/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1401668 memory=1376208 CPUtime=3.09 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 403640 0 0 0 267 42 0 0 20 0 1 0 37094110 1435308032 344052 33554432000 4194304 7498468 140720316893072 140720316888072 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 350417 344052 732 807 0 343408 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1401668 KiB
Current children cumulated memory: 1376208 KiB

[startup+6.30038 s]
/proc/loadavg: 1.95 2.01 1.97 3/187 25286
/proc/meminfo: memFree=19291164/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1455416 memory=1429996 CPUtime=6.28 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 519594 0 0 0 579 49 0 0 20 0 1 0 37094110 1490345984 357499 33554432000 4194304 7498468 140720316893072 140720316888088 5770662 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 363854 357499 740 807 0 356845 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 1455416 KiB
Current children cumulated memory: 1429996 KiB

[startup+12.7004 s]
/proc/loadavg: 1.95 2.01 1.97 3/187 25286
/proc/meminfo: memFree=19250092/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1496336 memory=1470956 CPUtime=12.68 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 813859 0 0 0 1206 62 0 0 20 0 1 0 37094110 1532248064 367739 33554432000 4194304 7498468 140720316893072 140720316888088 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 374084 367739 740 807 0 367075 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 1496336 KiB
Current children cumulated memory: 1470956 KiB

[startup+25.5004 s]
/proc/loadavg: 1.96 2.01 1.97 3/187 25286
/proc/meminfo: memFree=19209528/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1536992 memory=1511648 CPUtime=25.48 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 1194765 0 0 0 2470 78 0 0 20 0 1 0 37094110 1573879808 377912 33554432000 4194304 7498468 140720316893072 140720316888088 5772318 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 384248 377912 740 807 0 377239 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1536992 KiB
Current children cumulated memory: 1511648 KiB

[startup+51.1096 s]
/proc/loadavg: 1.98 2.01 1.97 3/187 25286
/proc/meminfo: memFree=19179992/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1566692 memory=1541400 CPUtime=51.09 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 1574212 0 0 0 5011 98 0 0 20 0 1 0 37094110 1604292608 385350 33554432000 4194304 7498468 140720316893072 140720316888088 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 391673 385350 740 807 0 384664 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1566692 KiB
Current children cumulated memory: 1541400 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.01 1.97 3/188 25295
/proc/meminfo: memFree=19172008/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1573300 memory=1547880 CPUtime=102.27 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 1917529 0 0 0 10111 116 0 0 20 0 1 0 37094110 1611059200 386970 33554432000 4194304 7498468 140720316893072 140720316888088 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 393325 386970 740 807 0 386316 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1573300 KiB
Current children cumulated memory: 1547880 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 25296
/proc/meminfo: memFree=19168884/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1577012 memory=1551592 CPUtime=162.26 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 2073720 0 0 0 16101 125 0 0 20 0 1 0 37094110 1614860288 387898 33554432000 4194304 7498468 140720316893072 140720316888088 4580282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 394253 387898 740 807 0 387244 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1577012 KiB
Current children cumulated memory: 1551592 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 25297
/proc/meminfo: memFree=19166664/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1579520 memory=1554160 CPUtime=222.26 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 2366189 0 0 0 22087 139 0 0 20 0 1 0 37094110 1617428480 388540 33554432000 4194304 7498468 140720316893072 140720316887608 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 394880 388540 740 807 0 387871 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1579520 KiB
Current children cumulated memory: 1554160 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 25298
/proc/meminfo: memFree=19166732/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1579520 memory=1554200 CPUtime=282.25 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 2446587 0 0 0 28081 144 0 0 20 0 1 0 37094110 1617428480 388550 33554432000 4194304 7498468 140720316893072 140720316888088 4545922 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 394880 388550 741 807 0 387871 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 1579520 KiB
Current children cumulated memory: 1554200 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 25299
/proc/meminfo: memFree=19166044/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1580048 memory=1554688 CPUtime=342.25 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 2587737 0 0 0 34074 151 0 0 20 0 1 0 37094110 1617969152 388672 33554432000 4194304 7498468 140720316893072 140720316888088 5773819 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395012 388672 741 807 0 388003 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 1580048 KiB
Current children cumulated memory: 1554688 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25301
/proc/meminfo: memFree=19165420/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1580444 memory=1555112 CPUtime=402.25 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 2747045 0 0 0 40065 160 0 0 20 0 1 0 37094110 1618374656 388778 33554432000 4194304 7498468 140720316893072 140720316888088 5773795 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395111 388778 741 807 0 388102 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 1580444 KiB
Current children cumulated memory: 1555112 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25302
/proc/meminfo: memFree=19165404/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1580444 memory=1555112 CPUtime=462.24 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 2766153 0 0 0 46063 161 0 0 20 0 1 0 37094110 1618374656 388778 33554432000 4194304 7498468 140720316893072 140720316888088 5791419 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395111 388778 741 807 0 388102 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 1580444 KiB
Current children cumulated memory: 1555112 KiB


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

/proc/25285/statm: 395346 389017 741 807 0 388337 0
Current children cumulated CPU time: 1602.17 s
Current children cumulated vsize: 1581384 KiB
Current children cumulated memory: 1556068 KiB

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.95 3/187 25727
/proc/meminfo: memFree=19165500/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581384 memory=1556068 CPUtime=1662.17 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3053021 0 0 0 166039 178 0 0 20 0 1 0 37094110 1619337216 389017 33554432000 4194304 7498468 140720316893072 140720316887608 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395346 389017 741 807 0 388337 0
Current children cumulated CPU time: 1662.17 s
Current children cumulated vsize: 1581384 KiB
Current children cumulated memory: 1556068 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.95 3/187 25728
/proc/meminfo: memFree=19165596/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581384 memory=1556068 CPUtime=1722.17 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3053877 0 0 0 172039 178 0 0 20 0 1 0 37094110 1619337216 389017 33554432000 4194304 7498468 140720316893072 140720316887608 5838205 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395346 389017 741 807 0 388337 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 1581384 KiB
Current children cumulated memory: 1556068 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25729
/proc/meminfo: memFree=19165664/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556108 CPUtime=1782.16 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3054826 0 0 0 178038 178 0 0 20 0 1 0 37094110 1619480576 389027 33554432000 4194304 7498468 140720316893072 140720316888088 5791628 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389027 741 807 0 388372 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556108 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25730
/proc/meminfo: memFree=19165828/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=1842.16 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3056000 0 0 0 184038 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 5838450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25738
/proc/meminfo: memFree=19164792/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=1902.16 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3056868 0 0 0 190038 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 5773760 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25739
/proc/meminfo: memFree=19165608/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=1962.15 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3057740 0 0 0 196037 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25740
/proc/meminfo: memFree=19165496/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=2022.15 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3058605 0 0 0 202037 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 5772271 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25741
/proc/meminfo: memFree=19165576/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=2082.15 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3059472 0 0 0 208037 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 5790794 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25742
/proc/meminfo: memFree=19165528/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=2142.15 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3060340 0 0 0 214037 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25744
/proc/meminfo: memFree=19164812/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=2202.14 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3061212 0 0 0 220036 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 5773824 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25745
/proc/meminfo: memFree=19164896/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=2262.14 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3062086 0 0 0 226036 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 5770712 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25746
/proc/meminfo: memFree=19165164/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581524 memory=1556132 CPUtime=2322.14 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3062964 0 0 0 232036 178 0 0 20 0 1 0 37094110 1619480576 389033 33554432000 4194304 7498468 140720316893072 140720316888088 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395381 389033 741 807 0 388372 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556132 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25748
/proc/meminfo: memFree=19164576/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581656 memory=1556324 CPUtime=2382.13 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3064210 0 0 0 238035 178 0 0 20 0 1 0 37094110 1619615744 389081 33554432000 4194304 7498468 140720316893072 140720316888088 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395414 389081 741 807 0 388405 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 1581656 KiB
Current children cumulated memory: 1556324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 25748
/proc/meminfo: memFree=19164768/32770624 swapFree=67108860/67108860
[pid=25285] ppid=25282 vsize=1581656 memory=1556324 CPUtime=2400.03 cores=1,3,5,7
/proc/25285/stat : 25285 (MistralXCSP) R 25282 25285 24561 0 -1 4202496 3064510 0 0 0 239825 178 0 0 20 0 1 0 37094110 1619615744 389081 33554432000 4194304 7498468 140720316893072 140720316888088 5773824 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 24547328 140720316896365 140720316896515 140720316896515 140720316899273 0
/proc/25285/statm: 395414 389081 741 807 0 388405 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 1581656 KiB
Current children cumulated memory: 1556324 KiB

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

[startup+2400.21 s]
# the end of solver process 25285 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.26 s, system=1.79493 s

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

Child status: 0
Real time (s): 2400.21
CPU time (s): 2400.05
CPU user time (s): 2398.26
CPU system time (s): 1.79493
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 1581656
Max. memory (cumulated for all children) (KiB): 1556324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.26
system time used= 1.79493
maximum resident set size= 1556344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3064590
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= 136
involuntary context switches= 668


# summary of solver processes directly reported to runsolver:
#   pid: 25285
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2398.26
#   total CPU system time (s): 1.79493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1504 second user time and 17.1958 second system time

The end

Begin job on node151 at 2018-07-21 19:48:29
IDJOB=4289391
IDBENCH=141244
IDSOLVER=2741
FILE ID=node151/4289391-1532195309
RUNJOBID= node151-1532190499-24593
PBS_JOBID= 21018924
Free space on /tmp= 55068 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko72_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-4289391-1532195309/watcher-4289391-1532195309 -o /tmp/evaluation-result-4289391-1532195309/solver-4289391-1532195309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532190499-24593 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1966281861 HOME/instance-4289391-1532195309.xml

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

MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4
RANDOM SEED=1966281861

node151.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.87
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.87
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.87
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.87
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:        20721292 kB
MemAvailable:   31935712 kB
Buffers:          219652 kB
Cached:         11148052 kB
SwapCached:            0 kB
Active:           934220 kB
Inactive:       10491480 kB
Active(anon):      61384 kB
Inactive(anon):    16940 kB
Active(file):     872836 kB
Inactive(file): 10474540 kB
Unevictable:        7940 kB
Mlocked:            7940 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9320 kB
Writeback:             0 kB
AnonPages:         68652 kB
Mapped:            35560 kB
Shmem:             17032 kB
Slab:             321828 kB
SReclaimable:     295504 kB
SUnreclaim:        26324 kB
KernelStack:        3360 kB
PageTables:         4876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     348740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 55060 MiB
End job on node151 at 2018-07-21 20:28:30