85 lines
16 KiB
C
85 lines
16 KiB
C
/* Generated by tuneup.c, 2011-11-23, gcc 4.6 */
|
|
|
|
#define MUL_KARATSUBA_THRESHOLD 19
|
|
#define MUL_TOOM3_THRESHOLD 113
|
|
#define MUL_TOOM4_THRESHOLD 175
|
|
#define MUL_TOOM8H_THRESHOLD 270
|
|
|
|
#define SQR_BASECASE_THRESHOLD 0 /* always (native) */
|
|
#define SQR_KARATSUBA_THRESHOLD 37
|
|
#define SQR_TOOM3_THRESHOLD 117
|
|
#define SQR_TOOM4_THRESHOLD 300
|
|
#define SQR_TOOM8_THRESHOLD 303
|
|
|
|
#define POWM_THRESHOLD 65
|
|
|
|
#define HGCD_THRESHOLD 116
|
|
#define GCD_DC_THRESHOLD 951
|
|
#define GCDEXT_DC_THRESHOLD 674
|
|
#define JACOBI_BASE_METHOD 1
|
|
|
|
#define DIVREM_1_NORM_THRESHOLD MP_SIZE_T_MAX /* never */
|
|
#define DIVREM_1_UNNORM_THRESHOLD MP_SIZE_T_MAX /* never */
|
|
#define MOD_1_NORM_THRESHOLD 0 /* always */
|
|
#define MOD_1_UNNORM_THRESHOLD 0 /* always */
|
|
#define USE_PREINV_DIVREM_1 1 /* native */
|
|
#define USE_PREINV_MOD_1 1
|
|
#define DIVEXACT_1_THRESHOLD 0 /* always */
|
|
#define MODEXACT_1_ODD_THRESHOLD 0 /* always (native) */
|
|
#define MOD_1_1_THRESHOLD 7
|
|
#define MOD_1_2_THRESHOLD 8
|
|
#define MOD_1_3_THRESHOLD 17
|
|
#define DIVREM_HENSEL_QR_1_THRESHOLD 7
|
|
#define RSH_DIVREM_HENSEL_QR_1_THRESHOLD 4
|
|
#define DIVREM_EUCLID_HENSEL_THRESHOLD 24
|
|
|
|
#define ROOTREM_THRESHOLD 6
|
|
|
|
#define GET_STR_DC_THRESHOLD 13
|
|
#define GET_STR_PRECOMPUTE_THRESHOLD 20
|
|
#define SET_STR_DC_THRESHOLD 4849
|
|
#define SET_STR_PRECOMPUTE_THRESHOLD 15850
|
|
|
|
#define MUL_FFT_TABLE { 272, 608, 1600, 2304, 7168, 20480, 81920, 327680, 1310720, 5242880, 0 }
|
|
#define MUL_FFT_MODF_THRESHOLD 240
|
|
#define MUL_FFT_FULL_THRESHOLD 1728
|
|
|
|
#define SQR_FFT_TABLE { 272, 544, 1600, 2304, 7168, 20480, 81920, 327680, 1310720, 5242880, 0 }
|
|
#define SQR_FFT_MODF_THRESHOLD 216
|
|
#define SQR_FFT_FULL_THRESHOLD 1728
|
|
|
|
#define MULLOW_BASECASE_THRESHOLD 4
|
|
#define MULLOW_DC_THRESHOLD 12
|
|
#define MULLOW_MUL_THRESHOLD 3402
|
|
|
|
#define MULHIGH_BASECASE_THRESHOLD 14
|
|
#define MULHIGH_DC_THRESHOLD 14
|
|
#define MULHIGH_MUL_THRESHOLD 1446
|
|
|
|
#define MULMOD_2EXPM1_THRESHOLD 14
|
|
|
|
#define FAC_UI_THRESHOLD 5037
|
|
#define DC_DIV_QR_THRESHOLD 37
|
|
#define DC_DIVAPPR_Q_N_THRESHOLD 71
|
|
#define INV_DIV_QR_THRESHOLD 2541
|
|
#define INV_DIVAPPR_Q_N_THRESHOLD 71
|
|
#define DC_DIV_Q_THRESHOLD 120
|
|
#define INV_DIV_Q_THRESHOLD 4765
|
|
#define DC_DIVAPPR_Q_THRESHOLD 81
|
|
#define INV_DIVAPPR_Q_THRESHOLD 15758
|
|
#define DC_BDIV_QR_THRESHOLD 32
|
|
#define DC_BDIV_Q_THRESHOLD 42
|
|
/* Tuneup completed successfully, took 768 seconds */
|
|
|
|
#define MUL_FFT_TABLE2 {{1, 4}, {210, 5}, {225, 4}, {242, 5}, {266, 4}, {272, 5}, {299, 4}, {306, 5}, {423, 6}, {433, 5}, {496, 6}, {507, 5}, {555, 6}, {971, 7}, {993, 6}, {1134, 7}, {1159, 6}, {1238, 7}, {1266, 6}, {1382, 7}, {1444, 6}, {1476, 7}, {1543, 6}, {1612, 7}, {1685, 8}, {1722, 7}, {1760, 8}, {1799, 7}, {2191, 8}, {2340, 7}, {2499, 8}, {2554, 7}, {2610, 8}, {2668, 7}, {2727, 8}, {3042, 7}, {3178, 8}, {3248, 7}, {3320, 8}, {3468, 9}, {3622, 8}, {3702, 7}, {3784, 8}, {3867, 7}, {4128, 8}, {4407, 9}, {4504, 8}, {5245, 9}, {5360, 8}, {6518, 9}, {6661, 8}, {6807, 6}, {6957, 7}, {7110, 8}, {7266, 9}, {7756, 8}, {7926, 9}, {8460, 10}, {8646, 8}, {8836, 9}, {9638, 8}, {10287, 9}, {10513, 10}, {10744, 9}, {10980, 8}, {11719, 9}, {11976, 7}, {12239, 5}, {12507, 3}, {13347, 4}, {13640, 5}, {13939, 6}, {15535, 7}, {15876, 5}, {16580, 6}, {16944, 7}, {17316, 8}, {17696, 9}, {18084, 7}, {18480, 8}, {18885, 6}, {19299, 4}, {20154, 3}, {20596, 4}, {21508, 5}, {21979, 4}, {22461, 5}, {22953, 4}, {23970, 5}, {24495, 6}, {25032, 4}, {25581, 5}, {26142, 6}, {27898, 7}, {28509, 8}, {29134, 9}, {30424, 10}, {34649, 9}, {35408, 10}, {36184, 8}, {36977, 9}, {37787, 10}, {38615, 9}, {39461, 10}, {41210, 11}, {42113, 10}, {43036, 8}, {45928, 9}, {46934, 10}, {50087, 11}, {51184, 12}, {52305, 10}, {53451, 11}, {54622, 9}, {55819, 10}, {57042, 11}, {58292, 12}, {59569, 10}, {60874, 11}, {62207, 12}, {63570, 10}, {67840, 11}, {80681, 10}, {82448, 11}, {84254, 10}, {86099, 11}, {98051, 12}, {111664, 11}, {114110, 12}, {127165, 11}, {129950, 10}, {132796, 11}, {164920, 12}, {168532, 10}, {175995, 11}, {179849, 12}, {191926, 11}, {196129, 10}, {204813, 11}, {209298, 10}, {213882, 11}, {228243, 10}, {233241, 11}, {238349, 12}, {243569, 13}, {254354, 12}, {271433, 10}, {289658, 11}, {309107, 12}, {322793, 11}, {329862, 10}, {337086, 8}, {344468, 9}, {352011, 10}, {359720, 9}, {375647, 10}, {383873, 11}, {392279, 10}, {400869, 11}, {418618, 9}, {427785, 10}, {446726, 9}, {476722, 8}, {487161, 9}, {508731, 10}, {519871, 11}, {531255, 9}, {554776, 10}, {566925, 9}, {579340, 7}, {618238, 8}, {645611, 9}, {659749, 10}, {674196, 9}, {688959, 10}, {704046, 11}, {719463, 9}, {735218, 8}, {767770, 9}, {801763, 10}, {819320, 11}, {837261, 12}, {893477, 10}, {913042, 9}, {933036, 10}, {953467, 11}, {974346, 10}, {995682, 11}, {MP_SIZE_T_MAX,0}}
|
|
|
|
#define MUL_FFTM_TABLE2 {{1, 4}, {210, 5}, {215, 4}, {220, 5}, {225, 4}, {242, 5}, {260, 4}, {266, 5}, {272, 4}, {278, 5}, {299, 4}, {306, 5}, {443, 6}, {453, 5}, {485, 6}, {496, 5}, {507, 6}, {519, 5}, {555, 6}, {594, 5}, {608, 6}, {869, 7}, {909, 6}, {993, 7}, {1015, 6}, {1109, 7}, {1323, 6}, {1352, 7}, {1965, 8}, {2009, 7}, {2053, 8}, {2098, 7}, {2239, 8}, {2289, 7}, {2445, 8}, {2610, 7}, {2787, 8}, {2912, 7}, {2976, 8}, {3248, 7}, {3320, 8}, {3544, 7}, {3622, 8}, {4128, 7}, {4312, 8}, {4407, 9}, {4504, 8}, {4603, 9}, {4704, 8}, {5360, 9}, {6107, 7}, {6241, 8}, {6518, 9}, {6661, 8}, {6957, 9}, {7756, 10}, {8100, 8}, {8460, 9}, {9030, 10}, {9228, 8}, {9431, 9}, {9850, 10}, {10066, 9}, {10744, 10}, {10980, 8}, {11221, 9}, {11976, 8}, {12239, 9}, {13640, 8}, {13939, 9}, {14557, 8}, {14876, 9}, {15202, 10}, {17696, 9}, {18084, 10}, {19299, 9}, {19722, 10}, {20596, 8}, {21047, 9}, {21508, 10}, {21979, 11}, {22461, 10}, {23456, 11}, {23970, 9}, {24495, 10}, {25032, 9}, {25581, 10}, {26142, 9}, {26715, 10}, {27300, 11}, {28509, 9}, {29134, 10}, {29772, 11}, {31091, 9}, {31772, 10}, {32468, 11}, {33179, 10}, {33906, 11}, {34649, 9}, {35408, 10}, {36184, 11}, {36977, 10}, {37787, 11}, {39461, 10}, {40326, 11}, {44943, 12}, {45928, 11}, {47962, 10}, {49013, 9}, {50087, 8}, {51184, 9}, {53451, 10}, {54622, 11}, {55819, 10}, {57042, 11}, {58292, 12}, {59569, 11}, {60874, 12}, {63570, 10}, {66386, 11}, {70845, 10}, {77260, 9}, {78952, 10}, {82448, 11}, {84254, 10}, {86099, 11}, {87985, 12}, {89912, 11}, {91881, 12}, {95949, 13}, {98051, 11}, {100199, 12}, {102394, 11}, {106929, 9}, {109271, 10}, {111664, 9}, {119163, 7}, {121773, 6}, {129950, 7}, {132796, 8}, {135704, 9}, {141713, 10}, {147989, 8}, {151230, 9}, {154542, 8}, {161386, 9}, {164920, 10}, {168532, 11}, {172223, 10}, {179849, 11}, {183788, 12}, {187813, 13}, {191926, 12}, {200424, 10}, {204813, 11}, {209298, 12}, {218566, 13}, {228243, 12}, {233241, 13}, {243569, 12}, {248903, 13}, {254354, 12}, {259924, 10}, {265616, 11}, {271433, 12}, {277377, 10}, {283451, 8}, {289658, 9}, {296001, 10}, {302483, 9}, {337086, 8}, {352011, 9}, {359720, 10}, {367597, 11}, {383873, 12}, {409647, 11}, {418618, 10}, {427785, 11}, {437153, 12}, {456509, 11}, {466506, 12}, {476722, 13}, {487161, 14}, {508731, 13}, {519871, 12}, {531255, 11}, {542888, 12}, {554776, 11}, {566925, 12}, {592026, 13}, {659749, 12}, {735218, 13}, {751318, 12}, {767770, 13}, {784582, 14}, {801763, 12}, {855595, 13}, {874331, 14}, {MP_SIZE_T_MAX,0}}
|
|
|
|
#define SQR_FFT_TABLE2 {{1, 4}, {210, 5}, {225, 4}, {242, 5}, {260, 4}, {266, 5}, {485, 6}, {519, 5}, {555, 6}, {1238, 7}, {1294, 6}, {1352, 7}, {1413, 6}, {1476, 7}, {1685, 8}, {1799, 7}, {2191, 8}, {2340, 7}, {2445, 8}, {2554, 7}, {2610, 8}, {5478, 9}, {5721, 8}, {6107, 9}, {6241, 8}, {6518, 9}, {6807, 8}, {6957, 9}, {7756, 8}, {8278, 9}, {9850, 8}, {10066, 9}, {10980, 10}, {11467, 9}, {13640, 10}, {15202, 9}, {18084, 10}, {19722, 9}, {20154, 10}, {23970, 9}, {24495, 10}, {27898, 11}, {31091, 10}, {40326, 11}, {47962, 10}, {50087, 11}, {51184, 10}, {52305, 11}, {53451, 12}, {63570, 10}, {64963, 11}, {66386, 10}, {67840, 11}, {98051, 12}, {100199, 11}, {102394, 12}, {127165, 11}, {129950, 10}, {132796, 11}, {164920, 12}, {196129, 13}, {254354, 12}, {259924, 11}, {277377, 10}, {283451, 11}, {296001, 12}, {329862, 11}, {352011, 10}, {359720, 11}, {383873, 12}, {392279, 11}, {409647, 10}, {418618, 11}, {446726, 10}, {456509, 8}, {466506, 7}, {476722, 8}, {487161, 9}, {508731, 10}, {519871, 9}, {542888, 10}, {554776, 11}, {566925, 10}, {579340, 11}, {592026, 12}, {631776, 10}, {645611, 9}, {659749, 7}, {688959, 8}, {704046, 9}, {767770, 10}, {784582, 11}, {801763, 12}, {819320, 11}, {837261, 12}, {913042, 13}, {933036, 14}, {974346, 13}, {MP_SIZE_T_MAX,0}}
|
|
|
|
#define SQR_FFTM_TABLE2 {{1, 4}, {210, 5}, {230, 4}, {242, 5}, {260, 4}, {266, 5}, {352, 4}, {360, 5}, {423, 6}, {453, 5}, {485, 6}, {519, 5}, {531, 6}, {680, 7}, {695, 6}, {869, 7}, {889, 6}, {971, 7}, {1038, 6}, {1109, 7}, {1185, 6}, {1211, 7}, {1413, 6}, {1444, 7}, {1648, 6}, {1685, 7}, {1799, 8}, {1839, 7}, {2009, 8}, {2053, 7}, {2445, 8}, {2727, 7}, {2787, 8}, {2849, 7}, {2912, 8}, {3109, 7}, {3178, 8}, {4312, 9}, {4407, 8}, {4603, 9}, {4704, 8}, {5245, 9}, {5360, 8}, {5478, 9}, {5721, 8}, {5976, 9}, {10980, 10}, {11467, 9}, {13061, 10}, {13347, 9}, {13939, 10}, {15535, 9}, {15876, 10}, {19722, 9}, {20154, 10}, {21508, 11}, {22953, 10}, {27898, 11}, {29772, 9}, {30424, 10}, {31772, 11}, {32468, 10}, {36184, 11}, {36977, 10}, {37787, 9}, {38615, 10}, {41210, 9}, {42113, 10}, {43036, 9}, {43979, 7}, {44943, 8}, {45928, 9}, {46934, 10}, {49013, 11}, {50087, 10}, {52305, 11}, {55819, 12}, {57042, 10}, {59569, 11}, {60874, 9}, {62207, 10}, {64963, 11}, {72397, 10}, {73983, 11}, {80681, 12}, {84254, 11}, {86099, 12}, {87985, 10}, {91881, 11}, {93893, 12}, {95949, 10}, {98051, 11}, {102394, 12}, {104637, 13}, {109271, 12}, {114110, 11}, {116609, 10}, {119163, 11}, {121773, 12}, {127165, 11}, {129950, 10}, {132796, 11}, {135704, 12}, {151230, 10}, {154542, 11}, {157927, 12}, {161386, 11}, {164920, 12}, {196129, 13}, {218566, 12}, {228243, 13}, {254354, 12}, {259924, 11}, {271433, 12}, {277377, 10}, {283451, 11}, {289658, 12}, {315876, 10}, {322793, 11}, {329862, 9}, {337086, 10}, {352011, 8}, {367597, 6}, {383873, 7}, {392279, 6}, {400869, 7}, {427785, 6}, {456509, 7}, {466506, 6}, {476722, 5}, {487161, 6}, {497829, 7}, {508731, 6}, {519871, 7}, {542888, 8}, {554776, 7}, {566925, 8}, {579340, 9}, {592026, 10}, {604990, 11}, {618238, 10}, {631776, 8}, {645611, 6}, {659749, 7}, {674196, 8}, {688959, 9}, {719463, 8}, {735218, 7}, {751318, 6}, {767770, 4}, {784582, 5}, {801763, 6}, {819320, 7}, {855595, 8}, {874331, 6}, {893477, 7}, {913042, 8}, {933036, 9}, {953467, 10}, {995682, 11}, {MP_SIZE_T_MAX,0}}
|
|
|
|
#define MUL_FFT_FULL_TABLE2 {{16, 1}, {1045, 2}, {1068, 1}, {1092, 4}, {1116, 1}, {1166, 4}, {1219, 2}, {1274, 1}, {1302, 2}, {1361, 1}, {1422, 4}, {1454, 1}, {1553, 2}, {1588, 4}, {1623, 1}, {1696, 2}, {1734, 5}, {1772, 1}, {1977, 2}, {2021, 1}, {2066, 2}, {2112, 1}, {2306, 4}, {2357, 1}, {2409, 2}, {2462, 3}, {2516, 1}, {2572, 2}, {2629, 1}, {2687, 4}, {2746, 3}, {2807, 2}, {2932, 3}, {2997, 1}, {3063, 2}, {3131, 5}, {3200, 3}, {3271, 2}, {3343, 1}, {3492, 2}, {3648, 5}, {3728, 1}, {3894, 3}, {3980, 2}, {4068, 3}, {4158, 2}, {4250, 3}, {4344, 1}, {4538, 4}, {4638, 5}, {4740, 4}, {4844, 1}, {4951, 3}, {5171, 1}, {5401, 2}, {5520, 1}, {5765, 4}, {5892, 1}, {6022, 3}, {6154, 2}, {6289, 1}, {6712, 2}, {7010, 4}, {7164, 2}, {7321, 1}, {7482, 4}, {7814, 2}, {8340, 5}, {8523, 1}, {9709, 4}, {9922, 1}, {10140, 4}, {10363, 1}, {12327, 3}, {12597, 1}, {12873, 2}, {13739, 1}, {14040, 2}, {14663, 1}, {16344, 3}, {16702, 6}, {17068, 9}, {17442, 12}, {18215, 15}, {18614, 11}, {19439, 8}, {19865, 9}, {20300, 5}, {21200, 1}, {22140, 3}, {23121, 6}, {23628, 4}, {24146, 6}, {25216, 2}, {25769, 4}, {26334, 1}, {26911, 2}, {27501, 3}, {28104, 2}, {28720, 5}, {29349, 4}, {29992, 2}, {31321, 1}, {32007, 2}, {32708, 3}, {33425, 6}, {34157, 3}, {34905, 1}, {35670, 4}, {37251, 2}, {38067, 1}, {38901, 3}, {39753, 5}, {43353, 2}, {44303, 4}, {47280, 1}, {49374, 3}, {52691, 6}, {53845, 7}, {56230, 4}, {57462, 2}, {58721, 1}, {60007, 3}, {61321, 1}, {62664, 2}, {64037, 1}, {65440, 2}, {66873, 1}, {68338, 4}, {69835, 7}, {71365, 6}, {72928, 5}, {74525, 1}, {76157, 3}, {77825, 4}, {79530, 3}, {81272, 5}, {84871, 3}, {86730, 2}, {88630, 5}, {90571, 2}, {92555, 1}, {94582, 3}, {96654, 4}, {98771, 1}, {103145, 4}, {105404, 6}, {107713, 2}, {110072, 5}, {112483, 4}, {114947, 7}, {117465, 8}, {120038, 4}, {122667, 3}, {125354, 5}, {128099, 6}, {130905, 2}, {133772, 5}, {136702, 2}, {142755, 4}, {145881, 5}, {149076, 4}, {155677, 2}, {159086, 4}, {162570, 3}, {166130, 4}, {173486, 6}, {177285, 4}, {181168, 1}, {185136, 4}, {189190, 2}, {193333, 3}, {197567, 5}, {201894, 4}, {206315, 3}, {210833, 5}, {215450, 1}, {224990, 2}, {234952, 1}, {245355, 4}, {250728, 2}, {256219, 4}, {261830, 5}, {273423, 2}, {285530, 1}, {298173, 2}, {304703, 1}, {311376, 3}, {318195, 2}, {339561, 4}, {346997, 2}, {354596, 1}, {370296, 3}, {378405, 2}, {386691, 1}, {403812, 2}, {412655, 1}, {421691, 4}, {430925, 1}, {440362, 4}, {450005, 1}, {469929, 3}, {480220, 5}, {501482, 1}, {535154, 2}, {546873, 3}, {558848, 4}, {571086, 7}, {583592, 10}, {596372, 6}, {609431, 9}, {622776, 10}, {636414, 11}, {650350, 7}, {664591, 10}, {679144, 13}, {709213, 14}, {724743, 15}, {740613, 18}, {756831, 20}, {773404, 19}, {790340, 22}, {807647, 21}, {825333, 17}, {843406, 13}, {861875, 9}, {900034, 11}, {919743, 10}, {939883, 7}, {960464, 6}, {981496, 3}, {MP_SIZE_T_MAX,0}}
|
|
|
|
#define SQR_FFT_FULL_TABLE2 {{16, 3}, {1022, 1}, {1045, 2}, {1068, 1}, {1092, 4}, {1141, 1}, {1219, 2}, {1246, 1}, {1302, 2}, {1391, 4}, {1454, 2}, {1486, 1}, {1588, 4}, {1623, 2}, {1659, 4}, {1696, 5}, {1734, 1}, {1811, 4}, {1851, 1}, {2066, 4}, {2112, 6}, {2306, 4}, {2409, 2}, {2516, 3}, {2572, 2}, {2746, 1}, {2869, 2}, {2932, 1}, {2997, 4}, {3063, 2}, {3271, 1}, {3569, 2}, {3728, 5}, {3810, 6}, {3894, 4}, {3980, 6}, {4068, 4}, {4250, 1}, {4344, 2}, {4440, 1}, {4638, 3}, {4740, 1}, {5060, 3}, {5171, 6}, {5401, 4}, {5641, 2}, {5765, 1}, {5892, 2}, {6154, 1}, {6289, 2}, {6427, 5}, {6568, 1}, {6712, 2}, {7010, 4}, {7321, 1}, {7482, 3}, {7646, 1}, {7814, 4}, {7986, 6}, {8161, 5}, {8523, 1}, {8710, 4}, {9096, 2}, {9296, 3}, {9500, 1}, {9922, 2}, {10590, 1}, {10822, 2}, {11550, 1}, {12873, 3}, {13155, 4}, {13739, 1}, {14040, 4}, {14348, 7}, {14663, 4}, {14985, 6}, {15314, 9}, {15650, 12}, {15993, 15}, {16344, 12}, {16702, 15}, {17068, 17}, {17442, 19}, {17824, 16}, {18215, 14}, {18614, 11}, {19022, 14}, {19439, 15}, {19865, 12}, {20300, 8}, {20745, 5}, {21665, 2}, {23121, 1}, {24146, 3}, {24675, 4}, {25216, 5}, {25769, 3}, {26334, 4}, {26911, 1}, {27501, 4}, {28720, 6}, {29349, 9}, {30649, 10}, {31321, 8}, {32708, 6}, {33425, 8}, {34905, 4}, {35670, 5}, {36452, 4}, {38067, 3}, {41514, 2}, {43353, 4}, {44303, 2}, {45274, 4}, {46266, 6}, {47280, 3}, {48316, 5}, {49374, 8}, {51561, 6}, {52691, 9}, {53845, 10}, {55025, 13}, {56230, 12}, {57462, 15}, {58721, 12}, {60007, 14}, {61321, 12}, {62664, 10}, {64037, 12}, {65440, 8}, {66873, 11}, {68338, 8}, {69835, 4}, {71365, 5}, {74525, 1}, {77825, 4}, {79530, 2}, {81272, 3}, {83052, 2}, {84871, 1}, {88630, 2}, {98771, 3}, {100934, 6}, {103145, 5}, {105404, 1}, {112483, 3}, {114947, 1}, {117465, 4}, {120038, 1}, {122667, 3}, {125354, 6}, {133772, 8}, {136702, 10}, {139696, 6}, {142755, 8}, {145881, 5}, {149076, 4}, {159086, 3}, {166130, 1}, {169768, 4}, {173486, 1}, {181168, 2}, {185136, 1}, {193333, 2}, {197567, 1}, {206315, 3}, {210833, 1}, {267564, 3}, {273423, 2}, {291783, 1}, {298173, 2}, {304703, 1}, {311376, 4}, {318195, 5}, {325163, 6}, {332284, 5}, {339561, 1}, {346997, 4}, {354596, 7}, {362361, 5}, {386691, 2}, {395159, 4}, {403812, 3}, {430925, 2}, {469929, 3}, {480220, 4}, {490736, 7}, {501482, 5}, {512464, 3}, {523686, 4}, {535154, 7}, {546873, 8}, {583592, 5}, {596372, 4}, {609431, 5}, {622776, 4}, {636414, 3}, {679144, 5}, {694016, 4}, {709213, 7}, {724743, 6}, {740613, 5}, {756831, 4}, {773404, 6}, {790340, 4}, {825333, 6}, {843406, 7}, {861875, 8}, {880748, 4}, {900034, 6}, {919743, 5}, {939883, 1}, {981496, 3}, {MP_SIZE_T_MAX,0}}
|