0.00/0.08	c 280717
6.20/6.35	o 53491
6.40/6.59	o 53481
6.81/6.92	o 53463
11.30/11.48	o 53459
11.50/11.64	o 53425
11.60/11.76	o 53373
11.70/11.84	o 53369
12.11/12.24	o 53209
16.21/16.38	o 53153
16.51/16.61	o 53053
16.80/16.91	o 52957
24.11/24.28	o 52956
27.61/27.76	o 52942
27.71/27.87	o 52940
27.81/27.97	o 52938
27.91/28.06	o 52926
28.51/28.64	o 52922
28.91/29.07	o 52904
29.01/29.18	o 52892
32.81/32.93	o 52840
32.91/33.02	o 52810
37.70/37.80	o 52679
37.80/37.93	o 52657
37.90/38.02	o 52633
38.00/38.18	o 52582
38.60/38.75	o 52560
40.31/40.48	o 52558
45.61/45.71	o 52520
46.61/46.72	o 52494
48.80/48.92	o 52446
54.81/54.92	o 52388
59.11/59.25	o 52384
59.31/59.42	o 52313
59.31/59.50	o 52259
59.70/59.85	o 52225
59.80/59.94	o 52187
59.90/60.02	o 52129
64.10/64.22	o 52073
64.81/64.97	o 52053
66.20/66.31	o 52047
70.41/70.59	o 52041
75.30/75.46	o 51959
79.80/79.95	o 51937
80.31/80.41	o 51925
86.21/86.39	o 51912
86.61/86.77	o 51863
95.51/95.61	o 51823
95.61/95.79	o 51741
111.71/111.80	o 51673
116.10/116.29	o 51649
121.30/121.43	o 51621
122.61/122.78	o 51554
127.81/127.90	o 51526
131.30/131.49	o 51374
131.80/131.94	o 51338
132.10/132.21	o 51326
141.70/141.84	o 51320
143.70/143.83	o 51248
143.80/143.91	o 51218
143.80/143.97	o 51126
144.20/144.33	o 51120
151.50/151.67	o 50908
156.00/156.15	o 50880
161.00/161.17	o 50846
171.20/171.32	o 50815
171.40/171.59	o 50795
175.80/176.00	o 50773
182.00/182.13	o 50771
182.10/182.21	o 50747
182.20/182.37	o 50693
184.31/184.41	o 50679
192.21/192.32	o 50667
197.71/197.81	o 50644
204.30/204.48	o 50619
205.01/205.15	o 50586
208.41/208.53	o 50524
208.61/208.71	o 50490
208.71/208.87	o 50434
235.91/236.02	o 50408
240.60/240.77	o 50353
241.10/241.24	o 50335
245.31/245.47	o 50289
250.81/250.93	o 50282
251.01/251.16	o 50269
251.11/251.27	o 50175
255.41/255.56	o 50171
266.41/266.54	o 50159
269.41/269.58	o 50141
275.01/275.19	o 50121
289.91/290.07	o 50117
299.00/299.18	o 50049
304.91/305.09	o 50047
305.01/305.17	o 50027
305.51/305.65	o 50024
306.21/306.33	o 50014
315.01/315.18	o 49988
334.71/334.82	o 49936
334.91/335.01	o 49930
335.01/335.19	o 49922
339.50/339.68	o 49914
354.91/355.00	o 49888
360.11/360.27	o 49844
360.51/360.61	o 49824
361.31/361.48	o 49802
368.91/369.00	o 49694
368.91/369.08	o 49651
369.11/369.22	o 49527
369.21/369.34	o 49522
377.70/377.90	o 49508
398.21/398.31	o 49497
398.41/398.56	o 49483
398.61/398.74	o 49473
400.31/400.44	o 49471
402.31/402.43	o 49464
408.40/408.54	o 49384
410.20/410.33	o 49365
499.50/499.68	o 49295
499.60/499.76	o 49293
525.11/525.29	o 49285
530.21/530.37	o 49253
538.51/538.63	o 49237
542.71/542.87	o 49161
546.81/546.92	o 49137
561.31/561.46	o 49131
561.81/561.94	o 49122
563.11/563.28	o 49108
595.91/596.01	o 49074
609.51/609.64	o 49068
609.61/609.74	o 49051
614.31/614.43	o 48981
616.01/616.16	o 48968
616.11/616.23	o 48922
616.21/616.39	o 48914
620.70/620.81	o 48880
628.80/628.90	o 48868
628.90/629.09	o 48862
629.31/629.41	o 48850
633.70/633.89	o 48834
639.30/639.50	o 48814
643.40/643.60	o 48758
647.81/647.93	o 48724
652.60/652.73	o 48710
653.00/653.16	o 48697
653.20/653.30	o 48657
653.31/653.41	o 48646
660.30/660.43	o 48642
668.10/668.21	o 48542
709.70/709.82	o 48538
714.71/714.88	o 48534
724.41/724.55	o 48380
766.50/766.65	o 48352
796.31/796.44	o 48322
814.71/814.81	o 48222
819.60/819.75	o 48204
819.80/819.96	o 48183
820.90/821.02	o 48151
841.51/841.68	o 48144
847.41/847.58	o 48136
847.71/847.82	o 48126
855.71/855.84	o 48120
910.21/910.31	o 48118
967.71/967.80	o 48083
1066.02/1066.11	o 48067
1103.12/1103.23	o 48060
1112.42/1112.54	o 48018
1116.92/1117.04	o 48017
1125.92/1126.03	o 47975
1126.52/1126.68	o 47955
1166.62/1166.78	o 47923
1175.72/1175.82	o 47908
1180.33/1180.47	o 47856
1194.71/1194.87	o 47828
1254.22/1254.34	o 47824
1272.52/1272.61	o 47822
1286.62/1286.73	o 47817
1308.52/1308.64	o 47809
1424.71/1424.89	o 47787
1436.21/1436.34	o 47760
1507.52/1507.68	o 47744
1508.62/1508.77	o 47740
1515.92/1516.03	o 47734
1540.92/1541.03	o 47722
1558.02/1558.16	o 47706
1592.84/1592.91	o 47684
1597.03/1597.15	o 47672
1606.93/1607.07	o 47664
1629.04/1629.12	o 47633
1664.93/1665.04	o 47605
1704.33/1704.45	o 47591
1704.73/1704.80	o 47589
1780.04/1780.16	o 47587
1801.04/1801.19	o 47582
1812.34/1812.42	o 47576
1835.14/1835.21	o 47559
1864.64/1864.71	o 47538
1879.45/1879.53	o 47532
2183.07/2183.10	o 47527
2226.77/2226.87	o 47486
2253.47/2253.58	o 47480
2269.58/2269.68	o 47464
2296.38/2296.43	o 47436
2296.79/2296.86	o 47406
2344.88/2344.90	o 47389
2420.10/2420.17	o 47383
2476.69/2476.70	o 47381
2484.09/2484.11	o 47373
2495.10/2495.16	o 47363
2519.99/2520.00	s SATISFIABLE
2519.99/2520.00	v <instantiation type="solution">
2519.99/2520.00	v   <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] 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>
2519.99/2520.00	v   <values> 7 42 49 67 44 51 41 22 21 53 0 74 31 33 14 16 66 59 25 24 57 72 12 36 34 32 37 77 23 62 17 61 38 69 3 80 8 58 78 50 26 6 47 48 64 9 19 43 18 10 20 5 40 28 15 13 4 71 75 35 30 68 54 46 63 1 11 45 27 55 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 0 0 2 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 * * 1 10 2 3 2 0 10 5 10 6 0 0 5 0 0 0 0 0 2 5 2 5 1 3 5 2 10 5 5 2 3 10 0 0 0 10 5 0 1 5 0 0 0 5 5 0 5 1 5 0 5 1 1 5 10 0 0 0 1 2 2 0 1 0 4 3 0 1 1 0 5 1 1 1 0 1 3 0 2 * * * 6 5 2 2 1 0 5 10 4 0 0 2 10 2 1 2 5 5 0 1 1 0 6 0 2 3 2 5 4 0 0 1 5 10 0 2 5 1 4 10 2 2 0 4 1 4 1 5 5 5 3 1 0 5 0 0 1 0 0 0 0 3 0 0 0 0 2 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 5 2 5 10 0 3 0 0 5 3 1 1 5 0 2 0 0 2 4 1 5 10 5 0 2 2 0 0 5 0 0 2 0 2 0 3 1 0 3 0 5 10 2 0 0 6 5 0 5 0 3 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 0 2 1 5 1 5 0 2 10 1 0 2 10 0 5 0 0 1 0 1 5 10 5 2 1 3 5 5 5 5 0 0 3 0 2 2 1 5 10 0 3 4 5 4 1 0 5 5 0 3 0 0 2 2 0 0 1 10 0 0 5 0 * * * * * * 10 2 0 0 0 5 5 1 4 5 0 0 0 0 10 0 10 5 3 0 4 1 3 5 0 10 0 4 0 0 0 0 1 0 0 1 1 2 0 5 0 6 1 6 4 5 0 2 0 10 2 0 5 1 2 2 2 3 1 0 0 10 0 10 0 0 5 1 2 0 0 2 5 0 0 * * * * * * * 10 6 5 5 5 5 5 5 10 0 1 5 0 2 4 5 0 5 3 0 5 4 0 10 2 5 5 5 0 0 2 10 0 0 1 5 2 5 1 1 0 0 4 1 0 2 0 1 2 5 2 1 2 4 0 1 1 2 0 2 1 5 10 0 1 2 2 0 2 0 2 5 0 0 * * * * * * * * 5 0 5 2 2 0 10 2 10 10 0 5 0 0 0 10 5 2 0 0 2 0 0 5 5 5 5 2 2 0 2 1 4 0 0 5 4 0 5 0 10 2 0 2 5 0 1 1 0 5 2 0 0 10 2 3 0 0 3 2 0 0 2 0 0 2 5 2 5 2 0 4 5 * * * * * * * * * 0 5 10 1 1 3 0 0 0 5 5 4 5 1 3 5 1 4 5 2 2 0 2 0 0 5 1 0 5 5 0 0 0 0 10 0 0 5 0 2 0 5 1 10 10 0 0 0 5 0 2 0 0 10 1 5 0 0 0 0 6 1 0 1 0 3 5 0 5 4 5 0 * * * * * * * * * * 2 10 0 5 5 0 5 5 10 0 5 5 3 2 0 2 5 1 5 2 0 6 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 4 5 10 2 0 5 1 1 2 2 0 1 10 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 0 2 0 1 0 1 1 0 2 5 0 5 2 4 6 2 2 2 0 1 * * * * * * * * * * * * 10 5 5 0 5 0 2 2 10 10 5 5 10 1 5 1 0 1 10 5 5 0 1 1 0 10 10 2 1 5 0 1 2 5 0 0 5 0 0 0 0 5 1 1 1 10 5 0 0 1 1 10 5 2 0 1 2 4 5 3 5 0 5 10 2 0 0 0 5 * * * * * * * * * * * * * 2 10 3 3 0 6 4 5 5 10 10 2 4 3 0 10 4 1 0 5 0 3 10 2 5 4 0 0 2 0 6 0 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 6 1 2 2 10 0 5 0 0 0 5 10 0 0 10 2 1 5 0 2 5 0 0 0 2 10 0 0 3 0 5 5 2 0 10 5 2 2 2 10 0 2 5 1 0 0 0 0 0 0 1 1 2 2 5 1 0 2 0 2 0 3 * * * * * * * * * * * * * * * 10 0 0 0 0 0 6 1 2 5 5 0 0 5 0 5 3 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 5 0 0 3 4 2 5 5 0 2 0 0 5 1 5 0 6 6 2 0 0 2 2 10 3 3 2 0 4 5 4 4 10 0 4 0 2 5 1 5 3 0 10 2 1 1 0 0 5 2 3 0 0 2 1 1 5 2 5 1 10 1 * * * * * * * * * * * * * * * * * 0 1 2 10 2 5 2 4 5 0 2 4 4 2 2 2 2 3 10 5 0 2 2 1 0 0 0 5 1 3 0 0 0 5 5 2 0 2 2 0 0 0 5 2 5 5 0 1 5 0 0 0 6 0 2 5 3 1 0 0 0 1 1 5 * * * * * * * * * * * * * * * * * * 1 0 0 0 3 10 2 5 5 0 0 2 1 5 2 2 5 5 0 1 3 1 5 0 0 2 0 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 * * * * * * * * * * * * * * * * * * * 10 1 5 0 0 1 2 0 2 1 2 5 0 5 5 5 10 5 5 5 10 1 0 2 1 5 0 10 2 5 4 4 2 2 0 2 2 3 0 0 5 5 0 1 2 5 10 5 0 0 2 6 0 0 0 2 1 5 5 0 2 1 * * * * * * * * * * * * * * * * * * * * 2 4 3 3 0 5 4 0 5 10 1 1 2 0 0 1 5 5 0 0 1 0 5 2 0 5 5 0 0 0 2 0 3 5 0 5 0 4 1 2 0 2 0 1 0 5 1 5 6 0 5 5 0 1 1 2 5 0 5 1 4 * * * * * * * * * * * * * * * * * * * * * 5 10 10 5 0 10 5 5 10 5 1 0 2 1 6 0 1 10 5 10 0 0 3 5 2 5 10 1 5 5 5 0 5 1 3 10 5 1 2 0 5 0 2 0 0 1 1 2 2 0 5 0 0 10 5 0 4 2 0 1 * * * * * * * * * * * * * * * * * * * * * * 5 5 2 10 3 5 5 2 2 10 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 5 2 1 2 3 0 3 2 1 2 5 5 3 2 3 0 2 5 0 10 * * * * * * * * * * * * * * * * * * * * * * * 1 1 10 2 0 1 5 5 10 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 3 2 2 10 2 2 10 0 1 6 0 10 0 5 5 0 0 10 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 0 5 1 2 0 10 10 10 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 5 1 2 0 2 3 4 4 10 0 6 0 0 1 2 0 5 1 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 2 6 5 5 0 2 10 0 5 1 0 5 2 2 0 2 5 0 5 0 1 1 0 3 5 4 2 2 10 1 2 3 5 5 2 0 0 5 5 5 0 3 0 0 2 2 1 0 0 0 2 2 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 0 2 5 2 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 * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 2 0 0 5 5 10 5 3 2 2 2 1 5 2 10 1 0 0 5 5 2 0 1 10 0 3 2 1 2 2 2 10 0 5 5 0 1 3 2 1 2 1 10 1 1 6 0 0 0 5 0 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 5 5 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 2 2 2 0 0 2 1 5 0 2 2 5 1 1 1 5 5 0 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 10 2 2 5 2 0 10 1 10 2 5 0 5 0 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 10 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 6 5 5 5 0 10 0 2 5 0 5 0 5 2 1 1 2 0 6 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 5 1 3 0 1 2 5 10 10 10 0 0 2 5 10 0 10 1 0 5 5 0 5 2 4 5 2 2 5 0 5 1 5 5 1 0 0 5 0 0 1 1 2 2 0 2 2 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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 4 10 0 2 0 2 1 0 0 2 0 0 3 0 0 5 10 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 0 0 3 3 1 10 2 1 0 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 2 5 2 0 2 5 1 10 5 0 0 2 0 1 5 0 0 6 0 0 5 1 5 0 2 5 5 2 2 2 1 5 0 0 2 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 5 0 1 2 2 2 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 0 4 5 3 5 0 0 3 2 0 0 4 10 2 5 0 1 1 6 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 5 2 1 5 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 4 0 4 5 0 5 5 2 0 2 0 2 2 0 5 1 1 10 1 1 5 0 10 10 2 5 4 0 0 0 2 1 5 0 5 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 1 0 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 2 0 0 0 5 1 10 5 10 0 2 0 0 0 2 2 10 6 0 10 3 5 0 2 10 5 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 0 5 1 2 0 2 0 3 10 5 0 3 0 1 0 0 10 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 10 5 10 5 2 5 3 5 0 5 2 1 0 0 5 2 4 5 0 0 0 1 2 2 3 5 2 6 5 10 0 2 1 2 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 10 5 5 10 4 2 2 0 1 6 0 2 0 1 1 5 5 0 3 0 0 0 5 0 3 10 1 3 2 2 2 1 4 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 10 5 0 2 5 0 0 5 0 3 0 1 2 0 1 10 0 0 0 2 10 2 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 0 0 2 5 5 2 1 5 1 1 1 1 10 5 0 5 4 5 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 10 5 10 2 10 2 0 3 2 0 4 0 2 0 2 10 10 1 0 2 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 5 10 0 5 5 1 10 2 1 2 1 0 2 2 10 0 5 2 4 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 0 1 2 1 5 2 10 0 10 0 5 0 0 5 2 0 1 10 3 5 5 5 5 2 2 5 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 5 10 0 0 10 5 2 2 1 2 0 2 0 10 5 5 0 2 2 1 2 1 0 3 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 3 5 2 5 5 2 0 0 0 0 0 1 0 5 5 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 2 2 5 5 4 0 10 1 5 3 0 3 0 1 0 0 1 5 0 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 2 5 5 10 5 0 5 5 5 0 2 2 1 2 5 10 0 0 5 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 2 5 2 5 2 2 10 2 1 1 0 6 1 2 0 4 10 2 1 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 2 0 3 0 0 2 5 10 10 5 4 1 2 3 2 5 1 5 5 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 1 2 2 2 10 0 0 0 6 0 0 4 2 2 10 2 0 10 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 2 10 6 0 5 0 0 10 0 1 5 2 0 0 5 1 2 0 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 2 6 2 3 0 5 10 5 5 0 0 4 2 2 2 4 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 3 0 5 4 1 0 5 5 10 0 2 10 0 2 1 5 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 5 2 3 0 4 1 0 2 2 5 10 2 0 2 5 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 2 0 1 0 5 5 0 6 10 1 1 2 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 5 10 5 4 0 1 1 3 5 2 1 5 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 5 0 5 5 5 3 2 5 0 0 1 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 2 0 1 0 5 2 6 10 5 4 5 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 10 1 5 5 5 0 0 1 2 0 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 6 2 2 2 0 1 4 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 1 3 2 4 2 5 2 5 10 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 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>
2519.99/2520.00	v </instantiation>

