0.00/0.10	c 280717
8.39/8.57	o 7812582
8.48/8.65	o 7806001
8.58/8.76	o 7786081
9.18/9.39	o 7767402
16.39/16.53	o 7759493
16.89/17.01	o 7753977
24.10/24.25	o 7731495
24.19/24.35	o 7730868
24.49/24.64	o 7719097
24.69/24.85	o 7711514
24.99/25.10	o 7702704
32.09/32.25	o 7692082
32.19/32.39	o 7688786
32.39/32.55	o 7687866
32.49/32.64	o 7683030
32.90/33.09	o 7674750
33.39/33.59	o 7674490
35.29/35.41	o 7671669
35.49/35.61	o 7671402
35.59/35.78	o 7671310
42.79/42.92	o 7665316
42.89/43.06	o 7636722
43.78/43.94	o 7614184
50.39/50.53	o 7602426
50.49/50.67	o 7593481
50.59/50.75	o 7592163
67.48/67.61	o 7588841
68.78/68.92	o 7579869
70.08/70.26	o 7578061
71.18/71.32	o 7571542
82.28/82.44	o 7562635
83.38/83.55	o 7560456
83.48/83.66	o 7559443
90.67/90.88	o 7559045
91.37/91.50	o 7557500
97.27/97.44	o 7553921
99.68/99.88	o 7553722
100.78/100.92	o 7552803
107.17/107.39	o 7550239
107.56/107.70	o 7544201
115.26/115.49	o 7541552
123.07/123.23	o 7530352
125.56/125.76	o 7527107
132.46/132.64	o 7519497
134.96/135.17	o 7508101
145.87/146.08	o 7504234
146.07/146.28	o 7502384
146.57/146.75	o 7501303
148.76/148.96	o 7499618
148.86/149.07	o 7496448
148.96/149.17	o 7494439
149.16/149.38	o 7494154
149.26/149.49	o 7492023
149.57/149.77	o 7485428
168.36/168.58	o 7485149
168.46/168.67	o 7477393
168.66/168.86	o 7469996
168.86/169.03	o 7465447
176.05/176.29	o 7451011
229.85/230.04	o 7449294
236.75/236.98	o 7445414
237.25/237.43	o 7435150
237.75/237.94	o 7422950
244.35/244.50	o 7415110
244.45/244.65	o 7407490
245.05/245.20	o 7406165
245.15/245.33	o 7405241
245.34/245.57	o 7404312
246.25/246.47	o 7403548
246.44/246.63	o 7400282
246.54/246.73	o 7398937
246.74/246.90	o 7398333
247.64/247.83	o 7383258
247.74/247.92	o 7376034
254.75/254.92	o 7367350
262.54/262.79	o 7365381
270.15/270.37	o 7362119
280.84/281.01	o 7354238
293.83/294.02	o 7348860
312.24/312.43	o 7339746
360.22/360.40	o 7334449
362.41/362.61	o 7333965
362.51/362.76	o 7331519
362.71/362.90	o 7322414
393.52/393.72	o 7318460
412.01/412.20	o 7304846
419.11/419.31	o 7297245
421.31/421.54	o 7295235
453.80/454.03	o 7291696
477.01/477.21	o 7291617
483.91/484.11	o 7291419
521.20/521.45	o 7290773
521.40/521.62	o 7288622
522.09/522.36	o 7287441
571.68/571.98	o 7285975
578.88/579.14	o 7277711
589.49/589.76	o 7276817
611.87/612.12	o 7275445
612.17/612.40	o 7274790
618.98/619.29	o 7273635
721.54/721.87	o 7260685
722.04/722.32	o 7254306
723.94/724.24	o 7241510
771.53/771.89	o 7234359
772.13/772.41	o 7228044
800.73/801.02	o 7225051
802.93/803.21	o 7222240
833.01/833.33	o 7221448
875.01/875.39	o 7209955
1056.68/1057.05	o 7208320
1127.35/1127.76	o 7205397
1133.95/1134.30	o 7203674
1162.46/1162.89	o 7203080
1164.56/1164.94	o 7201038
1215.55/1215.97	o 7198335
1240.04/1240.42	o 7191776
1410.24/1410.61	o 7190035
1475.22/1475.64	o 7189020
1506.41/1506.81	o 7188838
1564.00/1564.47	o 7187186
1635.71/1636.10	o 7184025
1641.51/1641.98	o 7182801
1686.82/1687.20	o 7168127
1729.92/1730.35	o 7162206
1888.43/1888.80	o 7155317
1972.74/1973.19	o 7153925
2147.34/2147.78	o 7151679
2208.95/2209.39	o 7148317
2209.95/2210.34	o 7148062
2221.25/2221.67	o 7140259
2340.06/2340.42	o 7136293
2419.57/2419.99	o 7129639
2519.68/2520.00	s SATISFIABLE
2519.68/2520.00	v <instantiation type="solution">
2519.68/2520.00	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[50][0] d[50][1] d[50][2] d[50][3] d[50][4] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[51][0] d[51][1] d[51][2] d[51][3] d[51][4] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[52][0] d[52][1] d[52][2] d[52][3] d[52][4] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[53][0] d[53][1] d[53][2] d[53][3] d[53][4] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[54][0] d[54][1] d[54][2] d[54][3] d[54][4] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[55][0] d[55][1] d[55][2] d[55][3] d[55][4] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[56][0] d[56][1] d[56][2] d[56][3] d[56][4] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[57][0] d[57][1] d[57][2] d[57][3] d[57][4] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[58][0] d[58][1] d[58][2] d[58][3] d[58][4] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[59][0] d[59][1] d[59][2] d[59][3] d[59][4] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[60][0] d[60][1] d[60][2] d[60][3] d[60][4] d[60][5] d[60][6] d[60][7] d[60][8] d[60][9] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][60] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[61][0] d[61][1] d[61][2] d[61][3] d[61][4] d[61][5] d[61][6] d[61][7] d[61][8] d[61][9] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][60] d[61][61] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[62][0] d[62][1] d[62][2] d[62][3] d[62][4] d[62][5] d[62][6] d[62][7] d[62][8] d[62][9] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][60] d[62][61] d[62][62] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[63][0] d[63][1] d[63][2] d[63][3] d[63][4] d[63][5] d[63][6] d[63][7] d[63][8] d[63][9] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][60] d[63][61] d[63][62] d[63][63] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[64][0] d[64][1] d[64][2] d[64][3] d[64][4] d[64][5] d[64][6] d[64][7] d[64][8] d[64][9] d[64][10] d[64][11] d[64][12] d[64][13] d[64][14] d[64][15] d[64][16] d[64][17] d[64][18] d[64][19] d[64][20] d[64][21] d[64][22] d[64][23] d[64][24] d[64][25] d[64][26] d[64][27] d[64][28] d[64][29] d[64][30] d[64][31] d[64][32] d[64][33] d[64][34] d[64][35] d[64][36] d[64][37] d[64][38] d[64][39] d[64][40] d[64][41] d[64][42] d[64][43] d[64][44] d[64][45] d[64][46] d[64][47] d[64][48] d[64][49] d[64][50] d[64][51] d[64][52] d[64][53] d[64][54] d[64][55] d[64][56] d[64][57] d[64][58] d[64][59] d[64][60] d[64][61] d[64][62] d[64][63] d[64][64] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[65][0] d[65][1] d[65][2] d[65][3] d[65][4] d[65][5] d[65][6] d[65][7] d[65][8] d[65][9] d[65][10] d[65][11] d[65][12] d[65][13] d[65][14] d[65][15] d[65][16] d[65][17] d[65][18] d[65][19] d[65][20] d[65][21] d[65][22] d[65][23] d[65][24] d[65][25] d[65][26] d[65][27] d[65][28] d[65][29] d[65][30] d[65][31] d[65][32] d[65][33] d[65][34] d[65][35] d[65][36] d[65][37] d[65][38] d[65][39] d[65][40] d[65][41] d[65][42] d[65][43] d[65][44] d[65][45] d[65][46] d[65][47] d[65][48] d[65][49] d[65][50] d[65][51] d[65][52] d[65][53] d[65][54] d[65][55] d[65][56] d[65][57] d[65][58] d[65][59] d[65][60] d[65][61] d[65][62] d[65][63] d[65][64] d[65][65] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[66][0] d[66][1] d[66][2] d[66][3] d[66][4] d[66][5] d[66][6] d[66][7] d[66][8] d[66][9] d[66][10] d[66][11] d[66][12] d[66][13] d[66][14] d[66][15] d[66][16] d[66][17] d[66][18] d[66][19] d[66][20] d[66][21] d[66][22] d[66][23] d[66][24] d[66][25] d[66][26] d[66][27] d[66][28] d[66][29] d[66][30] d[66][31] d[66][32] d[66][33] d[66][34] d[66][35] d[66][36] d[66][37] d[66][38] d[66][39] d[66][40] d[66][41] d[66][42] d[66][43] d[66][44] d[66][45] d[66][46] d[66][47] d[66][48] d[66][49] d[66][50] d[66][51] d[66][52] d[66][53] d[66][54] d[66][55] d[66][56] d[66][57] d[66][58] d[66][59] d[66][60] d[66][61] d[66][62] d[66][63] d[66][64] d[66][65] d[66][66] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[67][0] d[67][1] d[67][2] d[67][3] d[67][4] d[67][5] d[67][6] d[67][7] d[67][8] d[67][9] d[67][10] d[67][11] d[67][12] d[67][13] d[67][14] d[67][15] d[67][16] d[67][17] d[67][18] d[67][19] d[67][20] d[67][21] d[67][22] d[67][23] d[67][24] d[67][25] d[67][26] d[67][27] d[67][28] d[67][29] d[67][30] d[67][31] d[67][32] d[67][33] d[67][34] d[67][35] d[67][36] d[67][37] d[67][38] d[67][39] d[67][40] d[67][41] d[67][42] d[67][43] d[67][44] d[67][45] d[67][46] d[67][47] d[67][48] d[67][49] d[67][50] d[67][51] d[67][52] d[67][53] d[67][54] d[67][55] d[67][56] d[67][57] d[67][58] d[67][59] d[67][60] d[67][61] d[67][62] d[67][63] d[67][64] d[67][65] d[67][66] d[67][67] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[68][0] d[68][1] d[68][2] d[68][3] d[68][4] d[68][5] d[68][6] d[68][7] d[68][8] d[68][9] d[68][10] d[68][11] d[68][12] d[68][13] d[68][14] d[68][15] d[68][16] d[68][17] d[68][18] d[68][19] d[68][20] d[68][21] d[68][22] d[68][23] d[68][24] d[68][25] d[68][26] d[68][27] d[68][28] d[68][29] d[68][30] d[68][31] d[68][32] d[68][33] d[68][34] d[68][35] d[68][36] d[68][37] d[68][38] d[68][39] d[68][40] d[68][41] d[68][42] d[68][43] d[68][44] d[68][45] d[68][46] d[68][47] d[68][48] d[68][49] d[68][50] d[68][51] d[68][52] d[68][53] d[68][54] d[68][55] d[68][56] d[68][57] d[68][58] d[68][59] d[68][60] d[68][61] d[68][62] d[68][63] d[68][64] d[68][65] d[68][66] d[68][67] d[68][68] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[69][0] d[69][1] d[69][2] d[69][3] d[69][4] d[69][5] d[69][6] d[69][7] d[69][8] d[69][9] d[69][10] d[69][11] d[69][12] d[69][13] d[69][14] d[69][15] d[69][16] d[69][17] d[69][18] d[69][19] d[69][20] d[69][21] d[69][22] d[69][23] d[69][24] d[69][25] d[69][26] d[69][27] d[69][28] d[69][29] d[69][30] d[69][31] d[69][32] d[69][33] d[69][34] d[69][35] d[69][36] d[69][37] d[69][38] d[69][39] d[69][40] d[69][41] d[69][42] d[69][43] d[69][44] d[69][45] d[69][46] d[69][47] d[69][48] d[69][49] d[69][50] d[69][51] d[69][52] d[69][53] d[69][54] d[69][55] d[69][56] d[69][57] d[69][58] d[69][59] d[69][60] d[69][61] d[69][62] d[69][63] d[69][64] d[69][65] d[69][66] d[69][67] d[69][68] d[69][69] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[70][0] d[70][1] d[70][2] d[70][3] d[70][4] d[70][5] d[70][6] d[70][7] d[70][8] d[70][9] d[70][10] d[70][11] d[70][12] d[70][13] d[70][14] d[70][15] d[70][16] d[70][17] d[70][18] d[70][19] d[70][20] d[70][21] d[70][22] d[70][23] d[70][24] d[70][25] d[70][26] d[70][27] d[70][28] d[70][29] d[70][30] d[70][31] d[70][32] d[70][33] d[70][34] d[70][35] d[70][36] d[70][37] d[70][38] d[70][39] d[70][40] d[70][41] d[70][42] d[70][43] d[70][44] d[70][45] d[70][46] d[70][47] d[70][48] d[70][49] d[70][50] d[70][51] d[70][52] d[70][53] d[70][54] d[70][55] d[70][56] d[70][57] d[70][58] d[70][59] d[70][60] d[70][61] d[70][62] d[70][63] d[70][64] d[70][65] d[70][66] d[70][67] d[70][68] d[70][69] d[70][70] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[71][0] d[71][1] d[71][2] d[71][3] d[71][4] d[71][5] d[71][6] d[71][7] d[71][8] d[71][9] d[71][10] d[71][11] d[71][12] d[71][13] d[71][14] d[71][15] d[71][16] d[71][17] d[71][18] d[71][19] d[71][20] d[71][21] d[71][22] d[71][23] d[71][24] d[71][25] d[71][26] d[71][27] d[71][28] d[71][29] d[71][30] d[71][31] d[71][32] d[71][33] d[71][34] d[71][35] d[71][36] d[71][37] d[71][38] d[71][39] d[71][40] d[71][41] d[71][42] d[71][43] d[71][44] d[71][45] d[71][46] d[71][47] d[71][48] d[71][49] d[71][50] d[71][51] d[71][52] d[71][53] d[71][54] d[71][55] d[71][56] d[71][57] d[71][58] d[71][59] d[71][60] d[71][61] d[71][62] d[71][63] d[71][64] d[71][65] d[71][66] d[71][67] d[71][68] d[71][69] d[71][70] d[71][71] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[72][0] d[72][1] d[72][2] d[72][3] d[72][4] d[72][5] d[72][6] d[72][7] d[72][8] d[72][9] d[72][10] d[72][11] d[72][12] d[72][13] d[72][14] d[72][15] d[72][16] d[72][17] d[72][18] d[72][19] d[72][20] d[72][21] d[72][22] d[72][23] d[72][24] d[72][25] d[72][26] d[72][27] d[72][28] d[72][29] d[72][30] d[72][31] d[72][32] d[72][33] d[72][34] d[72][35] d[72][36] d[72][37] d[72][38] d[72][39] d[72][40] d[72][41] d[72][42] d[72][43] d[72][44] d[72][45] d[72][46] d[72][47] d[72][48] d[72][49] d[72][50] d[72][51] d[72][52] d[72][53] d[72][54] d[72][55] d[72][56] d[72][57] d[72][58] d[72][59] d[72][60] d[72][61] d[72][62] d[72][63] d[72][64] d[72][65] d[72][66] d[72][67] d[72][68] d[72][69] d[72][70] d[72][71] d[72][72] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[73][0] d[73][1] d[73][2] d[73][3] d[73][4] d[73][5] d[73][6] d[73][7] d[73][8] d[73][9] d[73][10] d[73][11] d[73][12] d[73][13] d[73][14] d[73][15] d[73][16] d[73][17] d[73][18] d[73][19] d[73][20] d[73][21] d[73][22] d[73][23] d[73][24] d[73][25] d[73][26] d[73][27] d[73][28] d[73][29] d[73][30] d[73][31] d[73][32] d[73][33] d[73][34] d[73][35] d[73][36] d[73][37] d[73][38] d[73][39] d[73][40] d[73][41] d[73][42] d[73][43] d[73][44] d[73][45] d[73][46] d[73][47] d[73][48] d[73][49] d[73][50] d[73][51] d[73][52] d[73][53] d[73][54] d[73][55] d[73][56] d[73][57] d[73][58] d[73][59] d[73][60] d[73][61] d[73][62] d[73][63] d[73][64] d[73][65] d[73][66] d[73][67] d[73][68] d[73][69] d[73][70] d[73][71] d[73][72] d[73][73] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[74][0] d[74][1] d[74][2] d[74][3] d[74][4] d[74][5] d[74][6] d[74][7] d[74][8] d[74][9] d[74][10] d[74][11] d[74][12] d[74][13] d[74][14] d[74][15] d[74][16] d[74][17] d[74][18] d[74][19] d[74][20] d[74][21] d[74][22] d[74][23] d[74][24] d[74][25] d[74][26] d[74][27] d[74][28] d[74][29] d[74][30] d[74][31] d[74][32] d[74][33] d[74][34] d[74][35] d[74][36] d[74][37] d[74][38] d[74][39] d[74][40] d[74][41] d[74][42] d[74][43] d[74][44] d[74][45] d[74][46] d[74][47] d[74][48] d[74][49] d[74][50] d[74][51] d[74][52] d[74][53] d[74][54] d[74][55] d[74][56] d[74][57] d[74][58] d[74][59] d[74][60] d[74][61] d[74][62] d[74][63] d[74][64] d[74][65] d[74][66] d[74][67] d[74][68] d[74][69] d[74][70] d[74][71] d[74][72] d[74][73] d[74][74] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[75][0] d[75][1] d[75][2] d[75][3] d[75][4] d[75][5] d[75][6] d[75][7] d[75][8] d[75][9] d[75][10] d[75][11] d[75][12] d[75][13] d[75][14] d[75][15] d[75][16] d[75][17] d[75][18] d[75][19] d[75][20] d[75][21] d[75][22] d[75][23] d[75][24] d[75][25] d[75][26] d[75][27] d[75][28] d[75][29] d[75][30] d[75][31] d[75][32] d[75][33] d[75][34] d[75][35] d[75][36] d[75][37] d[75][38] d[75][39] d[75][40] d[75][41] d[75][42] d[75][43] d[75][44] d[75][45] d[75][46] d[75][47] d[75][48] d[75][49] d[75][50] d[75][51] d[75][52] d[75][53] d[75][54] d[75][55] d[75][56] d[75][57] d[75][58] d[75][59] d[75][60] d[75][61] d[75][62] d[75][63] d[75][64] d[75][65] d[75][66] d[75][67] d[75][68] d[75][69] d[75][70] d[75][71] d[75][72] d[75][73] d[75][74] d[75][75] d[75][76] d[75][77] d[75][78] d[75][79] d[76][0] d[76][1] d[76][2] d[76][3] d[76][4] d[76][5] d[76][6] d[76][7] d[76][8] d[76][9] d[76][10] d[76][11] d[76][12] d[76][13] d[76][14] d[76][15] d[76][16] d[76][17] d[76][18] d[76][19] d[76][20] d[76][21] d[76][22] d[76][23] d[76][24] d[76][25] d[76][26] d[76][27] d[76][28] d[76][29] d[76][30] d[76][31] d[76][32] d[76][33] d[76][34] d[76][35] d[76][36] d[76][37] d[76][38] d[76][39] d[76][40] d[76][41] d[76][42] d[76][43] d[76][44] d[76][45] d[76][46] d[76][47] d[76][48] d[76][49] d[76][50] d[76][51] d[76][52] d[76][53] d[76][54] d[76][55] d[76][56] d[76][57] d[76][58] d[76][59] d[76][60] d[76][61] d[76][62] d[76][63] d[76][64] d[76][65] d[76][66] d[76][67] d[76][68] d[76][69] d[76][70] d[76][71] d[76][72] d[76][73] d[76][74] d[76][75] d[76][76] d[76][77] d[76][78] d[76][79] d[77][0] d[77][1] d[77][2] d[77][3] d[77][4] d[77][5] d[77][6] d[77][7] d[77][8] d[77][9] d[77][10] d[77][11] d[77][12] d[77][13] d[77][14] d[77][15] d[77][16] d[77][17] d[77][18] d[77][19] d[77][20] d[77][21] d[77][22] d[77][23] d[77][24] d[77][25] d[77][26] d[77][27] d[77][28] d[77][29] d[77][30] d[77][31] d[77][32] d[77][33] d[77][34] d[77][35] d[77][36] d[77][37] d[77][38] d[77][39] d[77][40] d[77][41] d[77][42] d[77][43] d[77][44] d[77][45] d[77][46] d[77][47] d[77][48] d[77][49] d[77][50] d[77][51] d[77][52] d[77][53] d[77][54] d[77][55] d[77][56] d[77][57] d[77][58] d[77][59] d[77][60] d[77][61] d[77][62] d[77][63] d[77][64] d[77][65] d[77][66] d[77][67] d[77][68] d[77][69] d[77][70] d[77][71] d[77][72] d[77][73] d[77][74] d[77][75] d[77][76] d[77][77] d[77][78] d[77][79] d[78][0] d[78][1] d[78][2] d[78][3] d[78][4] d[78][5] d[78][6] d[78][7] d[78][8] d[78][9] d[78][10] d[78][11] d[78][12] d[78][13] d[78][14] d[78][15] d[78][16] d[78][17] d[78][18] d[78][19] d[78][20] d[78][21] d[78][22] d[78][23] d[78][24] d[78][25] d[78][26] d[78][27] d[78][28] d[78][29] d[78][30] d[78][31] d[78][32] d[78][33] d[78][34] d[78][35] d[78][36] d[78][37] d[78][38] d[78][39] d[78][40] d[78][41] d[78][42] d[78][43] d[78][44] d[78][45] d[78][46] d[78][47] d[78][48] d[78][49] d[78][50] d[78][51] d[78][52] d[78][53] d[78][54] d[78][55] d[78][56] d[78][57] d[78][58] d[78][59] d[78][60] d[78][61] d[78][62] d[78][63] d[78][64] d[78][65] d[78][66] d[78][67] d[78][68] d[78][69] d[78][70] d[78][71] d[78][72] d[78][73] d[78][74] d[78][75] d[78][76] d[78][77] d[78][78] d[78][79] d[79][0] d[79][1] d[79][2] d[79][3] d[79][4] d[79][5] d[79][6] d[79][7] d[79][8] d[79][9] d[79][10] d[79][11] d[79][12] d[79][13] d[79][14] d[79][15] d[79][16] d[79][17] d[79][18] d[79][19] d[79][20] d[79][21] d[79][22] d[79][23] d[79][24] d[79][25] d[79][26] d[79][27] d[79][28] d[79][29] d[79][30] d[79][31] d[79][32] d[79][33] d[79][34] d[79][35] d[79][36] d[79][37] d[79][38] d[79][39] d[79][40] d[79][41] d[79][42] d[79][43] d[79][44] d[79][45] d[79][46] d[79][47] d[79][48] d[79][49] d[79][50] d[79][51] d[79][52] d[79][53] d[79][54] d[79][55] d[79][56] d[79][57] d[79][58] d[79][59] d[79][60] d[79][61] d[79][62] d[79][63] d[79][64] d[79][65] d[79][66] d[79][67] d[79][68] d[79][69] d[79][70] d[79][71] d[79][72] d[79][73] d[79][74] d[79][75] d[79][76] d[79][77] d[79][78] d[79][79] </list>
2519.68/2520.00	v   <values> 36 6 22 0 19 51 17 57 64 24 66 1 4 16 39 49 31 29 55 77 42 74 27 12 69 26 73 46 52 11 14 61 65 54 48 7 15 20 75 33 62 10 21 2 9 45 3 5 43 35 71 40 41 68 59 44 23 32 30 53 37 60 28 58 25 67 8 34 76 79 38 56 50 78 18 47 72 63 70 13 * 57 94 59 64 97 97 16 20 65 9 29 90 41 91 85 76 10 1 0 27 89 85 42 41 40 44 17 9 93 26 7 14 93 57 34 67 33 5 41 25 28 98 85 20 45 15 99 38 31 35 28 21 46 9 * 32 17 3 78 38 50 52 17 70 85 30 67 2 81 4 87 57 42 65 93 1 13 17 3 * * 76 6 99 99 38 24 * 47 34 85 35 97 61 28 45 81 47 68 8 52 71 43 67 9 64 33 6 74 29 19 21 65 52 56 64 51 92 15 87 48 87 66 53 22 43 72 46 64 94 25 41 20 70 52 71 56 99 85 84 28 20 79 47 12 69 99 49 66 83 90 75 65 12 68 10 80 24 94 * * * 84 46 63 7 32 93 84 40 40 35 93 38 78 79 19 94 3 24 33 6 78 55 73 44 * 11 85 53 76 47 6 85 20 71 90 30 22 48 99 28 53 33 89 67 94 17 5 58 95 93 3 39 85 22 70 72 97 2 56 1 9 57 55 * 19 48 43 72 61 14 80 10 17 29 9 81 56 * * * * 9 6 89 89 50 0 36 21 56 0 39 82 69 82 74 61 36 11 11 44 2 91 35 71 71 6 75 93 4 77 29 25 79 1 20 86 56 63 85 95 4 21 82 41 61 91 15 18 57 85 76 36 12 56 26 8 18 40 35 76 26 27 10 45 21 58 76 30 82 80 35 11 11 1 1 40 * * * * * 82 55 67 87 12 21 74 79 75 94 29 72 54 54 89 42 16 81 56 63 15 94 12 54 94 49 10 13 75 27 37 29 42 2 9 79 80 34 41 53 30 3 58 40 21 32 50 37 40 63 6 71 84 1 75 8 79 21 42 80 48 36 35 30 89 66 19 33 9 29 34 73 93 97 62 * * * * * * 74 77 84 27 81 4 84 45 89 71 10 64 16 46 21 71 27 83 70 2 19 5 57 63 31 90 70 39 18 22 59 21 69 58 78 63 91 * 13 57 2 71 44 6 52 75 85 86 57 0 22 25 3 55 42 33 6 64 89 23 60 10 49 92 13 79 67 11 33 88 27 66 88 14 * * * * * * * 68 85 64 60 83 42 20 42 44 0 98 44 54 25 61 7 79 5 13 88 74 5 85 62 11 79 4 54 37 24 29 92 94 39 93 74 8 61 44 82 49 64 6 9 4 30 12 35 12 30 60 47 84 20 29 96 38 45 83 43 53 23 58 94 64 32 81 47 96 49 69 55 28 * * * * * * * * 54 72 87 46 12 81 31 96 12 53 48 59 72 90 44 48 6 39 79 62 44 66 44 84 17 87 41 82 * 47 0 92 58 66 31 1 92 92 61 56 69 69 1 25 1 53 23 69 69 58 14 31 63 47 25 48 52 2 87 46 79 50 81 35 53 88 46 22 32 11 92 16 * * * * * * * * * 57 45 89 2 65 12 29 25 2 8 11 69 62 99 17 * 21 23 90 77 5 94 31 93 54 15 48 98 13 14 16 19 73 24 7 44 75 28 35 85 3 30 81 17 43 82 23 73 75 76 35 45 65 25 25 25 17 4 93 11 19 17 80 43 67 84 46 63 7 26 81 * * * * * * * * * * 34 83 96 37 92 2 13 90 44 81 27 40 42 32 7 24 38 33 38 54 39 55 9 59 22 35 18 2 29 61 30 69 91 50 31 79 15 63 9 68 85 21 34 18 32 26 88 * 0 25 78 30 35 91 44 94 50 67 91 74 33 28 10 85 55 1 28 3 17 10 * * * * * * * * * * * 14 82 18 56 * 89 7 65 13 72 77 28 26 85 56 77 48 92 27 61 94 60 61 18 42 31 66 46 10 97 49 37 68 96 68 75 67 97 77 26 39 62 31 73 97 88 32 57 26 32 83 48 39 56 47 54 20 22 99 96 42 2 54 33 77 57 54 96 39 * * * * * * * * * * * * 72 15 32 99 26 53 72 62 94 0 77 29 59 71 6 99 56 48 66 4 48 60 70 94 41 45 62 76 77 3 65 21 51 10 76 44 79 13 57 87 67 44 20 2 54 87 37 2 11 86 36 13 14 89 90 91 41 25 77 74 60 46 96 56 63 15 22 90 * * * * * * * * * * * * * 70 68 11 93 67 9 26 94 34 37 37 40 21 92 0 80 50 19 51 27 55 12 14 51 98 39 2 84 49 60 76 74 37 42 71 19 26 27 93 7 71 7 54 9 39 93 1 26 17 37 65 70 71 20 52 31 87 1 21 66 1 26 20 93 87 93 79 * * * * * * * * * * * * * * 15 84 60 6 39 31 90 99 76 18 82 41 77 75 93 48 7 13 72 87 48 57 79 56 5 57 62 59 89 84 29 56 94 22 49 34 33 94 12 55 80 82 60 51 62 74 82 88 25 54 44 81 43 79 70 52 95 10 15 33 15 39 20 11 20 12 * * * * * * * * * * * * * * * 66 66 30 33 10 48 80 62 71 70 97 63 13 55 68 8 15 67 60 81 26 46 9 81 70 84 88 49 49 68 45 44 18 73 81 65 30 66 24 60 17 61 3 27 71 75 17 7 46 89 23 13 60 29 92 75 89 7 58 27 91 28 98 46 32 * * * * * * * * * * * * * * * * 87 56 87 48 17 26 3 31 61 12 6 80 10 5 40 15 23 88 10 55 65 92 32 65 26 28 33 26 20 65 62 66 81 97 63 67 82 47 54 61 49 49 4 82 30 24 26 68 33 92 46 98 26 28 17 65 40 17 53 99 2 42 89 97 * * * * * * * * * * * * * * * * * 99 69 9 67 78 78 66 30 87 20 71 40 95 3 81 5 93 74 83 * 9 45 79 82 99 47 34 76 3 76 1 2 91 29 70 91 70 72 98 32 95 10 42 25 37 88 23 64 67 46 8 99 22 42 79 12 16 36 61 68 87 89 51 * * * * * * * * * * * * * * * * * * 52 43 39 81 80 50 27 71 48 11 77 56 4 78 8 36 97 10 24 49 93 16 74 23 35 85 78 92 62 70 58 23 50 4 4 72 40 31 4 83 81 51 67 55 41 86 69 88 22 40 96 60 58 18 53 12 37 53 1 23 21 33 * * * * * * * * * * * * * * * * * * * 49 3 64 60 96 64 90 23 24 51 47 5 35 60 82 23 91 82 22 96 48 5 90 35 8 61 55 37 56 91 14 85 21 44 96 47 1 29 48 80 50 74 15 59 4 * 63 69 4 23 73 28 88 96 74 98 72 30 37 76 83 * * * * * * * * * * * * * * * * * * * * 54 55 40 55 57 23 5 57 98 64 99 17 22 36 47 37 5 31 41 22 73 10 91 33 84 50 50 10 75 38 85 21 4 18 18 75 30 41 84 58 8 53 11 36 40 50 48 77 20 43 22 38 66 66 88 58 32 3 90 1 * * * * * * * * * * * * * * * * * * * * * 98 46 31 2 41 35 25 31 55 8 56 54 21 37 16 86 29 4 31 91 41 85 58 19 47 86 79 80 89 43 5 22 21 15 59 60 19 84 21 1 35 98 25 29 69 81 90 96 79 26 87 5 67 5 60 24 15 91 92 * * * * * * * * * * * * * * * * * * * * * * 53 49 33 47 75 37 37 85 * 25 97 62 95 3 67 46 50 28 36 98 35 30 89 87 97 67 32 65 39 54 99 62 99 1 88 28 96 84 99 55 55 66 79 42 62 27 1 83 27 54 22 99 45 57 15 36 26 37 * * * * * * * * * * * * * * * * * * * * * * * 18 60 12 87 73 57 81 18 5 83 30 58 48 28 54 98 81 36 49 75 55 78 27 23 22 91 13 76 3 26 26 94 49 27 62 28 83 26 66 56 97 19 2 43 80 76 43 5 94 21 70 31 21 64 21 34 75 * * * * * * * * * * * * * * * * * * * * * * * * 53 2 35 38 43 44 32 35 59 91 26 99 64 63 33 97 7 87 2 13 30 98 48 91 36 81 37 53 87 43 17 99 3 20 69 16 28 13 89 12 3 30 62 52 87 63 71 52 60 48 23 97 93 96 26 72 * * * * * * * * * * * * * * * * * * * * * * * * * 71 3 57 81 84 17 78 91 52 78 30 23 89 26 81 4 88 6 21 83 89 7 1 76 56 22 51 2 89 51 86 1 1 64 67 32 0 77 52 4 54 84 17 27 81 57 64 50 20 91 73 45 2 60 9 * * * * * * * * * * * * * * * * * * * * * * * * * * 96 82 66 75 86 19 32 49 68 23 16 37 30 94 45 1 49 58 71 38 42 45 21 97 70 57 26 79 73 51 17 79 15 17 31 6 48 61 18 26 62 1 32 39 87 31 48 35 49 68 35 13 7 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 17 32 18 54 70 40 37 31 42 91 34 8 38 57 75 85 25 55 21 32 86 18 73 19 22 64 32 5 13 1 28 47 8 41 96 85 51 9 45 92 77 3 71 97 45 12 41 44 56 80 91 21 66 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 90 46 68 30 69 90 31 35 68 2 69 98 29 61 65 21 94 62 83 26 36 46 20 22 50 * 12 63 62 57 69 58 9 52 87 71 34 10 90 25 96 64 85 96 9 76 44 14 87 69 3 9 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 19 85 78 72 32 92 76 93 69 31 44 56 10 12 35 5 76 2 58 21 43 94 20 76 93 84 16 17 36 37 13 91 78 33 77 45 99 93 46 72 3 62 54 15 80 * 29 44 49 67 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 52 52 37 20 89 58 59 79 59 67 27 90 4 91 3 19 0 12 84 88 1 58 98 88 86 76 * 37 38 53 53 14 11 60 95 * 53 54 24 12 44 17 23 81 29 89 26 77 63 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 53 23 96 8 70 99 93 57 9 16 20 47 49 98 47 59 70 64 5 51 94 75 * 0 73 34 * 95 47 36 93 52 86 8 80 44 3 25 34 92 98 6 87 58 78 26 87 45 81 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 90 80 79 4 66 89 94 4 11 0 7 72 16 28 96 69 72 63 58 78 44 94 * 63 21 52 9 15 83 84 28 90 10 58 54 67 3 9 56 31 32 49 66 8 3 * 72 98 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 75 84 29 30 99 25 78 87 38 6 87 55 41 31 41 11 86 34 17 48 7 27 79 89 95 * 74 19 23 18 76 75 91 88 54 23 13 47 74 46 13 82 51 40 27 29 88 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 56 92 24 74 15 22 17 56 62 97 5 65 91 50 73 49 30 31 73 31 18 2 95 3 37 2 71 48 90 45 72 47 77 10 89 87 23 62 42 80 81 37 33 88 56 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 40 12 39 71 84 52 34 42 67 21 29 57 39 75 18 93 1 19 45 94 39 30 76 57 86 21 68 36 26 67 81 49 46 70 17 26 62 73 27 39 60 25 96 84 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 17 3 17 27 4 17 43 58 81 13 7 59 69 15 81 33 23 3 2 97 68 82 42 55 50 13 40 96 60 56 28 49 25 88 42 74 30 26 2 80 37 35 60 90 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 7 10 1 98 66 26 85 69 81 29 1 73 22 15 30 0 74 94 15 36 81 68 34 44 53 1 24 57 41 86 54 63 * 6 69 18 20 41 36 63 6 56 55 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 18 53 97 28 0 56 98 81 3 62 45 79 80 18 80 67 22 9 9 29 19 1 12 18 71 80 79 27 53 17 52 22 6 28 76 52 27 97 50 52 64 63 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 94 82 53 20 43 11 38 5 67 32 85 36 83 47 74 29 * 78 94 * 80 6 99 54 1 98 87 62 23 8 16 86 25 92 30 51 63 55 74 17 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 98 29 80 40 80 26 82 * * 7 45 29 13 88 71 30 6 83 91 48 65 44 49 92 32 15 53 35 86 55 3 3 11 0 74 38 61 93 92 80 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 91 86 45 73 72 82 69 84 72 18 50 40 63 9 53 55 44 62 20 12 14 46 70 6 16 12 3 57 56 46 8 64 35 6 63 78 64 16 73 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 68 78 23 63 0 62 3 95 71 66 9 86 30 4 54 40 33 78 44 76 63 62 99 85 55 60 52 70 30 0 55 84 79 87 46 62 13 80 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 39 94 22 51 49 13 75 87 1 47 57 25 41 21 61 47 91 11 58 37 45 9 69 34 34 72 11 10 45 77 86 80 61 63 58 50 11 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 68 27 75 40 17 12 45 46 87 3 39 68 77 53 52 3 72 87 19 91 30 33 30 69 97 61 7 51 82 35 38 6 47 96 90 59 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 41 6 46 32 26 22 55 71 94 73 87 77 56 50 46 57 0 8 33 54 67 95 72 99 30 39 8 61 56 34 21 78 74 28 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 62 43 53 62 78 69 39 1 72 51 99 84 90 77 88 71 22 13 84 96 78 65 21 19 91 59 12 28 23 59 21 4 0 15 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 36 60 35 69 26 76 95 34 62 39 66 28 43 17 53 62 5 66 1 84 98 39 93 77 49 36 82 29 91 62 48 92 62 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 75 72 72 96 82 33 64 83 92 44 18 42 34 98 69 28 13 12 97 3 24 56 45 27 22 46 24 * 26 93 71 63 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 54 23 26 62 85 16 51 10 88 18 31 35 74 45 80 2 74 91 93 81 24 79 13 97 23 73 27 77 18 25 25 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 79 27 70 8 32 96 55 86 66 6 46 97 89 97 25 94 30 91 25 24 21 66 12 76 57 60 54 27 28 40 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 96 40 28 84 86 41 62 13 17 32 38 23 0 98 51 29 24 17 20 25 16 36 22 83 24 20 89 55 96 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 20 49 22 19 75 13 95 32 58 98 31 89 56 58 95 38 93 44 84 46 80 * 28 90 28 90 26 61 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 69 40 95 46 3 51 85 10 91 31 30 49 95 76 24 64 55 58 48 84 91 85 99 20 14 80 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 85 66 26 44 84 5 41 19 78 52 92 22 82 * 21 50 18 54 46 10 24 44 85 49 52 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 91 61 45 48 42 70 73 76 13 44 9 39 45 69 61 11 14 41 73 4 44 48 54 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 49 5 73 29 92 59 18 26 5 37 12 69 67 73 2 98 87 48 12 99 52 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 76 86 26 41 33 56 28 43 42 43 41 68 60 20 * 3 9 78 70 66 27 22 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 36 24 66 19 14 17 29 9 68 46 19 94 45 11 29 80 5 93 82 92 62 53 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 27 17 55 79 91 43 83 64 83 14 30 24 24 75 7 68 61 17 70 74 68 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 26 49 35 37 63 89 35 49 91 47 54 35 59 4 99 73 67 41 17 84 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 55 83 76 74 92 91 53 29 57 99 8 73 82 87 48 84 70 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 98 30 32 37 33 25 9 68 98 16 24 48 33 48 87 92 80 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 58 69 95 9 72 66 69 12 88 85 57 63 6 9 79 90 62 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 40 89 12 80 61 54 95 75 84 13 15 0 28 4 3 67 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 78 58 33 86 53 31 76 59 18 72 64 29 35 92 34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 46 19 81 96 14 92 10 10 12 53 44 86 64 46 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 8 74 85 6 54 19 22 40 64 10 10 8 22 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 15 15 3 13 91 36 74 33 15 14 75 84 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 12 * 27 92 85 78 87 32 54 67 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 21 28 51 82 3 71 23 * 76 84 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 70 90 74 51 21 29 69 44 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 50 0 61 19 42 16 15 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 51 80 97 22 8 25 24 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 31 66 20 33 85 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 85 77 45 79 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 56 38 51 30 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 11 63 30 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 47 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 89 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2519.68/2520.00	v </instantiation>

