<instantiation type='solution' cost='39'> <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100]
x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025]
x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040]
x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056]
x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071]
x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087]
x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102]
x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118]
x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133]
x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149]
x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164]
x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117]
x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195]
x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210]
x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226]
x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241]
x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257]
x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272]
x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288]
x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303]
x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319]
x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334]
x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134]
x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365]
x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380]
x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396]
x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411]
x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427]
x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[143] x[1440] x[1441] x[1442]
x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[144] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458]
x[1459] x[145] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[146] x[1470] x[1471] x[1472] x[1473]
x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[147] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489]
x[148] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[149] x[14] x[1500] x[1501] x[1502] x[1503] x[1504]
x[1505] x[1506] x[1507] x[1508] x[1509] x[150] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[151]
x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[152] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535]
x[1536] x[1537] x[1538] x[1539] x[153] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[154] x[1550]
x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[155] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566]
x[1567] x[1568] x[1569] x[156] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[157] x[1580] x[1581]
x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[158] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597]
x[1598] x[1599] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174]
x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192]
x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20]
x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228]
x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246]
x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264]
x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282]
x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2]
x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318]
x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336]
x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354]
x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372]
x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390]
x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408]
x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426]
x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444]
x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462]
x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480]
x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499]
x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516]
x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534]
x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552]
x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570]
x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589]
x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606]
x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624]
x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642]
x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660]
x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679]
x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697]
x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714]
x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732]
x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750]
x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769]
x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787]
x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804]
x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822]
x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840]
x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859]
x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877]
x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895]
x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912]
x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930]
x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949]
x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967]
x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985]
x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list> <values>0 39 26
24 36 18 33 10 2 0 21 36 1 15 27 7 23 34 25 31 16 3 26 17 28 14 4 30 12 5 35 20 38 33 13 11 6 19 9 29 37 8 22 32 12 34 28 33 35 11 15 18 29
3 19 19 7 30 36 6 1 12 5 20 8 17 16 25 38 16 27 39 21 23 0 13 22 11 24 2 37 9 10 32 26 4 31 14 38 11 13 38 10 31 17 16 3 7 12 2 6 19 5 22 20
8 28 33 9 27 31 10 26 14 25 37 21 39 4 34 1 2 32 23 29 35 30 36 24 0 18 32 15 14 21 38 26 12 2 16 22 4 20 23 29 37 0 24 14 35 15 6 7 39 8 8
19 29 9 30 36 32 34 5 27 28 30 31 10 13 1 17 3 11 25 33 18 20 10 12 32 13 15 22 36 35 26 0 25 11 3 4 20 39 9 33 2 18 14 6 27 24 31 21 6 7 8
1 38 29 1 16 28 25 17 5 37 23 30 34 19 3 11 12 25 0 29 27 26 5 18 6 30 37 20 17 31 19 9 13 23 28 11 37 9 22 15 38 16 14 10 7 32 24 34 23 1 4
2 36 33 8 39 3 35 21 14 30 31 6 22 1 12 28 38 25 17 26 18 7 29 0 10 37 39 19 5 34 39 21 16 32 13 4 2 3 14 35 15 33 27 33 9 20 8 26 36 11 24
23 28 20 15 31 17 30 28 14 22 19 3 21 39 35 33 4 2 16 7 37 1 12 5 12 23 18 34 29 11 26 6 9 5 8 35 25 27 32 0 38 13 21 10 36 24 13 31 30 16
34 32 38 25 6 24 7 18 15 36 35 8 12 18 11 10 17 13 36 0 20 3 1 2 9 39 37 28 4 32 33 19 26 5 21 27 22 14 23 29 19 6 21 14 8 35 24 2 34 29 33
3 31 32 17 16 11 4 1 9 25 15 11 13 5 20 38 18 0 12 3 37 19 22 39 7 10 28 23 36 27 22 26 30 25 13 23 2 12 16 17 0 19 25 30 37 38 5 6 3 32 13
21 8 1 10 22 27 18 39 4 36 28 33 38 7 29 11 8 26 9 24 35 15 14 20 34 27 31 7 1 33 5 20 16 6 9 36 10 31 1 29 24 23 30 0 2 27 15 7 4 6 37 3 26
8 17 35 22 21 11 13 29 14 12 18 32 25 28 34 19 38 39 10 32 29 34 0 5 1 38 27 35 25 30 24 23 22 21 17 39 37 36 30 26 16 27 20 19 15 18 31 14
13 11 12 10 0 9 8 7 6 4 16 3 2 28 33 24 35 6 29 18 20 10 27 13 33 11 34 3 2 25 38 36 32 15 17 14 16 12 28 21 5 22 34 8 31 23 4 9 31 7 30 0
37 24 19 12 26 39 1 15 29 22 25 38 36 34 30 24 39 16 17 21 20 11 27 28 23 26 13 19 18 20 35 17 12 14 10 15 9 8 6 33 2 5 32 4 7 3 2 1 31 37 0
4 28 36 16 9 30 14 18 8 11 37 1 14 32 33 21 12 34 25 0 4 27 38 16 2 35 13 10 20 24 15 29 39 6 29 19 17 28 22 26 31 7 23 3 5 30 1 17 34 8 11
33 19 24 16 23 35 15 28 37 7 29 21 30 13 5 31 9 31 3 36 10 39 38 22 26 2 25 1 17 12 20 14 27 18 0 15 32 4 6 32 25 24 17 9 10 29 34 19 1 2 33
14 8 15 23 3 0 32 27 37 20 18 4 6 18 28 12 31 33 26 16 21 19 11 35 39 38 13 22 30 36 5 7 20 38 27 20 2 12 21 35 15 11 10 34 9 18 34 28 5 31
16 30 32 23 35 2 7 37 36 26 3 19 24 22 14 0 36 4 39 1 25 29 17 13 33 6 8 37 28 0 15 26 19 3 11 21 34 13 38 4 25 39 33 22 10 35 38 20 24 21
31 32 1 2 27 36 16 12 8 18 22 30 23 17 14 37 6 29 5 7 9 23 4 5 13 7 37 27 21 33 15 34 24 16 9 32 35 30 22 29 14 36 28 39 6 0 24 19 23 17 25
31 26 3 25 38 18 20 39 11 1 2 12 8 10 26 3 16 17 21 25 38 32 15 23 13 14 5 12 22 0 26 24 33 34 29 2 36 7 8 1 39 6 7 37 18 19 3 27 35 20 31
30 10 28 4 5 35 9 11 6 19 39 36 27 0 11 17 1 4 29 29 25 31 26 2 14 38 18 6 23 7 30 9 34 37 5 8 20 35 28 22 24 23 15 21 3 13 32 30 33 16 10
12 39 26 20 19 28 6 35 1 14 5 24 27 36 27 16 9 29 3 12 23 34 33 8 4 10 4 30 0 15 25 37 39 32 17 13 2 22 8 18 7 21 31 38 11 13 14 33 19 28 21
34 36 39 32 22 20 37 38 10 14 1 31 29 17 25 3 0 25 11 9 6 35 24 30 27 13 15 5 18 37 26 23 4 2 18 8 7 12 16 24 9 11 27 15 22 2 29 10 16 39 19
8 5 20 31 26 6 38 24 35 19 21 12 30 23 3 32 34 14 4 7 37 26 21 0 36 33 1 25 18 28 13 17 31 5 15 4 3 39 8 7 12 9 28 6 1 17 21 2 24 33 5 22 26
13 1 33 32 10 0 11 25 27 30 36 19 23 11 18 34 31 29 16 38 35 37 14 20 20 24 36 1 5 28 25 4 12 14 18 22 34 29 19 37 8 20 31 32 0 11 38 33 2 7
23 9 13 17 30 10 26 10 3 6 27 16 39 35 38 21 15 22 16 18 35 11 23 7 14 20 5 9 27 36 26 12 30 10 4 17 24 3 38 21 32 6 16 8 28 31 37 1 36 6 0
39 28 34 13 22 2 19 33 32 15 29 25 3 7 8 30 31 23 20 13 26 32 15 15 2 28 9 17 37 14 21 39 4 29 34 5 25 19 33 35 3 0 24 18 36 12 22 38 12 11
6 34 10 1 16 27 9 3 37 18 33 25 13 31 30 12 4 4 19 16 8 11 38 36 2 34 15 6 17 39 22 21 9 26 29 32 27 23 7 0 35 1 5 24 20 10 14 0 17 28 2 7 8
3 39 4 21 37 0 17 38 32 13 33 1 13 5 6 26 30 35 28 2 10 29 11 22 24 16 23 20 25 31 12 37 10 36 19 15 14 7 9 27 18 34 24 27 14 4 1 13 8 3 37
36 26 9 22 34 38 18 7 11 10 12 24 32 23 30 23 2 25 5 28 21 17 9 20 7 6 15 33 31 0 39 16 29 19 35 0 14 32 22 37 39 4 26 31 18 28 17 23 38 6
15 25 1 9 8 12 10 22 8 24 7 35 34 0 5 2 33 17 30 27 29 16 21 3 27 11 19 13 20 36 39 2 23 10 32 3 9 37 8 31 36 28 0 4 1 39 19 7 20 22 33 35
34 14 13 27 15 29 11 28 18 21 25 15 17 5 16 26 34 12 6 24 30 38 35 22 18 7 19 24 31 32 20 2 38 4 30 26 10 3 16 27 36 0 6 39 18 34 12 29 17
13 4 1 15 33 14 21 8 25 11 23 35 5 28 9 21 37 5 9 </values> </instantiation>