0.00/0.00	c Mistral 01082018
4.00/4.05	o 40150
4.10/4.17	o 40076
4.19/4.25	o 40072
4.49/4.51	o 40036
4.99/5.10	o 40008
6.19/6.22	o 40002
9.78/9.80	o 39984
9.78/9.86	o 39896
9.88/9.98	o 39827
9.99/10.10	o 39773
10.28/10.31	o 39733
10.59/10.67	o 39730
10.69/10.76	o 39714
11.68/11.73	o 39696
11.78/11.83	o 39608
11.88/11.90	o 39582
11.99/12.01	o 39561
15.49/15.52	o 39551
15.59/15.63	o 39535
17.19/17.22	o 39446
17.69/17.72	o 39430
18.59/18.64	o 39406
22.19/22.21	o 39239
22.49/22.59	o 39172
22.59/22.66	o 39113
22.89/22.96	o 39097
30.38/30.46	o 39073
30.58/30.63	o 39005
30.68/30.73	o 38984
30.78/30.86	o 38944
31.18/31.21	o 38940
32.28/32.35	o 38890
40.29/40.34	o 38882
53.09/53.11	o 38862
53.99/54.02	o 38770
53.99/54.09	o 38724
60.57/60.60	o 38686
66.48/66.55	o 38666
66.58/66.60	o 38664
66.78/66.82	o 38663
74.98/75.03	o 38491
75.47/75.55	o 38480
77.98/78.05	o 38479
81.77/81.88	o 38468
81.87/81.97	o 38464
84.77/84.88	o 38351
84.87/84.94	o 38305
84.98/85.06	o 38273
86.47/86.53	o 38269
86.57/86.61	o 38125
86.67/86.70	o 38115
86.67/86.76	o 38111
86.77/86.81	o 38069
88.37/88.44	o 38067
94.08/94.19	o 38061
94.27/94.39	o 38015
110.47/110.55	o 37985
110.56/110.63	o 37970
110.56/110.68	o 37876
114.56/114.68	o 37854
114.66/114.74	o 37853
118.86/118.98	o 37841
118.97/119.04	o 37817
120.26/120.37	o 37796
141.16/141.20	o 37714
141.16/141.28	o 37686
143.97/144.09	o 37629
149.66/149.76	o 37603
153.86/153.93	o 37594
181.85/181.95	o 37545
196.75/196.82	o 37455
249.74/249.86	o 37450
288.43/288.56	o 37399
288.53/288.63	o 37329
301.52/301.60	o 37315
301.82/301.98	o 37297
302.12/302.22	o 37281
303.03/303.11	o 37247
303.42/303.50	o 37244
361.72/361.89	o 37230
392.92/393.01	o 37212
392.92/393.08	o 37197
393.02/393.18	o 37137
393.71/393.88	o 37132
394.71/394.88	o 37103
401.41/401.52	o 37102
402.81/402.92	o 37098
403.11/403.22	o 37091
409.81/409.91	o 37077
410.10/410.22	o 37070
410.70/410.87	o 37062
515.19/515.32	o 37059
515.19/515.38	o 37045
515.39/515.50	o 36954
515.59/515.70	o 36937
519.49/519.65	o 36921
523.99/524.12	o 36908
571.99/572.15	o 36687
572.08/572.26	o 36677
578.67/578.81	o 36676
834.22/834.46	o 36659
876.31/876.55	o 36584
884.01/884.23	o 36552
884.11/884.30	o 36534
887.92/888.15	o 36526
888.01/888.25	o 36502
888.11/888.32	o 36471
1146.88/1147.12	o 36437
1150.67/1150.90	o 36423
1303.25/1303.55	o 36315
1863.38/1863.77	o 36279
2481.09/2481.53	o 36277
2519.59/2520.01	s SATISFIABLE
2519.59/2520.01	v <instantiation type="solution">
2519.59/2520.01	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] 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>
2519.59/2520.01	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>
2519.59/2520.01	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 (4907 MiB free)
  memory of node 1: 16384 MiB (1018 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303702-1534008178/watcher-4303702-1534008178 -o /tmp/evaluation-result-4303702-1534008178/solver-4303702-1534008178 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1533992764-9380 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 101112725 HOME/instance-4303702-1534008178.xml 

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

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


[startup+0.100109 s]*
/proc/loadavg: 2.40 2.11 2.08 3/191 10878
/proc/meminfo: memFree=6057524/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=44696 memory=19072 CPUtime=0.1 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 5037 0 0 0 10 0 0 0 20 0 1 0 218380966 45768704 4768 33554432000 4194304 7499544 140732323488880 140732323479152 139883051822053 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 11174 4768 698 807 0 4165 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 19072 KiB

[startup+0.209904 s]*
/proc/loadavg: 2.40 2.11 2.08 3/191 10878
/proc/meminfo: memFree=5989212/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=112584 memory=86920 CPUtime=0.2 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 22006 0 0 0 18 2 0 0 20 0 1 0 218380966 115286016 21730 33554432000 4194304 7499544 140732323488880 140732323479152 5790009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 28146 21730 698 807 0 21137 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112584 KiB
Current children cumulated memory: 86920 KiB

[startup+0.309815 s]*
/proc/loadavg: 2.40 2.11 2.08 3/191 10878
/proc/meminfo: memFree=5926592/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=174880 memory=149224 CPUtime=0.3 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 37576 0 0 0 26 4 0 0 20 0 1 0 218380966 179077120 37306 33554432000 4194304 7499544 140732323488880 140732323479152 139883051870112 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 43720 37306 698 807 0 36711 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 174880 KiB
Current children cumulated memory: 149224 KiB

[startup+0.700327 s]
/proc/loadavg: 2.40 2.11 2.08 3/191 10878
/proc/meminfo: memFree=5802344/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=412340 memory=386824 CPUtime=0.69 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 96943 0 0 0 58 11 0 0 20 0 1 0 218380966 422236160 96640 33554432000 4194304 7499544 140732323488880 140732323479152 139883051870112 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 103085 96706 698 807 0 96076 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 412340 KiB
Current children cumulated memory: 386824 KiB

[startup+1.50033 s]
/proc/loadavg: 2.40 2.11 2.08 3/191 10878
/proc/meminfo: memFree=5496188/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=911508 memory=885784 CPUtime=1.49 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 221727 0 0 0 122 27 0 0 20 0 1 0 218380966 933384192 221446 33554432000 4194304 7499544 140732323488880 140732323479912 139883051870112 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 227877 221446 698 807 0 220868 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 911508 KiB
Current children cumulated memory: 885784 KiB

[startup+3.10999 s]
/proc/loadavg: 2.45 2.13 2.08 3/191 10878
/proc/meminfo: memFree=4730668/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1401668 memory=1376240 CPUtime=3.1 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 407195 0 0 0 266 44 0 0 20 0 1 0 218380966 1435308032 344060 33554432000 4194304 7499544 140732323488880 140732323483880 5790971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 350417 344060 740 807 0 343408 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1401668 KiB
Current children cumulated memory: 1376240 KiB

[startup+6.30032 s]
/proc/loadavg: 2.45 2.13 2.08 3/191 10878
/proc/meminfo: memFree=4637832/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1455416 memory=1430020 CPUtime=6.29 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 523126 0 0 0 579 50 0 0 20 0 1 0 218380966 1490345984 357505 33554432000 4194304 7499544 140732323488880 140732323483896 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 363854 357505 748 807 0 356845 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1455416 KiB
Current children cumulated memory: 1430020 KiB

[startup+12.7003 s]
/proc/loadavg: 2.49 2.14 2.08 3/191 10878
/proc/meminfo: memFree=4596984/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1496336 memory=1470980 CPUtime=12.69 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 827545 0 0 0 1205 64 0 0 20 0 1 0 218380966 1532248064 367745 33554432000 4194304 7499544 140732323488880 140732323483896 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 374084 367745 748 807 0 367075 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1496336 KiB
Current children cumulated memory: 1470980 KiB

[startup+25.5005 s]
/proc/loadavg: 2.52 2.17 2.09 3/191 10878
/proc/meminfo: memFree=4556436/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1536992 memory=1511672 CPUtime=25.48 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 1228791 0 0 0 2467 81 0 0 20 0 1 0 218380966 1573879808 377918 33554432000 4194304 7499544 140732323488880 140732323483896 5770345 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 384248 377918 748 807 0 377239 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1536992 KiB
Current children cumulated memory: 1511672 KiB

[startup+51.1101 s]
/proc/loadavg: 2.46 2.18 2.10 3/191 10878
/proc/meminfo: memFree=4531872/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1560884 memory=1535560 CPUtime=51.09 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 1632374 0 0 0 5010 99 0 0 20 0 1 0 218380966 1598345216 383890 33554432000 4194304 7499544 140732323488880 140732323483896 5790974 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 390221 383890 748 807 0 383212 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1560884 KiB
Current children cumulated memory: 1535560 KiB

[startup+102.3 s]
/proc/loadavg: 2.20 2.16 2.10 3/191 10879
/proc/meminfo: memFree=4518756/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1573300 memory=1547912 CPUtime=102.27 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 1880625 0 0 0 10115 112 0 0 20 0 1 0 218380966 1611059200 386978 33554432000 4194304 7499544 140732323488880 140732323483896 5773363 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 393325 386978 748 807 0 386316 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1573300 KiB
Current children cumulated memory: 1547912 KiB

[startup+162.3 s]
/proc/loadavg: 2.13 2.14 2.10 3/190 10881
/proc/meminfo: memFree=4514588/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1577012 memory=1551624 CPUtime=162.26 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 2159912 0 0 0 16101 125 0 0 20 0 1 0 218380966 1614860288 387906 33554432000 4194304 7499544 140732323488880 140732323483896 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 394253 387906 748 807 0 387244 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 1577012 KiB
Current children cumulated memory: 1551624 KiB

[startup+222.3 s]
/proc/loadavg: 2.16 2.15 2.10 3/190 10882
/proc/meminfo: memFree=4512828/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1578596 memory=1553336 CPUtime=222.24 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 2347403 0 0 0 22089 135 0 0 20 0 1 0 218380966 1616482304 388334 33554432000 4194304 7499544 140732323488880 140732323483896 5773328 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 394649 388334 748 807 0 387640 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 1578596 KiB
Current children cumulated memory: 1553336 KiB

[startup+282.3 s]
/proc/loadavg: 2.11 2.14 2.10 3/190 10883
/proc/meminfo: memFree=4511820/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1579520 memory=1554228 CPUtime=282.23 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 2528606 0 0 0 28080 143 0 0 20 0 1 0 218380966 1617428480 388557 33554432000 4194304 7499544 140732323488880 140732323483896 4249664 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 394880 388557 748 807 0 387871 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 1579520 KiB
Current children cumulated memory: 1554228 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.11 2.10 3/190 10885
/proc/meminfo: memFree=4512000/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1580048 memory=1554716 CPUtime=342.22 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 2727624 0 0 0 34069 153 0 0 20 0 1 0 218380966 1617969152 388679 33554432000 4194304 7499544 140732323488880 140732323483896 5770280 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395012 388679 748 807 0 388003 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 1580048 KiB
Current children cumulated memory: 1554716 KiB

[startup+402.3 s]
/proc/loadavg: 2.10 2.12 2.10 3/190 10886
/proc/meminfo: memFree=4511400/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1580444 memory=1555140 CPUtime=402.21 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 2903459 0 0 0 40062 159 0 0 20 0 1 0 218380966 1618374656 388785 33554432000 4194304 7499544 140732323488880 140732323483896 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395111 388785 748 807 0 388102 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 1580444 KiB
Current children cumulated memory: 1555140 KiB

[startup+462.3 s]
/proc/loadavg: 2.07 2.11 2.10 3/191 10895
/proc/meminfo: memFree=4510476/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1580444 memory=1555140 CPUtime=462.2 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 2923050 0 0 0 46059 161 0 0 20 0 1 0 218380966 1618374656 388785 33554432000 4194304 7499544 140732323488880 140732323483896 5770335 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395111 388785 748 807 0 388102 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 1580444 KiB
Current children cumulated memory: 1555140 KiB


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

/proc/10877/statm: 395346 389024 748 807 0 388337 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 1581384 KiB
Current children cumulated memory: 1556096 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10996
/proc/meminfo: memFree=4380976/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581384 memory=1556096 CPUtime=1781.99 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3216155 0 0 0 178023 176 0 0 20 0 1 0 218380966 1619337216 389024 33554432000 4194304 7499544 140732323488880 140732323483416 5770261 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395346 389024 748 807 0 388337 0
Current children cumulated CPU time: 1781.99 s
Current children cumulated vsize: 1581384 KiB
Current children cumulated memory: 1556096 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10998
/proc/meminfo: memFree=4381088/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581384 memory=1556096 CPUtime=1841.98 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3217001 0 0 0 184022 176 0 0 20 0 1 0 218380966 1619337216 389024 33554432000 4194304 7499544 140732323488880 140732323483416 5771839 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395346 389024 748 807 0 388337 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 1581384 KiB
Current children cumulated memory: 1556096 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 10999
/proc/meminfo: memFree=4380956/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556136 CPUtime=1901.97 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3217939 0 0 0 190021 176 0 0 20 0 1 0 218380966 1619480576 389034 33554432000 4194304 7499544 140732323488880 140732323483896 5771824 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389034 748 807 0 388372 0
Current children cumulated CPU time: 1901.97 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556136 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 11001
/proc/meminfo: memFree=4382532/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=1961.97 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3219188 0 0 0 196020 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 1961.97 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 11003
/proc/meminfo: memFree=4381032/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=2021.96 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3220044 0 0 0 202019 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 5771824 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 11004
/proc/meminfo: memFree=4381032/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=2081.95 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3220904 0 0 0 208018 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 5773343 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 2081.95 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 11006
/proc/meminfo: memFree=4380940/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=2141.95 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3221759 0 0 0 214018 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 4579850 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 11008
/proc/meminfo: memFree=4380860/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=2201.93 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3222627 0 0 0 220016 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 5770249 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 2201.93 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11017
/proc/meminfo: memFree=4380436/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=2261.93 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3223482 0 0 0 226016 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 2261.93 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11040
/proc/meminfo: memFree=4380120/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=2321.92 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3224358 0 0 0 232015 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 4249975 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 2321.92 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 11041
/proc/meminfo: memFree=4380352/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=2381.91 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3225206 0 0 0 238014 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 5790974 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 2381.91 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/192 11042
/proc/meminfo: memFree=4380228/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581524 memory=1556160 CPUtime=2441.9 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3226091 0 0 0 244013 177 0 0 20 0 1 0 218380966 1619480576 389040 33554432000 4194304 7499544 140732323488880 140732323483896 5770275 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395381 389040 748 807 0 388372 0
Current children cumulated CPU time: 2441.9 s
Current children cumulated vsize: 1581524 KiB
Current children cumulated memory: 1556160 KiB

[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/192 11044
/proc/meminfo: memFree=4380148/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581656 memory=1556352 CPUtime=2501.89 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3227409 0 0 0 250012 177 0 0 20 0 1 0 218380966 1619615744 389088 33554432000 4194304 7499544 140732323488880 140732323483896 4253216 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395414 389088 748 807 0 388405 0
Current children cumulated CPU time: 2501.89 s
Current children cumulated vsize: 1581656 KiB
Current children cumulated memory: 1556352 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/192 11044
/proc/meminfo: memFree=4380168/32770624 swapFree=67108860/67108860
[pid=10877] ppid=10874 vsize=1581656 memory=1556352 CPUtime=2519.59 cores=0,2,4,6
/proc/10877/stat : 10877 (MistralXCSP) R 10874 10877 9349 0 -1 4202496 3227699 0 0 0 251782 177 0 0 20 0 1 0 218380966 1619615744 389088 33554432000 4194304 7499544 140732323488880 140732323483896 4253104 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24842240 140732323497070 140732323497219 140732323497219 140732323499977 0
/proc/10877/statm: 395414 389088 748 807 0 388405 0
Current children cumulated CPU time: 2519.59 s
Current children cumulated vsize: 1581656 KiB
Current children cumulated memory: 1556352 KiB

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

[startup+2520.02 s]
# the end of solver process 10877 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.83 s, system=1.78576 s

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

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.62
CPU user time (s): 2517.83
CPU system time (s): 1.78576
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1581656
Max. memory (cumulated for all children) (KiB): 1556352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.83
system time used= 1.78576
maximum resident set size= 1556372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3227779
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= 142
involuntary context switches= 2160


# summary of solver processes directly reported to runsolver:
#   pid: 10877
#   total CPU time (s): 2519.62
#   total CPU user time (s): 2517.83
#   total CPU system time (s): 1.78576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.49695 second user time and 19.4945 second system time

The end

Begin job on node135 at 2018-08-11 19:22:58
IDJOB=4303702
IDBENCH=141244
IDSOLVER=2779
FILE ID=node135/4303702-1534008178
RUNJOBID= node135-1533992764-9380
PBS_JOBID= 21036950
Free space on /tmp= 42568 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
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-4303702-1534008178/watcher-4303702-1534008178 -o /tmp/evaluation-result-4303702-1534008178/solver-4303702-1534008178 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1533992764-9380 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 101112725 HOME/instance-4303702-1534008178.xml

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

MD5SUM BENCH= 69672b68d8d3f9201b488571cf4784d4
RANDOM SEED=101112725

node135.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.50
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.50
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.50
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.50
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:         6068216 kB
MemAvailable:   31895280 kB
Buffers:          228528 kB
Cached:         25492068 kB
SwapCached:            0 kB
Active:          9323732 kB
Inactive:       16461716 kB
Active(anon):      13968 kB
Inactive(anon):   103152 kB
Active(file):    9309764 kB
Inactive(file): 16358564 kB
Unevictable:        7244 kB
Mlocked:            7244 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5756 kB
Writeback:             0 kB
AnonPages:         72004 kB
Mapped:            61780 kB
Shmem:             49824 kB
Slab:             615432 kB
SReclaimable:     587196 kB
SUnreclaim:        28236 kB
KernelStack:        3424 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     386324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 42564 MiB
End job on node135 at 2018-08-11 20:04:58