OK	7129639

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4261064-1502351593/watcher-4261064-1502351593 -o /tmp/evaluation-result-4261064-1502351593/solver-4261064-1502351593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1433805865 HOME/instance-4261064-1502351593.xml 

pid=24583
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 24586
/proc/meminfo: memFree=31343684/32770624 swapFree=0/477576
[pid=24586] ppid=24583 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24586/stat : 24586 (runsolver) D 24583 24586 4057 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 37380114 24240128 108 18446744073709551615 4194304 4338465 140734170132752 140734170130392 140121809937111 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 21762048 140734170140811 140734170141258 140734170141258 140734170144714 0
/proc/24586/statm: 5918 108 54 36 0 2156 0

[startup+0.100148 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 24586
/proc/meminfo: memFree=31343684/32770624 swapFree=0/477576
[pid=24586] ppid=24583 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24586/stat : 24586 (runsolver) D 24583 24586 4057 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 37380114 24240128 108 18446744073709551615 4194304 4338465 140734170132752 140734170130392 140121809937111 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 21762048 140734170140811 140734170141258 140734170141258 140734170144714 0
/proc/24586/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200296 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 24586
/proc/meminfo: memFree=31343684/32770624 swapFree=0/477576
[pid=24586] ppid=24583 vsize=36592 CPUtime=0.09 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 2961 0 0 0 9 0 0 0 20 0 1 0 37380114 37470208 2706 18446744073709551615 4194304 7396336 140733791632432 140733791625672 5878465 0 0 1 0 0 0 0 17 6 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 9148 2706 636 782 0 2164 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36592

[startup+0.300299 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 24586
/proc/meminfo: memFree=31343684/32770624 swapFree=0/477576
[pid=24586] ppid=24583 vsize=84860 CPUtime=0.18 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 15046 0 0 0 17 1 0 0 20 0 1 0 37380114 86896640 14784 18446744073709551615 4194304 7396336 140733791632432 140733791623768 4253109 0 0 1 0 0 0 0 17 6 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 21215 14784 649 782 0 14231 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 84860

[startup+0.700341 s]
/proc/loadavg: 2.14 2.05 2.05 3/180 24586
/proc/meminfo: memFree=31343684/32770624 swapFree=0/477576
[pid=24586] ppid=24583 vsize=314508 CPUtime=0.59 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 72487 0 0 0 49 10 0 0 20 0 1 0 37380114 322056192 72204 18446744073709551615 4194304 7396336 140733791632432 140733791623768 139686864989157 0 0 1 0 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 78660 72204 649 782 0 71676 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 314508

[startup+1.50034 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 24587
/proc/meminfo: memFree=30827216/32770624 swapFree=0/477892
[pid=24586] ppid=24583 vsize=775476 CPUtime=1.39 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 187732 0 0 0 117 22 0 0 20 0 1 0 37380114 794087424 187440 18446744073709551615 4194304 7396336 140733791632432 140733791623768 139686864989157 0 0 1 0 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 193902 187440 649 782 0 186918 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 775476

[startup+3.10034 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 24587
/proc/meminfo: memFree=30191840/32770624 swapFree=0/477892
[pid=24586] ppid=24583 vsize=1695484 CPUtime=2.98 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 418131 0 0 0 251 47 0 0 20 0 1 0 37380114 1736175616 417436 18446744073709551615 4194304 7396336 140733791632432 140733791623928 139686865037216 0 0 1 0 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 423871 417436 649 782 0 416887 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 1695484

[startup+6.30035 s]
/proc/loadavg: 2.13 2.04 2.05 3/181 24588
/proc/meminfo: memFree=29432832/32770624 swapFree=0/477868
[pid=24586] ppid=24583 vsize=2324292 CPUtime=6.18 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 825492 0 0 0 542 76 0 0 20 0 1 0 37380114 2380075008 574709 18446744073709551615 4194304 7396336 140733791632432 140733791623928 5792027 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 581073 574709 689 782 0 574089 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 2324292

[startup+12.7004 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 24588
/proc/meminfo: memFree=29037856/32770624 swapFree=0/477868
[pid=24586] ppid=24583 vsize=2339136 CPUtime=12.58 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 1204337 0 0 0 1166 92 0 0 20 0 1 0 37380114 2395275264 578460 18446744073709551615 4194304 7396336 140733791632432 140733791627448 5792030 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 584784 578460 697 782 0 577800 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 2339136

[startup+25.5004 s]
/proc/loadavg: 2.16 2.06 2.06 3/181 24588
/proc/meminfo: memFree=28884220/32770624 swapFree=0/477856
[pid=24586] ppid=24583 vsize=2483432 CPUtime=25.39 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 1574886 0 0 0 2425 114 0 0 20 0 1 0 37380114 2543034368 614502 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5771391 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 620858 614502 697 782 0 613874 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 2483432

[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 24652
/proc/meminfo: memFree=28862232/32770624 swapFree=0/477864
[pid=24586] ppid=24583 vsize=2531744 CPUtime=50.99 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 2134863 0 0 0 4958 141 0 0 20 0 1 0 37380114 2592505856 626580 18446744073709551615 4194304 7396336 140733791632432 140733791627448 4249440 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 632936 626580 697 782 0 625952 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 2531744

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/184 24731
/proc/meminfo: memFree=28814892/32770624 swapFree=0/477900
[pid=24586] ppid=24583 vsize=2560272 CPUtime=102.17 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 2636118 0 0 0 10051 166 0 0 20 0 1 0 37380114 2621718528 633723 18446744073709551615 4194304 7396336 140733791632432 140733791627448 4547381 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 640068 633723 697 782 0 633084 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 2560272

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 24733
/proc/meminfo: memFree=28798948/32770624 swapFree=0/477892
[pid=24586] ppid=24583 vsize=2579816 CPUtime=162.15 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 3032080 0 0 0 16032 183 0 0 20 0 1 0 37380114 2641731584 638605 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4249751 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 644954 638605 697 782 0 637970 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 2579816

[startup+222.306 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24735
/proc/meminfo: memFree=28777640/32770624 swapFree=0/477896
[pid=24586] ppid=24583 vsize=2601224 CPUtime=222.15 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 3499596 0 0 0 22011 204 0 0 20 0 1 0 37380114 2663653376 643954 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5772942 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 650306 643954 697 782 0 643322 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 2601224

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24737
/proc/meminfo: memFree=28758788/32770624 swapFree=0/477900
[pid=24586] ppid=24583 vsize=2620372 CPUtime=282.14 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 3913238 0 0 0 27990 224 0 0 20 0 1 0 37380114 2683260928 648762 18446744073709551615 4194304 7396336 140733791632432 140733791627448 5771317 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 655093 648762 697 782 0 648109 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 2620372

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24739
/proc/meminfo: memFree=28750020/32770624 swapFree=0/477936
[pid=24586] ppid=24583 vsize=2629216 CPUtime=342.12 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 4308643 0 0 0 33967 245 0 0 20 0 1 0 37380114 2692317184 650971 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4317310 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 657304 650971 697 782 0 650320 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 2629216

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24741
/proc/meminfo: memFree=28729652/32770624 swapFree=0/477972
[pid=24586] ppid=24583 vsize=2649564 CPUtime=402.11 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 4692584 0 0 0 39948 263 0 0 20 0 1 0 37380114 2713153536 656038 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5792027 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 662391 656038 697 782 0 655407 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 2649564

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24743
/proc/meminfo: memFree=28712240/32770624 swapFree=0/477988
[pid=24586] ppid=24583 vsize=2667120 CPUtime=462.1 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 5057946 0 0 0 45928 282 0 0 20 0 1 0 37380114 2731130880 660428 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5792027 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 666780 660428 697 782 0 659796 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 2667120

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24745
/proc/meminfo: memFree=28696340/32770624 swapFree=0/477980
[pid=24586] ppid=24583 vsize=2683224 CPUtime=522.09 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 5407932 0 0 0 51908 301 0 0 20 0 1 0 37380114 2747621376 664465 18446744073709551615 4194304 7396336 140733791632432 140733791627448 4249751 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 670806 664465 697 782 0 663822 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 2683224

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24747
/proc/meminfo: memFree=28679256/32770624 swapFree=0/477996
[pid=24586] ppid=24583 vsize=2699724 CPUtime=582.08 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 5739558 0 0 0 57892 316 0 0 20 0 1 0 37380114 2764517376 668585 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4547381 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 674931 668585 697 782 0 667947 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 2699724


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 24836
/proc/meminfo: memFree=28538176/32770624 swapFree=0/478284
[pid=24586] ppid=24583 vsize=2839736 CPUtime=1601.91 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8481910 0 0 0 159734 457 0 0 20 0 1 0 37380114 2907889664 703605 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4547381 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 709934 703605 697 782 0 702950 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 2839736

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24838
/proc/meminfo: memFree=28532804/32770624 swapFree=0/478296
[pid=24586] ppid=24583 vsize=2845280 CPUtime=1661.91 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8487202 0 0 0 165734 457 0 0 20 0 1 0 37380114 2913566720 704974 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4547378 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 711320 704974 697 782 0 704336 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 2845280

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24840
/proc/meminfo: memFree=28526116/32770624 swapFree=0/478316
[pid=24586] ppid=24583 vsize=2852016 CPUtime=1721.91 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8495474 0 0 0 171733 458 0 0 20 0 1 0 37380114 2920464384 706654 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5792027 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 713004 706654 697 782 0 706020 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 2852016

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24842
/proc/meminfo: memFree=28519472/32770624 swapFree=0/478328
[pid=24586] ppid=24583 vsize=2858220 CPUtime=1781.92 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8504752 0 0 0 177733 459 0 0 20 0 1 0 37380114 2926817280 708211 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5791976 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 714555 708211 697 782 0 707571 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 2858220

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24844
/proc/meminfo: memFree=28512784/32770624 swapFree=0/478340
[pid=24586] ppid=24583 vsize=2865084 CPUtime=1841.92 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8515806 0 0 0 183732 460 0 0 20 0 1 0 37380114 2933846016 709943 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5771305 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 716271 709943 697 782 0 709287 0
Current children cumulated CPU time (s) 1841.92
Current children cumulated vsize (KiB) 2865084

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 24862
/proc/meminfo: memFree=28503840/32770624 swapFree=0/478404
[pid=24586] ppid=24583 vsize=2870496 CPUtime=1901.93 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8527818 0 0 0 189732 461 0 0 20 0 1 0 37380114 2939387904 711283 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4249751 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 717624 711283 697 782 0 710640 0
Current children cumulated CPU time (s) 1901.93
Current children cumulated vsize (KiB) 2870496

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 24864
/proc/meminfo: memFree=28504636/32770624 swapFree=0/478416
[pid=24586] ppid=24583 vsize=2872344 CPUtime=1961.94 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8530420 0 0 0 195732 462 0 0 20 0 1 0 37380114 2941280256 711731 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4249751 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 718086 711731 697 782 0 711102 0
Current children cumulated CPU time (s) 1961.94
Current children cumulated vsize (KiB) 2872344

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 24866
/proc/meminfo: memFree=28500668/32770624 swapFree=0/478440
[pid=24586] ppid=24583 vsize=2876832 CPUtime=2021.94 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8553099 0 0 0 201730 464 0 0 20 0 1 0 37380114 2945875968 712860 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4317320 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 719208 712860 697 782 0 712224 0
Current children cumulated CPU time (s) 2021.94
Current children cumulated vsize (KiB) 2876832

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 24868
/proc/meminfo: memFree=28495460/32770624 swapFree=0/478456
[pid=24586] ppid=24583 vsize=2882376 CPUtime=2081.95 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8556451 0 0 0 207731 464 0 0 20 0 1 0 37380114 2951553024 714265 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4249440 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 720594 714265 697 782 0 713610 0
Current children cumulated CPU time (s) 2081.95
Current children cumulated vsize (KiB) 2882376

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 24870
/proc/meminfo: memFree=28490608/32770624 swapFree=0/478460
[pid=24586] ppid=24583 vsize=2887392 CPUtime=2141.95 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8584414 0 0 0 213729 466 0 0 20 0 1 0 37380114 2956689408 715517 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5774448 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 721848 715517 697 782 0 714864 0
Current children cumulated CPU time (s) 2141.95
Current children cumulated vsize (KiB) 2887392

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24872
/proc/meminfo: memFree=28485736/32770624 swapFree=0/478476
[pid=24586] ppid=24583 vsize=2892540 CPUtime=2201.96 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8588062 0 0 0 219729 467 0 0 20 0 1 0 37380114 2961960960 716797 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4249751 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 723135 716797 697 782 0 716151 0
Current children cumulated CPU time (s) 2201.96
Current children cumulated vsize (KiB) 2892540

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24874
/proc/meminfo: memFree=28482720/32770624 swapFree=0/478464
[pid=24586] ppid=24583 vsize=2895584 CPUtime=2261.95 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8619801 0 0 0 225727 468 0 0 20 0 1 0 37380114 2965078016 717566 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5792030 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 723896 717566 697 782 0 716912 0
Current children cumulated CPU time (s) 2261.95
Current children cumulated vsize (KiB) 2895584

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24876
/proc/meminfo: memFree=28477272/32770624 swapFree=0/478480
[pid=24586] ppid=24583 vsize=2900996 CPUtime=2321.96 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8639518 0 0 0 231726 470 0 0 20 0 1 0 37380114 2970619904 718852 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4249696 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 725249 718852 697 782 0 718265 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 2900996

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24878
/proc/meminfo: memFree=28472312/32770624 swapFree=0/478488
[pid=24586] ppid=24583 vsize=2906012 CPUtime=2381.96 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8660380 0 0 0 237725 471 0 0 20 0 1 0 37380114 2975756288 720102 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5772915 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 726503 720102 697 782 0 719519 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 2906012

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24880
/proc/meminfo: memFree=28467732/32770624 swapFree=0/478496
[pid=24586] ppid=24583 vsize=2910104 CPUtime=2441.97 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8680238 0 0 0 243725 472 0 0 20 0 1 0 37380114 2979946496 721170 18446744073709551615 4194304 7396336 140733791632432 140733791626968 4249488 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 727526 721170 697 782 0 720542 0
Current children cumulated CPU time (s) 2441.97
Current children cumulated vsize (KiB) 2910104

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 24896
/proc/meminfo: memFree=28460624/32770624 swapFree=0/478536
[pid=24586] ppid=24583 vsize=2913536 CPUtime=2501.98 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8703640 0 0 0 249724 474 0 0 20 0 1 0 37380114 2983460864 722058 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5771317 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 728384 722058 697 782 0 721400 0
Current children cumulated CPU time (s) 2501.98
Current children cumulated vsize (KiB) 2913536



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.08 2.03 2.05 3/183 24896
/proc/meminfo: memFree=28460648/32770624 swapFree=0/478532
[pid=24586] ppid=24583 vsize=2914064 CPUtime=2519.68 cores=0,2,4,6
/proc/24586/stat : 24586 (MistralXCSP) R 24583 24586 4057 0 -1 4202496 8704359 0 0 0 251494 474 0 0 20 0 1 0 37380114 2984001536 722174 18446744073709551615 4194304 7396336 140733791632432 140733791626968 5772880 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 25452544 140733791637939 140733791638089 140733791638089 140733791641545 0
/proc/24586/statm: 728516 722174 697 782 0 721532 0
Current children cumulated CPU time (s) 2519.68
Current children cumulated vsize (KiB) 2914064

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24586 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520.02
CPU time (s): 2519.7
CPU user time (s): 2514.94
CPU system time (s): 4.75732
CPU usage (%): 99.9875
Max. virtual memory (cumulated for all children) (KiB): 2914064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.94
system time used= 4.75732
maximum resident set size= 2888764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8704454
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= 711
involuntary context switches= 1683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22953 second user time and 10.1924 second system time

The end

Begin job on node125 at 2017-08-10 09:39:08
IDJOB=4261064
IDBENCH=123023
IDSOLVER=2649
FILE ID=node125/4261064-1502351593
RUNJOBID= node125-1502331121-20547
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.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-4261064-1502351593/watcher-4261064-1502351593 -o /tmp/evaluation-result-4261064-1502351593/solver-4261064-1502351593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1433805865 HOME/instance-4261064-1502351593.xml

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

MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250
RANDOM SEED=1433805865

node125.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.07
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.07
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.07
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.07
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:        31344428 kB
MemAvailable:   31979156 kB
Buffers:          224848 kB
Cached:           702928 kB
SwapCached:            0 kB
Active:           508388 kB
Inactive:         502484 kB
Active(anon):      83712 kB
Inactive(anon):    24908 kB
Active(file):     424676 kB
Inactive(file):   477576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6068 kB
Writeback:             0 kB
AnonPages:         83408 kB
Mapped:            39984 kB
Shmem:             25252 kB
Slab:             121528 kB
SReclaimable:      96624 kB
SUnreclaim:        24904 kB
KernelStack:        3216 kB
PageTables:         5324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     345680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node125 at 2017-08-10 10:21:09