Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
erdos_699_prime_pair_strips_7_extended.json
json
{
"scope": "Finite prime-pair CRT strips continued from the retained untruncated prefixes.",
"records": [
{
"pair": [
2,
3
],
"height_cap_power_of_ten": 100000001,
"maximum_difference": 6,
"cofactor_exponent_numerator": 11,
"cofactor_exponent_denominator": 25,
"height_threshold": 71062038623218040833,
"backend": "gmpy2",
"arithmetic": "Exact extended gcd; directed leading-bit logarithm bounds for power comparisons.",
"initial_exponents": [
3,
2
],
"maximum_exponents": [
332192812,
209590329
],
"final_exponents": [
367123584,
231629193
],
"anchor_count": 176,
"exact_boundary_pairs": 270,
"boundary_pairs_sha256": "9f90bd95386c40b05f0e2fe757727c9af35e16a643ca8719a5e6acccd50326a6",
"exception_count": 85,
"exceptions": [
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -5,
"p_cofactor": 5,
"q_cofactor": 5,
"smaller_height": 40,
"larger_height": 45
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -4,
"p_cofactor": 4,
"q_cofactor": 4,
"smaller_height": 32,
"larger_height": 36
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -3,
"p_cofactor": 3,
"q_cofactor": 3,
"smaller_height": 24,
"larger_height": 27
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -2,
"p_cofactor": 2,
"q_cofactor": 2,
"smaller_height": 16,
"larger_height": 18
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -1,
"p_cofactor": 1,
"q_cofactor": 1,
"smaller_height": 8,
"larger_height": 9
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 5,
"p_cofactor": 4,
"q_cofactor": 3,
"smaller_height": 27,
"larger_height": 32
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 3,
"q_cofactor": 2,
"smaller_height": 18,
"larger_height": 24
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": -3,
"p_cofactor": 3,
"q_cofactor": 1,
"smaller_height": 24,
"larger_height": 27
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": 5,
"p_cofactor": 4,
"q_cofactor": 1,
"smaller_height": 27,
"larger_height": 32
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": -4,
"p_cofactor": 2,
"q_cofactor": 4,
"smaller_height": 32,
"larger_height": 36
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": -2,
"p_cofactor": 1,
"q_cofactor": 2,
"smaller_height": 16,
"larger_height": 18
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": 3,
"p_cofactor": 3,
"q_cofactor": 5,
"smaller_height": 45,
"larger_height": 48
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": 5,
"p_cofactor": 2,
"q_cofactor": 3,
"smaller_height": 27,
"larger_height": 32
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -6,
"p_cofactor": 3,
"q_cofactor": 2,
"smaller_height": 48,
"larger_height": 54
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -1,
"p_cofactor": 5,
"q_cofactor": 3,
"smaller_height": 80,
"larger_height": 81
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": 4,
"p_cofactor": 7,
"q_cofactor": 4,
"smaller_height": 108,
"larger_height": 112
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": 5,
"p_cofactor": 2,
"q_cofactor": 1,
"smaller_height": 27,
"larger_height": 32
},
{
"p_exponent": 4,
"q_exponent": 4,
"signed_difference": -1,
"p_cofactor": 5,
"q_cofactor": 1,
"smaller_height": 80,
"larger_height": 81
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": -4,
"p_cofactor": 1,
"q_cofactor": 4,
"smaller_height": 32,
"larger_height": 36
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": 5,
"p_cofactor": 1,
"q_cofactor": 3,
"smaller_height": 27,
"larger_height": 32
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -4,
"p_cofactor": 10,
"q_cofactor": 12,
"smaller_height": 320,
"larger_height": 324
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -2,
"p_cofactor": 5,
"q_cofactor": 6,
"smaller_height": 160,
"larger_height": 162
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": 1,
"p_cofactor": 11,
"q_cofactor": 13,
"smaller_height": 351,
"larger_height": 352
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": 3,
"p_cofactor": 6,
"q_cofactor": 7,
"smaller_height": 189,
"larger_height": 192
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": 5,
"p_cofactor": 1,
"q_cofactor": 1,
"smaller_height": 27,
"larger_height": 32
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -6,
"p_cofactor": 15,
"q_cofactor": 6,
"smaller_height": 480,
"larger_height": 486
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -4,
"p_cofactor": 10,
"q_cofactor": 4,
"smaller_height": 320,
"larger_height": 324
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -2,
"p_cofactor": 5,
"q_cofactor": 2,
"smaller_height": 160,
"larger_height": 162
},
{
"p_exponent": 5,
"q_exponent": 5,
"signed_difference": -6,
"p_cofactor": 15,
"q_cofactor": 2,
"smaller_height": 480,
"larger_height": 486
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": -4,
"p_cofactor": 5,
"q_cofactor": 12,
"smaller_height": 320,
"larger_height": 324
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": 3,
"p_cofactor": 3,
"q_cofactor": 7,
"smaller_height": 189,
"larger_height": 192
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -4,
"p_cofactor": 5,
"q_cofactor": 4,
"smaller_height": 320,
"larger_height": 324
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -3,
"p_cofactor": 24,
"q_cofactor": 19,
"smaller_height": 1536,
"larger_height": 1539
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": 1,
"p_cofactor": 19,
"q_cofactor": 15,
"smaller_height": 1215,
"larger_height": 1216
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": 5,
"p_cofactor": 14,
"q_cofactor": 11,
"smaller_height": 891,
"larger_height": 896
},
{
"p_exponent": 6,
"q_exponent": 5,
"signed_difference": 1,
"p_cofactor": 19,
"q_cofactor": 5,
"smaller_height": 1215,
"larger_height": 1216
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -3,
"p_cofactor": 12,
"q_cofactor": 19,
"smaller_height": 1536,
"larger_height": 1539
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": 2,
"p_cofactor": 19,
"q_cofactor": 30,
"smaller_height": 2430,
"larger_height": 2432
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": 5,
"p_cofactor": 7,
"q_cofactor": 11,
"smaller_height": 891,
"larger_height": 896
},
{
"p_exponent": 7,
"q_exponent": 5,
"signed_difference": 2,
"p_cofactor": 19,
"q_cofactor": 10,
"smaller_height": 2430,
"larger_height": 2432
},
{
"p_exponent": 7,
"q_exponent": 5,
"signed_difference": 4,
"p_cofactor": 38,
"q_cofactor": 20,
"smaller_height": 4860,
"larger_height": 4864
},
{
"p_exponent": 8,
"q_exponent": 4,
"signed_difference": -3,
"p_cofactor": 6,
"q_cofactor": 19,
"smaller_height": 1536,
"larger_height": 1539
},
{
"p_exponent": 8,
"q_exponent": 5,
"signed_difference": -5,
"p_cofactor": 37,
"q_cofactor": 39,
"smaller_height": 9472,
"larger_height": 9477
},
{
"p_exponent": 8,
"q_exponent": 5,
"signed_difference": -1,
"p_cofactor": 56,
"q_cofactor": 59,
"smaller_height": 14336,
"larger_height": 14337
},
{
"p_exponent": 8,
"q_exponent": 5,
"signed_difference": 4,
"p_cofactor": 19,
"q_cofactor": 20,
"smaller_height": 4860,
"larger_height": 4864
},
{
"p_exponent": 8,
"q_exponent": 6,
"signed_difference": -5,
"p_cofactor": 37,
"q_cofactor": 13,
"smaller_height": 9472,
"larger_height": 9477
},
{
"p_exponent": 9,
"q_exponent": 4,
"signed_difference": -3,
"p_cofactor": 3,
"q_cofactor": 19,
"smaller_height": 1536,
"larger_height": 1539
},
{
"p_exponent": 9,
"q_exponent": 5,
"signed_difference": -1,
"p_cofactor": 28,
"q_cofactor": 59,
"smaller_height": 14336,
"larger_height": 14337
},
{
"p_exponent": 9,
"q_exponent": 6,
"signed_difference": -3,
"p_cofactor": 84,
"q_cofactor": 59,
"smaller_height": 43008,
"larger_height": 43011
},
{
"p_exponent": 9,
"q_exponent": 6,
"signed_difference": 4,
"p_cofactor": 131,
"q_cofactor": 92,
"smaller_height": 67068,
"larger_height": 67072
},
{
"p_exponent": 10,
"q_exponent": 5,
"signed_difference": -1,
"p_cofactor": 14,
"q_cofactor": 59,
"smaller_height": 14336,
"larger_height": 14337
},
{
"p_exponent": 10,
"q_exponent": 6,
"signed_difference": -6,
"p_cofactor": 84,
"q_cofactor": 118,
"smaller_height": 86016,
"larger_height": 86022
},
{
"p_exponent": 10,
"q_exponent": 6,
"signed_difference": -3,
"p_cofactor": 42,
"q_cofactor": 59,
"smaller_height": 43008,
"larger_height": 43011
},
{
"p_exponent": 10,
"q_exponent": 7,
"signed_difference": 5,
"p_cofactor": 173,
"q_cofactor": 81,
"smaller_height": 177147,
"larger_height": 177152
},
{
"p_exponent": 10,
"q_exponent": 8,
"signed_difference": 5,
"p_cofactor": 173,
"q_cofactor": 27,
"smaller_height": 177147,
"larger_height": 177152
},
{
"p_exponent": 10,
"q_exponent": 9,
"signed_difference": 5,
"p_cofactor": 173,
"q_cofactor": 9,
"smaller_height": 177147,
"larger_height": 177152
},
{
"p_exponent": 10,
"q_exponent": 10,
"signed_difference": 5,
"p_cofactor": 173,
"q_cofactor": 3,
"smaller_height": 177147,
"larger_height": 177152
},
{
"p_exponent": 10,
"q_exponent": 11,
"signed_difference": 5,
"p_cofactor": 173,
"q_cofactor": 1,
"smaller_height": 177147,
"larger_height": 177152
},
{
"p_exponent": 11,
"q_exponent": 5,
"signed_difference": -1,
"p_cofactor": 7,
"q_cofactor": 59,
"smaller_height": 14336,
"larger_height": 14337
},
{
"p_exponent": 11,
"q_exponent": 6,
"signed_difference": -6,
"p_cofactor": 42,
"q_cofactor": 118,
"smaller_height": 86016,
"larger_height": 86022
},
{
"p_exponent": 11,
"q_exponent": 6,
"signed_difference": -3,
"p_cofactor": 21,
"q_cofactor": 59,
"smaller_height": 43008,
"larger_height": 43011
},
{
"p_exponent": 11,
"q_exponent": 7,
"signed_difference": 1,
"p_cofactor": 236,
"q_cofactor": 221,
"smaller_height": 483327,
"larger_height": 483328
},
{
"p_exponent": 12,
"q_exponent": 6,
"signed_difference": -6,
"p_cofactor": 21,
"q_cofactor": 118,
"smaller_height": 86016,
"larger_height": 86022
},
{
"p_exponent": 12,
"q_exponent": 7,
"signed_difference": 1,
"p_cofactor": 118,
"q_cofactor": 221,
"smaller_height": 483327,
"larger_height": 483328
},
{
"p_exponent": 12,
"q_exponent": 8,
"signed_difference": 3,
"p_cofactor": 354,
"q_cofactor": 221,
"smaller_height": 1449981,
"larger_height": 1449984
},
{
"p_exponent": 13,
"q_exponent": 7,
"signed_difference": 1,
"p_cofactor": 59,
"q_cofactor": 221,
"smaller_height": 483327,
"larger_height": 483328
},
{
"p_exponent": 13,
"q_exponent": 8,
"signed_difference": 3,
"p_cofactor": 177,
"q_cofactor": 221,
"smaller_height": 1449981,
"larger_height": 1449984
},
{
"p_exponent": 13,
"q_exponent": 8,
"signed_difference": 6,
"p_cofactor": 354,
"q_cofactor": 442,
"smaller_height": 2899962,
"larger_height": 2899968
},
{
"p_exponent": 14,
"q_exponent": 8,
"signed_difference": 6,
"p_cofactor": 177,
"q_cofactor": 442,
"smaller_height": 2899962,
"larger_height": 2899968
},
{
"p_exponent": 14,
"q_exponent": 9,
"signed_difference": 5,
"p_cofactor": 1241,
"q_cofactor": 1033,
"smaller_height": 20332539,
"larger_height": 20332544
},
{
"p_exponent": 20,
"q_exponent": 13,
"signed_difference": -1,
"p_cofactor": 48404,
"q_cofactor": 31835,
"smaller_height": 50755272704,
"larger_height": 50755272705
},
{
"p_exponent": 21,
"q_exponent": 13,
"signed_difference": -2,
"p_cofactor": 48404,
"q_cofactor": 63670,
"smaller_height": 101510545408,
"larger_height": 101510545410
},
{
"p_exponent": 21,
"q_exponent": 13,
"signed_difference": -1,
"p_cofactor": 24202,
"q_cofactor": 31835,
"smaller_height": 50755272704,
"larger_height": 50755272705
},
{
"p_exponent": 21,
"q_exponent": 14,
"signed_difference": -3,
"p_cofactor": 72606,
"q_cofactor": 31835,
"smaller_height": 152265818112,
"larger_height": 152265818115
},
{
"p_exponent": 22,
"q_exponent": 13,
"signed_difference": -2,
"p_cofactor": 24202,
"q_cofactor": 63670,
"smaller_height": 101510545408,
"larger_height": 101510545410
},
{
"p_exponent": 22,
"q_exponent": 13,
"signed_difference": -1,
"p_cofactor": 12101,
"q_cofactor": 31835,
"smaller_height": 50755272704,
"larger_height": 50755272705
},
{
"p_exponent": 22,
"q_exponent": 14,
"signed_difference": -6,
"p_cofactor": 72606,
"q_cofactor": 63670,
"smaller_height": 304531636224,
"larger_height": 304531636230
},
{
"p_exponent": 22,
"q_exponent": 14,
"signed_difference": -3,
"p_cofactor": 36303,
"q_cofactor": 31835,
"smaller_height": 152265818112,
"larger_height": 152265818115
},
{
"p_exponent": 23,
"q_exponent": 13,
"signed_difference": -2,
"p_cofactor": 12101,
"q_cofactor": 63670,
"smaller_height": 101510545408,
"larger_height": 101510545410
},
{
"p_exponent": 23,
"q_exponent": 14,
"signed_difference": -6,
"p_cofactor": 36303,
"q_cofactor": 63670,
"smaller_height": 304531636224,
"larger_height": 304531636230
},
{
"p_exponent": 25,
"q_exponent": 16,
"signed_difference": -3,
"p_cofactor": 602409,
"q_cofactor": 469571,
"smaller_height": 20213491826688,
"larger_height": 20213491826691
},
{
"p_exponent": 26,
"q_exponent": 16,
"signed_difference": -6,
"p_cofactor": 602409,
"q_cofactor": 939142,
"smaller_height": 40426983653376,
"larger_height": 40426983653382
},
{
"p_exponent": 36,
"q_exponent": 23,
"signed_difference": -1,
"p_cofactor": 172348127,
"q_cofactor": 125804899,
"smaller_height": 11843673103869673472,
"larger_height": 11843673103869673473
},
{
"p_exponent": 37,
"q_exponent": 23,
"signed_difference": -2,
"p_cofactor": 172348127,
"q_cofactor": 251609798,
"smaller_height": 23687346207739346944,
"larger_height": 23687346207739346946
},
{
"p_exponent": 37,
"q_exponent": 24,
"signed_difference": -6,
"p_cofactor": 517044381,
"q_cofactor": 251609798,
"smaller_height": 71062038623218040832,
"larger_height": 71062038623218040838
}
],
"anchors": [
{
"p_exponent": 3,
"q_exponent": 2,
"p_power_bits": 4,
"q_power_bits": 4,
"minimum_u_bits": 1,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 4,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 4,
"q_exponent": 3,
"p_power_bits": 5,
"q_power_bits": 5,
"minimum_u_bits": 2,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 6,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 5,
"q_exponent": 4,
"p_power_bits": 6,
"q_power_bits": 7,
"minimum_u_bits": 3,
"minimum_v_bits": 2,
"method": "exact boundary lines",
"boundary_pairs": 8,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 6,
"q_exponent": 5,
"p_power_bits": 7,
"q_power_bits": 8,
"minimum_u_bits": 5,
"minimum_v_bits": 3,
"method": "exact boundary lines",
"boundary_pairs": 10,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 7,
"q_exponent": 6,
"p_power_bits": 8,
"q_power_bits": 10,
"minimum_u_bits": 6,
"minimum_v_bits": 4,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 8,
"q_exponent": 6,
"p_power_bits": 9,
"q_power_bits": 10,
"minimum_u_bits": 6,
"minimum_v_bits": 4,
"method": "exact boundary lines",
"boundary_pairs": 12,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 9,
"q_exponent": 7,
"p_power_bits": 10,
"q_power_bits": 12,
"minimum_u_bits": 9,
"minimum_v_bits": 7,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 10,
"q_exponent": 7,
"p_power_bits": 11,
"q_power_bits": 12,
"minimum_u_bits": 8,
"minimum_v_bits": 7,
"method": "exact boundary lines",
"boundary_pairs": 14,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 11,
"q_exponent": 8,
"p_power_bits": 12,
"q_power_bits": 13,
"minimum_u_bits": 10,
"minimum_v_bits": 8,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 12,
"q_exponent": 8,
"p_power_bits": 13,
"q_power_bits": 13,
"minimum_u_bits": 9,
"minimum_v_bits": 8,
"method": "exact boundary lines",
"boundary_pairs": 16,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 13,
"q_exponent": 9,
"p_power_bits": 14,
"q_power_bits": 15,
"minimum_u_bits": 11,
"minimum_v_bits": 10,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 14,
"q_exponent": 9,
"p_power_bits": 15,
"q_power_bits": 15,
"minimum_u_bits": 11,
"minimum_v_bits": 11,
"method": "exact boundary lines",
"boundary_pairs": 18,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 15,
"q_exponent": 10,
"p_power_bits": 16,
"q_power_bits": 16,
"minimum_u_bits": 13,
"minimum_v_bits": 12,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 16,
"q_exponent": 10,
"p_power_bits": 17,
"q_power_bits": 16,
"minimum_u_bits": 13,
"minimum_v_bits": 13,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 17,
"q_exponent": 11,
"p_power_bits": 18,
"q_power_bits": 18,
"minimum_u_bits": 14,
"minimum_v_bits": 14,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 18,
"q_exponent": 11,
"p_power_bits": 19,
"q_power_bits": 18,
"minimum_u_bits": 15,
"minimum_v_bits": 15,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 0,
"q_exponent_advance": 1
},
{
"p_exponent": 18,
"q_exponent": 12,
"p_power_bits": 19,
"q_power_bits": 20,
"minimum_u_bits": 16,
"minimum_v_bits": 15,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 19,
"q_exponent": 12,
"p_power_bits": 20,
"q_power_bits": 20,
"minimum_u_bits": 16,
"minimum_v_bits": 16,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 20,
"q_exponent": 13,
"p_power_bits": 21,
"q_power_bits": 21,
"minimum_u_bits": 16,
"minimum_v_bits": 15,
"method": "exact boundary lines",
"boundary_pairs": 26,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 21,
"q_exponent": 14,
"p_power_bits": 22,
"q_power_bits": 23,
"minimum_u_bits": 17,
"minimum_v_bits": 15,
"method": "exact boundary lines",
"boundary_pairs": 28,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 22,
"q_exponent": 15,
"p_power_bits": 23,
"q_power_bits": 24,
"minimum_u_bits": 21,
"minimum_v_bits": 19,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 24,
"q_exponent": 16,
"p_power_bits": 25,
"q_power_bits": 26,
"minimum_u_bits": 21,
"minimum_v_bits": 19,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 25,
"q_exponent": 16,
"p_power_bits": 26,
"q_power_bits": 26,
"minimum_u_bits": 20,
"minimum_v_bits": 19,
"method": "exact boundary lines",
"boundary_pairs": 33,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 26,
"q_exponent": 17,
"p_power_bits": 27,
"q_power_bits": 27,
"minimum_u_bits": 23,
"minimum_v_bits": 22,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 28,
"q_exponent": 18,
"p_power_bits": 29,
"q_power_bits": 29,
"minimum_u_bits": 26,
"minimum_v_bits": 25,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 30,
"q_exponent": 19,
"p_power_bits": 31,
"q_power_bits": 31,
"minimum_u_bits": 25,
"minimum_v_bits": 25,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 31,
"q_exponent": 20,
"p_power_bits": 32,
"q_power_bits": 32,
"minimum_u_bits": 29,
"minimum_v_bits": 28,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 34,
"q_exponent": 21,
"p_power_bits": 35,
"q_power_bits": 34,
"minimum_u_bits": 30,
"minimum_v_bits": 31,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 36,
"q_exponent": 23,
"p_power_bits": 37,
"q_power_bits": 37,
"minimum_u_bits": 28,
"minimum_v_bits": 27,
"method": "exact boundary lines",
"boundary_pairs": 47,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 37,
"q_exponent": 24,
"p_power_bits": 38,
"q_power_bits": 39,
"minimum_u_bits": 29,
"minimum_v_bits": 28,
"method": "exact boundary lines",
"boundary_pairs": 48,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 38,
"q_exponent": 25,
"p_power_bits": 39,
"q_power_bits": 40,
"minimum_u_bits": 35,
"minimum_v_bits": 33,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 41,
"q_exponent": 26,
"p_power_bits": 42,
"q_power_bits": 42,
"minimum_u_bits": 37,
"minimum_v_bits": 37,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 44,
"q_exponent": 28,
"p_power_bits": 45,
"q_power_bits": 45,
"minimum_u_bits": 40,
"minimum_v_bits": 40,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 47,
"q_exponent": 30,
"p_power_bits": 48,
"q_power_bits": 48,
"minimum_u_bits": 45,
"minimum_v_bits": 44,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5,
"q_exponent_advance": 3
},
{
"p_exponent": 52,
"q_exponent": 33,
"p_power_bits": 53,
"q_power_bits": 53,
"minimum_u_bits": 48,
"minimum_v_bits": 48,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4,
"q_exponent_advance": 3
},
{
"p_exponent": 56,
"q_exponent": 36,
"p_power_bits": 57,
"q_power_bits": 58,
"minimum_u_bits": 53,
"minimum_v_bits": 52,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5,
"q_exponent_advance": 3
},
{
"p_exponent": 61,
"q_exponent": 39,
"p_power_bits": 62,
"q_power_bits": 62,
"minimum_u_bits": 59,
"minimum_v_bits": 58,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6,
"q_exponent_advance": 4
},
{
"p_exponent": 67,
"q_exponent": 43,
"p_power_bits": 68,
"q_power_bits": 69,
"minimum_u_bits": 64,
"minimum_v_bits": 63,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7,
"q_exponent_advance": 4
},
{
"p_exponent": 74,
"q_exponent": 47,
"p_power_bits": 75,
"q_power_bits": 75,
"minimum_u_bits": 71,
"minimum_v_bits": 70,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7,
"q_exponent_advance": 4
},
{
"p_exponent": 81,
"q_exponent": 51,
"p_power_bits": 82,
"q_power_bits": 81,
"minimum_u_bits": 77,
"minimum_v_bits": 77,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8,
"q_exponent_advance": 5
},
{
"p_exponent": 89,
"q_exponent": 56,
"p_power_bits": 90,
"q_power_bits": 89,
"minimum_u_bits": 86,
"minimum_v_bits": 86,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 9,
"q_exponent_advance": 6
},
{
"p_exponent": 98,
"q_exponent": 62,
"p_power_bits": 99,
"q_power_bits": 99,
"minimum_u_bits": 95,
"minimum_v_bits": 95,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 10,
"q_exponent_advance": 7
},
{
"p_exponent": 108,
"q_exponent": 69,
"p_power_bits": 109,
"q_power_bits": 110,
"minimum_u_bits": 106,
"minimum_v_bits": 104,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12,
"q_exponent_advance": 7
},
{
"p_exponent": 120,
"q_exponent": 76,
"p_power_bits": 121,
"q_power_bits": 121,
"minimum_u_bits": 114,
"minimum_v_bits": 114,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12,
"q_exponent_advance": 7
},
{
"p_exponent": 132,
"q_exponent": 83,
"p_power_bits": 133,
"q_power_bits": 132,
"minimum_u_bits": 129,
"minimum_v_bits": 129,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 14,
"q_exponent_advance": 10
},
{
"p_exponent": 146,
"q_exponent": 93,
"p_power_bits": 147,
"q_power_bits": 148,
"minimum_u_bits": 144,
"minimum_v_bits": 143,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 17,
"q_exponent_advance": 10
},
{
"p_exponent": 163,
"q_exponent": 103,
"p_power_bits": 164,
"q_power_bits": 164,
"minimum_u_bits": 159,
"minimum_v_bits": 159,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 18,
"q_exponent_advance": 11
},
{
"p_exponent": 181,
"q_exponent": 114,
"p_power_bits": 182,
"q_power_bits": 181,
"minimum_u_bits": 174,
"minimum_v_bits": 175,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 18,
"q_exponent_advance": 12
},
{
"p_exponent": 199,
"q_exponent": 126,
"p_power_bits": 200,
"q_power_bits": 200,
"minimum_u_bits": 195,
"minimum_v_bits": 194,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22,
"q_exponent_advance": 14
},
{
"p_exponent": 221,
"q_exponent": 140,
"p_power_bits": 222,
"q_power_bits": 222,
"minimum_u_bits": 218,
"minimum_v_bits": 217,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 25,
"q_exponent_advance": 15
},
{
"p_exponent": 246,
"q_exponent": 155,
"p_power_bits": 247,
"q_power_bits": 246,
"minimum_u_bits": 241,
"minimum_v_bits": 241,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 27,
"q_exponent_advance": 17
},
{
"p_exponent": 273,
"q_exponent": 172,
"p_power_bits": 274,
"q_power_bits": 273,
"minimum_u_bits": 268,
"minimum_v_bits": 269,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 30,
"q_exponent_advance": 20
},
{
"p_exponent": 303,
"q_exponent": 192,
"p_power_bits": 304,
"q_power_bits": 305,
"minimum_u_bits": 301,
"minimum_v_bits": 300,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 35,
"q_exponent_advance": 22
},
{
"p_exponent": 338,
"q_exponent": 214,
"p_power_bits": 339,
"q_power_bits": 340,
"minimum_u_bits": 337,
"minimum_v_bits": 336,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 40,
"q_exponent_advance": 25
},
{
"p_exponent": 378,
"q_exponent": 239,
"p_power_bits": 379,
"q_power_bits": 379,
"minimum_u_bits": 372,
"minimum_v_bits": 372,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 42,
"q_exponent_advance": 26
},
{
"p_exponent": 420,
"q_exponent": 265,
"p_power_bits": 421,
"q_power_bits": 421,
"minimum_u_bits": 417,
"minimum_v_bits": 417,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 49,
"q_exponent_advance": 31
},
{
"p_exponent": 469,
"q_exponent": 296,
"p_power_bits": 470,
"q_power_bits": 470,
"minimum_u_bits": 466,
"minimum_v_bits": 466,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 55,
"q_exponent_advance": 35
},
{
"p_exponent": 524,
"q_exponent": 331,
"p_power_bits": 525,
"q_power_bits": 525,
"minimum_u_bits": 521,
"minimum_v_bits": 520,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 61,
"q_exponent_advance": 39
},
{
"p_exponent": 585,
"q_exponent": 370,
"p_power_bits": 586,
"q_power_bits": 587,
"minimum_u_bits": 583,
"minimum_v_bits": 582,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 70,
"q_exponent_advance": 43
},
{
"p_exponent": 655,
"q_exponent": 413,
"p_power_bits": 656,
"q_power_bits": 655,
"minimum_u_bits": 650,
"minimum_v_bits": 651,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 76,
"q_exponent_advance": 48
},
{
"p_exponent": 731,
"q_exponent": 461,
"p_power_bits": 732,
"q_power_bits": 731,
"minimum_u_bits": 727,
"minimum_v_bits": 728,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 86,
"q_exponent_advance": 55
},
{
"p_exponent": 817,
"q_exponent": 516,
"p_power_bits": 818,
"q_power_bits": 818,
"minimum_u_bits": 813,
"minimum_v_bits": 812,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 96,
"q_exponent_advance": 60
},
{
"p_exponent": 913,
"q_exponent": 576,
"p_power_bits": 914,
"q_power_bits": 913,
"minimum_u_bits": 908,
"minimum_v_bits": 908,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 107,
"q_exponent_advance": 68
},
{
"p_exponent": 1020,
"q_exponent": 644,
"p_power_bits": 1021,
"q_power_bits": 1021,
"minimum_u_bits": 1018,
"minimum_v_bits": 1017,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 121,
"q_exponent_advance": 76
},
{
"p_exponent": 1141,
"q_exponent": 720,
"p_power_bits": 1142,
"q_power_bits": 1142,
"minimum_u_bits": 1139,
"minimum_v_bits": 1139,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 136,
"q_exponent_advance": 86
},
{
"p_exponent": 1277,
"q_exponent": 806,
"p_power_bits": 1278,
"q_power_bits": 1278,
"minimum_u_bits": 1271,
"minimum_v_bits": 1270,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 150,
"q_exponent_advance": 95
},
{
"p_exponent": 1427,
"q_exponent": 901,
"p_power_bits": 1428,
"q_power_bits": 1429,
"minimum_u_bits": 1424,
"minimum_v_bits": 1423,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 170,
"q_exponent_advance": 107
},
{
"p_exponent": 1597,
"q_exponent": 1008,
"p_power_bits": 1598,
"q_power_bits": 1598,
"minimum_u_bits": 1595,
"minimum_v_bits": 1594,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 190,
"q_exponent_advance": 120
},
{
"p_exponent": 1787,
"q_exponent": 1128,
"p_power_bits": 1788,
"q_power_bits": 1788,
"minimum_u_bits": 1785,
"minimum_v_bits": 1784,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 214,
"q_exponent_advance": 134
},
{
"p_exponent": 2001,
"q_exponent": 1262,
"p_power_bits": 2002,
"q_power_bits": 2001,
"minimum_u_bits": 1996,
"minimum_v_bits": 1997,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 238,
"q_exponent_advance": 151
},
{
"p_exponent": 2239,
"q_exponent": 1413,
"p_power_bits": 2240,
"q_power_bits": 2240,
"minimum_u_bits": 2237,
"minimum_v_bits": 2236,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 268,
"q_exponent_advance": 169
},
{
"p_exponent": 2507,
"q_exponent": 1582,
"p_power_bits": 2508,
"q_power_bits": 2508,
"minimum_u_bits": 2503,
"minimum_v_bits": 2502,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 299,
"q_exponent_advance": 188
},
{
"p_exponent": 2806,
"q_exponent": 1770,
"p_power_bits": 2807,
"q_power_bits": 2806,
"minimum_u_bits": 2803,
"minimum_v_bits": 2803,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 335,
"q_exponent_advance": 212
},
{
"p_exponent": 3141,
"q_exponent": 1982,
"p_power_bits": 3142,
"q_power_bits": 3142,
"minimum_u_bits": 3138,
"minimum_v_bits": 3138,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 376,
"q_exponent_advance": 237
},
{
"p_exponent": 3517,
"q_exponent": 2219,
"p_power_bits": 3518,
"q_power_bits": 3518,
"minimum_u_bits": 3515,
"minimum_v_bits": 3515,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 421,
"q_exponent_advance": 266
},
{
"p_exponent": 3938,
"q_exponent": 2485,
"p_power_bits": 3939,
"q_power_bits": 3939,
"minimum_u_bits": 3934,
"minimum_v_bits": 3933,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 470,
"q_exponent_advance": 297
},
{
"p_exponent": 4408,
"q_exponent": 2782,
"p_power_bits": 4409,
"q_power_bits": 4410,
"minimum_u_bits": 4405,
"minimum_v_bits": 4404,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 528,
"q_exponent_advance": 332
},
{
"p_exponent": 4936,
"q_exponent": 3114,
"p_power_bits": 4937,
"q_power_bits": 4936,
"minimum_u_bits": 4932,
"minimum_v_bits": 4933,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 591,
"q_exponent_advance": 373
},
{
"p_exponent": 5527,
"q_exponent": 3487,
"p_power_bits": 5528,
"q_power_bits": 5527,
"minimum_u_bits": 5524,
"minimum_v_bits": 5524,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 662,
"q_exponent_advance": 418
},
{
"p_exponent": 6189,
"q_exponent": 3905,
"p_power_bits": 6190,
"q_power_bits": 6190,
"minimum_u_bits": 6185,
"minimum_v_bits": 6185,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 741,
"q_exponent_advance": 467
},
{
"p_exponent": 6930,
"q_exponent": 4372,
"p_power_bits": 6931,
"q_power_bits": 6930,
"minimum_u_bits": 6926,
"minimum_v_bits": 6926,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 829,
"q_exponent_advance": 524
},
{
"p_exponent": 7759,
"q_exponent": 4896,
"p_power_bits": 7760,
"q_power_bits": 7760,
"minimum_u_bits": 7756,
"minimum_v_bits": 7755,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 930,
"q_exponent_advance": 586
},
{
"p_exponent": 8689,
"q_exponent": 5482,
"p_power_bits": 8690,
"q_power_bits": 8689,
"minimum_u_bits": 8686,
"minimum_v_bits": 8686,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1041,
"q_exponent_advance": 657
},
{
"p_exponent": 9730,
"q_exponent": 6139,
"p_power_bits": 9731,
"q_power_bits": 9731,
"minimum_u_bits": 9727,
"minimum_v_bits": 9727,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1166,
"q_exponent_advance": 736
},
{
"p_exponent": 10896,
"q_exponent": 6875,
"p_power_bits": 10897,
"q_power_bits": 10897,
"minimum_u_bits": 10893,
"minimum_v_bits": 10892,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1306,
"q_exponent_advance": 824
},
{
"p_exponent": 12202,
"q_exponent": 7699,
"p_power_bits": 12203,
"q_power_bits": 12203,
"minimum_u_bits": 12199,
"minimum_v_bits": 12199,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1463,
"q_exponent_advance": 923
},
{
"p_exponent": 13665,
"q_exponent": 8622,
"p_power_bits": 13666,
"q_power_bits": 13666,
"minimum_u_bits": 13663,
"minimum_v_bits": 13662,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1639,
"q_exponent_advance": 1034
},
{
"p_exponent": 15304,
"q_exponent": 9656,
"p_power_bits": 15305,
"q_power_bits": 15305,
"minimum_u_bits": 15300,
"minimum_v_bits": 15300,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1834,
"q_exponent_advance": 1157
},
{
"p_exponent": 17138,
"q_exponent": 10813,
"p_power_bits": 17139,
"q_power_bits": 17139,
"minimum_u_bits": 17134,
"minimum_v_bits": 17134,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2055,
"q_exponent_advance": 1296
},
{
"p_exponent": 19193,
"q_exponent": 12109,
"p_power_bits": 19194,
"q_power_bits": 19193,
"minimum_u_bits": 19190,
"minimum_v_bits": 19190,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2301,
"q_exponent_advance": 1453
},
{
"p_exponent": 21494,
"q_exponent": 13562,
"p_power_bits": 21495,
"q_power_bits": 21496,
"minimum_u_bits": 21492,
"minimum_v_bits": 21490,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2578,
"q_exponent_advance": 1626
},
{
"p_exponent": 24072,
"q_exponent": 15188,
"p_power_bits": 24073,
"q_power_bits": 24073,
"minimum_u_bits": 24070,
"minimum_v_bits": 24069,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2887,
"q_exponent_advance": 1822
},
{
"p_exponent": 26959,
"q_exponent": 17010,
"p_power_bits": 26960,
"q_power_bits": 26961,
"minimum_u_bits": 26958,
"minimum_v_bits": 26957,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3235,
"q_exponent_advance": 2040
},
{
"p_exponent": 30194,
"q_exponent": 19050,
"p_power_bits": 30195,
"q_power_bits": 30194,
"minimum_u_bits": 30191,
"minimum_v_bits": 30191,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3622,
"q_exponent_advance": 2286
},
{
"p_exponent": 33816,
"q_exponent": 21336,
"p_power_bits": 33817,
"q_power_bits": 33817,
"minimum_u_bits": 33813,
"minimum_v_bits": 33812,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4056,
"q_exponent_advance": 2559
},
{
"p_exponent": 37872,
"q_exponent": 23895,
"p_power_bits": 37873,
"q_power_bits": 37873,
"minimum_u_bits": 37870,
"minimum_v_bits": 37869,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4544,
"q_exponent_advance": 2866
},
{
"p_exponent": 42416,
"q_exponent": 26761,
"p_power_bits": 42417,
"q_power_bits": 42416,
"minimum_u_bits": 42412,
"minimum_v_bits": 42413,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5088,
"q_exponent_advance": 3211
},
{
"p_exponent": 47504,
"q_exponent": 29972,
"p_power_bits": 47505,
"q_power_bits": 47505,
"minimum_u_bits": 47501,
"minimum_v_bits": 47501,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5699,
"q_exponent_advance": 3596
},
{
"p_exponent": 53203,
"q_exponent": 33568,
"p_power_bits": 53204,
"q_power_bits": 53205,
"minimum_u_bits": 53197,
"minimum_v_bits": 53196,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6381,
"q_exponent_advance": 4026
},
{
"p_exponent": 59584,
"q_exponent": 37594,
"p_power_bits": 59585,
"q_power_bits": 59586,
"minimum_u_bits": 59583,
"minimum_v_bits": 59581,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7149,
"q_exponent_advance": 4510
},
{
"p_exponent": 66733,
"q_exponent": 42104,
"p_power_bits": 66734,
"q_power_bits": 66734,
"minimum_u_bits": 66730,
"minimum_v_bits": 66729,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8006,
"q_exponent_advance": 5051
},
{
"p_exponent": 74739,
"q_exponent": 47155,
"p_power_bits": 74740,
"q_power_bits": 74739,
"minimum_u_bits": 74736,
"minimum_v_bits": 74736,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8967,
"q_exponent_advance": 5658
},
{
"p_exponent": 83706,
"q_exponent": 52813,
"p_power_bits": 83707,
"q_power_bits": 83707,
"minimum_u_bits": 83704,
"minimum_v_bits": 83704,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 10044,
"q_exponent_advance": 6337
},
{
"p_exponent": 93750,
"q_exponent": 59150,
"p_power_bits": 93751,
"q_power_bits": 93751,
"minimum_u_bits": 93742,
"minimum_v_bits": 93742,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 11246,
"q_exponent_advance": 7095
},
{
"p_exponent": 104996,
"q_exponent": 66245,
"p_power_bits": 104997,
"q_power_bits": 104996,
"minimum_u_bits": 104992,
"minimum_v_bits": 104993,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12598,
"q_exponent_advance": 7949
},
{
"p_exponent": 117594,
"q_exponent": 74194,
"p_power_bits": 117595,
"q_power_bits": 117595,
"minimum_u_bits": 117592,
"minimum_v_bits": 117591,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 14110,
"q_exponent_advance": 8902
},
{
"p_exponent": 131704,
"q_exponent": 83096,
"p_power_bits": 131705,
"q_power_bits": 131705,
"minimum_u_bits": 131699,
"minimum_v_bits": 131699,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 15802,
"q_exponent_advance": 9970
},
{
"p_exponent": 147506,
"q_exponent": 93066,
"p_power_bits": 147507,
"q_power_bits": 147507,
"minimum_u_bits": 147502,
"minimum_v_bits": 147502,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 17699,
"q_exponent_advance": 11167
},
{
"p_exponent": 165205,
"q_exponent": 104233,
"p_power_bits": 165206,
"q_power_bits": 165206,
"minimum_u_bits": 165203,
"minimum_v_bits": 165203,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 19824,
"q_exponent_advance": 12507
},
{
"p_exponent": 185029,
"q_exponent": 116740,
"p_power_bits": 185030,
"q_power_bits": 185029,
"minimum_u_bits": 185026,
"minimum_v_bits": 185027,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22202,
"q_exponent_advance": 14008
},
{
"p_exponent": 207231,
"q_exponent": 130748,
"p_power_bits": 207232,
"q_power_bits": 207231,
"minimum_u_bits": 207228,
"minimum_v_bits": 207228,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 24866,
"q_exponent_advance": 15689
},
{
"p_exponent": 232097,
"q_exponent": 146437,
"p_power_bits": 232098,
"q_power_bits": 232098,
"minimum_u_bits": 232094,
"minimum_v_bits": 232094,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 27850,
"q_exponent_advance": 17572
},
{
"p_exponent": 259947,
"q_exponent": 164009,
"p_power_bits": 259948,
"q_power_bits": 259949,
"minimum_u_bits": 259944,
"minimum_v_bits": 259943,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 31192,
"q_exponent_advance": 19679
},
{
"p_exponent": 291139,
"q_exponent": 183688,
"p_power_bits": 291140,
"q_power_bits": 291139,
"minimum_u_bits": 291135,
"minimum_v_bits": 291135,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 34935,
"q_exponent_advance": 22042
},
{
"p_exponent": 326074,
"q_exponent": 205730,
"p_power_bits": 326075,
"q_power_bits": 326075,
"minimum_u_bits": 326070,
"minimum_v_bits": 326070,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 39127,
"q_exponent_advance": 24686
},
{
"p_exponent": 365201,
"q_exponent": 230416,
"p_power_bits": 365202,
"q_power_bits": 365201,
"minimum_u_bits": 365192,
"minimum_v_bits": 365193,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 43819,
"q_exponent_advance": 27647
},
{
"p_exponent": 409020,
"q_exponent": 258063,
"p_power_bits": 409021,
"q_power_bits": 409021,
"minimum_u_bits": 409015,
"minimum_v_bits": 409015,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 49080,
"q_exponent_advance": 30966
},
{
"p_exponent": 458100,
"q_exponent": 289029,
"p_power_bits": 458101,
"q_power_bits": 458101,
"minimum_u_bits": 458097,
"minimum_v_bits": 458097,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 54971,
"q_exponent_advance": 34683
},
{
"p_exponent": 513071,
"q_exponent": 323712,
"p_power_bits": 513072,
"q_power_bits": 513072,
"minimum_u_bits": 513068,
"minimum_v_bits": 513068,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 61567,
"q_exponent_advance": 38844
},
{
"p_exponent": 574638,
"q_exponent": 362556,
"p_power_bits": 574639,
"q_power_bits": 574638,
"minimum_u_bits": 574634,
"minimum_v_bits": 574634,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 68955,
"q_exponent_advance": 43506
},
{
"p_exponent": 643593,
"q_exponent": 406062,
"p_power_bits": 643594,
"q_power_bits": 643594,
"minimum_u_bits": 643587,
"minimum_v_bits": 643587,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 77228,
"q_exponent_advance": 48726
},
{
"p_exponent": 720821,
"q_exponent": 454788,
"p_power_bits": 720822,
"q_power_bits": 720822,
"minimum_u_bits": 720818,
"minimum_v_bits": 720817,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 86497,
"q_exponent_advance": 54573
},
{
"p_exponent": 807318,
"q_exponent": 509361,
"p_power_bits": 807319,
"q_power_bits": 807319,
"minimum_u_bits": 807315,
"minimum_v_bits": 807315,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 96877,
"q_exponent_advance": 61123
},
{
"p_exponent": 904195,
"q_exponent": 570484,
"p_power_bits": 904196,
"q_power_bits": 904196,
"minimum_u_bits": 904192,
"minimum_v_bits": 904192,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 108502,
"q_exponent_advance": 68457
},
{
"p_exponent": 1012697,
"q_exponent": 638941,
"p_power_bits": 1012698,
"q_power_bits": 1012698,
"minimum_u_bits": 1012695,
"minimum_v_bits": 1012695,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 121523,
"q_exponent_advance": 76672
},
{
"p_exponent": 1134220,
"q_exponent": 715613,
"p_power_bits": 1134221,
"q_power_bits": 1134220,
"minimum_u_bits": 1134216,
"minimum_v_bits": 1134216,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 136105,
"q_exponent_advance": 85873
},
{
"p_exponent": 1270325,
"q_exponent": 801486,
"p_power_bits": 1270326,
"q_power_bits": 1270326,
"minimum_u_bits": 1270323,
"minimum_v_bits": 1270323,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 152438,
"q_exponent_advance": 96178
},
{
"p_exponent": 1422763,
"q_exponent": 897664,
"p_power_bits": 1422764,
"q_power_bits": 1422764,
"minimum_u_bits": 1422760,
"minimum_v_bits": 1422760,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 170730,
"q_exponent_advance": 107719
},
{
"p_exponent": 1593493,
"q_exponent": 1005383,
"p_power_bits": 1593494,
"q_power_bits": 1593495,
"minimum_u_bits": 1593492,
"minimum_v_bits": 1593491,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 191219,
"q_exponent_advance": 120645
},
{
"p_exponent": 1784712,
"q_exponent": 1126028,
"p_power_bits": 1784713,
"q_power_bits": 1784713,
"minimum_u_bits": 1784710,
"minimum_v_bits": 1784710,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 214164,
"q_exponent_advance": 135123
},
{
"p_exponent": 1998876,
"q_exponent": 1261151,
"p_power_bits": 1998877,
"q_power_bits": 1998878,
"minimum_u_bits": 1998875,
"minimum_v_bits": 1998874,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 239865,
"q_exponent_advance": 151337
},
{
"p_exponent": 2238741,
"q_exponent": 1412488,
"p_power_bits": 2238742,
"q_power_bits": 2238741,
"minimum_u_bits": 2238738,
"minimum_v_bits": 2238739,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 268648,
"q_exponent_advance": 169498
},
{
"p_exponent": 2507389,
"q_exponent": 1581986,
"p_power_bits": 2507390,
"q_power_bits": 2507389,
"minimum_u_bits": 2507386,
"minimum_v_bits": 2507387,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 300885,
"q_exponent_advance": 189838
},
{
"p_exponent": 2808274,
"q_exponent": 1771824,
"p_power_bits": 2808275,
"q_power_bits": 2808275,
"minimum_u_bits": 2808272,
"minimum_v_bits": 2808272,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 336992,
"q_exponent_advance": 212618
},
{
"p_exponent": 3145266,
"q_exponent": 1984442,
"p_power_bits": 3145267,
"q_power_bits": 3145267,
"minimum_u_bits": 3145261,
"minimum_v_bits": 3145261,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 377430,
"q_exponent_advance": 238132
},
{
"p_exponent": 3522696,
"q_exponent": 2222574,
"p_power_bits": 3522697,
"q_power_bits": 3522697,
"minimum_u_bits": 3522691,
"minimum_v_bits": 3522691,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 422721,
"q_exponent_advance": 266707
},
{
"p_exponent": 3945417,
"q_exponent": 2489281,
"p_power_bits": 3945418,
"q_power_bits": 3945418,
"minimum_u_bits": 3945414,
"minimum_v_bits": 3945414,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 473449,
"q_exponent_advance": 298713
},
{
"p_exponent": 4418866,
"q_exponent": 2787994,
"p_power_bits": 4418867,
"q_power_bits": 4418866,
"minimum_u_bits": 4418863,
"minimum_v_bits": 4418863,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 530262,
"q_exponent_advance": 334558
},
{
"p_exponent": 4949128,
"q_exponent": 3122552,
"p_power_bits": 4949129,
"q_power_bits": 4949128,
"minimum_u_bits": 4949123,
"minimum_v_bits": 4949123,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 593893,
"q_exponent_advance": 374705
},
{
"p_exponent": 5543021,
"q_exponent": 3497257,
"p_power_bits": 5543022,
"q_power_bits": 5543022,
"minimum_u_bits": 5543017,
"minimum_v_bits": 5543017,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 665160,
"q_exponent_advance": 419670
},
{
"p_exponent": 6208181,
"q_exponent": 3916927,
"p_power_bits": 6208182,
"q_power_bits": 6208183,
"minimum_u_bits": 6208179,
"minimum_v_bits": 6208178,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 744981,
"q_exponent_advance": 470030
},
{
"p_exponent": 6953162,
"q_exponent": 4386957,
"p_power_bits": 6953163,
"q_power_bits": 6953163,
"minimum_u_bits": 6953159,
"minimum_v_bits": 6953159,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 834378,
"q_exponent_advance": 526434
},
{
"p_exponent": 7787540,
"q_exponent": 4913391,
"p_power_bits": 7787541,
"q_power_bits": 7787541,
"minimum_u_bits": 7787537,
"minimum_v_bits": 7787537,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 934503,
"q_exponent_advance": 589606
},
{
"p_exponent": 8722043,
"q_exponent": 5502997,
"p_power_bits": 8722044,
"q_power_bits": 8722044,
"minimum_u_bits": 8722041,
"minimum_v_bits": 8722040,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1046644,
"q_exponent_advance": 660358
},
{
"p_exponent": 9768687,
"q_exponent": 6163355,
"p_power_bits": 9768688,
"q_power_bits": 9768687,
"minimum_u_bits": 9768683,
"minimum_v_bits": 9768684,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1172241,
"q_exponent_advance": 739602
},
{
"p_exponent": 10940928,
"q_exponent": 6902957,
"p_power_bits": 10940929,
"q_power_bits": 10940928,
"minimum_u_bits": 10940925,
"minimum_v_bits": 10940925,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1312910,
"q_exponent_advance": 828354
},
{
"p_exponent": 12253838,
"q_exponent": 7731311,
"p_power_bits": 12253839,
"q_power_bits": 12253839,
"minimum_u_bits": 12253834,
"minimum_v_bits": 12253834,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1470458,
"q_exponent_advance": 927756
},
{
"p_exponent": 13724296,
"q_exponent": 8659067,
"p_power_bits": 13724297,
"q_power_bits": 13724297,
"minimum_u_bits": 13724294,
"minimum_v_bits": 13724293,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1646915,
"q_exponent_advance": 1039087
},
{
"p_exponent": 15371211,
"q_exponent": 9698154,
"p_power_bits": 15371212,
"q_power_bits": 15371211,
"minimum_u_bits": 15371207,
"minimum_v_bits": 15371207,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1844543,
"q_exponent_advance": 1163778
},
{
"p_exponent": 17215754,
"q_exponent": 10861932,
"p_power_bits": 17215755,
"q_power_bits": 17215755,
"minimum_u_bits": 17215750,
"minimum_v_bits": 17215749,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2065889,
"q_exponent_advance": 1303430
},
{
"p_exponent": 19281643,
"q_exponent": 12165362,
"p_power_bits": 19281644,
"q_power_bits": 19281643,
"minimum_u_bits": 19281640,
"minimum_v_bits": 19281640,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2313795,
"q_exponent_advance": 1459843
},
{
"p_exponent": 21595438,
"q_exponent": 13625205,
"p_power_bits": 21595439,
"q_power_bits": 21595439,
"minimum_u_bits": 21595436,
"minimum_v_bits": 21595435,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2591452,
"q_exponent_advance": 1635023
},
{
"p_exponent": 24186890,
"q_exponent": 15260228,
"p_power_bits": 24186891,
"q_power_bits": 24186890,
"minimum_u_bits": 24186883,
"minimum_v_bits": 24186883,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2902423,
"q_exponent_advance": 1831226
},
{
"p_exponent": 27089313,
"q_exponent": 17091454,
"p_power_bits": 27089314,
"q_power_bits": 27089314,
"minimum_u_bits": 27089310,
"minimum_v_bits": 27089309,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3250716,
"q_exponent_advance": 2050973
},
{
"p_exponent": 30340029,
"q_exponent": 19142427,
"p_power_bits": 30340030,
"q_power_bits": 30340029,
"minimum_u_bits": 30340025,
"minimum_v_bits": 30340025,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3640802,
"q_exponent_advance": 2297090
},
{
"p_exponent": 33980831,
"q_exponent": 21439517,
"p_power_bits": 33980832,
"q_power_bits": 33980831,
"minimum_u_bits": 33980826,
"minimum_v_bits": 33980826,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4077697,
"q_exponent_advance": 2572741
},
{
"p_exponent": 38058528,
"q_exponent": 24012258,
"p_power_bits": 38058529,
"q_power_bits": 38058529,
"minimum_u_bits": 38058525,
"minimum_v_bits": 38058524,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4567022,
"q_exponent_advance": 2881470
},
{
"p_exponent": 42625550,
"q_exponent": 26893728,
"p_power_bits": 42625551,
"q_power_bits": 42625551,
"minimum_u_bits": 42625544,
"minimum_v_bits": 42625543,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5115063,
"q_exponent_advance": 3227245
},
{
"p_exponent": 47740613,
"q_exponent": 30120973,
"p_power_bits": 47740614,
"q_power_bits": 47740613,
"minimum_u_bits": 47740610,
"minimum_v_bits": 47740611,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5728872,
"q_exponent_advance": 3614516
},
{
"p_exponent": 53469485,
"q_exponent": 33735489,
"p_power_bits": 53469486,
"q_power_bits": 53469486,
"minimum_u_bits": 53469482,
"minimum_v_bits": 53469482,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6416337,
"q_exponent_advance": 4048258
},
{
"p_exponent": 59885822,
"q_exponent": 37783747,
"p_power_bits": 59885823,
"q_power_bits": 59885823,
"minimum_u_bits": 59885818,
"minimum_v_bits": 59885818,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7186296,
"q_exponent_advance": 4534048
},
{
"p_exponent": 67072118,
"q_exponent": 42317795,
"p_power_bits": 67072119,
"q_power_bits": 67072119,
"minimum_u_bits": 67072112,
"minimum_v_bits": 67072112,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8048651,
"q_exponent_advance": 5078133
},
{
"p_exponent": 75120769,
"q_exponent": 47395928,
"p_power_bits": 75120770,
"q_power_bits": 75120769,
"minimum_u_bits": 75120765,
"minimum_v_bits": 75120766,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 9014490,
"q_exponent_advance": 5687511
},
{
"p_exponent": 84135259,
"q_exponent": 53083439,
"p_power_bits": 84135260,
"q_power_bits": 84135261,
"minimum_u_bits": 84135255,
"minimum_v_bits": 84135254,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 10096229,
"q_exponent_advance": 6370011
},
{
"p_exponent": 94231488,
"q_exponent": 59453450,
"p_power_bits": 94231489,
"q_power_bits": 94231489,
"minimum_u_bits": 94231486,
"minimum_v_bits": 94231485,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 11307778,
"q_exponent_advance": 7134413
},
{
"p_exponent": 105539266,
"q_exponent": 66587863,
"p_power_bits": 105539267,
"q_power_bits": 105539266,
"minimum_u_bits": 105539261,
"minimum_v_bits": 105539262,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12664710,
"q_exponent_advance": 7990542
},
{
"p_exponent": 118203976,
"q_exponent": 74578405,
"p_power_bits": 118203977,
"q_power_bits": 118203976,
"minimum_u_bits": 118203972,
"minimum_v_bits": 118203973,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 14184475,
"q_exponent_advance": 8949408
},
{
"p_exponent": 132388451,
"q_exponent": 83527813,
"p_power_bits": 132388452,
"q_power_bits": 132388452,
"minimum_u_bits": 132388449,
"minimum_v_bits": 132388449,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 15886613,
"q_exponent_advance": 10023337
},
{
"p_exponent": 148275064,
"q_exponent": 93551150,
"p_power_bits": 148275065,
"q_power_bits": 148275065,
"minimum_u_bits": 148275062,
"minimum_v_bits": 148275061,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 17793007,
"q_exponent_advance": 11226137
},
{
"p_exponent": 166068071,
"q_exponent": 104777287,
"p_power_bits": 166068072,
"q_power_bits": 166068071,
"minimum_u_bits": 166068067,
"minimum_v_bits": 166068067,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 19928167,
"q_exponent_advance": 12573274
},
{
"p_exponent": 185996238,
"q_exponent": 117350561,
"p_power_bits": 185996239,
"q_power_bits": 185996239,
"minimum_u_bits": 185996236,
"minimum_v_bits": 185996235,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22319548,
"q_exponent_advance": 14082066
},
{
"p_exponent": 208315786,
"q_exponent": 131432627,
"p_power_bits": 208315787,
"q_power_bits": 208315786,
"minimum_u_bits": 208315782,
"minimum_v_bits": 208315783,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 24997892,
"q_exponent_advance": 15771915
},
{
"p_exponent": 233313678,
"q_exponent": 147204542,
"p_power_bits": 233313679,
"q_power_bits": 233313680,
"minimum_u_bits": 233313677,
"minimum_v_bits": 233313676,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 27997641,
"q_exponent_advance": 17664544
},
{
"p_exponent": 261311319,
"q_exponent": 164869086,
"p_power_bits": 261311320,
"q_power_bits": 261311319,
"minimum_u_bits": 261311316,
"minimum_v_bits": 261311316,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 31357357,
"q_exponent_advance": 19784290
},
{
"p_exponent": 292668676,
"q_exponent": 184653376,
"p_power_bits": 292668677,
"q_power_bits": 292668677,
"minimum_u_bits": 292668672,
"minimum_v_bits": 292668672,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 35120239,
"q_exponent_advance": 22158404
},
{
"p_exponent": 327788915,
"q_exponent": 206811780,
"p_power_bits": 327788916,
"q_power_bits": 327788917,
"minimum_u_bits": 327788913,
"minimum_v_bits": 327788912,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 39334669,
"q_exponent_advance": 24817413
}
],
"conclusion": "max(u,v)^25 >= min(p^a*u,q^b*v)^11 throughout the stated height range",
"continuation": {
"source_file": "erdos_699_prime_pair_strips_7_global.json",
"previous_height_cap_power_of_ten": 44245906,
"retained_anchor_count": 168,
"new_anchor_count": 8,
"all_retained_boundaries_certified_untruncated": true
}
},
{
"pair": [
2,
5
],
"height_cap_power_of_ten": 100000001,
"maximum_difference": 6,
"cofactor_exponent_numerator": 11,
"cofactor_exponent_denominator": 25,
"height_threshold": 3029277343745,
"backend": "gmpy2",
"arithmetic": "Exact extended gcd; directed leading-bit logarithm bounds for power comparisons.",
"initial_exponents": [
3,
2
],
"maximum_exponents": [
332192812,
143067657
],
"final_exponents": [
368618091,
158755171
],
"anchor_count": 171,
"exact_boundary_pairs": 79,
"boundary_pairs_sha256": "cc34b3d9836d451c6b461f37b09dbcbdf48ea8dc06652246611fb060657e227d",
"exception_count": 48,
"exceptions": [
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -1,
"p_cofactor": 3,
"q_cofactor": 1,
"smaller_height": 24,
"larger_height": 25
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": -4,
"p_cofactor": 6,
"q_cofactor": 4,
"smaller_height": 96,
"larger_height": 100
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": -2,
"p_cofactor": 3,
"q_cofactor": 2,
"smaller_height": 48,
"larger_height": 50
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": 3,
"p_cofactor": 8,
"q_cofactor": 5,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": 5,
"p_cofactor": 5,
"q_cofactor": 3,
"smaller_height": 75,
"larger_height": 80
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": 3,
"p_cofactor": 8,
"q_cofactor": 1,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": -4,
"p_cofactor": 3,
"q_cofactor": 4,
"smaller_height": 96,
"larger_height": 100
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": -1,
"p_cofactor": 7,
"q_cofactor": 9,
"smaller_height": 224,
"larger_height": 225
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": 3,
"p_cofactor": 4,
"q_cofactor": 5,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 8,
"q_cofactor": 10,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": 3,
"p_cofactor": 4,
"q_cofactor": 1,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": 6,
"p_cofactor": 8,
"q_cofactor": 2,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 6,
"q_exponent": 2,
"signed_difference": 3,
"p_cofactor": 2,
"q_cofactor": 5,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 6,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 4,
"q_cofactor": 10,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": 3,
"p_cofactor": 2,
"q_cofactor": 1,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": 6,
"p_cofactor": 4,
"q_cofactor": 2,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 7,
"q_exponent": 2,
"signed_difference": 3,
"p_cofactor": 1,
"q_cofactor": 5,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 7,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 2,
"q_cofactor": 10,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": -5,
"p_cofactor": 40,
"q_cofactor": 41,
"smaller_height": 5120,
"larger_height": 5125
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": -2,
"p_cofactor": 41,
"q_cofactor": 42,
"smaller_height": 5248,
"larger_height": 5250
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 1,
"p_cofactor": 42,
"q_cofactor": 43,
"smaller_height": 5375,
"larger_height": 5376
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 3,
"p_cofactor": 1,
"q_cofactor": 1,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 4,
"p_cofactor": 43,
"q_cofactor": 44,
"smaller_height": 5500,
"larger_height": 5504
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 6,
"p_cofactor": 2,
"q_cofactor": 2,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 8,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 1,
"q_cofactor": 10,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 8,
"q_exponent": 3,
"signed_difference": -5,
"p_cofactor": 20,
"q_cofactor": 41,
"smaller_height": 5120,
"larger_height": 5125
},
{
"p_exponent": 8,
"q_exponent": 3,
"signed_difference": 1,
"p_cofactor": 21,
"q_cofactor": 43,
"smaller_height": 5375,
"larger_height": 5376
},
{
"p_exponent": 8,
"q_exponent": 3,
"signed_difference": 6,
"p_cofactor": 1,
"q_cofactor": 2,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 9,
"q_exponent": 3,
"signed_difference": -5,
"p_cofactor": 10,
"q_cofactor": 41,
"smaller_height": 5120,
"larger_height": 5125
},
{
"p_exponent": 9,
"q_exponent": 4,
"signed_difference": -4,
"p_cofactor": 83,
"q_cofactor": 68,
"smaller_height": 42496,
"larger_height": 42500
},
{
"p_exponent": 9,
"q_exponent": 4,
"signed_difference": 3,
"p_cofactor": 94,
"q_cofactor": 77,
"smaller_height": 48125,
"larger_height": 48128
},
{
"p_exponent": 10,
"q_exponent": 3,
"signed_difference": -5,
"p_cofactor": 5,
"q_cofactor": 41,
"smaller_height": 5120,
"larger_height": 5125
},
{
"p_exponent": 10,
"q_exponent": 4,
"signed_difference": 3,
"p_cofactor": 47,
"q_cofactor": 77,
"smaller_height": 48125,
"larger_height": 48128
},
{
"p_exponent": 10,
"q_exponent": 4,
"signed_difference": 6,
"p_cofactor": 94,
"q_cofactor": 154,
"smaller_height": 96250,
"larger_height": 96256
},
{
"p_exponent": 10,
"q_exponent": 5,
"signed_difference": -2,
"p_cofactor": 177,
"q_cofactor": 58,
"smaller_height": 181248,
"larger_height": 181250
},
{
"p_exponent": 11,
"q_exponent": 4,
"signed_difference": 6,
"p_cofactor": 47,
"q_cofactor": 154,
"smaller_height": 96250,
"larger_height": 96256
},
{
"p_exponent": 11,
"q_exponent": 5,
"signed_difference": -4,
"p_cofactor": 177,
"q_cofactor": 116,
"smaller_height": 362496,
"larger_height": 362500
},
{
"p_exponent": 12,
"q_exponent": 5,
"signed_difference": 5,
"p_cofactor": 280,
"q_cofactor": 367,
"smaller_height": 1146875,
"larger_height": 1146880
},
{
"p_exponent": 13,
"q_exponent": 5,
"signed_difference": 5,
"p_cofactor": 140,
"q_cofactor": 367,
"smaller_height": 1146875,
"larger_height": 1146880
},
{
"p_exponent": 13,
"q_exponent": 6,
"signed_difference": -1,
"p_cofactor": 597,
"q_cofactor": 313,
"smaller_height": 4890624,
"larger_height": 4890625
},
{
"p_exponent": 14,
"q_exponent": 5,
"signed_difference": 5,
"p_cofactor": 70,
"q_cofactor": 367,
"smaller_height": 1146875,
"larger_height": 1146880
},
{
"p_exponent": 14,
"q_exponent": 6,
"signed_difference": -6,
"p_cofactor": 1791,
"q_cofactor": 1878,
"smaller_height": 29343744,
"larger_height": 29343750
},
{
"p_exponent": 14,
"q_exponent": 6,
"signed_difference": -4,
"p_cofactor": 1194,
"q_cofactor": 1252,
"smaller_height": 19562496,
"larger_height": 19562500
},
{
"p_exponent": 14,
"q_exponent": 6,
"signed_difference": -2,
"p_cofactor": 597,
"q_cofactor": 626,
"smaller_height": 9781248,
"larger_height": 9781250
},
{
"p_exponent": 15,
"q_exponent": 5,
"signed_difference": 5,
"p_cofactor": 35,
"q_cofactor": 367,
"smaller_height": 1146875,
"larger_height": 1146880
},
{
"p_exponent": 15,
"q_exponent": 6,
"signed_difference": -4,
"p_cofactor": 597,
"q_cofactor": 1252,
"smaller_height": 19562496,
"larger_height": 19562500
},
{
"p_exponent": 23,
"q_exponent": 10,
"signed_difference": -3,
"p_cofactor": 180559,
"q_cofactor": 155099,
"smaller_height": 1514638671872,
"larger_height": 1514638671875
},
{
"p_exponent": 24,
"q_exponent": 10,
"signed_difference": -6,
"p_cofactor": 180559,
"q_cofactor": 310198,
"smaller_height": 3029277343744,
"larger_height": 3029277343750
}
],
"anchors": [
{
"p_exponent": 3,
"q_exponent": 2,
"p_power_bits": 4,
"q_power_bits": 5,
"minimum_u_bits": 2,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 6,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 4,
"q_exponent": 3,
"p_power_bits": 5,
"q_power_bits": 7,
"minimum_u_bits": 4,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 9,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 5,
"q_exponent": 4,
"p_power_bits": 6,
"q_power_bits": 10,
"minimum_u_bits": 6,
"minimum_v_bits": 2,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 6,
"q_exponent": 4,
"p_power_bits": 7,
"q_power_bits": 10,
"minimum_u_bits": 6,
"minimum_v_bits": 3,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 7,
"q_exponent": 4,
"p_power_bits": 8,
"q_power_bits": 10,
"minimum_u_bits": 7,
"minimum_v_bits": 5,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 8,
"q_exponent": 4,
"p_power_bits": 9,
"q_power_bits": 10,
"minimum_u_bits": 7,
"minimum_v_bits": 6,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 9,
"q_exponent": 4,
"p_power_bits": 10,
"q_power_bits": 10,
"minimum_u_bits": 7,
"minimum_v_bits": 7,
"method": "exact boundary lines",
"boundary_pairs": 10,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 10,
"q_exponent": 5,
"p_power_bits": 11,
"q_power_bits": 12,
"minimum_u_bits": 8,
"minimum_v_bits": 6,
"method": "exact boundary lines",
"boundary_pairs": 13,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 11,
"q_exponent": 6,
"p_power_bits": 12,
"q_power_bits": 14,
"minimum_u_bits": 11,
"minimum_v_bits": 8,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 12,
"q_exponent": 6,
"p_power_bits": 13,
"q_power_bits": 14,
"minimum_u_bits": 11,
"minimum_v_bits": 9,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 13,
"q_exponent": 6,
"p_power_bits": 14,
"q_power_bits": 14,
"minimum_u_bits": 10,
"minimum_v_bits": 9,
"method": "exact boundary lines",
"boundary_pairs": 15,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 14,
"q_exponent": 7,
"p_power_bits": 15,
"q_power_bits": 17,
"minimum_u_bits": 13,
"minimum_v_bits": 11,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 0
},
{
"p_exponent": 16,
"q_exponent": 7,
"p_power_bits": 17,
"q_power_bits": 17,
"minimum_u_bits": 13,
"minimum_v_bits": 13,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 17,
"q_exponent": 7,
"p_power_bits": 18,
"q_power_bits": 17,
"minimum_u_bits": 13,
"minimum_v_bits": 14,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 0,
"q_exponent_advance": 1
},
{
"p_exponent": 17,
"q_exponent": 8,
"p_power_bits": 18,
"q_power_bits": 19,
"minimum_u_bits": 15,
"minimum_v_bits": 13,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 18,
"q_exponent": 8,
"p_power_bits": 19,
"q_power_bits": 19,
"minimum_u_bits": 15,
"minimum_v_bits": 14,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 19,
"q_exponent": 8,
"p_power_bits": 20,
"q_power_bits": 19,
"minimum_u_bits": 16,
"minimum_v_bits": 17,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 20,
"q_exponent": 9,
"p_power_bits": 21,
"q_power_bits": 21,
"minimum_u_bits": 18,
"minimum_v_bits": 17,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 21,
"q_exponent": 10,
"p_power_bits": 22,
"q_power_bits": 24,
"minimum_u_bits": 20,
"minimum_v_bits": 18,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 0
},
{
"p_exponent": 23,
"q_exponent": 10,
"p_power_bits": 24,
"q_power_bits": 24,
"minimum_u_bits": 18,
"minimum_v_bits": 18,
"method": "exact boundary lines",
"boundary_pairs": 26,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 24,
"q_exponent": 11,
"p_power_bits": 25,
"q_power_bits": 26,
"minimum_u_bits": 23,
"minimum_v_bits": 22,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 27,
"q_exponent": 12,
"p_power_bits": 28,
"q_power_bits": 28,
"minimum_u_bits": 25,
"minimum_v_bits": 24,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 29,
"q_exponent": 13,
"p_power_bits": 30,
"q_power_bits": 31,
"minimum_u_bits": 27,
"minimum_v_bits": 26,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 32,
"q_exponent": 14,
"p_power_bits": 33,
"q_power_bits": 33,
"minimum_u_bits": 28,
"minimum_v_bits": 28,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 34,
"q_exponent": 15,
"p_power_bits": 35,
"q_power_bits": 35,
"minimum_u_bits": 32,
"minimum_v_bits": 32,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 37,
"q_exponent": 16,
"p_power_bits": 38,
"q_power_bits": 38,
"minimum_u_bits": 33,
"minimum_v_bits": 33,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 40,
"q_exponent": 17,
"p_power_bits": 41,
"q_power_bits": 40,
"minimum_u_bits": 37,
"minimum_v_bits": 37,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 43,
"q_exponent": 19,
"p_power_bits": 44,
"q_power_bits": 45,
"minimum_u_bits": 42,
"minimum_v_bits": 41,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5,
"q_exponent_advance": 2
},
{
"p_exponent": 48,
"q_exponent": 21,
"p_power_bits": 49,
"q_power_bits": 49,
"minimum_u_bits": 46,
"minimum_v_bits": 45,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5,
"q_exponent_advance": 2
},
{
"p_exponent": 53,
"q_exponent": 23,
"p_power_bits": 54,
"q_power_bits": 54,
"minimum_u_bits": 50,
"minimum_v_bits": 50,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5,
"q_exponent_advance": 2
},
{
"p_exponent": 58,
"q_exponent": 25,
"p_power_bits": 59,
"q_power_bits": 59,
"minimum_u_bits": 54,
"minimum_v_bits": 54,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5,
"q_exponent_advance": 2
},
{
"p_exponent": 63,
"q_exponent": 27,
"p_power_bits": 64,
"q_power_bits": 63,
"minimum_u_bits": 57,
"minimum_v_bits": 57,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4,
"q_exponent_advance": 2
},
{
"p_exponent": 67,
"q_exponent": 29,
"p_power_bits": 68,
"q_power_bits": 68,
"minimum_u_bits": 61,
"minimum_v_bits": 61,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5,
"q_exponent_advance": 2
},
{
"p_exponent": 72,
"q_exponent": 31,
"p_power_bits": 73,
"q_power_bits": 72,
"minimum_u_bits": 69,
"minimum_v_bits": 69,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7,
"q_exponent_advance": 3
},
{
"p_exponent": 79,
"q_exponent": 34,
"p_power_bits": 80,
"q_power_bits": 79,
"minimum_u_bits": 77,
"minimum_v_bits": 77,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8,
"q_exponent_advance": 4
},
{
"p_exponent": 87,
"q_exponent": 38,
"p_power_bits": 88,
"q_power_bits": 89,
"minimum_u_bits": 84,
"minimum_v_bits": 82,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 9,
"q_exponent_advance": 4
},
{
"p_exponent": 96,
"q_exponent": 42,
"p_power_bits": 97,
"q_power_bits": 98,
"minimum_u_bits": 93,
"minimum_v_bits": 91,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 10,
"q_exponent_advance": 4
},
{
"p_exponent": 106,
"q_exponent": 46,
"p_power_bits": 107,
"q_power_bits": 107,
"minimum_u_bits": 104,
"minimum_v_bits": 103,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12,
"q_exponent_advance": 5
},
{
"p_exponent": 118,
"q_exponent": 51,
"p_power_bits": 119,
"q_power_bits": 119,
"minimum_u_bits": 115,
"minimum_v_bits": 114,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 13,
"q_exponent_advance": 6
},
{
"p_exponent": 131,
"q_exponent": 57,
"p_power_bits": 132,
"q_power_bits": 133,
"minimum_u_bits": 130,
"minimum_v_bits": 128,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 15,
"q_exponent_advance": 6
},
{
"p_exponent": 146,
"q_exponent": 63,
"p_power_bits": 147,
"q_power_bits": 147,
"minimum_u_bits": 143,
"minimum_v_bits": 143,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 16,
"q_exponent_advance": 7
},
{
"p_exponent": 162,
"q_exponent": 70,
"p_power_bits": 163,
"q_power_bits": 163,
"minimum_u_bits": 158,
"minimum_v_bits": 157,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 17,
"q_exponent_advance": 8
},
{
"p_exponent": 179,
"q_exponent": 78,
"p_power_bits": 180,
"q_power_bits": 182,
"minimum_u_bits": 177,
"minimum_v_bits": 175,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 21,
"q_exponent_advance": 8
},
{
"p_exponent": 200,
"q_exponent": 86,
"p_power_bits": 201,
"q_power_bits": 200,
"minimum_u_bits": 195,
"minimum_v_bits": 196,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22,
"q_exponent_advance": 10
},
{
"p_exponent": 222,
"q_exponent": 96,
"p_power_bits": 223,
"q_power_bits": 223,
"minimum_u_bits": 218,
"minimum_v_bits": 217,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 24,
"q_exponent_advance": 10
},
{
"p_exponent": 246,
"q_exponent": 106,
"p_power_bits": 247,
"q_power_bits": 247,
"minimum_u_bits": 244,
"minimum_v_bits": 244,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 28,
"q_exponent_advance": 12
},
{
"p_exponent": 274,
"q_exponent": 118,
"p_power_bits": 275,
"q_power_bits": 274,
"minimum_u_bits": 269,
"minimum_v_bits": 269,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 31,
"q_exponent_advance": 13
},
{
"p_exponent": 305,
"q_exponent": 131,
"p_power_bits": 306,
"q_power_bits": 305,
"minimum_u_bits": 300,
"minimum_v_bits": 301,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 34,
"q_exponent_advance": 15
},
{
"p_exponent": 339,
"q_exponent": 146,
"p_power_bits": 340,
"q_power_bits": 340,
"minimum_u_bits": 333,
"minimum_v_bits": 333,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 38,
"q_exponent_advance": 16
},
{
"p_exponent": 377,
"q_exponent": 162,
"p_power_bits": 378,
"q_power_bits": 377,
"minimum_u_bits": 373,
"minimum_v_bits": 374,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 43,
"q_exponent_advance": 19
},
{
"p_exponent": 420,
"q_exponent": 181,
"p_power_bits": 421,
"q_power_bits": 421,
"minimum_u_bits": 417,
"minimum_v_bits": 416,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 49,
"q_exponent_advance": 21
},
{
"p_exponent": 469,
"q_exponent": 202,
"p_power_bits": 470,
"q_power_bits": 470,
"minimum_u_bits": 466,
"minimum_v_bits": 466,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 55,
"q_exponent_advance": 24
},
{
"p_exponent": 524,
"q_exponent": 226,
"p_power_bits": 525,
"q_power_bits": 525,
"minimum_u_bits": 521,
"minimum_v_bits": 520,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 61,
"q_exponent_advance": 26
},
{
"p_exponent": 585,
"q_exponent": 252,
"p_power_bits": 586,
"q_power_bits": 586,
"minimum_u_bits": 582,
"minimum_v_bits": 582,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 69,
"q_exponent_advance": 30
},
{
"p_exponent": 654,
"q_exponent": 282,
"p_power_bits": 655,
"q_power_bits": 655,
"minimum_u_bits": 649,
"minimum_v_bits": 648,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 76,
"q_exponent_advance": 33
},
{
"p_exponent": 730,
"q_exponent": 315,
"p_power_bits": 731,
"q_power_bits": 732,
"minimum_u_bits": 729,
"minimum_v_bits": 728,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 87,
"q_exponent_advance": 37
},
{
"p_exponent": 817,
"q_exponent": 352,
"p_power_bits": 818,
"q_power_bits": 818,
"minimum_u_bits": 815,
"minimum_v_bits": 814,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 97,
"q_exponent_advance": 42
},
{
"p_exponent": 914,
"q_exponent": 394,
"p_power_bits": 915,
"q_power_bits": 915,
"minimum_u_bits": 912,
"minimum_v_bits": 911,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 109,
"q_exponent_advance": 47
},
{
"p_exponent": 1023,
"q_exponent": 441,
"p_power_bits": 1024,
"q_power_bits": 1024,
"minimum_u_bits": 1020,
"minimum_v_bits": 1019,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 121,
"q_exponent_advance": 52
},
{
"p_exponent": 1144,
"q_exponent": 493,
"p_power_bits": 1145,
"q_power_bits": 1145,
"minimum_u_bits": 1141,
"minimum_v_bits": 1140,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 136,
"q_exponent_advance": 59
},
{
"p_exponent": 1280,
"q_exponent": 552,
"p_power_bits": 1281,
"q_power_bits": 1282,
"minimum_u_bits": 1279,
"minimum_v_bits": 1277,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 153,
"q_exponent_advance": 65
},
{
"p_exponent": 1433,
"q_exponent": 617,
"p_power_bits": 1434,
"q_power_bits": 1433,
"minimum_u_bits": 1428,
"minimum_v_bits": 1429,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 170,
"q_exponent_advance": 73
},
{
"p_exponent": 1603,
"q_exponent": 690,
"p_power_bits": 1604,
"q_power_bits": 1603,
"minimum_u_bits": 1600,
"minimum_v_bits": 1601,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 191,
"q_exponent_advance": 83
},
{
"p_exponent": 1794,
"q_exponent": 773,
"p_power_bits": 1795,
"q_power_bits": 1795,
"minimum_u_bits": 1791,
"minimum_v_bits": 1790,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 214,
"q_exponent_advance": 92
},
{
"p_exponent": 2008,
"q_exponent": 865,
"p_power_bits": 2009,
"q_power_bits": 2009,
"minimum_u_bits": 2005,
"minimum_v_bits": 2005,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 240,
"q_exponent_advance": 103
},
{
"p_exponent": 2248,
"q_exponent": 968,
"p_power_bits": 2249,
"q_power_bits": 2248,
"minimum_u_bits": 2244,
"minimum_v_bits": 2244,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 268,
"q_exponent_advance": 116
},
{
"p_exponent": 2516,
"q_exponent": 1084,
"p_power_bits": 2517,
"q_power_bits": 2517,
"minimum_u_bits": 2514,
"minimum_v_bits": 2513,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 301,
"q_exponent_advance": 130
},
{
"p_exponent": 2817,
"q_exponent": 1214,
"p_power_bits": 2818,
"q_power_bits": 2819,
"minimum_u_bits": 2815,
"minimum_v_bits": 2813,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 337,
"q_exponent_advance": 145
},
{
"p_exponent": 3154,
"q_exponent": 1359,
"p_power_bits": 3155,
"q_power_bits": 3156,
"minimum_u_bits": 3153,
"minimum_v_bits": 3151,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 378,
"q_exponent_advance": 162
},
{
"p_exponent": 3532,
"q_exponent": 1521,
"p_power_bits": 3533,
"q_power_bits": 3532,
"minimum_u_bits": 3529,
"minimum_v_bits": 3529,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 422,
"q_exponent_advance": 182
},
{
"p_exponent": 3954,
"q_exponent": 1703,
"p_power_bits": 3955,
"q_power_bits": 3955,
"minimum_u_bits": 3951,
"minimum_v_bits": 3951,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 473,
"q_exponent_advance": 204
},
{
"p_exponent": 4427,
"q_exponent": 1907,
"p_power_bits": 4428,
"q_power_bits": 4428,
"minimum_u_bits": 4425,
"minimum_v_bits": 4424,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 530,
"q_exponent_advance": 228
},
{
"p_exponent": 4957,
"q_exponent": 2135,
"p_power_bits": 4958,
"q_power_bits": 4958,
"minimum_u_bits": 4954,
"minimum_v_bits": 4954,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 594,
"q_exponent_advance": 256
},
{
"p_exponent": 5551,
"q_exponent": 2391,
"p_power_bits": 5552,
"q_power_bits": 5552,
"minimum_u_bits": 5549,
"minimum_v_bits": 5548,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 665,
"q_exponent_advance": 286
},
{
"p_exponent": 6216,
"q_exponent": 2677,
"p_power_bits": 6217,
"q_power_bits": 6216,
"minimum_u_bits": 6210,
"minimum_v_bits": 6210,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 743,
"q_exponent_advance": 320
},
{
"p_exponent": 6959,
"q_exponent": 2997,
"p_power_bits": 6960,
"q_power_bits": 6959,
"minimum_u_bits": 6956,
"minimum_v_bits": 6956,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 834,
"q_exponent_advance": 359
},
{
"p_exponent": 7793,
"q_exponent": 3356,
"p_power_bits": 7794,
"q_power_bits": 7793,
"minimum_u_bits": 7786,
"minimum_v_bits": 7787,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 932,
"q_exponent_advance": 402
},
{
"p_exponent": 8725,
"q_exponent": 3758,
"p_power_bits": 8726,
"q_power_bits": 8726,
"minimum_u_bits": 8722,
"minimum_v_bits": 8721,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1045,
"q_exponent_advance": 450
},
{
"p_exponent": 9770,
"q_exponent": 4208,
"p_power_bits": 9771,
"q_power_bits": 9771,
"minimum_u_bits": 9767,
"minimum_v_bits": 9766,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1171,
"q_exponent_advance": 504
},
{
"p_exponent": 10941,
"q_exponent": 4712,
"p_power_bits": 10942,
"q_power_bits": 10941,
"minimum_u_bits": 10938,
"minimum_v_bits": 10938,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1311,
"q_exponent_advance": 565
},
{
"p_exponent": 12252,
"q_exponent": 5277,
"p_power_bits": 12253,
"q_power_bits": 12253,
"minimum_u_bits": 12249,
"minimum_v_bits": 12249,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1469,
"q_exponent_advance": 633
},
{
"p_exponent": 13721,
"q_exponent": 5910,
"p_power_bits": 13722,
"q_power_bits": 13723,
"minimum_u_bits": 13718,
"minimum_v_bits": 13716,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1645,
"q_exponent_advance": 708
},
{
"p_exponent": 15366,
"q_exponent": 6618,
"p_power_bits": 15367,
"q_power_bits": 15367,
"minimum_u_bits": 15363,
"minimum_v_bits": 15362,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1842,
"q_exponent_advance": 794
},
{
"p_exponent": 17208,
"q_exponent": 7412,
"p_power_bits": 17209,
"q_power_bits": 17211,
"minimum_u_bits": 17207,
"minimum_v_bits": 17205,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2065,
"q_exponent_advance": 889
},
{
"p_exponent": 19273,
"q_exponent": 8301,
"p_power_bits": 19274,
"q_power_bits": 19275,
"minimum_u_bits": 19270,
"minimum_v_bits": 19269,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2312,
"q_exponent_advance": 995
},
{
"p_exponent": 21585,
"q_exponent": 9296,
"p_power_bits": 21586,
"q_power_bits": 21585,
"minimum_u_bits": 21582,
"minimum_v_bits": 21582,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2589,
"q_exponent_advance": 1115
},
{
"p_exponent": 24174,
"q_exponent": 10411,
"p_power_bits": 24175,
"q_power_bits": 24174,
"minimum_u_bits": 24165,
"minimum_v_bits": 24165,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2896,
"q_exponent_advance": 1248
},
{
"p_exponent": 27070,
"q_exponent": 11659,
"p_power_bits": 27071,
"q_power_bits": 27072,
"minimum_u_bits": 27067,
"minimum_v_bits": 27066,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3247,
"q_exponent_advance": 1398
},
{
"p_exponent": 30317,
"q_exponent": 13057,
"p_power_bits": 30318,
"q_power_bits": 30318,
"minimum_u_bits": 30314,
"minimum_v_bits": 30314,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3637,
"q_exponent_advance": 1566
},
{
"p_exponent": 33954,
"q_exponent": 14623,
"p_power_bits": 33955,
"q_power_bits": 33954,
"minimum_u_bits": 33950,
"minimum_v_bits": 33951,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4073,
"q_exponent_advance": 1754
},
{
"p_exponent": 38027,
"q_exponent": 16377,
"p_power_bits": 38028,
"q_power_bits": 38027,
"minimum_u_bits": 38023,
"minimum_v_bits": 38024,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4561,
"q_exponent_advance": 1965
},
{
"p_exponent": 42588,
"q_exponent": 18342,
"p_power_bits": 42589,
"q_power_bits": 42589,
"minimum_u_bits": 42586,
"minimum_v_bits": 42585,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5110,
"q_exponent_advance": 2201
},
{
"p_exponent": 47698,
"q_exponent": 20543,
"p_power_bits": 47699,
"q_power_bits": 47700,
"minimum_u_bits": 47693,
"minimum_v_bits": 47691,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5721,
"q_exponent_advance": 2464
},
{
"p_exponent": 53419,
"q_exponent": 23007,
"p_power_bits": 53420,
"q_power_bits": 53421,
"minimum_u_bits": 53416,
"minimum_v_bits": 53414,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6409,
"q_exponent_advance": 2760
},
{
"p_exponent": 59828,
"q_exponent": 25767,
"p_power_bits": 59829,
"q_power_bits": 59830,
"minimum_u_bits": 59823,
"minimum_v_bits": 59822,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7177,
"q_exponent_advance": 3091
},
{
"p_exponent": 67005,
"q_exponent": 28858,
"p_power_bits": 67006,
"q_power_bits": 67007,
"minimum_u_bits": 67001,
"minimum_v_bits": 66999,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8038,
"q_exponent_advance": 3462
},
{
"p_exponent": 75043,
"q_exponent": 32320,
"p_power_bits": 75044,
"q_power_bits": 75045,
"minimum_u_bits": 75040,
"minimum_v_bits": 75038,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 9004,
"q_exponent_advance": 3877
},
{
"p_exponent": 84047,
"q_exponent": 36197,
"p_power_bits": 84048,
"q_power_bits": 84047,
"minimum_u_bits": 84043,
"minimum_v_bits": 84043,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 10084,
"q_exponent_advance": 4343
},
{
"p_exponent": 94131,
"q_exponent": 40540,
"p_power_bits": 94132,
"q_power_bits": 94131,
"minimum_u_bits": 94121,
"minimum_v_bits": 94121,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 11291,
"q_exponent_advance": 4863
},
{
"p_exponent": 105422,
"q_exponent": 45403,
"p_power_bits": 105423,
"q_power_bits": 105423,
"minimum_u_bits": 105419,
"minimum_v_bits": 105419,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12649,
"q_exponent_advance": 5448
},
{
"p_exponent": 118071,
"q_exponent": 50851,
"p_power_bits": 118072,
"q_power_bits": 118073,
"minimum_u_bits": 118067,
"minimum_v_bits": 118065,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 14166,
"q_exponent_advance": 6101
},
{
"p_exponent": 132237,
"q_exponent": 56952,
"p_power_bits": 132238,
"q_power_bits": 132239,
"minimum_u_bits": 132234,
"minimum_v_bits": 132233,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 15867,
"q_exponent_advance": 6833
},
{
"p_exponent": 148104,
"q_exponent": 63785,
"p_power_bits": 148105,
"q_power_bits": 148105,
"minimum_u_bits": 148101,
"minimum_v_bits": 148101,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 17771,
"q_exponent_advance": 7654
},
{
"p_exponent": 165875,
"q_exponent": 71439,
"p_power_bits": 165876,
"q_power_bits": 165877,
"minimum_u_bits": 165874,
"minimum_v_bits": 165872,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 19904,
"q_exponent_advance": 8572
},
{
"p_exponent": 185779,
"q_exponent": 80011,
"p_power_bits": 185780,
"q_power_bits": 185780,
"minimum_u_bits": 185776,
"minimum_v_bits": 185775,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22292,
"q_exponent_advance": 9601
},
{
"p_exponent": 208071,
"q_exponent": 89612,
"p_power_bits": 208072,
"q_power_bits": 208073,
"minimum_u_bits": 208070,
"minimum_v_bits": 208068,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 24968,
"q_exponent_advance": 10753
},
{
"p_exponent": 233039,
"q_exponent": 100365,
"p_power_bits": 233040,
"q_power_bits": 233041,
"minimum_u_bits": 233036,
"minimum_v_bits": 233035,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 27963,
"q_exponent_advance": 12043
},
{
"p_exponent": 261002,
"q_exponent": 112408,
"p_power_bits": 261003,
"q_power_bits": 261004,
"minimum_u_bits": 261001,
"minimum_v_bits": 261000,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 31320,
"q_exponent_advance": 13488
},
{
"p_exponent": 292322,
"q_exponent": 125896,
"p_power_bits": 292323,
"q_power_bits": 292322,
"minimum_u_bits": 292316,
"minimum_v_bits": 292316,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 35075,
"q_exponent_advance": 15107
},
{
"p_exponent": 327397,
"q_exponent": 141003,
"p_power_bits": 327398,
"q_power_bits": 327399,
"minimum_u_bits": 327396,
"minimum_v_bits": 327394,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 39287,
"q_exponent_advance": 16920
},
{
"p_exponent": 366684,
"q_exponent": 157923,
"p_power_bits": 366685,
"q_power_bits": 366686,
"minimum_u_bits": 366683,
"minimum_v_bits": 366681,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 44002,
"q_exponent_advance": 18950
},
{
"p_exponent": 410686,
"q_exponent": 176873,
"p_power_bits": 410687,
"q_power_bits": 410687,
"minimum_u_bits": 410684,
"minimum_v_bits": 410684,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 49281,
"q_exponent_advance": 21224
},
{
"p_exponent": 459967,
"q_exponent": 198097,
"p_power_bits": 459968,
"q_power_bits": 459967,
"minimum_u_bits": 459963,
"minimum_v_bits": 459963,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 55194,
"q_exponent_advance": 23771
},
{
"p_exponent": 515161,
"q_exponent": 221868,
"p_power_bits": 515162,
"q_power_bits": 515162,
"minimum_u_bits": 515159,
"minimum_v_bits": 515158,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 61818,
"q_exponent_advance": 26624
},
{
"p_exponent": 576979,
"q_exponent": 248492,
"p_power_bits": 576980,
"q_power_bits": 576981,
"minimum_u_bits": 576976,
"minimum_v_bits": 576974,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 69236,
"q_exponent_advance": 29818
},
{
"p_exponent": 646215,
"q_exponent": 278310,
"p_power_bits": 646216,
"q_power_bits": 646216,
"minimum_u_bits": 646211,
"minimum_v_bits": 646210,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 77544,
"q_exponent_advance": 33396
},
{
"p_exponent": 723759,
"q_exponent": 311706,
"p_power_bits": 723760,
"q_power_bits": 723759,
"minimum_u_bits": 723755,
"minimum_v_bits": 723755,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 86849,
"q_exponent_advance": 37404
},
{
"p_exponent": 810608,
"q_exponent": 349110,
"p_power_bits": 810609,
"q_power_bits": 810609,
"minimum_u_bits": 810606,
"minimum_v_bits": 810605,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 97272,
"q_exponent_advance": 41893
},
{
"p_exponent": 907880,
"q_exponent": 391003,
"p_power_bits": 907881,
"q_power_bits": 907881,
"minimum_u_bits": 907876,
"minimum_v_bits": 907875,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 108944,
"q_exponent_advance": 46919
},
{
"p_exponent": 1016824,
"q_exponent": 437922,
"p_power_bits": 1016825,
"q_power_bits": 1016824,
"minimum_u_bits": 1016821,
"minimum_v_bits": 1016821,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 122017,
"q_exponent_advance": 52551
},
{
"p_exponent": 1138841,
"q_exponent": 490473,
"p_power_bits": 1138842,
"q_power_bits": 1138844,
"minimum_u_bits": 1138839,
"minimum_v_bits": 1138837,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 136660,
"q_exponent_advance": 58856
},
{
"p_exponent": 1275501,
"q_exponent": 549329,
"p_power_bits": 1275502,
"q_power_bits": 1275503,
"minimum_u_bits": 1275497,
"minimum_v_bits": 1275496,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 153058,
"q_exponent_advance": 65918
},
{
"p_exponent": 1428559,
"q_exponent": 615247,
"p_power_bits": 1428560,
"q_power_bits": 1428560,
"minimum_u_bits": 1428556,
"minimum_v_bits": 1428556,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 171426,
"q_exponent_advance": 73829
},
{
"p_exponent": 1599985,
"q_exponent": 689076,
"p_power_bits": 1599986,
"q_power_bits": 1599985,
"minimum_u_bits": 1599980,
"minimum_v_bits": 1599980,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 191996,
"q_exponent_advance": 82688
},
{
"p_exponent": 1791981,
"q_exponent": 771764,
"p_power_bits": 1791982,
"q_power_bits": 1791981,
"minimum_u_bits": 1791974,
"minimum_v_bits": 1791975,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 215034,
"q_exponent_advance": 92611
},
{
"p_exponent": 2007015,
"q_exponent": 864375,
"p_power_bits": 2007016,
"q_power_bits": 2007017,
"minimum_u_bits": 2007013,
"minimum_v_bits": 2007011,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 240841,
"q_exponent_advance": 103724
},
{
"p_exponent": 2247856,
"q_exponent": 968099,
"p_power_bits": 2247857,
"q_power_bits": 2247857,
"minimum_u_bits": 2247853,
"minimum_v_bits": 2247853,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 269741,
"q_exponent_advance": 116171
},
{
"p_exponent": 2517597,
"q_exponent": 1084270,
"p_power_bits": 2517598,
"q_power_bits": 2517597,
"minimum_u_bits": 2517594,
"minimum_v_bits": 2517594,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 302110,
"q_exponent_advance": 130112
},
{
"p_exponent": 2819707,
"q_exponent": 1214382,
"p_power_bits": 2819708,
"q_power_bits": 2819708,
"minimum_u_bits": 2819705,
"minimum_v_bits": 2819704,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 338364,
"q_exponent_advance": 145725
},
{
"p_exponent": 3158071,
"q_exponent": 1360107,
"p_power_bits": 3158072,
"q_power_bits": 3158071,
"minimum_u_bits": 3158065,
"minimum_v_bits": 3158066,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 378966,
"q_exponent_advance": 163212
},
{
"p_exponent": 3537037,
"q_exponent": 1523319,
"p_power_bits": 3537038,
"q_power_bits": 3537038,
"minimum_u_bits": 3537034,
"minimum_v_bits": 3537034,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 424443,
"q_exponent_advance": 182798
},
{
"p_exponent": 3961480,
"q_exponent": 1706117,
"p_power_bits": 3961481,
"q_power_bits": 3961481,
"minimum_u_bits": 3961475,
"minimum_v_bits": 3961474,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 475375,
"q_exponent_advance": 204733
},
{
"p_exponent": 4436855,
"q_exponent": 1910850,
"p_power_bits": 4436856,
"q_power_bits": 4436857,
"minimum_u_bits": 4436854,
"minimum_v_bits": 4436852,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 532422,
"q_exponent_advance": 229301
},
{
"p_exponent": 4969277,
"q_exponent": 2140151,
"p_power_bits": 4969278,
"q_power_bits": 4969277,
"minimum_u_bits": 4969273,
"minimum_v_bits": 4969273,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 596311,
"q_exponent_advance": 256818
},
{
"p_exponent": 5565588,
"q_exponent": 2396969,
"p_power_bits": 5565589,
"q_power_bits": 5565590,
"minimum_u_bits": 5565585,
"minimum_v_bits": 5565583,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 667869,
"q_exponent_advance": 287635
},
{
"p_exponent": 6233457,
"q_exponent": 2684604,
"p_power_bits": 6233458,
"q_power_bits": 6233458,
"minimum_u_bits": 6233454,
"minimum_v_bits": 6233454,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 748014,
"q_exponent_advance": 322152
},
{
"p_exponent": 6981471,
"q_exponent": 3006756,
"p_power_bits": 6981472,
"q_power_bits": 6981472,
"minimum_u_bits": 6981469,
"minimum_v_bits": 6981468,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 837775,
"q_exponent_advance": 360810
},
{
"p_exponent": 7819246,
"q_exponent": 3367566,
"p_power_bits": 7819247,
"q_power_bits": 7819247,
"minimum_u_bits": 7819240,
"minimum_v_bits": 7819239,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 938306,
"q_exponent_advance": 404107
},
{
"p_exponent": 8757552,
"q_exponent": 3771673,
"p_power_bits": 8757553,
"q_power_bits": 8757554,
"minimum_u_bits": 8757551,
"minimum_v_bits": 8757550,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1050906,
"q_exponent_advance": 452600
},
{
"p_exponent": 9808458,
"q_exponent": 4224273,
"p_power_bits": 9808459,
"q_power_bits": 9808459,
"minimum_u_bits": 9808449,
"minimum_v_bits": 9808449,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1177010,
"q_exponent_advance": 506911
},
{
"p_exponent": 10985468,
"q_exponent": 4731184,
"p_power_bits": 10985469,
"q_power_bits": 10985470,
"minimum_u_bits": 10985467,
"minimum_v_bits": 10985466,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1318256,
"q_exponent_advance": 567742
},
{
"p_exponent": 12303724,
"q_exponent": 5298926,
"p_power_bits": 12303725,
"q_power_bits": 12303726,
"minimum_u_bits": 12303722,
"minimum_v_bits": 12303721,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1476446,
"q_exponent_advance": 635870
},
{
"p_exponent": 13780170,
"q_exponent": 5934796,
"p_power_bits": 13780171,
"q_power_bits": 13780170,
"minimum_u_bits": 13780160,
"minimum_v_bits": 13780160,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1653615,
"q_exponent_advance": 712174
},
{
"p_exponent": 15433785,
"q_exponent": 6646970,
"p_power_bits": 15433786,
"q_power_bits": 15433787,
"minimum_u_bits": 15433780,
"minimum_v_bits": 15433779,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1852052,
"q_exponent_advance": 797635
},
{
"p_exponent": 17285837,
"q_exponent": 7444605,
"p_power_bits": 17285838,
"q_power_bits": 17285838,
"minimum_u_bits": 17285833,
"minimum_v_bits": 17285833,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2074299,
"q_exponent_advance": 893352
},
{
"p_exponent": 19360136,
"q_exponent": 8337957,
"p_power_bits": 19360137,
"q_power_bits": 19360137,
"minimum_u_bits": 19360133,
"minimum_v_bits": 19360133,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2323215,
"q_exponent_advance": 1000554
},
{
"p_exponent": 21683351,
"q_exponent": 9338511,
"p_power_bits": 21683352,
"q_power_bits": 21683352,
"minimum_u_bits": 21683339,
"minimum_v_bits": 21683339,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2601995,
"q_exponent_advance": 1120619
},
{
"p_exponent": 24285346,
"q_exponent": 10459130,
"p_power_bits": 24285347,
"q_power_bits": 24285348,
"minimum_u_bits": 24285345,
"minimum_v_bits": 24285343,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2914241,
"q_exponent_advance": 1255095
},
{
"p_exponent": 27199587,
"q_exponent": 11714225,
"p_power_bits": 27199588,
"q_power_bits": 27199589,
"minimum_u_bits": 27199585,
"minimum_v_bits": 27199584,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3263950,
"q_exponent_advance": 1405706
},
{
"p_exponent": 30463537,
"q_exponent": 13119931,
"p_power_bits": 30463538,
"q_power_bits": 30463537,
"minimum_u_bits": 30463534,
"minimum_v_bits": 30463535,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3655623,
"q_exponent_advance": 1574392
},
{
"p_exponent": 34119160,
"q_exponent": 14694323,
"p_power_bits": 34119161,
"q_power_bits": 34119162,
"minimum_u_bits": 34119157,
"minimum_v_bits": 34119156,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4094298,
"q_exponent_advance": 1763318
},
{
"p_exponent": 38213458,
"q_exponent": 16457641,
"p_power_bits": 38213459,
"q_power_bits": 38213460,
"minimum_u_bits": 38213454,
"minimum_v_bits": 38213453,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4585613,
"q_exponent_advance": 1974916
},
{
"p_exponent": 42799071,
"q_exponent": 18432557,
"p_power_bits": 42799072,
"q_power_bits": 42799072,
"minimum_u_bits": 42799069,
"minimum_v_bits": 42799068,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5135888,
"q_exponent_advance": 2211906
},
{
"p_exponent": 47934959,
"q_exponent": 20644463,
"p_power_bits": 47934960,
"q_power_bits": 47934959,
"minimum_u_bits": 47934956,
"minimum_v_bits": 47934956,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5752193,
"q_exponent_advance": 2477335
},
{
"p_exponent": 53687152,
"q_exponent": 23121798,
"p_power_bits": 53687153,
"q_power_bits": 53687153,
"minimum_u_bits": 53687149,
"minimum_v_bits": 53687149,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6442457,
"q_exponent_advance": 2774615
},
{
"p_exponent": 60129609,
"q_exponent": 25896413,
"p_power_bits": 60129610,
"q_power_bits": 60129609,
"minimum_u_bits": 60129607,
"minimum_v_bits": 60129607,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7215552,
"q_exponent_advance": 3107569
},
{
"p_exponent": 67345161,
"q_exponent": 29003982,
"p_power_bits": 67345162,
"q_power_bits": 67345161,
"minimum_u_bits": 67345157,
"minimum_v_bits": 67345158,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8081417,
"q_exponent_advance": 3480477
},
{
"p_exponent": 75426578,
"q_exponent": 32484459,
"p_power_bits": 75426579,
"q_power_bits": 75426578,
"minimum_u_bits": 75426573,
"minimum_v_bits": 75426573,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 9051187,
"q_exponent_advance": 3898134
},
{
"p_exponent": 84477765,
"q_exponent": 36382593,
"p_power_bits": 84477766,
"q_power_bits": 84477765,
"minimum_u_bits": 84477762,
"minimum_v_bits": 84477762,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 10137330,
"q_exponent_advance": 4365911
},
{
"p_exponent": 94615095,
"q_exponent": 40748504,
"p_power_bits": 94615096,
"q_power_bits": 94615097,
"minimum_u_bits": 94615093,
"minimum_v_bits": 94615091,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 11353810,
"q_exponent_advance": 4889820
},
{
"p_exponent": 105968905,
"q_exponent": 45638324,
"p_power_bits": 105968906,
"q_power_bits": 105968907,
"minimum_u_bits": 105968902,
"minimum_v_bits": 105968901,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12716267,
"q_exponent_advance": 5476598
},
{
"p_exponent": 118685172,
"q_exponent": 51114922,
"p_power_bits": 118685173,
"q_power_bits": 118685174,
"minimum_u_bits": 118685165,
"minimum_v_bits": 118685164,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 14242217,
"q_exponent_advance": 6133789
},
{
"p_exponent": 132927389,
"q_exponent": 57248711,
"p_power_bits": 132927390,
"q_power_bits": 132927391,
"minimum_u_bits": 132927387,
"minimum_v_bits": 132927385,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 15951286,
"q_exponent_advance": 6869844
},
{
"p_exponent": 148878675,
"q_exponent": 64118555,
"p_power_bits": 148878676,
"q_power_bits": 148878675,
"minimum_u_bits": 148878672,
"minimum_v_bits": 148878672,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 17865439,
"q_exponent_advance": 7694226
},
{
"p_exponent": 166744114,
"q_exponent": 71812781,
"p_power_bits": 166744115,
"q_power_bits": 166744114,
"minimum_u_bits": 166744111,
"minimum_v_bits": 166744111,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 20009292,
"q_exponent_advance": 8617533
},
{
"p_exponent": 186753406,
"q_exponent": 80430314,
"p_power_bits": 186753407,
"q_power_bits": 186753406,
"minimum_u_bits": 186753400,
"minimum_v_bits": 186753401,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22410406,
"q_exponent_advance": 9651637
},
{
"p_exponent": 209163812,
"q_exponent": 90081951,
"p_power_bits": 209163813,
"q_power_bits": 209163813,
"minimum_u_bits": 209163807,
"minimum_v_bits": 209163806,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 25099655,
"q_exponent_advance": 10809833
},
{
"p_exponent": 234263467,
"q_exponent": 100891784,
"p_power_bits": 234263468,
"q_power_bits": 234263468,
"minimum_u_bits": 234263464,
"minimum_v_bits": 234263463,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 28111615,
"q_exponent_advance": 12107013
},
{
"p_exponent": 262375082,
"q_exponent": 112998797,
"p_power_bits": 262375083,
"q_power_bits": 262375082,
"minimum_u_bits": 262375078,
"minimum_v_bits": 262375079,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 31485008,
"q_exponent_advance": 13559855
},
{
"p_exponent": 293860090,
"q_exponent": 126558652,
"p_power_bits": 293860091,
"q_power_bits": 293860090,
"minimum_u_bits": 293860084,
"minimum_v_bits": 293860085,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 35263208,
"q_exponent_advance": 15187037
},
{
"p_exponent": 329123298,
"q_exponent": 141745689,
"p_power_bits": 329123299,
"q_power_bits": 329123298,
"minimum_u_bits": 329123292,
"minimum_v_bits": 329123292,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 39494793,
"q_exponent_advance": 17009482
}
],
"conclusion": "max(u,v)^25 >= min(p^a*u,q^b*v)^11 throughout the stated height range",
"continuation": {
"source_file": "erdos_699_prime_pair_strips_7_global.json",
"previous_height_cap_power_of_ten": 44245906,
"retained_anchor_count": 163,
"new_anchor_count": 8,
"all_retained_boundaries_certified_untruncated": true
}
},
{
"pair": [
3,
5
],
"height_cap_power_of_ten": 100000001,
"maximum_difference": 6,
"cofactor_exponent_numerator": 11,
"cofactor_exponent_denominator": 25,
"height_threshold": 139234173583984372,
"backend": "gmpy2",
"arithmetic": "Exact extended gcd; directed leading-bit logarithm bounds for power comparisons.",
"initial_exponents": [
2,
2
],
"maximum_exponents": [
209590329,
143067657
],
"final_exponents": [
233019820,
159060773
],
"anchor_count": 165,
"exact_boundary_pairs": 80,
"boundary_pairs_sha256": "6095e370b0a1ed272cca826d4a0cd3e6d599a552886a64a56b5cb35a99e5477c",
"exception_count": 38,
"exceptions": [
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": -5,
"p_cofactor": 5,
"q_cofactor": 2,
"smaller_height": 45,
"larger_height": 50
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 2,
"p_cofactor": 3,
"q_cofactor": 1,
"smaller_height": 25,
"larger_height": 27
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -5,
"p_cofactor": 10,
"q_cofactor": 11,
"smaller_height": 270,
"larger_height": 275
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -3,
"p_cofactor": 11,
"q_cofactor": 12,
"smaller_height": 297,
"larger_height": 300
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 2,
"p_cofactor": 1,
"q_cofactor": 1,
"smaller_height": 25,
"larger_height": 27
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 4,
"p_cofactor": 2,
"q_cofactor": 2,
"smaller_height": 50,
"larger_height": 54
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 3,
"q_cofactor": 3,
"smaller_height": 75,
"larger_height": 81
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 1,
"q_cofactor": 3,
"smaller_height": 75,
"larger_height": 81
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -5,
"p_cofactor": 20,
"q_cofactor": 13,
"smaller_height": 1620,
"larger_height": 1625
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": 2,
"p_cofactor": 17,
"q_cofactor": 11,
"smaller_height": 1375,
"larger_height": 1377
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -1,
"p_cofactor": 18,
"q_cofactor": 35,
"smaller_height": 4374,
"larger_height": 4375
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": 6,
"p_cofactor": 17,
"q_cofactor": 33,
"smaller_height": 4125,
"larger_height": 4131
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -4,
"p_cofactor": 72,
"q_cofactor": 28,
"smaller_height": 17496,
"larger_height": 17500
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -3,
"p_cofactor": 54,
"q_cofactor": 21,
"smaller_height": 13122,
"larger_height": 13125
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -2,
"p_cofactor": 36,
"q_cofactor": 14,
"smaller_height": 8748,
"larger_height": 8750
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -1,
"p_cofactor": 18,
"q_cofactor": 7,
"smaller_height": 4374,
"larger_height": 4375
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": -1,
"p_cofactor": 6,
"q_cofactor": 35,
"smaller_height": 4374,
"larger_height": 4375
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -6,
"p_cofactor": 36,
"q_cofactor": 42,
"smaller_height": 26244,
"larger_height": 26250
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -5,
"p_cofactor": 30,
"q_cofactor": 35,
"smaller_height": 21870,
"larger_height": 21875
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -4,
"p_cofactor": 24,
"q_cofactor": 28,
"smaller_height": 17496,
"larger_height": 17500
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -3,
"p_cofactor": 18,
"q_cofactor": 21,
"smaller_height": 13122,
"larger_height": 13125
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -2,
"p_cofactor": 12,
"q_cofactor": 14,
"smaller_height": 8748,
"larger_height": 8750
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -1,
"p_cofactor": 6,
"q_cofactor": 7,
"smaller_height": 4374,
"larger_height": 4375
},
{
"p_exponent": 6,
"q_exponent": 5,
"signed_difference": -5,
"p_cofactor": 30,
"q_cofactor": 7,
"smaller_height": 21870,
"larger_height": 21875
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": -1,
"p_cofactor": 2,
"q_cofactor": 35,
"smaller_height": 4374,
"larger_height": 4375
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -6,
"p_cofactor": 12,
"q_cofactor": 42,
"smaller_height": 26244,
"larger_height": 26250
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -5,
"p_cofactor": 10,
"q_cofactor": 35,
"smaller_height": 21870,
"larger_height": 21875
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -4,
"p_cofactor": 8,
"q_cofactor": 28,
"smaller_height": 17496,
"larger_height": 17500
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -3,
"p_cofactor": 6,
"q_cofactor": 21,
"smaller_height": 13122,
"larger_height": 13125
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -2,
"p_cofactor": 4,
"q_cofactor": 14,
"smaller_height": 8748,
"larger_height": 8750
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -1,
"p_cofactor": 2,
"q_cofactor": 7,
"smaller_height": 4374,
"larger_height": 4375
},
{
"p_exponent": 7,
"q_exponent": 5,
"signed_difference": -5,
"p_cofactor": 10,
"q_cofactor": 7,
"smaller_height": 21870,
"larger_height": 21875
},
{
"p_exponent": 8,
"q_exponent": 4,
"signed_difference": -6,
"p_cofactor": 4,
"q_cofactor": 42,
"smaller_height": 26244,
"larger_height": 26250
},
{
"p_exponent": 8,
"q_exponent": 4,
"signed_difference": -3,
"p_cofactor": 2,
"q_cofactor": 21,
"smaller_height": 13122,
"larger_height": 13125
},
{
"p_exponent": 8,
"q_exponent": 5,
"signed_difference": -4,
"p_cofactor": 211,
"q_cofactor": 443,
"smaller_height": 1384371,
"larger_height": 1384375
},
{
"p_exponent": 9,
"q_exponent": 6,
"signed_difference": -5,
"p_cofactor": 1390,
"q_cofactor": 1751,
"smaller_height": 27359370,
"larger_height": 27359375
},
{
"p_exponent": 12,
"q_exponent": 8,
"signed_difference": 5,
"p_cofactor": 12680,
"q_cofactor": 17251,
"smaller_height": 6738671875,
"larger_height": 6738671880
},
{
"p_exponent": 21,
"q_exponent": 14,
"signed_difference": -4,
"p_cofactor": 13310657,
"q_cofactor": 22812127,
"smaller_height": 139234173583984371,
"larger_height": 139234173583984375
}
],
"anchors": [
{
"p_exponent": 2,
"q_exponent": 2,
"p_power_bits": 4,
"q_power_bits": 5,
"minimum_u_bits": 2,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 4,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 3,
"q_exponent": 3,
"p_power_bits": 5,
"q_power_bits": 7,
"minimum_u_bits": 4,
"minimum_v_bits": 2,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 4,
"q_exponent": 3,
"p_power_bits": 7,
"q_power_bits": 7,
"minimum_u_bits": 5,
"minimum_v_bits": 4,
"method": "exact boundary lines",
"boundary_pairs": 5,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 5,
"q_exponent": 4,
"p_power_bits": 8,
"q_power_bits": 10,
"minimum_u_bits": 5,
"minimum_v_bits": 3,
"method": "exact boundary lines",
"boundary_pairs": 8,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 6,
"q_exponent": 5,
"p_power_bits": 10,
"q_power_bits": 12,
"minimum_u_bits": 5,
"minimum_v_bits": 3,
"method": "exact boundary lines",
"boundary_pairs": 10,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 7,
"q_exponent": 6,
"p_power_bits": 12,
"q_power_bits": 14,
"minimum_u_bits": 11,
"minimum_v_bits": 9,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 8,
"q_exponent": 6,
"p_power_bits": 13,
"q_power_bits": 14,
"minimum_u_bits": 11,
"minimum_v_bits": 10,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 9,
"q_exponent": 6,
"p_power_bits": 15,
"q_power_bits": 14,
"minimum_u_bits": 11,
"minimum_v_bits": 11,
"method": "exact boundary lines",
"boundary_pairs": 11,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 10,
"q_exponent": 7,
"p_power_bits": 16,
"q_power_bits": 17,
"minimum_u_bits": 14,
"minimum_v_bits": 13,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 11,
"q_exponent": 8,
"p_power_bits": 18,
"q_power_bits": 19,
"minimum_u_bits": 16,
"minimum_v_bits": 15,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 12,
"q_exponent": 8,
"p_power_bits": 20,
"q_power_bits": 19,
"minimum_u_bits": 14,
"minimum_v_bits": 15,
"method": "exact boundary lines",
"boundary_pairs": 15,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 13,
"q_exponent": 9,
"p_power_bits": 21,
"q_power_bits": 21,
"minimum_u_bits": 18,
"minimum_v_bits": 18,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 14,
"q_exponent": 10,
"p_power_bits": 23,
"q_power_bits": 24,
"minimum_u_bits": 19,
"minimum_v_bits": 18,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 15,
"q_exponent": 10,
"p_power_bits": 24,
"q_power_bits": 24,
"minimum_u_bits": 19,
"minimum_v_bits": 20,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 16,
"q_exponent": 11,
"p_power_bits": 26,
"q_power_bits": 26,
"minimum_u_bits": 22,
"minimum_v_bits": 22,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 17,
"q_exponent": 12,
"p_power_bits": 27,
"q_power_bits": 28,
"minimum_u_bits": 25,
"minimum_v_bits": 24,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 19,
"q_exponent": 13,
"p_power_bits": 31,
"q_power_bits": 31,
"minimum_u_bits": 27,
"minimum_v_bits": 27,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 21,
"q_exponent": 14,
"p_power_bits": 34,
"q_power_bits": 33,
"minimum_u_bits": 24,
"minimum_v_bits": 25,
"method": "exact boundary lines",
"boundary_pairs": 27,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 22,
"q_exponent": 15,
"p_power_bits": 35,
"q_power_bits": 35,
"minimum_u_bits": 30,
"minimum_v_bits": 30,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 23,
"q_exponent": 16,
"p_power_bits": 37,
"q_power_bits": 38,
"minimum_u_bits": 35,
"minimum_v_bits": 34,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 25,
"q_exponent": 18,
"p_power_bits": 40,
"q_power_bits": 42,
"minimum_u_bits": 37,
"minimum_v_bits": 35,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 27,
"q_exponent": 19,
"p_power_bits": 43,
"q_power_bits": 45,
"minimum_u_bits": 40,
"minimum_v_bits": 38,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 29,
"q_exponent": 20,
"p_power_bits": 46,
"q_power_bits": 47,
"minimum_u_bits": 44,
"minimum_v_bits": 44,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 32,
"q_exponent": 22,
"p_power_bits": 51,
"q_power_bits": 52,
"minimum_u_bits": 48,
"minimum_v_bits": 48,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 35,
"q_exponent": 24,
"p_power_bits": 56,
"q_power_bits": 56,
"minimum_u_bits": 53,
"minimum_v_bits": 52,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4,
"q_exponent_advance": 2
},
{
"p_exponent": 39,
"q_exponent": 26,
"p_power_bits": 62,
"q_power_bits": 61,
"minimum_u_bits": 57,
"minimum_v_bits": 58,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 3
},
{
"p_exponent": 42,
"q_exponent": 29,
"p_power_bits": 67,
"q_power_bits": 68,
"minimum_u_bits": 62,
"minimum_v_bits": 61,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4,
"q_exponent_advance": 2
},
{
"p_exponent": 46,
"q_exponent": 31,
"p_power_bits": 73,
"q_power_bits": 72,
"minimum_u_bits": 66,
"minimum_v_bits": 67,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3,
"q_exponent_advance": 3
},
{
"p_exponent": 49,
"q_exponent": 34,
"p_power_bits": 78,
"q_power_bits": 79,
"minimum_u_bits": 75,
"minimum_v_bits": 73,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5,
"q_exponent_advance": 3
},
{
"p_exponent": 54,
"q_exponent": 37,
"p_power_bits": 86,
"q_power_bits": 86,
"minimum_u_bits": 83,
"minimum_v_bits": 82,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6,
"q_exponent_advance": 4
},
{
"p_exponent": 60,
"q_exponent": 41,
"p_power_bits": 96,
"q_power_bits": 96,
"minimum_u_bits": 92,
"minimum_v_bits": 92,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6,
"q_exponent_advance": 4
},
{
"p_exponent": 66,
"q_exponent": 45,
"p_power_bits": 105,
"q_power_bits": 105,
"minimum_u_bits": 102,
"minimum_v_bits": 102,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7,
"q_exponent_advance": 5
},
{
"p_exponent": 73,
"q_exponent": 50,
"p_power_bits": 116,
"q_power_bits": 117,
"minimum_u_bits": 113,
"minimum_v_bits": 113,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8,
"q_exponent_advance": 6
},
{
"p_exponent": 81,
"q_exponent": 56,
"p_power_bits": 129,
"q_power_bits": 131,
"minimum_u_bits": 127,
"minimum_v_bits": 125,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 9,
"q_exponent_advance": 6
},
{
"p_exponent": 90,
"q_exponent": 62,
"p_power_bits": 143,
"q_power_bits": 144,
"minimum_u_bits": 141,
"minimum_v_bits": 140,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 11,
"q_exponent_advance": 7
},
{
"p_exponent": 101,
"q_exponent": 69,
"p_power_bits": 161,
"q_power_bits": 161,
"minimum_u_bits": 158,
"minimum_v_bits": 157,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12,
"q_exponent_advance": 8
},
{
"p_exponent": 113,
"q_exponent": 77,
"p_power_bits": 180,
"q_power_bits": 179,
"minimum_u_bits": 170,
"minimum_v_bits": 170,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 11,
"q_exponent_advance": 8
},
{
"p_exponent": 124,
"q_exponent": 85,
"p_power_bits": 197,
"q_power_bits": 198,
"minimum_u_bits": 194,
"minimum_v_bits": 194,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 14,
"q_exponent_advance": 10
},
{
"p_exponent": 138,
"q_exponent": 95,
"p_power_bits": 219,
"q_power_bits": 221,
"minimum_u_bits": 217,
"minimum_v_bits": 216,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 16,
"q_exponent_advance": 11
},
{
"p_exponent": 154,
"q_exponent": 106,
"p_power_bits": 245,
"q_power_bits": 247,
"minimum_u_bits": 243,
"minimum_v_bits": 241,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 18,
"q_exponent_advance": 12
},
{
"p_exponent": 172,
"q_exponent": 118,
"p_power_bits": 273,
"q_power_bits": 274,
"minimum_u_bits": 271,
"minimum_v_bits": 270,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 20,
"q_exponent_advance": 13
},
{
"p_exponent": 192,
"q_exponent": 131,
"p_power_bits": 305,
"q_power_bits": 305,
"minimum_u_bits": 300,
"minimum_v_bits": 301,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22,
"q_exponent_advance": 15
},
{
"p_exponent": 214,
"q_exponent": 146,
"p_power_bits": 340,
"q_power_bits": 340,
"minimum_u_bits": 336,
"minimum_v_bits": 336,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 25,
"q_exponent_advance": 17
},
{
"p_exponent": 239,
"q_exponent": 163,
"p_power_bits": 379,
"q_power_bits": 379,
"minimum_u_bits": 375,
"minimum_v_bits": 376,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 28,
"q_exponent_advance": 19
},
{
"p_exponent": 267,
"q_exponent": 182,
"p_power_bits": 424,
"q_power_bits": 423,
"minimum_u_bits": 414,
"minimum_v_bits": 415,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 29,
"q_exponent_advance": 20
},
{
"p_exponent": 296,
"q_exponent": 202,
"p_power_bits": 470,
"q_power_bits": 470,
"minimum_u_bits": 467,
"minimum_v_bits": 467,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 35,
"q_exponent_advance": 24
},
{
"p_exponent": 331,
"q_exponent": 226,
"p_power_bits": 525,
"q_power_bits": 525,
"minimum_u_bits": 522,
"minimum_v_bits": 522,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 39,
"q_exponent_advance": 27
},
{
"p_exponent": 370,
"q_exponent": 253,
"p_power_bits": 587,
"q_power_bits": 588,
"minimum_u_bits": 583,
"minimum_v_bits": 582,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 44,
"q_exponent_advance": 29
},
{
"p_exponent": 414,
"q_exponent": 282,
"p_power_bits": 657,
"q_power_bits": 655,
"minimum_u_bits": 651,
"minimum_v_bits": 653,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 48,
"q_exponent_advance": 34
},
{
"p_exponent": 462,
"q_exponent": 316,
"p_power_bits": 733,
"q_power_bits": 734,
"minimum_u_bits": 731,
"minimum_v_bits": 730,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 55,
"q_exponent_advance": 37
},
{
"p_exponent": 517,
"q_exponent": 353,
"p_power_bits": 820,
"q_power_bits": 820,
"minimum_u_bits": 815,
"minimum_v_bits": 815,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 61,
"q_exponent_advance": 42
},
{
"p_exponent": 578,
"q_exponent": 395,
"p_power_bits": 917,
"q_power_bits": 918,
"minimum_u_bits": 912,
"minimum_v_bits": 911,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 68,
"q_exponent_advance": 46
},
{
"p_exponent": 646,
"q_exponent": 441,
"p_power_bits": 1024,
"q_power_bits": 1024,
"minimum_u_bits": 1021,
"minimum_v_bits": 1021,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 77,
"q_exponent_advance": 53
},
{
"p_exponent": 723,
"q_exponent": 494,
"p_power_bits": 1146,
"q_power_bits": 1148,
"minimum_u_bits": 1144,
"minimum_v_bits": 1143,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 86,
"q_exponent_advance": 59
},
{
"p_exponent": 809,
"q_exponent": 553,
"p_power_bits": 1283,
"q_power_bits": 1285,
"minimum_u_bits": 1281,
"minimum_v_bits": 1279,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 97,
"q_exponent_advance": 65
},
{
"p_exponent": 906,
"q_exponent": 618,
"p_power_bits": 1436,
"q_power_bits": 1435,
"minimum_u_bits": 1430,
"minimum_v_bits": 1431,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 107,
"q_exponent_advance": 74
},
{
"p_exponent": 1013,
"q_exponent": 692,
"p_power_bits": 1606,
"q_power_bits": 1607,
"minimum_u_bits": 1604,
"minimum_v_bits": 1602,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 121,
"q_exponent_advance": 82
},
{
"p_exponent": 1134,
"q_exponent": 774,
"p_power_bits": 1798,
"q_power_bits": 1798,
"minimum_u_bits": 1794,
"minimum_v_bits": 1794,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 135,
"q_exponent_advance": 92
},
{
"p_exponent": 1269,
"q_exponent": 866,
"p_power_bits": 2012,
"q_power_bits": 2011,
"minimum_u_bits": 2008,
"minimum_v_bits": 2008,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 151,
"q_exponent_advance": 104
},
{
"p_exponent": 1420,
"q_exponent": 970,
"p_power_bits": 2251,
"q_power_bits": 2253,
"minimum_u_bits": 2247,
"minimum_v_bits": 2246,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 170,
"q_exponent_advance": 115
},
{
"p_exponent": 1590,
"q_exponent": 1085,
"p_power_bits": 2521,
"q_power_bits": 2520,
"minimum_u_bits": 2514,
"minimum_v_bits": 2515,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 189,
"q_exponent_advance": 130
},
{
"p_exponent": 1779,
"q_exponent": 1215,
"p_power_bits": 2820,
"q_power_bits": 2822,
"minimum_u_bits": 2818,
"minimum_v_bits": 2816,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 213,
"q_exponent_advance": 145
},
{
"p_exponent": 1992,
"q_exponent": 1360,
"p_power_bits": 3158,
"q_power_bits": 3158,
"minimum_u_bits": 3154,
"minimum_v_bits": 3154,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 238,
"q_exponent_advance": 163
},
{
"p_exponent": 2230,
"q_exponent": 1523,
"p_power_bits": 3535,
"q_power_bits": 3537,
"minimum_u_bits": 3533,
"minimum_v_bits": 3531,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 267,
"q_exponent_advance": 182
},
{
"p_exponent": 2497,
"q_exponent": 1705,
"p_power_bits": 3958,
"q_power_bits": 3959,
"minimum_u_bits": 3955,
"minimum_v_bits": 3954,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 299,
"q_exponent_advance": 204
},
{
"p_exponent": 2796,
"q_exponent": 1909,
"p_power_bits": 4432,
"q_power_bits": 4433,
"minimum_u_bits": 4430,
"minimum_v_bits": 4429,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 335,
"q_exponent_advance": 229
},
{
"p_exponent": 3131,
"q_exponent": 2138,
"p_power_bits": 4963,
"q_power_bits": 4965,
"minimum_u_bits": 4961,
"minimum_v_bits": 4959,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 375,
"q_exponent_advance": 256
},
{
"p_exponent": 3506,
"q_exponent": 2394,
"p_power_bits": 5557,
"q_power_bits": 5559,
"minimum_u_bits": 5556,
"minimum_v_bits": 5554,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 421,
"q_exponent_advance": 287
},
{
"p_exponent": 3927,
"q_exponent": 2681,
"p_power_bits": 6225,
"q_power_bits": 6226,
"minimum_u_bits": 6223,
"minimum_v_bits": 6222,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 471,
"q_exponent_advance": 321
},
{
"p_exponent": 4398,
"q_exponent": 3002,
"p_power_bits": 6971,
"q_power_bits": 6971,
"minimum_u_bits": 6967,
"minimum_v_bits": 6967,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 527,
"q_exponent_advance": 360
},
{
"p_exponent": 4925,
"q_exponent": 3362,
"p_power_bits": 7806,
"q_power_bits": 7807,
"minimum_u_bits": 7803,
"minimum_v_bits": 7803,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 590,
"q_exponent_advance": 403
},
{
"p_exponent": 5515,
"q_exponent": 3765,
"p_power_bits": 8742,
"q_power_bits": 8743,
"minimum_u_bits": 8739,
"minimum_v_bits": 8738,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 662,
"q_exponent_advance": 451
},
{
"p_exponent": 6177,
"q_exponent": 4216,
"p_power_bits": 9791,
"q_power_bits": 9790,
"minimum_u_bits": 9786,
"minimum_v_bits": 9787,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 740,
"q_exponent_advance": 506
},
{
"p_exponent": 6917,
"q_exponent": 4722,
"p_power_bits": 10964,
"q_power_bits": 10965,
"minimum_u_bits": 10959,
"minimum_v_bits": 10958,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 829,
"q_exponent_advance": 566
},
{
"p_exponent": 7746,
"q_exponent": 5288,
"p_power_bits": 12278,
"q_power_bits": 12279,
"minimum_u_bits": 12272,
"minimum_v_bits": 12271,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 928,
"q_exponent_advance": 633
},
{
"p_exponent": 8674,
"q_exponent": 5921,
"p_power_bits": 13748,
"q_power_bits": 13749,
"minimum_u_bits": 13743,
"minimum_v_bits": 13742,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1039,
"q_exponent_advance": 710
},
{
"p_exponent": 9713,
"q_exponent": 6631,
"p_power_bits": 15395,
"q_power_bits": 15397,
"minimum_u_bits": 15393,
"minimum_v_bits": 15391,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1165,
"q_exponent_advance": 795
},
{
"p_exponent": 10878,
"q_exponent": 7426,
"p_power_bits": 17242,
"q_power_bits": 17243,
"minimum_u_bits": 17239,
"minimum_v_bits": 17238,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1305,
"q_exponent_advance": 890
},
{
"p_exponent": 12183,
"q_exponent": 8316,
"p_power_bits": 19310,
"q_power_bits": 19310,
"minimum_u_bits": 19305,
"minimum_v_bits": 19305,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1461,
"q_exponent_advance": 997
},
{
"p_exponent": 13644,
"q_exponent": 9313,
"p_power_bits": 21626,
"q_power_bits": 21625,
"minimum_u_bits": 21619,
"minimum_v_bits": 21620,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1635,
"q_exponent_advance": 1117
},
{
"p_exponent": 15279,
"q_exponent": 10430,
"p_power_bits": 24217,
"q_power_bits": 24218,
"minimum_u_bits": 24215,
"minimum_v_bits": 24214,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1833,
"q_exponent_advance": 1251
},
{
"p_exponent": 17112,
"q_exponent": 11681,
"p_power_bits": 27122,
"q_power_bits": 27123,
"minimum_u_bits": 27120,
"minimum_v_bits": 27119,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2053,
"q_exponent_advance": 1401
},
{
"p_exponent": 19165,
"q_exponent": 13082,
"p_power_bits": 30376,
"q_power_bits": 30376,
"minimum_u_bits": 30372,
"minimum_v_bits": 30372,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2299,
"q_exponent_advance": 1569
},
{
"p_exponent": 21464,
"q_exponent": 14651,
"p_power_bits": 34020,
"q_power_bits": 34019,
"minimum_u_bits": 34015,
"minimum_v_bits": 34016,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2574,
"q_exponent_advance": 1758
},
{
"p_exponent": 24038,
"q_exponent": 16409,
"p_power_bits": 38100,
"q_power_bits": 38101,
"minimum_u_bits": 38094,
"minimum_v_bits": 38093,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2883,
"q_exponent_advance": 1968
},
{
"p_exponent": 26921,
"q_exponent": 18377,
"p_power_bits": 42669,
"q_power_bits": 42671,
"minimum_u_bits": 42666,
"minimum_v_bits": 42664,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3230,
"q_exponent_advance": 2204
},
{
"p_exponent": 30151,
"q_exponent": 20581,
"p_power_bits": 47789,
"q_power_bits": 47788,
"minimum_u_bits": 47782,
"minimum_v_bits": 47783,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3616,
"q_exponent_advance": 2469
},
{
"p_exponent": 33767,
"q_exponent": 23050,
"p_power_bits": 53520,
"q_power_bits": 53521,
"minimum_u_bits": 53515,
"minimum_v_bits": 53514,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4051,
"q_exponent_advance": 2765
},
{
"p_exponent": 37818,
"q_exponent": 25815,
"p_power_bits": 59941,
"q_power_bits": 59941,
"minimum_u_bits": 59935,
"minimum_v_bits": 59934,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4537,
"q_exponent_advance": 3097
},
{
"p_exponent": 42355,
"q_exponent": 28912,
"p_power_bits": 67132,
"q_power_bits": 67132,
"minimum_u_bits": 67127,
"minimum_v_bits": 67126,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5081,
"q_exponent_advance": 3468
},
{
"p_exponent": 47436,
"q_exponent": 32380,
"p_power_bits": 75185,
"q_power_bits": 75185,
"minimum_u_bits": 75180,
"minimum_v_bits": 75181,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5691,
"q_exponent_advance": 3885
},
{
"p_exponent": 53127,
"q_exponent": 36265,
"p_power_bits": 84205,
"q_power_bits": 84205,
"minimum_u_bits": 84197,
"minimum_v_bits": 84196,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6373,
"q_exponent_advance": 4350
},
{
"p_exponent": 59500,
"q_exponent": 40615,
"p_power_bits": 94306,
"q_power_bits": 94306,
"minimum_u_bits": 94302,
"minimum_v_bits": 94302,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7139,
"q_exponent_advance": 4874
},
{
"p_exponent": 66639,
"q_exponent": 45489,
"p_power_bits": 105621,
"q_power_bits": 105623,
"minimum_u_bits": 105620,
"minimum_v_bits": 105618,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7997,
"q_exponent_advance": 5458
},
{
"p_exponent": 74636,
"q_exponent": 50947,
"p_power_bits": 118296,
"q_power_bits": 118296,
"minimum_u_bits": 118292,
"minimum_v_bits": 118292,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8956,
"q_exponent_advance": 6113
},
{
"p_exponent": 83592,
"q_exponent": 57060,
"p_power_bits": 132491,
"q_power_bits": 132490,
"minimum_u_bits": 132486,
"minimum_v_bits": 132487,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 10030,
"q_exponent_advance": 6847
},
{
"p_exponent": 93622,
"q_exponent": 63907,
"p_power_bits": 148388,
"q_power_bits": 148388,
"minimum_u_bits": 148384,
"minimum_v_bits": 148384,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 11234,
"q_exponent_advance": 7668
},
{
"p_exponent": 104856,
"q_exponent": 71575,
"p_power_bits": 166193,
"q_power_bits": 166193,
"minimum_u_bits": 166189,
"minimum_v_bits": 166190,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12582,
"q_exponent_advance": 8589
},
{
"p_exponent": 117438,
"q_exponent": 80164,
"p_power_bits": 186135,
"q_power_bits": 186136,
"minimum_u_bits": 186131,
"minimum_v_bits": 186131,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 14092,
"q_exponent_advance": 9619
},
{
"p_exponent": 131530,
"q_exponent": 89783,
"p_power_bits": 208471,
"q_power_bits": 208470,
"minimum_u_bits": 208467,
"minimum_v_bits": 208467,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 15783,
"q_exponent_advance": 10774
},
{
"p_exponent": 147313,
"q_exponent": 100557,
"p_power_bits": 233486,
"q_power_bits": 233487,
"minimum_u_bits": 233483,
"minimum_v_bits": 233482,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 17677,
"q_exponent_advance": 12066
},
{
"p_exponent": 164990,
"q_exponent": 112623,
"p_power_bits": 261503,
"q_power_bits": 261503,
"minimum_u_bits": 261498,
"minimum_v_bits": 261498,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 19797,
"q_exponent_advance": 13514
},
{
"p_exponent": 184787,
"q_exponent": 126137,
"p_power_bits": 292881,
"q_power_bits": 292882,
"minimum_u_bits": 292878,
"minimum_v_bits": 292877,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22174,
"q_exponent_advance": 15136
},
{
"p_exponent": 206961,
"q_exponent": 141273,
"p_power_bits": 328026,
"q_power_bits": 328026,
"minimum_u_bits": 328023,
"minimum_v_bits": 328023,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 24835,
"q_exponent_advance": 16952
},
{
"p_exponent": 231796,
"q_exponent": 158225,
"p_power_bits": 367388,
"q_power_bits": 367388,
"minimum_u_bits": 367383,
"minimum_v_bits": 367384,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 27814,
"q_exponent_advance": 18987
},
{
"p_exponent": 259610,
"q_exponent": 177212,
"p_power_bits": 411473,
"q_power_bits": 411474,
"minimum_u_bits": 411469,
"minimum_v_bits": 411468,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 31153,
"q_exponent_advance": 21264
},
{
"p_exponent": 290763,
"q_exponent": 198476,
"p_power_bits": 460849,
"q_power_bits": 460848,
"minimum_u_bits": 460844,
"minimum_v_bits": 460845,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 34890,
"q_exponent_advance": 23817
},
{
"p_exponent": 325653,
"q_exponent": 222293,
"p_power_bits": 516148,
"q_power_bits": 516149,
"minimum_u_bits": 516146,
"minimum_v_bits": 516145,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 39078,
"q_exponent_advance": 26675
},
{
"p_exponent": 364731,
"q_exponent": 248968,
"p_power_bits": 578085,
"q_power_bits": 578086,
"minimum_u_bits": 578081,
"minimum_v_bits": 578080,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 43767,
"q_exponent_advance": 29875
},
{
"p_exponent": 408498,
"q_exponent": 278843,
"p_power_bits": 647455,
"q_power_bits": 647454,
"minimum_u_bits": 647451,
"minimum_v_bits": 647452,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 49019,
"q_exponent_advance": 33461
},
{
"p_exponent": 457517,
"q_exponent": 312304,
"p_power_bits": 725148,
"q_power_bits": 725148,
"minimum_u_bits": 725145,
"minimum_v_bits": 725145,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 54901,
"q_exponent_advance": 37476
},
{
"p_exponent": 512418,
"q_exponent": 349780,
"p_power_bits": 812164,
"q_power_bits": 812165,
"minimum_u_bits": 812160,
"minimum_v_bits": 812159,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 61489,
"q_exponent_advance": 41973
},
{
"p_exponent": 573907,
"q_exponent": 391753,
"p_power_bits": 909622,
"q_power_bits": 909623,
"minimum_u_bits": 909619,
"minimum_v_bits": 909618,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 68868,
"q_exponent_advance": 47010
},
{
"p_exponent": 642775,
"q_exponent": 438763,
"p_power_bits": 1018775,
"q_power_bits": 1018777,
"minimum_u_bits": 1018773,
"minimum_v_bits": 1018771,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 77133,
"q_exponent_advance": 52651
},
{
"p_exponent": 719908,
"q_exponent": 491414,
"p_power_bits": 1141028,
"q_power_bits": 1141028,
"minimum_u_bits": 1141025,
"minimum_v_bits": 1141024,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 86389,
"q_exponent_advance": 58969
},
{
"p_exponent": 806297,
"q_exponent": 550383,
"p_power_bits": 1277951,
"q_power_bits": 1277950,
"minimum_u_bits": 1277947,
"minimum_v_bits": 1277948,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 96755,
"q_exponent_advance": 66046
},
{
"p_exponent": 903052,
"q_exponent": 616429,
"p_power_bits": 1431304,
"q_power_bits": 1431304,
"minimum_u_bits": 1431301,
"minimum_v_bits": 1431301,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 108366,
"q_exponent_advance": 73971
},
{
"p_exponent": 1011418,
"q_exponent": 690400,
"p_power_bits": 1603060,
"q_power_bits": 1603060,
"minimum_u_bits": 1603055,
"minimum_v_bits": 1603055,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 121369,
"q_exponent_advance": 82847
},
{
"p_exponent": 1132787,
"q_exponent": 773247,
"p_power_bits": 1795425,
"q_power_bits": 1795424,
"minimum_u_bits": 1795422,
"minimum_v_bits": 1795423,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 135934,
"q_exponent_advance": 92790
},
{
"p_exponent": 1268721,
"q_exponent": 866037,
"p_power_bits": 2010876,
"q_power_bits": 2010876,
"minimum_u_bits": 2010873,
"minimum_v_bits": 2010872,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 152246,
"q_exponent_advance": 103924
},
{
"p_exponent": 1420967,
"q_exponent": 969961,
"p_power_bits": 2252180,
"q_power_bits": 2252180,
"minimum_u_bits": 2252177,
"minimum_v_bits": 2252177,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 170516,
"q_exponent_advance": 116395
},
{
"p_exponent": 1591483,
"q_exponent": 1086356,
"p_power_bits": 2522441,
"q_power_bits": 2522441,
"minimum_u_bits": 2522435,
"minimum_v_bits": 2522435,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 190976,
"q_exponent_advance": 130362
},
{
"p_exponent": 1782459,
"q_exponent": 1216718,
"p_power_bits": 2825131,
"q_power_bits": 2825132,
"minimum_u_bits": 2825129,
"minimum_v_bits": 2825128,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 213895,
"q_exponent_advance": 146006
},
{
"p_exponent": 1996354,
"q_exponent": 1362724,
"p_power_bits": 3164147,
"q_power_bits": 3164148,
"minimum_u_bits": 3164145,
"minimum_v_bits": 3164144,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 239562,
"q_exponent_advance": 163526
},
{
"p_exponent": 2235916,
"q_exponent": 1526250,
"p_power_bits": 3543844,
"q_power_bits": 3543843,
"minimum_u_bits": 3543838,
"minimum_v_bits": 3543839,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 268309,
"q_exponent_advance": 183149
},
{
"p_exponent": 2504225,
"q_exponent": 1709399,
"p_power_bits": 3969103,
"q_power_bits": 3969102,
"minimum_u_bits": 3969097,
"minimum_v_bits": 3969099,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 300505,
"q_exponent_advance": 205128
},
{
"p_exponent": 2804730,
"q_exponent": 1914527,
"p_power_bits": 4445392,
"q_power_bits": 4445395,
"minimum_u_bits": 4445391,
"minimum_v_bits": 4445389,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 336568,
"q_exponent_advance": 229742
},
{
"p_exponent": 3141298,
"q_exponent": 2144269,
"p_power_bits": 4978840,
"q_power_bits": 4978839,
"minimum_u_bits": 4978836,
"minimum_v_bits": 4978837,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 376955,
"q_exponent_advance": 257312
},
{
"p_exponent": 3518253,
"q_exponent": 2401581,
"p_power_bits": 5576300,
"q_power_bits": 5576299,
"minimum_u_bits": 5576293,
"minimum_v_bits": 5576294,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 422189,
"q_exponent_advance": 288189
},
{
"p_exponent": 3940442,
"q_exponent": 2689770,
"p_power_bits": 6245453,
"q_power_bits": 6245453,
"minimum_u_bits": 6245449,
"minimum_v_bits": 6245449,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 472852,
"q_exponent_advance": 322772
},
{
"p_exponent": 4413294,
"q_exponent": 3012542,
"p_power_bits": 6994906,
"q_power_bits": 6994906,
"minimum_u_bits": 6994902,
"minimum_v_bits": 6994902,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 529594,
"q_exponent_advance": 361504
},
{
"p_exponent": 4942888,
"q_exponent": 3374046,
"p_power_bits": 7834293,
"q_power_bits": 7834293,
"minimum_u_bits": 7834289,
"minimum_v_bits": 7834289,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 593146,
"q_exponent_advance": 404885
},
{
"p_exponent": 5536034,
"q_exponent": 3778931,
"p_power_bits": 8774407,
"q_power_bits": 8774407,
"minimum_u_bits": 8774403,
"minimum_v_bits": 8774403,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 664323,
"q_exponent_advance": 453471
},
{
"p_exponent": 6200357,
"q_exponent": 4232402,
"p_power_bits": 9827334,
"q_power_bits": 9827334,
"minimum_u_bits": 9827330,
"minimum_v_bits": 9827331,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 744042,
"q_exponent_advance": 507888
},
{
"p_exponent": 6944399,
"q_exponent": 4740290,
"p_power_bits": 11006613,
"q_power_bits": 11006613,
"minimum_u_bits": 11006609,
"minimum_v_bits": 11006609,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 833327,
"q_exponent_advance": 568834
},
{
"p_exponent": 7777726,
"q_exponent": 5309124,
"p_power_bits": 12327405,
"q_power_bits": 12327405,
"minimum_u_bits": 12327401,
"minimum_v_bits": 12327401,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 933326,
"q_exponent_advance": 637094
},
{
"p_exponent": 8711052,
"q_exponent": 5946218,
"p_power_bits": 13806691,
"q_power_bits": 13806691,
"minimum_u_bits": 13806687,
"minimum_v_bits": 13806687,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1045325,
"q_exponent_advance": 713546
},
{
"p_exponent": 9756377,
"q_exponent": 6659764,
"p_power_bits": 15463492,
"q_power_bits": 15463494,
"minimum_u_bits": 15463487,
"minimum_v_bits": 15463485,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1170764,
"q_exponent_advance": 799170
},
{
"p_exponent": 10927141,
"q_exponent": 7458934,
"p_power_bits": 17319109,
"q_power_bits": 17319109,
"minimum_u_bits": 17319105,
"minimum_v_bits": 17319105,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1311256,
"q_exponent_advance": 895072
},
{
"p_exponent": 12238397,
"q_exponent": 8354006,
"p_power_bits": 19397401,
"q_power_bits": 19397402,
"minimum_u_bits": 19397396,
"minimum_v_bits": 19397395,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1468606,
"q_exponent_advance": 1002480
},
{
"p_exponent": 13707003,
"q_exponent": 9356486,
"p_power_bits": 21725086,
"q_power_bits": 21725088,
"minimum_u_bits": 21725084,
"minimum_v_bits": 21725082,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1644840,
"q_exponent_advance": 1122777
},
{
"p_exponent": 15351843,
"q_exponent": 10479263,
"p_power_bits": 24332096,
"q_power_bits": 24332096,
"minimum_u_bits": 24332092,
"minimum_v_bits": 24332092,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 1842220,
"q_exponent_advance": 1257511
},
{
"p_exponent": 17194063,
"q_exponent": 11736774,
"p_power_bits": 27251946,
"q_power_bits": 27251946,
"minimum_u_bits": 27251940,
"minimum_v_bits": 27251940,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2063286,
"q_exponent_advance": 1408412
},
{
"p_exponent": 19257349,
"q_exponent": 13145186,
"p_power_bits": 30522177,
"q_power_bits": 30522177,
"minimum_u_bits": 30522174,
"minimum_v_bits": 30522173,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2310882,
"q_exponent_advance": 1577422
},
{
"p_exponent": 21568231,
"q_exponent": 14722608,
"p_power_bits": 34184838,
"q_power_bits": 34184838,
"minimum_u_bits": 34184834,
"minimum_v_bits": 34184834,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2588187,
"q_exponent_advance": 1766713
},
{
"p_exponent": 24156418,
"q_exponent": 16489321,
"p_power_bits": 38287017,
"q_power_bits": 38287018,
"minimum_u_bits": 38287014,
"minimum_v_bits": 38287013,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 2898769,
"q_exponent_advance": 1978718
},
{
"p_exponent": 27055187,
"q_exponent": 18468039,
"p_power_bits": 42881457,
"q_power_bits": 42881459,
"minimum_u_bits": 42881452,
"minimum_v_bits": 42881450,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3246621,
"q_exponent_advance": 2216163
},
{
"p_exponent": 30301808,
"q_exponent": 20684202,
"p_power_bits": 48027230,
"q_power_bits": 48027230,
"minimum_u_bits": 48027226,
"minimum_v_bits": 48027226,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 3636216,
"q_exponent_advance": 2482104
},
{
"p_exponent": 33938024,
"q_exponent": 23166306,
"p_power_bits": 53790496,
"q_power_bits": 53790497,
"minimum_u_bits": 53790492,
"minimum_v_bits": 53790491,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4072562,
"q_exponent_advance": 2779956
},
{
"p_exponent": 38010586,
"q_exponent": 25946262,
"p_power_bits": 60245354,
"q_power_bits": 60245355,
"minimum_u_bits": 60245351,
"minimum_v_bits": 60245349,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 4561270,
"q_exponent_advance": 3113551
},
{
"p_exponent": 42571856,
"q_exponent": 29059813,
"p_power_bits": 67474796,
"q_power_bits": 67474797,
"minimum_u_bits": 67474792,
"minimum_v_bits": 67474791,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5108622,
"q_exponent_advance": 3487177
},
{
"p_exponent": 47680478,
"q_exponent": 32546990,
"p_power_bits": 75571770,
"q_power_bits": 75571771,
"minimum_u_bits": 75571767,
"minimum_v_bits": 75571767,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 5721657,
"q_exponent_advance": 3905638
},
{
"p_exponent": 53402135,
"q_exponent": 36452628,
"p_power_bits": 84640382,
"q_power_bits": 84640382,
"minimum_u_bits": 84640376,
"minimum_v_bits": 84640377,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 6408255,
"q_exponent_advance": 4374315
},
{
"p_exponent": 59810390,
"q_exponent": 40826943,
"p_power_bits": 94797226,
"q_power_bits": 94797226,
"minimum_u_bits": 94797222,
"minimum_v_bits": 94797221,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 7177246,
"q_exponent_advance": 4899232
},
{
"p_exponent": 66987636,
"q_exponent": 45726175,
"p_power_bits": 106172892,
"q_power_bits": 106172891,
"minimum_u_bits": 106172888,
"minimum_v_bits": 106172888,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 8038515,
"q_exponent_advance": 5487141
},
{
"p_exponent": 75026151,
"q_exponent": 51213316,
"p_power_bits": 118913636,
"q_power_bits": 118913638,
"minimum_u_bits": 118913634,
"minimum_v_bits": 118913633,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 9003138,
"q_exponent_advance": 6145597
},
{
"p_exponent": 84029289,
"q_exponent": 57358913,
"p_power_bits": 133183273,
"q_power_bits": 133183272,
"minimum_u_bits": 133183267,
"minimum_v_bits": 133183268,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 10083513,
"q_exponent_advance": 6883069
},
{
"p_exponent": 94112802,
"q_exponent": 64241982,
"p_power_bits": 149165263,
"q_power_bits": 149165263,
"minimum_u_bits": 149165259,
"minimum_v_bits": 149165258,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 11293535,
"q_exponent_advance": 7709037
},
{
"p_exponent": 105406337,
"q_exponent": 71951019,
"p_power_bits": 167065092,
"q_power_bits": 167065093,
"minimum_u_bits": 167065088,
"minimum_v_bits": 167065087,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 12648760,
"q_exponent_advance": 8634121
},
{
"p_exponent": 118055097,
"q_exponent": 80585140,
"p_power_bits": 187112902,
"q_power_bits": 187112901,
"minimum_u_bits": 187112898,
"minimum_v_bits": 187112899,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 14166611,
"q_exponent_advance": 9670217
},
{
"p_exponent": 132221708,
"q_exponent": 90255357,
"p_power_bits": 209566449,
"q_power_bits": 209566450,
"minimum_u_bits": 209566446,
"minimum_v_bits": 209566446,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 15866604,
"q_exponent_advance": 10830642
},
{
"p_exponent": 148088312,
"q_exponent": 101085999,
"p_power_bits": 234714422,
"q_power_bits": 234714422,
"minimum_u_bits": 234714416,
"minimum_v_bits": 234714416,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 17770596,
"q_exponent_advance": 12130319
},
{
"p_exponent": 165858908,
"q_exponent": 113216318,
"p_power_bits": 262880150,
"q_power_bits": 262880150,
"minimum_u_bits": 262880145,
"minimum_v_bits": 262880145,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 19903068,
"q_exponent_advance": 13585957
},
{
"p_exponent": 185761976,
"q_exponent": 126802275,
"p_power_bits": 294425767,
"q_power_bits": 294425765,
"minimum_u_bits": 294425762,
"minimum_v_bits": 294425763,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 22291436,
"q_exponent_advance": 15216273
},
{
"p_exponent": 208053412,
"q_exponent": 142018548,
"p_power_bits": 329756857,
"q_power_bits": 329756857,
"minimum_u_bits": 329756851,
"minimum_v_bits": 329756850,
"method": "CRT strips with directed logarithm comparisons",
"p_exponent_advance": 24966408,
"q_exponent_advance": 17042225
}
],
"conclusion": "max(u,v)^25 >= min(p^a*u,q^b*v)^11 throughout the stated height range",
"continuation": {
"source_file": "erdos_699_prime_pair_strips_7_global.json",
"previous_height_cap_power_of_ten": 44245906,
"retained_anchor_count": 157,
"new_anchor_count": 8,
"all_retained_boundaries_certified_untruncated": true
}
}
]
}
Graph