w8ext:=
[ <8, 132, 1711>,
<8, 129, 1713>,
<8, 132, 1715>,
<9, 1711, 983>,
<9, 786, 984>,
<9, 790, 984>,
<9, 1711, 984>,
<9, 784, 985>,
<9, 1712, 985>,
<9, 1713, 985>,
<9, 1711, 986>,
<9, 1712, 986>,
<9, 1714, 986>,
<9, 787, 987>,
<9, 790, 987>,
<9, 1711, 987>,
<9, 1713, 987>,
<9, 1714, 987>,
<9, 1715, 987>,
<9, 805, 988>,
<9, 1711, 988>,
<9, 1716, 988>,
<9, 788, 989>,
<9, 1711, 989>,
<9, 1712, 989>,
<9, 1713, 989>,
<9, 782, 990>,
<9, 786, 990>,
<9, 1713, 990>,
<9, 1714, 991>,
<9, 1716, 991>,
<9, 798, 992>,
<9, 805, 992>,
<9, 1711, 992>,
<9, 1714, 992>,
<9, 1715, 992>,
<9, 790, 993>,
<9, 806, 993>,
<9, 1715, 993>,
<9, 801, 994>,
<9, 1712, 994>,
<9, 1713, 994>,
<9, 786, 995>,
<9, 787, 995>,
<9, 1711, 995>,
<9, 1713, 995>,
<9, 789, 996>,
<9, 1713, 996>,
<9, 59, 997>,
<9, 1712, 997>,
<9, 786, 998>,
<9, 798, 999>,
<9, 1711, 999>,
<9, 64, 1000>,
<9, 1714, 1000>,
<9, 805, 1002>,
<9, 1715, 1002>,
<9, 67, 1003>,
<9, 1714, 1003>,
<9, 1716, 1003>,
<9, 789, 1240>,
<9, 1713, 1240>,
<9, 1960, 1240>,
<9, 782, 1241>,
<9, 1713, 1241>,
<9, 1960, 1241>,
<9, 798, 1242>,
<9, 1711, 1242>,
<9, 1714, 1242>,
<9, 1960, 1242>,
<9, 62, 1243>,
<9, 1960, 1243>,
<9, 64, 1244>,
<9, 1714, 1244>,
<10, 350, 345>,
<10, 983, 345>,
<10, 984, 345>,
<10, 985, 345>,
<10, 986, 345>,
<10, 987, 345>,
<10, 304, 346>,
<10, 984, 346>,
<10, 988, 346>,
<10, 281, 347>,
<10, 984, 347>,
<10, 985, 347>,
<10, 989, 347>,
<10, 990, 347>,
<10, 345, 348>,
<10, 983, 348>,
<10, 984, 348>,
<10, 986, 348>,
<10, 987, 348>,
<10, 988, 348>,
<10, 989, 348>,
<10, 991, 348>,
<10, 992, 348>,
<10, 289, 349>,
<10, 304, 349>,
<10, 984, 349>,
<10, 987, 349>,
<10, 990, 349>,
<10, 992, 349>,
<10, 993, 349>,
<10, 338, 350>,
<10, 989, 350>,
<10, 990, 350>,
<10, 994, 350>,
<10, 995, 350>,
<10, 277, 351>,
<10, 291, 351>,
<10, 990, 351>,
<10, 995, 351>,
<10, 296, 352>,
<10, 985, 352>,
<10, 989, 352>,
<10, 990, 352>,
<10, 994, 352>,
<10, 995, 352>,
<10, 996, 352>,
<10, 997, 352>,
<10, 289, 353>,
<10, 291, 353>,
<10, 984, 353>,
<10, 990, 353>,
<10, 995, 353>,
<10, 998, 353>,
<10, 999, 353>,
<10, 282, 354>,
<10, 990, 354>,
<10, 996, 354>,
<10, 998, 354>,
<10, 297, 355>,
<10, 989, 355>,
<10, 990, 355>,
<10, 996, 355>,
<10, 997, 355>,
<10, 999, 355>,
<10, 454, 356>,
<10, 986, 356>,
<10, 987, 356>,
<10, 994, 356>,
<10, 1000, 356>,
<10, 1001, 356>,
<10, 304, 357>,
<10, 456, 357>,
<10, 987, 357>,
<10, 988, 357>,
<10, 995, 357>,
<10, 1002, 357>,
<10, 1003, 357>,
<10, 303, 358>,
<10, 987, 358>,
<10, 992, 358>,
<10, 993, 358>,
<10, 996, 358>,
<10, 1000, 358>,
<10, 1002, 358>,
<10, 455, 359>,
<10, 986, 359>,
<10, 991, 359>,
<10, 992, 359>,
<10, 997, 359>,
<10, 1000, 359>,
<10, 1001, 359>,
<10, 1003, 359>,
<10, 304, 360>,
<10, 939, 360>,
<10, 993, 360>,
<10, 998, 360>,
<10, 1002, 360>,
<10, 457, 361>,
<10, 645, 361>,
<10, 988, 361>,
<10, 992, 361>,
<10, 999, 361>,
<10, 1002, 361>,
<10, 1003, 361>,
<10, 292, 362>,
<10, 995, 362>,
<10, 996, 362>,
<10, 998, 362>,
<10, 999, 362>,
<10, 343, 363>,
<10, 994, 363>,
<10, 996, 363>,
<10, 997, 363>,
<10, 291, 364>,
<10, 998, 364>,
<10, 939, 365>,
<10, 645, 366>,
<10, 1002, 366>,
<10, 552, 367>,
<10, 1000, 367>,
<10, 1003, 367>,
<10, 21, 368>,
<10, 1001, 368>,
<10, 282, 508>,
<10, 990, 508>,
<10, 1240, 508>,
<10, 1241, 508>,
<10, 292, 509>,
<10, 995, 509>,
<10, 1240, 509>,
<10, 1242, 509>,
<10, 277, 510>,
<10, 289, 510>,
<10, 987, 510>,
<10, 995, 510>,
<10, 1241, 510>,
<10, 1242, 510>,
<10, 301, 511>,
<10, 990, 511>,
<10, 996, 511>,
<10, 1240, 511>,
<10, 1241, 511>,
<10, 1243, 511>,
<10, 302, 512>,
<10, 999, 512>,
<10, 1242, 512>,
<10, 1243, 512>,
<10, 1244, 512>,
<10, 292, 513>,
<10, 303, 513>,
<10, 984, 513>,
<10, 987, 513>,
<10, 992, 513>,
<10, 995, 513>,
<10, 999, 513>,
<10, 1240, 513>,
<10, 1242, 513>,
<10, 1244, 513>,
<10, 1240, 514>,
<10, 1243, 514>,
<10, 1245, 514>,
<10, 1244, 515>,
<10, 1245, 515>,
<10, 1246, 515>,
<10, 302, 516>,
<10, 992, 516>,
<10, 1000, 516>,
<10, 1242, 516>,
<10, 1243, 516>,
<10, 1244, 516>,
<10, 1246, 516>,
<10, 457, 517>,
<10, 988, 517>,
<10, 1003, 517>,
<10, 1242, 517>,
<10, 1247, 517>,
<10, 552, 518>,
<10, 1003, 518>,
<10, 1244, 518>,
<10, 1247, 518>,
<10, 22, 519>,
<10, 1246, 519>,
<10, 1247, 519>,
<11, 89, 80>,
<11, 345, 80>,
<11, 346, 80>,
<11, 347, 80>,
<11, 348, 80>,
<11, 349, 80>,
<11, 81, 81>,
<11, 347, 81>,
<11, 350, 81>,
<11, 351, 81>,
<11, 352, 81>,
<11, 353, 81>,
<11, 354, 81>,
<11, 355, 81>,
<11, 124, 82>,
<11, 345, 82>,
<11, 348, 82>,
<11, 349, 82>,
<11, 350, 82>,
<11, 352, 82>,
<11, 356, 82>,
<11, 357, 82>,
<11, 358, 82>,
<11, 359, 82>,
<11, 126, 83>,
<11, 319, 83>,
<11, 346, 83>,
<11, 349, 83>,
<11, 351, 83>,
<11, 353, 83>,
<11, 357, 83>,
<11, 360, 83>,
<11, 361, 83>,
<11, 63, 84>,
<11, 349, 84>,
<11, 354, 84>,
<11, 358, 84>,
<11, 360, 84>,
<11, 59, 85>,
<11, 347, 85>,
<11, 352, 85>,
<11, 353, 85>,
<11, 354, 85>,
<11, 355, 85>,
<11, 125, 86>,
<11, 348, 86>,
<11, 349, 86>,
<11, 355, 86>,
<11, 358, 86>,
<11, 359, 86>,
<11, 361, 86>,
<11, 77, 87>,
<11, 350, 87>,
<11, 352, 87>,
<11, 354, 87>,
<11, 355, 87>,
<11, 362, 87>,
<11, 363, 87>,
<11, 55, 88>,
<11, 351, 88>,
<11, 353, 88>,
<11, 354, 88>,
<11, 362, 88>,
<11, 364, 88>,
<11, 319, 89>,
<11, 360, 89>,
<11, 364, 89>,
<11, 365, 89>,
<11, 366, 89>,
<11, 211, 90>,
<11, 357, 90>,
<11, 358, 90>,
<11, 360, 90>,
<11, 361, 90>,
<11, 362, 90>,
<11, 366, 90>,
<11, 367, 90>,
<11, 162, 91>,
<11, 356, 91>,
<11, 358, 91>,
<11, 359, 91>,
<11, 363, 91>,
<11, 367, 91>,
<11, 368, 91>,
<11, 55, 149>,
<11, 351, 149>,
<11, 508, 149>,
<11, 509, 149>,
<11, 510, 149>,
<11, 62, 150>,
<11, 354, 150>,
<11, 508, 150>,
<11, 511, 150>,
<11, 61, 151>,
<11, 351, 151>,
<11, 353, 151>,
<11, 362, 151>,
<11, 509, 151>,
<11, 510, 151>,
<11, 511, 151>,
<11, 512, 151>,
<11, 513, 151>,
<11, 55, 152>,
<11, 63, 152>,
<11, 349, 152>,
<11, 353, 152>,
<11, 508, 152>,
<11, 510, 152>,
<11, 513, 152>,
<11, 508, 153>,
<11, 511, 153>,
<11, 514, 153>,
<11, 509, 154>,
<11, 512, 154>,
<11, 513, 154>,
<11, 514, 154>,
<11, 515, 154>,
<11, 516, 154>,
<11, 61, 155>,
<11, 349, 155>,
<11, 358, 155>,
<11, 510, 155>,
<11, 511, 155>,
<11, 513, 155>,
<11, 516, 155>,
<11, 126, 156>,
<11, 357, 156>,
<11, 510, 156>,
<11, 517, 156>,
<11, 211, 157>,
<11, 346, 157>,
<11, 357, 157>,
<11, 361, 157>,
<11, 509, 157>,
<11, 513, 157>,
<11, 517, 157>,
<11, 518, 157>,
<11, 163, 158>,
<11, 361, 158>,
<11, 367, 158>,
<11, 512, 158>,
<11, 516, 158>,
<11, 517, 158>,
<11, 518, 158>,
<11, 519, 158>,
<11, 515, 159>,
<11, 518, 159>,
<11, 519, 159>,
<11, 520, 159>,
<12, 23, 13>,
<12, 80, 13>,
<12, 81, 13>,
<12, 82, 13>,
<12, 83, 13>,
<12, 84, 13>,
<12, 85, 13>,
<12, 86, 13>,
<12, 13, 14>,
<12, 81, 14>,
<12, 85, 14>,
<12, 87, 14>,
<12, 88, 14>,
<12, 71, 15>,
<12, 83, 15>,
<12, 84, 15>,
<12, 88, 15>,
<12, 89, 15>,
<12, 90, 15>,
<12, 43, 16>,
<12, 82, 16>,
<12, 84, 16>,
<12, 86, 16>,
<12, 87, 16>,
<12, 90, 16>,
<12, 91, 16>,
<12, 8, 32>,
<12, 88, 32>,
<12, 149, 32>,
<12, 150, 32>,
<12, 151, 32>,
<12, 152, 32>,
<12, 150, 33>,
<12, 153, 33>,
<12, 149, 34>,
<12, 151, 34>,
<12, 152, 34>,
<12, 153, 34>,
<12, 154, 34>,
<12, 155, 34>,
<12, 8, 35>,
<12, 84, 35>,
<12, 150, 35>,
<12, 152, 35>,
<12, 155, 35>,
<12, 71, 36>,
<12, 83, 36>,
<12, 149, 36>,
<12, 152, 36>,
<12, 156, 36>,
<12, 157, 36>,
<12, 45, 38>,
<12, 83, 38>,
<12, 90, 38>,
<12, 151, 38>,
<12, 155, 38>,
<12, 156, 38>,
<12, 157, 38>,
<12, 158, 38>,
<12, 154, 39>,
<12, 157, 39>,
<12, 158, 39>,
<12, 159, 39>,
<13, 11, 1>,
<13, 13, 1>,
<13, 14, 1>,
<13, 15, 1>,
<13, 16, 1>,
<13, 32, 4>,
<13, 33, 4>,
<13, 34, 4>,
<13, 35, 4>,
<13, 15, 5>,
<13, 32, 5>,
<13, 35, 5>,
<13, 36, 5>,
<13, 37, 5>,
<13, 38, 5>,
<13, 34, 6>,
<13, 36, 6>,
<13, 38, 6>,
<13, 39, 6>,
<14, 4, 1>,
<14, 5, 1>,
<14, 6, 1>];