0.00/0.00	c Mistral-2017-06-28
6.28/6.31	o 53491
6.49/6.55	o 53481
6.79/6.89	o 53463
11.48/11.51	o 53459
11.58/11.67	o 53425
11.68/11.79	o 53373
11.78/11.86	o 53369
12.18/12.28	o 53209
16.38/16.45	o 53153
16.58/16.68	o 53053
16.88/16.99	o 52957
24.47/24.52	o 52956
27.97/28.06	o 52942
28.07/28.17	o 52940
28.17/28.27	o 52938
28.27/28.36	o 52926
28.86/28.95	o 52922
29.26/29.39	o 52904
29.46/29.50	o 52892
33.26/33.30	o 52840
33.26/33.39	o 52810
38.16/38.28	o 52679
38.37/38.41	o 52657
38.47/38.50	o 52633
38.57/38.67	o 52582
39.16/39.25	o 52560
40.96/41.01	o 52558
46.26/46.37	o 52520
47.26/47.39	o 52494
49.55/49.62	o 52446
55.65/55.71	o 52388
60.05/60.15	o 52384
60.25/60.33	o 52313
60.35/60.42	o 52259
60.75/60.80	o 52225
60.85/60.90	o 52187
60.95/61.00	o 52129
65.34/65.42	o 52073
66.14/66.23	o 52053
67.54/67.67	o 52047
72.03/72.16	o 52041
77.13/77.27	o 51959
81.83/81.99	o 51937
82.33/82.48	o 51925
88.72/88.82	o 51912
89.13/89.23	o 51863
98.41/98.58	o 51823
98.61/98.78	o 51741
115.00/115.10	o 51673
119.60/119.70	o 51649
124.79/124.94	o 51621
126.19/126.31	o 51554
131.39/131.55	o 51526
135.08/135.22	o 51374
135.48/135.67	o 51338
135.78/135.95	o 51326
145.57/145.79	o 51320
147.67/147.80	o 51248
147.67/147.89	o 51218
147.77/147.95	o 51126
148.17/148.31	o 51120
155.57/155.76	o 50908
160.16/160.34	o 50880
165.25/165.45	o 50846
175.64/175.85	o 50815
175.95/176.12	o 50795
180.44/180.64	o 50773
186.63/186.89	o 50771
186.73/186.97	o 50747
186.94/187.13	o 50693
188.93/189.20	o 50679
197.03/197.22	o 50667
202.53/202.78	o 50644
209.32/209.55	o 50619
210.02/210.23	o 50586
213.41/213.68	o 50524
213.61/213.86	o 50490
213.81/214.02	o 50434
241.40/241.61	o 50408
246.19/246.44	o 50353
246.69/246.92	o 50335
250.99/251.22	o 50289
256.48/256.78	o 50282
256.78/257.02	o 50269
256.88/257.12	o 50175
261.28/261.52	o 50171
272.37/272.67	o 50159
275.46/275.75	o 50141
281.15/281.46	o 50121
296.34/296.62	o 50117
305.64/305.93	o 50049
311.63/311.94	o 50047
311.73/312.02	o 50027
312.23/312.51	o 50024
312.93/313.20	o 50014
321.91/322.25	o 49988
341.81/342.16	o 49936
342.00/342.35	o 49930
342.20/342.53	o 49922
346.69/347.08	o 49914
362.38/362.76	o 49888
367.77/368.14	o 49844
368.07/368.48	o 49824
368.97/369.37	o 49802
376.66/377.02	o 49694
376.66/377.10	o 49651
376.86/377.24	o 49527
376.97/377.36	o 49522
385.66/386.05	o 49508
406.34/406.74	o 49497
406.54/406.99	o 49483
406.74/407.17	o 49473
408.54/408.90	o 49471
410.53/410.92	o 49464
416.73/417.18	o 49384
418.63/419.01	o 49365
509.35/509.89	o 49295
509.45/509.96	o 49293
535.34/535.83	o 49285
540.52/541.02	o 49253
548.91/549.47	o 49237
553.21/553.79	o 49161
557.41/557.94	o 49137
572.10/572.70	o 49131
572.60/573.19	o 49122
573.99/574.55	o 49108
607.16/607.75	o 49074
621.06/621.65	o 49068
621.15/621.75	o 49051
625.94/626.52	o 48981
627.65/628.26	o 48968
627.74/628.34	o 48922
627.94/628.50	o 48914
632.34/632.95	o 48880
640.53/641.12	o 48868
640.74/641.31	o 48862
641.03/641.63	o 48850
645.53/646.14	o 48834
651.23/651.80	o 48814
655.32/655.98	o 48758
659.72/660.38	o 48724
664.61/665.28	o 48710
665.11/665.72	o 48697
665.21/665.85	o 48657
665.31/665.97	o 48646
672.51/673.11	o 48642
680.41/681.04	o 48542
722.47/723.16	o 48538
727.67/728.31	o 48534
737.47/738.17	o 48380
780.03/780.78	o 48352
810.30/811.09	o 48322
828.89/829.66	o 48222
833.88/834.63	o 48204
834.08/834.85	o 48183
835.18/835.91	o 48151
856.17/856.92	o 48144
862.16/862.93	o 48136
862.36/863.18	o 48126
870.56/871.34	o 48120
925.60/926.49	o 48118
983.76/984.64	o 48083
1083.18/1084.15	o 48067
1120.84/1121.82	o 48060
1130.24/1131.24	o 48018
1134.73/1135.78	o 48017
1143.83/1144.84	o 47975
1144.53/1145.50	o 47955
1185.09/1186.17	o 47923
1194.28/1195.33	o 47908
1198.87/1199.99	o 47856
1213.47/1214.55	o 47828
1273.61/1274.78	o 47824
1292.19/1293.34	o 47822
1306.48/1307.63	o 47817
1328.66/1329.82	o 47809
1446.36/1447.64	o 47787
1457.95/1459.23	o 47760
1530.09/1531.43	o 47744
1531.19/1532.54	o 47740
1538.49/1539.88	o 47734
1563.77/1565.19	o 47722
1581.17/1582.54	o 47706
1616.34/1617.71	o 47684
1620.63/1622.01	o 47672
1630.63/1632.03	o 47664
1652.91/1654.36	o 47633
1689.29/1690.72	o 47605
1729.15/1730.63	o 47591
1729.45/1730.98	o 47589
1805.70/1807.24	o 47587
1826.98/1828.54	o 47582
1838.38/1839.90	o 47576
1861.36/1862.98	o 47559
1891.24/1892.83	o 47538
1906.23/1907.84	o 47532
2213.20/2215.08	o 47527
2257.47/2259.37	o 47486
2284.55/2286.41	o 47480
2300.84/2302.70	o 47464
2327.92/2329.85	o 47436
2328.32/2330.29	o 47406
2377.09/2379.03	o 47389
2400.07/2402.00	s SATISFIABLE
2400.07/2402.00	v <instantiation type="solution">
2400.07/2402.00	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][50] d[0][51] d[0][52] d[0][53] d[0][54] d[0][55] d[0][56] d[0][57] d[0][58] d[0][59] d[0][60] d[0][61] d[0][62] d[0][63] d[0][64] d[0][65] d[0][66] d[0][67] d[0][68] d[0][69] d[0][70] d[0][71] d[0][72] d[0][73] d[0][74] d[0][75] d[0][76] d[0][77] d[0][78] d[0][79] d[0][80] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][50] d[1][51] d[1][52] d[1][53] d[1][54] d[1][55] d[1][56] d[1][57] d[1][58] d[1][59] d[1][60] d[1][61] d[1][62] d[1][63] d[1][64] d[1][65] d[1][66] d[1][67] d[1][68] d[1][69] d[1][70] d[1][71] d[1][72] d[1][73] d[1][74] d[1][75] d[1][76] d[1][77] d[1][78] d[1][79] d[1][80] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][50] d[2][51] d[2][52] d[2][53] d[2][54] d[2][55] d[2][56] d[2][57] d[2][58] d[2][59] d[2][60] d[2][61] d[2][62] d[2][63] d[2][64] d[2][65] d[2][66] d[2][67] d[2][68] d[2][69] d[2][70] d[2][71] d[2][72] d[2][73] d[2][74] d[2][75] d[2][76] d[2][77] d[2][78] d[2][79] d[2][80] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][50] d[3][51] d[3][52] d[3][53] d[3][54] d[3][55] d[3][56] d[3][57] d[3][58] d[3][59] d[3][60] d[3][61] d[3][62] d[3][63] d[3][64] d[3][65] d[3][66] d[3][67] d[3][68] d[3][69] d[3][70] d[3][71] d[3][72] d[3][73] d[3][74] d[3][75] d[3][76] d[3][77] d[3][78] d[3][79] d[3][80] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][50] d[4][51] d[4][52] d[4][53] d[4][54] d[4][55] d[4][56] d[4][57] d[4][58] d[4][59] d[4][60] d[4][61] d[4][62] d[4][63] d[4][64] d[4][65] d[4][66] d[4][67] d[4][68] d[4][69] d[4][70] d[4][71] d[4][72] d[4][73] d[4][74] d[4][75] d[4][76] d[4][77] d[4][78] d[4][79] d[4][80] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][50] d[5][51] d[5][52] d[5][53] d[5][54] d[5][55] d[5][56] d[5][57] d[5][58] d[5][59] d[5][60] d[5][61] d[5][62] d[5][63] d[5][64] d[5][65] d[5][66] d[5][67] d[5][68] d[5][69] d[5][70] d[5][71] d[5][72] d[5][73] d[5][74] d[5][75] d[5][76] d[5][77] d[5][78] d[5][79] d[5][80] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][50] d[6][51] d[6][52] d[6][53] d[6][54] d[6][55] d[6][56] d[6][57] d[6][58] d[6][59] d[6][60] d[6][61] d[6][62] d[6][63] d[6][64] d[6][65] d[6][66] d[6][67] d[6][68] d[6][69] d[6][70] d[6][71] d[6][72] d[6][73] d[6][74] d[6][75] d[6][76] d[6][77] d[6][78] d[6][79] d[6][80] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][50] d[7][51] d[7][52] d[7][53] d[7][54] d[7][55] d[7][56] d[7][57] d[7][58] d[7][59] d[7][60] d[7][61] d[7][62] d[7][63] d[7][64] d[7][65] d[7][66] d[7][67] d[7][68] d[7][69] d[7][70] d[7][71] d[7][72] d[7][73] d[7][74] d[7][75] d[7][76] d[7][77] d[7][78] d[7][79] d[7][80] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][50] d[8][51] d[8][52] d[8][53] d[8][54] d[8][55] d[8][56] d[8][57] d[8][58] d[8][59] d[8][60] d[8][61] d[8][62] d[8][63] d[8][64] d[8][65] d[8][66] d[8][67] d[8][68] d[8][69] d[8][70] d[8][71] d[8][72] d[8][73] d[8][74] d[8][75] d[8][76] d[8][77] d[8][78] d[8][79] d[8][80] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][50] d[9][51] d[9][52] d[9][53] d[9][54] d[9][55] d[9][56] d[9][57] d[9][58] d[9][59] d[9][60] d[9][61] d[9][62] d[9][63] d[9][64] d[9][65] d[9][66] d[9][67] d[9][68] d[9][69] d[9][70] d[9][71] d[9][72] d[9][73] d[9][74] d[9][75] d[9][76] d[9][77] d[9][78] d[9][79] d[9][80] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][50] d[10][51] d[10][52] d[10][53] d[10][54] d[10][55] d[10][56] d[10][57] d[10][58] d[10][59] d[10][60] d[10][61] d[10][62] d[10][63] d[10][64] d[10][65] d[10][66] d[10][67] d[10][68] d[10][69] d[10][70] d[10][71] d[10][72] d[10][73] d[10][74] d[10][75] d[10][76] d[10][77] d[10][78] d[10][79] d[10][80] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][50] d[11][51] d[11][52] d[11][53] d[11][54] d[11][55] d[11][56] d[11][57] d[11][58] d[11][59] d[11][60] d[11][61] d[11][62] d[11][63] d[11][64] d[11][65] d[11][66] d[11][67] d[11][68] d[11][69] d[11][70] d[11][71] d[11][72] d[11][73] d[11][74] d[11][75] d[11][76] d[11][77] d[11][78] d[11][79] d[11][80] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][50] d[12][51] d[12][52] d[12][53] d[12][54] d[12][55] d[12][56] d[12][57] d[12][58] d[12][59] d[12][60] d[12][61] d[12][62] d[12][63] d[12][64] d[12][65] d[12][66] d[12][67] d[12][68] d[12][69] d[12][70] d[12][71] d[12][72] d[12][73] d[12][74] d[12][75] d[12][76] d[12][77] d[12][78] d[12][79] d[12][80] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][50] d[13][51] d[13][52] d[13][53] d[13][54] d[13][55] d[13][56] d[13][57] d[13][58] d[13][59] d[13][60] d[13][61] d[13][62] d[13][63] d[13][64] d[13][65] d[13][66] d[13][67] d[13][68] d[13][69] d[13][70] d[13][71] d[13][72] d[13][73] d[13][74] d[13][75] d[13][76] d[13][77] d[13][78] d[13][79] d[13][80] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][50] d[14][51] d[14][52] d[14][53] d[14][54] d[14][55] d[14][56] d[14][57] d[14][58] d[14][59] d[14][60] d[14][61] d[14][62] d[14][63] d[14][64] d[14][65] d[14][66] d[14][67] d[14][68] d[14][69] d[14][70] d[14][71] d[14][72] d[14][73] d[14][74] d[14][75] d[14][76] d[14][77] d[14][78] d[14][79] d[14][80] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][50] d[15][51] d[15][52] d[15][53] d[15][54] d[15][55] d[15][56] d[15][57] d[15][58] d[15][59] d[15][60] d[15][61] d[15][62] d[15][63] d[15][64] d[15][65] d[15][66] d[15][67] d[15][68] d[15][69] d[15][70] d[15][71] d[15][72] d[15][73] d[15][74] d[15][75] d[15][76] d[15][77] d[15][78] d[15][79] d[15][80] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][50] d[16][51] d[16][52] d[16][53] d[16][54] d[16][55] d[16][56] d[16][57] d[16][58] d[16][59] d[16][60] d[16][61] d[16][62] d[16][63] d[16][64] d[16][65] d[16][66] d[16][67] d[16][68] d[16][69] d[16][70] d[16][71] d[16][72] d[16][73] d[16][74] d[16][75] d[16][76] d[16][77] d[16][78] d[16][79] d[16][80] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][50] d[17][51] d[17][52] d[17][53] d[17][54] d[17][55] d[17][56] d[17][57] d[17][58] d[17][59] d[17][60] d[17][61] d[17][62] d[17][63] d[17][64] d[17][65] d[17][66] d[17][67] d[17][68] d[17][69] d[17][70] d[17][71] d[17][72] d[17][73] d[17][74] d[17][75] d[17][76] d[17][77] d[17][78] d[17][79] d[17][80] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][50] d[18][51] d[18][52] d[18][53] d[18][54] d[18][55] d[18][56] d[18][57] d[18][58] d[18][59] d[18][60] d[18][61] d[18][62] d[18][63] d[18][64] d[18][65] d[18][66] d[18][67] d[18][68] d[18][69] d[18][70] d[18][71] d[18][72] d[18][73] d[18][74] d[18][75] d[18][76] d[18][77] d[18][78] d[18][79] d[18][80] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][50] d[19][51] d[19][52] d[19][53] d[19][54] d[19][55] d[19][56] d[19][57] d[19][58] d[19][59] d[19][60] d[19][61] d[19][62] d[19][63] d[19][64] d[19][65] d[19][66] d[19][67] d[19][68] d[19][69] d[19][70] d[19][71] d[19][72] d[19][73] d[19][74] d[19][75] d[19][76] d[19][77] d[19][78] d[19][79] d[19][80] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][50] d[20][51] d[20][52] d[20][53] d[20][54] d[20][55] d[20][56] d[20][57] d[20][58] d[20][59] d[20][60] d[20][61] d[20][62] d[20][63] d[20][64] d[20][65] d[20][66] d[20][67] d[20][68] d[20][69] d[20][70] d[20][71] d[20][72] d[20][73] d[20][74] d[20][75] d[20][76] d[20][77] d[20][78] d[20][79] d[20][80] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][50] d[21][51] d[21][52] d[21][53] d[21][54] d[21][55] d[21][56] d[21][57] d[21][58] d[21][59] d[21][60] d[21][61] d[21][62] d[21][63] d[21][64] d[21][65] d[21][66] d[21][67] d[21][68] d[21][69] d[21][70] d[21][71] d[21][72] d[21][73] d[21][74] d[21][75] d[21][76] d[21][77] d[21][78] d[21][79] d[21][80] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][50] d[22][51] d[22][52] d[22][53] d[22][54] d[22][55] d[22][56] d[22][57] d[22][58] d[22][59] d[22][60] d[22][61] d[22][62] d[22][63] d[22][64] d[22][65] d[22][66] d[22][67] d[22][68] d[22][69] d[22][70] d[22][71] d[22][72] d[22][73] d[22][74] d[22][75] d[22][76] d[22][77] d[22][78] d[22][79] d[22][80] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][50] d[23][51] d[23][52] d[23][53] d[23][54] d[23][55] d[23][56] d[23][57] d[23][58] d[23][59] d[23][60] d[23][61] d[23][62] d[23][63] d[23][64] d[23][65] d[23][66] d[23][67] d[23][68] d[23][69] d[23][70] d[23][71] d[23][72] d[23][73] d[23][74] d[23][75] d[23][76] d[23][77] d[23][78] d[23][79] d[23][80] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][50] d[24][51] d[24][52] d[24][53] d[24][54] d[24][55] d[24][56] d[24][57] d[24][58] d[24][59] d[24][60] d[24][61] d[24][62] d[24][63] d[24][64] d[24][65] d[24][66] d[24][67] d[24][68] d[24][69] d[24][70] d[24][71] d[24][72] d[24][73] d[24][74] d[24][75] d[24][76] d[24][77] d[24][78] d[24][79] d[24][80] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][50] d[25][51] d[25][52] d[25][53] d[25][54] d[25][55] d[25][56] d[25][57] d[25][58] d[25][59] d[25][60] d[25][61] d[25][62] d[25][63] d[25][64] d[25][65] d[25][66] d[25][67] d[25][68] d[25][69] d[25][70] d[25][71] d[25][72] d[25][73] d[25][74] d[25][75] d[25][76] d[25][77] d[25][78] d[25][79] d[25][80] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][50] d[26][51] d[26][52] d[26][53] d[26][54] d[26][55] d[26][56] d[26][57] d[26][58] d[26][59] d[26][60] d[26][61] d[26][62] d[26][63] d[26][64] d[26][65] d[26][66] d[26][67] d[26][68] d[26][69] d[26][70] d[26][71] d[26][72] d[26][73] d[26][74] d[26][75] d[26][76] d[26][77] d[26][78] d[26][79] d[26][80] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][50] d[27][51] d[27][52] d[27][53] d[27][54] d[27][55] d[27][56] d[27][57] d[27][58] d[27][59] d[27][60] d[27][61] d[27][62] d[27][63] d[27][64] d[27][65] d[27][66] d[27][67] d[27][68] d[27][69] d[27][70] d[27][71] d[27][72] d[27][73] d[27][74] d[27][75] d[27][76] d[27][77] d[27][78] d[27][79] d[27][80] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][50] d[28][51] d[28][52] d[28][53] d[28][54] d[28][55] d[28][56] d[28][57] d[28][58] d[28][59] d[28][60] d[28][61] d[28][62] d[28][63] d[28][64] d[28][65] d[28][66] d[28][67] d[28][68] d[28][69] d[28][70] d[28][71] d[28][72] d[28][73] d[28][74] d[28][75] d[28][76] d[28][77] d[28][78] d[28][79] d[28][80] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][50] d[29][51] d[29][52] d[29][53] d[29][54] d[29][55] d[29][56] d[29][57] d[29][58] d[29][59] d[29][60] d[29][61] d[29][62] d[29][63] d[29][64] d[29][65] d[29][66] d[29][67] d[29][68] d[29][69] d[29][70] d[29][71] d[29][72] d[29][73] d[29][74] d[29][75] d[29][76] d[29][77] d[29][78] d[29][79] d[29][80] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][50] d[30][51] d[30][52] d[30][53] d[30][54] d[30][55] d[30][56] d[30][57] d[30][58] d[30][59] d[30][60] d[30][61] d[30][62] d[30][63] d[30][64] d[30][65] d[30][66] d[30][67] d[30][68] d[30][69] d[30][70] d[30][71] d[30][72] d[30][73] d[30][74] d[30][75] d[30][76] d[30][77] d[30][78] d[30][79] d[30][80] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][50] d[31][51] d[31][52] d[31][53] d[31][54] d[31][55] d[31][56] d[31][57] d[31][58] d[31][59] d[31][60] d[31][61] d[31][62] d[31][63] d[31][64] d[31][65] d[31][66] d[31][67] d[31][68] d[31][69] d[31][70] d[31][71] d[31][72] d[31][73] d[31][74] d[31][75] d[31][76] d[31][77] d[31][78] d[31][79] d[31][80] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][50] d[32][51] d[32][52] d[32][53] d[32][54] d[32][55] d[32][56] d[32][57] d[32][58] d[32][59] d[32][60] d[32][61] d[32][62] d[32][63] d[32][64] d[32][65] d[32][66] d[32][67] d[32][68] d[32][69] d[32][70] d[32][71] d[32][72] d[32][73] d[32][74] d[32][75] d[32][76] d[32][77] d[32][78] d[32][79] d[32][80] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][50] d[33][51] d[33][52] d[33][53] d[33][54] d[33][55] d[33][56] d[33][57] d[33][58] d[33][59] d[33][60] d[33][61] d[33][62] d[33][63] d[33][64] d[33][65] d[33][66] d[33][67] d[33][68] d[33][69] d[33][70] d[33][71] d[33][72] d[33][73] d[33][74] d[33][75] d[33][76] d[33][77] d[33][78] d[33][79] d[33][80] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][50] d[34][51] d[34][52] d[34][53] d[34][54] d[34][55] d[34][56] d[34][57] d[34][58] d[34][59] d[34][60] d[34][61] d[34][62] d[34][63] d[34][64] d[34][65] d[34][66] d[34][67] d[34][68] d[34][69] d[34][70] d[34][71] d[34][72] d[34][73] d[34][74] d[34][75] d[34][76] d[34][77] d[34][78] d[34][79] d[34][80] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][50] d[35][51] d[35][52] d[35][53] d[35][54] d[35][55] d[35][56] d[35][57] d[35][58] d[35][59] d[35][60] d[35][61] d[35][62] d[35][63] d[35][64] d[35][65] d[35][66] d[35][67] d[35][68] d[35][69] d[35][70] d[35][71] d[35][72] d[35][73] d[35][74] d[35][75] d[35][76] d[35][77] d[35][78] d[35][79] d[35][80] d[36][0] d[36][1] d[36][2] d[36][3] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][50] d[36][51] d[36][52] d[36][53] d[36][54] d[36][55] d[36][56] d[36][57] d[36][58] d[36][59] d[36][60] d[36][61] d[36][62] d[36][63] d[36][64] d[36][65] d[36][66] d[36][67] d[36][68] d[36][69] d[36][70] d[36][71] d[36][72] d[36][73] d[36][74] d[36][75] d[36][76] d[36][77] d[36][78] d[36][79] d[36][80] d[37][0] d[37][1] d[37][2] d[37][3] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][50] d[37][51] d[37][52] d[37][53] d[37][54] d[37][55] d[37][56] d[37][57] d[37][58] d[37][59] d[37][60] d[37][61] d[37][62] d[37][63] d[37][64] d[37][65] d[37][66] d[37][67] d[37][68] d[37][69] d[37][70] d[37][71] d[37][72] d[37][73] d[37][74] d[37][75] d[37][76] d[37][77] d[37][78] d[37][79] d[37][80] d[38][0] d[38][1] d[38][2] d[38][3] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][50] d[38][51] d[38][52] d[38][53] d[38][54] d[38][55] d[38][56] d[38][57] d[38][58] d[38][59] d[38][60] d[38][61] d[38][62] d[38][63] d[38][64] d[38][65] d[38][66] d[38][67] d[38][68] d[38][69] d[38][70] d[38][71] d[38][72] d[38][73] d[38][74] d[38][75] d[38][76] d[38][77] d[38][78] d[38][79] d[38][80] d[39][0] d[39][1] d[39][2] d[39][3] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][50] d[39][51] d[39][52] d[39][53] d[39][54] d[39][55] d[39][56] d[39][57] d[39][58] d[39][59] d[39][60] d[39][61] d[39][62] d[39][63] d[39][64] d[39][65] d[39][66] d[39][67] d[39][68] d[39][69] d[39][70] d[39][71] d[39][72] d[39][73] d[39][74] d[39][75] d[39][76] d[39][77] d[39][78] d[39][79] d[39][80] d[40][0] d[40][1] d[40][2] d[40][3] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][50] d[40][51] d[40][52] d[40][53] d[40][54] d[40][55] d[40][56] d[40][57] d[40][58] d[40][59] d[40][60] d[40][61] d[40][62] d[40][63] d[40][64] d[40][65] d[40][66] d[40][67] d[40][68] d[40][69] d[40][70] d[40][71] d[40][72] d[40][73] d[40][74] d[40][75] d[40][76] d[40][77] d[40][78] d[40][79] d[40][80] d[41][0] d[41][1] d[41][2] d[41][3] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][50] d[41][51] d[41][52] d[41][53] d[41][54] d[41][55] d[41][56] d[41][57] d[41][58] d[41][59] d[41][60] d[41][61] d[41][62] d[41][63] d[41][64] d[41][65] d[41][66] d[41][67] d[41][68] d[41][69] d[41][70] d[41][71] d[41][72] d[41][73] d[41][74] d[41][75] d[41][76] d[41][77] d[41][78] d[41][79] d[41][80] d[42][0] d[42][1] d[42][2] d[42][3] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][50] d[42][51] d[42][52] d[42][53] d[42][54] d[42][55] d[42][56] d[42][57] d[42][58] d[42][59] d[42][60] d[42][61] d[42][62] d[42][63] d[42][64] d[42][65] d[42][66] d[42][67] d[42][68] d[42][69] d[42][70] d[42][71] d[42][72] d[42][73] d[42][74] d[42][75] d[42][76] d[42][77] d[42][78] d[42][79] d[42][80] d[43][0] d[43][1] d[43][2] d[43][3] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][50] d[43][51] d[43][52] d[43][53] d[43][54] d[43][55] d[43][56] d[43][57] d[43][58] d[43][59] d[43][60] d[43][61] d[43][62] d[43][63] d[43][64] d[43][65] d[43][66] d[43][67] d[43][68] d[43][69] d[43][70] d[43][71] d[43][72] d[43][73] d[43][74] d[43][75] d[43][76] d[43][77] d[43][78] d[43][79] d[43][80] d[44][0] d[44][1] d[44][2] d[44][3] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][50] d[44][51] d[44][52] d[44][53] d[44][54] d[44][55] d[44][56] d[44][57] d[44][58] d[44][59] d[44][60] d[44][61] d[44][62] d[44][63] d[44][64] d[44][65] d[44][66] d[44][67] d[44][68] d[44][69] d[44][70] d[44][71] d[44][72] d[44][73] d[44][74] d[44][75] d[44][76] d[44][77] d[44][78] d[44][79] d[44][80] d[45][0] d[45][1] d[45][2] d[45][3] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][50] d[45][51] d[45][52] d[45][53] d[45][54] d[45][55] d[45][56] d[45][57] d[45][58] d[45][59] d[45][60] d[45][61] d[45][62] d[45][63] d[45][64] d[45][65] d[45][66] d[45][67] d[45][68] d[45][69] d[45][70] d[45][71] d[45][72] d[45][73] d[45][74] d[45][75] d[45][76] d[45][77] d[45][78] d[45][79] d[45][80] d[46][0] d[46][1] d[46][2] d[46][3] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][50] d[46][51] d[46][52] d[46][53] d[46][54] d[46][55] d[46][56] d[46][57] d[46][58] d[46][59] d[46][60] d[46][61] d[46][62] d[46][63] d[46][64] d[46][65] d[46][66] d[46][67] d[46][68] d[46][69] d[46][70] d[46][71] d[46][72] d[46][73] d[46][74] d[46][75] d[46][76] d[46][77] d[46][78] d[46][79] d[46][80] d[47][0] d[47][1] d[47][2] d[47][3] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][50] d[47][51] d[47][52] d[47][53] d[47][54] d[47][55] d[47][56] d[47][57] d[47][58] d[47][59] d[47][60] d[47][61] d[47][62] d[47][63] d[47][64] d[47][65] d[47][66] d[47][67] d[47][68] d[47][69] d[47][70] d[47][71] d[47][72] d[47][73] d[47][74] d[47][75] d[47][76] d[47][77] d[47][78] d[47][79] d[47][80] d[48][0] d[48][1] d[48][2] d[48][3] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][50] d[48][51] d[48][52] d[48][53] d[48][54] d[48][55] d[48][56] d[48][57] d[48][58] d[48][59] d[48][60] d[48][61] d[48][62] d[48][63] d[48][64] d[48][65] d[48][66] d[48][67] d[48][68] d[48][69] d[48][70] d[48][71] d[48][72] d[48][73] d[48][74] d[48][75] d[48][76] d[48][77] d[48][78] d[48][79] d[48][80] d[49][0] d[49][1] d[49][2] d[49][3] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][50] d[49][51] d[49][52] d[49][53] d[49][54] d[49][55] d[49][56] d[49][57] d[49][58] d[49][59] d[49][60] d[49][61] d[49][62] d[49][63] d[49][64] d[49][65] d[49][66] d[49][67] d[49][68] d[49][69] d[49][70] d[49][71] d[49][72] d[49][73] d[49][74] d[49][75] d[49][76] d[49][77] d[49][78] d[49][79] d[49][80] d[50][0] d[50][1] d[50][2] d[50][3] d[50][4] d[50][5] d[50][6] d[50][7] d[50][8] d[50][9] d[50][10] d[50][11] d[50][12] d[50][13] d[50][14] d[50][15] d[50][16] d[50][17] d[50][18] d[50][19] d[50][20] d[50][21] d[50][22] d[50][23] d[50][24] d[50][25] d[50][26] d[50][27] d[50][28] d[50][29] d[50][30] d[50][31] d[50][32] d[50][33] d[50][34] d[50][35] d[50][36] d[50][37] d[50][38] d[50][39] d[50][40] d[50][41] d[50][42] d[50][43] d[50][44] d[50][45] d[50][46] d[50][47] d[50][48] d[50][49] d[50][50] d[50][51] d[50][52] d[50][53] d[50][54] d[50][55] d[50][56] d[50][57] d[50][58] d[50][59] d[50][60] d[50][61] d[50][62] d[50][63] d[50][64] d[50][65] d[50][66] d[50][67] d[50][68] d[50][69] d[50][70] d[50][71] d[50][72] d[50][73] d[50][74] d[50][75] d[50][76] d[50][77] d[50][78] d[50][79] d[50][80] d[51][0] d[51][1] d[51][2] d[51][3] d[51][4] d[51][5] d[51][6] d[51][7] d[51][8] d[51][9] d[51][10] d[51][11] d[51][12] d[51][13] d[51][14] d[51][15] d[51][16] d[51][17] d[51][18] d[51][19] d[51][20] d[51][21] d[51][22] d[51][23] d[51][24] d[51][25] d[51][26] d[51][27] d[51][28] d[51][29] d[51][30] d[51][31] d[51][32] d[51][33] d[51][34] d[51][35] d[51][36] d[51][37] d[51][38] d[51][39] d[51][40] d[51][41] d[51][42] d[51][43] d[51][44] d[51][45] d[51][46] d[51][47] d[51][48] d[51][49] d[51][50] d[51][51] d[51][52] d[51][53] d[51][54] d[51][55] d[51][56] d[51][57] d[51][58] d[51][59] d[51][60] d[51][61] d[51][62] d[51][63] d[51][64] d[51][65] d[51][66] d[51][67] d[51][68] d[51][69] d[51][70] d[51][71] d[51][72] d[51][73] d[51][74] d[51][75] d[51][76] d[51][77] d[51][78] d[51][79] d[51][80] d[52][0] d[52][1] d[52][2] d[52][3] d[52][4] d[52][5] d[52][6] d[52][7] d[52][8] d[52][9] d[52][10] d[52][11] d[52][12] d[52][13] d[52][14] d[52][15] d[52][16] d[52][17] d[52][18] d[52][19] d[52][20] d[52][21] d[52][22] d[52][23] d[52][24] d[52][25] d[52][26] d[52][27] d[52][28] d[52][29] d[52][30] d[52][31] d[52][32] d[52][33] d[52][34] d[52][35] d[52][36] d[52][37] d[52][38] d[52][39] d[52][40] d[52][41] d[52][42] d[52][43] d[52][44] d[52][45] d[52][46] d[52][47] d[52][48] d[52][49] d[52][50] d[52][51] d[52][52] d[52][53] d[52][54] d[52][55] d[52][56] d[52][57] d[52][58] d[52][59] d[52][60] d[52][61] d[52][62] d[52][63] d[52][64] d[52][65] d[52][66] d[52][67] d[52][68] d[52][69] d[52][70] d[52][71] d[52][72] d[52][73] d[52][74] d[52][75] d[52][76] d[52][77] d[52][78] d[52][79] d[52][80] d[53][0] d[53][1] d[53][2] d[53][3] d[53][4] d[53][5] d[53][6] d[53][7] d[53][8] d[53][9] d[53][10] d[53][11] d[53][12] d[53][13] d[53][14] d[53][15] d[53][16] d[53][17] d[53][18] d[53][19] d[53][20] d[53][21] d[53][22] d[53][23] d[53][24] d[53][25] d[53][26] d[53][27] d[53][28] d[53][29] d[53][30] d[53][31] d[53][32] d[53][33] d[53][34] d[53][35] d[53][36] d[53][37] d[53][38] d[53][39] d[53][40] d[53][41] d[53][42] d[53][43] d[53][44] d[53][45] d[53][46] d[53][47] d[53][48] d[53][49] d[53][50] d[53][51] d[53][52] d[53][53] d[53][54] d[53][55] d[53][56] d[53][57] d[53][58] d[53][59] d[53][60] d[53][61] d[53][62] d[53][63] d[53][64] d[53][65] d[53][66] d[53][67] d[53][68] d[53][69] d[53][70] d[53][71] d[53][72] d[53][73] d[53][74] d[53][75] d[53][76] d[53][77] d[53][78] d[53][79] d[53][80] d[54][0] d[54][1] d[54][2] d[54][3] d[54][4] d[54][5] d[54][6] d[54][7] d[54][8] d[54][9] d[54][10] d[54][11] d[54][12] d[54][13] d[54][14] d[54][15] d[54][16] d[54][17] d[54][18] d[54][19] d[54][20] d[54][21] d[54][22] d[54][23] d[54][24] d[54][25] d[54][26] d[54][27] d[54][28] d[54][29] d[54][30] d[54][31] d[54][32] d[54][33] d[54][34] d[54][35] d[54][36] d[54][37] d[54][38] d[54][39] d[54][40] d[54][41] d[54][42] d[54][43] d[54][44] d[54][45] d[54][46] d[54][47] d[54][48] d[54][49] d[54][50] d[54][51] d[54][52] d[54][53] d[54][54] d[54][55] d[54][56] d[54][57] d[54][58] d[54][59] d[54][60] d[54][61] d[54][62] d[54][63] d[54][64] d[54][65] d[54][66] d[54][67] d[54][68] d[54][69] d[54][70] d[54][71] d[54][72] d[54][73] d[54][74] d[54][75] d[54][76] d[54][77] d[54][78] d[54][79] d[54][80] d[55][0] d[55][1] d[55][2] d[55][3] d[55][4] d[55][5] d[55][6] d[55][7] d[55][8] d[55][9] d[55][10] d[55][11] d[55][12] d[55][13] d[55][14] d[55][15] d[55][16] d[55][17] d[55][18] d[55][19] d[55][20] d[55][21] d[55][22] d[55][23] d[55][24] d[55][25] d[55][26] d[55][27] d[55][28] d[55][29] d[55][30] d[55][31] d[55][32] d[55][33] d[55][34] d[55][35] d[55][36] d[55][37] d[55][38] d[55][39] d[55][40] d[55][41] d[55][42] d[55][43] d[55][44] d[55][45] d[55][46] d[55][47] d[55][48] d[55][49] d[55][50] d[55][51] d[55][52] d[55][53] d[55][54] d[55][55] d[55][56] d[55][57] d[55][58] d[55][59] d[55][60] d[55][61] d[55][62] d[55][63] d[55][64] d[55][65] d[55][66] d[55][67] d[55][68] d[55][69] d[55][70] d[55][71] d[55][72] d[55][73] d[55][74] d[55][75] d[55][76] d[55][77] d[55][78] d[55][79] d[55][80] d[56][0] d[56][1] d[56][2] d[56][3] d[56][4] d[56][5] d[56][6] d[56][7] d[56][8] d[56][9] d[56][10] d[56][11] d[56][12] d[56][13] d[56][14] d[56][15] d[56][16] d[56][17] d[56][18] d[56][19] d[56][20] d[56][21] d[56][22] d[56][23] d[56][24] d[56][25] d[56][26] d[56][27] d[56][28] d[56][29] d[56][30] d[56][31] d[56][32] d[56][33] d[56][34] d[56][35] d[56][36] d[56][37] d[56][38] d[56][39] d[56][40] d[56][41] d[56][42] d[56][43] d[56][44] d[56][45] d[56][46] d[56][47] d[56][48] d[56][49] d[56][50] d[56][51] d[56][52] d[56][53] d[56][54] d[56][55] d[56][56] d[56][57] d[56][58] d[56][59] d[56][60] d[56][61] d[56][62] d[56][63] d[56][64] d[56][65] d[56][66] d[56][67] d[56][68] d[56][69] d[56][70] d[56][71] d[56][72] d[56][73] d[56][74] d[56][75] d[56][76] d[56][77] d[56][78] d[56][79] d[56][80] d[57][0] d[57][1] d[57][2] d[57][3] d[57][4] d[57][5] d[57][6] d[57][7] d[57][8] d[57][9] d[57][10] d[57][11] d[57][12] d[57][13] d[57][14] d[57][15] d[57][16] d[57][17] d[57][18] d[57][19] d[57][20] d[57][21] d[57][22] d[57][23] d[57][24] d[57][25] d[57][26] d[57][27] d[57][28] d[57][29] d[57][30] d[57][31] d[57][32] d[57][33] d[57][34] d[57][35] d[57][36] d[57][37] d[57][38] d[57][39] d[57][40] d[57][41] d[57][42] d[57][43] d[57][44] d[57][45] d[57][46] d[57][47] d[57][48] d[57][49] d[57][50] d[57][51] d[57][52] d[57][53] d[57][54] d[57][55] d[57][56] d[57][57] d[57][58] d[57][59] d[57][60] d[57][61] d[57][62] d[57][63] d[57][64] d[57][65] d[57][66] d[57][67] d[57][68] d[57][69] d[57][70] d[57][71] d[57][72] d[57][73] d[57][74] d[57][75] d[57][76] d[57][77] d[57][78] d[57][79] d[57][80] d[58][0] d[58][1] d[58][2] d[58][3] d[58][4] d[58][5] d[58][6] d[58][7] d[58][8] d[58][9] d[58][10] d[58][11] d[58][12] d[58][13] d[58][14] d[58][15] d[58][16] d[58][17] d[58][18] d[58][19] d[58][20] d[58][21] d[58][22] d[58][23] d[58][24] d[58][25] d[58][26] d[58][27] d[58][28] d[58][29] d[58][30] d[58][31] d[58][32] d[58][33] d[58][34] d[58][35] d[58][36] d[58][37] d[58][38] d[58][39] d[58][40] d[58][41] d[58][42] d[58][43] d[58][44] d[58][45] d[58][46] d[58][47] d[58][48] d[58][49] d[58][50] d[58][51] d[58][52] d[58][53] d[58][54] d[58][55] d[58][56] d[58][57] d[58][58] d[58][59] d[58][60] d[58][61] d[58][62] d[58][63] d[58][64] d[58][65] d[58][66] d[58][67] d[58][68] d[58][69] d[58][70] d[58][71] d[58][72] d[58][73] d[58][74] d[58][75] d[58][76] d[58][77] d[58][78] d[58][79] d[58][80] d[59][0] d[59][1] d[59][2] d[59][3] d[59][4] d[59][5] d[59][6] d[59][7] d[59][8] d[59][9] d[59][10] d[59][11] d[59][12] d[59][13] d[59][14] d[59][15] d[59][16] d[59][17] d[59][18] d[59][19] d[59][20] d[59][21] d[59][22] d[59][23] d[59][24] d[59][25] d[59][26] d[59][27] d[59][28] d[59][29] d[59][30] d[59][31] d[59][32] d[59][33] d[59][34] d[59][35] d[59][36] d[59][37] d[59][38] d[59][39] d[59][40] d[59][41] d[59][42] d[59][43] d[59][44] d[59][45] d[59][46] d[59][47] d[59][48] d[59][49] d[59][50] d[59][51] d[59][52] d[59][53] d[59][54] d[59][55] d[59][56] d[59][57] d[59][58] d[59][59] d[59][60] d[59][61] d[59][62] d[59][63] d[59][64] d[59][65] d[59][66] d[59][67] d[59][68] d[59][69] d[59][70] d[59][71] d[59][72] d[59][73] d[59][74] d[59][75] d[59][76] d[59][77] d[59][78] d[59][79] d[59][80] d[60][0] d[60][1] d[60][2] d[60][3] d[60][4] d[60][5] d[60][6] d[60][7] d[60][8] d[60][9] d[60][10] d[60][11] d[60][12] d[60][13] d[60][14] d[60][15] d[60][16] d[60][17] d[60][18] d[60][19] d[60][20] d[60][21] d[60][22] d[60][23] d[60][24] d[60][25] d[60][26] d[60][27] d[60][28] d[60][29] d[60][30] d[60][31] d[60][32] d[60][33] d[60][34] d[60][35] d[60][36] d[60][37] d[60][38] d[60][39] d[60][40] d[60][41] d[60][42] d[60][43] d[60][44] d[60][45] d[60][46] d[60][47] d[60][48] d[60][49] d[60][50] d[60][51] d[60][52] d[60][53] d[60][54] d[60][55] d[60][56] d[60][57] d[60][58] d[60][59] d[60][60] d[60][61] d[60][62] d[60][63] d[60][64] d[60][65] d[60][66] d[60][67] d[60][68] d[60][69] d[60][70] d[60][71] d[60][72] d[60][73] d[60][74] d[60][75] d[60][76] d[60][77] d[60][78] d[60][79] d[60][80] d[61][0] d[61][1] d[61][2] d[61][3] d[61][4] d[61][5] d[61][6] d[61][7] d[61][8] d[61][9] d[61][10] d[61][11] d[61][12] d[61][13] d[61][14] d[61][15] d[61][16] d[61][17] d[61][18] d[61][19] d[61][20] d[61][21] d[61][22] d[61][23] d[61][24] d[61][25] d[61][26] d[61][27] d[61][28] d[61][29] d[61][30] d[61][31] d[61][32] d[61][33] d[61][34] d[61][35] d[61][36] d[61][37] d[61][38] d[61][39] d[61][40] d[61][41] d[61][42] d[61][43] d[61][44] d[61][45] d[61][46] d[61][47] d[61][48] d[61][49] d[61][50] d[61][51] d[61][52] d[61][53] d[61][54] d[61][55] d[61][56] d[61][57] d[61][58] d[61][59] d[61][60] d[61][61] d[61][62] d[61][63] d[61][64] d[61][65] d[61][66] d[61][67] d[61][68] d[61][69] d[61][70] d[61][71] d[61][72] d[61][73] d[61][74] d[61][75] d[61][76] d[61][77] d[61][78] d[61][79] d[61][80] d[62][0] d[62][1] d[62][2] d[62][3] d[62][4] d[62][5] d[62][6] d[62][7] d[62][8] d[62][9] d[62][10] d[62][11] d[62][12] d[62][13] d[62][14] d[62][15] d[62][16] d[62][17] d[62][18] d[62][19] d[62][20] d[62][21] d[62][22] d[62][23] d[62][24] d[62][25] d[62][26] d[62][27] d[62][28] d[62][29] d[62][30] d[62][31] d[62][32] d[62][33] d[62][34] d[62][35] d[62][36] d[62][37] d[62][38] d[62][39] d[62][40] d[62][41] d[62][42] d[62][43] d[62][44] d[62][45] d[62][46] d[62][47] d[62][48] d[62][49] d[62][50] d[62][51] d[62][52] d[62][53] d[62][54] d[62][55] d[62][56] d[62][57] d[62][58] d[62][59] d[62][60] d[62][61] d[62][62] d[62][63] d[62][64] d[62][65] d[62][66] d[62][67] d[62][68] d[62][69] d[62][70] d[62][71] d[62][72] d[62][73] d[62][74] d[62][75] d[62][76] d[62][77] d[62][78] d[62][79] d[62][80] d[63][0] d[63][1] d[63][2] d[63][3] d[63][4] d[63][5] d[63][6] d[63][7] d[63][8] d[63][9] d[63][10] d[63][11] d[63][12] d[63][13] d[63][14] d[63][15] d[63][16] d[63][17] d[63][18] d[63][19] d[63][20] d[63][21] d[63][22] d[63][23] d[63][24] d[63][25] d[63][26] d[63][27] d[63][28] d[63][29] d[63][30] d[63][31] d[63][32] d[63][33] d[63][34] d[63][35] d[63][36] d[63][37] d[63][38] d[63][39] d[63][40] d[63][41] d[63][42] d[63][43] d[63][44] d[63][45] d[63][46] d[63][47] d[63][48] d[63][49] d[63][50] d[63][51] d[63][52] d[63][53] d[63][54] d[63][55] d[63][56] d[63][57] d[63][58] d[63][59] d[63][60] d[63][61] d[63][62] d[63][63] d[63][64] d[63][65] d[63][66] d[63][67] d[63][68] d[63][69] d[63][70] d[63][71] d[63][72] d[63][73] d[63][74] d[63][75] d[63][76] d[63][77] d[63][78] d[63][79] d[63][80] d[64][0] d[64][1] d[64][2] d[64][3] d[64][4] d[64][5] d[64][6] d[64][7] d[64][8] d[64][9] d[64][10] d[64][11] d[64][12] d[64][13] d[64][14] d[64][15] d[64][16] d[64][17] d[64][18] d[64][19] d[64][20] d[64][21] d[64][22] d[64][23] d[64][24] d[64][25] d[64][26] d[64][27] d[64][28] d[64][29] d[64][30] d[64][31] d[64][32] d[64][33] d[64][34] d[64][35] d[64][36] d[64][37] d[64][38] d[64][39] d[64][40] d[64][41] d[64][42] d[64][43] d[64][44] d[64][45] d[64][46] d[64][47] d[64][48] d[64][49] d[64][50] d[64][51] d[64][52] d[64][53] d[64][54] d[64][55] d[64][56] d[64][57] d[64][58] d[64][59] d[64][60] d[64][61] d[64][62] d[64][63] d[64][64] d[64][65] d[64][66] d[64][67] d[64][68] d[64][69] d[64][70] d[64][71] d[64][72] d[64][73] d[64][74] d[64][75] d[64][76] d[64][77] d[64][78] d[64][79] d[64][80] d[65][0] d[65][1] d[65][2] d[65][3] d[65][4] d[65][5] d[65][6] d[65][7] d[65][8] d[65][9] d[65][10] d[65][11] d[65][12] d[65][13] d[65][14] d[65][15] d[65][16] d[65][17] d[65][18] d[65][19] d[65][20] d[65][21] d[65][22] d[65][23] d[65][24] d[65][25] d[65][26] d[65][27] d[65][28] d[65][29] d[65][30] d[65][31] d[65][32] d[65][33] d[65][34] d[65][35] d[65][36] d[65][37] d[65][38] d[65][39] d[65][40] d[65][41] d[65][42] d[65][43] d[65][44] d[65][45] d[65][46] d[65][47] d[65][48] d[65][49] d[65][50] d[65][51] d[65][52] d[65][53] d[65][54] d[65][55] d[65][56] d[65][57] d[65][58] d[65][59] d[65][60] d[65][61] d[65][62] d[65][63] d[65][64] d[65][65] d[65][66] d[65][67] d[65][68] d[65][69] d[65][70] d[65][71] d[65][72] d[65][73] d[65][74] d[65][75] d[65][76] d[65][77] d[65][78] d[65][79] d[65][80] d[66][0] d[66][1] d[66][2] d[66][3] d[66][4] d[66][5] d[66][6] d[66][7] d[66][8] d[66][9] d[66][10] d[66][11] d[66][12] d[66][13] d[66][14] d[66][15] d[66][16] d[66][17] d[66][18] d[66][19] d[66][20] d[66][21] d[66][22] d[66][23] d[66][24] d[66][25] d[66][26] d[66][27] d[66][28] d[66][29] d[66][30] d[66][31] d[66][32] d[66][33] d[66][34] d[66][35] d[66][36] d[66][37] d[66][38] d[66][39] d[66][40] d[66][41] d[66][42] d[66][43] d[66][44] d[66][45] d[66][46] d[66][47] d[66][48] d[66][49] d[66][50] d[66][51] d[66][52] d[66][53] d[66][54] d[66][55] d[66][56] d[66][57] d[66][58] d[66][59] d[66][60] d[66][61] d[66][62] d[66][63] d[66][64] d[66][65] d[66][66] d[66][67] d[66][68] d[66][69] d[66][70] d[66][71] d[66][72] d[66][73] d[66][74] d[66][75] d[66][76] d[66][77] d[66][78] d[66][79] d[66][80] d[67][0] d[67][1] d[67][2] d[67][3] d[67][4] d[67][5] d[67][6] d[67][7] d[67][8] d[67][9] d[67][10] d[67][11] d[67][12] d[67][13] d[67][14] d[67][15] d[67][16] d[67][17] d[67][18] d[67][19] d[67][20] d[67][21] d[67][22] d[67][23] d[67][24] d[67][25] d[67][26] d[67][27] d[67][28] d[67][29] d[67][30] d[67][31] d[67][32] d[67][33] d[67][34] d[67][35] d[67][36] d[67][37] d[67][38] d[67][39] d[67][40] d[67][41] d[67][42] d[67][43] d[67][44] d[67][45] d[67][46] d[67][47] d[67][48] d[67][49] d[67][50] d[67][51] d[67][52] d[67][53] d[67][54] d[67][55] d[67][56] d[67][57] d[67][58] d[67][59] d[67][60] d[67][61] d[67][62] d[67][63] d[67][64] d[67][65] d[67][66] d[67][67] d[67][68] d[67][69] d[67][70] d[67][71] d[67][72] d[67][73] d[67][74] d[67][75] d[67][76] d[67][77] d[67][78] d[67][79] d[67][80] d[68][0] d[68][1] d[68][2] d[68][3] d[68][4] d[68][5] d[68][6] d[68][7] d[68][8] d[68][9] d[68][10] d[68][11] d[68][12] d[68][13] d[68][14] d[68][15] d[68][16] d[68][17] d[68][18] d[68][19] d[68][20] d[68][21] d[68][22] d[68][23] d[68][24] d[68][25] d[68][26] d[68][27] d[68][28] d[68][29] d[68][30] d[68][31] d[68][32] d[68][33] d[68][34] d[68][35] d[68][36] d[68][37] d[68][38] d[68][39] d[68][40] d[68][41] d[68][42] d[68][43] d[68][44] d[68][45] d[68][46] d[68][47] d[68][48] d[68][49] d[68][50] d[68][51] d[68][52] d[68][53] d[68][54] d[68][55] d[68][56] d[68][57] d[68][58] d[68][59] d[68][60] d[68][61] d[68][62] d[68][63] d[68][64] d[68][65] d[68][66] d[68][67] d[68][68] d[68][69] d[68][70] d[68][71] d[68][72] d[68][73] d[68][74] d[68][75] d[68][76] d[68][77] d[68][78] d[68][79] d[68][80] d[69][0] d[69][1] d[69][2] d[69][3] d[69][4] d[69][5] d[69][6] d[69][7] d[69][8] d[69][9] d[69][10] d[69][11] d[69][12] d[69][13] d[69][14] d[69][15] d[69][16] d[69][17] d[69][18] d[69][19] d[69][20] d[69][21] d[69][22] d[69][23] d[69][24] d[69][25] d[69][26] d[69][27] d[69][28] d[69][29] d[69][30] d[69][31] d[69][32] d[69][33] d[69][34] d[69][35] d[69][36] d[69][37] d[69][38] d[69][39] d[69][40] d[69][41] d[69][42] d[69][43] d[69][44] d[69][45] d[69][46] d[69][47] d[69][48] d[69][49] d[69][50] d[69][51] d[69][52] d[69][53] d[69][54] d[69][55] d[69][56] d[69][57] d[69][58] d[69][59] d[69][60] d[69][61] d[69][62] d[69][63] d[69][64] d[69][65] d[69][66] d[69][67] d[69][68] d[69][69] d[69][70] d[69][71] d[69][72] d[69][73] d[69][74] d[69][75] d[69][76] d[69][77] d[69][78] d[69][79] d[69][80] d[70][0] d[70][1] d[70][2] d[70][3] d[70][4] d[70][5] d[70][6] d[70][7] d[70][8] d[70][9] d[70][10] d[70][11] d[70][12] d[70][13] d[70][14] d[70][15] d[70][16] d[70][17] d[70][18] d[70][19] d[70][20] d[70][21] d[70][22] d[70][23] d[70][24] d[70][25] d[70][26] d[70][27] d[70][28] d[70][29] d[70][30] d[70][31] d[70][32] d[70][33] d[70][34] d[70][35] d[70][36] d[70][37] d[70][38] d[70][39] d[70][40] d[70][41] d[70][42] d[70][43] d[70][44] d[70][45] d[70][46] d[70][47] d[70][48] d[70][49] d[70][50] d[70][51] d[70][52] d[70][53] d[70][54] d[70][55] d[70][56] d[70][57] d[70][58] d[70][59] d[70][60] d[70][61] d[70][62] d[70][63] d[70][64] d[70][65] d[70][66] d[70][67] d[70][68] d[70][69] d[70][70] d[70][71] d[70][72] d[70][73] d[70][74] d[70][75] d[70][76] d[70][77] d[70][78] d[70][79] d[70][80] d[71][0] d[71][1] d[71][2] d[71][3] d[71][4] d[71][5] d[71][6] d[71][7] d[71][8] d[71][9] d[71][10] d[71][11] d[71][12] d[71][13] d[71][14] d[71][15] d[71][16] d[71][17] d[71][18] d[71][19] d[71][20] d[71][21] d[71][22] d[71][23] d[71][24] d[71][25] d[71][26] d[71][27] d[71][28] d[71][29] d[71][30] d[71][31] d[71][32] d[71][33] d[71][34] d[71][35] d[71][36] d[71][37] d[71][38] d[71][39] d[71][40] d[71][41] d[71][42] d[71][43] d[71][44] d[71][45] d[71][46] d[71][47] d[71][48] d[71][49] d[71][50] d[71][51] d[71][52] d[71][53] d[71][54] d[71][55] d[71][56] d[71][57] d[71][58] d[71][59] d[71][60] d[71][61] d[71][62] d[71][63] d[71][64] d[71][65] d[71][66] d[71][67] d[71][68] d[71][69] d[71][70] d[71][71] d[71][72] d[71][73] d[71][74] d[71][75] d[71][76] d[71][77] d[71][78] d[71][79] d[71][80] d[72][0] d[72][1] d[72][2] d[72][3] d[72][4] d[72][5] d[72][6] d[72][7] d[72][8] d[72][9] d[72][10] d[72][11] d[72][12] d[72][13] d[72][14] d[72][15] d[72][16] d[72][17] d[72][18] d[72][19] d[72][20] d[72][21] d[72][22] d[72][23] d[72][24] d[72][25] d[72][26] d[72][27] d[72][28] d[72][29] d[72][30] d[72][31] d[72][32] d[72][33] d[72][34] d[72][35] d[72][36] d[72][37] d[72][38] d[72][39] d[72][40] d[72][41] d[72][42] d[72][43] d[72][44] d[72][45] d[72][46] d[72][47] d[72][48] d[72][49] d[72][50] d[72][51] d[72][52] d[72][53] d[72][54] d[72][55] d[72][56] d[72][57] d[72][58] d[72][59] d[72][60] d[72][61] d[72][62] d[72][63] d[72][64] d[72][65] d[72][66] d[72][67] d[72][68] d[72][69] d[72][70] d[72][71] d[72][72] d[72][73] d[72][74] d[72][75] d[72][76] d[72][77] d[72][78] d[72][79] d[72][80] d[73][0] d[73][1] d[73][2] d[73][3] d[73][4] d[73][5] d[73][6] d[73][7] d[73][8] d[73][9] d[73][10] d[73][11] d[73][12] d[73][13] d[73][14] d[73][15] d[73][16] d[73][17] d[73][18] d[73][19] d[73][20] d[73][21] d[73][22] d[73][23] d[73][24] d[73][25] d[73][26] d[73][27] d[73][28] d[73][29] d[73][30] d[73][31] d[73][32] d[73][33] d[73][34] d[73][35] d[73][36] d[73][37] d[73][38] d[73][39] d[73][40] d[73][41] d[73][42] d[73][43] d[73][44] d[73][45] d[73][46] d[73][47] d[73][48] d[73][49] d[73][50] d[73][51] d[73][52] d[73][53] d[73][54] d[73][55] d[73][56] d[73][57] d[73][58] d[73][59] d[73][60] d[73][61] d[73][62] d[73][63] d[73][64] d[73][65] d[73][66] d[73][67] d[73][68] d[73][69] d[73][70] d[73][71] d[73][72] d[73][73] d[73][74] d[73][75] d[73][76] d[73][77] d[73][78] d[73][79] d[73][80] d[74][0] d[74][1] d[74][2] d[74][3] d[74][4] d[74][5] d[74][6] d[74][7] d[74][8] d[74][9] d[74][10] d[74][11] d[74][12] d[74][13] d[74][14] d[74][15] d[74][16] d[74][17] d[74][18] d[74][19] d[74][20] d[74][21] d[74][22] d[74][23] d[74][24] d[74][25] d[74][26] d[74][27] d[74][28] d[74][29] d[74][30] d[74][31] d[74][32] d[74][33] d[74][34] d[74][35] d[74][36] d[74][37] d[74][38] d[74][39] d[74][40] d[74][41] d[74][42] d[74][43] d[74][44] d[74][45] d[74][46] d[74][47] d[74][48] d[74][49] d[74][50] d[74][51] d[74][52] d[74][53] d[74][54] d[74][55] d[74][56] d[74][57] d[74][58] d[74][59] d[74][60] d[74][61] d[74][62] d[74][63] d[74][64] d[74][65] d[74][66] d[74][67] d[74][68] d[74][69] d[74][70] d[74][71] d[74][72] d[74][73] d[74][74] d[74][75] d[74][76] d[74][77] d[74][78] d[74][79] d[74][80] d[75][0] d[75][1] d[75][2] d[75][3] d[75][4] d[75][5] d[75][6] d[75][7] d[75][8] d[75][9] d[75][10] d[75][11] d[75][12] d[75][13] d[75][14] d[75][15] d[75][16] d[75][17] d[75][18] d[75][19] d[75][20] d[75][21] d[75][22] d[75][23] d[75][24] d[75][25] d[75][26] d[75][27] d[75][28] d[75][29] d[75][30] d[75][31] d[75][32] d[75][33] d[75][34] d[75][35] d[75][36] d[75][37] d[75][38] d[75][39] d[75][40] d[75][41] d[75][42] d[75][43] d[75][44] d[75][45] d[75][46] d[75][47] d[75][48] d[75][49] d[75][50] d[75][51] d[75][52] d[75][53] d[75][54] d[75][55] d[75][56] d[75][57] d[75][58] d[75][59] d[75][60] d[75][61] d[75][62] d[75][63] d[75][64] d[75][65] d[75][66] d[75][67] d[75][68] d[75][69] d[75][70] d[75][71] d[75][72] d[75][73] d[75][74] d[75][75] d[75][76] d[75][77] d[75][78] d[75][79] d[75][80] d[76][0] d[76][1] d[76][2] d[76][3] d[76][4] d[76][5] d[76][6] d[76][7] d[76][8] d[76][9] d[76][10] d[76][11] d[76][12] d[76][13] d[76][14] d[76][15] d[76][16] d[76][17] d[76][18] d[76][19] d[76][20] d[76][21] d[76][22] d[76][23] d[76][24] d[76][25] d[76][26] d[76][27] d[76][28] d[76][29] d[76][30] d[76][31] d[76][32] d[76][33] d[76][34] d[76][35] d[76][36] d[76][37] d[76][38] d[76][39] d[76][40] d[76][41] d[76][42] d[76][43] d[76][44] d[76][45] d[76][46] d[76][47] d[76][48] d[76][49] d[76][50] d[76][51] d[76][52] d[76][53] d[76][54] d[76][55] d[76][56] d[76][57] d[76][58] d[76][59] d[76][60] d[76][61] d[76][62] d[76][63] d[76][64] d[76][65] d[76][66] d[76][67] d[76][68] d[76][69] d[76][70] d[76][71] d[76][72] d[76][73] d[76][74] d[76][75] d[76][76] d[76][77] d[76][78] d[76][79] d[76][80] d[77][0] d[77][1] d[77][2] d[77][3] d[77][4] d[77][5] d[77][6] d[77][7] d[77][8] d[77][9] d[77][10] d[77][11] d[77][12] d[77][13] d[77][14] d[77][15] d[77][16] d[77][17] d[77][18] d[77][19] d[77][20] d[77][21] d[77][22] d[77][23] d[77][24] d[77][25] d[77][26] d[77][27] d[77][28] d[77][29] d[77][30] d[77][31] d[77][32] d[77][33] d[77][34] d[77][35] d[77][36] d[77][37] d[77][38] d[77][39] d[77][40] d[77][41] d[77][42] d[77][43] d[77][44] d[77][45] d[77][46] d[77][47] d[77][48] d[77][49] d[77][50] d[77][51] d[77][52] d[77][53] d[77][54] d[77][55] d[77][56] d[77][57] d[77][58] d[77][59] d[77][60] d[77][61] d[77][62] d[77][63] d[77][64] d[77][65] d[77][66] d[77][67] d[77][68] d[77][69] d[77][70] d[77][71] d[77][72] d[77][73] d[77][74] d[77][75] d[77][76] d[77][77] d[77][78] d[77][79] d[77][80] d[78][0] d[78][1] d[78][2] d[78][3] d[78][4] d[78][5] d[78][6] d[78][7] d[78][8] d[78][9] d[78][10] d[78][11] d[78][12] d[78][13] d[78][14] d[78][15] d[78][16] d[78][17] d[78][18] d[78][19] d[78][20] d[78][21] d[78][22] d[78][23] d[78][24] d[78][25] d[78][26] d[78][27] d[78][28] d[78][29] d[78][30] d[78][31] d[78][32] d[78][33] d[78][34] d[78][35] d[78][36] d[78][37] d[78][38] d[78][39] d[78][40] d[78][41] d[78][42] d[78][43] d[78][44] d[78][45] d[78][46] d[78][47] d[78][48] d[78][49] d[78][50] d[78][51] d[78][52] d[78][53] d[78][54] d[78][55] d[78][56] d[78][57] d[78][58] d[78][59] d[78][60] d[78][61] d[78][62] d[78][63] d[78][64] d[78][65] d[78][66] d[78][67] d[78][68] d[78][69] d[78][70] d[78][71] d[78][72] d[78][73] d[78][74] d[78][75] d[78][76] d[78][77] d[78][78] d[78][79] d[78][80] d[79][0] d[79][1] d[79][2] d[79][3] d[79][4] d[79][5] d[79][6] d[79][7] d[79][8] d[79][9] d[79][10] d[79][11] d[79][12] d[79][13] d[79][14] d[79][15] d[79][16] d[79][17] d[79][18] d[79][19] d[79][20] d[79][21] d[79][22] d[79][23] d[79][24] d[79][25] d[79][26] d[79][27] d[79][28] d[79][29] d[79][30] d[79][31] d[79][32] d[79][33] d[79][34] d[79][35] d[79][36] d[79][37] d[79][38] d[79][39] d[79][40] d[79][41] d[79][42] d[79][43] d[79][44] d[79][45] d[79][46] d[79][47] d[79][48] d[79][49] d[79][50] d[79][51] d[79][52] d[79][53] d[79][54] d[79][55] d[79][56] d[79][57] d[79][58] d[79][59] d[79][60] d[79][61] d[79][62] d[79][63] d[79][64] d[79][65] d[79][66] d[79][67] d[79][68] d[79][69] d[79][70] d[79][71] d[79][72] d[79][73] d[79][74] d[79][75] d[79][76] d[79][77] d[79][78] d[79][79] d[79][80] d[80][0] d[80][1] d[80][2] d[80][3] d[80][4] d[80][5] d[80][6] d[80][7] d[80][8] d[80][9] d[80][10] d[80][11] d[80][12] d[80][13] d[80][14] d[80][15] d[80][16] d[80][17] d[80][18] d[80][19] d[80][20] d[80][21] d[80][22] d[80][23] d[80][24] d[80][25] d[80][26] d[80][27] d[80][28] d[80][29] d[80][30] d[80][31] d[80][32] d[80][33] d[80][34] d[80][35] d[80][36] d[80][37] d[80][38] d[80][39] d[80][40] d[80][41] d[80][42] d[80][43] d[80][44] d[80][45] d[80][46] d[80][47] d[80][48] d[80][49] d[80][50] d[80][51] d[80][52] d[80][53] d[80][54] d[80][55] d[80][56] d[80][57] d[80][58] d[80][59] d[80][60] d[80][61] d[80][62] d[80][63] d[80][64] d[80][65] d[80][66] d[80][67] d[80][68] d[80][69] d[80][70] d[80][71] d[80][72] d[80][73] d[80][74] d[80][75] d[80][76] d[80][77] d[80][78] d[80][79] d[80][80] </list>
2400.07/2402.00	v   <values> 7 24 49 67 44 51 41 22 21 53 0 74 31 33 14 16 66 59 25 42 57 72 61 36 64 32 34 77 23 62 17 12 38 69 3 80 8 58 78 50 26 6 47 48 37 9 19 43 18 10 20 5 40 28 15 13 4 71 75 35 30 55 54 46 63 1 11 45 27 68 2 29 52 39 76 70 73 56 60 65 79 * 2 0 2 2 2 1 2 0 2 10 5 10 1 2 2 0 5 1 2 2 4 0 5 2 0 0 2 2 2 2 0 1 5 0 2 10 0 0 5 1 0 0 0 2 5 2 6 3 2 2 0 0 1 5 4 2 10 1 1 0 0 0 0 2 0 1 5 2 0 0 0 0 0 0 0 5 0 2 0 0 * * 5 5 0 0 0 5 5 0 4 2 4 6 0 5 2 0 10 0 2 4 1 3 0 5 0 0 5 10 1 3 2 0 0 1 5 5 0 0 1 0 5 2 4 5 5 0 0 0 2 0 3 5 0 5 0 4 1 2 0 0 0 1 0 5 1 5 6 2 5 5 0 1 1 2 5 0 5 1 4 * * * 6 5 2 2 1 0 5 10 4 0 0 2 10 2 1 2 1 5 0 4 1 2 6 0 2 3 2 5 1 0 0 1 5 10 0 2 5 1 4 10 2 0 0 4 1 4 1 5 5 5 3 1 0 5 0 0 1 0 2 0 0 3 0 0 0 0 0 2 5 1 0 4 0 1 0 2 2 0 * * * * 10 4 3 0 0 0 0 5 10 5 1 5 2 10 0 10 2 5 5 0 2 0 3 5 3 1 1 10 0 2 0 0 2 4 1 5 10 5 0 2 0 0 0 5 0 0 2 0 2 0 3 1 0 3 0 5 10 3 0 0 6 5 0 5 0 2 0 2 0 0 2 3 0 10 2 5 1 * * * * * 10 4 5 10 2 10 5 0 0 1 10 1 0 1 2 2 1 10 1 3 0 5 10 1 0 2 5 0 5 0 0 1 0 1 5 10 5 2 1 2 5 5 5 5 0 0 3 0 2 2 1 5 10 0 3 4 0 4 1 0 5 5 0 3 5 0 2 2 0 0 1 10 0 0 5 0 * * * * * * 10 2 0 0 0 5 5 1 4 5 0 0 0 3 10 0 10 5 0 0 3 1 3 5 0 10 0 4 0 0 0 0 1 0 0 1 1 2 4 5 0 6 1 6 4 5 0 2 0 10 2 0 5 1 2 10 2 3 1 0 0 10 0 2 0 0 5 1 2 0 0 2 5 0 0 * * * * * * * 10 6 5 5 5 5 5 5 10 0 1 5 2 2 4 2 0 5 3 5 5 4 0 10 5 5 5 5 0 0 2 10 0 0 1 5 2 0 1 1 0 0 4 1 0 2 0 1 2 5 2 1 2 4 10 1 1 2 0 2 1 5 0 0 1 2 2 0 2 0 2 5 0 0 * * * * * * * * 5 0 5 2 2 0 10 2 10 10 0 0 0 0 5 10 4 2 5 0 2 0 0 0 5 5 5 2 2 0 2 1 4 0 0 5 0 0 5 0 10 2 0 2 5 0 1 1 0 5 2 0 0 0 2 3 0 0 3 2 0 10 2 0 0 2 5 2 5 2 0 4 5 * * * * * * * * * 0 5 10 1 1 3 0 0 0 5 10 4 5 2 3 0 1 5 5 2 2 0 1 0 0 5 1 0 5 5 0 0 0 0 10 4 0 5 0 2 0 5 1 10 10 0 0 0 5 0 2 0 6 10 1 5 0 0 0 0 0 1 0 1 0 3 5 0 5 4 5 0 * * * * * * * * * * 2 10 0 5 5 0 5 5 10 5 5 5 6 2 5 2 0 1 5 2 0 3 1 1 5 2 1 5 2 4 5 2 0 0 5 5 2 4 2 1 4 0 0 1 5 0 0 0 0 5 1 0 0 2 0 3 5 2 3 0 0 3 10 0 0 1 0 0 0 4 0 * * * * * * * * * * * 10 10 2 2 10 0 2 0 10 5 10 10 0 1 1 5 2 2 0 1 2 2 5 0 5 2 5 1 5 2 10 4 2 1 0 5 5 2 6 0 0 1 4 10 1 10 1 3 10 0 2 2 0 1 0 1 1 0 0 5 0 5 2 4 6 2 2 2 0 1 * * * * * * * * * * * * 10 5 5 0 5 0 2 6 10 10 5 5 2 1 10 1 0 1 10 5 5 0 1 1 0 10 10 2 1 5 0 1 5 5 0 0 5 0 0 0 0 5 1 1 1 10 5 0 0 4 1 10 5 2 0 1 2 1 5 3 5 0 5 10 2 0 0 0 5 * * * * * * * * * * * * * 2 10 3 3 0 6 0 5 5 0 10 0 4 2 0 10 4 1 10 5 0 3 10 2 5 4 0 0 2 0 6 3 2 1 2 2 6 3 0 2 0 0 2 4 2 1 0 0 0 0 0 0 2 5 5 0 0 5 5 0 0 2 1 10 0 5 2 1 * * * * * * * * * * * * * * 5 0 5 4 10 0 1 2 0 10 10 5 0 0 0 5 10 2 0 10 2 1 5 0 2 5 0 0 0 2 0 0 0 3 0 5 5 2 0 10 5 2 2 2 10 0 2 1 1 0 0 0 0 0 0 5 1 2 2 5 1 0 2 0 2 0 3 * * * * * * * * * * * * * * * 10 0 0 0 5 0 6 3 2 0 5 5 0 5 0 5 1 10 5 0 3 0 0 0 0 0 2 5 5 0 0 1 3 10 1 10 1 4 2 5 5 0 0 2 6 0 4 5 1 5 10 1 0 5 4 1 0 0 1 0 2 5 5 5 2 0 * * * * * * * * * * * * * * * * 0 10 2 0 0 0 5 4 3 5 2 0 2 0 0 3 1 5 0 6 6 2 0 0 2 2 10 3 5 2 0 4 5 4 4 10 0 4 0 2 5 1 5 3 0 3 2 1 1 0 0 5 2 10 0 0 2 1 1 5 2 5 1 10 1 * * * * * * * * * * * * * * * * * 0 1 0 10 2 2 2 5 5 4 2 4 4 2 5 2 2 3 10 5 0 2 2 1 0 0 0 0 1 3 0 0 0 5 5 2 0 2 2 0 0 0 5 2 6 5 0 1 5 0 0 0 5 0 2 5 3 1 0 0 0 1 1 5 * * * * * * * * * * * * * * * * * * 1 0 0 0 5 10 0 5 2 0 0 2 1 3 2 2 5 5 0 1 3 1 5 0 0 2 5 3 5 2 10 0 0 5 0 1 2 0 0 1 10 0 0 0 2 5 5 0 5 5 1 0 2 0 3 3 0 2 0 2 0 0 2 * * * * * * * * * * * * * * * * * * * 0 1 5 0 0 5 2 1 2 1 2 5 0 5 5 5 10 5 5 5 10 1 0 2 1 0 0 10 2 5 4 4 2 2 0 2 2 3 0 0 5 5 2 1 2 5 10 5 0 0 0 6 0 0 0 2 1 5 5 0 2 1 * * * * * * * * * * * * * * * * * * * * 2 5 2 5 0 3 1 2 10 5 5 2 3 10 0 0 0 10 5 0 1 5 0 0 5 5 5 0 5 1 5 0 5 1 1 5 10 0 0 0 1 1 2 0 1 0 4 3 0 2 1 0 5 1 1 1 0 1 3 0 2 * * * * * * * * * * * * * * * * * * * * * 5 1 10 5 0 5 5 5 10 5 10 0 2 1 6 0 1 10 5 10 0 0 3 10 2 5 10 1 5 5 5 0 5 1 3 10 5 1 2 0 2 0 2 0 0 1 1 2 5 0 5 0 0 10 5 0 4 2 0 1 * * * * * * * * * * * * * * * * * * * * * * 10 5 3 10 2 5 5 2 2 5 0 0 0 1 1 6 4 4 2 5 4 0 3 10 1 0 5 1 0 5 0 2 2 2 3 5 0 5 5 1 2 1 2 3 0 3 2 5 2 5 5 3 2 3 0 2 5 0 10 * * * * * * * * * * * * * * * * * * * * * * * 10 0 2 0 5 10 10 3 10 1 5 4 1 5 5 0 1 10 5 5 5 0 1 5 2 1 1 4 0 2 3 0 0 10 4 5 4 5 0 10 0 2 0 2 1 0 4 2 0 0 3 0 0 5 10 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 1 5 0 2 0 10 10 1 4 5 5 0 1 5 1 10 1 2 5 5 1 10 5 5 0 0 1 2 6 5 5 1 0 2 10 5 1 10 1 2 0 2 3 4 4 5 0 6 0 0 1 2 0 5 1 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 5 0 2 2 2 0 5 2 2 3 2 5 4 0 2 2 0 1 1 10 5 5 10 4 2 2 0 1 6 0 2 0 1 1 0 5 0 3 0 0 0 5 5 3 10 1 3 2 2 2 1 4 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 2 5 10 0 0 5 0 0 1 5 5 4 1 10 5 10 0 2 2 5 6 5 0 10 0 0 0 0 0 2 1 1 1 0 0 1 10 10 2 2 1 5 5 0 2 0 2 2 0 0 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 6 5 5 1 2 10 0 5 1 0 5 2 2 0 2 5 5 5 0 1 1 0 3 5 4 2 2 10 1 2 3 5 5 0 0 0 5 5 5 0 3 2 0 2 2 1 0 0 0 2 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 5 0 10 5 1 5 10 10 0 2 5 2 0 1 5 0 10 10 0 1 1 6 1 3 2 2 2 2 0 2 2 0 2 2 0 0 2 1 5 2 2 2 5 1 1 1 5 5 0 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 1 2 2 5 2 0 10 1 10 2 5 0 5 1 5 5 5 0 4 0 1 1 5 3 0 5 2 0 5 0 5 0 10 10 0 1 0 0 5 0 0 4 5 10 2 1 2 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 2 5 3 0 0 2 1 2 5 4 1 0 2 5 1 0 3 0 2 2 0 5 2 1 2 3 0 0 0 5 5 5 5 0 10 0 2 6 0 5 0 5 2 1 1 2 0 6 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 1 3 0 1 2 5 10 10 10 0 0 0 5 10 0 10 1 0 5 5 0 5 2 4 5 2 2 5 5 5 1 5 5 1 0 0 0 0 0 1 1 2 2 0 2 2 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 4 4 0 5 3 0 5 1 0 1 2 0 2 2 0 3 10 0 10 0 2 0 5 1 5 2 4 1 2 2 10 2 2 10 0 3 6 0 10 0 5 5 0 0 10 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 0 0 3 3 1 10 2 1 5 10 2 3 0 5 1 5 0 0 0 5 2 5 4 0 1 0 2 2 3 0 0 4 2 0 1 5 0 2 1 0 5 2 5 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 5 2 0 2 0 2 2 10 6 5 0 4 0 6 5 5 5 3 5 5 0 4 2 0 3 5 0 3 1 0 5 5 2 1 0 5 0 0 2 2 6 0 10 1 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 5 0 3 5 5 10 10 5 2 0 2 5 1 10 5 0 0 2 0 1 5 0 0 5 0 0 5 1 5 0 2 6 5 2 2 2 1 5 0 0 2 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 5 0 1 2 2 5 5 2 1 0 1 4 10 4 6 0 10 5 0 0 0 5 0 2 0 1 0 2 3 10 0 1 0 2 2 0 0 2 0 0 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 0 10 5 10 10 3 0 0 2 5 10 2 5 1 0 0 10 5 5 2 0 10 0 2 2 3 5 0 2 0 0 2 1 1 1 0 2 0 1 5 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 5 10 5 5 2 1 2 5 5 5 2 2 2 0 4 5 2 0 5 5 5 2 4 5 3 5 0 0 3 0 0 0 4 10 2 5 0 1 1 6 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 5 2 1 2 0 1 0 2 0 0 2 5 6 10 5 10 2 2 0 2 0 0 0 0 5 10 0 4 0 3 1 2 1 5 5 5 0 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 10 2 0 4 5 0 5 5 2 0 2 0 2 2 0 5 1 1 5 1 1 5 0 10 10 2 10 4 0 0 0 2 1 5 0 5 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 1 1 5 5 0 5 0 4 1 2 10 0 0 1 3 1 1 1 2 5 0 0 5 1 5 0 2 5 2 1 0 0 2 6 4 0 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 4 5 0 0 0 5 1 10 5 10 0 2 0 0 0 2 2 10 5 0 10 3 5 0 2 10 6 2 0 1 0 0 3 0 5 1 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 0 0 0 1 1 0 6 2 2 0 5 5 3 10 10 2 10 5 1 2 0 2 0 3 0 5 0 3 0 1 0 0 10 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 5 10 5 2 5 3 5 0 5 2 1 0 0 5 2 3 5 0 0 0 1 2 2 4 5 2 6 5 10 0 2 1 2 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 5 2 0 1 10 0 3 2 1 2 2 2 10 2 5 5 0 1 3 2 1 0 1 10 1 1 6 0 0 0 5 0 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 10 5 0 2 5 0 0 5 0 3 0 1 2 2 1 10 0 0 0 2 10 0 0 1 10 5 0 10 0 2 0 2 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 0 0 1 1 10 10 0 2 4 0 5 1 0 2 5 5 2 1 5 0 1 1 1 10 5 0 5 4 5 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 10 5 10 2 10 2 0 3 2 0 4 2 2 0 2 10 10 1 0 0 0 1 1 0 5 0 5 4 0 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 0 5 0 0 10 0 5 0 4 5 1 0 2 4 1 4 5 0 1 5 2 5 5 1 0 10 0 2 2 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 3 2 2 5 2 0 6 0 1 10 0 5 5 1 10 2 5 2 1 0 2 2 10 0 5 2 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 0 1 2 1 5 2 10 0 1 0 5 0 0 5 2 0 10 10 3 5 5 5 5 2 2 5 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 5 10 0 0 10 5 5 2 1 2 0 2 0 10 2 5 0 2 2 1 2 1 0 3 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 3 5 2 5 5 2 5 0 0 0 0 1 0 5 0 6 5 1 2 2 0 2 10 1 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 5 2 4 4 0 10 1 2 0 5 10 5 0 2 10 1 6 1 5 2 2 0 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 5 0 10 10 1 5 2 5 5 4 0 10 1 2 3 0 3 0 1 0 0 1 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 2 5 5 2 5 0 5 5 5 0 2 10 1 2 5 10 0 0 5 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 5 0 5 2 2 10 2 1 1 2 6 1 2 0 4 10 2 1 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 2 5 3 0 0 2 5 10 10 0 4 1 2 3 2 5 1 5 5 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 1 0 2 2 10 0 0 0 6 2 0 4 2 2 10 2 0 10 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 0 10 6 0 5 0 0 10 2 1 5 2 0 0 5 1 2 0 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 2 6 2 3 0 5 0 5 5 0 0 4 2 2 2 4 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 0 4 0 2 10 0 5 10 1 3 2 4 2 5 2 5 10 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 5 2 3 0 1 1 0 2 2 5 10 2 0 2 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 2 0 1 3 5 5 0 6 10 1 1 2 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 10 5 0 0 1 1 3 5 2 1 5 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 5 5 5 5 5 3 2 5 0 0 1 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 4 0 1 0 5 2 6 10 5 4 5 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 1 5 5 5 0 0 1 2 0 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 6 2 2 2 0 1 4 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 0 2 10 0 2 1 5 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 5 1 0 6 0 5 10 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 0 4 0 10 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 6 6 0 0 3 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 0 0 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 3 5 5 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 0 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 10 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2400.07/2402.00	v </instantiation>

