<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> 0 33 220 301 444 549 814 943 1017 1025 1057 1097 1147 1212 1265
1305 1395 1464 1520 1578 98 167 206 264 274 413 418 455 464 565 659 707 762 1057 1123 1218 1318 1381 1453 1590 0 79 149 184 310 345 515 616
703 840 933 1005 1036 1193 1312 1325 1344 1471 1517 1521 60 150 190 271 350 446 612 706 775 797 824 847 900 968 1008 1095 1265 1372 1397
1526 0 7 88 181 268 396 473 505 515 593 766 805 883 993 1113 1212 1235 1327 1361 1541 0 149 220 276 365 505 529 641 700 815 878 968 1017
1070 1120 1129 1167 1191 1243 1465 58 124 266 276 361 416 500 529 570 633 852 1002 1064 1136 1207 1268 1351 1370 1403 1449 0 11 44 128 150
360 627 673 723 800 885 953 1002 1007 1053 1215 1322 1414 1444 1513 1 48 109 149 174 264 343 346 416 533 947 1034 1038 1201 1244 1303 1324
1371 1372 1444 0 9 58 184 228 274 480 500 560 627 671 673 720 922 955 1175 1274 1354 1454 1480 0 88 267 334 369 418 473 487 571 659 741 775
776 853 943 1253 1327 1354 1476 1490 0 33 66 78 185 301 440 475 487 589 592 667 878 923 955 1076 1175 1300 1410 1423 87 151 228 310 342 417
449 517 533 623 704 735 793 905 949 993 1136 1397 1469 1516 11 342 440 539 578 660 742 743 794 847 909 953 1003 1047 1119 1208 1253 1297
1318 1397 0 87 150 158 178 266 354 431 519 593 623 706 909 1119 1179 1253 1326 1396 1483 1526 9 167 260 304 346 421 519 596 641 720 772 787
866 922 950 985 993 1072 1093 1542 334 409 529 612 660 667 772 815 909 915 949 997 1064 1097 1141 1272 1371 1457 1468 1560 29 126 249 264
431 462 503 578 589 620 762 772 811 1034 1146 1193 1297 1370 1402 1548 0 1 98 166 174 181 266 304 354 421 517 571 741 772 909 985 1005 1034
1139 1526 0 29 60 158 260 275 327 648 723 759 805 852 855 871 915 983 1094 1146 1197 1354 1591 1600 1595 1598 1589 1531 1513 1590 1519 1520
1584 1522 1600 1457 1603 1585 1603 1602 1542 1433 </values> </instantiation>