<instantiation type="solution"> <list> s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11]
s[0][12] s[0][13] s[0][14] s[0][15] s[0][16] s[0][17] s[0][18] s[0][19] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7]
s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[1][15] s[1][16] s[1][17] s[1][18] s[1][19] s[2][0] s[2][1] s[2][2] s[2][3]
s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[2][15] s[2][16] s[2][17] s[2][18] s[2][19]
s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[3][15]
s[3][16] s[3][17] s[3][18] s[3][19] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11]
s[4][12] s[4][13] s[4][14] s[4][15] s[4][16] s[4][17] s[4][18] s[4][19] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7]
s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[5][15] s[5][16] s[5][17] s[5][18] s[5][19] s[6][0] s[6][1] s[6][2] s[6][3]
s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[6][15] s[6][16] s[6][17] s[6][18] s[6][19]
s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[7][15]
s[7][16] s[7][17] s[7][18] s[7][19] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11]
s[8][12] s[8][13] s[8][14] s[8][15] s[8][16] s[8][17] s[8][18] s[8][19] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7]
s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[9][15] s[9][16] s[9][17] s[9][18] s[9][19] s[10][0] s[10][1] s[10][2]
s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[10][15] s[10][16]
s[10][17] s[10][18] s[10][19] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11]
s[11][12] s[11][13] s[11][14] s[11][15] s[11][16] s[11][17] s[11][18] s[11][19] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5]
s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[12][15] s[12][16] s[12][17] s[12][18] s[12][19]
s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14]
s[13][15] s[13][16] s[13][17] s[13][18] s[13][19] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9]
s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] s[14][15] s[14][16] s[14][17] s[14][18] s[14][19] s[15][0] s[15][1] s[15][2] s[15][3]
s[15][4] s[15][5] s[15][6] s[15][7] s[15][8] s[15][9] s[15][10] s[15][11] s[15][12] s[15][13] s[15][14] s[15][15] s[15][16] s[15][17]
s[15][18] s[15][19] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[16][5] s[16][6] s[16][7] s[16][8] s[16][9] s[16][10] s[16][11] s[16][12]
s[16][13] s[16][14] s[16][15] s[16][16] s[16][17] s[16][18] s[16][19] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[17][5] s[17][6]
s[17][7] s[17][8] s[17][9] s[17][10] s[17][11] s[17][12] s[17][13] s[17][14] s[17][15] s[17][16] s[17][17] s[17][18] s[17][19] s[18][0]
s[18][1] s[18][2] s[18][3] s[18][4] s[18][5] s[18][6] s[18][7] s[18][8] s[18][9] s[18][10] s[18][11] s[18][12] s[18][13] s[18][14] s[18][15]
s[18][16] s[18][17] s[18][18] s[18][19] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] s[19][5] s[19][6] s[19][7] s[19][8] s[19][9] s[19][10]
s[19][11] s[19][12] s[19][13] s[19][14] s[19][15] s[19][16] s[19][17] s[19][18] s[19][19] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9]
e[10] e[11] e[12] e[13] e[14] e[15] e[16] e[17] e[18] e[19] </list> <values> 280 383 444 648 696 740 749 853 932 1025 1075 1108 1157 1238
1243 1313 1435 1526 1552 1632 0 117 165 171 262 330 400 516 585 627 672 748 792 857 1068 1135 1201 1235 1338 1511 0 80 115 150 255 313 402
478 630 689 705 861 1075 1169 1207 1344 1426 1496 1571 1636 97 312 370 407 513 544 726 933 1018 1068 1162 1199 1219 1414 1434 1470 1512 1563
1571 1613 0 81 158 162 231 269 276 357 447 523 630 697 764 862 1013 1133 1315 1426 1466 1483 0 64 71 165 276 485 560 617 710 956 985 1068
1161 1241 1314 1394 1402 1428 1515 1584 231 280 339 430 489 515 559 629 670 703 797 959 1011 1084 1324 1387 1452 1467 1469 1571 75 91 122
145 190 281 326 383 507 600 657 761 1025 1097 1164 1208 1301 1387 1405 1542 69 170 195 259 428 609 698 710 779 854 932 1092 1164 1301 1405
1490 1525 1568 1603 1613 0 33 117 195 261 396 489 576 620 713 780 845 948 1031 1075 1141 1232 1325 1434 1596 0 17 43 97 156 248 282 354 490
561 705 780 848 1090 1227 1331 1425 1500 1600 1636 17 83 171 245 330 402 424 499 539 586 661 704 748 876 937 1028 1141 1206 1395 1494 0 81
276 375 447 539 644 749 840 949 1045 1099 1175 1257 1402 1440 1459 1532 1555 1643 43 289 388 430 471 480 513 539 695 746 819 860 956 995
1086 1499 1562 1563 1584 1653 0 49 149 245 259 326 670 764 920 945 1043 1135 1257 1314 1318 1319 1321 1411 1502 1575 0 163 444 487 578 630
639 661 932 1011 1087 1103 1125 1222 1238 1302 1315 1365 1510 1632 0 127 168 215 276 342 373 465 559 599 780 816 853 908 933 938 1179 1241
1304 1321 0 69 165 229 436 476 547 587 648 816 862 894 942 949 986 1139 1283 1405 1486 1525 310 428 474 542 576 689 708 750 802 840 908 980
1058 1101 1168 1226 1257 1483 1552 1636 79 170 187 262 342 386 397 429 507 516 585 653 767 995 1045 1127 1143 1186 1253 1496 1668 1562 1667
1660 1562 1669 1642 1563 1646 1663 1665 1575 1662 1663 1660 1666 1344 1600 1663 1584 </values> </instantiation>