0.00/0.00	c Mistral-2017-06-28
8.48/8.52	o 7812582
8.58/8.60	o 7806001
8.68/8.71	o 7786081
9.28/9.35	o 7767402
16.58/16.61	o 7759493
16.98/17.08	o 7753977
24.38/24.45	o 7731495
24.48/24.54	o 7730868
24.78/24.84	o 7719097
24.98/25.04	o 7711514
25.18/25.30	o 7702704
32.46/32.54	o 7692082
32.56/32.68	o 7688786
32.77/32.83	o 7687866
32.87/32.92	o 7683030
33.27/33.36	o 7674750
33.77/33.84	o 7674490
35.56/35.66	o 7671669
35.76/35.85	o 7671402
35.96/36.01	o 7671310
43.16/43.26	o 7665316
43.26/43.39	o 7636722
44.16/44.26	o 7614184
50.86/50.94	o 7602426
50.96/51.08	o 7593481
51.06/51.15	o 7592163
68.04/68.16	o 7588841
69.35/69.48	o 7579869
70.74/70.80	o 7578061
71.74/71.86	o 7571542
82.93/83.04	o 7562635
84.03/84.15	o 7560456
84.13/84.26	o 7559443
91.42/91.56	o 7559045
92.02/92.18	o 7557500
98.12/98.21	o 7553921
100.52/100.64	o 7553722
101.52/101.68	o 7552803
108.12/108.24	o 7550239
108.42/108.55	o 7544201
116.31/116.42	o 7541552
124.10/124.24	o 7530352
126.60/126.74	o 7527107
133.60/133.70	o 7519497
136.10/136.20	o 7508101
146.98/147.15	o 7504234
147.18/147.34	o 7502384
147.68/147.81	o 7501303
149.87/150.00	o 7499618
149.97/150.10	o 7496448
150.07/150.20	o 7494439
150.27/150.42	o 7494154
150.37/150.52	o 7492023
150.68/150.80	o 7485428
169.37/169.53	o 7485149
169.46/169.61	o 7477393
169.66/169.81	o 7469996
169.76/169.97	o 7465447
177.16/177.31	o 7451011
231.21/231.42	o 7449294
238.21/238.44	o 7445414
238.71/238.90	o 7435150
239.21/239.41	o 7422950
245.80/246.06	o 7415110
246.00/246.21	o 7407490
246.50/246.75	o 7406165
246.60/246.88	o 7405241
246.90/247.11	o 7404312
247.80/248.01	o 7403548
247.90/248.17	o 7400282
248.00/248.27	o 7398937
248.20/248.44	o 7398333
249.10/249.37	o 7383258
249.20/249.46	o 7376034
256.29/256.54	o 7367350
264.28/264.50	o 7365381
271.88/272.16	o 7362119
282.57/282.85	o 7354238
295.68/295.92	o 7348860
314.06/314.36	o 7339746
362.02/362.34	o 7334449
364.21/364.54	o 7333965
364.31/364.69	o 7331519
364.51/364.83	o 7322414
395.59/395.96	o 7318460
414.27/414.60	o 7304846
421.46/421.81	o 7297245
423.66/424.03	o 7295235
456.43/456.80	o 7291696
479.61/480.03	o 7291617
486.50/486.99	o 7291419
524.28/524.74	o 7290773
524.48/524.90	o 7288622
525.18/525.63	o 7287441
575.12/575.60	o 7285975
582.32/582.85	o 7277711
593.02/593.53	o 7276817
615.40/615.93	o 7275445
615.70/616.21	o 7274790
622.60/623.16	o 7273635
725.01/725.63	o 7260685
725.42/726.07	o 7254306
727.31/727.98	o 7241510
775.37/776.02	o 7234359
775.87/776.53	o 7228044
804.75/805.41	o 7225051
806.85/807.59	o 7222240
837.02/837.79	o 7221448
879.48/880.27	o 7209955
1062.05/1062.98	o 7208320
1131.88/1132.85	o 7205397
1138.48/1139.47	o 7203674
1167.45/1168.40	o 7203080
1169.46/1170.45	o 7201038
1221.02/1222.07	o 7198335
1245.60/1246.68	o 7191776
1416.05/1417.10	o 7190035
1481.70/1482.89	o 7189020
1513.18/1514.38	o 7188838
1571.44/1572.62	o 7187186
1643.71/1644.95	o 7184025
1649.71/1650.92	o 7182801
1695.20/1696.49	o 7168127
1738.87/1740.17	o 7162206
1899.00/1900.39	o 7155317
1983.67/1985.02	o 7153925
2160.19/2161.63	o 7151679
2222.36/2223.85	o 7148317
2223.36/2224.80	o 7148062
2234.66/2236.12	o 7140259
2354.60/2356.17	o 7136293
2400.08/2401.60	s SATISFIABLE
2400.08/2401.60	v <instantiation type="solution">
2400.08/2401.60	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>
2400.08/2401.60	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 26 69 79 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 12 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 40 41 81 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 42 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 9 67 66 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 43 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 73 55 43 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 78 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 91 2 58 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 44 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 15 63 89 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 56 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 2 70 92 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 83 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 13 5 58 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 79 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 39 6 50 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 48 81 35 53 88 46 22 32 11 92 16 * * * * * * * * * 57 45 89 2 65 12 29 25 2 8 11 69 62 99 21 * 19 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 17 17 80 43 67 84 46 63 7 26 81 * * * * * * * * * * 34 83 96 37 92 2 13 90 44 81 27 40 42 24 7 74 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 32 33 28 10 85 55 1 28 3 17 10 * * * * * * * * * * * 14 82 18 56 * 89 7 65 13 72 77 28 56 85 99 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 26 96 42 2 54 33 77 57 54 96 39 * * * * * * * * * * * * 72 15 32 99 26 53 72 62 94 0 77 71 59 25 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 29 77 74 60 46 96 56 63 15 22 90 * * * * * * * * * * * * * 70 68 11 93 67 9 26 94 34 37 21 40 87 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 37 1 21 66 1 26 20 93 87 93 79 * * * * * * * * * * * * * * 15 84 60 6 39 31 90 99 76 41 82 52 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 18 95 10 15 33 15 39 20 11 20 12 * * * * * * * * * * * * * * * 66 66 30 33 10 48 80 62 97 70 92 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 71 75 89 7 58 27 91 28 98 46 32 * * * * * * * * * * * * * * * * 87 56 87 48 17 26 3 12 61 28 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 31 17 65 40 17 53 99 2 42 89 97 * * * * * * * * * * * * * * * * * 99 69 9 67 78 78 87 30 22 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 66 42 79 12 16 36 61 68 87 89 51 * * * * * * * * * * * * * * * * * * 52 43 39 81 80 71 27 60 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 50 58 18 53 12 37 53 1 23 21 33 * * * * * * * * * * * * * * * * * * * 49 3 64 60 90 64 73 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 96 28 88 96 74 98 72 30 37 76 83 * * * * * * * * * * * * * * * * * * * * 54 55 40 23 57 43 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 55 22 38 66 66 88 58 32 3 90 1 * * * * * * * * * * * * * * * * * * * * * 98 46 41 2 79 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 31 26 87 5 67 5 60 24 15 91 92 * * * * * * * * * * * * * * * * * * * * * * 53 47 33 83 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 49 27 54 22 99 45 57 15 36 26 37 * * * * * * * * * * * * * * * * * * * * * * * 12 60 43 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 18 5 94 21 70 31 21 64 21 34 75 * * * * * * * * * * * * * * * * * * * * * * * * 71 39 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 2 87 31 48 35 49 68 35 13 7 1 * * * * * * * * * * * * * * * * * * * * * * * * * 81 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 53 57 64 50 20 91 73 45 2 60 9 * * * * * * * * * * * * * * * * * * * * * * * * * * 71 64 3 12 34 9 13 89 17 88 27 22 16 55 56 70 11 61 30 19 93 56 24 24 20 44 55 50 61 67 60 94 30 47 29 68 69 54 53 96 85 15 12 63 21 28 51 82 3 71 23 45 76 84 * * * * * * * * * * * * * * * * * * * * * * * * * * * 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 35 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 38 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 43 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 44 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 32 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 35 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 59 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 91 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 26 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 99 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 63 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 33 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 97 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 7 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 87 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 2 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 13 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 98 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 48 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 91 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 36 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 81 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 37 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 53 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 87 58 48 84 91 85 99 20 14 80 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 85 66 26 44 84 5 41 19 78 52 92 22 82 * 21 43 18 54 46 10 24 44 85 49 52 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 91 61 45 48 42 70 73 76 13 44 9 39 45 69 17 11 14 41 73 4 44 48 54 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 49 5 73 29 92 59 18 26 5 37 12 69 99 73 2 98 87 48 12 99 52 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 76 86 26 41 33 56 28 43 42 43 41 68 3 20 * 3 9 78 70 66 27 22 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 36 24 66 19 14 17 29 9 68 46 19 20 45 11 29 80 5 93 82 92 62 53 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 27 17 55 79 91 43 83 64 83 14 69 24 24 75 7 68 61 17 70 74 68 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 26 49 35 37 63 89 35 49 91 16 54 35 59 4 99 73 67 41 17 84 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 84 55 83 76 74 92 91 53 28 57 99 8 73 82 87 48 84 70 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 98 30 32 37 33 25 9 13 98 16 24 48 33 48 87 92 80 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 58 69 95 9 72 66 89 12 88 85 57 63 6 9 79 90 62 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 40 89 12 80 61 12 95 75 84 13 15 0 28 4 3 67 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 78 58 33 86 3 31 76 59 18 72 64 29 35 92 34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 46 19 81 30 14 92 10 10 12 53 44 86 64 46 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 8 74 62 6 54 19 22 40 64 10 10 8 22 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 15 52 3 13 91 36 74 33 15 14 75 84 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 87 * 27 92 85 78 87 32 54 67 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 71 52 60 48 23 97 93 * 26 72 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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>
2400.08/2401.60	v </instantiation>