OK	47363

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-4261059-1502352533/watcher-4261059-1502352533 -o /tmp/evaluation-result-4261059-1502352533/solver-4261059-1502352533 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23275 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1233753566 HOME/instance-4261059-1502352533.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 26223
/proc/meminfo: memFree=31044708/32770624 swapFree=0/395432
[pid=26223] ppid=26220 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26223/stat : 26223 (runsolver) D 26220 26223 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 83068555 24240128 107 18446744073709551615 4194304 4338465 140728523273104 140728523270744 140429995520727 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 38363136 140728523280522 140728523280969 140728523280969 140728523284426 0
/proc/26223/statm: 5918 107 54 36 0 2156 0

[startup+0.100152 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 26223
/proc/meminfo: memFree=31044708/32770624 swapFree=0/395432
[pid=26223] ppid=26220 vsize=29568 CPUtime=0.01 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 1150 0 0 0 1 0 0 0 20 0 1 0 83068555 30277632 938 18446744073709551615 4194304 7396336 140732970298192 140732970295192 140367180164069 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 7392 938 607 782 0 408 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29568

[startup+0.200265 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 26223
/proc/meminfo: memFree=31044708/32770624 swapFree=0/395432
[pid=26223] ppid=26220 vsize=40828 CPUtime=0.1 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 4189 0 0 0 10 0 0 0 20 0 1 0 83068555 41807872 3794 18446744073709551615 4194304 7396336 140732970298192 140732970291432 140367180602368 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 10207 3794 609 782 0 3223 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 40828

[startup+0.30032 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 26223
/proc/meminfo: memFree=31044708/32770624 swapFree=0/395432
[pid=26223] ppid=26220 vsize=95064 CPUtime=0.2 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 17748 0 0 0 18 2 0 0 20 0 1 0 83068555 97345536 17323 18446744073709551615 4194304 7396336 140732970298192 140732970291432 140367180164069 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 23766 17389 651 782 0 16782 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 95064

[startup+0.700295 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 26223
/proc/meminfo: memFree=31044708/32770624 swapFree=0/395432
[pid=26223] ppid=26220 vsize=332200 CPUtime=0.6 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 77010 0 0 0 51 9 0 0 20 0 1 0 83068555 340172800 76591 18446744073709551615 4194304 7396336 140732970298192 140732970291432 140367180159806 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 83050 76657 651 782 0 76066 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 332200

[startup+1.50029 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 26224
/proc/meminfo: memFree=30502268/32770624 swapFree=0/395360
[pid=26223] ppid=26220 vsize=807616 CPUtime=1.41 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 195909 0 0 0 118 23 0 0 20 0 1 0 83068555 826998784 195523 18446744073709551615 4194304 7396336 140732970298192 140732970289528 140367180164069 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 201937 195523 651 782 0 194953 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 807616

[startup+3.10029 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 26224
/proc/meminfo: memFree=29846804/32770624 swapFree=0/395360
[pid=26223] ppid=26220 vsize=1755676 CPUtime=3 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 433678 0 0 0 249 51 0 0 20 0 1 0 83068555 1797812224 432486 18446744073709551615 4194304 7396336 140732970298192 140732970289528 140367180212128 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 438919 432486 651 782 0 431935 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 1755676

[startup+6.30029 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 26225
/proc/meminfo: memFree=28989656/32770624 swapFree=0/395468
[pid=26223] ppid=26220 vsize=2083544 CPUtime=6.2 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 862365 0 0 0 545 75 0 0 20 0 1 0 83068555 2133549056 514526 18446744073709551615 4194304 7396336 140732970298192 140732970292824 5165842 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 520886 514526 689 782 0 513902 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 2083544

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 26225
/proc/meminfo: memFree=28917612/32770624 swapFree=0/395468
[pid=26223] ppid=26220 vsize=2151104 CPUtime=12.6 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 1248177 0 0 0 1168 92 0 0 20 0 1 0 83068555 2202730496 531432 18446744073709551615 4194304 7396336 140732970298192 140732970293208 4249440 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 537776 531432 697 782 0 530792 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 2151104

[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 26226
/proc/meminfo: memFree=28849536/32770624 swapFree=0/395468
[pid=26223] ppid=26220 vsize=2218432 CPUtime=25.4 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 1821214 0 0 0 2421 119 0 0 20 0 1 0 83068555 2271674368 548273 18446744073709551615 4194304 7396336 140732970298192 140732970293208 5792027 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 554608 548273 697 782 0 547624 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 2218432

[startup+51.1003 s]
/proc/loadavg: 1.92 2.01 2.04 3/185 26288
/proc/meminfo: memFree=28989560/32770624 swapFree=0/395504
[pid=26223] ppid=26220 vsize=2250648 CPUtime=51.01 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 2231435 0 0 0 4963 138 0 0 20 0 1 0 83068555 2304663552 556319 18446744073709551615 4194304 7396336 140732970298192 140732970293208 5792030 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 562662 556319 697 782 0 555678 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 2250648

[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/186 26289
/proc/meminfo: memFree=28971388/32770624 swapFree=0/395476
[pid=26223] ppid=26220 vsize=2266892 CPUtime=102.21 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 2825799 0 0 0 10054 167 0 0 20 0 1 0 83068555 2321297408 560403 18446744073709551615 4194304 7396336 140732970298192 140732970293208 5792137 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 566723 560403 697 782 0 559739 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 2266892

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 26291
/proc/meminfo: memFree=28961360/32770624 swapFree=0/395476
[pid=26223] ppid=26220 vsize=2276924 CPUtime=162.2 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 3294791 0 0 0 16031 189 0 0 20 0 1 0 83068555 2331570176 562906 18446744073709551615 4194304 7396336 140732970298192 140732970293208 4249440 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 569231 562906 697 782 0 562247 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 2276924

[startup+222.306 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 26358
/proc/meminfo: memFree=28933340/32770624 swapFree=0/395508
[pid=26223] ppid=26220 vsize=2281416 CPUtime=222.21 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 3568769 0 0 0 22018 203 0 0 20 0 1 0 83068555 2336169984 564019 18446744073709551615 4194304 7396336 140732970298192 140732970293208 4249744 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 570354 564019 697 782 0 563370 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 2281416

[startup+282.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/186 26360
/proc/meminfo: memFree=28927240/32770624 swapFree=0/395504
[pid=26223] ppid=26220 vsize=2287376 CPUtime=282.21 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 4053831 0 0 0 27994 227 0 0 20 0 1 0 83068555 2342273024 565516 18446744073709551615 4194304 7396336 140732970298192 140732970292728 4581571 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 571844 565516 697 782 0 564860 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 2287376

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.04 3/188 26376
/proc/meminfo: memFree=28916972/32770624 swapFree=0/395520
[pid=26223] ppid=26220 vsize=2292672 CPUtime=342.2 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 4401631 0 0 0 33976 244 0 0 20 0 1 0 83068555 2347696128 566845 18446744073709551615 4194304 7396336 140732970298192 140732970293208 4379207 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 573168 566845 697 782 0 566184 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2292672

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/189 26405
/proc/meminfo: memFree=28911600/32770624 swapFree=0/395524
[pid=26223] ppid=26220 vsize=2298752 CPUtime=402.21 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 4732651 0 0 0 39961 260 0 0 20 0 1 0 83068555 2353922048 568347 18446744073709551615 4194304 7396336 140732970298192 140732970293208 5771305 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 574688 568347 697 782 0 567704 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2298752

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/190 26408
/proc/meminfo: memFree=28909432/32770624 swapFree=0/395536
[pid=26223] ppid=26220 vsize=2300600 CPUtime=462.21 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 4982800 0 0 0 45949 272 0 0 20 0 1 0 83068555 2355814400 568808 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5792235 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 575150 568808 697 782 0 568166 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2300600

[startup+522.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/187 26410
/proc/meminfo: memFree=28910500/32770624 swapFree=0/395532
[pid=26223] ppid=26220 vsize=2303128 CPUtime=522.21 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 5342727 0 0 0 51932 289 0 0 20 0 1 0 83068555 2358403072 569436 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5792030 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 575782 569436 697 782 0 568798 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2303128

[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 26412
/proc/meminfo: memFree=28905440/32770624 swapFree=0/395532
[pid=26223] ppid=26220 vsize=2307764 CPUtime=582.21 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 5559413 0 0 0 57921 300 0 0 20 0 1 0 83068555 2363150336 570598 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5771305 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 576941 570598 697 782 0 569957 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 2307764


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 26481
/proc/meminfo: memFree=28848832/32770624 swapFree=0/395644
[pid=26223] ppid=26220 vsize=2360380 CPUtime=1602.23 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7478321 0 0 0 159824 399 0 0 20 0 1 0 83068555 2417029120 583764 18446744073709551615 4194304 7396336 140732970298192 140732970293208 4249751 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 590095 583764 698 782 0 583111 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 2360380

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 26483
/proc/meminfo: memFree=28848332/32770624 swapFree=0/395668
[pid=26223] ppid=26220 vsize=2363680 CPUtime=1662.23 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7483338 0 0 0 165824 399 0 0 20 0 1 0 83068555 2420408320 584593 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5792030 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 590920 584593 698 782 0 583936 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 2363680

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 26485
/proc/meminfo: memFree=28845836/32770624 swapFree=0/395664
[pid=26223] ppid=26220 vsize=2366716 CPUtime=1722.23 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7489119 0 0 0 171824 399 0 0 20 0 1 0 83068555 2423517184 585294 18446744073709551615 4194304 7396336 140732970298192 140732970292728 4249751 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 591679 585294 698 782 0 584695 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 2366716

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 26487
/proc/meminfo: memFree=28841564/32770624 swapFree=0/395680
[pid=26223] ppid=26220 vsize=2370284 CPUtime=1782.24 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7495781 0 0 0 177824 400 0 0 20 0 1 0 83068555 2427170816 586219 18446744073709551615 4194304 7396336 140732970298192 140732970293208 5772915 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 592571 586219 698 782 0 585587 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 2370284

[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 26490
/proc/meminfo: memFree=28838452/32770624 swapFree=0/395720
[pid=26223] ppid=26220 vsize=2373864 CPUtime=1842.24 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7503331 0 0 0 183823 401 0 0 20 0 1 0 83068555 2430836736 587126 18446744073709551615 4194304 7396336 140732970298192 140732970293208 5771317 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 593466 587126 698 782 0 586482 0
Current children cumulated CPU time (s) 1842.24
Current children cumulated vsize (KiB) 2373864

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 26492
/proc/meminfo: memFree=28837180/32770624 swapFree=0/395716
[pid=26223] ppid=26220 vsize=2375052 CPUtime=1902.25 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7511134 0 0 0 189823 402 0 0 20 0 1 0 83068555 2432053248 587435 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5774448 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 593763 587435 698 782 0 586779 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 2375052

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 26496
/proc/meminfo: memFree=28836988/32770624 swapFree=0/395732
[pid=26223] ppid=26220 vsize=2375448 CPUtime=1962.25 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7519027 0 0 0 195823 402 0 0 20 0 1 0 83068555 2432458752 587544 18446744073709551615 4194304 7396336 140732970298192 140732970292728 4249751 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 593862 587544 698 782 0 586878 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 2375448

[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 26499
/proc/meminfo: memFree=28836168/32770624 swapFree=0/395732
[pid=26223] ppid=26220 vsize=2375976 CPUtime=2022.26 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7527070 0 0 0 201823 403 0 0 20 0 1 0 83068555 2432999424 587655 18446744073709551615 4194304 7396336 140732970298192 140732970292728 4249696 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 593994 587655 698 782 0 587010 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 2375976

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 26501
/proc/meminfo: memFree=28836264/32770624 swapFree=0/395744
[pid=26223] ppid=26220 vsize=2376108 CPUtime=2082.27 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7528530 0 0 0 207824 403 0 0 20 0 1 0 83068555 2433134592 587698 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5774384 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 594027 587698 698 782 0 587043 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 2376108

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 26518
/proc/meminfo: memFree=28832392/32770624 swapFree=0/395768
[pid=26223] ppid=26220 vsize=2376108 CPUtime=2142.26 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7529989 0 0 0 213823 403 0 0 20 0 1 0 83068555 2433134592 587705 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5772942 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 594027 587705 698 782 0 587043 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 2376108

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 26521
/proc/meminfo: memFree=28831468/32770624 swapFree=0/395772
[pid=26223] ppid=26220 vsize=2377560 CPUtime=2202.28 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7538551 0 0 0 219823 405 0 0 20 0 1 0 83068555 2434621440 588000 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5792027 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 594390 588000 698 782 0 587406 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 2377560

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26523
/proc/meminfo: memFree=28831848/32770624 swapFree=0/395784
[pid=26223] ppid=26220 vsize=2380872 CPUtime=2262.27 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7547827 0 0 0 225822 405 0 0 20 0 1 0 83068555 2438012928 588890 18446744073709551615 4194304 7396336 140732970298192 140732970293208 4249751 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 595218 588890 698 782 0 588234 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 2380872

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26526
/proc/meminfo: memFree=28828328/32770624 swapFree=0/395788
[pid=26223] ppid=26220 vsize=2384172 CPUtime=2322.28 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7558001 0 0 0 231822 406 0 0 20 0 1 0 83068555 2441392128 589671 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5771391 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 596043 589671 698 782 0 589059 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 2384172

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 26528
/proc/meminfo: memFree=28825988/32770624 swapFree=0/395792
[pid=26223] ppid=26220 vsize=2386436 CPUtime=2382.29 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7568791 0 0 0 237822 407 0 0 20 0 1 0 83068555 2443710464 590262 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5792030 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 596609 590262 698 782 0 589625 0
Current children cumulated CPU time (s) 2382.29
Current children cumulated vsize (KiB) 2386436

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26530
/proc/meminfo: memFree=28822352/32770624 swapFree=0/395812
[pid=26223] ppid=26220 vsize=2389868 CPUtime=2442.29 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7580356 0 0 0 243821 408 0 0 20 0 1 0 83068555 2447224832 591118 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5792027 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 597467 591118 698 782 0 590483 0
Current children cumulated CPU time (s) 2442.29
Current children cumulated vsize (KiB) 2389868

[startup+2502.3 s]
/proc/loadavg: 2.13 2.04 2.05 3/186 26533
/proc/meminfo: memFree=28819616/32770624 swapFree=0/395816
[pid=26223] ppid=26220 vsize=2393036 CPUtime=2502.3 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7592721 0 0 0 249821 409 0 0 20 0 1 0 83068555 2450468864 591895 18446744073709551615 4194304 7396336 140732970298192 140732970293208 5771317 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 598259 591895 698 782 0 591275 0
Current children cumulated CPU time (s) 2502.3
Current children cumulated vsize (KiB) 2393036



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.10 2.04 2.05 3/186 26534
/proc/meminfo: memFree=28818568/32770624 swapFree=0/395808
[pid=26223] ppid=26220 vsize=2394488 CPUtime=2519.99 cores=1,3,5,7
/proc/26223/stat : 26223 (MistralXCSP) R 26220 26223 1774 0 -1 4202496 7604503 0 0 0 251590 409 0 0 20 0 1 0 83068555 2451955712 592280 18446744073709551615 4194304 7396336 140732970298192 140732970292728 5772895 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 27529216 140732970299826 140732970299976 140732970299976 140732970303433 0
/proc/26223/statm: 598622 592280 698 782 0 591638 0
Current children cumulated CPU time (s) 2519.99
Current children cumulated vsize (KiB) 2394488

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2520.02
CPU user time (s): 2515.91
CPU system time (s): 4.10827
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2394488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.91
system time used= 4.10827
maximum resident set size= 2369200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7604536
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= 215
involuntary context switches= 1702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7736 second user time and 10.8082 second system time

The end

Begin job on node133 at 2017-08-10 09:54:46
IDJOB=4261059
IDBENCH=123121
IDSOLVER=2649
FILE ID=node133/4261059-1502352533
RUNJOBID= node133-1502333976-23275
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-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-4261059-1502352533/watcher-4261059-1502352533 -o /tmp/evaluation-result-4261059-1502352533/solver-4261059-1502352533 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502333976-23275 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1233753566 HOME/instance-4261059-1502352533.xml

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

MD5SUM BENCH= 7967f0a5d6026ea184db99fec624e08d
RANDOM SEED=1233753566

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31044708 kB
MemAvailable:   31807036 kB
Buffers:          275000 kB
Cached:           783428 kB
SwapCached:            0 kB
Active:           866392 kB
Inactive:         428544 kB
Active(anon):     237244 kB
Inactive(anon):    33112 kB
Active(file):     629148 kB
Inactive(file):   395432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5968 kB
Writeback:             4 kB
AnonPages:        236968 kB
Mapped:            50232 kB
Shmem:             33468 kB
Slab:             134224 kB
SReclaimable:     107164 kB
SUnreclaim:        27060 kB
KernelStack:        3296 kB
PageTables:         5204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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= 62020 MiB
End job on node133 at 2017-08-10 10:36:46