<instantiation type='solution'> <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] </list> <values>0 15 258 391 409 689 847 224 608 827 842 923 948 475 813 839 906 836
1031 1093 970 33 119 142 635 6 227 538 834 878 1202 245 609 1011 203 412 710 1186 48 137 364 454 458 607 722 1116 492 165 377 387 481 544
596 928 946 141 1022 1256 99 1209 1278 654 567 1207 239 647 1129 1231 200 876 917 1172 1277 129 372 500 550 558 1210 611 1135 1213 369 708
705 117 154 188 199 437 472 989 1242 228 231 1034 1160 36 242 595 657 1248 278 591 1236 396 737 788 991 1050 76 237 491 753 87 693 980 1037
572 1279 9 66 136 193 329 602 1153 40 32 217 889 986 1263 1281 80 93 806 883 1042 1178 1264 1294 81 190 202 240 902 1254 783 964 1051 1096
1102 320 778 1028 1291 106 306 450 493 927 845 877 879 997 1203 1214 1274 803 186 696 897 90 98 192 322 559 1230 11 623 768 861 916 1286 42
253 527 661 1222 1252 465 542 626 1030 1094 757 882 1117 356 511 1005 563 620 682 1215 676 864 926 194 506 633 509 795 52 649 725 944 1163
53 945 284 373 957 468 968 219 838 1288 175 574 639 932 127 287 418 545 585 826 1273 139 201 566 622 1260 304 385 724 750 23 368 802 57 362
571 652 1023 215 618 675 263 357 732 969 399 473 556 648 692 875 111 1189 887 960 1077 149 146 514 518 711 1056 262 605 1126 996 114 564 866
569 218 415 460 779 1033 162 631 337 388 166 277 674 840 265 557 900 168 360 992 134 535 1095 126 45 50 191 1012 1061 1212 177 232 841 892
1206 340 1016 820 422 398 1073 1128 1193 390 627 729 867 96 261 1258 233 721 123 311 316 502 812 1112 294 546 809 1013 1060 439 490 681 694
352 355 469 496 1103 1175 1198 309 393 495 1121 1238 584 730 747 987 1024 1133 1149 818 1047 1131 1208 1269 348 420 350 358 898 1048 1127 70
621 860 1017 83 525 688 314 522 955 519 594 990 1001 1150 19 22 1104 668 891 442 664 1021 1014 1257 756 147 905 158 319 837 1004 1098 1261
755 1183 1227 72 160 1062 1101 1124 13 210 461 642 157 303 305 810 844 1217 486 526 17 552 1200 78 288 290 919 1275 12 173 416 16 260 590
901 797 843 464 798 1057 1063 1167 1237 515 1058 1066 1161 1162 255 660 829 1154 1255 1262 3 406 1007 814 850 336 1171 736 752 1000 1107
1125 555 1179 1295 1032 911 25 1059 1091 376 65 222 268 673 1157 1184 533 411 698 1115 463 540 870 79 180 216 482 717 532 697 1205 1268 1
235 764 171 1054 1083 298 405 936 26 332 371 833 470 301 869 51 205 630 772 1280 397 1266 973 407 958 1119 494 930 169 299 703 116 471 914
939 959 1195 1250 308 466 907 1081 182 477 421 777 1088 118 726 885 951 1224 456 508 671 713 1109 2 1052 1159 375 575 933 163 1114 785 212
266 365 386 583 1025 619 1168 75 204 966 381 243 543 1118 1151 1251 29 61 213 565 613 741 953 1084 562 185 379 769 920 1272 197 489 151 701
455 686 811 366 312 1216 1226 115 271 714 74 97 195 539 267 207 1108 1055 658 419 831 344 972 677 1249 374 395 720 853 971 1049 478 155 700
295 792 956 1234 568 321 537 553 665 669 751 787 858 554 616 1089 467 718 862 934 1045 58 214 577 598 1233 209 735 863 325 448 643 823 1044
1192 1067 1287 579 77 895 1068 1110 1223 524 942 1038 196 1246 413 429 1201 184 684 848 586 593 603 949 1240 37 570 680 754 855 172 999 105
748 274 628 904 804 791 1147 1041 102 246 417 1181 349 528 1152 636 817 998 822 1174 251 573 706 339 423 1220 425 1015 650 825 1270 1156
1221 1271 709 1292 551 746 1229 64 324 918 977 248 367 1265 534 687 530 1043 343 835 289 435 715 39 401 </values> </instantiation>