Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 128.109 | 128.131 |
Name | Domino/Domino-m1-s1/ Domino-9000-9000.xml |
MD5SUM | 479d99eb162212229c70ebabb46032f2 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.39194 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 9000 |
Number of constraints | 2 |
Number of domains | 1 |
Minimum domain size | 9000 |
Maximum domain size | 9000 |
Distribution of domain sizes | [{"size":9000,"count":9000}] |
Minimum variable degree | 1 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":1,"count":8998},{"degree":2,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9000 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":9000,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1 |
Distribution of constraint types | [{"type":"intension","count":1},{"type":"allEqual","count":1}] |
Optimization problem | NO |
Type of objective |
0.41/0.43 c AllEqual constraint using 8999 generic x=y constraints 1.19/1.21 c root propagations : 0 1.19/1.21 c restarts enabled, print stats at every restarts 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c This is cosoco 2.00 -- 1.19/1.21 c 1.19/1.21 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396763-1568593395.xml 1.19/1.21 c ========================================[ Problem Statistics ]=========================================== 1.19/1.21 c | 1.19/1.21 c | Parse time : 0.27 s 1.19/1.21 c | 1.19/1.21 c | Variables: 9000 1.19/1.21 c | Domain Sizes: 9000..9000 1.19/1.21 c | 1.19/1.21 c | Constraints: 9000 1.19/1.21 c | Arity: 2..2 -- Binary: 9000 1.19/1.21 c | 1.19/1.21 c | Types: 1.19/1.21 c | (X = Y): 8999 1.19/1.21 c | Intension: 1 1.19/1.21 c | 1.19/1.21 c ========================================================================================================= 1.19/1.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.18/2.28 c 101 101 918202 1818000 1 0 1 1 0 3.39/3.48 c 211 211 1908422 3798000 1 0 1 1 0 4.79/4.81 c 332 332 2997664 5976000 1 0 1 1 0 6.19/6.28 c 465 465 4194930 8370000 1 0 1 1 0 7.88/7.92 c 611 611 5509222 10998000 1 0 1 1 0 9.69/9.73 c 771 771 6949542 13878000 1 0 1 1 0 11.68/11.76 c 947 947 8533894 17046000 1 0 1 1 0 13.88/14.00 c 1140 1140 10271280 20520000 1 0 1 1 0 16.38/16.49 c 1352 1352 12179704 24336000 1 0 1 1 0 19.18/19.29 c 1585 1585 14277170 28530000 1 0 1 1 0 22.28/22.39 c 1841 1841 16581682 33138000 1 0 1 1 0 25.78/25.84 c 2122 2122 19111244 38196000 1 0 1 1 0 29.68/29.71 c 2431 2431 21892862 43758000 1 0 1 1 0 33.99/34.03 c 2770 2770 24944540 49860000 1 0 1 1 0 38.78/38.85 c 3142 3142 28293284 56556000 1 0 1 1 0 44.17/44.28 c 3551 3551 31975102 63918000 1 0 1 1 0 50.27/50.36 c 4000 4000 36017000 72000000 1 0 1 1 0 57.18/57.21 c 4493 4493 40454986 80874000 1 0 1 1 0 64.87/64.92 c 5035 5035 45334070 90630000 1 0 1 1 0 73.57/73.66 c 5631 5631 50699262 101358000 1 0 1 1 0 83.47/83.55 c 6286 6286 56595572 113148000 1 0 1 1 0 94.67/94.76 c 7006 7006 63077012 126108000 1 0 1 1 0 107.47/107.51 c 7798 7798 70206596 140364000 1 0 1 1 0 121.87/121.98 c 8669 8669 78047338 156042000 1 0 1 1 0 127.97/128.07 c First solution is found 127.97/128.07 s SATISFIABLE 127.97/128.07 c restarts : 24 127.97/128.07 c conflicts : 8999 (71 /sec) 127.97/128.07 c decisions : 17999 (141 /sec) 127.97/128.07 c propagations : 162008997 (1270843 /sec) 127.97/128.07 c root propagations : 0 127.97/128.07 c filter calls : 81044996 (635739 /sec) 127.97/128.07 c useless filter calls : 44997 (0 %) 127.97/128.07 c Memory used : 1117.62 MB 127.97/128.07 c CPU time : 127.481 s 127.97/128.07 c real time : 128.073 s 127.97/128.07 127.97/128.07 c solution 1 127.97/128.07 127.97/128.07 v <instantiation type='solution'> 127.97/128.07 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] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145] x[4146] x[4147] x[4148] x[4149] x[4150] x[4151] x[4152] x[4153] x[4154] x[4155] x[4156] x[4157] x[4158] x[4159] x[4160] x[4161] x[4162] x[4163] x[4164] x[4165] x[4166] x[4167] x[4168] x[4169] x[4170] x[4171] x[4172] x[4173] x[4174] x[4175] x[4176] x[4177] x[4178] x[4179] x[4180] x[4181] x[4182] x[4183] x[4184] x[4185] x[4186] x[4187] x[4188] x[4189] x[4190] x[4191] x[4192] x[4193] x[4194] x[4195] x[4196] x[4197] x[4198] x[4199] x[4200] x[4201] x[4202] x[4203] x[4204] x[4205] x[4206] x[4207] x[4208] x[4209] x[4210] x[4211] x[4212] x[4213] x[4214] x[4215] x[4216] x[4217] x[4218] x[4219] x[4220] x[4221] x[4222] x[4223] x[4224] x[4225] x[4226] x[4227] x[4228] x[4229] x[4230] x[4231] x[4232] x[4233] x[4234] x[4235] x[4236] x[4237] x[4238] x[4239] x[4240] x[4241] x[4242] x[4243] x[4244] x[4245] x[4246] x[4247] x[4248] x[4249] x[4250] x[4251] x[4252] x[4253] x[4254] x[4255] x[4256] x[4257] x[4258] x[4259] x[4260] x[4261] x[4262] x[4263] x[4264] x[4265] x[4266] x[4267] x[4268] x[4269] x[4270] x[4271] x[4272] x[4273] x[4274] x[4275] x[4276] x[4277] x[4278] x[4279] x[4280] x[4281] x[4282] x[4283] x[4284] x[4285] x[4286] x[4287] x[4288] x[4289] x[4290] x[4291] x[4292] x[4293] x[4294] x[4295] x[4296] x[4297] x[4298] x[4299] x[4300] x[4301] x[4302] x[4303] x[4304] x[4305] x[4306] x[4307] x[4308] x[4309] x[4310] x[4311] x[4312] x[4313] x[4314] x[4315] x[4316] x[4317] x[4318] x[4319] x[4320] x[4321] x[4322] x[4323] x[4324] x[4325] x[4326] x[4327] x[4328] x[4329] x[4330] x[4331] x[4332] x[4333] x[4334] x[4335] x[4336] x[4337] x[4338] x[4339] x[4340] x[4341] x[4342] x[4343] x[4344] x[4345] x[4346] x[4347] x[4348] x[4349] x[4350] x[4351] x[4352] x[4353] x[4354] x[4355] x[4356] x[4357] x[4358] x[4359] x[4360] x[4361] x[4362] x[4363] x[4364] x[4365] x[4366] x[4367] x[4368] x[4369] x[4370] x[4371] x[4372] x[4373] x[4374] x[4375] x[4376] x[4377] x[4378] x[4379] x[4380] x[4381] x[4382] x[4383] x[4384] x[4385] x[4386] x[4387] x[4388] x[4389] x[4390] x[4391] x[4392] x[4393] x[4394] x[4395] x[4396] x[4397] x[4398] x[4399] x[4400] x[4401] x[4402] x[4403] x[4404] x[4405] x[4406] x[4407] x[4408] x[4409] x[4410] x[4411] x[4412] x[4413] x[4414] x[4415] x[4416] x[4417] x[4418] x[4419] x[4420] x[4421] x[4422] x[4423] x[4424] x[4425] x[4426] x[4427] x[4428] x[4429] x[4430] x[4431] x[4432] x[4433] x[4434] x[4435] x[4436] x[4437] x[4438] x[4439] x[4440] x[4441] x[4442] x[4443] x[4444] x[4445] x[4446] x[4447] x[4448] x[4449] x[4450] x[4451] x[4452] x[4453] x[4454] x[4455] x[4456] x[4457] x[4458] x[4459] x[4460] x[4461] x[4462] x[4463] x[4464] x[4465] x[4466] x[4467] x[4468] x[4469] x[4470] x[4471] x[4472] x[4473] x[4474] x[4475] x[4476] x[4477] x[4478] x[4479] x[4480] x[4481] x[4482] x[4483] x[4484] x[4485] x[4486] x[4487] x[4488] x[4489] x[4490] x[4491] x[4492] x[4493] x[4494] x[4495] x[4496] x[4497] x[4498] x[4499] x[4500] x[4501] x[4502] x[4503] x[4504] x[4505] x[4506] x[4507] x[4508] x[4509] x[4510] x[4511] x[4512] x[4513] x[4514] x[4515] x[4516] x[4517] x[4518] x[4519] x[4520] x[4521] x[4522] x[4523] x[4524] x[4525] x[4526] x[4527] x[4528] x[4529] x[4530] x[4531] x[4532] x[4533] x[4534] x[4535] x[4536] x[4537] x[4538] x[4539] x[4540] x[4541] x[4542] x[4543] x[4544] x[4545] x[4546] x[4547] x[4548] x[4549] x[4550] x[4551] x[4552] x[4553] x[4554] x[4555] x[4556] x[4557] x[4558] x[4559] x[4560] x[4561] x[4562] x[4563] x[4564] x[4565] x[4566] x[4567] x[4568] x[4569] x[4570] x[4571] x[4572] x[4573] x[4574] x[4575] x[4576] x[4577] x[4578] x[4579] x[4580] x[4581] x[4582] x[4583] x[4584] x[4585] x[4586] x[4587] x[4588] x[4589] x[4590] x[4591] x[4592] x[4593] x[4594] x[4595] x[4596] x[4597] x[4598] x[4599] x[4600] x[4601] x[4602] x[4603] x[4604] x[4605] x[4606] x[4607] x[4608] x[4609] x[4610] x[4611] x[4612] x[4613] x[4614] x[4615] x[4616] x[4617] x[4618] x[4619] x[4620] x[4621] x[4622] x[4623] x[4624] x[4625] x[4626] x[4627] x[4628] x[4629] x[4630] x[4631] x[4632] x[4633] x[4634] x[4635] x[4636] x[4637] x[4638] x[4639] x[4640] x[4641] x[4642] x[4643] x[4644] x[4645] x[4646] x[4647] x[4648] x[4649] x[4650] x[4651] x[4652] x[4653] x[4654] x[4655] x[4656] x[4657] x[4658] x[4659] x[4660] x[4661] x[4662] x[4663] x[4664] x[4665] x[4666] x[4667] x[4668] x[4669] x[4670] x[4671] x[4672] x[4673] x[4674] x[4675] x[4676] x[4677] x[4678] x[4679] x[4680] x[4681] x[4682] x[4683] x[4684] x[4685] x[4686] x[4687] x[4688] x[4689] x[4690] x[4691] x[4692] x[4693] x[4694] x[4695] x[4696] x[4697] x[4698] x[4699] x[4700] x[4701] x[4702] x[4703] x[4704] x[4705] x[4706] x[4707] x[4708] x[4709] x[4710] x[4711] x[4712] x[4713] x[4714] x[4715] x[4716] x[4717] x[4718] x[4719] x[4720] x[4721] x[4722] x[4723] x[4724] x[4725] x[4726] x[4727] x[4728] x[4729] x[4730] x[4731] x[4732] x[4733] x[4734] x[4735] x[4736] x[4737] x[4738] x[4739] x[4740] x[4741] x[4742] x[4743] x[4744] x[4745] x[4746] x[4747] x[4748] x[4749] x[4750] x[4751] x[4752] x[4753] x[4754] x[4755] x[4756] x[4757] x[4758] x[4759] x[4760] x[4761] x[4762] x[4763] x[4764] x[4765] x[4766] x[4767] x[4768] x[4769] x[4770] x[4771] x[4772] x[4773] x[4774] x[4775] x[4776] x[4777] x[4778] x[4779] x[4780] x[4781] x[4782] x[4783] x[4784] x[4785] x[4786] x[4787] x[4788] x[4789] x[4790] x[4791] x[4792] x[4793] x[4794] x[4795] x[4796] x[4797] x[4798] x[4799] x[4800] x[4801] x[4802] x[4803] x[4804] x[4805] x[4806] x[4807] x[4808] x[4809] x[4810] x[4811] x[4812] x[4813] x[4814] x[4815] x[4816] x[4817] x[4818] x[4819] x[4820] x[4821] x[4822] x[4823] x[4824] x[4825] x[4826] x[4827] x[4828] x[4829] x[4830] x[4831] x[4832] x[4833] x[4834] x[4835] x[4836] x[4837] x[4838] x[4839] x[4840] x[4841] x[4842] x[4843] x[4844] x[4845] x[4846] x[4847] x[4848] x[4849] x[4850] x[4851] x[4852] x[4853] x[4854] x[4855] x[4856] x[4857] x[4858] x[4859] x[4860] x[4861] x[4862] x[4863] x[4864] x[4865] x[4866] x[4867] x[4868] x[4869] x[4870] x[4871] x[4872] x[4873] x[4874] x[4875] x[4876] x[4877] x[4878] x[4879] x[4880] x[4881] x[4882] x[4883] x[4884] x[4885] x[4886] x[4887] x[4888] x[4889] x[4890] x[4891] x[4892] x[4893] x[4894] x[4895] x[4896] x[4897] x[4898] x[4899] x[4900] x[4901] x[4902] x[4903] x[4904] x[4905] x[4906] x[4907] x[4908] x[4909] x[4910] x[4911] x[4912] x[4913] x[4914] x[4915] x[4916] x[4917] x[4918] x[4919] x[4920] x[4921] x[4922] x[4923] x[4924] x[4925] x[4926] x[4927] x[4928] x[4929] x[4930] x[4931] x[4932] x[4933] x[4934] x[4935] x[4936] x[4937] x[4938] x[4939] x[4940] x[4941] x[4942] x[4943] x[4944] x[4945] x[4946] x[4947] x[4948] x[4949] x[4950] x[4951] x[4952] x[4953] x[4954] x[4955] x[4956] x[4957] x[4958] x[4959] x[4960] x[4961] x[4962] x[4963] x[4964] x[4965] x[4966] x[4967] x[4968] x[4969] x[4970] x[4971] x[4972] x[4973] x[4974] x[4975] x[4976] x[4977] x[4978] x[4979] x[4980] x[4981] x[4982] x[4983] x[4984] x[4985] x[4986] x[4987] x[4988] x[4989] x[4990] x[4991] x[4992] x[4993] x[4994] x[4995] x[4996] x[4997] x[4998] x[4999] x[5000] x[5001] x[5002] x[5003] x[5004] x[5005] x[5006] x[5007] x[5008] x[5009] x[5010] x[5011] x[5012] x[5013] x[5014] x[5015] x[5016] x[5017] x[5018] x[5019] x[5020] x[5021] x[5022] x[5023] x[5024] x[5025] x[5026] x[5027] x[5028] x[5029] x[5030] x[5031] x[5032] x[5033] x[5034] x[5035] x[5036] x[5037] x[5038] x[5039] x[5040] x[5041] x[5042] x[5043] x[5044] x[5045] x[5046] x[5047] x[5048] x[5049] x[5050] x[5051] x[5052] x[5053] x[5054] x[5055] x[5056] x[5057] x[5058] x[5059] x[5060] x[5061] x[5062] x[5063] x[5064] x[5065] x[5066] x[5067] x[5068] x[5069] x[5070] x[5071] x[5072] x[5073] x[5074] x[5075] x[5076] x[5077] x[5078] x[5079] x[5080] x[5081] x[5082] x[5083] x[5084] x[5085] x[5086] x[5087] x[5088] x[5089] x[5090] x[5091] x[5092] x[5093] x[5094] x[5095] x[5096] x[5097] x[5098] x[5099] x[5100] x[5101] x[5102] x[5103] x[5104] x[5105] x[5106] x[5107] x[5108] x[5109] x[5110] x[5111] x[5112] x[5113] x[5114] x[5115] x[5116] x[5117] x[5118] x[5119] x[5120] x[5121] x[5122] x[5123] x[5124] x[5125] x[5126] x[5127] x[5128] x[5129] x[5130] x[5131] x[5132] x[5133] x[5134] x[5135] x[5136] x[5137] x[5138] x[5139] x[5140] x[5141] x[5142] x[5143] x[5144] x[5145] x[5146] x[5147] x[5148] x[5149] x[5150] x[5151] x[5152] x[5153] x[5154] x[5155] x[5156] x[5157] x[5158] x[5159] x[5160] x[5161] x[5162] x[5163] x[5164] x[5165] x[5166] x[5167] x[5168] x[5169] x[5170] x[5171] x[5172] x[5173] x[5174] x[5175] x[5176] x[5177] x[5178] x[5179] x[5180] x[5181] x[5182] x[5183] x[5184] x[5185] x[5186] x[5187] x[5188] x[5189] x[5190] x[5191] x[5192] x[5193] x[5194] x[5195] x[5196] x[5197] x[5198] x[5199] x[5200] x[5201] x[5202] x[5203] x[5204] x[5205] x[5206] x[5207] x[5208] x[5209] x[5210] x[5211] x[5212] x[5213] x[5214] x[5215] x[5216] x[5217] x[5218] x[5219] x[5220] x[5221] x[5222] x[5223] x[5224] x[5225] x[5226] x[5227] x[5228] x[5229] x[5230] x[5231] x[5232] x[5233] x[5234] x[5235] x[5236] x[5237] x[5238] x[5239] x[5240] x[5241] x[5242] x[5243] x[5244] x[5245] x[5246] x[5247] x[5248] x[5249] x[5250] x[5251] x[5252] x[5253] x[5254] x[5255] x[5256] x[5257] x[5258] x[5259] x[5260] x[5261] x[5262] x[5263] x[5264] x[5265] x[5266] x[5267] x[5268] x[5269] x[5270] x[5271] x[5272] x[5273] x[5274] x[5275] x[5276] x[5277] x[5278] x[5279] x[5280] x[5281] x[5282] x[5283] x[5284] x[5285] x[5286] x[5287] x[5288] x[5289] x[5290] x[5291] x[5292] x[5293] x[5294] x[5295] x[5296] x[5297] x[5298] x[5299] x[5300] x[5301] x[5302] x[5303] x[5304] x[5305] x[5306] x[5307] x[5308] x[5309] x[5310] x[5311] x[5312] x[5313] x[5314] x[5315] x[5316] x[5317] x[5318] x[5319] x[5320] x[5321] x[5322] x[5323] x[5324] x[5325] x[5326] x[5327] x[5328] x[5329] x[5330] x[5331] x[5332] x[5333] x[5334] x[5335] x[5336] x[5337] x[5338] x[5339] x[5340] x[5341] x[5342] x[5343] x[5344] x[5345] x[5346] x[5347] x[5348] x[5349] x[5350] x[5351] x[5352] x[5353] x[5354] x[5355] x[5356] x[5357] x[5358] x[5359] x[5360] x[5361] x[5362] x[5363] x[5364] x[5365] x[5366] x[5367] x[5368] x[5369] x[5370] x[5371] x[5372] x[5373] x[5374] x[5375] x[5376] x[5377] x[5378] x[5379] x[5380] x[5381] x[5382] x[5383] x[5384] x[5385] x[5386] x[5387] x[5388] x[5389] x[5390] x[5391] x[5392] x[5393] x[5394] x[5395] x[5396] x[5397] x[5398] x[5399] x[5400] x[5401] x[5402] x[5403] x[5404] x[5405] x[5406] x[5407] x[5408] x[5409] x[5410] x[5411] x[5412] x[5413] x[5414] x[5415] x[5416] x[5417] x[5418] x[5419] x[5420] x[5421] x[5422] x[5423] x[5424] x[5425] x[5426] x[5427] x[5428] x[5429] x[5430] x[5431] x[5432] x[5433] x[5434] x[5435] x[5436] x[5437] x[5438] x[5439] x[5440] x[5441] x[5442] x[5443] x[5444] x[5445] x[5446] x[5447] x[5448] x[5449] x[5450] x[5451] x[5452] x[5453] x[5454] x[5455] x[5456] x[5457] x[5458] x[5459] x[5460] x[5461] x[5462] x[5463] x[5464] x[5465] x[5466] x[5467] x[5468] x[5469] x[5470] x[5471] x[5472] x[5473] x[5474] x[5475] x[5476] x[5477] x[5478] x[5479] x[5480] x[5481] x[5482] x[5483] x[5484] x[5485] x[5486] x[5487] x[5488] x[5489] x[5490] x[5491] x[5492] x[5493] x[5494] x[5495] x[5496] x[5497] x[5498] x[5499] x[5500] x[5501] x[5502] x[5503] x[5504] x[5505] x[5506] x[5507] x[5508] x[5509] x[5510] x[5511] x[5512] x[5513] x[5514] x[5515] x[5516] x[5517] x[5518] x[5519] x[5520] x[5521] x[5522] x[5523] x[5524] x[5525] x[5526] x[5527] x[5528] x[5529] x[5530] x[5531] x[5532] x[5533] x[5534] x[5535] x[5536] x[5537] x[5538] x[5539] x[5540] x[5541] x[5542] x[5543] x[5544] x[5545] x[5546] x[5547] x[5548] x[5549] x[5550] x[5551] x[5552] x[5553] x[5554] x[5555] x[5556] x[5557] x[5558] x[5559] x[5560] x[5561] x[5562] x[5563] x[5564] x[5565] x[5566] x[5567] x[5568] x[5569] x[5570] x[5571] x[5572] x[5573] x[5574] x[5575] x[5576] x[5577] x[5578] x[5579] x[5580] x[5581] x[5582] x[5583] x[5584] x[5585] x[5586] x[5587] x[5588] x[5589] x[5590] x[5591] x[5592] x[5593] x[5594] x[5595] x[5596] x[5597] x[5598] x[5599] x[5600] x[5601] x[5602] x[5603] x[5604] x[5605] x[5606] x[5607] x[5608] x[5609] x[5610] x[5611] x[5612] x[5613] x[5614] x[5615] x[5616] x[5617] x[5618] x[5619] x[5620] x[5621] x[5622] x[5623] x[5624] x[5625] x[5626] x[5627] x[5628] x[5629] x[5630] x[5631] x[5632] x[5633] x[5634] x[5635] x[5636] x[5637] x[5638] x[5639] x[5640] x[5641] x[5642] x[5643] x[5644] x[5645] x[5646] x[5647] x[5648] x[5649] x[5650] x[5651] x[5652] x[5653] x[5654] x[5655] x[5656] x[5657] x[5658] x[5659] x[5660] x[5661] x[5662] x[5663] x[5664] x[5665] x[5666] x[5667] x[5668] x[5669] x[5670] x[5671] x[5672] x[5673] x[5674] x[5675] x[5676] x[5677] x[5678] x[5679] x[5680] x[5681] x[5682] x[5683] x[5684] x[5685] x[5686] x[5687] x[5688] x[5689] x[5690] x[5691] x[5692] x[5693] x[5694] x[5695] x[5696] x[5697] x[5698] x[5699] x[5700] x[5701] x[5702] x[5703] x[5704] x[5705] x[5706] x[5707] x[5708] x[5709] x[5710] x[5711] x[5712] x[5713] x[5714] x[5715] x[5716] x[5717] x[5718] x[5719] x[5720] x[5721] x[5722] x[5723] x[5724] x[5725] x[5726] x[5727] x[5728] x[5729] x[5730] x[5731] x[5732] x[5733] x[5734] x[5735] x[5736] x[5737] x[5738] x[5739] x[5740] x[5741] x[5742] x[5743] x[5744] x[5745] x[5746] x[5747] x[5748] x[5749] x[5750] x[5751] x[5752] x[5753] x[5754] x[5755] x[5756] x[5757] x[5758] x[5759] x[5760] x[5761] x[5762] x[5763] x[5764] x[5765] x[5766] x[5767] x[5768] x[5769] x[5770] x[5771] x[5772] x[5773] x[5774] x[5775] x[5776] x[5777] x[5778] x[5779] x[5780] x[5781] x[5782] x[5783] x[5784] x[5785] x[5786] x[5787] x[5788] x[5789] x[5790] x[5791] x[5792] x[5793] x[5794] x[5795] x[5796] x[5797] x[5798] x[5799] x[5800] x[5801] x[5802] x[5803] x[5804] x[5805] x[5806] x[5807] x[5808] x[5809] x[5810] x[5811] x[5812] x[5813] x[5814] x[5815] x[5816] x[5817] x[5818] x[5819] x[5820] x[5821] x[5822] x[5823] x[5824] x[5825] x[5826] x[5827] x[5828] x[5829] x[5830] x[5831] x[5832] x[5833] x[5834] x[5835] x[5836] x[5837] x[5838] x[5839] x[5840] x[5841] x[5842] x[5843] x[5844] x[5845] x[5846] x[5847] x[5848] x[5849] x[5850] x[5851] x[5852] x[5853] x[5854] x[5855] x[5856] x[5857] x[5858] x[5859] x[5860] x[5861] x[5862] x[5863] x[5864] x[5865] x[5866] x[5867] x[5868] x[5869] x[5870] x[5871] x[5872] x[5873] x[5874] x[5875] x[5876] x[5877] x[5878] x[5879] x[5880] x[5881] x[5882] x[5883] x[5884] x[5885] x[5886] x[5887] x[5888] x[5889] x[5890] x[5891] x[5892] x[5893] x[5894] x[5895] x[5896] x[5897] x[5898] x[5899] x[5900] x[5901] x[5902] x[5903] x[5904] x[5905] x[5906] x[5907] x[5908] x[5909] x[5910] x[5911] x[5912] x[5913] x[5914] x[5915] x[5916] x[5917] x[5918] x[5919] x[5920] x[5921] x[5922] x[5923] x[5924] x[5925] x[5926] x[5927] x[5928] x[5929] x[5930] x[5931] x[5932] x[5933] x[5934] x[5935] x[5936] x[5937] x[5938] x[5939] x[5940] x[5941] x[5942] x[5943] x[5944] x[5945] x[5946] x[5947] x[5948] x[5949] x[5950] x[5951] x[5952] x[5953] x[5954] x[5955] x[5956] x[5957] x[5958] x[5959] x[5960] x[5961] x[5962] x[5963] x[5964] x[5965] x[5966] x[5967] x[5968] x[5969] x[5970] x[5971] x[5972] x[5973] x[5974] x[5975] x[5976] x[5977] x[5978] x[5979] x[5980] x[5981] x[5982] x[5983] x[5984] x[5985] x[5986] x[5987] x[5988] x[5989] x[5990] x[5991] x[5992] x[5993] x[5994] x[5995] x[5996] x[5997] x[5998] x[5999] x[6000] x[6001] x[6002] x[6003] x[6004] x[6005] x[6006] x[6007] x[6008] x[6009] x[6010] x[6011] x[6012] x[6013] x[6014] x[6015] x[6016] x[6017] x[6018] x[6019] x[6020] x[6021] x[6022] x[6023] x[6024] x[6025] x[6026] x[6027] x[6028] x[6029] x[6030] x[6031] x[6032] x[6033] x[6034] x[6035] x[6036] x[6037] x[6038] x[6039] x[6040] x[6041] x[6042] x[6043] x[6044] x[6045] x[6046] x[6047] x[6048] x[6049] x[6050] x[6051] x[6052] x[6053] x[6054] x[6055] x[6056] x[6057] x[6058] x[6059] x[6060] x[6061] x[6062] x[6063] x[6064] x[6065] x[6066] x[6067] x[6068] x[6069] x[6070] x[6071] x[6072] x[6073] x[6074] x[6075] x[6076] x[6077] x[6078] x[6079] x[6080] x[6081] x[6082] x[6083] x[6084] x[6085] x[6086] x[6087] x[6088] x[6089] x[6090] x[6091] x[6092] x[6093] x[6094] x[6095] x[6096] x[6097] x[6098] x[6099] x[6100] x[6101] x[6102] x[6103] x[6104] x[6105] x[6106] x[6107] x[6108] x[6109] x[6110] x[6111] x[6112] x[6113] x[6114] x[6115] x[6116] x[6117] x[6118] x[6119] x[6120] x[6121] x[6122] x[6123] x[6124] x[6125] x[6126] x[6127] x[6128] x[6129] x[6130] x[6131] x[6132] x[6133] x[6134] x[6135] x[6136] x[6137] x[6138] x[6139] x[6140] x[6141] x[6142] x[6143] x[6144] x[6145] x[6146] x[6147] x[6148] x[6149] x[6150] x[6151] x[6152] x[6153] x[6154] x[6155] x[6156] x[6157] x[6158] x[6159] x[6160] x[6161] x[6162] x[6163] x[6164] x[6165] x[6166] x[6167] x[6168] x[6169] x[6170] x[6171] x[6172] x[6173] x[6174] x[6175] x[6176] x[6177] x[6178] x[6179] x[6180] x[6181] x[6182] x[6183] x[6184] x[6185] x[6186] x[6187] x[6188] x[6189] x[6190] x[6191] x[6192] x[6193] x[6194] x[6195] x[6196] x[6197] x[6198] x[6199] x[6200] x[6201] x[6202] x[6203] x[6204] x[6205] x[6206] x[6207] x[6208] x[6209] x[6210] x[6211] x[6212] x[6213] x[6214] x[6215] x[6216] x[6217] x[6218] x[6219] x[6220] x[6221] x[6222] x[6223] x[6224] x[6225] x[6226] x[6227] x[6228] x[6229] x[6230] x[6231] x[6232] x[6233] x[6234] x[6235] x[6236] x[6237] x[6238] x[6239] x[6240] x[6241] x[6242] x[6243] x[6244] x[6245] x[6246] x[6247] x[6248] x[6249] x[6250] x[6251] x[6252] x[6253] x[6254] x[6255] x[6256] x[6257] x[6258] x[6259] x[6260] x[6261] x[6262] x[6263] x[6264] x[6265] x[6266] x[6267] x[6268] x[6269] x[6270] x[6271] x[6272] x[6273] x[6274] x[6275] x[6276] x[6277] x[6278] x[6279] x[6280] x[6281] x[6282] x[6283] x[6284] x[6285] x[6286] x[6287] x[6288] x[6289] x[6290] x[6291] x[6292] x[6293] x[6294] x[6295] x[6296] x[6297] x[6298] x[6299] x[6300] x[6301] x[6302] x[6303] x[6304] x[6305] x[6306] x[6307] x[6308] x[6309] x[6310] x[6311] x[6312] x[6313] x[6314] x[6315] x[6316] x[6317] x[6318] x[6319] x[6320] x[6321] x[6322] x[6323] x[6324] x[6325] x[6326] x[6327] x[6328] x[6329] x[6330] x[6331] x[6332] x[6333] x[6334] x[6335] x[6336] x[6337] x[6338] x[6339] x[6340] x[6341] x[6342] x[6343] x[6344] x[6345] x[6346] x[6347] x[6348] x[6349] x[6350] x[6351] x[6352] x[6353] x[6354] x[6355] x[6356] x[6357] x[6358] x[6359] x[6360] x[6361] x[6362] x[6363] x[6364] x[6365] x[6366] x[6367] x[6368] x[6369] x[6370] x[6371] x[6372] x[6373] x[6374] x[6375] x[6376] x[6377] x[6378] x[6379] x[6380] x[6381] x[6382] x[6383] x[6384] x[6385] x[6386] x[6387] x[6388] x[6389] x[6390] x[6391] x[6392] x[6393] x[6394] x[6395] x[6396] x[6397] x[6398] x[6399] x[6400] x[6401] x[6402] x[6403] x[6404] x[6405] x[6406] x[6407] x[6408] x[6409] x[6410] x[6411] x[6412] x[6413] x[6414] x[6415] x[6416] x[6417] x[6418] x[6419] x[6420] x[6421] x[6422] x[6423] x[6424] x[6425] x[6426] x[6427] x[6428] x[6429] x[6430] x[6431] x[6432] x[6433] x[6434] x[6435] x[6436] x[6437] x[6438] x[6439] x[6440] x[6441] x[6442] x[6443] x[6444] x[6445] x[6446] x[6447] x[6448] x[6449] x[6450] x[6451] x[6452] x[6453] x[6454] x[6455] x[6456] x[6457] x[6458] x[6459] x[6460] x[6461] x[6462] x[6463] x[6464] x[6465] x[6466] x[6467] x[6468] x[6469] x[6470] x[6471] x[6472] x[6473] x[6474] x[6475] x[6476] x[6477] x[6478] x[6479] x[6480] x[6481] x[6482] x[6483] x[6484] x[6485] x[6486] x[6487] x[6488] x[6489] x[6490] x[6491] x[6492] x[6493] x[6494] x[6495] x[6496] x[6497] x[6498] x[6499] x[6500] x[6501] x[6502] x[6503] x[6504] x[6505] x[6506] x[6507] x[6508] x[6509] x[6510] x[6511] x[6512] x[6513] x[6514] x[6515] x[6516] x[6517] x[6518] x[6519] x[6520] x[6521] x[6522] x[6523] x[6524] x[6525] x[6526] x[6527] x[6528] x[6529] x[6530] x[6531] x[6532] x[6533] x[6534] x[6535] x[6536] x[6537] x[6538] x[6539] x[6540] x[6541] x[6542] x[6543] x[6544] x[6545] x[6546] x[6547] x[6548] x[6549] x[6550] x[6551] x[6552] x[6553] x[6554] x[6555] x[6556] x[6557] x[6558] x[6559] x[6560] x[6561] x[6562] x[6563] x[6564] x[6565] x[6566] x[6567] x[6568] x[6569] x[6570] x[6571] x[6572] x[6573] x[6574] x[6575] x[6576] x[6577] x[6578] x[6579] x[6580] x[6581] x[6582] x[6583] x[6584] x[6585] x[6586] x[6587] x[6588] x[6589] x[6590] x[6591] x[6592] x[6593] x[6594] x[6595] x[6596] x[6597] x[6598] x[6599] x[6600] x[6601] x[6602] x[6603] x[6604] x[6605] x[6606] x[6607] x[6608] x[6609] x[6610] x[6611] x[6612] x[6613] x[6614] x[6615] x[6616] x[6617] x[6618] x[6619] x[6620] x[6621] x[6622] x[6623] x[6624] x[6625] x[6626] x[6627] x[6628] x[6629] x[6630] x[6631] x[6632] x[6633] x[6634] x[6635] x[6636] x[6637] x[6638] x[6639] x[6640] x[6641] x[6642] x[6643] x[6644] x[6645] x[6646] x[6647] x[6648] x[6649] x[6650] x[6651] x[6652] x[6653] x[6654] x[6655] x[6656] x[6657] x[6658] x[6659] x[6660] x[6661] x[6662] x[6663] x[6664] x[6665] x[6666] x[6667] x[6668] x[6669] x[6670] x[6671] x[6672] x[6673] x[6674] x[6675] x[6676] x[6677] x[6678] x[6679] x[6680] x[6681] x[6682] x[6683] x[6684] x[6685] x[6686] x[6687] x[6688] x[6689] x[6690] x[6691] x[6692] x[6693] x[6694] x[6695] x[6696] x[6697] x[6698] x[6699] x[6700] x[6701] x[6702] x[6703] x[6704] x[6705] x[6706] x[6707] x[6708] x[6709] x[6710] x[6711] x[6712] x[6713] x[6714] x[6715] x[6716] x[6717] x[6718] x[6719] x[6720] x[6721] x[6722] x[6723] x[6724] x[6725] x[6726] x[6727] x[6728] x[6729] x[6730] x[6731] x[6732] x[6733] x[6734] x[6735] x[6736] x[6737] x[6738] x[6739] x[6740] x[6741] x[6742] x[6743] x[6744] x[6745] x[6746] x[6747] x[6748] x[6749] x[6750] x[6751] x[6752] x[6753] x[6754] x[6755] x[6756] x[6757] x[6758] x[6759] x[6760] x[6761] x[6762] x[6763] x[6764] x[6765] x[6766] x[6767] x[6768] x[6769] x[6770] x[6771] x[6772] x[6773] x[6774] x[6775] x[6776] x[6777] x[6778] x[6779] x[6780] x[6781] x[6782] x[6783] x[6784] x[6785] x[6786] x[6787] x[6788] x[6789] x[6790] x[6791] x[6792] x[6793] x[6794] x[6795] x[6796] x[6797] x[6798] x[6799] x[6800] x[6801] x[6802] x[6803] x[6804] x[6805] x[6806] x[6807] x[6808] x[6809] x[6810] x[6811] x[6812] x[6813] x[6814] x[6815] x[6816] x[6817] x[6818] x[6819] x[6820] x[6821] x[6822] x[6823] x[6824] x[6825] x[6826] x[6827] x[6828] x[6829] x[6830] x[6831] x[6832] x[6833] x[6834] x[6835] x[6836] x[6837] x[6838] x[6839] x[6840] x[6841] x[6842] x[6843] x[6844] x[6845] x[6846] x[6847] x[6848] x[6849] x[6850] x[6851] x[6852] x[6853] x[6854] x[6855] x[6856] x[6857] x[6858] x[6859] x[6860] x[6861] x[6862] x[6863] x[6864] x[6865] x[6866] x[6867] x[6868] x[6869] x[6870] x[6871] x[6872] x[6873] x[6874] x[6875] x[6876] x[6877] x[6878] x[6879] x[6880] x[6881] x[6882] x[6883] x[6884] x[6885] x[6886] x[6887] x[6888] x[6889] x[6890] x[6891] x[6892] x[6893] x[6894] x[6895] x[6896] x[6897] x[6898] x[6899] x[6900] x[6901] x[6902] x[6903] x[6904] x[6905] x[6906] x[6907] x[6908] x[6909] x[6910] x[6911] x[6912] x[6913] x[6914] x[6915] x[6916] x[6917] x[6918] x[6919] x[6920] x[6921] x[6922] x[6923] x[6924] x[6925] x[6926] x[6927] x[6928] x[6929] x[6930] x[6931] x[6932] x[6933] x[6934] x[6935] x[6936] x[6937] x[6938] x[6939] x[6940] x[6941] x[6942] x[6943] x[6944] x[6945] x[6946] x[6947] x[6948] x[6949] x[6950] x[6951] x[6952] x[6953] x[6954] x[6955] x[6956] x[6957] x[6958] x[6959] x[6960] x[6961] x[6962] x[6963] x[6964] x[6965] x[6966] x[6967] x[6968] x[6969] x[6970] x[6971] x[6972] x[6973] x[6974] x[6975] x[6976] x[6977] x[6978] x[6979] x[6980] x[6981] x[6982] x[6983] x[6984] x[6985] x[6986] x[6987] x[6988] x[6989] x[6990] x[6991] x[6992] x[6993] x[6994] x[6995] x[6996] x[6997] x[6998] x[6999] x[7000] x[7001] x[7002] x[7003] x[7004] x[7005] x[7006] x[7007] x[7008] x[7009] x[7010] x[7011] x[7012] x[7013] x[7014] x[7015] x[7016] x[7017] x[7018] x[7019] x[7020] x[7021] x[7022] x[7023] x[7024] x[7025] x[7026] x[7027] x[7028] x[7029] x[7030] x[7031] x[7032] x[7033] x[7034] x[7035] x[7036] x[7037] x[7038] x[7039] x[7040] x[7041] x[7042] x[7043] x[7044] x[7045] x[7046] x[7047] x[7048] x[7049] x[7050] x[7051] x[7052] x[7053] x[7054] x[7055] x[7056] x[7057] x[7058] x[7059] x[7060] x[7061] x[7062] x[7063] x[7064] x[7065] x[7066] x[7067] x[7068] x[7069] x[7070] x[7071] x[7072] x[7073] x[7074] x[7075] x[7076] x[7077] x[7078] x[7079] x[7080] x[7081] x[7082] x[7083] x[7084] x[7085] x[7086] x[7087] x[7088] x[7089] x[7090] x[7091] x[7092] x[7093] x[7094] x[7095] x[7096] x[7097] x[7098] x[7099] x[7100] x[7101] x[7102] x[7103] x[7104] x[7105] x[7106] x[7107] x[7108] x[7109] x[7110] x[7111] x[7112] x[7113] x[7114] x[7115] x[7116] x[7117] x[7118] x[7119] x[7120] x[7121] x[7122] x[7123] x[7124] x[7125] x[7126] x[7127] x[7128] x[7129] x[7130] x[7131] x[7132] x[7133] x[7134] x[7135] x[7136] x[7137] x[7138] x[7139] x[7140] x[7141] x[7142] x[7143] x[7144] x[7145] x[7146] x[7147] x[7148] x[7149] x[7150] x[7151] x[7152] x[7153] x[7154] x[7155] x[7156] x[7157] x[7158] x[7159] x[7160] x[7161] x[7162] x[7163] x[7164] x[7165] x[7166] x[7167] x[7168] x[7169] x[7170] x[7171] x[7172] x[7173] x[7174] x[7175] x[7176] x[7177] x[7178] x[7179] x[7180] x[7181] x[7182] x[7183] x[7184] x[7185] x[7186] x[7187] x[7188] x[7189] x[7190] x[7191] x[7192] x[7193] x[7194] x[7195] x[7196] x[7197] x[7198] x[7199] x[7200] x[7201] x[7202] x[7203] x[7204] x[7205] x[7206] x[7207] x[7208] x[7209] x[7210] x[7211] x[7212] x[7213] x[7214] x[7215] x[7216] x[7217] x[7218] x[7219] x[7220] x[7221] x[7222] x[7223] x[7224] x[7225] x[7226] x[7227] x[7228] x[7229] x[7230] x[7231] x[7232] x[7233] x[7234] x[7235] x[7236] x[7237] x[7238] x[7239] x[7240] x[7241] x[7242] x[7243] x[7244] x[7245] x[7246] x[7247] x[7248] x[7249] x[7250] x[7251] x[7252] x[7253] x[7254] x[7255] x[7256] x[7257] x[7258] x[7259] x[7260] x[7261] x[7262] x[7263] x[7264] x[7265] x[7266] x[7267] x[7268] x[7269] x[7270] x[7271] x[7272] x[7273] x[7274] x[7275] x[7276] x[7277] x[7278] x[7279] x[7280] x[7281] x[7282] x[7283] x[7284] x[7285] x[7286] x[7287] x[7288] x[7289] x[7290] x[7291] x[7292] x[7293] x[7294] x[7295] x[7296] x[7297] x[7298] x[7299] x[7300] x[7301] x[7302] x[7303] x[7304] x[7305] x[7306] x[7307] x[7308] x[7309] x[7310] x[7311] x[7312] x[7313] x[7314] x[7315] x[7316] x[7317] x[7318] x[7319] x[7320] x[7321] x[7322] x[7323] x[7324] x[7325] x[7326] x[7327] x[7328] x[7329] x[7330] x[7331] x[7332] x[7333] x[7334] x[7335] x[7336] x[7337] x[7338] x[7339] x[7340] x[7341] x[7342] x[7343] x[7344] x[7345] x[7346] x[7347] x[7348] x[7349] x[7350] x[7351] x[7352] x[7353] x[7354] x[7355] x[7356] x[7357] x[7358] x[7359] x[7360] x[7361] x[7362] x[7363] x[7364] x[7365] x[7366] x[7367] x[7368] x[7369] x[7370] x[7371] x[7372] x[7373] x[7374] x[7375] x[7376] x[7377] x[7378] x[7379] x[7380] x[7381] x[7382] x[7383] x[7384] x[7385] x[7386] x[7387] x[7388] x[7389] x[7390] x[7391] x[7392] x[7393] x[7394] x[7395] x[7396] x[7397] x[7398] x[7399] x[7400] x[7401] x[7402] x[7403] x[7404] x[7405] x[7406] x[7407] x[7408] x[7409] x[7410] x[7411] x[7412] x[7413] x[7414] x[7415] x[7416] x[7417] x[7418] x[7419] x[7420] x[7421] x[7422] x[7423] x[7424] x[7425] x[7426] x[7427] x[7428] x[7429] x[7430] x[7431] x[7432] x[7433] x[7434] x[7435] x[7436] x[7437] x[7438] x[7439] x[7440] x[7441] x[7442] x[7443] x[7444] x[7445] x[7446] x[7447] x[7448] x[7449] x[7450] x[7451] x[7452] x[7453] x[7454] x[7455] x[7456] x[7457] x[7458] x[7459] x[7460] x[7461] x[7462] x[7463] x[7464] x[7465] x[7466] x[7467] x[7468] x[7469] x[7470] x[7471] x[7472] x[7473] x[7474] x[7475] x[7476] x[7477] x[7478] x[7479] x[7480] x[7481] x[7482] x[7483] x[7484] x[7485] x[7486] x[7487] x[7488] x[7489] x[7490] x[7491] x[7492] x[7493] x[7494] x[7495] x[7496] x[7497] x[7498] x[7499] x[7500] x[7501] x[7502] x[7503] x[7504] x[7505] x[7506] x[7507] x[7508] x[7509] x[7510] x[7511] x[7512] x[7513] x[7514] x[7515] x[7516] x[7517] x[7518] x[7519] x[7520] x[7521] x[7522] x[7523] x[7524] x[7525] x[7526] x[7527] x[7528] x[7529] x[7530] x[7531] x[7532] x[7533] x[7534] x[7535] x[7536] x[7537] x[7538] x[7539] x[7540] x[7541] x[7542] x[7543] x[7544] x[7545] x[7546] x[7547] x[7548] x[7549] x[7550] x[7551] x[7552] x[7553] x[7554] x[7555] x[7556] x[7557] x[7558] x[7559] x[7560] x[7561] x[7562] x[7563] x[7564] x[7565] x[7566] x[7567] x[7568] x[7569] x[7570] x[7571] x[7572] x[7573] x[7574] x[7575] x[7576] x[7577] x[7578] x[7579] x[7580] x[7581] x[7582] x[7583] x[7584] x[7585] x[7586] x[7587] x[7588] x[7589] x[7590] x[7591] x[7592] x[7593] x[7594] x[7595] x[7596] x[7597] x[7598] x[7599] x[7600] x[7601] x[7602] x[7603] x[7604] x[7605] x[7606] x[7607] x[7608] x[7609] x[7610] x[7611] x[7612] x[7613] x[7614] x[7615] x[7616] x[7617] x[7618] x[7619] x[7620] x[7621] x[7622] x[7623] x[7624] x[7625] x[7626] x[7627] x[7628] x[7629] x[7630] x[7631] x[7632] x[7633] x[7634] x[7635] x[7636] x[7637] x[7638] x[7639] x[7640] x[7641] x[7642] x[7643] x[7644] x[7645] x[7646] x[7647] x[7648] x[7649] x[7650] x[7651] x[7652] x[7653] x[7654] x[7655] x[7656] x[7657] x[7658] x[7659] x[7660] x[7661] x[7662] x[7663] x[7664] x[7665] x[7666] x[7667] x[7668] x[7669] x[7670] x[7671] x[7672] x[7673] x[7674] x[7675] x[7676] x[7677] x[7678] x[7679] x[7680] x[7681] x[7682] x[7683] x[7684] x[7685] x[7686] x[7687] x[7688] x[7689] x[7690] x[7691] x[7692] x[7693] x[7694] x[7695] x[7696] x[7697] x[7698] x[7699] x[7700] x[7701] x[7702] x[7703] x[7704] x[7705] x[7706] x[7707] x[7708] x[7709] x[7710] x[7711] x[7712] x[7713] x[7714] x[7715] x[7716] x[7717] x[7718] x[7719] x[7720] x[7721] x[7722] x[7723] x[7724] x[7725] x[7726] x[7727] x[7728] x[7729] x[7730] x[7731] x[7732] x[7733] x[7734] x[7735] x[7736] x[7737] x[7738] x[7739] x[7740] x[7741] x[7742] x[7743] x[7744] x[7745] x[7746] x[7747] x[7748] x[7749] x[7750] x[7751] x[7752] x[7753] x[7754] x[7755] x[7756] x[7757] x[7758] x[7759] x[7760] x[7761] x[7762] x[7763] x[7764] x[7765] x[7766] x[7767] x[7768] x[7769] x[7770] x[7771] x[7772] x[7773] x[7774] x[7775] x[7776] x[7777] x[7778] x[7779] x[7780] x[7781] x[7782] x[7783] x[7784] x[7785] x[7786] x[7787] x[7788] x[7789] x[7790] x[7791] x[7792] x[7793] x[7794] x[7795] x[7796] x[7797] x[7798] x[7799] x[7800] x[7801] x[7802] x[7803] x[7804] x[7805] x[7806] x[7807] x[7808] x[7809] x[7810] x[7811] x[7812] x[7813] x[7814] x[7815] x[7816] x[7817] x[7818] x[7819] x[7820] x[7821] x[7822] x[7823] x[7824] x[7825] x[7826] x[7827] x[7828] x[7829] x[7830] x[7831] x[7832] x[7833] x[7834] x[7835] x[7836] x[7837] x[7838] x[7839] x[7840] x[7841] x[7842] x[7843] x[7844] x[7845] x[7846] x[7847] x[7848] x[7849] x[7850] x[7851] x[7852] x[7853] x[7854] x[7855] x[7856] x[7857] x[7858] x[7859] x[7860] x[7861] x[7862] x[7863] x[7864] x[7865] x[7866] x[7867] x[7868] x[7869] x[7870] x[7871] x[7872] x[7873] x[7874] x[7875] x[7876] x[7877] x[7878] x[7879] x[7880] x[7881] x[7882] x[7883] x[7884] x[7885] x[7886] x[7887] x[7888] x[7889] x[7890] x[7891] x[7892] x[7893] x[7894] x[7895] x[7896] x[7897] x[7898] x[7899] x[7900] x[7901] x[7902] x[7903] x[7904] x[7905] x[7906] x[7907] x[7908] x[7909] x[7910] x[7911] x[7912] x[7913] x[7914] x[7915] x[7916] x[7917] x[7918] x[7919] x[7920] x[7921] x[7922] x[7923] x[7924] x[7925] x[7926] x[7927] x[7928] x[7929] x[7930] x[7931] x[7932] x[7933] x[7934] x[7935] x[7936] x[7937] x[7938] x[7939] x[7940] x[7941] x[7942] x[7943] x[7944] x[7945] x[7946] x[7947] x[7948] x[7949] x[7950] x[7951] x[7952] x[7953] x[7954] x[7955] x[7956] x[7957] x[7958] x[7959] x[7960] x[7961] x[7962] x[7963] x[7964] x[7965] x[7966] x[7967] x[7968] x[7969] x[7970] x[7971] x[7972] x[7973] x[7974] x[7975] x[7976] x[7977] x[7978] x[7979] x[7980] x[7981] x[7982] x[7983] x[7984] x[7985] x[7986] x[7987] x[7988] x[7989] x[7990] x[7991] x[7992] x[7993] x[7994] x[7995] x[7996] x[7997] x[7998] x[7999] x[8000] x[8001] x[8002] x[8003] x[8004] x[8005] x[8006] x[8007] x[8008] x[8009] x[8010] x[8011] x[8012] x[8013] x[8014] x[8015] x[8016] x[8017] x[8018] x[8019] x[8020] x[8021] x[8022] x[8023] x[8024] x[8025] x[8026] x[8027] x[8028] x[8029] x[8030] x[8031] x[8032] x[8033] x[8034] x[8035] x[8036] x[8037] x[8038] x[8039] x[8040] x[8041] x[8042] x[8043] x[8044] x[8045] x[8046] x[8047] x[8048] x[8049] x[8050] x[8051] x[8052] x[8053] x[8054] x[8055] x[8056] x[8057] x[8058] x[8059] x[8060] x[8061] x[8062] x[8063] x[8064] x[8065] x[8066] x[8067] x[8068] x[8069] x[8070] x[8071] x[8072] x[8073] x[8074] x[8075] x[8076] x[8077] x[8078] x[8079] x[8080] x[8081] x[8082] x[8083] x[8084] x[8085] x[8086] x[8087] x[8088] x[8089] x[8090] x[8091] x[8092] x[8093] x[8094] x[8095] x[8096] x[8097] x[8098] x[8099] x[8100] x[8101] x[8102] x[8103] x[8104] x[8105] x[8106] x[8107] x[8108] x[8109] x[8110] x[8111] x[8112] x[8113] x[8114] x[8115] x[8116] x[8117] x[8118] x[8119] x[8120] x[8121] x[8122] x[8123] x[8124] x[8125] x[8126] x[8127] x[8128] x[8129] x[8130] x[8131] x[8132] x[8133] x[8134] x[8135] x[8136] x[8137] x[8138] x[8139] x[8140] x[8141] x[8142] x[8143] x[8144] x[8145] x[8146] x[8147] x[8148] x[8149] x[8150] x[8151] x[8152] x[8153] x[8154] x[8155] x[8156] x[8157] x[8158] x[8159] x[8160] x[8161] x[8162] x[8163] x[8164] x[8165] x[8166] x[8167] x[8168] x[8169] x[8170] x[8171] x[8172] x[8173] x[8174] x[8175] x[8176] x[8177] x[8178] x[8179] x[8180] x[8181] x[8182] x[8183] x[8184] x[8185] x[8186] x[8187] x[8188] x[8189] x[8190] x[8191] x[8192] x[8193] x[8194] x[8195] x[8196] x[8197] x[8198] x[8199] x[8200] x[8201] x[8202] x[8203] x[8204] x[8205] x[8206] x[8207] x[8208] x[8209] x[8210] x[8211] x[8212] x[8213] x[8214] x[8215] x[8216] x[8217] x[8218] x[8219] x[8220] x[8221] x[8222] x[8223] x[8224] x[8225] x[8226] x[8227] x[8228] x[8229] x[8230] x[8231] x[8232] x[8233] x[8234] x[8235] x[8236] x[8237] x[8238] x[8239] x[8240] x[8241] x[8242] x[8243] x[8244] x[8245] x[8246] x[8247] x[8248] x[8249] x[8250] x[8251] x[8252] x[8253] x[8254] x[8255] x[8256] x[8257] x[8258] x[8259] x[8260] x[8261] x[8262] x[8263] x[8264] x[8265] x[8266] x[8267] x[8268] x[8269] x[8270] x[8271] x[8272] x[8273] x[8274] x[8275] x[8276] x[8277] x[8278] x[8279] x[8280] x[8281] x[8282] x[8283] x[8284] x[8285] x[8286] x[8287] x[8288] x[8289] x[8290] x[8291] x[8292] x[8293] x[8294] x[8295] x[8296] x[8297] x[8298] x[8299] x[8300] x[8301] x[8302] x[8303] x[8304] x[8305] x[8306] x[8307] x[8308] x[8309] x[8310] x[8311] x[8312] x[8313] x[8314] x[8315] x[8316] x[8317] x[8318] x[8319] x[8320] x[8321] x[8322] x[8323] x[8324] x[8325] x[8326] x[8327] x[8328] x[8329] x[8330] x[8331] x[8332] x[8333] x[8334] x[8335] x[8336] x[8337] x[8338] x[8339] x[8340] x[8341] x[8342] x[8343] x[8344] x[8345] x[8346] x[8347] x[8348] x[8349] x[8350] x[8351] x[8352] x[8353] x[8354] x[8355] x[8356] x[8357] x[8358] x[8359] x[8360] x[8361] x[8362] x[8363] x[8364] x[8365] x[8366] x[8367] x[8368] x[8369] x[8370] x[8371] x[8372] x[8373] x[8374] x[8375] x[8376] x[8377] x[8378] x[8379] x[8380] x[8381] x[8382] x[8383] x[8384] x[8385] x[8386] x[8387] x[8388] x[8389] x[8390] x[8391] x[8392] x[8393] x[8394] x[8395] x[8396] x[8397] x[8398] x[8399] x[8400] x[8401] x[8402] x[8403] x[8404] x[8405] x[8406] x[8407] x[8408] x[8409] x[8410] x[8411] x[8412] x[8413] x[8414] x[8415] x[8416] x[8417] x[8418] x[8419] x[8420] x[8421] x[8422] x[8423] x[8424] x[8425] x[8426] x[8427] x[8428] x[8429] x[8430] x[8431] x[8432] x[8433] x[8434] x[8435] x[8436] x[8437] x[8438] x[8439] x[8440] x[8441] x[8442] x[8443] x[8444] x[8445] x[8446] x[8447] x[8448] x[8449] x[8450] x[8451] x[8452] x[8453] x[8454] x[8455] x[8456] x[8457] x[8458] x[8459] x[8460] x[8461] x[8462] x[8463] x[8464] x[8465] x[8466] x[8467] x[8468] x[8469] x[8470] x[8471] x[8472] x[8473] x[8474] x[8475] x[8476] x[8477] x[8478] x[8479] x[8480] x[8481] x[8482] x[8483] x[8484] x[8485] x[8486] x[8487] x[8488] x[8489] x[8490] x[8491] x[8492] x[8493] x[8494] x[8495] x[8496] x[8497] x[8498] x[8499] x[8500] x[8501] x[8502] x[8503] x[8504] x[8505] x[8506] x[8507] x[8508] x[8509] x[8510] x[8511] x[8512] x[8513] x[8514] x[8515] x[8516] x[8517] x[8518] x[8519] x[8520] x[8521] x[8522] x[8523] x[8524] x[8525] x[8526] x[8527] x[8528] x[8529] x[8530] x[8531] x[8532] x[8533] x[8534] x[8535] x[8536] x[8537] x[8538] x[8539] x[8540] x[8541] x[8542] x[8543] x[8544] x[8545] x[8546] x[8547] x[8548] x[8549] x[8550] x[8551] x[8552] x[8553] x[8554] x[8555] x[8556] x[8557] x[8558] x[8559] x[8560] x[8561] x[8562] x[8563] x[8564] x[8565] x[8566] x[8567] x[8568] x[8569] x[8570] x[8571] x[8572] x[8573] x[8574] x[8575] x[8576] x[8577] x[8578] x[8579] x[8580] x[8581] x[8582] x[8583] x[8584] x[8585] x[8586] x[8587] x[8588] x[8589] x[8590] x[8591] x[8592] x[8593] x[8594] x[8595] x[8596] x[8597] x[8598] x[8599] x[8600] x[8601] x[8602] x[8603] x[8604] x[8605] x[8606] x[8607] x[8608] x[8609] x[8610] x[8611] x[8612] x[8613] x[8614] x[8615] x[8616] x[8617] x[8618] x[8619] x[8620] x[8621] x[8622] x[8623] x[8624] x[8625] x[8626] x[8627] x[8628] x[8629] x[8630] x[8631] x[8632] x[8633] x[8634] x[8635] x[8636] x[8637] x[8638] x[8639] x[8640] x[8641] x[8642] x[8643] x[8644] x[8645] x[8646] x[8647] x[8648] x[8649] x[8650] x[8651] x[8652] x[8653] x[8654] x[8655] x[8656] x[8657] x[8658] x[8659] x[8660] x[8661] x[8662] x[8663] x[8664] x[8665] x[8666] x[8667] x[8668] x[8669] x[8670] x[8671] x[8672] x[8673] x[8674] x[8675] x[8676] x[8677] x[8678] x[8679] x[8680] x[8681] x[8682] x[8683] x[8684] x[8685] x[8686] x[8687] x[8688] x[8689] x[8690] x[8691] x[8692] x[8693] x[8694] x[8695] x[8696] x[8697] x[8698] x[8699] x[8700] x[8701] x[8702] x[8703] x[8704] x[8705] x[8706] x[8707] x[8708] x[8709] x[8710] x[8711] x[8712] x[8713] x[8714] x[8715] x[8716] x[8717] x[8718] x[8719] x[8720] x[8721] x[8722] x[8723] x[8724] x[8725] x[8726] x[8727] x[8728] x[8729] x[8730] x[8731] x[8732] x[8733] x[8734] x[8735] x[8736] x[8737] x[8738] x[8739] x[8740] x[8741] x[8742] x[8743] x[8744] x[8745] x[8746] x[8747] x[8748] x[8749] x[8750] x[8751] x[8752] x[8753] x[8754] x[8755] x[8756] x[8757] x[8758] x[8759] x[8760] x[8761] x[8762] x[8763] x[8764] x[8765] x[8766] x[8767] x[8768] x[8769] x[8770] x[8771] x[8772] x[8773] x[8774] x[8775] x[8776] x[8777] x[8778] x[8779] x[8780] x[8781] x[8782] x[8783] x[8784] x[8785] x[8786] x[8787] x[8788] x[8789] x[8790] x[8791] x[8792] x[8793] x[8794] x[8795] x[8796] x[8797] x[8798] x[8799] x[8800] x[8801] x[8802] x[8803] x[8804] x[8805] x[8806] x[8807] x[8808] x[8809] x[8810] x[8811] x[8812] x[8813] x[8814] x[8815] x[8816] x[8817] x[8818] x[8819] x[8820] x[8821] x[8822] x[8823] x[8824] x[8825] x[8826] x[8827] x[8828] x[8829] x[8830] x[8831] x[8832] x[8833] x[8834] x[8835] x[8836] x[8837] x[8838] x[8839] x[8840] x[8841] x[8842] x[8843] x[8844] x[8845] x[8846] x[8847] x[8848] x[8849] x[8850] x[8851] x[8852] x[8853] x[8854] x[8855] x[8856] x[8857] x[8858] x[8859] x[8860] x[8861] x[8862] x[8863] x[8864] x[8865] x[8866] x[8867] x[8868] x[8869] x[8870] x[8871] x[8872] x[8873] x[8874] x[8875] x[8876] x[8877] x[8878] x[8879] x[8880] x[8881] x[8882] x[8883] x[8884] x[8885] x[8886] x[8887] x[8888] x[8889] x[8890] x[8891] x[8892] x[8893] x[8894] x[8895] x[8896] x[8897] x[8898] x[8899] x[8900] x[8901] x[8902] x[8903] x[8904] x[8905] x[8906] x[8907] x[8908] x[8909] x[8910] x[8911] x[8912] x[8913] x[8914] x[8915] x[8916] x[8917] x[8918] x[8919] x[8920] x[8921] x[8922] x[8923] x[8924] x[8925] x[8926] x[8927] x[8928] x[8929] x[8930] x[8931] x[8932] x[8933] x[8934] x[8935] x[8936] x[8937] x[8938] x[8939] x[8940] x[8941] x[8942] x[8943] x[8944] x[8945] x[8946] x[8947] x[8948] x[8949] x[8950] x[8951] x[8952] x[8953] x[8954] x[8955] x[8956] x[8957] x[8958] x[8959] x[8960] x[8961] x[8962] x[8963] x[8964] x[8965] x[8966] x[8967] x[8968] x[8969] x[8970] x[8971] x[8972] x[8973] x[8974] x[8975] x[8976] x[8977] x[8978] x[8979] x[8980] x[8981] x[8982] x[8983] x[8984] x[8985] x[8986] x[8987] x[8988] x[8989] x[8990] x[8991] x[8992] x[8993] x[8994] x[8995] x[8996] x[8997] x[8998] x[8999] </list> 127.97/128.07 v <values>8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 8999 </values> 127.97/128.07 v </instantiation> 127.97/128.07
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15000 MiB free) memory of node 1: 16384 MiB (15533 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396763-1568593395/watcher-4396763-1568593395 -o /tmp/evaluation-result-4396763-1568593395/solver-4396763-1568593395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568593336-23101 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396763-1568593395.xml 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=23120, runsolver pid=23117 [startup+0.100158 s]* /proc/loadavg: 1.00 1.04 1.38 3/199 23131 /proc/meminfo: memFree=31144488/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=154544 memory=130612 CPUtime=0.1 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 32819 0 0 0 6 4 0 0 20 0 1 0 435592549 158253056 32653 33554432000 4194304 6211092 140732432842096 140732432838040 5231317 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 38636 32653 752 493 0 31941 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 154544 KiB Current children cumulated memory: 130612 KiB [startup+0.209861 s]* /proc/loadavg: 1.00 1.04 1.38 3/199 23131 /proc/meminfo: memFree=30970624/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=326856 memory=303004 CPUtime=0.21 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 75899 0 0 0 12 9 0 0 20 0 1 0 435592549 334700544 75685 33554432000 4194304 6211092 140732432842096 140732432838040 5231317 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 81714 75685 752 493 0 75019 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 326856 KiB Current children cumulated memory: 303004 KiB [startup+0.309482 s]* /proc/loadavg: 1.00 1.04 1.38 3/199 23131 /proc/meminfo: memFree=30812524/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=484404 memory=460348 CPUtime=0.31 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 115303 0 0 0 17 14 0 0 20 0 1 0 435592549 496029696 115087 33554432000 4194304 6211092 140732432842096 140732432838040 5231317 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 121137 115087 752 493 0 114442 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 484404 KiB Current children cumulated memory: 460348 KiB [startup+0.700361 s] /proc/loadavg: 1.00 1.04 1.38 3/199 23131 /proc/meminfo: memFree=30415600/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985388 memory=961684 CPUtime=0.69 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 240639 0 0 0 41 28 0 0 20 0 1 0 435592549 1009037312 240421 33554432000 4194304 6211092 140732432842096 140732432838040 5397223 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246347 240421 822 493 0 239652 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 985388 KiB Current children cumulated memory: 961684 KiB [startup+1.5004 s] /proc/loadavg: 1.08 1.06 1.39 3/199 23131 /proc/meminfo: memFree=30292716/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985388 memory=961684 CPUtime=1.49 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 240646 0 0 0 121 28 0 0 20 0 1 0 435592549 1009037312 240421 33554432000 4194304 6211092 140732432842096 140732432838040 5397375 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246347 240421 822 493 0 239652 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 985388 KiB Current children cumulated memory: 961684 KiB [startup+3.10966 s] /proc/loadavg: 1.08 1.06 1.39 3/199 23131 /proc/meminfo: memFree=30102420/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985388 memory=961936 CPUtime=3.1 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 271814 0 0 0 281 29 0 0 20 0 1 0 435592549 1009037312 240484 33554432000 4194304 6211092 140732432842096 140732432840056 5390575 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246347 240484 861 493 0 239652 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 985388 KiB Current children cumulated memory: 961936 KiB [startup+6.30037 s] /proc/loadavg: 1.16 1.08 1.39 3/199 23131 /proc/meminfo: memFree=29813996/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985388 memory=961940 CPUtime=6.29 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 328870 0 0 0 597 32 0 0 20 0 1 0 435592549 1009037312 240485 33554432000 4194304 6211092 140732432842096 140732432840056 139988224882595 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246347 240485 861 493 0 239652 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 985388 KiB Current children cumulated memory: 961940 KiB [startup+12.7004 s] /proc/loadavg: 1.22 1.09 1.39 3/200 23133 /proc/meminfo: memFree=29235468/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985388 memory=961976 CPUtime=12.69 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 393446 0 0 0 1234 35 0 0 20 0 1 0 435592549 1009037312 240494 33554432000 4194304 6211092 140732432842096 140732432840056 5446240 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246347 240494 861 493 0 239652 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 985388 KiB Current children cumulated memory: 961976 KiB [startup+25.5004 s] /proc/loadavg: 1.34 1.12 1.40 3/199 23133 /proc/meminfo: memFree=28664960/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985520 memory=962044 CPUtime=25.48 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 467477 0 0 0 2509 39 0 0 20 0 1 0 435592549 1009172480 240511 33554432000 4194304 6211092 140732432842096 140732432840056 5186488 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246380 240511 861 493 0 239685 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 985520 KiB Current children cumulated memory: 962044 KiB [startup+51.1097 s] /proc/loadavg: 1.60 1.20 1.42 3/199 23133 /proc/meminfo: memFree=28434976/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985652 memory=962168 CPUtime=51.08 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 555700 0 0 0 5064 44 0 0 20 0 1 0 435592549 1009307648 240542 33554432000 4194304 6211092 140732432842096 140732432840056 5164777 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246413 240542 861 493 0 239718 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 985652 KiB Current children cumulated memory: 962168 KiB [startup+102.3 s] /proc/loadavg: 1.83 1.33 1.45 3/199 23139 /proc/meminfo: memFree=28293364/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985784 memory=962384 CPUtime=102.27 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 659384 0 0 0 10176 51 0 0 20 0 1 0 435592549 1009442816 240596 33554432000 4194304 6211092 140732432842096 140732432840056 139988224885633 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246446 240596 861 493 0 239751 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 985784 KiB Current children cumulated memory: 962384 KiB [startup+128.131 s] # the end of solver process 23120 was just reported to runsolver # cumulated CPU time of all completed processes: user=127.484 s, system=0.62495 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+102.4 s] /proc/loadavg: 1.83 1.33 1.45 3/199 23139 /proc/meminfo: memFree=28293364/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985784 memory=962384 CPUtime=102.37 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 659452 0 0 0 10186 51 0 0 20 0 1 0 435592549 1009442816 240596 33554432000 4194304 6211092 140732432842096 140732432840056 5451521 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246446 240596 861 493 0 239751 0 Current children cumulated CPU time: 102.37 s Current children cumulated vsize: 985784 KiB Current children cumulated memory: 962384 KiB [startup+115.2 s] /proc/loadavg: 1.85 1.35 1.45 3/199 23140 /proc/meminfo: memFree=28278024/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985916 memory=962428 CPUtime=115.17 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 665844 0 0 0 11465 52 0 0 20 0 1 0 435592549 1009577984 240607 33554432000 4194304 6211092 140732432842096 140732432840056 139988224882609 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246479 240607 861 493 0 239784 0 Current children cumulated CPU time: 115.17 s Current children cumulated vsize: 985916 KiB Current children cumulated memory: 962428 KiB [startup+121.6 s] /proc/loadavg: 1.88 1.37 1.46 3/199 23141 /proc/meminfo: memFree=28264112/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985916 memory=962448 CPUtime=121.57 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 669281 0 0 0 12105 52 0 0 20 0 1 0 435592549 1009577984 240612 33554432000 4194304 6211092 140732432842096 140732432840056 5397368 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246479 240612 861 493 0 239784 0 Current children cumulated CPU time: 121.57 s Current children cumulated vsize: 985916 KiB Current children cumulated memory: 962448 KiB [startup+124.8 s] /proc/loadavg: 1.88 1.37 1.46 3/199 23141 /proc/meminfo: memFree=28264232/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985916 memory=962448 CPUtime=124.77 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 669316 0 0 0 12425 52 0 0 20 0 1 0 435592549 1009577984 240612 33554432000 4194304 6211092 140732432842096 140732432840056 5069456 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246479 240612 861 493 0 239784 0 Current children cumulated CPU time: 124.77 s Current children cumulated vsize: 985916 KiB Current children cumulated memory: 962448 KiB [startup+126.4 s] /proc/loadavg: 1.89 1.38 1.46 3/199 23141 /proc/meminfo: memFree=28264232/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985916 memory=962472 CPUtime=126.37 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 669331 0 0 0 12585 52 0 0 20 0 1 0 435592549 1009577984 240618 33554432000 4194304 6211092 140732432842096 140732432840056 5443042 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246479 240618 861 493 0 239784 0 Current children cumulated CPU time: 126.37 s Current children cumulated vsize: 985916 KiB Current children cumulated memory: 962472 KiB [startup+127.2 s] /proc/loadavg: 1.89 1.38 1.46 3/199 23141 /proc/meminfo: memFree=28264356/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=985916 memory=962472 CPUtime=127.17 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 669343 0 0 0 12665 52 0 0 20 0 1 0 435592549 1009577984 240618 33554432000 4194304 6211092 140732432842096 140732432840056 5446904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246479 240618 861 493 0 239784 0 Current children cumulated CPU time: 127.17 s Current children cumulated vsize: 985916 KiB Current children cumulated memory: 962472 KiB [startup+127.6 s] /proc/loadavg: 1.89 1.38 1.46 3/199 23141 /proc/meminfo: memFree=28264356/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=986444 memory=962776 CPUtime=127.57 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 669505 0 0 0 12705 52 0 0 20 0 1 0 435592549 1010118656 240694 33554432000 4194304 6211092 140732432842096 140732432840056 139988223962085 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 246611 240694 861 493 0 239916 0 Current children cumulated CPU time: 127.57 s Current children cumulated vsize: 986444 KiB Current children cumulated memory: 962776 KiB [startup+128 s]* /proc/loadavg: 1.89 1.38 1.46 3/199 23141 /proc/meminfo: memFree=28194296/32770624 swapFree=66997024/67108860 [pid=23120] ppid=23117 vsize=1056988 memory=1033440 CPUtime=127.97 cores=1,3,5,7 /proc/23120/stat : 23120 (cosoco) R 23117 23120 23069 0 -1 4202496 687284 0 0 0 12743 54 0 0 20 0 1 0 435592549 1082355712 258360 33554432000 4194304 6211092 140732432842096 140732432840056 5185143 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 33472512 140732432847883 140732432847985 140732432847985 140732432850894 0 /proc/23120/statm: 264247 258360 861 493 0 257552 0 Current children cumulated CPU time: 127.97 s Current children cumulated vsize: 1056988 KiB Current children cumulated memory: 1033440 KiB [startup+128.11 s]* /proc/loadavg: 1.89 1.38 1.46 3/199 23141 /proc/meminfo: memFree=28848548/32770624 swapFree=66997024/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 128.131 CPU time (s): 128.109 CPU user time (s): 127.484 CPU system time (s): 0.62495 CPU usage (%): 99.9823 Max. virtual memory (cumulated for all children) (KiB): 1056988 Max. memory (cumulated for all children) (KiB): 1033440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 127.484 system time used= 0.62495 maximum resident set size= 1121032 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 709310 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= 38 involuntary context switches= 107 # summary of solver processes directly reported to runsolver: # pid: 23120 # total CPU time (s): 128.109 # total CPU user time (s): 127.484 # total CPU system time (s): 0.62495 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.416266 second user time and 1.11608 second system time The end
Begin job on node103 at 2019-09-16 02:22:16 IDJOB=4396763 IDBENCH=138742 IDSOLVER=2848 FILE ID=node103/4396763-1568593395 RUNJOBID= node103-1568593336-23101 PBS_JOBID= 21703342 Free space on /tmp= 61720 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-9000-9000.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396763-1568593395/watcher-4396763-1568593395 -o /tmp/evaluation-result-4396763-1568593395/solver-4396763-1568593395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568593336-23101 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396763-1568593395.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 479d99eb162212229c70ebabb46032f2 RANDOM SEED=940934322 node103.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.74 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.74 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.74 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.74 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: 31268428 kB MemAvailable: 31879660 kB Buffers: 128592 kB Cached: 775312 kB SwapCached: 9168 kB Active: 595652 kB Inactive: 322304 kB Active(anon): 8444 kB Inactive(anon): 55452 kB Active(file): 587208 kB Inactive(file): 266852 kB Unevictable: 111172 kB Mlocked: 111172 kB SwapTotal: 67108860 kB SwapFree: 66997024 kB Dirty: 3504 kB Writeback: 0 kB AnonPages: 115780 kB Mapped: 46876 kB Shmem: 40856 kB Slab: 175528 kB SReclaimable: 146016 kB SUnreclaim: 29512 kB KernelStack: 3280 kB PageTables: 6272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 518556 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61712 MiB End job on node103 at 2019-09-16 02:24:24