OK	7136293

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-4240507-1500640635/watcher-4240507-1500640635 -o /tmp/evaluation-result-4240507-1500640635/solver-4240507-1500640635 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500623787-4824 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 769142509 HOME/instance-4240507-1500640635.xml 

pid=7773
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 7776
/proc/meminfo: memFree=31613000/32770624 swapFree=6196/270964
[pid=7776] ppid=7773 vsize=28804 CPUtime=0 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 971 0 0 0 0 0 0 0 20 0 1 0 18816245 29495296 802 33554432000 4194304 7402444 140732277286592 140732277283640 140209523223525 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 7201 802 618 784 0 215 0

[startup+0.100166 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 7776
/proc/meminfo: memFree=31613000/32770624 swapFree=6196/270964
[pid=7776] ppid=7773 vsize=36316 CPUtime=0.09 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 2955 0 0 0 9 0 0 0 20 0 1 0 18816245 37187584 2652 33554432000 4194304 7402444 140732277286592 140732277279832 6133009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 9079 2652 649 784 0 2093 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36316

[startup+0.200352 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 7776
/proc/meminfo: memFree=31613000/32770624 swapFree=6196/270964
[pid=7776] ppid=7773 vsize=69008 CPUtime=0.19 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 11105 0 0 0 18 1 0 0 20 0 1 0 18816245 70664192 10836 33554432000 4194304 7402444 140732277286592 140732277277928 5754189 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 17252 10836 664 784 0 10266 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69008

[startup+0.300343 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 7776
/proc/meminfo: memFree=31613000/32770624 swapFree=6196/270964
[pid=7776] ppid=7773 vsize=128336 CPUtime=0.29 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 25943 0 0 0 27 2 0 0 20 0 1 0 18816245 131416064 25686 33554432000 4194304 7402444 140732277286592 140732277277928 140209523223525 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 32084 25686 664 784 0 25098 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 128336

[startup+0.70029 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 7776
/proc/meminfo: memFree=31613000/32770624 swapFree=6196/270964
[pid=7776] ppid=7773 vsize=366680 CPUtime=0.68 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 85550 0 0 0 61 7 0 0 20 0 1 0 18816245 375480320 85284 33554432000 4194304 7402444 140732277286592 140732277277928 140209523223525 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 91703 85284 664 784 0 84717 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 366680

[startup+1.50027 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 7777
/proc/meminfo: memFree=31035632/32770624 swapFree=6196/270988
[pid=7776] ppid=7773 vsize=842172 CPUtime=1.49 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 204407 0 0 0 129 20 0 0 20 0 1 0 18816245 862384128 204150 33554432000 4194304 7402444 140732277286592 140732277278104 140209523223525 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 210543 204150 664 784 0 203557 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 842172

[startup+3.10025 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 7777
/proc/meminfo: memFree=30380788/32770624 swapFree=6196/270988
[pid=7776] ppid=7773 vsize=1736444 CPUtime=3.08 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 429090 0 0 0 264 44 0 0 20 0 1 0 18816245 1778118656 427734 33554432000 4194304 7402444 140732277286592 140732277278824 5910852 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 434111 427734 664 784 0 427125 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1736444

[startup+6.30029 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 7777
/proc/meminfo: memFree=29700900/32770624 swapFree=6196/270996
[pid=7776] ppid=7773 vsize=2324300 CPUtime=6.28 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 839870 0 0 0 554 74 0 0 20 0 1 0 18816245 2380083200 574724 33554432000 4194304 7402444 140732277286592 140732277280904 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 581075 574724 704 784 0 574089 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 2324300

[startup+12.7003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 7777
/proc/meminfo: memFree=29305676/32770624 swapFree=6196/271000
[pid=7776] ppid=7773 vsize=2339144 CPUtime=12.68 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 1244152 0 0 0 1175 93 0 0 20 0 1 0 18816245 2395283456 578475 33554432000 4194304 7402444 140732277286592 140732277281128 4484665 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 584786 578475 712 784 0 577800 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2339144

[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 7777
/proc/meminfo: memFree=29152412/32770624 swapFree=6196/271016
[pid=7776] ppid=7773 vsize=2483440 CPUtime=25.48 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 1609897 0 0 0 2438 110 0 0 20 0 1 0 18816245 2543042560 614517 33554432000 4194304 7402444 140732277286592 140732277281608 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 620860 614517 712 784 0 613874 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2483440

[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/191 7798
/proc/meminfo: memFree=29104724/32770624 swapFree=6196/271040
[pid=7776] ppid=7773 vsize=2531752 CPUtime=51.06 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 2151536 0 0 0 4971 135 0 0 20 0 1 0 18816245 2592514048 626585 33554432000 4194304 7402444 140732277286592 140732277281608 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 632938 626585 712 784 0 625952 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 2531752

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 7800
/proc/meminfo: memFree=29076176/32770624 swapFree=6196/271104
[pid=7776] ppid=7773 vsize=2560280 CPUtime=102.22 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 2626133 0 0 0 10065 157 0 0 20 0 1 0 18816245 2621726720 633729 33554432000 4194304 7402444 140732277286592 140732277281608 4342254 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 640070 633729 712 784 0 633084 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 2560280

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/187 7801
/proc/meminfo: memFree=29057732/32770624 swapFree=6196/271176
[pid=7776] ppid=7773 vsize=2578636 CPUtime=162.17 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 3030315 0 0 0 16043 174 0 0 20 0 1 0 18816245 2640523264 638316 33554432000 4194304 7402444 140732277286592 140732277281128 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 644659 638316 712 784 0 637673 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 2578636

[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.05 3/188 7810
/proc/meminfo: memFree=29035524/32770624 swapFree=6196/271228
[pid=7776] ppid=7773 vsize=2601232 CPUtime=222.12 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 3481728 0 0 0 22019 193 0 0 20 0 1 0 18816245 2663661568 643915 33554432000 4194304 7402444 140732277286592 140732277281128 5750448 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 650308 643915 712 784 0 643322 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 2601232

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 7811
/proc/meminfo: memFree=29017284/32770624 swapFree=6196/271296
[pid=7776] ppid=7773 vsize=2619588 CPUtime=282.07 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 3888610 0 0 0 27994 213 0 0 20 0 1 0 18816245 2682458112 648530 33554432000 4194304 7402444 140732277286592 140732277281128 4465423 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 654897 648530 712 784 0 647911 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 2619588

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7812
/proc/meminfo: memFree=29007592/32770624 swapFree=6196/271352
[pid=7776] ppid=7773 vsize=2629224 CPUtime=342.03 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 4126051 0 0 0 33979 224 0 0 20 0 1 0 18816245 2692325376 650986 33554432000 4194304 7402444 140732277286592 140732277281128 4712978 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 657306 650986 712 784 0 650320 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 2629224

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7813
/proc/meminfo: memFree=28986848/32770624 swapFree=6196/271388
[pid=7776] ppid=7773 vsize=2649572 CPUtime=401.98 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 4654343 0 0 0 39948 250 0 0 20 0 1 0 18816245 2713161728 656053 33554432000 4194304 7402444 140732277286592 140732277281128 4712981 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 662393 656053 712 784 0 655407 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 2649572

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 7814
/proc/meminfo: memFree=28969348/32770624 swapFree=6196/271444
[pid=7776] ppid=7773 vsize=2667128 CPUtime=461.93 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 5014071 0 0 0 45927 266 0 0 20 0 1 0 18816245 2731139072 660443 33554432000 4194304 7402444 140732277286592 140732277281128 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 666782 660443 712 784 0 659796 0
Current children cumulated CPU time (s) 461.93
Current children cumulated vsize (KiB) 2667128

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 7815
/proc/meminfo: memFree=28954948/32770624 swapFree=6196/271496
[pid=7776] ppid=7773 vsize=2681252 CPUtime=521.87 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 5354542 0 0 0 51908 279 0 0 20 0 1 0 18816245 2745602048 663986 33554432000 4194304 7402444 140732277286592 140732277281128 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 670313 663986 712 784 0 663327 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 2681252

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7816
/proc/meminfo: memFree=28938920/32770624 swapFree=6196/271524
[pid=7776] ppid=7773 vsize=2697092 CPUtime=581.82 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 5680556 0 0 0 57886 296 0 0 20 0 1 0 18816245 2761822208 667953 33554432000 4194304 7402444 140732277286592 140732277281608 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 674273 667953 712 784 0 667287 0
Current children cumulated CPU time (s) 581.82
Current children cumulated vsize (KiB) 2697092


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 7932
/proc/meminfo: memFree=28422632/32770624 swapFree=6196/272176
[pid=7776] ppid=7773 vsize=2824684 CPUtime=1481.2 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8255628 0 0 0 147699 421 0 0 20 0 1 0 18816245 2892476416 699852 33554432000 4194304 7402444 140732277286592 140732277281128 4484480 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 706171 699852 712 784 0 699185 0
Current children cumulated CPU time (s) 1481.2
Current children cumulated vsize (KiB) 2824684

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 7934
/proc/meminfo: memFree=28416460/32770624 swapFree=6196/272220
[pid=7776] ppid=7773 vsize=2831560 CPUtime=1541.17 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8267472 0 0 0 153695 422 0 0 20 0 1 0 18816245 2899517440 701577 33554432000 4194304 7402444 140732277286592 140732277281128 4463905 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 707890 701577 712 784 0 700904 0
Current children cumulated CPU time (s) 1541.17
Current children cumulated vsize (KiB) 2831560

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/190 7934
/proc/meminfo: memFree=28409280/32770624 swapFree=6196/272260
[pid=7776] ppid=7773 vsize=2838556 CPUtime=1601.13 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8272084 0 0 0 159690 423 0 0 20 0 1 0 18816245 2906681344 703318 33554432000 4194304 7402444 140732277286592 140732277281128 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 709639 703318 712 784 0 702653 0
Current children cumulated CPU time (s) 1601.13
Current children cumulated vsize (KiB) 2838556

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/190 7936
/proc/meminfo: memFree=28403064/32770624 swapFree=6196/272292
[pid=7776] ppid=7773 vsize=2845156 CPUtime=1661.1 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8276912 0 0 0 165687 423 0 0 20 0 1 0 18816245 2913439744 704960 33554432000 4194304 7402444 140732277286592 140732277281128 5750704 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 711289 704960 712 784 0 704303 0
Current children cumulated CPU time (s) 1661.1
Current children cumulated vsize (KiB) 2845156

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/189 7936
/proc/meminfo: memFree=28397308/32770624 swapFree=6196/272332
[pid=7776] ppid=7773 vsize=2851232 CPUtime=1721.08 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8284002 0 0 0 171684 424 0 0 20 0 1 0 18816245 2919661568 706483 33554432000 4194304 7402444 140732277286592 140732277281128 4466958 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 712808 706483 712 784 0 705822 0
Current children cumulated CPU time (s) 1721.08
Current children cumulated vsize (KiB) 2851232

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 7937
/proc/meminfo: memFree=28387616/32770624 swapFree=6196/272372
[pid=7776] ppid=7773 vsize=2857832 CPUtime=1781.05 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8292741 0 0 0 177680 425 0 0 20 0 1 0 18816245 2926419968 708134 33554432000 4194304 7402444 140732277286592 140732277281128 4465423 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 714458 708134 712 784 0 707472 0
Current children cumulated CPU time (s) 1781.05
Current children cumulated vsize (KiB) 2857832

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7938
/proc/meminfo: memFree=28383328/32770624 swapFree=6196/272408
[pid=7776] ppid=7773 vsize=2863772 CPUtime=1841.02 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8310842 0 0 0 183676 426 0 0 20 0 1 0 18816245 2932502528 709628 33554432000 4194304 7402444 140732277286592 140732277281128 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 715943 709628 712 784 0 708957 0
Current children cumulated CPU time (s) 1841.02
Current children cumulated vsize (KiB) 2863772

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7939
/proc/meminfo: memFree=28376708/32770624 swapFree=6196/272436
[pid=7776] ppid=7773 vsize=2869580 CPUtime=1901 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8314707 0 0 0 189673 427 0 0 20 0 1 0 18816245 2938449920 711066 33554432000 4194304 7402444 140732277286592 140732277281608 4466912 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 717395 711066 712 784 0 710409 0
Current children cumulated CPU time (s) 1901
Current children cumulated vsize (KiB) 2869580

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7940
/proc/meminfo: memFree=28374956/32770624 swapFree=6196/272468
[pid=7776] ppid=7773 vsize=2872220 CPUtime=1960.98 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8327399 0 0 0 195670 428 0 0 20 0 1 0 18816245 2941153280 711740 33554432000 4194304 7402444 140732277286592 140732277281128 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 718055 711740 712 784 0 711069 0
Current children cumulated CPU time (s) 1960.98
Current children cumulated vsize (KiB) 2872220

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7948
/proc/meminfo: memFree=28368240/32770624 swapFree=6196/272512
[pid=7776] ppid=7773 vsize=2876048 CPUtime=2020.95 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8351529 0 0 0 201666 429 0 0 20 0 1 0 18816245 2945073152 712681 33554432000 4194304 7402444 140732277286592 140732277281128 5817959 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 719012 712681 712 784 0 712026 0
Current children cumulated CPU time (s) 2020.95
Current children cumulated vsize (KiB) 2876048

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7949
/proc/meminfo: memFree=28362952/32770624 swapFree=6196/272540
[pid=7776] ppid=7773 vsize=2881592 CPUtime=2080.93 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8355220 0 0 0 207663 430 0 0 20 0 1 0 18816245 2950750208 714076 33554432000 4194304 7402444 140732277286592 140732277281128 4463889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 720398 714076 712 784 0 713412 0
Current children cumulated CPU time (s) 2080.93
Current children cumulated vsize (KiB) 2881592

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7950
/proc/meminfo: memFree=28358408/32770624 swapFree=6196/272580
[pid=7776] ppid=7773 vsize=2886344 CPUtime=2140.89 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8382313 0 0 0 213658 431 0 0 20 0 1 0 18816245 2955616256 715261 33554432000 4194304 7402444 140732277286592 140732277281128 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 721586 715261 712 784 0 714600 0
Current children cumulated CPU time (s) 2140.89
Current children cumulated vsize (KiB) 2886344

[startup+2202.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 7951
/proc/meminfo: memFree=28353860/32770624 swapFree=6196/272620
[pid=7776] ppid=7773 vsize=2891096 CPUtime=2200.88 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8388104 0 0 0 219656 432 0 0 20 0 1 0 18816245 2960482304 716440 33554432000 4194304 7402444 140732277286592 140732277281128 4463919 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 722774 716440 712 784 0 715788 0
Current children cumulated CPU time (s) 2200.88
Current children cumulated vsize (KiB) 2891096

[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 7952
/proc/meminfo: memFree=28350672/32770624 swapFree=6196/272660
[pid=7776] ppid=7773 vsize=2894536 CPUtime=2260.84 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8420790 0 0 0 225651 433 0 0 20 0 1 0 18816245 2964004864 717313 33554432000 4194304 7402444 140732277286592 140732277281128 4484665 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 723634 717313 712 784 0 716648 0
Current children cumulated CPU time (s) 2260.84
Current children cumulated vsize (KiB) 2894536

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7953
/proc/meminfo: memFree=28345864/32770624 swapFree=6196/272692
[pid=7776] ppid=7773 vsize=2899420 CPUtime=2320.82 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8436456 0 0 0 231648 434 0 0 20 0 1 0 18816245 2969006080 718520 33554432000 4194304 7402444 140732277286592 140732277281128 4484660 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 724855 718520 712 784 0 717869 0
Current children cumulated CPU time (s) 2320.82
Current children cumulated vsize (KiB) 2899420

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7954
/proc/meminfo: memFree=28340804/32770624 swapFree=6196/272728
[pid=7776] ppid=7773 vsize=2904436 CPUtime=2380.8 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8452991 0 0 0 237644 436 0 0 20 0 1 0 18816245 2974142464 719775 33554432000 4194304 7402444 140732277286592 140732277281128 4484660 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 726109 719775 712 784 0 719123 0
Current children cumulated CPU time (s) 2380.8
Current children cumulated vsize (KiB) 2904436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7955
/proc/meminfo: memFree=28339096/32770624 swapFree=6196/272756
[pid=7776] ppid=7773 vsize=2906020 CPUtime=2400.08 cores=1,3,5,7
/proc/7776/stat : 7776 (MistralXCSP) R 7773 7776 4792 0 -1 4202496 8465336 0 0 0 239572 436 0 0 20 0 1 0 18816245 2975764480 720169 33554432000 4194304 7402444 140732277286592 140732277281128 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 32686080 140732277294249 140732277294398 140732277294398 140732277297097 0
/proc/7776/statm: 726505 720169 712 784 0 719519 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 2906020

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 7776 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2401.62
CPU time (s): 2400.11
CPU user time (s): 2395.73
CPU system time (s): 4.38111
CPU usage (%): 99.9372
Max. virtual memory (cumulated for all children) (KiB): 2906020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.73
system time used= 4.38111
maximum resident set size= 2880708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8465420
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= 691
involuntary context switches= 121432

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.39584 second user time and 10.8795 second system time

The end

Begin job on node114 at 2017-07-21 14:37:15
IDJOB=4240507
IDBENCH=123023
IDSOLVER=2622
FILE ID=node114/4240507-1500640635
RUNJOBID= node114-1500623787-4824
PBS_JOBID= 20623017
Free space on /tmp= 62016 MiB

SOLVER NAME= Mistral-2.0 2017-06-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-4240507-1500640635/watcher-4240507-1500640635 -o /tmp/evaluation-result-4240507-1500640635/solver-4240507-1500640635 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500623787-4824 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 769142509 HOME/instance-4240507-1500640635.xml

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

MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250
RANDOM SEED=769142509

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

/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		: 1600.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.82
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		: 1600.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		: 1600.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.82
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		: 2133.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.82
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		: 1733.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		: 1600.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.82
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		: 1867.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:        31613596 kB
MemAvailable:   32004240 kB
Buffers:          162508 kB
Cached:           516548 kB
SwapCached:            0 kB
Active:           448740 kB
Inactive:         288260 kB
Active(anon):      60508 kB
Inactive(anon):    17036 kB
Active(file):     388232 kB
Inactive(file):   271224 kB
Unevictable:        6196 kB
Mlocked:            6196 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5984 kB
Writeback:             0 kB
AnonPages:         63652 kB
Mapped:            34628 kB
Shmem:             17040 kB
Slab:             119480 kB
SReclaimable:      94048 kB
SUnreclaim:        25432 kB
KernelStack:        3312 kB
PageTables:         4840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     336412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62012 MiB
End job on node114 at 2017-07-21 15:17:16