OK	47389

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

pid=7826
running on 4 cores: 0,2,4,6

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: 2.00 2.02 2.05 3/186 7829
/proc/meminfo: memFree=31389976/32770624 swapFree=6372/276616
[pid=7829] ppid=7826 vsize=28932 CPUtime=0 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 995 0 0 0 0 0 0 0 20 0 1 0 18755072 29626368 823 33554432000 4194304 7402444 140736678566096 140736678563144 5911063 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 7233 823 619 784 0 247 0

[startup+0.100112 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7829
/proc/meminfo: memFree=31389976/32770624 swapFree=6372/276616
[pid=7829] ppid=7826 vsize=40836 CPUtime=0.09 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 4214 0 0 0 9 0 0 0 20 0 1 0 18755072 41816064 3806 33554432000 4194304 7402444 140736678566096 140736678559336 5919543 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 10209 3806 621 784 0 3223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40836

[startup+0.200321 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7829
/proc/meminfo: memFree=31389976/32770624 swapFree=6372/276616
[pid=7829] ppid=7826 vsize=67820 CPUtime=0.19 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 10974 0 0 0 19 0 0 0 20 0 1 0 18755072 69447680 10537 33554432000 4194304 7402444 140736678566096 140736678557432 140048458873829 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 16955 10603 666 784 0 9969 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 67820

[startup+0.300295 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7829
/proc/meminfo: memFree=31389976/32770624 swapFree=6372/276616
[pid=7829] ppid=7826 vsize=127560 CPUtime=0.29 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 25902 0 0 0 27 2 0 0 20 0 1 0 18755072 130621440 25519 33554432000 4194304 7402444 140736678566096 140736678557608 140048458873829 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 31890 25519 666 784 0 24904 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 127560

[startup+0.700236 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 7829
/proc/meminfo: memFree=31389976/32770624 swapFree=6372/276616
[pid=7829] ppid=7826 vsize=368132 CPUtime=0.69 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 86057 0 0 0 60 9 0 0 20 0 1 0 18755072 376967168 85645 33554432000 4194304 7402444 140736678566096 140736678557176 140048458921888 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 92068 85645 666 784 0 85082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 368132

[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7830
/proc/meminfo: memFree=30808864/32770624 swapFree=6372/276468
[pid=7829] ppid=7826 vsize=847540 CPUtime=1.49 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 205879 0 0 0 125 24 0 0 20 0 1 0 18755072 867880960 205501 33554432000 4194304 7402444 140736678566096 140736678557176 5754793 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 211885 205501 666 784 0 204899 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 847540

[startup+3.10023 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7830
/proc/meminfo: memFree=30148812/32770624 swapFree=6372/276448
[pid=7829] ppid=7826 vsize=1800832 CPUtime=3.08 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 445280 0 0 0 256 52 0 0 20 0 1 0 18755072 1844051968 443826 33554432000 4194304 7402444 140736678566096 140736678557592 4483593 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 450243 443826 666 784 0 443257 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1800832

[startup+6.30022 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7830
/proc/meminfo: memFree=29333720/32770624 swapFree=6372/276448
[pid=7829] ppid=7826 vsize=2083552 CPUtime=6.28 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 833341 0 0 0 553 75 0 0 20 0 1 0 18755072 2133557248 514539 33554432000 4194304 7402444 140736678566096 140736678560408 4747171 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 520888 514539 702 784 0 513902 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 2083552

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7830
/proc/meminfo: memFree=29261552/32770624 swapFree=6372/276460
[pid=7829] ppid=7826 vsize=2151112 CPUtime=12.68 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 1163582 0 0 0 1177 91 0 0 20 0 1 0 18755072 2202738688 531447 33554432000 4194304 7402444 140736678566096 140736678561112 4465470 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 537778 531447 712 784 0 530792 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2151112

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7830
/proc/meminfo: memFree=29194100/32770624 swapFree=6372/276464
[pid=7829] ppid=7826 vsize=2218440 CPUtime=25.47 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 1678786 0 0 0 2432 115 0 0 20 0 1 0 18755072 2271682560 548288 33554432000 4194304 7402444 140736678566096 140736678561112 4484665 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 554610 548288 712 784 0 547624 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2218440

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7830
/proc/meminfo: memFree=29161488/32770624 swapFree=6372/276500
[pid=7829] ppid=7826 vsize=2250656 CPUtime=51.05 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 2042532 0 0 0 4973 132 0 0 20 0 1 0 18755072 2304671744 556334 33554432000 4194304 7402444 140736678566096 140736678561112 4465465 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 562664 556334 712 784 0 555678 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 2250656

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7838
/proc/meminfo: memFree=29142852/32770624 swapFree=6372/276576
[pid=7829] ppid=7826 vsize=2266900 CPUtime=102.21 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 2588839 0 0 0 10063 158 0 0 20 0 1 0 18755072 2321305600 560418 33554432000 4194304 7402444 140736678566096 140736678561112 4465423 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 566725 560418 712 784 0 559739 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 2266900

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7839
/proc/meminfo: memFree=29133852/32770624 swapFree=6372/276644
[pid=7829] ppid=7826 vsize=2276140 CPUtime=162.16 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 3042241 0 0 0 16034 182 0 0 20 0 1 0 18755072 2330767360 562724 33554432000 4194304 7402444 140736678566096 140736678561112 4484555 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 569035 562724 712 784 0 562049 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 2276140

[startup+222.306 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 7840
/proc/meminfo: memFree=29128192/32770624 swapFree=6372/276708
[pid=7829] ppid=7826 vsize=2281424 CPUtime=222.12 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 3380761 0 0 0 22012 200 0 0 20 0 1 0 18755072 2336178176 564025 33554432000 4194304 7402444 140736678566096 140736678561112 4463845 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 570356 564025 712 784 0 563370 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 2281424

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7841
/proc/meminfo: memFree=29122920/32770624 swapFree=6372/276756
[pid=7829] ppid=7826 vsize=2286724 CPUtime=282.05 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 3786777 0 0 0 27987 218 0 0 20 0 1 0 18755072 2341605376 565356 33554432000 4194304 7402444 140736678566096 140736678561112 4484571 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 571681 565356 712 784 0 564695 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 2286724

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7842
/proc/meminfo: memFree=29117276/32770624 swapFree=6372/276820
[pid=7829] ppid=7826 vsize=2292416 CPUtime=342 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 4149693 0 0 0 33964 236 0 0 20 0 1 0 18755072 2347433984 566778 33554432000 4194304 7402444 140736678566096 140736678561112 4463814 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 573104 566778 712 784 0 566118 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 2292416

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7843
/proc/meminfo: memFree=29112076/32770624 swapFree=6372/276868
[pid=7829] ppid=7826 vsize=2298232 CPUtime=401.95 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 4485316 0 0 0 39943 252 0 0 20 0 1 0 18755072 2353389568 568222 33554432000 4194304 7402444 140736678566096 140736678560632 4484558 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 574558 568222 712 784 0 567572 0
Current children cumulated CPU time (s) 401.95
Current children cumulated vsize (KiB) 2298232

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7844
/proc/meminfo: memFree=29109656/32770624 swapFree=6372/276924
[pid=7829] ppid=7826 vsize=2300476 CPUtime=461.9 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 4815681 0 0 0 45922 268 0 0 20 0 1 0 18755072 2355687424 568811 33554432000 4194304 7402444 140736678566096 140736678560632 4484558 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 575119 568811 712 784 0 568133 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 2300476

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7845
/proc/meminfo: memFree=29107004/32770624 swapFree=6372/276968
[pid=7829] ppid=7826 vsize=2302080 CPUtime=521.84 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 5119813 0 0 0 51901 283 0 0 20 0 1 0 18755072 2357329920 569183 33554432000 4194304 7402444 140736678566096 140736678560632 4712981 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 575520 569183 712 784 0 568534 0
Current children cumulated CPU time (s) 521.84
Current children cumulated vsize (KiB) 2302080

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7846
/proc/meminfo: memFree=29101360/32770624 swapFree=6372/277028
[pid=7829] ppid=7826 vsize=2307244 CPUtime=581.79 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 5420677 0 0 0 57881 298 0 0 20 0 1 0 18755072 2362617856 570486 33554432000 4194304 7402444 140736678566096 140736678560632 5750759 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 576811 570486 712 784 0 569825 0
Current children cumulated CPU time (s) 581.79
Current children cumulated vsize (KiB) 2307244


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 7900
/proc/meminfo: memFree=29056560/32770624 swapFree=6372/277724
[pid=7829] ppid=7826 vsize=2353504 CPUtime=1481.03 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7467084 0 0 0 147705 398 0 0 20 0 1 0 18755072 2409988096 582055 33554432000 4194304 7402444 140736678566096 140736678560632 5754027 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 588376 582055 712 784 0 581390 0
Current children cumulated CPU time (s) 1481.03
Current children cumulated vsize (KiB) 2353504

[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 7901
/proc/meminfo: memFree=29054824/32770624 swapFree=6372/277772
[pid=7829] ppid=7826 vsize=2355352 CPUtime=1540.99 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7469857 0 0 0 153701 398 0 0 20 0 1 0 18755072 2411880448 582542 33554432000 4194304 7402444 140736678566096 140736678561112 5750759 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 588838 582542 712 784 0 581852 0
Current children cumulated CPU time (s) 1540.99
Current children cumulated vsize (KiB) 2355352

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7902
/proc/meminfo: memFree=29052368/32770624 swapFree=6372/277808
[pid=7829] ppid=7826 vsize=2358276 CPUtime=1600.95 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7473663 0 0 0 159696 399 0 0 20 0 1 0 18755072 2414874624 583273 33554432000 4194304 7402444 140736678566096 140736678560632 4484555 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 589569 583273 712 784 0 582583 0
Current children cumulated CPU time (s) 1600.95
Current children cumulated vsize (KiB) 2358276

[startup+1662.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/187 7903
/proc/meminfo: memFree=29048252/32770624 swapFree=6372/277856
[pid=7829] ppid=7826 vsize=2363028 CPUtime=1660.91 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7478832 0 0 0 165691 400 0 0 20 0 1 0 18755072 2419740672 584383 33554432000 4194304 7402444 140736678566096 140736678560632 4463889 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 590757 584383 712 784 0 583771 0
Current children cumulated CPU time (s) 1660.91
Current children cumulated vsize (KiB) 2363028

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 7904
/proc/meminfo: memFree=29045752/32770624 swapFree=6372/277888
[pid=7829] ppid=7826 vsize=2365008 CPUtime=1720.86 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7483886 0 0 0 171686 400 0 0 20 0 1 0 18755072 2421768192 584918 33554432000 4194304 7402444 140736678566096 140736678560632 4463864 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 591252 584918 712 784 0 584266 0
Current children cumulated CPU time (s) 1720.86
Current children cumulated vsize (KiB) 2365008

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7905
/proc/meminfo: memFree=29041536/32770624 swapFree=6372/277936
[pid=7829] ppid=7826 vsize=2368704 CPUtime=1780.82 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7490443 0 0 0 177681 401 0 0 20 0 1 0 18755072 2425552896 585880 33554432000 4194304 7402444 140736678566096 140736678560632 4712981 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 592176 585880 712 784 0 585190 0
Current children cumulated CPU time (s) 1780.82
Current children cumulated vsize (KiB) 2368704

[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7906
/proc/meminfo: memFree=29038560/32770624 swapFree=6372/277980
[pid=7829] ppid=7826 vsize=2372140 CPUtime=1840.77 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7497780 0 0 0 183675 402 0 0 20 0 1 0 18755072 2429071360 586727 33554432000 4194304 7402444 140736678566096 140736678561112 4484598 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 593035 586727 712 784 0 586049 0
Current children cumulated CPU time (s) 1840.77
Current children cumulated vsize (KiB) 2372140

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7915
/proc/meminfo: memFree=29036444/32770624 swapFree=6372/278040
[pid=7829] ppid=7826 vsize=2374664 CPUtime=1900.73 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7499906 0 0 0 189671 402 0 0 20 0 1 0 18755072 2431655936 587364 33554432000 4194304 7402444 140736678566096 140736678561112 4463919 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 593666 587364 712 784 0 586680 0
Current children cumulated CPU time (s) 1900.73
Current children cumulated vsize (KiB) 2374664

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 7916
/proc/meminfo: memFree=29036016/32770624 swapFree=6372/278076
[pid=7829] ppid=7826 vsize=2375324 CPUtime=1960.68 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7512968 0 0 0 195665 403 0 0 20 0 1 0 18755072 2432331776 587532 33554432000 4194304 7402444 140736678566096 140736678560632 5750752 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 593831 587532 712 784 0 586845 0
Current children cumulated CPU time (s) 1960.68
Current children cumulated vsize (KiB) 2375324

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7917
/proc/meminfo: memFree=29035732/32770624 swapFree=6372/278108
[pid=7829] ppid=7826 vsize=2375588 CPUtime=2020.65 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7514413 0 0 0 201661 404 0 0 20 0 1 0 18755072 2432602112 587590 33554432000 4194304 7402444 140736678566096 140736678560632 4484558 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 593897 587590 712 784 0 586911 0
Current children cumulated CPU time (s) 2020.65
Current children cumulated vsize (KiB) 2375588

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7918
/proc/meminfo: memFree=29035468/32770624 swapFree=6372/278140
[pid=7829] ppid=7826 vsize=2375984 CPUtime=2080.61 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7521906 0 0 0 207656 405 0 0 20 0 1 0 18755072 2433007616 587698 33554432000 4194304 7402444 140736678566096 140736678560632 4466912 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 593996 587698 712 784 0 587010 0
Current children cumulated CPU time (s) 2080.61
Current children cumulated vsize (KiB) 2375984

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7919
/proc/meminfo: memFree=29035220/32770624 swapFree=6372/278188
[pid=7829] ppid=7826 vsize=2376116 CPUtime=2140.56 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7523389 0 0 0 213651 405 0 0 20 0 1 0 18755072 2433142784 587718 33554432000 4194304 7402444 140736678566096 140736678560632 5750759 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 594029 587718 712 784 0 587043 0
Current children cumulated CPU time (s) 2140.56
Current children cumulated vsize (KiB) 2376116

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7920
/proc/meminfo: memFree=29035360/32770624 swapFree=6372/278220
[pid=7829] ppid=7826 vsize=2376116 CPUtime=2200.52 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7524806 0 0 0 219647 405 0 0 20 0 1 0 18755072 2433142784 587719 33554432000 4194304 7402444 140736678566096 140736678560632 4484555 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 594029 587719 712 784 0 587043 0
Current children cumulated CPU time (s) 2200.52
Current children cumulated vsize (KiB) 2376116

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7921
/proc/meminfo: memFree=29031764/32770624 swapFree=6372/278260
[pid=7829] ppid=7826 vsize=2379296 CPUtime=2260.47 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7539951 0 0 0 225641 406 0 0 20 0 1 0 18755072 2436399104 588496 33554432000 4194304 7402444 140736678566096 140736678561112 5753888 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 594824 588496 712 784 0 587838 0
Current children cumulated CPU time (s) 2260.47
Current children cumulated vsize (KiB) 2379296

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7986
/proc/meminfo: memFree=29105592/32770624 swapFree=6372/278332
[pid=7829] ppid=7826 vsize=2382332 CPUtime=2320.42 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7549635 0 0 0 231635 407 0 0 20 0 1 0 18755072 2439507968 589260 33554432000 4194304 7402444 140736678566096 140736678560632 4484558 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 595583 589260 712 784 0 588597 0
Current children cumulated CPU time (s) 2320.42
Current children cumulated vsize (KiB) 2382332

[startup+2382.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7987
/proc/meminfo: memFree=29102184/32770624 swapFree=6372/278428
[pid=7829] ppid=7826 vsize=2385652 CPUtime=2380.38 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7560126 0 0 0 237630 408 0 0 20 0 1 0 18755072 2442907648 590085 33554432000 4194304 7402444 140736678566096 140736678561112 4466912 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 596413 590085 712 784 0 589427 0
Current children cumulated CPU time (s) 2380.38
Current children cumulated vsize (KiB) 2385652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 7987
/proc/meminfo: memFree=29101444/32770624 swapFree=6372/278452
[pid=7829] ppid=7826 vsize=2386048 CPUtime=2400.07 cores=0,2,4,6
/proc/7829/stat : 7829 (MistralXCSP) R 7826 7829 5959 0 -1 4202496 7560717 0 0 0 239599 408 0 0 20 0 1 0 18755072 2443313152 590175 33554432000 4194304 7402444 140736678566096 140736678560632 4240678 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 29716480 140736678569129 140736678569278 140736678569278 140736678571977 0
/proc/7829/statm: 596512 590175 712 784 0 589526 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 2386048

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

Child status: 0
Real time (s): 2402.01
CPU time (s): 2400.09
CPU user time (s): 2396
CPU system time (s): 4.09497
CPU usage (%): 99.9201
Max. virtual memory (cumulated for all children) (KiB): 2386048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396
system time used= 4.09497
maximum resident set size= 2360828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7560746
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= 265
involuntary context switches= 123339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60936 second user time and 9.5755 second system time

The end

Begin job on node107 at 2017-07-21 14:39:08
IDJOB=4240540
IDBENCH=123121
IDSOLVER=2622
FILE ID=node107/4240540-1500640748
RUNJOBID= node107-1500623787-5990
PBS_JOBID= 20623020
Free space on /tmp= 61880 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko81.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-4240540-1500640748/watcher-4240540-1500640748 -o /tmp/evaluation-result-4240540-1500640748/solver-4240540-1500640748 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500623787-5990 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 870380304 HOME/instance-4240540-1500640748.xml

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

MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d
RANDOM SEED=870380304

node107.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		: 2133.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	: 5334.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.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	: 5334.02
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		: 1600.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		: 2133.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	: 5334.02
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		: 1600.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		: 2000.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	: 5334.02
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		: 1600.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:        31390012 kB
MemAvailable:   31898992 kB
Buffers:          164060 kB
Cached:           631548 kB
SwapCached:            0 kB
Active:           661740 kB
Inactive:         293468 kB
Active(anon):     162472 kB
Inactive(anon):    16852 kB
Active(file):     499268 kB
Inactive(file):   276616 kB
Unevictable:        6372 kB
Mlocked:            6380 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5996 kB
Writeback:             0 kB
AnonPages:        165984 kB
Mapped:            34476 kB
Shmem:             17044 kB
Slab:             123336 kB
SReclaimable:      97860 kB
SUnreclaim:        25476 kB
KernelStack:        3264 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     439552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61876 MiB
End job on node107 at 2017-07-21 15:19:10