mapcode_fast_encode.php

<?php

/*
 * Copyright (C) 2014-2020 Stichting Mapcode Foundation (http://www.mapcode.com)
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *    http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

$redivar = array(
    27984500, 1383,
    2537718, 676,
    12842450, 332,
    -55514813, 174,
    -6059000, 101,
    -117350000, 46,
    -15190488, 30,
    -167832984, 25,
    -28175000, 21,
    2, 171, 531,
    3, 30, 55, 89,
    4, 12, 28, 71, 531,
    -171131108, 41,
    -11977500, 38,
    3, 22, 69, 89,
    2, 3, 58,
    4, 27, 28, 58, 71,
    -18715000, 75,
    -64521250, 57,
    6, 209, 219, 227, 270, 409, 531,
    -28845346, 67,
    7, 82, 155, 227, 270, 334, 409, 531,
    7, 186, 219, 227, 270, 334, 337, 409,
    -59298500, 93,
    -15616000, 85,
    5, 209, 219, 227, 340, 409,
    7, 219, 227, 327, 330, 340, 342, 409,
    7, 219, 227, 337, 340, 341, 342, 409,
    -68556225, 144,
    9859904, 130,
    -74589500, 124,
    4965000, 118,
    -121020000, 114,
    2, 58, 529,
    3, 168, 221, 227,
    5, 117, 127, 221, 227, 529,
    5, 214, 221, 227, 342, 409,
    -82018000, 138,
    5, 117, 148, 227, 529, 530,
    5, 25, 45, 214, 221, 227,
    9263257, 156,
    9, 154, 161, 214, 221, 227, 329, 341, 342, 409,
    -62448678, 163,
    4, 33, 214, 221, 227,
    12365000, 170,
    4, 37, 73, 214, 227,
    3, 37, 41, 227,
    -8371850, 258,
    -47007000, 205,
    -19580300, 193,
    12, 155, 186, 227, 270, 323, 328, 331, 334, 337, 339, 409, 531,
    11, 186, 227, 316, 333, 335, 336, 337, 339, 340, 341, 409,
    -11963846, 239,
    -42991000, 225,
    -19580300, 218,
    6, 227, 319, 331, 339, 409, 531,
    6, 227, 333, 336, 338, 339, 409,
    -47050000, 231,
    3, 70, 227, 531,
    7, 35, 227, 319, 320, 338, 339, 409,
    -39287170, 250,
    8, 227, 324, 332, 333, 335, 338, 341, 409,
    7, 35, 227, 317, 318, 324, 338, 409,
    -23810000, 294,
    -1916920, 280,
    -41616550, 272,
    7, 227, 332, 333, 335, 340, 341, 409,
    7, 227, 321, 322, 324, 326, 332, 409,
    -49307328, 289,
    6, 129, 154, 227, 325, 341, 409,
    4, 227, 335, 341, 409,
    10775000, 312,
    -5530500, 305,
    6, 35, 126, 142, 167, 177, 223,
    6, 120, 144, 164, 172, 177, 223,
    -6579285, 319,
    4, 108, 158, 167, 223,
    11426925, 327,
    5, 120, 144, 164, 172, 223,
    4, 144, 172, 223, 225,
    -85785000, 522,
    19815000, 418,
    -95481000, 355,
    16, 233, 234, 235, 237, 239, 240, 244, 249, 251, 254, 258, 260, 351, 410, 411, 529,
    17649500, 391,
    -90249500, 377,
    14015959, 364,
    2, 139, 227,
    -92914500, 372,
    5, 241, 254, 255, 260, 411,
    4, 139, 241, 255, 411,
    14491789, 385,
    5, 94, 139, 143, 148, 227,
    5, 95, 139, 143, 148, 411,
    -90690000, 402,
    8, 139, 241, 248, 254, 255, 260, 410, 411,
    19007500, 412,
    7, 95, 139, 246, 248, 255, 410, 411,
    5, 245, 246, 248, 410, 411,
    -100679000, 473,
    23113500, 451,
    -104856000, 433,
    8, 242, 247, 256, 258, 261, 351, 410, 411,
    20496000, 441,
    5, 243, 249, 258, 410, 411,
    9, 236, 242, 243, 250, 257, 258, 261, 410, 411,
    -104856000, 463,
    9, 247, 256, 261, 263, 264, 351, 392, 410, 411,
    9, 250, 252, 257, 261, 262, 264, 392, 410, 411,
    22023500, 494,
    -93031500, 488,
    10, 238, 239, 240, 243, 244, 249, 250, 254, 410, 411,
    5, 245, 246, 248, 410, 411,
    -91965000, 512,
    24517000, 505,
    6, 250, 252, 254, 259, 410, 411,
    6, 252, 259, 262, 392, 410, 411,
    24055000, 518,
    3, 245, 410, 411,
    3, 372, 410, 411,
    17731984, 599,
    -61364779, 567,
    16901800, 545,
    -62626922, 536,
    5, 33, 143, 148, 221, 227,
    15684879, 542,
    3, 41, 56, 227,
    2, 19, 64,
    -66701997, 557,
    17575000, 553,
    3, 33, 115, 143,
    3, 33, 79, 115,
    17551293, 563,
    3, 31, 33, 44,
    3, 33, 38, 44,
    14253000, 582,
    -23810000, 576,
    4, 41, 43, 52, 227,
    5, 80, 158, 172, 223, 225,
    -20139807, 593,
    15684879, 590,
    3, 56, 62, 72,
    2, 64, 72,
    5, 158, 172, 218, 223, 225,
    -63821000, 638,
    19812550, 616,
    -68135088, 611,
    5, 32, 79, 99, 115, 410,
    4, 23, 38, 76, 410,
    -72604230, 629,
    23868000, 625,
    4, 85, 99, 140, 410,
    3, 85, 372, 410,
    20556500, 635,
    3, 99, 115, 410,
    2, 59, 410,
    18772220, 652,
    -62560260, 647,
    4, 5, 9, 10, 18,
    4, 44, 218, 223, 225,
    -422500, 667,
    27433500, 662,
    5, 169, 188, 218, 223, 268,
    4, 169, 188, 194, 268,
    26255000, 673,
    3, 223, 225, 268,
    2, 194, 268,
    10511000, 1056,
    74615395, 878,
    -5098202, 776,
    39063250, 738,
    -20098000, 705,
    29828500, 699,
    -50838844, 693,
    2, 13, 531,
    5, 105, 185, 200, 213, 222,
    5, 87, 185, 212, 222, 531,
    29790000, 725,
    -14533000, 715,
    5, 185, 200, 208, 213, 224,
    26708284, 721,
    3, 208, 224, 267,
    3, 208, 216, 267,
    -14533000, 732,
    4, 146, 185, 208, 212,
    5, 146, 208, 212, 216, 267,
    -12572492, 758,
    54723903, 749,
    6, 39, 66, 75, 201, 212, 531,
    -51460000, 754,
    2, 42, 531,
    3, 66, 67, 75,
    45312387, 766,
    5, 65, 75, 201, 212, 216,
    -8413797, 773,
    4, 46, 66, 75, 201,
    2, 15, 46,
    28158500, 820,
    4039834, 806,
    11520181, 788,
    5, 60, 101, 170, 182, 192,
    -4167751, 794,
    3, 182, 224, 267,
    21050000, 802,
    5, 170, 182, 192, 204, 267,
    3, 203, 204, 267,
    6307500, 812,
    3, 144, 215, 223,
    7, 192, 203, 204, 215, 226, 231, 267,
    1202691, 840,
    40707790, 831,
    6, 98, 100, 165, 199, 216, 267,
    -2685000, 836,
    2, 46, 199,
    3, 34, 199, 205,
    39800000, 859,
    7371000, 855,
    32140000, 850,
    3, 165, 203, 267,
    4, 165, 199, 203, 220,
    3, 203, 220, 231,
    7876932, 870,
    59255071, 867,
    3, 199, 205, 220,
    2, 34, 407,
    59255071, 875,
    2, 205, 220,
    2, 275, 407,
    -3000000, 985,
    150294500, 942,
    -19119804, 908,
    139475000, 894,
    7, 75, 310, 311, 314, 315, 408, 531,
    -38750000, 901,
    4, 312, 313, 408, 531,
    6, 307, 308, 311, 313, 315, 408,
    109235707, 918,
    -11244050, 915,
    2, 4, 75,
    2, 21, 232,
    -11930000, 930,
    133495000, 926,
    3, 310, 314, 408,
    3, 310, 315, 408,
    128179500, 936,
    3, 86, 232, 408,
    5, 191, 232, 310, 315, 408,
    -25602173, 957,
    159633500, 953,
    6, 307, 309, 313, 315, 408, 531,
    3, 11, 171, 531,
    162917500, 971,
    -15102950, 965,
    3, 90, 315, 408,
    5, 58, 103, 191, 315, 408,
    -12405450, 977,
    3, 83, 89, 90,
    172466750, 982,
    2, 58, 103,
    2, 7, 58,
    111780000, 1032,
    7762500, 1018,
    94680338, 996,
    4, 34, 123, 274, 407,
    3547250, 1002,
    3, 54, 179, 232,
    98518000, 1008,
    3, 195, 232, 407,
    6703442, 1014,
    3, 179, 195, 232,
    3, 179, 180, 195,
    87010150, 1025,
    4, 123, 290, 291, 407,
    6, 156, 180, 195, 207, 274, 407,
    179200, 1043,
    163201780, 1040,
    3, 58, 191, 232,
    2, 6, 58,
    135909365, 1051,
    5, 47, 74, 173, 179, 232,
    4, 26, 53, 58, 232,
    83124000, 1224,
    19960000, 1149,
    51682074, 1098,
    15484010, 1084,
    30218500, 1076,
    9, 144, 192, 203, 204, 215, 223, 225, 226, 231,
    7, 96, 145, 196, 203, 205, 220, 231,
    29805981, 1093,
    6, 223, 225, 226, 230, 231, 268,
    4, 145, 196, 231, 266,
    15937400, 1133,
    74615395, 1116,
    13175797, 1109,
    4, 196, 275, 296, 407,
    6, 196, 289, 296, 304, 407, 528,
    13727500, 1125,
    6, 290, 291, 296, 303, 306, 407,
    7, 296, 302, 303, 304, 306, 407, 528,
    63445071, 1139,
    3, 175, 196, 266,
    9, 294, 296, 298, 302, 303, 304, 306, 407, 528,
    65200071, 1186,
    23600000, 1169,
    24345005, 1162,
    6, 223, 225, 226, 230, 231, 268,
    6, 130, 175, 217, 230, 231, 266,
    40464250, 1178,
    6, 194, 217, 223, 230, 266, 268,
    7, 57, 81, 130, 175, 211, 229, 266,
    22733000, 1204,
    73363500, 1196,
    5, 271, 272, 299, 304, 407,
    7, 294, 298, 299, 301, 304, 407, 528,
    78350000, 1215,
    8, 211, 284, 297, 299, 301, 305, 407, 528,
    8, 152, 211, 294, 301, 305, 407, 524, 528,
    23445000, 1313,
    101655895, 1264,
    20519475, 1245,
    89826650, 1238,
    5, 294, 298, 303, 407, 528,
    6, 162, 195, 207, 274, 407, 528,
    90515000, 1255,
    7, 151, 294, 295, 298, 300, 407, 528,
    8, 151, 162, 207, 280, 281, 407, 523, 528,
    20722500, 1286,
    139657216, 1277,
    8, 156, 162, 173, 180, 195, 500, 513, 528,
    13893260, 1282,
    2, 26, 50,
    3, 26, 48, 410,
    113717500, 1296,
    7, 8, 162, 180, 513, 521, 523, 528,
    21446500, 1303,
    4, 173, 410, 513, 528,
    117661250, 1309,
    3, 61, 513, 528,
    3, 109, 410, 528,
    96665000, 1365,
    26270000, 1341,
    90515000, 1330,
    10, 151, 277, 286, 287, 294, 295, 300, 305, 407, 528,
    10, 151, 207, 277, 278, 279, 280, 281, 286, 407, 528,
    89297000, 1354,
    10, 110, 151, 152, 282, 287, 300, 305, 407, 524, 528,
    10, 110, 151, 207, 278, 285, 286, 300, 407, 524, 528,
    17, 109, 184, 207, 285, 407, 410, 503, 505, 510, 512, 513, 520, 521, 522, 523, 524, 528,
    34765500, 2088,
    43871750, 1765,
    -77419467, 1641,
    37102872, 1538,
    -97787350, 1449,
    33167350, 1426,
    -109250000, 1417,
    29917500, 1410,
    -136451930, 1404,
    2, 351, 410,
    5, 253, 256, 263, 410, 411,
    6, 253, 263, 388, 391, 410, 411,
    8, 262, 263, 264, 388, 389, 392, 410, 411,
    -107843500, 1436,
    7, 381, 386, 387, 388, 389, 391, 410,
    36745500, 1443,
    4, 374, 389, 392, 410,
    5, 374, 379, 386, 389, 410,
    35605750, 1496,
    -87869000, 1463,
    9, 358, 362, 363, 364, 365, 374, 392, 410, 411,
    33235750, 1483,
    -84127000, 1473,
    5, 364, 370, 372, 410, 411,
    31517000, 1479,
    3, 370, 372, 410,
    3, 354, 370, 410,
    -84605000, 1490,
    4, 358, 364, 370, 410,
    5, 354, 358, 366, 370, 410,
    -92511000, 1511,
    36745500, 1506,
    5, 365, 373, 374, 392, 410,
    4, 373, 374, 379, 410,
    36828750, 1527,
    -86711000, 1521,
    5, 357, 358, 365, 373, 410,
    5, 357, 358, 359, 366, 410,
    -85550145, 1534,
    4, 357, 369, 373, 410,
    3, 357, 359, 410,
    -93735000, 1580,
    41027722, 1559,
    -103035000, 1552,
    7, 378, 381, 384, 386, 387, 391, 410,
    6, 368, 373, 378, 379, 386, 410,
    -106550500, 1571,
    9, 380, 381, 384, 385, 387, 391, 410, 495, 496,
    8, 368, 377, 378, 382, 384, 396, 410, 495,
    41152000, 1620,
    -84227645, 1592,
    7, 356, 357, 360, 368, 369, 373, 410,
    39583250, 1607,
    -79998825, 1602,
    5, 353, 357, 359, 360, 410,
    4, 352, 353, 359, 410,
    -80136500, 1614,
    4, 353, 360, 361, 410,
    5, 352, 353, 361, 367, 410,
    -85763500, 1632,
    9, 356, 368, 369, 371, 382, 383, 396, 410, 495,
    8, 356, 360, 361, 367, 383, 396, 410, 495,
    40158500, 1711,
    5450000, 1677,
    37488303, 1664,
    -48023000, 1658,
    33142708, 1654,
    2, 14, 410,
    3, 359, 366, 410,
    5, 2, 135, 188, 194, 268,
    -48023000, 1674,
    7, 343, 345, 347, 352, 359, 361, 410,
    2, 135, 194,
    33983000, 1691,
    29679481, 1686,
    4, 153, 217, 230, 268,
    4, 92, 93, 217, 266,
    18880000, 1698,
    4, 36, 153, 174, 268,
    35765800, 1703,
    2, 77, 149,
    23381000, 1708,
    2, 102, 149,
    2, 149, 210,
    5450000, 1749,
    42383793, 1731,
    -42050000, 1727,
    9, 344, 346, 347, 350, 361, 367, 396, 410, 495,
    3, 135, 194, 197,
    -66673537, 1742,
    8, 348, 349, 350, 355, 367, 396, 410, 495,
    6, 49, 194, 197, 402, 410, 495,
    15, 0, 1, 84, 97, 102, 118, 119, 133, 141, 149, 163, 174, 197, 210, 496,
    2192324, 1875,
    49062290, 1805,
    -81486250, 1790,
    18, 371, 375, 376, 377, 380, 382, 383, 384, 385, 390, 394, 395, 396, 398, 399, 410, 495, 496,
    14, 29, 197, 348, 349, 355, 367, 396, 397, 400, 401, 402, 403, 410, 495,
    -73790750, 1823,
    15, 382, 393, 394, 395, 396, 397, 398, 399, 404, 405, 406, 410, 487, 495, 496,
    56700000, 1847,
    -31650000, 1832,
    4, 397, 400, 410, 495,
    51255000, 1839,
    4, 17, 20, 166, 197,
    -5155300, 1844,
    2, 125, 166,
    2, 51, 166,
    -38967380, 1856,
    6, 265, 397, 400, 406, 410, 495,
    69452955, 1871,
    -10127000, 1863,
    2, 138, 265,
    61087500, 1868,
    2, 166, 178,
    2, 63, 178,
    3, 40, 178, 265,
    52859250, 1992,
    18692500, 1939,
    47498500, 1917,
    12946250, 1900,
    44896100, 1893,
    11001170, 1890,
    2, 174, 197,
    2, 16, 174,
    6, 24, 111, 131, 174, 183, 197,
    47177500, 1909,
    6, 91, 118, 119, 131, 136, 174,
    15602500, 1914,
    2, 131, 183,
    2, 131, 136,
    11292500, 1932,
    49234990, 1926,
    4, 111, 131, 183, 197,
    5, 68, 106, 112, 183, 197,
    6, 116, 128, 131, 136, 176, 183,
    48523000, 1976,
    19937265, 1955,
    47139000, 1951,
    5, 118, 119, 133, 136, 496,
    3, 116, 136, 496,
    44323191, 1962,
    4, 133, 141, 163, 496,
    24795000, 1971,
    6, 116, 133, 136, 163, 202, 496,
    4, 107, 163, 202, 496,
    23039608, 1985,
    6, 116, 128, 136, 176, 202, 496,
    6, 160, 176, 202, 428, 431, 496,
    28339500, 2045,
    56976000, 2033,
    17383500, 2012,
    55200000, 2009,
    7618000, 2005,
    2, 112, 183,
    3, 113, 176, 183,
    2, 113, 190,
    55308000, 2020,
    5, 122, 160, 176, 414, 496,
    27083500, 2028,
    5, 121, 122, 160, 190, 496,
    4, 121, 160, 440, 496,
    11, 40, 113, 114, 121, 178, 181, 190, 198, 440, 446, 496,
    59533150, 2059,
    11, 160, 178, 429, 431, 436, 439, 440, 445, 446, 449, 496,
    34171500, 2077,
    63834000, 2070,
    6, 178, 181, 413, 446, 451, 496,
    6, 40, 178, 181, 450, 451, 496,
    63834000, 2084,
    4, 446, 449, 451, 496,
    3, 450, 451, 496,
    45775000, 2509,
    87550000, 2293,
    37135000, 2159,
    66867226, 2141,
    32796250, 2115,
    43200000, 2108,
    7, 92, 93, 134, 157, 187, 217, 266,
    6, 88, 187, 206, 211, 229, 266,
    43200000, 2134,
    35253300, 2130,
    37709800, 2126,
    4, 78, 92, 134, 157,
    3, 134, 157, 187,
    3, 157, 187, 210,
    6, 187, 193, 206, 210, 211, 229,
    17, 150, 152, 206, 211, 273, 276, 283, 284, 288, 292, 293, 297, 305, 407, 524, 527, 528,
    46099000, 2246,
    42291500, 2190,
    42910000, 2175,
    39220000, 2171,
    3, 157, 187, 210,
    3, 124, 210, 496,
    40420000, 2183,
    5, 104, 132, 187, 210, 229,
    6, 104, 124, 132, 210, 437, 496,
    44476450, 2230,
    44203226, 2216,
    42073685, 2209,
    43622500, 2203,
    4, 124, 419, 443, 496,
    5, 416, 419, 442, 443, 496,
    6, 124, 417, 418, 419, 442, 496,
    40808500, 2224,
    5, 202, 416, 419, 443, 496,
    5, 419, 442, 443, 444, 496,
    44337000, 2240,
    7, 124, 415, 417, 420, 437, 442, 496,
    5, 434, 437, 442, 444, 496,
    40175000, 2266,
    66867226, 2258,
    7, 104, 132, 187, 189, 193, 206, 229,
    7, 150, 159, 189, 206, 407, 527, 528,
    51615000, 2284,
    44337000, 2278,
    7, 104, 124, 132, 269, 420, 437, 496,
    5, 269, 434, 437, 444, 496,
    8, 150, 159, 189, 193, 269, 496, 527, 528,
    34345000, 2377,
    108695500, 2337,
    30992500, 2320,
    97458000, 2311,
    9, 110, 152, 207, 282, 285, 407, 522, 524, 528,
    8, 207, 502, 512, 514, 522, 523, 524, 528,
    104198500, 2330,
    7, 407, 522, 524, 525, 526, 527, 528,
    6, 502, 514, 517, 522, 525, 528,
    30428000, 2357,
    114600000, 2348,
    6, 502, 510, 512, 514, 520, 528,
    8, 184, 410, 503, 505, 506, 510, 514, 528,
    117345000, 2368,
    8, 502, 504, 506, 511, 514, 517, 525, 528,
    8, 137, 184, 410, 497, 503, 504, 506, 528,
    118437543, 2456,
    37349928, 2401,
    109480000, 2392,
    8, 407, 501, 517, 524, 525, 526, 527, 528,
    8, 504, 506, 508, 509, 511, 516, 517, 528,
    112356000, 2427,
    40901000, 2420,
    103695000, 2413,
    5, 518, 525, 526, 527, 528,
    6, 501, 509, 517, 518, 525, 528,
    6, 228, 496, 518, 525, 527, 528,
    40901000, 2449,
    114672500, 2436,
    4, 509, 516, 518, 528,
    38485000, 2443,
    4, 508, 516, 518, 528,
    5, 498, 499, 516, 518, 528,
    6, 228, 496, 499, 516, 518, 528,
    38662500, 2486,
    123555000, 2479,
    35585500, 2473,
    122563000, 2469,
    4, 504, 506, 508, 528,
    3, 184, 508, 528,
    5, 184, 508, 516, 518, 528,
    6, 137, 147, 184, 410, 518, 528,
    128256500, 2499,
    10, 147, 184, 228, 496, 507, 515, 516, 518, 519, 528,
    9, 147, 184, 410, 489, 490, 496, 515, 519, 528,
    50981650, 2748,
    54414000, 2613,
    40807800, 2559,
    52698500, 2529,
    11, 202, 423, 424, 426, 428, 430, 431, 438, 443, 447, 496,
    37499000, 2539,
    7, 424, 425, 429, 431, 435, 436, 496,
    54038750, 2554,
    39434000, 2549,
    5, 423, 424, 425, 433, 496,
    4, 423, 430, 433, 496,
    4, 425, 433, 435, 496,
    51418000, 2593,
    44647865, 2578,
    48918000, 2572,
    6, 442, 443, 444, 447, 448, 496,
    5, 438, 447, 448, 467, 496,
    49334500, 2587,
    6, 269, 434, 442, 444, 448, 496,
    5, 269, 448, 460, 467, 496,
    47108750, 2605,
    9, 269, 430, 433, 438, 455, 457, 461, 467, 496,
    7, 269, 460, 461, 465, 466, 467, 496,
    41592250, 2687,
    57125500, 2650,
    38123500, 2635,
    56301000, 2629,
    7, 412, 425, 429, 435, 436, 445, 496,
    5, 432, 435, 439, 445, 496,
    55500500, 2643,
    5, 425, 427, 433, 435, 496,
    6, 422, 427, 432, 435, 445, 496,
    38853500, 2674,
    60039500, 2667,
    36659000, 2662,
    5, 439, 445, 446, 449, 496,
    4, 432, 445, 449, 496,
    6, 446, 449, 450, 451, 454, 496,
    60132500, 2682,
    5, 422, 432, 441, 449, 496,
    4, 449, 450, 454, 496,
    56340000, 2715,
    44301100, 2697,
    5, 427, 433, 455, 456, 496,
    55638350, 2708,
    8, 269, 421, 455, 456, 461, 465, 466, 496,
    6, 421, 456, 458, 459, 465, 496,
    44353250, 2731,
    58284000, 2725,
    5, 422, 427, 441, 456, 496,
    5, 441, 449, 452, 454, 496,
    58284000, 2740,
    6, 441, 456, 458, 459, 465, 496,
    7, 441, 449, 452, 453, 454, 458, 496,
    54913550, 2793,
    96800500, 2773,
    20, 228, 269, 460, 463, 465, 466, 472, 473, 476, 477, 479, 480, 481, 482, 483, 484, 485, 496, 527, 528,
    19, 228, 393, 410, 474, 475, 476, 484, 485, 488, 489, 490, 491, 492, 493, 496, 515, 518, 519, 528,
    80381500, 2880,
    58577500, 2840,
    64084850, 2830,
    55653700, 2814,
    60983000, 2809,
    5, 269, 463, 465, 473, 496,
    4, 269, 472, 473, 496,
    55784200, 2823,
    6, 458, 462, 463, 464, 465, 496,
    6, 462, 463, 470, 472, 473, 496,
    9, 269, 470, 471, 472, 477, 478, 479, 485, 496,
    72088350, 2867,
    62076000, 2860,
    55581500, 2852,
    5, 453, 454, 458, 462, 496,
    7, 453, 454, 462, 469, 470, 471, 496,
    6, 452, 453, 454, 468, 469, 496,
    61617000, 2875,
    5, 469, 471, 478, 485, 496,
    4, 468, 469, 485, 496,
    58509500, 2904,
    93798000, 2892,
    7, 269, 477, 478, 480, 481, 485, 496,
    11, 393, 410, 474, 475, 476, 485, 488, 492, 493, 494, 496,
    125763055, 2914,
    7, 468, 469, 476, 478, 485, 494, 496,
    8, 393, 410, 486, 487, 488, 492, 494, 496,
    0);