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_20.json
json
{
"scope": "Exact coverage of prime-power exponent quadrants; no binomial rows enumerated.",
"records": [
{
"pair": [
2,
3
],
"height_cap_power_of_ten": 27027659,
"maximum_difference": 19,
"cofactor_exponent_numerator": 2,
"cofactor_exponent_denominator": 5,
"height_threshold": 1051721729,
"backend": "gmpy2",
"initial_exponents": [
5,
3
],
"maximum_exponents": [
89783939,
56647358
],
"final_exponents": [
93179768,
58789888
],
"anchor_count": 105,
"exact_boundary_pairs": 110,
"boundary_pairs_sha256": "3711b9ebbc2160d916337f83c7ec049ded78e2e824aba079105dc2acd60c2220",
"exception_count": 78,
"exceptions": [
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -17,
"p_cofactor": 2,
"q_cofactor": 3,
"smaller_height": 64,
"larger_height": 81
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -12,
"p_cofactor": 3,
"q_cofactor": 4,
"smaller_height": 96,
"larger_height": 108
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -7,
"p_cofactor": 4,
"q_cofactor": 5,
"smaller_height": 128,
"larger_height": 135
},
{
"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": 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": 3,
"signed_difference": 8,
"p_cofactor": 7,
"q_cofactor": 8,
"smaller_height": 216,
"larger_height": 224
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": 10,
"p_cofactor": 2,
"q_cofactor": 2,
"smaller_height": 54,
"larger_height": 64
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": 15,
"p_cofactor": 3,
"q_cofactor": 3,
"smaller_height": 81,
"larger_height": 96
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -19,
"p_cofactor": 7,
"q_cofactor": 3,
"smaller_height": 224,
"larger_height": 243
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -17,
"p_cofactor": 2,
"q_cofactor": 1,
"smaller_height": 64,
"larger_height": 81
},
{
"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": 4,
"signed_difference": 13,
"p_cofactor": 8,
"q_cofactor": 3,
"smaller_height": 243,
"larger_height": 256
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": 15,
"p_cofactor": 3,
"q_cofactor": 1,
"smaller_height": 81,
"larger_height": 96
},
{
"p_exponent": 5,
"q_exponent": 5,
"signed_difference": -19,
"p_cofactor": 7,
"q_cofactor": 1,
"smaller_height": 224,
"larger_height": 243
},
{
"p_exponent": 5,
"q_exponent": 5,
"signed_difference": 13,
"p_cofactor": 8,
"q_cofactor": 1,
"smaller_height": 243,
"larger_height": 256
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": -17,
"p_cofactor": 1,
"q_cofactor": 3,
"smaller_height": 64,
"larger_height": 81
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": -7,
"p_cofactor": 2,
"q_cofactor": 5,
"smaller_height": 128,
"larger_height": 135
},
{
"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": 3,
"signed_difference": 10,
"p_cofactor": 1,
"q_cofactor": 2,
"smaller_height": 54,
"larger_height": 64
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -17,
"p_cofactor": 1,
"q_cofactor": 1,
"smaller_height": 64,
"larger_height": 81
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -12,
"p_cofactor": 15,
"q_cofactor": 12,
"smaller_height": 960,
"larger_height": 972
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -8,
"p_cofactor": 10,
"q_cofactor": 8,
"smaller_height": 640,
"larger_height": 648
},
{
"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": 5,
"p_cofactor": 14,
"q_cofactor": 11,
"smaller_height": 891,
"larger_height": 896
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": 9,
"p_cofactor": 9,
"q_cofactor": 7,
"smaller_height": 567,
"larger_height": 576
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": 13,
"p_cofactor": 4,
"q_cofactor": 3,
"smaller_height": 243,
"larger_height": 256
},
{
"p_exponent": 6,
"q_exponent": 5,
"signed_difference": -12,
"p_cofactor": 15,
"q_cofactor": 4,
"smaller_height": 960,
"larger_height": 972
},
{
"p_exponent": 6,
"q_exponent": 5,
"signed_difference": 13,
"p_cofactor": 4,
"q_cofactor": 1,
"smaller_height": 243,
"larger_height": 256
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": -7,
"p_cofactor": 1,
"q_cofactor": 5,
"smaller_height": 128,
"larger_height": 135
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -16,
"p_cofactor": 10,
"q_cofactor": 16,
"smaller_height": 1280,
"larger_height": 1296
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -8,
"p_cofactor": 5,
"q_cofactor": 8,
"smaller_height": 640,
"larger_height": 648
},
{
"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": 4,
"signed_difference": 13,
"p_cofactor": 2,
"q_cofactor": 3,
"smaller_height": 243,
"larger_height": 256
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": 18,
"p_cofactor": 9,
"q_cofactor": 14,
"smaller_height": 1134,
"larger_height": 1152
},
{
"p_exponent": 7,
"q_exponent": 5,
"signed_difference": -11,
"p_cofactor": 17,
"q_cofactor": 9,
"smaller_height": 2176,
"larger_height": 2187
},
{
"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": 13,
"p_cofactor": 2,
"q_cofactor": 1,
"smaller_height": 243,
"larger_height": 256
},
{
"p_exponent": 7,
"q_exponent": 5,
"signed_difference": 15,
"p_cofactor": 21,
"q_cofactor": 11,
"smaller_height": 2673,
"larger_height": 2688
},
{
"p_exponent": 7,
"q_exponent": 6,
"signed_difference": -11,
"p_cofactor": 17,
"q_cofactor": 3,
"smaller_height": 2176,
"larger_height": 2187
},
{
"p_exponent": 7,
"q_exponent": 7,
"signed_difference": -11,
"p_cofactor": 17,
"q_cofactor": 1,
"smaller_height": 2176,
"larger_height": 2187
},
{
"p_exponent": 8,
"q_exponent": 4,
"signed_difference": -16,
"p_cofactor": 5,
"q_cofactor": 16,
"smaller_height": 1280,
"larger_height": 1296
},
{
"p_exponent": 8,
"q_exponent": 4,
"signed_difference": 13,
"p_cofactor": 1,
"q_cofactor": 3,
"smaller_height": 243,
"larger_height": 256
},
{
"p_exponent": 8,
"q_exponent": 5,
"signed_difference": -18,
"p_cofactor": 36,
"q_cofactor": 38,
"smaller_height": 9216,
"larger_height": 9234
},
{
"p_exponent": 8,
"q_exponent": 5,
"signed_difference": -9,
"p_cofactor": 18,
"q_cofactor": 19,
"smaller_height": 4608,
"larger_height": 4617
},
{
"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": 5,
"signed_difference": 13,
"p_cofactor": 1,
"q_cofactor": 1,
"smaller_height": 243,
"larger_height": 256
},
{
"p_exponent": 8,
"q_exponent": 5,
"signed_difference": 17,
"p_cofactor": 20,
"q_cofactor": 21,
"smaller_height": 5103,
"larger_height": 5120
},
{
"p_exponent": 8,
"q_exponent": 6,
"signed_difference": -5,
"p_cofactor": 37,
"q_cofactor": 13,
"smaller_height": 9472,
"larger_height": 9477
},
{
"p_exponent": 8,
"q_exponent": 6,
"signed_difference": 17,
"p_cofactor": 20,
"q_cofactor": 7,
"smaller_height": 5103,
"larger_height": 5120
},
{
"p_exponent": 9,
"q_exponent": 5,
"signed_difference": -18,
"p_cofactor": 18,
"q_cofactor": 38,
"smaller_height": 9216,
"larger_height": 9234
},
{
"p_exponent": 9,
"q_exponent": 5,
"signed_difference": -9,
"p_cofactor": 9,
"q_cofactor": 19,
"smaller_height": 4608,
"larger_height": 4617
},
{
"p_exponent": 9,
"q_exponent": 5,
"signed_difference": 17,
"p_cofactor": 10,
"q_cofactor": 21,
"smaller_height": 5103,
"larger_height": 5120
},
{
"p_exponent": 9,
"q_exponent": 6,
"signed_difference": -10,
"p_cofactor": 37,
"q_cofactor": 26,
"smaller_height": 18944,
"larger_height": 18954
},
{
"p_exponent": 9,
"q_exponent": 6,
"signed_difference": 7,
"p_cofactor": 47,
"q_cofactor": 33,
"smaller_height": 24057,
"larger_height": 24064
},
{
"p_exponent": 9,
"q_exponent": 6,
"signed_difference": 17,
"p_cofactor": 10,
"q_cofactor": 7,
"smaller_height": 5103,
"larger_height": 5120
},
{
"p_exponent": 9,
"q_exponent": 7,
"signed_difference": 7,
"p_cofactor": 47,
"q_cofactor": 11,
"smaller_height": 24057,
"larger_height": 24064
},
{
"p_exponent": 10,
"q_exponent": 5,
"signed_difference": -18,
"p_cofactor": 9,
"q_cofactor": 38,
"smaller_height": 9216,
"larger_height": 9234
},
{
"p_exponent": 10,
"q_exponent": 5,
"signed_difference": 17,
"p_cofactor": 5,
"q_cofactor": 21,
"smaller_height": 5103,
"larger_height": 5120
},
{
"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": 6,
"signed_difference": 14,
"p_cofactor": 47,
"q_cofactor": 66,
"smaller_height": 48114,
"larger_height": 48128
},
{
"p_exponent": 10,
"q_exponent": 6,
"signed_difference": 17,
"p_cofactor": 5,
"q_cofactor": 7,
"smaller_height": 5103,
"larger_height": 5120
},
{
"p_exponent": 10,
"q_exponent": 7,
"signed_difference": 14,
"p_cofactor": 47,
"q_cofactor": 22,
"smaller_height": 48114,
"larger_height": 48128
},
{
"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": -18,
"p_cofactor": 126,
"q_cofactor": 118,
"smaller_height": 258048,
"larger_height": 258066
},
{
"p_exponent": 11,
"q_exponent": 7,
"signed_difference": -9,
"p_cofactor": 63,
"q_cofactor": 59,
"smaller_height": 129024,
"larger_height": 129033
},
{
"p_exponent": 11,
"q_exponent": 7,
"signed_difference": 19,
"p_cofactor": 110,
"q_cofactor": 103,
"smaller_height": 225261,
"larger_height": 225280
},
{
"p_exponent": 12,
"q_exponent": 7,
"signed_difference": -18,
"p_cofactor": 63,
"q_cofactor": 118,
"smaller_height": 258048,
"larger_height": 258066
},
{
"p_exponent": 12,
"q_exponent": 7,
"signed_difference": 19,
"p_cofactor": 55,
"q_cofactor": 103,
"smaller_height": 225261,
"larger_height": 225280
},
{
"p_exponent": 12,
"q_exponent": 8,
"signed_difference": -17,
"p_cofactor": 181,
"q_cofactor": 113,
"smaller_height": 741376,
"larger_height": 741393
},
{
"p_exponent": 13,
"q_exponent": 8,
"signed_difference": 3,
"p_cofactor": 177,
"q_cofactor": 221,
"smaller_height": 1449981,
"larger_height": 1449984
},
{
"p_exponent": 14,
"q_exponent": 9,
"signed_difference": 18,
"p_cofactor": 531,
"q_cofactor": 442,
"smaller_height": 8699886,
"larger_height": 8699904
},
{
"p_exponent": 15,
"q_exponent": 9,
"signed_difference": -13,
"p_cofactor": 355,
"q_cofactor": 591,
"smaller_height": 11632640,
"larger_height": 11632653
},
{
"p_exponent": 15,
"q_exponent": 10,
"signed_difference": -13,
"p_cofactor": 355,
"q_cofactor": 197,
"smaller_height": 11632640,
"larger_height": 11632653
},
{
"p_exponent": 18,
"q_exponent": 12,
"signed_difference": -11,
"p_cofactor": 4012,
"q_cofactor": 1979,
"smaller_height": 1051721728,
"larger_height": 1051721739
},
{
"p_exponent": 19,
"q_exponent": 12,
"signed_difference": -11,
"p_cofactor": 2006,
"q_cofactor": 1979,
"smaller_height": 1051721728,
"larger_height": 1051721739
},
{
"p_exponent": 20,
"q_exponent": 12,
"signed_difference": -11,
"p_cofactor": 1003,
"q_cofactor": 1979,
"smaller_height": 1051721728,
"larger_height": 1051721739
}
],
"anchors": [
{
"p_exponent": 5,
"q_exponent": 3,
"p_power_bits": 6,
"q_power_bits": 5,
"minimum_u_bits": 1,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 6,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 6,
"q_exponent": 4,
"p_power_bits": 7,
"q_power_bits": 7,
"minimum_u_bits": 1,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 7,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 7,
"q_exponent": 5,
"p_power_bits": 8,
"q_power_bits": 8,
"minimum_u_bits": 2,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 9,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 8,
"q_exponent": 6,
"p_power_bits": 9,
"q_power_bits": 10,
"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": 9,
"q_exponent": 7,
"p_power_bits": 10,
"q_power_bits": 12,
"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": 10,
"q_exponent": 8,
"p_power_bits": 11,
"q_power_bits": 13,
"minimum_u_bits": 8,
"minimum_v_bits": 5,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 11,
"q_exponent": 8,
"p_power_bits": 12,
"q_power_bits": 13,
"minimum_u_bits": 8,
"minimum_v_bits": 6,
"method": "coefficient lower-bound strips",
"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": 8,
"minimum_v_bits": 7,
"method": "exact boundary lines",
"boundary_pairs": 14,
"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": 10,
"minimum_v_bits": 8,
"method": "coefficient lower-bound strips",
"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": 10,
"minimum_v_bits": 9,
"method": "exact boundary lines",
"boundary_pairs": 15,
"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": 9,
"minimum_v_bits": 8,
"method": "exact boundary lines",
"boundary_pairs": 17,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 16,
"q_exponent": 11,
"p_power_bits": 17,
"q_power_bits": 18,
"minimum_u_bits": 13,
"minimum_v_bits": 11,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 17,
"q_exponent": 11,
"p_power_bits": 18,
"q_power_bits": 18,
"minimum_u_bits": 13,
"minimum_v_bits": 12,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 18,
"q_exponent": 12,
"p_power_bits": 19,
"q_power_bits": 20,
"minimum_u_bits": 12,
"minimum_v_bits": 11,
"method": "exact boundary lines",
"boundary_pairs": 20,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 19,
"q_exponent": 13,
"p_power_bits": 20,
"q_power_bits": 21,
"minimum_u_bits": 16,
"minimum_v_bits": 14,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"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": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 23,
"q_exponent": 15,
"p_power_bits": 24,
"q_power_bits": 24,
"minimum_u_bits": 17,
"minimum_v_bits": 16,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"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": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 27,
"q_exponent": 17,
"p_power_bits": 28,
"q_power_bits": 27,
"minimum_u_bits": 22,
"minimum_v_bits": 22,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 30,
"q_exponent": 19,
"p_power_bits": 31,
"q_power_bits": 31,
"minimum_u_bits": 25,
"minimum_v_bits": 25,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 33,
"q_exponent": 21,
"p_power_bits": 34,
"q_power_bits": 34,
"minimum_u_bits": 28,
"minimum_v_bits": 28,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4,
"q_exponent_advance": 3
},
{
"p_exponent": 37,
"q_exponent": 24,
"p_power_bits": 38,
"q_power_bits": 39,
"minimum_u_bits": 29,
"minimum_v_bits": 28,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 40,
"q_exponent": 25,
"p_power_bits": 41,
"q_power_bits": 40,
"minimum_u_bits": 35,
"minimum_v_bits": 35,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5,
"q_exponent_advance": 4
},
{
"p_exponent": 45,
"q_exponent": 29,
"p_power_bits": 46,
"q_power_bits": 46,
"minimum_u_bits": 41,
"minimum_v_bits": 40,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7,
"q_exponent_advance": 4
},
{
"p_exponent": 52,
"q_exponent": 33,
"p_power_bits": 53,
"q_power_bits": 53,
"minimum_u_bits": 48,
"minimum_v_bits": 48,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8,
"q_exponent_advance": 5
},
{
"p_exponent": 60,
"q_exponent": 38,
"p_power_bits": 61,
"q_power_bits": 61,
"minimum_u_bits": 56,
"minimum_v_bits": 56,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10,
"q_exponent_advance": 6
},
{
"p_exponent": 70,
"q_exponent": 44,
"p_power_bits": 71,
"q_power_bits": 70,
"minimum_u_bits": 62,
"minimum_v_bits": 62,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10,
"q_exponent_advance": 6
},
{
"p_exponent": 80,
"q_exponent": 50,
"p_power_bits": 81,
"q_power_bits": 80,
"minimum_u_bits": 74,
"minimum_v_bits": 75,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 13,
"q_exponent_advance": 9
},
{
"p_exponent": 93,
"q_exponent": 59,
"p_power_bits": 94,
"q_power_bits": 94,
"minimum_u_bits": 87,
"minimum_v_bits": 87,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15,
"q_exponent_advance": 10
},
{
"p_exponent": 108,
"q_exponent": 69,
"p_power_bits": 109,
"q_power_bits": 110,
"minimum_u_bits": 104,
"minimum_v_bits": 103,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 19,
"q_exponent_advance": 12
},
{
"p_exponent": 127,
"q_exponent": 81,
"p_power_bits": 128,
"q_power_bits": 129,
"minimum_u_bits": 116,
"minimum_v_bits": 115,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 19,
"q_exponent_advance": 11
},
{
"p_exponent": 146,
"q_exponent": 92,
"p_power_bits": 147,
"q_power_bits": 146,
"minimum_u_bits": 138,
"minimum_v_bits": 138,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 25,
"q_exponent_advance": 16
},
{
"p_exponent": 171,
"q_exponent": 108,
"p_power_bits": 172,
"q_power_bits": 172,
"minimum_u_bits": 166,
"minimum_v_bits": 166,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 31,
"q_exponent_advance": 20
},
{
"p_exponent": 202,
"q_exponent": 128,
"p_power_bits": 203,
"q_power_bits": 203,
"minimum_u_bits": 195,
"minimum_v_bits": 194,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 36,
"q_exponent_advance": 23
},
{
"p_exponent": 238,
"q_exponent": 151,
"p_power_bits": 239,
"q_power_bits": 240,
"minimum_u_bits": 233,
"minimum_v_bits": 232,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 45,
"q_exponent_advance": 28
},
{
"p_exponent": 283,
"q_exponent": 179,
"p_power_bits": 284,
"q_power_bits": 284,
"minimum_u_bits": 278,
"minimum_v_bits": 278,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 54,
"q_exponent_advance": 34
},
{
"p_exponent": 337,
"q_exponent": 213,
"p_power_bits": 338,
"q_power_bits": 338,
"minimum_u_bits": 331,
"minimum_v_bits": 331,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 64,
"q_exponent_advance": 40
},
{
"p_exponent": 401,
"q_exponent": 253,
"p_power_bits": 402,
"q_power_bits": 401,
"minimum_u_bits": 396,
"minimum_v_bits": 396,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 77,
"q_exponent_advance": 49
},
{
"p_exponent": 478,
"q_exponent": 302,
"p_power_bits": 479,
"q_power_bits": 479,
"minimum_u_bits": 473,
"minimum_v_bits": 472,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 93,
"q_exponent_advance": 58
},
{
"p_exponent": 571,
"q_exponent": 360,
"p_power_bits": 572,
"q_power_bits": 571,
"minimum_u_bits": 565,
"minimum_v_bits": 566,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 111,
"q_exponent_advance": 71
},
{
"p_exponent": 682,
"q_exponent": 431,
"p_power_bits": 683,
"q_power_bits": 684,
"minimum_u_bits": 675,
"minimum_v_bits": 674,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 132,
"q_exponent_advance": 83
},
{
"p_exponent": 814,
"q_exponent": 514,
"p_power_bits": 815,
"q_power_bits": 815,
"minimum_u_bits": 808,
"minimum_v_bits": 807,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 159,
"q_exponent_advance": 100
},
{
"p_exponent": 973,
"q_exponent": 614,
"p_power_bits": 974,
"q_power_bits": 974,
"minimum_u_bits": 967,
"minimum_v_bits": 967,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 191,
"q_exponent_advance": 121
},
{
"p_exponent": 1164,
"q_exponent": 735,
"p_power_bits": 1165,
"q_power_bits": 1165,
"minimum_u_bits": 1159,
"minimum_v_bits": 1158,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 230,
"q_exponent_advance": 145
},
{
"p_exponent": 1394,
"q_exponent": 880,
"p_power_bits": 1395,
"q_power_bits": 1395,
"minimum_u_bits": 1389,
"minimum_v_bits": 1388,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 276,
"q_exponent_advance": 174
},
{
"p_exponent": 1670,
"q_exponent": 1054,
"p_power_bits": 1671,
"q_power_bits": 1671,
"minimum_u_bits": 1665,
"minimum_v_bits": 1664,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 331,
"q_exponent_advance": 209
},
{
"p_exponent": 2001,
"q_exponent": 1263,
"p_power_bits": 2002,
"q_power_bits": 2002,
"minimum_u_bits": 1998,
"minimum_v_bits": 1997,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 398,
"q_exponent_advance": 251
},
{
"p_exponent": 2399,
"q_exponent": 1514,
"p_power_bits": 2400,
"q_power_bits": 2400,
"minimum_u_bits": 2389,
"minimum_v_bits": 2389,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 474,
"q_exponent_advance": 299
},
{
"p_exponent": 2873,
"q_exponent": 1813,
"p_power_bits": 2874,
"q_power_bits": 2874,
"minimum_u_bits": 2865,
"minimum_v_bits": 2865,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 570,
"q_exponent_advance": 360
},
{
"p_exponent": 3443,
"q_exponent": 2173,
"p_power_bits": 3444,
"q_power_bits": 3445,
"minimum_u_bits": 3439,
"minimum_v_bits": 3438,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 687,
"q_exponent_advance": 433
},
{
"p_exponent": 4130,
"q_exponent": 2606,
"p_power_bits": 4131,
"q_power_bits": 4131,
"minimum_u_bits": 4124,
"minimum_v_bits": 4123,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 822,
"q_exponent_advance": 519
},
{
"p_exponent": 4952,
"q_exponent": 3125,
"p_power_bits": 4953,
"q_power_bits": 4954,
"minimum_u_bits": 4948,
"minimum_v_bits": 4947,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 988,
"q_exponent_advance": 623
},
{
"p_exponent": 5940,
"q_exponent": 3748,
"p_power_bits": 5941,
"q_power_bits": 5941,
"minimum_u_bits": 5935,
"minimum_v_bits": 5935,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1185,
"q_exponent_advance": 748
},
{
"p_exponent": 7125,
"q_exponent": 4496,
"p_power_bits": 7126,
"q_power_bits": 7126,
"minimum_u_bits": 7121,
"minimum_v_bits": 7120,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1423,
"q_exponent_advance": 897
},
{
"p_exponent": 8548,
"q_exponent": 5393,
"p_power_bits": 8549,
"q_power_bits": 8548,
"minimum_u_bits": 8541,
"minimum_v_bits": 8541,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1706,
"q_exponent_advance": 1077
},
{
"p_exponent": 10254,
"q_exponent": 6470,
"p_power_bits": 10255,
"q_power_bits": 10255,
"minimum_u_bits": 10251,
"minimum_v_bits": 10250,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2049,
"q_exponent_advance": 1293
},
{
"p_exponent": 12303,
"q_exponent": 7763,
"p_power_bits": 12304,
"q_power_bits": 12305,
"minimum_u_bits": 12298,
"minimum_v_bits": 12297,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2458,
"q_exponent_advance": 1550
},
{
"p_exponent": 14761,
"q_exponent": 9313,
"p_power_bits": 14762,
"q_power_bits": 14761,
"minimum_u_bits": 14753,
"minimum_v_bits": 14753,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2948,
"q_exponent_advance": 1860
},
{
"p_exponent": 17709,
"q_exponent": 11173,
"p_power_bits": 17710,
"q_power_bits": 17709,
"minimum_u_bits": 17702,
"minimum_v_bits": 17702,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3538,
"q_exponent_advance": 2232
},
{
"p_exponent": 21247,
"q_exponent": 13405,
"p_power_bits": 21248,
"q_power_bits": 21247,
"minimum_u_bits": 21239,
"minimum_v_bits": 21239,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4245,
"q_exponent_advance": 2679
},
{
"p_exponent": 25492,
"q_exponent": 16084,
"p_power_bits": 25493,
"q_power_bits": 25493,
"minimum_u_bits": 25488,
"minimum_v_bits": 25487,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5096,
"q_exponent_advance": 3215
},
{
"p_exponent": 30588,
"q_exponent": 19299,
"p_power_bits": 30589,
"q_power_bits": 30589,
"minimum_u_bits": 30582,
"minimum_v_bits": 30582,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6114,
"q_exponent_advance": 3858
},
{
"p_exponent": 36702,
"q_exponent": 23157,
"p_power_bits": 36703,
"q_power_bits": 36703,
"minimum_u_bits": 36698,
"minimum_v_bits": 36697,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7338,
"q_exponent_advance": 4630
},
{
"p_exponent": 44040,
"q_exponent": 27787,
"p_power_bits": 44041,
"q_power_bits": 44042,
"minimum_u_bits": 44034,
"minimum_v_bits": 44033,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8805,
"q_exponent_advance": 5554
},
{
"p_exponent": 52845,
"q_exponent": 33341,
"p_power_bits": 52846,
"q_power_bits": 52845,
"minimum_u_bits": 52840,
"minimum_v_bits": 52840,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10566,
"q_exponent_advance": 6667
},
{
"p_exponent": 63411,
"q_exponent": 40008,
"p_power_bits": 63412,
"q_power_bits": 63412,
"minimum_u_bits": 63406,
"minimum_v_bits": 63406,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 12679,
"q_exponent_advance": 8000
},
{
"p_exponent": 76090,
"q_exponent": 48008,
"p_power_bits": 76091,
"q_power_bits": 76091,
"minimum_u_bits": 76085,
"minimum_v_bits": 76084,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15215,
"q_exponent_advance": 9599
},
{
"p_exponent": 91305,
"q_exponent": 57607,
"p_power_bits": 91306,
"q_power_bits": 91305,
"minimum_u_bits": 91301,
"minimum_v_bits": 91301,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 18259,
"q_exponent_advance": 11520
},
{
"p_exponent": 109564,
"q_exponent": 69127,
"p_power_bits": 109565,
"q_power_bits": 109564,
"minimum_u_bits": 109559,
"minimum_v_bits": 109559,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 21910,
"q_exponent_advance": 13824
},
{
"p_exponent": 131474,
"q_exponent": 82951,
"p_power_bits": 131475,
"q_power_bits": 131475,
"minimum_u_bits": 131470,
"minimum_v_bits": 131470,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 26292,
"q_exponent_advance": 16589
},
{
"p_exponent": 157766,
"q_exponent": 99540,
"p_power_bits": 157767,
"q_power_bits": 157768,
"minimum_u_bits": 157762,
"minimum_v_bits": 157761,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 31551,
"q_exponent_advance": 19906
},
{
"p_exponent": 189317,
"q_exponent": 119446,
"p_power_bits": 189318,
"q_power_bits": 189318,
"minimum_u_bits": 189313,
"minimum_v_bits": 189312,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 37861,
"q_exponent_advance": 23888
},
{
"p_exponent": 227178,
"q_exponent": 143334,
"p_power_bits": 227179,
"q_power_bits": 227180,
"minimum_u_bits": 227175,
"minimum_v_bits": 227174,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 45434,
"q_exponent_advance": 28665
},
{
"p_exponent": 272612,
"q_exponent": 171999,
"p_power_bits": 272613,
"q_power_bits": 272612,
"minimum_u_bits": 272607,
"minimum_v_bits": 272607,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 54520,
"q_exponent_advance": 34398
},
{
"p_exponent": 327132,
"q_exponent": 206397,
"p_power_bits": 327133,
"q_power_bits": 327132,
"minimum_u_bits": 327127,
"minimum_v_bits": 327128,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 65424,
"q_exponent_advance": 41278
},
{
"p_exponent": 392556,
"q_exponent": 247675,
"p_power_bits": 392557,
"q_power_bits": 392556,
"minimum_u_bits": 392551,
"minimum_v_bits": 392551,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 78508,
"q_exponent_advance": 49534
},
{
"p_exponent": 471064,
"q_exponent": 297209,
"p_power_bits": 471065,
"q_power_bits": 471066,
"minimum_u_bits": 471059,
"minimum_v_bits": 471058,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 94210,
"q_exponent_advance": 59440
},
{
"p_exponent": 565274,
"q_exponent": 356649,
"p_power_bits": 565275,
"q_power_bits": 565276,
"minimum_u_bits": 565267,
"minimum_v_bits": 565266,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 113051,
"q_exponent_advance": 71326
},
{
"p_exponent": 678325,
"q_exponent": 427975,
"p_power_bits": 678326,
"q_power_bits": 678325,
"minimum_u_bits": 678318,
"minimum_v_bits": 678318,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 135661,
"q_exponent_advance": 85593
},
{
"p_exponent": 813986,
"q_exponent": 513568,
"p_power_bits": 813987,
"q_power_bits": 813987,
"minimum_u_bits": 813981,
"minimum_v_bits": 813981,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 162794,
"q_exponent_advance": 102712
},
{
"p_exponent": 976780,
"q_exponent": 616280,
"p_power_bits": 976781,
"q_power_bits": 976781,
"minimum_u_bits": 976776,
"minimum_v_bits": 976775,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 195354,
"q_exponent_advance": 123254
},
{
"p_exponent": 1172134,
"q_exponent": 739534,
"p_power_bits": 1172135,
"q_power_bits": 1172134,
"minimum_u_bits": 1172128,
"minimum_v_bits": 1172128,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 234423,
"q_exponent_advance": 147905
},
{
"p_exponent": 1406557,
"q_exponent": 887439,
"p_power_bits": 1406558,
"q_power_bits": 1406558,
"minimum_u_bits": 1406553,
"minimum_v_bits": 1406552,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 281309,
"q_exponent_advance": 177486
},
{
"p_exponent": 1687866,
"q_exponent": 1064925,
"p_power_bits": 1687867,
"q_power_bits": 1687867,
"minimum_u_bits": 1687858,
"minimum_v_bits": 1687858,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 337569,
"q_exponent_advance": 212982
},
{
"p_exponent": 2025435,
"q_exponent": 1277907,
"p_power_bits": 2025436,
"q_power_bits": 2025435,
"minimum_u_bits": 2025429,
"minimum_v_bits": 2025430,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 405084,
"q_exponent_advance": 255580
},
{
"p_exponent": 2430519,
"q_exponent": 1533487,
"p_power_bits": 2430520,
"q_power_bits": 2430520,
"minimum_u_bits": 2430515,
"minimum_v_bits": 2430515,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 486102,
"q_exponent_advance": 306696
},
{
"p_exponent": 2916621,
"q_exponent": 1840183,
"p_power_bits": 2916622,
"q_power_bits": 2916622,
"minimum_u_bits": 2916616,
"minimum_v_bits": 2916616,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 583321,
"q_exponent_advance": 368035
},
{
"p_exponent": 3499942,
"q_exponent": 2208218,
"p_power_bits": 3499943,
"q_power_bits": 3499943,
"minimum_u_bits": 3499937,
"minimum_v_bits": 3499937,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 699986,
"q_exponent_advance": 441642
},
{
"p_exponent": 4199928,
"q_exponent": 2649860,
"p_power_bits": 4199929,
"q_power_bits": 4199929,
"minimum_u_bits": 4199923,
"minimum_v_bits": 4199922,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 839983,
"q_exponent_advance": 529970
},
{
"p_exponent": 5039911,
"q_exponent": 3179830,
"p_power_bits": 5039912,
"q_power_bits": 5039912,
"minimum_u_bits": 5039907,
"minimum_v_bits": 5039906,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1007980,
"q_exponent_advance": 635964
},
{
"p_exponent": 6047891,
"q_exponent": 3815794,
"p_power_bits": 6047892,
"q_power_bits": 6047891,
"minimum_u_bits": 6047884,
"minimum_v_bits": 6047885,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1209574,
"q_exponent_advance": 763157
},
{
"p_exponent": 7257465,
"q_exponent": 4578951,
"p_power_bits": 7257466,
"q_power_bits": 7257466,
"minimum_u_bits": 7257460,
"minimum_v_bits": 7257460,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1451490,
"q_exponent_advance": 915788
},
{
"p_exponent": 8708955,
"q_exponent": 5494739,
"p_power_bits": 8708956,
"q_power_bits": 8708956,
"minimum_u_bits": 8708951,
"minimum_v_bits": 8708951,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1741789,
"q_exponent_advance": 1098946
},
{
"p_exponent": 10450744,
"q_exponent": 6593685,
"p_power_bits": 10450745,
"q_power_bits": 10450744,
"minimum_u_bits": 10450740,
"minimum_v_bits": 10450740,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2090146,
"q_exponent_advance": 1318736
},
{
"p_exponent": 12540890,
"q_exponent": 7912421,
"p_power_bits": 12540891,
"q_power_bits": 12540891,
"minimum_u_bits": 12540884,
"minimum_v_bits": 12540884,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2508175,
"q_exponent_advance": 1582482
},
{
"p_exponent": 15049065,
"q_exponent": 9494903,
"p_power_bits": 15049066,
"q_power_bits": 15049066,
"minimum_u_bits": 15049061,
"minimum_v_bits": 15049060,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3009811,
"q_exponent_advance": 1898979
},
{
"p_exponent": 18058876,
"q_exponent": 11393882,
"p_power_bits": 18058877,
"q_power_bits": 18058876,
"minimum_u_bits": 18058869,
"minimum_v_bits": 18058869,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3611771,
"q_exponent_advance": 2278774
},
{
"p_exponent": 21670647,
"q_exponent": 13672656,
"p_power_bits": 21670648,
"q_power_bits": 21670648,
"minimum_u_bits": 21670642,
"minimum_v_bits": 21670641,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4334126,
"q_exponent_advance": 2734529
},
{
"p_exponent": 26004773,
"q_exponent": 16407185,
"p_power_bits": 26004774,
"q_power_bits": 26004773,
"minimum_u_bits": 26004769,
"minimum_v_bits": 26004769,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5200952,
"q_exponent_advance": 3281436
},
{
"p_exponent": 31205725,
"q_exponent": 19688621,
"p_power_bits": 31205726,
"q_power_bits": 31205726,
"minimum_u_bits": 31205720,
"minimum_v_bits": 31205719,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6241142,
"q_exponent_advance": 3937722
},
{
"p_exponent": 37446867,
"q_exponent": 23626343,
"p_power_bits": 37446868,
"q_power_bits": 37446868,
"minimum_u_bits": 37446862,
"minimum_v_bits": 37446862,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7489371,
"q_exponent_advance": 4725267
},
{
"p_exponent": 44936238,
"q_exponent": 28351610,
"p_power_bits": 44936239,
"q_power_bits": 44936239,
"minimum_u_bits": 44936233,
"minimum_v_bits": 44936233,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8987245,
"q_exponent_advance": 5670320
},
{
"p_exponent": 53923483,
"q_exponent": 34021930,
"p_power_bits": 53923484,
"q_power_bits": 53923484,
"minimum_u_bits": 53923478,
"minimum_v_bits": 53923478,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10784694,
"q_exponent_advance": 6804384
},
{
"p_exponent": 64708177,
"q_exponent": 40826314,
"p_power_bits": 64708178,
"q_power_bits": 64708177,
"minimum_u_bits": 64708171,
"minimum_v_bits": 64708171,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 12941632,
"q_exponent_advance": 8165261
},
{
"p_exponent": 77649809,
"q_exponent": 48991575,
"p_power_bits": 77649810,
"q_power_bits": 77649810,
"minimum_u_bits": 77649805,
"minimum_v_bits": 77649804,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15529959,
"q_exponent_advance": 9798313
}
],
"conclusion": "max(u,v)^5 >= min(p^a*u,q^b*v)^2 throughout the stated height range"
},
{
"pair": [
2,
5
],
"height_cap_power_of_ten": 27027659,
"maximum_difference": 19,
"cofactor_exponent_numerator": 2,
"cofactor_exponent_denominator": 5,
"height_threshold": 421876,
"backend": "gmpy2",
"initial_exponents": [
5,
2
],
"maximum_exponents": [
89783939,
38667838
],
"final_exponents": [
95958718,
41327171
],
"anchor_count": 101,
"exact_boundary_pairs": 47,
"boundary_pairs_sha256": "099204ff76cff87b7885d91916ead43c1a4859570a9469a8b8cafbbc4aa61e41",
"exception_count": 51,
"exceptions": [
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": -18,
"p_cofactor": 1,
"q_cofactor": 2,
"smaller_height": 32,
"larger_height": 50
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": -15,
"p_cofactor": 5,
"q_cofactor": 7,
"smaller_height": 160,
"larger_height": 175
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": -11,
"p_cofactor": 2,
"q_cofactor": 3,
"smaller_height": 64,
"larger_height": 75
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": -8,
"p_cofactor": 6,
"q_cofactor": 8,
"smaller_height": 192,
"larger_height": 200
},
{
"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": 3,
"p_cofactor": 4,
"q_cofactor": 5,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": 7,
"p_cofactor": 1,
"q_cofactor": 1,
"smaller_height": 25,
"larger_height": 32
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": 10,
"p_cofactor": 5,
"q_cofactor": 6,
"smaller_height": 150,
"larger_height": 160
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": 14,
"p_cofactor": 2,
"q_cofactor": 2,
"smaller_height": 50,
"larger_height": 64
},
{
"p_exponent": 5,
"q_exponent": 2,
"signed_difference": 17,
"p_cofactor": 6,
"q_cofactor": 7,
"smaller_height": 175,
"larger_height": 192
},
{
"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": -11,
"p_cofactor": 1,
"q_cofactor": 3,
"smaller_height": 64,
"larger_height": 75
},
{
"p_exponent": 6,
"q_exponent": 2,
"signed_difference": -8,
"p_cofactor": 3,
"q_cofactor": 8,
"smaller_height": 192,
"larger_height": 200
},
{
"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": 14,
"p_cofactor": 1,
"q_cofactor": 2,
"smaller_height": 50,
"larger_height": 64
},
{
"p_exponent": 6,
"q_exponent": 2,
"signed_difference": 17,
"p_cofactor": 3,
"q_cofactor": 7,
"smaller_height": 175,
"larger_height": 192
},
{
"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": 6,
"q_exponent": 3,
"signed_difference": 9,
"p_cofactor": 6,
"q_cofactor": 3,
"smaller_height": 375,
"larger_height": 384
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": 12,
"p_cofactor": 8,
"q_cofactor": 4,
"smaller_height": 500,
"larger_height": 512
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": 15,
"p_cofactor": 10,
"q_cofactor": 5,
"smaller_height": 625,
"larger_height": 640
},
{
"p_exponent": 6,
"q_exponent": 3,
"signed_difference": 18,
"p_cofactor": 12,
"q_cofactor": 6,
"smaller_height": 750,
"larger_height": 768
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": 15,
"p_cofactor": 10,
"q_cofactor": 1,
"smaller_height": 625,
"larger_height": 640
},
{
"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": 3,
"signed_difference": 3,
"p_cofactor": 1,
"q_cofactor": 1,
"smaller_height": 125,
"larger_height": 128
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 6,
"p_cofactor": 2,
"q_cofactor": 2,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 9,
"p_cofactor": 3,
"q_cofactor": 3,
"smaller_height": 375,
"larger_height": 384
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 12,
"p_cofactor": 4,
"q_cofactor": 4,
"smaller_height": 500,
"larger_height": 512
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 15,
"p_cofactor": 5,
"q_cofactor": 5,
"smaller_height": 625,
"larger_height": 640
},
{
"p_exponent": 7,
"q_exponent": 3,
"signed_difference": 18,
"p_cofactor": 6,
"q_cofactor": 6,
"smaller_height": 750,
"larger_height": 768
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": 15,
"p_cofactor": 5,
"q_cofactor": 1,
"smaller_height": 625,
"larger_height": 640
},
{
"p_exponent": 8,
"q_exponent": 3,
"signed_difference": 6,
"p_cofactor": 1,
"q_cofactor": 2,
"smaller_height": 250,
"larger_height": 256
},
{
"p_exponent": 8,
"q_exponent": 3,
"signed_difference": 12,
"p_cofactor": 2,
"q_cofactor": 4,
"smaller_height": 500,
"larger_height": 512
},
{
"p_exponent": 8,
"q_exponent": 3,
"signed_difference": 18,
"p_cofactor": 3,
"q_cofactor": 6,
"smaller_height": 750,
"larger_height": 768
},
{
"p_exponent": 8,
"q_exponent": 4,
"signed_difference": -16,
"p_cofactor": 39,
"q_cofactor": 16,
"smaller_height": 9984,
"larger_height": 10000
},
{
"p_exponent": 8,
"q_exponent": 4,
"signed_difference": 7,
"p_cofactor": 22,
"q_cofactor": 9,
"smaller_height": 5625,
"larger_height": 5632
},
{
"p_exponent": 9,
"q_exponent": 3,
"signed_difference": 12,
"p_cofactor": 1,
"q_cofactor": 4,
"smaller_height": 500,
"larger_height": 512
},
{
"p_exponent": 9,
"q_exponent": 4,
"signed_difference": -18,
"p_cofactor": 61,
"q_cofactor": 50,
"smaller_height": 31232,
"larger_height": 31250
},
{
"p_exponent": 9,
"q_exponent": 4,
"signed_difference": 7,
"p_cofactor": 11,
"q_cofactor": 9,
"smaller_height": 5625,
"larger_height": 5632
},
{
"p_exponent": 9,
"q_exponent": 4,
"signed_difference": 14,
"p_cofactor": 22,
"q_cofactor": 18,
"smaller_height": 11250,
"larger_height": 11264
},
{
"p_exponent": 9,
"q_exponent": 5,
"signed_difference": -18,
"p_cofactor": 61,
"q_cofactor": 10,
"smaller_height": 31232,
"larger_height": 31250
},
{
"p_exponent": 9,
"q_exponent": 6,
"signed_difference": -18,
"p_cofactor": 61,
"q_cofactor": 2,
"smaller_height": 31232,
"larger_height": 31250
},
{
"p_exponent": 10,
"q_exponent": 4,
"signed_difference": -11,
"p_cofactor": 36,
"q_cofactor": 59,
"smaller_height": 36864,
"larger_height": 36875
},
{
"p_exponent": 10,
"q_exponent": 4,
"signed_difference": 14,
"p_cofactor": 11,
"q_cofactor": 18,
"smaller_height": 11250,
"larger_height": 11264
},
{
"p_exponent": 10,
"q_exponent": 5,
"signed_difference": 17,
"p_cofactor": 58,
"q_cofactor": 19,
"smaller_height": 59375,
"larger_height": 59392
},
{
"p_exponent": 11,
"q_exponent": 4,
"signed_difference": -11,
"p_cofactor": 18,
"q_cofactor": 59,
"smaller_height": 36864,
"larger_height": 36875
},
{
"p_exponent": 11,
"q_exponent": 5,
"signed_difference": 17,
"p_cofactor": 29,
"q_cofactor": 19,
"smaller_height": 59375,
"larger_height": 59392
},
{
"p_exponent": 12,
"q_exponent": 4,
"signed_difference": -11,
"p_cofactor": 9,
"q_cofactor": 59,
"smaller_height": 36864,
"larger_height": 36875
},
{
"p_exponent": 12,
"q_exponent": 5,
"signed_difference": 13,
"p_cofactor": 103,
"q_cofactor": 135,
"smaller_height": 421875,
"larger_height": 421888
},
{
"p_exponent": 12,
"q_exponent": 6,
"signed_difference": 13,
"p_cofactor": 103,
"q_cofactor": 27,
"smaller_height": 421875,
"larger_height": 421888
}
],
"anchors": [
{
"p_exponent": 5,
"q_exponent": 2,
"p_power_bits": 6,
"q_power_bits": 5,
"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": 6,
"q_exponent": 3,
"p_power_bits": 7,
"q_power_bits": 7,
"minimum_u_bits": 2,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 7,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 7,
"q_exponent": 4,
"p_power_bits": 8,
"q_power_bits": 10,
"minimum_u_bits": 3,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 10,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 8,
"q_exponent": 5,
"p_power_bits": 9,
"q_power_bits": 12,
"minimum_u_bits": 6,
"minimum_v_bits": 3,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 9,
"q_exponent": 5,
"p_power_bits": 10,
"q_power_bits": 12,
"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": 10,
"q_exponent": 6,
"p_power_bits": 11,
"q_power_bits": 14,
"minimum_u_bits": 9,
"minimum_v_bits": 5,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 0
},
{
"p_exponent": 12,
"q_exponent": 6,
"p_power_bits": 13,
"q_power_bits": 14,
"minimum_u_bits": 7,
"minimum_v_bits": 5,
"method": "exact boundary lines",
"boundary_pairs": 14,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 13,
"q_exponent": 7,
"p_power_bits": 14,
"q_power_bits": 17,
"minimum_u_bits": 12,
"minimum_v_bits": 9,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 0
},
{
"p_exponent": 15,
"q_exponent": 7,
"p_power_bits": 16,
"q_power_bits": 17,
"minimum_u_bits": 12,
"minimum_v_bits": 11,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 16,
"q_exponent": 7,
"p_power_bits": 17,
"q_power_bits": 17,
"minimum_u_bits": 12,
"minimum_v_bits": 12,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 17,
"q_exponent": 8,
"p_power_bits": 18,
"q_power_bits": 19,
"minimum_u_bits": 14,
"minimum_v_bits": 12,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 0
},
{
"p_exponent": 19,
"q_exponent": 8,
"p_power_bits": 20,
"q_power_bits": 19,
"minimum_u_bits": 14,
"minimum_v_bits": 14,
"method": "coefficient lower-bound strips",
"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": 17,
"minimum_v_bits": 16,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 22,
"q_exponent": 10,
"p_power_bits": 23,
"q_power_bits": 24,
"minimum_u_bits": 19,
"minimum_v_bits": 18,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 25,
"q_exponent": 11,
"p_power_bits": 26,
"q_power_bits": 26,
"minimum_u_bits": 20,
"minimum_v_bits": 19,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 27,
"q_exponent": 12,
"p_power_bits": 28,
"q_power_bits": 28,
"minimum_u_bits": 23,
"minimum_v_bits": 22,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 1
},
{
"p_exponent": 30,
"q_exponent": 13,
"p_power_bits": 31,
"q_power_bits": 31,
"minimum_u_bits": 25,
"minimum_v_bits": 25,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 33,
"q_exponent": 15,
"p_power_bits": 34,
"q_power_bits": 35,
"minimum_u_bits": 30,
"minimum_v_bits": 29,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5,
"q_exponent_advance": 2
},
{
"p_exponent": 38,
"q_exponent": 17,
"p_power_bits": 39,
"q_power_bits": 40,
"minimum_u_bits": 35,
"minimum_v_bits": 33,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6,
"q_exponent_advance": 2
},
{
"p_exponent": 44,
"q_exponent": 19,
"p_power_bits": 45,
"q_power_bits": 45,
"minimum_u_bits": 38,
"minimum_v_bits": 38,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6,
"q_exponent_advance": 3
},
{
"p_exponent": 50,
"q_exponent": 22,
"p_power_bits": 51,
"q_power_bits": 52,
"minimum_u_bits": 47,
"minimum_v_bits": 46,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8,
"q_exponent_advance": 3
},
{
"p_exponent": 58,
"q_exponent": 25,
"p_power_bits": 59,
"q_power_bits": 59,
"minimum_u_bits": 54,
"minimum_v_bits": 54,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 9,
"q_exponent_advance": 4
},
{
"p_exponent": 67,
"q_exponent": 29,
"p_power_bits": 68,
"q_power_bits": 68,
"minimum_u_bits": 61,
"minimum_v_bits": 61,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10,
"q_exponent_advance": 5
},
{
"p_exponent": 77,
"q_exponent": 34,
"p_power_bits": 78,
"q_power_bits": 79,
"minimum_u_bits": 73,
"minimum_v_bits": 71,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 13,
"q_exponent_advance": 5
},
{
"p_exponent": 90,
"q_exponent": 39,
"p_power_bits": 91,
"q_power_bits": 91,
"minimum_u_bits": 84,
"minimum_v_bits": 84,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15,
"q_exponent_advance": 6
},
{
"p_exponent": 105,
"q_exponent": 45,
"p_power_bits": 106,
"q_power_bits": 105,
"minimum_u_bits": 99,
"minimum_v_bits": 100,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 18,
"q_exponent_advance": 8
},
{
"p_exponent": 123,
"q_exponent": 53,
"p_power_bits": 124,
"q_power_bits": 124,
"minimum_u_bits": 118,
"minimum_v_bits": 117,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 22,
"q_exponent_advance": 10
},
{
"p_exponent": 145,
"q_exponent": 63,
"p_power_bits": 146,
"q_power_bits": 147,
"minimum_u_bits": 141,
"minimum_v_bits": 140,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 27,
"q_exponent_advance": 11
},
{
"p_exponent": 172,
"q_exponent": 74,
"p_power_bits": 173,
"q_power_bits": 172,
"minimum_u_bits": 167,
"minimum_v_bits": 167,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 31,
"q_exponent_advance": 14
},
{
"p_exponent": 203,
"q_exponent": 88,
"p_power_bits": 204,
"q_power_bits": 205,
"minimum_u_bits": 199,
"minimum_v_bits": 198,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 39,
"q_exponent_advance": 16
},
{
"p_exponent": 242,
"q_exponent": 104,
"p_power_bits": 243,
"q_power_bits": 242,
"minimum_u_bits": 237,
"minimum_v_bits": 238,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 46,
"q_exponent_advance": 20
},
{
"p_exponent": 288,
"q_exponent": 124,
"p_power_bits": 289,
"q_power_bits": 288,
"minimum_u_bits": 283,
"minimum_v_bits": 283,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 55,
"q_exponent_advance": 24
},
{
"p_exponent": 343,
"q_exponent": 148,
"p_power_bits": 344,
"q_power_bits": 344,
"minimum_u_bits": 339,
"minimum_v_bits": 338,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 66,
"q_exponent_advance": 28
},
{
"p_exponent": 409,
"q_exponent": 176,
"p_power_bits": 410,
"q_power_bits": 409,
"minimum_u_bits": 401,
"minimum_v_bits": 402,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 77,
"q_exponent_advance": 34
},
{
"p_exponent": 486,
"q_exponent": 210,
"p_power_bits": 487,
"q_power_bits": 488,
"minimum_u_bits": 483,
"minimum_v_bits": 482,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 96,
"q_exponent_advance": 41
},
{
"p_exponent": 582,
"q_exponent": 251,
"p_power_bits": 583,
"q_power_bits": 583,
"minimum_u_bits": 577,
"minimum_v_bits": 576,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 114,
"q_exponent_advance": 49
},
{
"p_exponent": 696,
"q_exponent": 300,
"p_power_bits": 697,
"q_power_bits": 697,
"minimum_u_bits": 692,
"minimum_v_bits": 692,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 137,
"q_exponent_advance": 59
},
{
"p_exponent": 833,
"q_exponent": 359,
"p_power_bits": 834,
"q_power_bits": 834,
"minimum_u_bits": 829,
"minimum_v_bits": 829,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 165,
"q_exponent_advance": 71
},
{
"p_exponent": 998,
"q_exponent": 430,
"p_power_bits": 999,
"q_power_bits": 999,
"minimum_u_bits": 995,
"minimum_v_bits": 994,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 198,
"q_exponent_advance": 85
},
{
"p_exponent": 1196,
"q_exponent": 515,
"p_power_bits": 1197,
"q_power_bits": 1196,
"minimum_u_bits": 1190,
"minimum_v_bits": 1190,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 236,
"q_exponent_advance": 102
},
{
"p_exponent": 1432,
"q_exponent": 617,
"p_power_bits": 1433,
"q_power_bits": 1433,
"minimum_u_bits": 1428,
"minimum_v_bits": 1427,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 284,
"q_exponent_advance": 122
},
{
"p_exponent": 1716,
"q_exponent": 739,
"p_power_bits": 1717,
"q_power_bits": 1716,
"minimum_u_bits": 1712,
"minimum_v_bits": 1712,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 341,
"q_exponent_advance": 147
},
{
"p_exponent": 2057,
"q_exponent": 886,
"p_power_bits": 2058,
"q_power_bits": 2058,
"minimum_u_bits": 2053,
"minimum_v_bits": 2052,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 409,
"q_exponent_advance": 176
},
{
"p_exponent": 2466,
"q_exponent": 1062,
"p_power_bits": 2467,
"q_power_bits": 2466,
"minimum_u_bits": 2461,
"minimum_v_bits": 2461,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 491,
"q_exponent_advance": 212
},
{
"p_exponent": 2957,
"q_exponent": 1274,
"p_power_bits": 2958,
"q_power_bits": 2959,
"minimum_u_bits": 2949,
"minimum_v_bits": 2948,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 587,
"q_exponent_advance": 252
},
{
"p_exponent": 3544,
"q_exponent": 1526,
"p_power_bits": 3545,
"q_power_bits": 3544,
"minimum_u_bits": 3539,
"minimum_v_bits": 3539,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 706,
"q_exponent_advance": 305
},
{
"p_exponent": 4250,
"q_exponent": 1831,
"p_power_bits": 4251,
"q_power_bits": 4252,
"minimum_u_bits": 4247,
"minimum_v_bits": 4246,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 849,
"q_exponent_advance": 365
},
{
"p_exponent": 5099,
"q_exponent": 2196,
"p_power_bits": 5100,
"q_power_bits": 5099,
"minimum_u_bits": 5088,
"minimum_v_bits": 5088,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1014,
"q_exponent_advance": 437
},
{
"p_exponent": 6113,
"q_exponent": 2633,
"p_power_bits": 6114,
"q_power_bits": 6114,
"minimum_u_bits": 6109,
"minimum_v_bits": 6109,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1221,
"q_exponent_advance": 526
},
{
"p_exponent": 7334,
"q_exponent": 3159,
"p_power_bits": 7335,
"q_power_bits": 7335,
"minimum_u_bits": 7330,
"minimum_v_bits": 7329,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1465,
"q_exponent_advance": 631
},
{
"p_exponent": 8799,
"q_exponent": 3790,
"p_power_bits": 8800,
"q_power_bits": 8801,
"minimum_u_bits": 8796,
"minimum_v_bits": 8795,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1758,
"q_exponent_advance": 757
},
{
"p_exponent": 10557,
"q_exponent": 4547,
"p_power_bits": 10558,
"q_power_bits": 10558,
"minimum_u_bits": 10553,
"minimum_v_bits": 10552,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2109,
"q_exponent_advance": 908
},
{
"p_exponent": 12666,
"q_exponent": 5455,
"p_power_bits": 12667,
"q_power_bits": 12667,
"minimum_u_bits": 12661,
"minimum_v_bits": 12661,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2531,
"q_exponent_advance": 1090
},
{
"p_exponent": 15197,
"q_exponent": 6545,
"p_power_bits": 15198,
"q_power_bits": 15198,
"minimum_u_bits": 15190,
"minimum_v_bits": 15190,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3035,
"q_exponent_advance": 1308
},
{
"p_exponent": 18232,
"q_exponent": 7853,
"p_power_bits": 18233,
"q_power_bits": 18235,
"minimum_u_bits": 18229,
"minimum_v_bits": 18227,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3645,
"q_exponent_advance": 1569
},
{
"p_exponent": 21877,
"q_exponent": 9422,
"p_power_bits": 21878,
"q_power_bits": 21878,
"minimum_u_bits": 21873,
"minimum_v_bits": 21873,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4373,
"q_exponent_advance": 1884
},
{
"p_exponent": 26250,
"q_exponent": 11306,
"p_power_bits": 26251,
"q_power_bits": 26252,
"minimum_u_bits": 26247,
"minimum_v_bits": 26245,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5248,
"q_exponent_advance": 2260
},
{
"p_exponent": 31498,
"q_exponent": 13566,
"p_power_bits": 31499,
"q_power_bits": 31500,
"minimum_u_bits": 31495,
"minimum_v_bits": 31493,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6298,
"q_exponent_advance": 2712
},
{
"p_exponent": 37796,
"q_exponent": 16278,
"p_power_bits": 37797,
"q_power_bits": 37797,
"minimum_u_bits": 37791,
"minimum_v_bits": 37791,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7557,
"q_exponent_advance": 3255
},
{
"p_exponent": 45353,
"q_exponent": 19533,
"p_power_bits": 45354,
"q_power_bits": 45355,
"minimum_u_bits": 45349,
"minimum_v_bits": 45347,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 9068,
"q_exponent_advance": 3905
},
{
"p_exponent": 54421,
"q_exponent": 23438,
"p_power_bits": 54422,
"q_power_bits": 54422,
"minimum_u_bits": 54416,
"minimum_v_bits": 54416,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10881,
"q_exponent_advance": 4686
},
{
"p_exponent": 65302,
"q_exponent": 28124,
"p_power_bits": 65303,
"q_power_bits": 65302,
"minimum_u_bits": 65296,
"minimum_v_bits": 65297,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 13057,
"q_exponent_advance": 5624
},
{
"p_exponent": 78359,
"q_exponent": 33748,
"p_power_bits": 78360,
"q_power_bits": 78361,
"minimum_u_bits": 78353,
"minimum_v_bits": 78352,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15669,
"q_exponent_advance": 6748
},
{
"p_exponent": 94028,
"q_exponent": 40496,
"p_power_bits": 94029,
"q_power_bits": 94029,
"minimum_u_bits": 94022,
"minimum_v_bits": 94022,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 18802,
"q_exponent_advance": 8098
},
{
"p_exponent": 112830,
"q_exponent": 48594,
"p_power_bits": 112831,
"q_power_bits": 112832,
"minimum_u_bits": 112827,
"minimum_v_bits": 112825,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 22564,
"q_exponent_advance": 9717
},
{
"p_exponent": 135394,
"q_exponent": 58311,
"p_power_bits": 135395,
"q_power_bits": 135394,
"minimum_u_bits": 135389,
"minimum_v_bits": 135389,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 27076,
"q_exponent_advance": 11661
},
{
"p_exponent": 162470,
"q_exponent": 69972,
"p_power_bits": 162471,
"q_power_bits": 162470,
"minimum_u_bits": 162466,
"minimum_v_bits": 162466,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 32492,
"q_exponent_advance": 13994
},
{
"p_exponent": 194962,
"q_exponent": 83966,
"p_power_bits": 194963,
"q_power_bits": 194964,
"minimum_u_bits": 194957,
"minimum_v_bits": 194956,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 38990,
"q_exponent_advance": 16792
},
{
"p_exponent": 233952,
"q_exponent": 100758,
"p_power_bits": 233953,
"q_power_bits": 233953,
"minimum_u_bits": 233948,
"minimum_v_bits": 233948,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 46788,
"q_exponent_advance": 20151
},
{
"p_exponent": 280740,
"q_exponent": 120909,
"p_power_bits": 280741,
"q_power_bits": 280743,
"minimum_u_bits": 280738,
"minimum_v_bits": 280736,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 56147,
"q_exponent_advance": 24181
},
{
"p_exponent": 336887,
"q_exponent": 145090,
"p_power_bits": 336888,
"q_power_bits": 336889,
"minimum_u_bits": 336884,
"minimum_v_bits": 336883,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 67376,
"q_exponent_advance": 29017
},
{
"p_exponent": 404263,
"q_exponent": 174107,
"p_power_bits": 404264,
"q_power_bits": 404264,
"minimum_u_bits": 404258,
"minimum_v_bits": 404257,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 80850,
"q_exponent_advance": 34820
},
{
"p_exponent": 485113,
"q_exponent": 208927,
"p_power_bits": 485114,
"q_power_bits": 485114,
"minimum_u_bits": 485104,
"minimum_v_bits": 485103,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 97017,
"q_exponent_advance": 41783
},
{
"p_exponent": 582130,
"q_exponent": 250710,
"p_power_bits": 582131,
"q_power_bits": 582131,
"minimum_u_bits": 582124,
"minimum_v_bits": 582123,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 116423,
"q_exponent_advance": 50141
},
{
"p_exponent": 698553,
"q_exponent": 300851,
"p_power_bits": 698554,
"q_power_bits": 698555,
"minimum_u_bits": 698549,
"minimum_v_bits": 698548,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 139708,
"q_exponent_advance": 60169
},
{
"p_exponent": 838261,
"q_exponent": 361020,
"p_power_bits": 838262,
"q_power_bits": 838263,
"minimum_u_bits": 838256,
"minimum_v_bits": 838255,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 167650,
"q_exponent_advance": 72202
},
{
"p_exponent": 1005911,
"q_exponent": 433222,
"p_power_bits": 1005912,
"q_power_bits": 1005911,
"minimum_u_bits": 1005906,
"minimum_v_bits": 1005907,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 201180,
"q_exponent_advance": 86644
},
{
"p_exponent": 1207091,
"q_exponent": 519866,
"p_power_bits": 1207092,
"q_power_bits": 1207092,
"minimum_u_bits": 1207083,
"minimum_v_bits": 1207083,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 241414,
"q_exponent_advance": 103971
},
{
"p_exponent": 1448505,
"q_exponent": 623837,
"p_power_bits": 1448506,
"q_power_bits": 1448505,
"minimum_u_bits": 1448499,
"minimum_v_bits": 1448499,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 289698,
"q_exponent_advance": 124766
},
{
"p_exponent": 1738203,
"q_exponent": 748603,
"p_power_bits": 1738204,
"q_power_bits": 1738203,
"minimum_u_bits": 1738198,
"minimum_v_bits": 1738198,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 347638,
"q_exponent_advance": 149720
},
{
"p_exponent": 2085841,
"q_exponent": 898323,
"p_power_bits": 2085842,
"q_power_bits": 2085842,
"minimum_u_bits": 2085835,
"minimum_v_bits": 2085835,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 417165,
"q_exponent_advance": 179663
},
{
"p_exponent": 2503006,
"q_exponent": 1077986,
"p_power_bits": 2503007,
"q_power_bits": 2503006,
"minimum_u_bits": 2503000,
"minimum_v_bits": 2503000,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 500598,
"q_exponent_advance": 215596
},
{
"p_exponent": 3003604,
"q_exponent": 1293582,
"p_power_bits": 3003605,
"q_power_bits": 3003605,
"minimum_u_bits": 3003600,
"minimum_v_bits": 3003599,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 600718,
"q_exponent_advance": 258715
},
{
"p_exponent": 3604322,
"q_exponent": 1552297,
"p_power_bits": 3604323,
"q_power_bits": 3604323,
"minimum_u_bits": 3604316,
"minimum_v_bits": 3604316,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 720861,
"q_exponent_advance": 310458
},
{
"p_exponent": 4325183,
"q_exponent": 1862755,
"p_power_bits": 4325184,
"q_power_bits": 4325184,
"minimum_u_bits": 4325179,
"minimum_v_bits": 4325179,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 865034,
"q_exponent_advance": 372550
},
{
"p_exponent": 5190217,
"q_exponent": 2235305,
"p_power_bits": 5190218,
"q_power_bits": 5190218,
"minimum_u_bits": 5190213,
"minimum_v_bits": 5190213,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1038041,
"q_exponent_advance": 447060
},
{
"p_exponent": 6228258,
"q_exponent": 2682365,
"p_power_bits": 6228259,
"q_power_bits": 6228259,
"minimum_u_bits": 6228253,
"minimum_v_bits": 6228252,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1245649,
"q_exponent_advance": 536472
},
{
"p_exponent": 7473907,
"q_exponent": 3218837,
"p_power_bits": 7473908,
"q_power_bits": 7473909,
"minimum_u_bits": 7473901,
"minimum_v_bits": 7473900,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1494778,
"q_exponent_advance": 643766
},
{
"p_exponent": 8968685,
"q_exponent": 3862603,
"p_power_bits": 8968686,
"q_power_bits": 8968687,
"minimum_u_bits": 8968683,
"minimum_v_bits": 8968681,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1793736,
"q_exponent_advance": 772520
},
{
"p_exponent": 10762421,
"q_exponent": 4635123,
"p_power_bits": 10762422,
"q_power_bits": 10762423,
"minimum_u_bits": 10762414,
"minimum_v_bits": 10762412,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2152480,
"q_exponent_advance": 927022
},
{
"p_exponent": 12914901,
"q_exponent": 5562145,
"p_power_bits": 12914902,
"q_power_bits": 12914901,
"minimum_u_bits": 12914897,
"minimum_v_bits": 12914897,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2582978,
"q_exponent_advance": 1112428
},
{
"p_exponent": 15497879,
"q_exponent": 6674573,
"p_power_bits": 15497880,
"q_power_bits": 15497879,
"minimum_u_bits": 15497873,
"minimum_v_bits": 15497874,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3099573,
"q_exponent_advance": 1334914
},
{
"p_exponent": 18597452,
"q_exponent": 8009487,
"p_power_bits": 18597453,
"q_power_bits": 18597453,
"minimum_u_bits": 18597448,
"minimum_v_bits": 18597447,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3719488,
"q_exponent_advance": 1601896
},
{
"p_exponent": 22316940,
"q_exponent": 9611383,
"p_power_bits": 22316941,
"q_power_bits": 22316941,
"minimum_u_bits": 22316936,
"minimum_v_bits": 22316936,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4463386,
"q_exponent_advance": 1922276
},
{
"p_exponent": 26780326,
"q_exponent": 11533659,
"p_power_bits": 26780327,
"q_power_bits": 26780327,
"minimum_u_bits": 26780323,
"minimum_v_bits": 26780322,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5356063,
"q_exponent_advance": 2306731
},
{
"p_exponent": 32136389,
"q_exponent": 13840390,
"p_power_bits": 32136390,
"q_power_bits": 32136391,
"minimum_u_bits": 32136386,
"minimum_v_bits": 32136385,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6427276,
"q_exponent_advance": 2768077
},
{
"p_exponent": 38563665,
"q_exponent": 16608467,
"p_power_bits": 38563666,
"q_power_bits": 38563667,
"minimum_u_bits": 38563658,
"minimum_v_bits": 38563657,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7712729,
"q_exponent_advance": 3321691
},
{
"p_exponent": 46276394,
"q_exponent": 19930158,
"p_power_bits": 46276395,
"q_power_bits": 46276394,
"minimum_u_bits": 46276389,
"minimum_v_bits": 46276389,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 9255276,
"q_exponent_advance": 3986031
},
{
"p_exponent": 55531670,
"q_exponent": 23916189,
"p_power_bits": 55531671,
"q_power_bits": 55531672,
"minimum_u_bits": 55531667,
"minimum_v_bits": 55531666,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 11106332,
"q_exponent_advance": 4783237
},
{
"p_exponent": 66638002,
"q_exponent": 28699426,
"p_power_bits": 66638003,
"q_power_bits": 66638004,
"minimum_u_bits": 66637998,
"minimum_v_bits": 66637997,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 13327598,
"q_exponent_advance": 5739884
},
{
"p_exponent": 79965600,
"q_exponent": 34439310,
"p_power_bits": 79965601,
"q_power_bits": 79965602,
"minimum_u_bits": 79965596,
"minimum_v_bits": 79965594,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15993118,
"q_exponent_advance": 6887861
}
],
"conclusion": "max(u,v)^5 >= min(p^a*u,q^b*v)^2 throughout the stated height range"
},
{
"pair": [
3,
5
],
"height_cap_power_of_ten": 27027659,
"maximum_difference": 19,
"cofactor_exponent_numerator": 2,
"cofactor_exponent_denominator": 5,
"height_threshold": 9624988,
"backend": "gmpy2",
"initial_exponents": [
3,
2
],
"maximum_exponents": [
56647358,
38667838
],
"final_exponents": [
65619850,
44792516
],
"anchor_count": 99,
"exact_boundary_pairs": 32,
"boundary_pairs_sha256": "7c79a085004a116660e6b444ea58e9c9a8e3bca0632bbd944c15ac314acb1288",
"exception_count": 60,
"exceptions": [
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -19,
"p_cofactor": 3,
"q_cofactor": 4,
"smaller_height": 81,
"larger_height": 100
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -17,
"p_cofactor": 4,
"q_cofactor": 5,
"smaller_height": 108,
"larger_height": 125
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -15,
"p_cofactor": 5,
"q_cofactor": 6,
"smaller_height": 135,
"larger_height": 150
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -13,
"p_cofactor": 6,
"q_cofactor": 7,
"smaller_height": 162,
"larger_height": 175
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -11,
"p_cofactor": 7,
"q_cofactor": 8,
"smaller_height": 189,
"larger_height": 200
},
{
"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": 3,
"q_exponent": 2,
"signed_difference": 8,
"p_cofactor": 4,
"q_cofactor": 4,
"smaller_height": 100,
"larger_height": 108
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 10,
"p_cofactor": 5,
"q_cofactor": 5,
"smaller_height": 125,
"larger_height": 135
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 12,
"p_cofactor": 6,
"q_cofactor": 6,
"smaller_height": 150,
"larger_height": 162
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 14,
"p_cofactor": 7,
"q_cofactor": 7,
"smaller_height": 175,
"larger_height": 189
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 16,
"p_cofactor": 8,
"q_cofactor": 8,
"smaller_height": 200,
"larger_height": 216
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": -17,
"p_cofactor": 4,
"q_cofactor": 1,
"smaller_height": 108,
"larger_height": 125
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": 10,
"p_cofactor": 5,
"q_cofactor": 1,
"smaller_height": 125,
"larger_height": 135
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": -19,
"p_cofactor": 1,
"q_cofactor": 4,
"smaller_height": 81,
"larger_height": 100
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": -13,
"p_cofactor": 2,
"q_cofactor": 7,
"smaller_height": 162,
"larger_height": 175
},
{
"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": 2,
"signed_difference": 12,
"p_cofactor": 2,
"q_cofactor": 6,
"smaller_height": 150,
"larger_height": 162
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -14,
"p_cofactor": 6,
"q_cofactor": 4,
"smaller_height": 486,
"larger_height": 500
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -7,
"p_cofactor": 3,
"q_cofactor": 2,
"smaller_height": 243,
"larger_height": 250
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": 2,
"p_cofactor": 17,
"q_cofactor": 11,
"smaller_height": 1375,
"larger_height": 1377
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": 9,
"p_cofactor": 14,
"q_cofactor": 9,
"smaller_height": 1125,
"larger_height": 1134
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": 16,
"p_cofactor": 11,
"q_cofactor": 7,
"smaller_height": 875,
"larger_height": 891
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -14,
"p_cofactor": 2,
"q_cofactor": 4,
"smaller_height": 486,
"larger_height": 500
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -7,
"p_cofactor": 1,
"q_cofactor": 2,
"smaller_height": 243,
"larger_height": 250
},
{
"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": 4,
"signed_difference": -10,
"p_cofactor": 60,
"q_cofactor": 70,
"smaller_height": 43740,
"larger_height": 43750
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -9,
"p_cofactor": 54,
"q_cofactor": 63,
"smaller_height": 39366,
"larger_height": 39375
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -8,
"p_cofactor": 48,
"q_cofactor": 56,
"smaller_height": 34992,
"larger_height": 35000
},
{
"p_exponent": 6,
"q_exponent": 4,
"signed_difference": -7,
"p_cofactor": 42,
"q_cofactor": 49,
"smaller_height": 30618,
"larger_height": 30625
},
{
"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": -10,
"p_cofactor": 60,
"q_cofactor": 14,
"smaller_height": 43740,
"larger_height": 43750
},
{
"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": 4,
"signed_difference": -10,
"p_cofactor": 20,
"q_cofactor": 70,
"smaller_height": 43740,
"larger_height": 43750
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -9,
"p_cofactor": 18,
"q_cofactor": 63,
"smaller_height": 39366,
"larger_height": 39375
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -8,
"p_cofactor": 16,
"q_cofactor": 56,
"smaller_height": 34992,
"larger_height": 35000
},
{
"p_exponent": 7,
"q_exponent": 4,
"signed_difference": -7,
"p_cofactor": 14,
"q_cofactor": 49,
"smaller_height": 30618,
"larger_height": 30625
},
{
"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": -15,
"p_cofactor": 30,
"q_cofactor": 21,
"smaller_height": 65610,
"larger_height": 65625
},
{
"p_exponent": 7,
"q_exponent": 5,
"signed_difference": -10,
"p_cofactor": 20,
"q_cofactor": 14,
"smaller_height": 43740,
"larger_height": 43750
},
{
"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": -9,
"p_cofactor": 6,
"q_cofactor": 63,
"smaller_height": 39366,
"larger_height": 39375
},
{
"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": -15,
"p_cofactor": 10,
"q_cofactor": 21,
"smaller_height": 65610,
"larger_height": 65625
},
{
"p_exponent": 9,
"q_exponent": 4,
"signed_difference": -9,
"p_cofactor": 2,
"q_cofactor": 63,
"smaller_height": 39366,
"larger_height": 39375
},
{
"p_exponent": 9,
"q_exponent": 6,
"signed_difference": -13,
"p_cofactor": 489,
"q_cofactor": 616,
"smaller_height": 9624987,
"larger_height": 9625000
},
{
"p_exponent": 10,
"q_exponent": 6,
"signed_difference": -13,
"p_cofactor": 163,
"q_cofactor": 616,
"smaller_height": 9624987,
"larger_height": 9625000
}
],
"anchors": [
{
"p_exponent": 3,
"q_exponent": 2,
"p_power_bits": 5,
"q_power_bits": 5,
"minimum_u_bits": 1,
"minimum_v_bits": 1,
"method": "exact boundary lines",
"boundary_pairs": 3,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 4,
"q_exponent": 3,
"p_power_bits": 7,
"q_power_bits": 7,
"minimum_u_bits": 2,
"minimum_v_bits": 2,
"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": 6,
"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": 8,
"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": 10,
"minimum_v_bits": 7,
"method": "coefficient lower-bound strips",
"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": 9,
"minimum_v_bits": 8,
"method": "coefficient lower-bound strips",
"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": 9,
"minimum_v_bits": 10,
"method": "exact boundary lines",
"boundary_pairs": 10,
"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": 12,
"minimum_v_bits": 11,
"method": "coefficient lower-bound strips",
"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": 14,
"minimum_v_bits": 13,
"method": "coefficient lower-bound strips",
"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": "coefficient lower-bound strips",
"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": 16,
"minimum_v_bits": 16,
"method": "coefficient lower-bound strips",
"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": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 16,
"q_exponent": 11,
"p_power_bits": 26,
"q_power_bits": 26,
"minimum_u_bits": 21,
"minimum_v_bits": 21,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 18,
"q_exponent": 12,
"p_power_bits": 29,
"q_power_bits": 28,
"minimum_u_bits": 23,
"minimum_v_bits": 24,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 20,
"q_exponent": 14,
"p_power_bits": 32,
"q_power_bits": 33,
"minimum_u_bits": 26,
"minimum_v_bits": 25,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"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": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 25,
"q_exponent": 17,
"p_power_bits": 40,
"q_power_bits": 40,
"minimum_u_bits": 35,
"minimum_v_bits": 36,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4,
"q_exponent_advance": 3
},
{
"p_exponent": 29,
"q_exponent": 20,
"p_power_bits": 46,
"q_power_bits": 47,
"minimum_u_bits": 41,
"minimum_v_bits": 40,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4,
"q_exponent_advance": 3
},
{
"p_exponent": 33,
"q_exponent": 23,
"p_power_bits": 53,
"q_power_bits": 54,
"minimum_u_bits": 49,
"minimum_v_bits": 48,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6,
"q_exponent_advance": 3
},
{
"p_exponent": 39,
"q_exponent": 26,
"p_power_bits": 62,
"q_power_bits": 61,
"minimum_u_bits": 56,
"minimum_v_bits": 57,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6,
"q_exponent_advance": 5
},
{
"p_exponent": 45,
"q_exponent": 31,
"p_power_bits": 72,
"q_power_bits": 72,
"minimum_u_bits": 68,
"minimum_v_bits": 67,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8,
"q_exponent_advance": 5
},
{
"p_exponent": 53,
"q_exponent": 36,
"p_power_bits": 85,
"q_power_bits": 84,
"minimum_u_bits": 80,
"minimum_v_bits": 80,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 9,
"q_exponent_advance": 7
},
{
"p_exponent": 62,
"q_exponent": 43,
"p_power_bits": 99,
"q_power_bits": 100,
"minimum_u_bits": 93,
"minimum_v_bits": 91,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 11,
"q_exponent_advance": 7
},
{
"p_exponent": 73,
"q_exponent": 50,
"p_power_bits": 116,
"q_power_bits": 117,
"minimum_u_bits": 112,
"minimum_v_bits": 111,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 13,
"q_exponent_advance": 9
},
{
"p_exponent": 86,
"q_exponent": 59,
"p_power_bits": 137,
"q_power_bits": 137,
"minimum_u_bits": 130,
"minimum_v_bits": 129,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15,
"q_exponent_advance": 10
},
{
"p_exponent": 101,
"q_exponent": 69,
"p_power_bits": 161,
"q_power_bits": 161,
"minimum_u_bits": 154,
"minimum_v_bits": 154,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 18,
"q_exponent_advance": 12
},
{
"p_exponent": 119,
"q_exponent": 81,
"p_power_bits": 189,
"q_power_bits": 189,
"minimum_u_bits": 178,
"minimum_v_bits": 179,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 20,
"q_exponent_advance": 14
},
{
"p_exponent": 139,
"q_exponent": 95,
"p_power_bits": 221,
"q_power_bits": 221,
"minimum_u_bits": 216,
"minimum_v_bits": 216,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 26,
"q_exponent_advance": 18
},
{
"p_exponent": 165,
"q_exponent": 113,
"p_power_bits": 262,
"q_power_bits": 263,
"minimum_u_bits": 258,
"minimum_v_bits": 257,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 32,
"q_exponent_advance": 22
},
{
"p_exponent": 197,
"q_exponent": 135,
"p_power_bits": 313,
"q_power_bits": 314,
"minimum_u_bits": 307,
"minimum_v_bits": 306,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 38,
"q_exponent_advance": 25
},
{
"p_exponent": 235,
"q_exponent": 160,
"p_power_bits": 373,
"q_power_bits": 372,
"minimum_u_bits": 367,
"minimum_v_bits": 368,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 45,
"q_exponent_advance": 31
},
{
"p_exponent": 280,
"q_exponent": 191,
"p_power_bits": 444,
"q_power_bits": 444,
"minimum_u_bits": 438,
"minimum_v_bits": 438,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 54,
"q_exponent_advance": 37
},
{
"p_exponent": 334,
"q_exponent": 228,
"p_power_bits": 530,
"q_power_bits": 530,
"minimum_u_bits": 525,
"minimum_v_bits": 525,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 65,
"q_exponent_advance": 45
},
{
"p_exponent": 399,
"q_exponent": 273,
"p_power_bits": 633,
"q_power_bits": 634,
"minimum_u_bits": 628,
"minimum_v_bits": 627,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 78,
"q_exponent_advance": 53
},
{
"p_exponent": 477,
"q_exponent": 326,
"p_power_bits": 757,
"q_power_bits": 757,
"minimum_u_bits": 752,
"minimum_v_bits": 751,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 94,
"q_exponent_advance": 64
},
{
"p_exponent": 571,
"q_exponent": 390,
"p_power_bits": 906,
"q_power_bits": 906,
"minimum_u_bits": 901,
"minimum_v_bits": 900,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 113,
"q_exponent_advance": 77
},
{
"p_exponent": 684,
"q_exponent": 467,
"p_power_bits": 1085,
"q_power_bits": 1085,
"minimum_u_bits": 1079,
"minimum_v_bits": 1079,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 135,
"q_exponent_advance": 92
},
{
"p_exponent": 819,
"q_exponent": 559,
"p_power_bits": 1299,
"q_power_bits": 1298,
"minimum_u_bits": 1290,
"minimum_v_bits": 1290,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 161,
"q_exponent_advance": 110
},
{
"p_exponent": 980,
"q_exponent": 669,
"p_power_bits": 1554,
"q_power_bits": 1554,
"minimum_u_bits": 1549,
"minimum_v_bits": 1549,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 195,
"q_exponent_advance": 133
},
{
"p_exponent": 1175,
"q_exponent": 802,
"p_power_bits": 1863,
"q_power_bits": 1863,
"minimum_u_bits": 1856,
"minimum_v_bits": 1856,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 233,
"q_exponent_advance": 159
},
{
"p_exponent": 1408,
"q_exponent": 961,
"p_power_bits": 2232,
"q_power_bits": 2232,
"minimum_u_bits": 2227,
"minimum_v_bits": 2227,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 280,
"q_exponent_advance": 191
},
{
"p_exponent": 1688,
"q_exponent": 1152,
"p_power_bits": 2676,
"q_power_bits": 2675,
"minimum_u_bits": 2663,
"minimum_v_bits": 2664,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 333,
"q_exponent_advance": 228
},
{
"p_exponent": 2021,
"q_exponent": 1380,
"p_power_bits": 3204,
"q_power_bits": 3205,
"minimum_u_bits": 3199,
"minimum_v_bits": 3197,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 403,
"q_exponent_advance": 275
},
{
"p_exponent": 2424,
"q_exponent": 1655,
"p_power_bits": 3842,
"q_power_bits": 3843,
"minimum_u_bits": 3836,
"minimum_v_bits": 3835,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 483,
"q_exponent_advance": 329
},
{
"p_exponent": 2907,
"q_exponent": 1984,
"p_power_bits": 4608,
"q_power_bits": 4607,
"minimum_u_bits": 4599,
"minimum_v_bits": 4600,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 579,
"q_exponent_advance": 395
},
{
"p_exponent": 3486,
"q_exponent": 2379,
"p_power_bits": 5526,
"q_power_bits": 5524,
"minimum_u_bits": 5516,
"minimum_v_bits": 5518,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 694,
"q_exponent_advance": 475
},
{
"p_exponent": 4180,
"q_exponent": 2854,
"p_power_bits": 6626,
"q_power_bits": 6627,
"minimum_u_bits": 6622,
"minimum_v_bits": 6621,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 835,
"q_exponent_advance": 570
},
{
"p_exponent": 5015,
"q_exponent": 3424,
"p_power_bits": 7949,
"q_power_bits": 7951,
"minimum_u_bits": 7946,
"minimum_v_bits": 7944,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1002,
"q_exponent_advance": 684
},
{
"p_exponent": 6017,
"q_exponent": 4108,
"p_power_bits": 9537,
"q_power_bits": 9539,
"minimum_u_bits": 9531,
"minimum_v_bits": 9530,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1202,
"q_exponent_advance": 820
},
{
"p_exponent": 7219,
"q_exponent": 4928,
"p_power_bits": 11442,
"q_power_bits": 11443,
"minimum_u_bits": 11437,
"minimum_v_bits": 11437,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1442,
"q_exponent_advance": 985
},
{
"p_exponent": 8661,
"q_exponent": 5913,
"p_power_bits": 13728,
"q_power_bits": 13730,
"minimum_u_bits": 13725,
"minimum_v_bits": 13723,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1732,
"q_exponent_advance": 1181
},
{
"p_exponent": 10393,
"q_exponent": 7094,
"p_power_bits": 16473,
"q_power_bits": 16472,
"minimum_u_bits": 16467,
"minimum_v_bits": 16467,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2077,
"q_exponent_advance": 1418
},
{
"p_exponent": 12470,
"q_exponent": 8512,
"p_power_bits": 19765,
"q_power_bits": 19765,
"minimum_u_bits": 19756,
"minimum_v_bits": 19756,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2491,
"q_exponent_advance": 1701
},
{
"p_exponent": 14961,
"q_exponent": 10213,
"p_power_bits": 23713,
"q_power_bits": 23714,
"minimum_u_bits": 23707,
"minimum_v_bits": 23706,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2990,
"q_exponent_advance": 2041
},
{
"p_exponent": 17951,
"q_exponent": 12254,
"p_power_bits": 28452,
"q_power_bits": 28453,
"minimum_u_bits": 28448,
"minimum_v_bits": 28447,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3589,
"q_exponent_advance": 2450
},
{
"p_exponent": 21540,
"q_exponent": 14704,
"p_power_bits": 34141,
"q_power_bits": 34142,
"minimum_u_bits": 34137,
"minimum_v_bits": 34136,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4307,
"q_exponent_advance": 2940
},
{
"p_exponent": 25847,
"q_exponent": 17644,
"p_power_bits": 40967,
"q_power_bits": 40969,
"minimum_u_bits": 40960,
"minimum_v_bits": 40958,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5167,
"q_exponent_advance": 3527
},
{
"p_exponent": 31014,
"q_exponent": 21171,
"p_power_bits": 49157,
"q_power_bits": 49158,
"minimum_u_bits": 49151,
"minimum_v_bits": 49149,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6201,
"q_exponent_advance": 4232
},
{
"p_exponent": 37215,
"q_exponent": 25403,
"p_power_bits": 58985,
"q_power_bits": 58984,
"minimum_u_bits": 58976,
"minimum_v_bits": 58976,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7440,
"q_exponent_advance": 5079
},
{
"p_exponent": 44655,
"q_exponent": 30482,
"p_power_bits": 70777,
"q_power_bits": 70778,
"minimum_u_bits": 70770,
"minimum_v_bits": 70770,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8929,
"q_exponent_advance": 6095
},
{
"p_exponent": 53584,
"q_exponent": 36577,
"p_power_bits": 84929,
"q_power_bits": 84930,
"minimum_u_bits": 84923,
"minimum_v_bits": 84923,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10715,
"q_exponent_advance": 7314
},
{
"p_exponent": 64299,
"q_exponent": 43891,
"p_power_bits": 101912,
"q_power_bits": 101912,
"minimum_u_bits": 101907,
"minimum_v_bits": 101907,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 12858,
"q_exponent_advance": 8777
},
{
"p_exponent": 77157,
"q_exponent": 52668,
"p_power_bits": 122291,
"q_power_bits": 122292,
"minimum_u_bits": 122286,
"minimum_v_bits": 122286,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15430,
"q_exponent_advance": 10533
},
{
"p_exponent": 92587,
"q_exponent": 63201,
"p_power_bits": 146747,
"q_power_bits": 146749,
"minimum_u_bits": 146743,
"minimum_v_bits": 146742,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 18516,
"q_exponent_advance": 12639
},
{
"p_exponent": 111103,
"q_exponent": 75840,
"p_power_bits": 176095,
"q_power_bits": 176096,
"minimum_u_bits": 176087,
"minimum_v_bits": 176086,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 22218,
"q_exponent_advance": 15166
},
{
"p_exponent": 133321,
"q_exponent": 91006,
"p_power_bits": 211309,
"q_power_bits": 211310,
"minimum_u_bits": 211305,
"minimum_v_bits": 211305,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 26663,
"q_exponent_advance": 18200
},
{
"p_exponent": 159984,
"q_exponent": 109206,
"p_power_bits": 253569,
"q_power_bits": 253569,
"minimum_u_bits": 253561,
"minimum_v_bits": 253561,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 31994,
"q_exponent_advance": 21840
},
{
"p_exponent": 191978,
"q_exponent": 131046,
"p_power_bits": 304278,
"q_power_bits": 304280,
"minimum_u_bits": 304273,
"minimum_v_bits": 304271,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 38394,
"q_exponent_advance": 26208
},
{
"p_exponent": 230372,
"q_exponent": 157254,
"p_power_bits": 365131,
"q_power_bits": 365133,
"minimum_u_bits": 365128,
"minimum_v_bits": 365126,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 46074,
"q_exponent_advance": 31450
},
{
"p_exponent": 276446,
"q_exponent": 188704,
"p_power_bits": 438157,
"q_power_bits": 438158,
"minimum_u_bits": 438149,
"minimum_v_bits": 438149,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 55287,
"q_exponent_advance": 37739
},
{
"p_exponent": 331733,
"q_exponent": 226443,
"p_power_bits": 525785,
"q_power_bits": 525785,
"minimum_u_bits": 525778,
"minimum_v_bits": 525778,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 66345,
"q_exponent_advance": 45287
},
{
"p_exponent": 398078,
"q_exponent": 271730,
"p_power_bits": 630939,
"q_power_bits": 630938,
"minimum_u_bits": 630933,
"minimum_v_bits": 630934,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 79614,
"q_exponent_advance": 54346
},
{
"p_exponent": 477692,
"q_exponent": 326076,
"p_power_bits": 757124,
"q_power_bits": 757126,
"minimum_u_bits": 757121,
"minimum_v_bits": 757120,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 95538,
"q_exponent_advance": 65214
},
{
"p_exponent": 573230,
"q_exponent": 391290,
"p_power_bits": 908549,
"q_power_bits": 908548,
"minimum_u_bits": 908542,
"minimum_v_bits": 908543,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 114644,
"q_exponent_advance": 78257
},
{
"p_exponent": 687874,
"q_exponent": 469547,
"p_power_bits": 1090255,
"q_power_bits": 1090255,
"minimum_u_bits": 1090248,
"minimum_v_bits": 1090248,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 137573,
"q_exponent_advance": 93908
},
{
"p_exponent": 825447,
"q_exponent": 563455,
"p_power_bits": 1308303,
"q_power_bits": 1308302,
"minimum_u_bits": 1308297,
"minimum_v_bits": 1308298,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 165088,
"q_exponent_advance": 112690
},
{
"p_exponent": 990535,
"q_exponent": 676145,
"p_power_bits": 1569961,
"q_power_bits": 1569961,
"minimum_u_bits": 1569956,
"minimum_v_bits": 1569957,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 198105,
"q_exponent_advance": 135229
},
{
"p_exponent": 1188640,
"q_exponent": 811374,
"p_power_bits": 1883950,
"q_power_bits": 1883953,
"minimum_u_bits": 1883946,
"minimum_v_bits": 1883944,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 237727,
"q_exponent_advance": 162273
},
{
"p_exponent": 1426367,
"q_exponent": 973647,
"p_power_bits": 2260739,
"q_power_bits": 2260739,
"minimum_u_bits": 2260734,
"minimum_v_bits": 2260734,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 285272,
"q_exponent_advance": 194729
},
{
"p_exponent": 1711639,
"q_exponent": 1168376,
"p_power_bits": 2712884,
"q_power_bits": 2712886,
"minimum_u_bits": 2712879,
"minimum_v_bits": 2712878,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 342326,
"q_exponent_advance": 233674
},
{
"p_exponent": 2053965,
"q_exponent": 1402050,
"p_power_bits": 3255458,
"q_power_bits": 3255460,
"minimum_u_bits": 3255454,
"minimum_v_bits": 3255452,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 410792,
"q_exponent_advance": 280409
},
{
"p_exponent": 2464757,
"q_exponent": 1682459,
"p_power_bits": 3906548,
"q_power_bits": 3906549,
"minimum_u_bits": 3906541,
"minimum_v_bits": 3906540,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 492949,
"q_exponent_advance": 336490
},
{
"p_exponent": 2957706,
"q_exponent": 2018949,
"p_power_bits": 4687854,
"q_power_bits": 4687855,
"minimum_u_bits": 4687849,
"minimum_v_bits": 4687848,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 591540,
"q_exponent_advance": 403789
},
{
"p_exponent": 3549246,
"q_exponent": 2422738,
"p_power_bits": 5625422,
"q_power_bits": 5625424,
"minimum_u_bits": 5625418,
"minimum_v_bits": 5625416,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 709848,
"q_exponent_advance": 484546
},
{
"p_exponent": 4259094,
"q_exponent": 2907284,
"p_power_bits": 6750505,
"q_power_bits": 6750505,
"minimum_u_bits": 6750500,
"minimum_v_bits": 6750500,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 851817,
"q_exponent_advance": 581456
},
{
"p_exponent": 5110911,
"q_exponent": 3488740,
"p_power_bits": 8100603,
"q_power_bits": 8100604,
"minimum_u_bits": 8100599,
"minimum_v_bits": 8100598,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1022181,
"q_exponent_advance": 697747
},
{
"p_exponent": 6133092,
"q_exponent": 4186487,
"p_power_bits": 9720721,
"q_power_bits": 9720722,
"minimum_u_bits": 9720717,
"minimum_v_bits": 9720716,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1226617,
"q_exponent_advance": 837296
},
{
"p_exponent": 7359709,
"q_exponent": 5023783,
"p_power_bits": 11664863,
"q_power_bits": 11664863,
"minimum_u_bits": 11664859,
"minimum_v_bits": 11664859,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1471941,
"q_exponent_advance": 1004756
},
{
"p_exponent": 8831650,
"q_exponent": 6028539,
"p_power_bits": 13997835,
"q_power_bits": 13997835,
"minimum_u_bits": 13997829,
"minimum_v_bits": 13997829,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1766328,
"q_exponent_advance": 1205707
},
{
"p_exponent": 10597978,
"q_exponent": 7234246,
"p_power_bits": 16797398,
"q_power_bits": 16797400,
"minimum_u_bits": 16797395,
"minimum_v_bits": 16797393,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2119595,
"q_exponent_advance": 1446848
},
{
"p_exponent": 12717573,
"q_exponent": 8681094,
"p_power_bits": 20156877,
"q_power_bits": 20156877,
"minimum_u_bits": 20156871,
"minimum_v_bits": 20156871,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2543513,
"q_exponent_advance": 1736218
},
{
"p_exponent": 15261086,
"q_exponent": 10417312,
"p_power_bits": 24188250,
"q_power_bits": 24188250,
"minimum_u_bits": 24188241,
"minimum_v_bits": 24188241,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3052215,
"q_exponent_advance": 2083461
},
{
"p_exponent": 18313301,
"q_exponent": 12500773,
"p_power_bits": 29025896,
"q_power_bits": 29025897,
"minimum_u_bits": 29025892,
"minimum_v_bits": 29025891,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3662659,
"q_exponent_advance": 2500154
},
{
"p_exponent": 21975960,
"q_exponent": 15000927,
"p_power_bits": 34831073,
"q_power_bits": 34831074,
"minimum_u_bits": 34831069,
"minimum_v_bits": 34831068,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4395191,
"q_exponent_advance": 3000184
},
{
"p_exponent": 26371151,
"q_exponent": 18001111,
"p_power_bits": 41797286,
"q_power_bits": 41797286,
"minimum_u_bits": 41797281,
"minimum_v_bits": 41797281,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5274229,
"q_exponent_advance": 3600221
},
{
"p_exponent": 31645380,
"q_exponent": 21601332,
"p_power_bits": 50156741,
"q_power_bits": 50156740,
"minimum_u_bits": 50156734,
"minimum_v_bits": 50156735,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6329074,
"q_exponent_advance": 4320266
},
{
"p_exponent": 37974454,
"q_exponent": 25921598,
"p_power_bits": 60188086,
"q_power_bits": 60188087,
"minimum_u_bits": 60188080,
"minimum_v_bits": 60188079,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7594889,
"q_exponent_advance": 5184318
},
{
"p_exponent": 45569343,
"q_exponent": 31105916,
"p_power_bits": 72225700,
"q_power_bits": 72225701,
"minimum_u_bits": 72225695,
"minimum_v_bits": 72225695,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 9113867,
"q_exponent_advance": 6221182
},
{
"p_exponent": 54683210,
"q_exponent": 37327098,
"p_power_bits": 86670838,
"q_power_bits": 86670838,
"minimum_u_bits": 86670832,
"minimum_v_bits": 86670832,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10936640,
"q_exponent_advance": 7465418
}
],
"conclusion": "max(u,v)^5 >= min(p^a*u,q^b*v)^2 throughout the stated height range"
},
{
"pair": [
7,
11
],
"height_cap_power_of_ten": 27027659,
"maximum_difference": 19,
"cofactor_exponent_numerator": 2,
"cofactor_exponent_denominator": 5,
"height_threshold": 122452,
"backend": "gmpy2",
"initial_exponents": [
2,
2
],
"maximum_exponents": [
31981684,
25953378
],
"final_exponents": [
36072939,
29273463
],
"anchor_count": 94,
"exact_boundary_pairs": 8,
"boundary_pairs_sha256": "dd30d6aa97b6ba9fa10d6ac8e18781fbb10a67732a5821c9e87a24c84155eaf1",
"exception_count": 8,
"exceptions": [
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": -17,
"p_cofactor": 12,
"q_cofactor": 5,
"smaller_height": 588,
"larger_height": 605
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 3,
"p_cofactor": 5,
"q_cofactor": 2,
"smaller_height": 242,
"larger_height": 245
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 10,
"q_cofactor": 4,
"smaller_height": 484,
"larger_height": 490
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": -19,
"p_cofactor": 7,
"q_cofactor": 20,
"smaller_height": 2401,
"larger_height": 2420
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 1,
"p_cofactor": 6,
"q_cofactor": 17,
"smaller_height": 2057,
"larger_height": 2058
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": -15,
"p_cofactor": 31,
"q_cofactor": 8,
"smaller_height": 10633,
"larger_height": 10648
},
{
"p_exponent": 4,
"q_exponent": 2,
"signed_difference": -19,
"p_cofactor": 1,
"q_cofactor": 20,
"smaller_height": 2401,
"larger_height": 2420
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -1,
"p_cofactor": 51,
"q_cofactor": 92,
"smaller_height": 122451,
"larger_height": 122452
}
],
"anchors": [
{
"p_exponent": 2,
"q_exponent": 2,
"p_power_bits": 6,
"q_power_bits": 7,
"minimum_u_bits": 3,
"minimum_v_bits": 2,
"method": "exact boundary lines",
"boundary_pairs": 3,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 3,
"q_exponent": 3,
"p_power_bits": 9,
"q_power_bits": 11,
"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": 4,
"q_exponent": 4,
"p_power_bits": 12,
"q_power_bits": 14,
"minimum_u_bits": 10,
"minimum_v_bits": 7,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 5,
"q_exponent": 4,
"p_power_bits": 15,
"q_power_bits": 14,
"minimum_u_bits": 10,
"minimum_v_bits": 10,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 0,
"q_exponent_advance": 1
},
{
"p_exponent": 5,
"q_exponent": 5,
"p_power_bits": 15,
"q_power_bits": 18,
"minimum_u_bits": 12,
"minimum_v_bits": 9,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 6,
"q_exponent": 5,
"p_power_bits": 17,
"q_power_bits": 18,
"minimum_u_bits": 13,
"minimum_v_bits": 12,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 7,
"q_exponent": 6,
"p_power_bits": 20,
"q_power_bits": 21,
"minimum_u_bits": 16,
"minimum_v_bits": 14,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 8,
"q_exponent": 7,
"p_power_bits": 23,
"q_power_bits": 25,
"minimum_u_bits": 18,
"minimum_v_bits": 17,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 9,
"q_exponent": 7,
"p_power_bits": 26,
"q_power_bits": 25,
"minimum_u_bits": 18,
"minimum_v_bits": 19,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 10,
"q_exponent": 8,
"p_power_bits": 29,
"q_power_bits": 28,
"minimum_u_bits": 21,
"minimum_v_bits": 21,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 11,
"q_exponent": 9,
"p_power_bits": 31,
"q_power_bits": 32,
"minimum_u_bits": 26,
"minimum_v_bits": 26,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 13,
"q_exponent": 10,
"p_power_bits": 37,
"q_power_bits": 35,
"minimum_u_bits": 30,
"minimum_v_bits": 32,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 15,
"q_exponent": 12,
"p_power_bits": 43,
"q_power_bits": 42,
"minimum_u_bits": 37,
"minimum_v_bits": 38,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 17,
"q_exponent": 14,
"p_power_bits": 48,
"q_power_bits": 49,
"minimum_u_bits": 42,
"minimum_v_bits": 41,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 20,
"q_exponent": 16,
"p_power_bits": 57,
"q_power_bits": 56,
"minimum_u_bits": 49,
"minimum_v_bits": 49,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 3
},
{
"p_exponent": 23,
"q_exponent": 19,
"p_power_bits": 65,
"q_power_bits": 66,
"minimum_u_bits": 59,
"minimum_v_bits": 58,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4,
"q_exponent_advance": 3
},
{
"p_exponent": 27,
"q_exponent": 22,
"p_power_bits": 76,
"q_power_bits": 77,
"minimum_u_bits": 71,
"minimum_v_bits": 71,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5,
"q_exponent_advance": 4
},
{
"p_exponent": 32,
"q_exponent": 26,
"p_power_bits": 90,
"q_power_bits": 90,
"minimum_u_bits": 86,
"minimum_v_bits": 86,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6,
"q_exponent_advance": 5
},
{
"p_exponent": 38,
"q_exponent": 31,
"p_power_bits": 107,
"q_power_bits": 108,
"minimum_u_bits": 100,
"minimum_v_bits": 100,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7,
"q_exponent_advance": 5
},
{
"p_exponent": 45,
"q_exponent": 36,
"p_power_bits": 127,
"q_power_bits": 125,
"minimum_u_bits": 120,
"minimum_v_bits": 122,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8,
"q_exponent_advance": 7
},
{
"p_exponent": 53,
"q_exponent": 43,
"p_power_bits": 149,
"q_power_bits": 149,
"minimum_u_bits": 143,
"minimum_v_bits": 143,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10,
"q_exponent_advance": 8
},
{
"p_exponent": 63,
"q_exponent": 51,
"p_power_bits": 177,
"q_power_bits": 177,
"minimum_u_bits": 172,
"minimum_v_bits": 173,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 12,
"q_exponent_advance": 10
},
{
"p_exponent": 75,
"q_exponent": 61,
"p_power_bits": 211,
"q_power_bits": 212,
"minimum_u_bits": 206,
"minimum_v_bits": 206,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 14,
"q_exponent_advance": 12
},
{
"p_exponent": 89,
"q_exponent": 73,
"p_power_bits": 250,
"q_power_bits": 253,
"minimum_u_bits": 248,
"minimum_v_bits": 245,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 18,
"q_exponent_advance": 14
},
{
"p_exponent": 107,
"q_exponent": 87,
"p_power_bits": 301,
"q_power_bits": 301,
"minimum_u_bits": 294,
"minimum_v_bits": 294,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 21,
"q_exponent_advance": 17
},
{
"p_exponent": 128,
"q_exponent": 104,
"p_power_bits": 360,
"q_power_bits": 360,
"minimum_u_bits": 356,
"minimum_v_bits": 355,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 25,
"q_exponent_advance": 20
},
{
"p_exponent": 153,
"q_exponent": 124,
"p_power_bits": 430,
"q_power_bits": 429,
"minimum_u_bits": 424,
"minimum_v_bits": 424,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 30,
"q_exponent_advance": 24
},
{
"p_exponent": 183,
"q_exponent": 148,
"p_power_bits": 514,
"q_power_bits": 512,
"minimum_u_bits": 507,
"minimum_v_bits": 508,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 35,
"q_exponent_advance": 29
},
{
"p_exponent": 218,
"q_exponent": 177,
"p_power_bits": 613,
"q_power_bits": 613,
"minimum_u_bits": 607,
"minimum_v_bits": 607,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 43,
"q_exponent_advance": 35
},
{
"p_exponent": 261,
"q_exponent": 212,
"p_power_bits": 733,
"q_power_bits": 734,
"minimum_u_bits": 729,
"minimum_v_bits": 728,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 52,
"q_exponent_advance": 42
},
{
"p_exponent": 313,
"q_exponent": 254,
"p_power_bits": 879,
"q_power_bits": 879,
"minimum_u_bits": 874,
"minimum_v_bits": 874,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 62,
"q_exponent_advance": 50
},
{
"p_exponent": 375,
"q_exponent": 304,
"p_power_bits": 1053,
"q_power_bits": 1052,
"minimum_u_bits": 1047,
"minimum_v_bits": 1048,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 74,
"q_exponent_advance": 61
},
{
"p_exponent": 449,
"q_exponent": 365,
"p_power_bits": 1261,
"q_power_bits": 1263,
"minimum_u_bits": 1256,
"minimum_v_bits": 1254,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 89,
"q_exponent_advance": 72
},
{
"p_exponent": 538,
"q_exponent": 437,
"p_power_bits": 1511,
"q_power_bits": 1512,
"minimum_u_bits": 1505,
"minimum_v_bits": 1504,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 107,
"q_exponent_advance": 86
},
{
"p_exponent": 645,
"q_exponent": 523,
"p_power_bits": 1811,
"q_power_bits": 1810,
"minimum_u_bits": 1800,
"minimum_v_bits": 1801,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 127,
"q_exponent_advance": 104
},
{
"p_exponent": 772,
"q_exponent": 627,
"p_power_bits": 2168,
"q_power_bits": 2170,
"minimum_u_bits": 2164,
"minimum_v_bits": 2162,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 154,
"q_exponent_advance": 125
},
{
"p_exponent": 926,
"q_exponent": 752,
"p_power_bits": 2600,
"q_power_bits": 2602,
"minimum_u_bits": 2598,
"minimum_v_bits": 2596,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 185,
"q_exponent_advance": 150
},
{
"p_exponent": 1111,
"q_exponent": 902,
"p_power_bits": 3119,
"q_power_bits": 3121,
"minimum_u_bits": 3112,
"minimum_v_bits": 3110,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 221,
"q_exponent_advance": 179
},
{
"p_exponent": 1332,
"q_exponent": 1081,
"p_power_bits": 3740,
"q_power_bits": 3740,
"minimum_u_bits": 3733,
"minimum_v_bits": 3733,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 265,
"q_exponent_advance": 215
},
{
"p_exponent": 1597,
"q_exponent": 1296,
"p_power_bits": 4484,
"q_power_bits": 4484,
"minimum_u_bits": 4479,
"minimum_v_bits": 4479,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 319,
"q_exponent_advance": 259
},
{
"p_exponent": 1916,
"q_exponent": 1555,
"p_power_bits": 5379,
"q_power_bits": 5380,
"minimum_u_bits": 5373,
"minimum_v_bits": 5372,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 382,
"q_exponent_advance": 310
},
{
"p_exponent": 2298,
"q_exponent": 1865,
"p_power_bits": 6452,
"q_power_bits": 6452,
"minimum_u_bits": 6445,
"minimum_v_bits": 6444,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 459,
"q_exponent_advance": 372
},
{
"p_exponent": 2757,
"q_exponent": 2237,
"p_power_bits": 7740,
"q_power_bits": 7739,
"minimum_u_bits": 7731,
"minimum_v_bits": 7732,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 550,
"q_exponent_advance": 447
},
{
"p_exponent": 3307,
"q_exponent": 2684,
"p_power_bits": 9284,
"q_power_bits": 9286,
"minimum_u_bits": 9281,
"minimum_v_bits": 9280,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 661,
"q_exponent_advance": 536
},
{
"p_exponent": 3968,
"q_exponent": 3220,
"p_power_bits": 11140,
"q_power_bits": 11140,
"minimum_u_bits": 11133,
"minimum_v_bits": 11133,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 793,
"q_exponent_advance": 643
},
{
"p_exponent": 4761,
"q_exponent": 3863,
"p_power_bits": 13366,
"q_power_bits": 13364,
"minimum_u_bits": 13359,
"minimum_v_bits": 13361,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 951,
"q_exponent_advance": 773
},
{
"p_exponent": 5712,
"q_exponent": 4636,
"p_power_bits": 16036,
"q_power_bits": 16038,
"minimum_u_bits": 16032,
"minimum_v_bits": 16030,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1142,
"q_exponent_advance": 926
},
{
"p_exponent": 6854,
"q_exponent": 5562,
"p_power_bits": 19242,
"q_power_bits": 19242,
"minimum_u_bits": 19236,
"minimum_v_bits": 19237,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1370,
"q_exponent_advance": 1112
},
{
"p_exponent": 8224,
"q_exponent": 6674,
"p_power_bits": 23088,
"q_power_bits": 23089,
"minimum_u_bits": 23084,
"minimum_v_bits": 23083,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1644,
"q_exponent_advance": 1334
},
{
"p_exponent": 9868,
"q_exponent": 8008,
"p_power_bits": 27703,
"q_power_bits": 27704,
"minimum_u_bits": 27699,
"minimum_v_bits": 27698,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1973,
"q_exponent_advance": 1601
},
{
"p_exponent": 11841,
"q_exponent": 9609,
"p_power_bits": 33242,
"q_power_bits": 33242,
"minimum_u_bits": 33234,
"minimum_v_bits": 33234,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2367,
"q_exponent_advance": 1921
},
{
"p_exponent": 14208,
"q_exponent": 11530,
"p_power_bits": 39887,
"q_power_bits": 39888,
"minimum_u_bits": 39880,
"minimum_v_bits": 39880,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2840,
"q_exponent_advance": 2305
},
{
"p_exponent": 17048,
"q_exponent": 13835,
"p_power_bits": 47860,
"q_power_bits": 47862,
"minimum_u_bits": 47853,
"minimum_v_bits": 47852,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3409,
"q_exponent_advance": 2766
},
{
"p_exponent": 20457,
"q_exponent": 16601,
"p_power_bits": 57431,
"q_power_bits": 57431,
"minimum_u_bits": 57424,
"minimum_v_bits": 57424,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4090,
"q_exponent_advance": 3320
},
{
"p_exponent": 24547,
"q_exponent": 19921,
"p_power_bits": 68913,
"q_power_bits": 68916,
"minimum_u_bits": 68910,
"minimum_v_bits": 68907,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4909,
"q_exponent_advance": 3983
},
{
"p_exponent": 29456,
"q_exponent": 23904,
"p_power_bits": 82694,
"q_power_bits": 82695,
"minimum_u_bits": 82689,
"minimum_v_bits": 82688,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5891,
"q_exponent_advance": 4780
},
{
"p_exponent": 35347,
"q_exponent": 28684,
"p_power_bits": 99232,
"q_power_bits": 99231,
"minimum_u_bits": 99224,
"minimum_v_bits": 99225,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7068,
"q_exponent_advance": 5736
},
{
"p_exponent": 42415,
"q_exponent": 34420,
"p_power_bits": 119074,
"q_power_bits": 119074,
"minimum_u_bits": 119065,
"minimum_v_bits": 119065,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8481,
"q_exponent_advance": 6883
},
{
"p_exponent": 50896,
"q_exponent": 41303,
"p_power_bits": 142884,
"q_power_bits": 142885,
"minimum_u_bits": 142880,
"minimum_v_bits": 142878,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10179,
"q_exponent_advance": 8260
},
{
"p_exponent": 61075,
"q_exponent": 49563,
"p_power_bits": 171460,
"q_power_bits": 171460,
"minimum_u_bits": 171455,
"minimum_v_bits": 171455,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 12215,
"q_exponent_advance": 9912
},
{
"p_exponent": 73290,
"q_exponent": 59475,
"p_power_bits": 205752,
"q_power_bits": 205750,
"minimum_u_bits": 205745,
"minimum_v_bits": 205746,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 14657,
"q_exponent_advance": 11895
},
{
"p_exponent": 87947,
"q_exponent": 71370,
"p_power_bits": 246899,
"q_power_bits": 246900,
"minimum_u_bits": 246895,
"minimum_v_bits": 246894,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 17589,
"q_exponent_advance": 14273
},
{
"p_exponent": 105536,
"q_exponent": 85643,
"p_power_bits": 296278,
"q_power_bits": 296277,
"minimum_u_bits": 296272,
"minimum_v_bits": 296273,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 21106,
"q_exponent_advance": 17128
},
{
"p_exponent": 126642,
"q_exponent": 102771,
"p_power_bits": 355530,
"q_power_bits": 355530,
"minimum_u_bits": 355525,
"minimum_v_bits": 355525,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 25328,
"q_exponent_advance": 20554
},
{
"p_exponent": 151970,
"q_exponent": 123325,
"p_power_bits": 426634,
"q_power_bits": 426635,
"minimum_u_bits": 426628,
"minimum_v_bits": 426627,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 30393,
"q_exponent_advance": 24664
},
{
"p_exponent": 182363,
"q_exponent": 147989,
"p_power_bits": 511958,
"q_power_bits": 511958,
"minimum_u_bits": 511951,
"minimum_v_bits": 511951,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 36472,
"q_exponent_advance": 29597
},
{
"p_exponent": 218835,
"q_exponent": 177586,
"p_power_bits": 614348,
"q_power_bits": 614347,
"minimum_u_bits": 614338,
"minimum_v_bits": 614339,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 43765,
"q_exponent_advance": 35516
},
{
"p_exponent": 262600,
"q_exponent": 213102,
"p_power_bits": 737212,
"q_power_bits": 737212,
"minimum_u_bits": 737206,
"minimum_v_bits": 737206,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 52519,
"q_exponent_advance": 42620
},
{
"p_exponent": 315119,
"q_exponent": 255722,
"p_power_bits": 884651,
"q_power_bits": 884653,
"minimum_u_bits": 884647,
"minimum_v_bits": 884645,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 63023,
"q_exponent_advance": 51143
},
{
"p_exponent": 378142,
"q_exponent": 306865,
"p_power_bits": 1061579,
"q_power_bits": 1061579,
"minimum_u_bits": 1061569,
"minimum_v_bits": 1061570,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 75627,
"q_exponent_advance": 61372
},
{
"p_exponent": 453769,
"q_exponent": 368237,
"p_power_bits": 1273891,
"q_power_bits": 1273891,
"minimum_u_bits": 1273887,
"minimum_v_bits": 1273887,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 90753,
"q_exponent_advance": 73647
},
{
"p_exponent": 544522,
"q_exponent": 441884,
"p_power_bits": 1528667,
"q_power_bits": 1528668,
"minimum_u_bits": 1528662,
"minimum_v_bits": 1528661,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 108904,
"q_exponent_advance": 88376
},
{
"p_exponent": 653426,
"q_exponent": 530260,
"p_power_bits": 1834399,
"q_power_bits": 1834399,
"minimum_u_bits": 1834394,
"minimum_v_bits": 1834395,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 130685,
"q_exponent_advance": 106052
},
{
"p_exponent": 784111,
"q_exponent": 636312,
"p_power_bits": 2201278,
"q_power_bits": 2201278,
"minimum_u_bits": 2201274,
"minimum_v_bits": 2201274,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 156822,
"q_exponent_advance": 127262
},
{
"p_exponent": 940933,
"q_exponent": 763574,
"p_power_bits": 2641533,
"q_power_bits": 2641533,
"minimum_u_bits": 2641525,
"minimum_v_bits": 2641526,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 188185,
"q_exponent_advance": 152714
},
{
"p_exponent": 1129118,
"q_exponent": 916288,
"p_power_bits": 3169835,
"q_power_bits": 3169836,
"minimum_u_bits": 3169831,
"minimum_v_bits": 3169830,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 225823,
"q_exponent_advance": 183257
},
{
"p_exponent": 1354941,
"q_exponent": 1099545,
"p_power_bits": 3803801,
"q_power_bits": 3803801,
"minimum_u_bits": 3803795,
"minimum_v_bits": 3803795,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 270987,
"q_exponent_advance": 219908
},
{
"p_exponent": 1625928,
"q_exponent": 1319453,
"p_power_bits": 4564557,
"q_power_bits": 4564558,
"minimum_u_bits": 4564553,
"minimum_v_bits": 4564552,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 325185,
"q_exponent_advance": 263890
},
{
"p_exponent": 1951113,
"q_exponent": 1583343,
"p_power_bits": 5477467,
"q_power_bits": 5477467,
"minimum_u_bits": 5477462,
"minimum_v_bits": 5477462,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 390222,
"q_exponent_advance": 316668
},
{
"p_exponent": 2341335,
"q_exponent": 1900011,
"p_power_bits": 6572959,
"q_power_bits": 6572959,
"minimum_u_bits": 6572952,
"minimum_v_bits": 6572952,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 468266,
"q_exponent_advance": 380002
},
{
"p_exponent": 2809601,
"q_exponent": 2280013,
"p_power_bits": 7887548,
"q_power_bits": 7887550,
"minimum_u_bits": 7887544,
"minimum_v_bits": 7887542,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 561920,
"q_exponent_advance": 456002
},
{
"p_exponent": 3371521,
"q_exponent": 2736015,
"p_power_bits": 9465057,
"q_power_bits": 9465057,
"minimum_u_bits": 9465050,
"minimum_v_bits": 9465049,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 674303,
"q_exponent_advance": 547202
},
{
"p_exponent": 4045824,
"q_exponent": 3283217,
"p_power_bits": 11358064,
"q_power_bits": 11358065,
"minimum_u_bits": 11358060,
"minimum_v_bits": 11358059,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 809164,
"q_exponent_advance": 656643
},
{
"p_exponent": 4854988,
"q_exponent": 3939860,
"p_power_bits": 13629675,
"q_power_bits": 13629677,
"minimum_u_bits": 13629672,
"minimum_v_bits": 13629670,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 970997,
"q_exponent_advance": 787971
},
{
"p_exponent": 5825985,
"q_exponent": 4727831,
"p_power_bits": 16355608,
"q_power_bits": 16355609,
"minimum_u_bits": 16355600,
"minimum_v_bits": 16355600,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1165196,
"q_exponent_advance": 945565
},
{
"p_exponent": 6991181,
"q_exponent": 5673396,
"p_power_bits": 19626727,
"q_power_bits": 19626726,
"minimum_u_bits": 19626713,
"minimum_v_bits": 19626714,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1398234,
"q_exponent_advance": 1134678
},
{
"p_exponent": 8389415,
"q_exponent": 6808074,
"p_power_bits": 23552066,
"q_power_bits": 23552067,
"minimum_u_bits": 23552062,
"minimum_v_bits": 23552061,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1677883,
"q_exponent_advance": 1361614
},
{
"p_exponent": 10067298,
"q_exponent": 8169688,
"p_power_bits": 28262479,
"q_power_bits": 28262477,
"minimum_u_bits": 28262471,
"minimum_v_bits": 28262473,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2013458,
"q_exponent_advance": 1633937
},
{
"p_exponent": 12080756,
"q_exponent": 9803625,
"p_power_bits": 33914970,
"q_power_bits": 33914971,
"minimum_u_bits": 33914966,
"minimum_v_bits": 33914965,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2416151,
"q_exponent_advance": 1960725
},
{
"p_exponent": 14496907,
"q_exponent": 11764350,
"p_power_bits": 40697964,
"q_power_bits": 40697965,
"minimum_u_bits": 40697959,
"minimum_v_bits": 40697958,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2899381,
"q_exponent_advance": 2352869
},
{
"p_exponent": 17396288,
"q_exponent": 14117219,
"p_power_bits": 48837555,
"q_power_bits": 48837554,
"minimum_u_bits": 48837548,
"minimum_v_bits": 48837549,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3479257,
"q_exponent_advance": 2823443
},
{
"p_exponent": 20875545,
"q_exponent": 16940662,
"p_power_bits": 58605065,
"q_power_bits": 58605062,
"minimum_u_bits": 58605057,
"minimum_v_bits": 58605060,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4175108,
"q_exponent_advance": 3388132
},
{
"p_exponent": 25050653,
"q_exponent": 20328794,
"p_power_bits": 70326075,
"q_power_bits": 70326073,
"minimum_u_bits": 70326068,
"minimum_v_bits": 70326070,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5010130,
"q_exponent_advance": 4065759
},
{
"p_exponent": 30060783,
"q_exponent": 24394553,
"p_power_bits": 84391288,
"q_power_bits": 84391288,
"minimum_u_bits": 84391284,
"minimum_v_bits": 84391283,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6012156,
"q_exponent_advance": 4878910
}
],
"conclusion": "max(u,v)^5 >= min(p^a*u,q^b*v)^2 throughout the stated height range"
},
{
"pair": [
7,
13
],
"height_cap_power_of_ten": 27027659,
"maximum_difference": 19,
"cofactor_exponent_numerator": 2,
"cofactor_exponent_denominator": 5,
"height_threshold": 4369821,
"backend": "gmpy2",
"initial_exponents": [
2,
2
],
"maximum_exponents": [
31981684,
24263046
],
"final_exponents": [
32853185,
24924214
],
"anchor_count": 93,
"exact_boundary_pairs": 13,
"boundary_pairs_sha256": "f30eae05f8fbc2af6585c3f0f556b57cd50d341b869cd84a5f78525b8ccd7047",
"exception_count": 11,
"exceptions": [
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": -17,
"p_cofactor": 10,
"q_cofactor": 3,
"smaller_height": 490,
"larger_height": 507
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 5,
"p_cofactor": 7,
"q_cofactor": 2,
"smaller_height": 338,
"larger_height": 343
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 5,
"p_cofactor": 1,
"q_cofactor": 2,
"smaller_height": 338,
"larger_height": 343
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 10,
"p_cofactor": 2,
"q_cofactor": 4,
"smaller_height": 676,
"larger_height": 686
},
{
"p_exponent": 3,
"q_exponent": 2,
"signed_difference": 15,
"p_cofactor": 3,
"q_cofactor": 6,
"smaller_height": 1014,
"larger_height": 1029
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": -9,
"p_cofactor": 32,
"q_cofactor": 5,
"smaller_height": 10976,
"larger_height": 10985
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -16,
"p_cofactor": 43,
"q_cofactor": 47,
"smaller_height": 103243,
"larger_height": 103259
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -1,
"p_cofactor": 140,
"q_cofactor": 153,
"smaller_height": 336140,
"larger_height": 336141
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": 15,
"p_cofactor": 97,
"q_cofactor": 106,
"smaller_height": 232882,
"larger_height": 232897
},
{
"p_exponent": 5,
"q_exponent": 3,
"signed_difference": -1,
"p_cofactor": 20,
"q_cofactor": 153,
"smaller_height": 336140,
"larger_height": 336141
},
{
"p_exponent": 5,
"q_exponent": 4,
"signed_difference": -13,
"p_cofactor": 260,
"q_cofactor": 153,
"smaller_height": 4369820,
"larger_height": 4369833
}
],
"anchors": [
{
"p_exponent": 2,
"q_exponent": 2,
"p_power_bits": 6,
"q_power_bits": 8,
"minimum_u_bits": 3,
"minimum_v_bits": 2,
"method": "exact boundary lines",
"boundary_pairs": 3,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 3,
"q_exponent": 3,
"p_power_bits": 9,
"q_power_bits": 12,
"minimum_u_bits": 6,
"minimum_v_bits": 3,
"method": "exact boundary lines",
"boundary_pairs": 4,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 4,
"q_exponent": 4,
"p_power_bits": 12,
"q_power_bits": 15,
"minimum_u_bits": 10,
"minimum_v_bits": 7,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 5,
"q_exponent": 4,
"p_power_bits": 15,
"q_power_bits": 15,
"minimum_u_bits": 9,
"minimum_v_bits": 8,
"method": "exact boundary lines",
"boundary_pairs": 6,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 6,
"q_exponent": 5,
"p_power_bits": 17,
"q_power_bits": 19,
"minimum_u_bits": 12,
"minimum_v_bits": 11,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 7,
"q_exponent": 5,
"p_power_bits": 20,
"q_power_bits": 19,
"minimum_u_bits": 13,
"minimum_v_bits": 14,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 0,
"q_exponent_advance": 1
},
{
"p_exponent": 7,
"q_exponent": 6,
"p_power_bits": 20,
"q_power_bits": 23,
"minimum_u_bits": 18,
"minimum_v_bits": 15,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 8,
"q_exponent": 6,
"p_power_bits": 23,
"q_power_bits": 23,
"minimum_u_bits": 15,
"minimum_v_bits": 16,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 9,
"q_exponent": 7,
"p_power_bits": 26,
"q_power_bits": 26,
"minimum_u_bits": 20,
"minimum_v_bits": 20,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 10,
"q_exponent": 8,
"p_power_bits": 29,
"q_power_bits": 30,
"minimum_u_bits": 25,
"minimum_v_bits": 23,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 12,
"q_exponent": 9,
"p_power_bits": 34,
"q_power_bits": 34,
"minimum_u_bits": 29,
"minimum_v_bits": 30,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 14,
"q_exponent": 11,
"p_power_bits": 40,
"q_power_bits": 41,
"minimum_u_bits": 33,
"minimum_v_bits": 31,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 16,
"q_exponent": 12,
"p_power_bits": 45,
"q_power_bits": 45,
"minimum_u_bits": 40,
"minimum_v_bits": 40,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 19,
"q_exponent": 14,
"p_power_bits": 54,
"q_power_bits": 52,
"minimum_u_bits": 46,
"minimum_v_bits": 47,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 3
},
{
"p_exponent": 22,
"q_exponent": 17,
"p_power_bits": 62,
"q_power_bits": 63,
"minimum_u_bits": 58,
"minimum_v_bits": 57,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4,
"q_exponent_advance": 3
},
{
"p_exponent": 26,
"q_exponent": 20,
"p_power_bits": 73,
"q_power_bits": 75,
"minimum_u_bits": 69,
"minimum_v_bits": 68,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5,
"q_exponent_advance": 3
},
{
"p_exponent": 31,
"q_exponent": 23,
"p_power_bits": 88,
"q_power_bits": 86,
"minimum_u_bits": 80,
"minimum_v_bits": 82,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5,
"q_exponent_advance": 4
},
{
"p_exponent": 36,
"q_exponent": 27,
"p_power_bits": 102,
"q_power_bits": 100,
"minimum_u_bits": 95,
"minimum_v_bits": 96,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6,
"q_exponent_advance": 5
},
{
"p_exponent": 42,
"q_exponent": 32,
"p_power_bits": 118,
"q_power_bits": 119,
"minimum_u_bits": 109,
"minimum_v_bits": 108,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7,
"q_exponent_advance": 5
},
{
"p_exponent": 49,
"q_exponent": 37,
"p_power_bits": 138,
"q_power_bits": 137,
"minimum_u_bits": 128,
"minimum_v_bits": 129,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8,
"q_exponent_advance": 7
},
{
"p_exponent": 57,
"q_exponent": 44,
"p_power_bits": 161,
"q_power_bits": 163,
"minimum_u_bits": 157,
"minimum_v_bits": 154,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 11,
"q_exponent_advance": 8
},
{
"p_exponent": 68,
"q_exponent": 52,
"p_power_bits": 191,
"q_power_bits": 193,
"minimum_u_bits": 186,
"minimum_v_bits": 185,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 13,
"q_exponent_advance": 10
},
{
"p_exponent": 81,
"q_exponent": 62,
"p_power_bits": 228,
"q_power_bits": 230,
"minimum_u_bits": 224,
"minimum_v_bits": 222,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 16,
"q_exponent_advance": 12
},
{
"p_exponent": 97,
"q_exponent": 74,
"p_power_bits": 273,
"q_power_bits": 274,
"minimum_u_bits": 268,
"minimum_v_bits": 266,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 19,
"q_exponent_advance": 14
},
{
"p_exponent": 116,
"q_exponent": 88,
"p_power_bits": 326,
"q_power_bits": 326,
"minimum_u_bits": 321,
"minimum_v_bits": 321,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 23,
"q_exponent_advance": 17
},
{
"p_exponent": 139,
"q_exponent": 105,
"p_power_bits": 391,
"q_power_bits": 389,
"minimum_u_bits": 381,
"minimum_v_bits": 383,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 26,
"q_exponent_advance": 21
},
{
"p_exponent": 165,
"q_exponent": 126,
"p_power_bits": 464,
"q_power_bits": 467,
"minimum_u_bits": 462,
"minimum_v_bits": 458,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 33,
"q_exponent_advance": 24
},
{
"p_exponent": 198,
"q_exponent": 150,
"p_power_bits": 556,
"q_power_bits": 556,
"minimum_u_bits": 550,
"minimum_v_bits": 551,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 39,
"q_exponent_advance": 30
},
{
"p_exponent": 237,
"q_exponent": 180,
"p_power_bits": 666,
"q_power_bits": 667,
"minimum_u_bits": 660,
"minimum_v_bits": 659,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 47,
"q_exponent_advance": 35
},
{
"p_exponent": 284,
"q_exponent": 215,
"p_power_bits": 798,
"q_power_bits": 796,
"minimum_u_bits": 791,
"minimum_v_bits": 793,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 56,
"q_exponent_advance": 43
},
{
"p_exponent": 340,
"q_exponent": 258,
"p_power_bits": 955,
"q_power_bits": 955,
"minimum_u_bits": 951,
"minimum_v_bits": 951,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 68,
"q_exponent_advance": 51
},
{
"p_exponent": 408,
"q_exponent": 309,
"p_power_bits": 1146,
"q_power_bits": 1144,
"minimum_u_bits": 1139,
"minimum_v_bits": 1141,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 81,
"q_exponent_advance": 62
},
{
"p_exponent": 489,
"q_exponent": 371,
"p_power_bits": 1373,
"q_power_bits": 1373,
"minimum_u_bits": 1369,
"minimum_v_bits": 1368,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 97,
"q_exponent_advance": 74
},
{
"p_exponent": 586,
"q_exponent": 445,
"p_power_bits": 1646,
"q_power_bits": 1647,
"minimum_u_bits": 1642,
"minimum_v_bits": 1640,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 117,
"q_exponent_advance": 88
},
{
"p_exponent": 703,
"q_exponent": 533,
"p_power_bits": 1974,
"q_power_bits": 1973,
"minimum_u_bits": 1967,
"minimum_v_bits": 1968,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 140,
"q_exponent_advance": 106
},
{
"p_exponent": 843,
"q_exponent": 639,
"p_power_bits": 2367,
"q_power_bits": 2365,
"minimum_u_bits": 2361,
"minimum_v_bits": 2363,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 168,
"q_exponent_advance": 128
},
{
"p_exponent": 1011,
"q_exponent": 767,
"p_power_bits": 2839,
"q_power_bits": 2839,
"minimum_u_bits": 2834,
"minimum_v_bits": 2834,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 202,
"q_exponent_advance": 153
},
{
"p_exponent": 1213,
"q_exponent": 920,
"p_power_bits": 3406,
"q_power_bits": 3405,
"minimum_u_bits": 3400,
"minimum_v_bits": 3401,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 242,
"q_exponent_advance": 184
},
{
"p_exponent": 1455,
"q_exponent": 1104,
"p_power_bits": 4085,
"q_power_bits": 4086,
"minimum_u_bits": 4081,
"minimum_v_bits": 4081,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 291,
"q_exponent_advance": 220
},
{
"p_exponent": 1746,
"q_exponent": 1324,
"p_power_bits": 4902,
"q_power_bits": 4900,
"minimum_u_bits": 4893,
"minimum_v_bits": 4895,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 348,
"q_exponent_advance": 264
},
{
"p_exponent": 2094,
"q_exponent": 1588,
"p_power_bits": 5879,
"q_power_bits": 5877,
"minimum_u_bits": 5868,
"minimum_v_bits": 5871,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 417,
"q_exponent_advance": 317
},
{
"p_exponent": 2511,
"q_exponent": 1905,
"p_power_bits": 7050,
"q_power_bits": 7050,
"minimum_u_bits": 7044,
"minimum_v_bits": 7044,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 501,
"q_exponent_advance": 380
},
{
"p_exponent": 3012,
"q_exponent": 2285,
"p_power_bits": 8456,
"q_power_bits": 8456,
"minimum_u_bits": 8450,
"minimum_v_bits": 8451,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 602,
"q_exponent_advance": 457
},
{
"p_exponent": 3614,
"q_exponent": 2742,
"p_power_bits": 10146,
"q_power_bits": 10147,
"minimum_u_bits": 10142,
"minimum_v_bits": 10141,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 722,
"q_exponent_advance": 548
},
{
"p_exponent": 4336,
"q_exponent": 3290,
"p_power_bits": 12173,
"q_power_bits": 12175,
"minimum_u_bits": 12166,
"minimum_v_bits": 12164,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 866,
"q_exponent_advance": 657
},
{
"p_exponent": 5202,
"q_exponent": 3947,
"p_power_bits": 14604,
"q_power_bits": 14606,
"minimum_u_bits": 14598,
"minimum_v_bits": 14596,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1040,
"q_exponent_advance": 788
},
{
"p_exponent": 6242,
"q_exponent": 4735,
"p_power_bits": 17524,
"q_power_bits": 17522,
"minimum_u_bits": 17517,
"minimum_v_bits": 17519,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1247,
"q_exponent_advance": 947
},
{
"p_exponent": 7489,
"q_exponent": 5682,
"p_power_bits": 21025,
"q_power_bits": 21026,
"minimum_u_bits": 21020,
"minimum_v_bits": 21019,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1497,
"q_exponent_advance": 1136
},
{
"p_exponent": 8986,
"q_exponent": 6818,
"p_power_bits": 25227,
"q_power_bits": 25230,
"minimum_u_bits": 25224,
"minimum_v_bits": 25221,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1797,
"q_exponent_advance": 1363
},
{
"p_exponent": 10783,
"q_exponent": 8181,
"p_power_bits": 30272,
"q_power_bits": 30274,
"minimum_u_bits": 30267,
"minimum_v_bits": 30265,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2156,
"q_exponent_advance": 1635
},
{
"p_exponent": 12939,
"q_exponent": 9816,
"p_power_bits": 36325,
"q_power_bits": 36324,
"minimum_u_bits": 36318,
"minimum_v_bits": 36319,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2587,
"q_exponent_advance": 1963
},
{
"p_exponent": 15526,
"q_exponent": 11779,
"p_power_bits": 43587,
"q_power_bits": 43588,
"minimum_u_bits": 43583,
"minimum_v_bits": 43583,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3105,
"q_exponent_advance": 2355
},
{
"p_exponent": 18631,
"q_exponent": 14134,
"p_power_bits": 52304,
"q_power_bits": 52303,
"minimum_u_bits": 52297,
"minimum_v_bits": 52299,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3725,
"q_exponent_advance": 2827
},
{
"p_exponent": 22356,
"q_exponent": 16961,
"p_power_bits": 62762,
"q_power_bits": 62764,
"minimum_u_bits": 62757,
"minimum_v_bits": 62756,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4471,
"q_exponent_advance": 3391
},
{
"p_exponent": 26827,
"q_exponent": 20352,
"p_power_bits": 75313,
"q_power_bits": 75312,
"minimum_u_bits": 75306,
"minimum_v_bits": 75308,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5364,
"q_exponent_advance": 4070
},
{
"p_exponent": 32191,
"q_exponent": 24422,
"p_power_bits": 90372,
"q_power_bits": 90373,
"minimum_u_bits": 90367,
"minimum_v_bits": 90367,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6438,
"q_exponent_advance": 4884
},
{
"p_exponent": 38629,
"q_exponent": 29306,
"p_power_bits": 108446,
"q_power_bits": 108446,
"minimum_u_bits": 108440,
"minimum_v_bits": 108441,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7725,
"q_exponent_advance": 5861
},
{
"p_exponent": 46354,
"q_exponent": 35167,
"p_power_bits": 130133,
"q_power_bits": 130134,
"minimum_u_bits": 130127,
"minimum_v_bits": 130126,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 9270,
"q_exponent_advance": 7033
},
{
"p_exponent": 55624,
"q_exponent": 42200,
"p_power_bits": 156157,
"q_power_bits": 156159,
"minimum_u_bits": 156151,
"minimum_v_bits": 156149,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 11124,
"q_exponent_advance": 8439
},
{
"p_exponent": 66748,
"q_exponent": 50639,
"p_power_bits": 187386,
"q_power_bits": 187387,
"minimum_u_bits": 187381,
"minimum_v_bits": 187380,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 13349,
"q_exponent_advance": 10127
},
{
"p_exponent": 80097,
"q_exponent": 60766,
"p_power_bits": 224861,
"q_power_bits": 224861,
"minimum_u_bits": 224855,
"minimum_v_bits": 224854,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 16018,
"q_exponent_advance": 12153
},
{
"p_exponent": 96115,
"q_exponent": 72919,
"p_power_bits": 269829,
"q_power_bits": 269833,
"minimum_u_bits": 269827,
"minimum_v_bits": 269824,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 19223,
"q_exponent_advance": 14583
},
{
"p_exponent": 115338,
"q_exponent": 87502,
"p_power_bits": 323795,
"q_power_bits": 323796,
"minimum_u_bits": 323789,
"minimum_v_bits": 323788,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 23067,
"q_exponent_advance": 17500
},
{
"p_exponent": 138405,
"q_exponent": 105002,
"p_power_bits": 388552,
"q_power_bits": 388554,
"minimum_u_bits": 388545,
"minimum_v_bits": 388543,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 27680,
"q_exponent_advance": 20999
},
{
"p_exponent": 166085,
"q_exponent": 126001,
"p_power_bits": 466260,
"q_power_bits": 466260,
"minimum_u_bits": 466255,
"minimum_v_bits": 466255,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 33216,
"q_exponent_advance": 25200
},
{
"p_exponent": 199301,
"q_exponent": 151201,
"p_power_bits": 559509,
"q_power_bits": 559511,
"minimum_u_bits": 559505,
"minimum_v_bits": 559503,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 39860,
"q_exponent_advance": 30239
},
{
"p_exponent": 239161,
"q_exponent": 181440,
"p_power_bits": 671410,
"q_power_bits": 671408,
"minimum_u_bits": 671402,
"minimum_v_bits": 671404,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 47831,
"q_exponent_advance": 36288
},
{
"p_exponent": 286992,
"q_exponent": 217728,
"p_power_bits": 805689,
"q_power_bits": 805690,
"minimum_u_bits": 805682,
"minimum_v_bits": 805681,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 57397,
"q_exponent_advance": 43545
},
{
"p_exponent": 344389,
"q_exponent": 261273,
"p_power_bits": 966823,
"q_power_bits": 966825,
"minimum_u_bits": 966820,
"minimum_v_bits": 966817,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 68878,
"q_exponent_advance": 52254
},
{
"p_exponent": 413267,
"q_exponent": 313527,
"p_power_bits": 1160188,
"q_power_bits": 1160188,
"minimum_u_bits": 1160184,
"minimum_v_bits": 1160183,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 82653,
"q_exponent_advance": 62705
},
{
"p_exponent": 495920,
"q_exponent": 376232,
"p_power_bits": 1392224,
"q_power_bits": 1392224,
"minimum_u_bits": 1392218,
"minimum_v_bits": 1392218,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 99183,
"q_exponent_advance": 75246
},
{
"p_exponent": 595103,
"q_exponent": 451478,
"p_power_bits": 1670666,
"q_power_bits": 1670668,
"minimum_u_bits": 1670663,
"minimum_v_bits": 1670661,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 119020,
"q_exponent_advance": 90295
},
{
"p_exponent": 714123,
"q_exponent": 541773,
"p_power_bits": 2004797,
"q_power_bits": 2004799,
"minimum_u_bits": 2004792,
"minimum_v_bits": 2004791,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 142824,
"q_exponent_advance": 108354
},
{
"p_exponent": 856947,
"q_exponent": 650127,
"p_power_bits": 2405755,
"q_power_bits": 2405756,
"minimum_u_bits": 2405749,
"minimum_v_bits": 2405748,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 171389,
"q_exponent_advance": 130025
},
{
"p_exponent": 1028336,
"q_exponent": 780152,
"p_power_bits": 2886905,
"q_power_bits": 2886906,
"minimum_u_bits": 2886898,
"minimum_v_bits": 2886897,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 205666,
"q_exponent_advance": 156029
},
{
"p_exponent": 1234002,
"q_exponent": 936181,
"p_power_bits": 3464282,
"q_power_bits": 3464282,
"minimum_u_bits": 3464277,
"minimum_v_bits": 3464278,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 246800,
"q_exponent_advance": 187236
},
{
"p_exponent": 1480802,
"q_exponent": 1123417,
"p_power_bits": 4157137,
"q_power_bits": 4157137,
"minimum_u_bits": 4157132,
"minimum_v_bits": 4157132,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 296160,
"q_exponent_advance": 224683
},
{
"p_exponent": 1776962,
"q_exponent": 1348100,
"p_power_bits": 4988564,
"q_power_bits": 4988563,
"minimum_u_bits": 4988559,
"minimum_v_bits": 4988559,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 355392,
"q_exponent_advance": 269620
},
{
"p_exponent": 2132354,
"q_exponent": 1617720,
"p_power_bits": 5986275,
"q_power_bits": 5986276,
"minimum_u_bits": 5986271,
"minimum_v_bits": 5986270,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 426470,
"q_exponent_advance": 323544
},
{
"p_exponent": 2558824,
"q_exponent": 1941264,
"p_power_bits": 7183528,
"q_power_bits": 7183531,
"minimum_u_bits": 7183525,
"minimum_v_bits": 7183521,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 511765,
"q_exponent_advance": 388252
},
{
"p_exponent": 3070589,
"q_exponent": 2329516,
"p_power_bits": 8620234,
"q_power_bits": 8620234,
"minimum_u_bits": 8620229,
"minimum_v_bits": 8620228,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 614117,
"q_exponent_advance": 465903
},
{
"p_exponent": 3684706,
"q_exponent": 2795419,
"p_power_bits": 10344278,
"q_power_bits": 10344280,
"minimum_u_bits": 10344273,
"minimum_v_bits": 10344271,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 736941,
"q_exponent_advance": 559083
},
{
"p_exponent": 4421647,
"q_exponent": 3354502,
"p_power_bits": 12413133,
"q_power_bits": 12413133,
"minimum_u_bits": 12413127,
"minimum_v_bits": 12413127,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 884329,
"q_exponent_advance": 670900
},
{
"p_exponent": 5305976,
"q_exponent": 4025402,
"p_power_bits": 14895758,
"q_power_bits": 14895758,
"minimum_u_bits": 14895751,
"minimum_v_bits": 14895752,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1061194,
"q_exponent_advance": 805080
},
{
"p_exponent": 6367170,
"q_exponent": 4830482,
"p_power_bits": 17874907,
"q_power_bits": 17874908,
"minimum_u_bits": 17874899,
"minimum_v_bits": 17874898,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1273433,
"q_exponent_advance": 966095
},
{
"p_exponent": 7640603,
"q_exponent": 5796577,
"p_power_bits": 21449885,
"q_power_bits": 21449884,
"minimum_u_bits": 21449877,
"minimum_v_bits": 21449878,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1528120,
"q_exponent_advance": 1159315
},
{
"p_exponent": 9168723,
"q_exponent": 6955892,
"p_power_bits": 25739860,
"q_power_bits": 25739860,
"minimum_u_bits": 25739853,
"minimum_v_bits": 25739854,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1833744,
"q_exponent_advance": 1391178
},
{
"p_exponent": 11002467,
"q_exponent": 8347070,
"p_power_bits": 30887830,
"q_power_bits": 30887830,
"minimum_u_bits": 30887824,
"minimum_v_bits": 30887824,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2200493,
"q_exponent_advance": 1669414
},
{
"p_exponent": 13202960,
"q_exponent": 10016484,
"p_power_bits": 37065395,
"q_power_bits": 37065396,
"minimum_u_bits": 37065391,
"minimum_v_bits": 37065390,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2640592,
"q_exponent_advance": 2003296
},
{
"p_exponent": 15843552,
"q_exponent": 12019780,
"p_power_bits": 44478474,
"q_power_bits": 44478472,
"minimum_u_bits": 44478465,
"minimum_v_bits": 44478468,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3168709,
"q_exponent_advance": 2403956
},
{
"p_exponent": 19012261,
"q_exponent": 14423736,
"p_power_bits": 53374165,
"q_power_bits": 53374166,
"minimum_u_bits": 53374161,
"minimum_v_bits": 53374160,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3802452,
"q_exponent_advance": 2884747
},
{
"p_exponent": 22814713,
"q_exponent": 17308483,
"p_power_bits": 64048997,
"q_power_bits": 64048998,
"minimum_u_bits": 64048994,
"minimum_v_bits": 64048993,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4562942,
"q_exponent_advance": 3461696
},
{
"p_exponent": 27377655,
"q_exponent": 20770179,
"p_power_bits": 76858795,
"q_power_bits": 76858796,
"minimum_u_bits": 76858790,
"minimum_v_bits": 76858789,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5475530,
"q_exponent_advance": 4154035
}
],
"conclusion": "max(u,v)^5 >= min(p^a*u,q^b*v)^2 throughout the stated height range"
},
{
"pair": [
11,
13
],
"height_cap_power_of_ten": 27027659,
"maximum_difference": 19,
"cofactor_exponent_numerator": 2,
"cofactor_exponent_denominator": 5,
"height_threshold": 7540105,
"backend": "gmpy2",
"initial_exponents": [
2,
2
],
"maximum_exponents": [
25953378,
24263046
],
"final_exponents": [
30585370,
28593357
],
"anchor_count": 92,
"exact_boundary_pairs": 13,
"boundary_pairs_sha256": "d617ce2521f8d651b2ae88f9f0362f5a8b00cb8ad8ffbf1fce71ba36a76ea14f",
"exception_count": 9,
"exceptions": [
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": -19,
"p_cofactor": 18,
"q_cofactor": 13,
"smaller_height": 2178,
"larger_height": 2197
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 2,
"p_cofactor": 7,
"q_cofactor": 5,
"smaller_height": 845,
"larger_height": 847
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 4,
"p_cofactor": 14,
"q_cofactor": 10,
"smaller_height": 1690,
"larger_height": 1694
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 21,
"q_cofactor": 15,
"smaller_height": 2535,
"larger_height": 2541
},
{
"p_exponent": 2,
"q_exponent": 3,
"signed_difference": -19,
"p_cofactor": 18,
"q_cofactor": 1,
"smaller_height": 2178,
"larger_height": 2197
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": -17,
"p_cofactor": 33,
"q_cofactor": 20,
"smaller_height": 43923,
"larger_height": 43940
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": 13,
"p_cofactor": 104,
"q_cofactor": 63,
"smaller_height": 138411,
"larger_height": 138424
},
{
"p_exponent": 4,
"q_exponent": 3,
"signed_difference": -17,
"p_cofactor": 3,
"q_cofactor": 20,
"smaller_height": 43923,
"larger_height": 43940
},
{
"p_exponent": 4,
"q_exponent": 4,
"signed_difference": 11,
"p_cofactor": 515,
"q_cofactor": 264,
"smaller_height": 7540104,
"larger_height": 7540115
}
],
"anchors": [
{
"p_exponent": 2,
"q_exponent": 2,
"p_power_bits": 7,
"q_power_bits": 8,
"minimum_u_bits": 3,
"minimum_v_bits": 3,
"method": "exact boundary lines",
"boundary_pairs": 3,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 3,
"q_exponent": 3,
"p_power_bits": 11,
"q_power_bits": 12,
"minimum_u_bits": 6,
"minimum_v_bits": 5,
"method": "exact boundary lines",
"boundary_pairs": 4,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 4,
"q_exponent": 4,
"p_power_bits": 14,
"q_power_bits": 15,
"minimum_u_bits": 10,
"minimum_v_bits": 9,
"method": "exact boundary lines",
"boundary_pairs": 6,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 5,
"q_exponent": 5,
"p_power_bits": 18,
"q_power_bits": 19,
"minimum_u_bits": 13,
"minimum_v_bits": 12,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 6,
"q_exponent": 5,
"p_power_bits": 21,
"q_power_bits": 19,
"minimum_u_bits": 14,
"minimum_v_bits": 16,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 0,
"q_exponent_advance": 1
},
{
"p_exponent": 6,
"q_exponent": 6,
"p_power_bits": 21,
"q_power_bits": 23,
"minimum_u_bits": 17,
"minimum_v_bits": 16,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 7,
"q_exponent": 7,
"p_power_bits": 25,
"q_power_bits": 26,
"minimum_u_bits": 21,
"minimum_v_bits": 19,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 8,
"q_exponent": 8,
"p_power_bits": 28,
"q_power_bits": 30,
"minimum_u_bits": 24,
"minimum_v_bits": 22,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 9,
"q_exponent": 9,
"p_power_bits": 32,
"q_power_bits": 34,
"minimum_u_bits": 29,
"minimum_v_bits": 27,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 11,
"q_exponent": 10,
"p_power_bits": 39,
"q_power_bits": 38,
"minimum_u_bits": 32,
"minimum_v_bits": 33,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 13,
"q_exponent": 12,
"p_power_bits": 45,
"q_power_bits": 45,
"minimum_u_bits": 40,
"minimum_v_bits": 41,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 15,
"q_exponent": 14,
"p_power_bits": 52,
"q_power_bits": 52,
"minimum_u_bits": 45,
"minimum_v_bits": 45,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 17,
"q_exponent": 16,
"p_power_bits": 59,
"q_power_bits": 60,
"minimum_u_bits": 53,
"minimum_v_bits": 52,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 20,
"q_exponent": 18,
"p_power_bits": 70,
"q_power_bits": 67,
"minimum_u_bits": 59,
"minimum_v_bits": 61,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 3
},
{
"p_exponent": 23,
"q_exponent": 21,
"p_power_bits": 80,
"q_power_bits": 78,
"minimum_u_bits": 71,
"minimum_v_bits": 73,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4,
"q_exponent_advance": 4
},
{
"p_exponent": 27,
"q_exponent": 25,
"p_power_bits": 94,
"q_power_bits": 93,
"minimum_u_bits": 87,
"minimum_v_bits": 88,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5,
"q_exponent_advance": 5
},
{
"p_exponent": 32,
"q_exponent": 30,
"p_power_bits": 111,
"q_power_bits": 112,
"minimum_u_bits": 106,
"minimum_v_bits": 106,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6,
"q_exponent_advance": 6
},
{
"p_exponent": 38,
"q_exponent": 36,
"p_power_bits": 132,
"q_power_bits": 134,
"minimum_u_bits": 129,
"minimum_v_bits": 127,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8,
"q_exponent_advance": 7
},
{
"p_exponent": 46,
"q_exponent": 43,
"p_power_bits": 160,
"q_power_bits": 160,
"minimum_u_bits": 153,
"minimum_v_bits": 153,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8,
"q_exponent_advance": 8
},
{
"p_exponent": 54,
"q_exponent": 51,
"p_power_bits": 187,
"q_power_bits": 189,
"minimum_u_bits": 181,
"minimum_v_bits": 180,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10,
"q_exponent_advance": 9
},
{
"p_exponent": 64,
"q_exponent": 60,
"p_power_bits": 222,
"q_power_bits": 223,
"minimum_u_bits": 216,
"minimum_v_bits": 216,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 12,
"q_exponent_advance": 11
},
{
"p_exponent": 76,
"q_exponent": 71,
"p_power_bits": 263,
"q_power_bits": 263,
"minimum_u_bits": 257,
"minimum_v_bits": 258,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 15,
"q_exponent_advance": 14
},
{
"p_exponent": 91,
"q_exponent": 85,
"p_power_bits": 315,
"q_power_bits": 315,
"minimum_u_bits": 308,
"minimum_v_bits": 308,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 17,
"q_exponent_advance": 16
},
{
"p_exponent": 108,
"q_exponent": 101,
"p_power_bits": 374,
"q_power_bits": 374,
"minimum_u_bits": 367,
"minimum_v_bits": 367,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 21,
"q_exponent_advance": 19
},
{
"p_exponent": 129,
"q_exponent": 120,
"p_power_bits": 447,
"q_power_bits": 445,
"minimum_u_bits": 438,
"minimum_v_bits": 441,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 25,
"q_exponent_advance": 24
},
{
"p_exponent": 154,
"q_exponent": 144,
"p_power_bits": 533,
"q_power_bits": 533,
"minimum_u_bits": 528,
"minimum_v_bits": 528,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 30,
"q_exponent_advance": 28
},
{
"p_exponent": 184,
"q_exponent": 172,
"p_power_bits": 637,
"q_power_bits": 637,
"minimum_u_bits": 631,
"minimum_v_bits": 631,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 36,
"q_exponent_advance": 34
},
{
"p_exponent": 220,
"q_exponent": 206,
"p_power_bits": 762,
"q_power_bits": 763,
"minimum_u_bits": 758,
"minimum_v_bits": 757,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 44,
"q_exponent_advance": 41
},
{
"p_exponent": 264,
"q_exponent": 247,
"p_power_bits": 914,
"q_power_bits": 915,
"minimum_u_bits": 910,
"minimum_v_bits": 909,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 53,
"q_exponent_advance": 49
},
{
"p_exponent": 317,
"q_exponent": 296,
"p_power_bits": 1097,
"q_power_bits": 1096,
"minimum_u_bits": 1090,
"minimum_v_bits": 1092,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 63,
"q_exponent_advance": 59
},
{
"p_exponent": 380,
"q_exponent": 355,
"p_power_bits": 1315,
"q_power_bits": 1314,
"minimum_u_bits": 1309,
"minimum_v_bits": 1310,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 75,
"q_exponent_advance": 71
},
{
"p_exponent": 455,
"q_exponent": 426,
"p_power_bits": 1575,
"q_power_bits": 1577,
"minimum_u_bits": 1571,
"minimum_v_bits": 1568,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 91,
"q_exponent_advance": 84
},
{
"p_exponent": 546,
"q_exponent": 510,
"p_power_bits": 1889,
"q_power_bits": 1888,
"minimum_u_bits": 1880,
"minimum_v_bits": 1881,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 108,
"q_exponent_advance": 101
},
{
"p_exponent": 654,
"q_exponent": 611,
"p_power_bits": 2263,
"q_power_bits": 2261,
"minimum_u_bits": 2256,
"minimum_v_bits": 2257,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 130,
"q_exponent_advance": 122
},
{
"p_exponent": 784,
"q_exponent": 733,
"p_power_bits": 2713,
"q_power_bits": 2713,
"minimum_u_bits": 2708,
"minimum_v_bits": 2708,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 157,
"q_exponent_advance": 146
},
{
"p_exponent": 941,
"q_exponent": 879,
"p_power_bits": 3256,
"q_power_bits": 3253,
"minimum_u_bits": 3247,
"minimum_v_bits": 3250,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 187,
"q_exponent_advance": 176
},
{
"p_exponent": 1128,
"q_exponent": 1055,
"p_power_bits": 3903,
"q_power_bits": 3904,
"minimum_u_bits": 3899,
"minimum_v_bits": 3898,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 225,
"q_exponent_advance": 210
},
{
"p_exponent": 1353,
"q_exponent": 1265,
"p_power_bits": 4681,
"q_power_bits": 4682,
"minimum_u_bits": 4676,
"minimum_v_bits": 4676,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 270,
"q_exponent_advance": 253
},
{
"p_exponent": 1623,
"q_exponent": 1518,
"p_power_bits": 5615,
"q_power_bits": 5618,
"minimum_u_bits": 5613,
"minimum_v_bits": 5610,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 325,
"q_exponent_advance": 303
},
{
"p_exponent": 1948,
"q_exponent": 1821,
"p_power_bits": 6739,
"q_power_bits": 6739,
"minimum_u_bits": 6734,
"minimum_v_bits": 6734,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 389,
"q_exponent_advance": 364
},
{
"p_exponent": 2337,
"q_exponent": 2185,
"p_power_bits": 8085,
"q_power_bits": 8086,
"minimum_u_bits": 8080,
"minimum_v_bits": 8079,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 467,
"q_exponent_advance": 436
},
{
"p_exponent": 2804,
"q_exponent": 2621,
"p_power_bits": 9701,
"q_power_bits": 9699,
"minimum_u_bits": 9693,
"minimum_v_bits": 9694,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 560,
"q_exponent_advance": 524
},
{
"p_exponent": 3364,
"q_exponent": 3145,
"p_power_bits": 11638,
"q_power_bits": 11638,
"minimum_u_bits": 11631,
"minimum_v_bits": 11630,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 672,
"q_exponent_advance": 628
},
{
"p_exponent": 4036,
"q_exponent": 3773,
"p_power_bits": 13963,
"q_power_bits": 13962,
"minimum_u_bits": 13957,
"minimum_v_bits": 13958,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 807,
"q_exponent_advance": 754
},
{
"p_exponent": 4843,
"q_exponent": 4527,
"p_power_bits": 16755,
"q_power_bits": 16752,
"minimum_u_bits": 16748,
"minimum_v_bits": 16750,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 968,
"q_exponent_advance": 905
},
{
"p_exponent": 5811,
"q_exponent": 5432,
"p_power_bits": 20103,
"q_power_bits": 20101,
"minimum_u_bits": 20096,
"minimum_v_bits": 20098,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1161,
"q_exponent_advance": 1086
},
{
"p_exponent": 6972,
"q_exponent": 6518,
"p_power_bits": 24120,
"q_power_bits": 24120,
"minimum_u_bits": 24111,
"minimum_v_bits": 24110,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1393,
"q_exponent_advance": 1303
},
{
"p_exponent": 8365,
"q_exponent": 7821,
"p_power_bits": 28939,
"q_power_bits": 28942,
"minimum_u_bits": 28933,
"minimum_v_bits": 28930,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1673,
"q_exponent_advance": 1563
},
{
"p_exponent": 10038,
"q_exponent": 9384,
"p_power_bits": 34726,
"q_power_bits": 34725,
"minimum_u_bits": 34720,
"minimum_v_bits": 34720,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2007,
"q_exponent_advance": 1876
},
{
"p_exponent": 12045,
"q_exponent": 11260,
"p_power_bits": 41669,
"q_power_bits": 41667,
"minimum_u_bits": 41662,
"minimum_v_bits": 41664,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2408,
"q_exponent_advance": 2252
},
{
"p_exponent": 14453,
"q_exponent": 13512,
"p_power_bits": 50000,
"q_power_bits": 50001,
"minimum_u_bits": 49996,
"minimum_v_bits": 49994,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2890,
"q_exponent_advance": 2702
},
{
"p_exponent": 17343,
"q_exponent": 16214,
"p_power_bits": 59997,
"q_power_bits": 59999,
"minimum_u_bits": 59994,
"minimum_v_bits": 59992,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3469,
"q_exponent_advance": 3242
},
{
"p_exponent": 20812,
"q_exponent": 19456,
"p_power_bits": 71998,
"q_power_bits": 71996,
"minimum_u_bits": 71991,
"minimum_v_bits": 71993,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4162,
"q_exponent_advance": 3891
},
{
"p_exponent": 24974,
"q_exponent": 23347,
"p_power_bits": 86396,
"q_power_bits": 86395,
"minimum_u_bits": 86390,
"minimum_v_bits": 86392,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4994,
"q_exponent_advance": 4669
},
{
"p_exponent": 29968,
"q_exponent": 28016,
"p_power_bits": 103673,
"q_power_bits": 103672,
"minimum_u_bits": 103666,
"minimum_v_bits": 103667,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5993,
"q_exponent_advance": 5603
},
{
"p_exponent": 35961,
"q_exponent": 33619,
"p_power_bits": 124405,
"q_power_bits": 124406,
"minimum_u_bits": 124401,
"minimum_v_bits": 124400,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7192,
"q_exponent_advance": 6723
},
{
"p_exponent": 43153,
"q_exponent": 40342,
"p_power_bits": 149285,
"q_power_bits": 149284,
"minimum_u_bits": 149278,
"minimum_v_bits": 149279,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8630,
"q_exponent_advance": 8068
},
{
"p_exponent": 51783,
"q_exponent": 48410,
"p_power_bits": 179140,
"q_power_bits": 179139,
"minimum_u_bits": 179133,
"minimum_v_bits": 179135,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 10356,
"q_exponent_advance": 9682
},
{
"p_exponent": 62139,
"q_exponent": 58092,
"p_power_bits": 214966,
"q_power_bits": 214966,
"minimum_u_bits": 214962,
"minimum_v_bits": 214962,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 12428,
"q_exponent_advance": 11618
},
{
"p_exponent": 74567,
"q_exponent": 69710,
"p_power_bits": 257960,
"q_power_bits": 257958,
"minimum_u_bits": 257952,
"minimum_v_bits": 257953,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 14912,
"q_exponent_advance": 13942
},
{
"p_exponent": 89479,
"q_exponent": 83652,
"p_power_bits": 309547,
"q_power_bits": 309550,
"minimum_u_bits": 309544,
"minimum_v_bits": 309541,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 17896,
"q_exponent_advance": 16730
},
{
"p_exponent": 107375,
"q_exponent": 100382,
"p_power_bits": 371457,
"q_power_bits": 371458,
"minimum_u_bits": 371454,
"minimum_v_bits": 371453,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 21475,
"q_exponent_advance": 20076
},
{
"p_exponent": 128850,
"q_exponent": 120458,
"p_power_bits": 445748,
"q_power_bits": 445748,
"minimum_u_bits": 445743,
"minimum_v_bits": 445743,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 25770,
"q_exponent_advance": 24091
},
{
"p_exponent": 154620,
"q_exponent": 144549,
"p_power_bits": 534898,
"q_power_bits": 534895,
"minimum_u_bits": 534889,
"minimum_v_bits": 534892,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 30923,
"q_exponent_advance": 28910
},
{
"p_exponent": 185543,
"q_exponent": 173459,
"p_power_bits": 641874,
"q_power_bits": 641875,
"minimum_u_bits": 641871,
"minimum_v_bits": 641869,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 37109,
"q_exponent_advance": 34691
},
{
"p_exponent": 222652,
"q_exponent": 208150,
"p_power_bits": 770250,
"q_power_bits": 770247,
"minimum_u_bits": 770241,
"minimum_v_bits": 770244,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 44529,
"q_exponent_advance": 41630
},
{
"p_exponent": 267181,
"q_exponent": 249780,
"p_power_bits": 924295,
"q_power_bits": 924296,
"minimum_u_bits": 924291,
"minimum_v_bits": 924290,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 53436,
"q_exponent_advance": 49955
},
{
"p_exponent": 320617,
"q_exponent": 299735,
"p_power_bits": 1109153,
"q_power_bits": 1109152,
"minimum_u_bits": 1109147,
"minimum_v_bits": 1109148,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 64123,
"q_exponent_advance": 59947
},
{
"p_exponent": 384740,
"q_exponent": 359682,
"p_power_bits": 1330982,
"q_power_bits": 1330982,
"minimum_u_bits": 1330977,
"minimum_v_bits": 1330978,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 76948,
"q_exponent_advance": 71936
},
{
"p_exponent": 461688,
"q_exponent": 431618,
"p_power_bits": 1597179,
"q_power_bits": 1597177,
"minimum_u_bits": 1597172,
"minimum_v_bits": 1597174,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 92337,
"q_exponent_advance": 86324
},
{
"p_exponent": 554025,
"q_exponent": 517942,
"p_power_bits": 1916612,
"q_power_bits": 1916614,
"minimum_u_bits": 1916605,
"minimum_v_bits": 1916603,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 110804,
"q_exponent_advance": 103587
},
{
"p_exponent": 664829,
"q_exponent": 621529,
"p_power_bits": 2299931,
"q_power_bits": 2299931,
"minimum_u_bits": 2299926,
"minimum_v_bits": 2299926,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 132965,
"q_exponent_advance": 124305
},
{
"p_exponent": 797794,
"q_exponent": 745834,
"p_power_bits": 2759914,
"q_power_bits": 2759914,
"minimum_u_bits": 2759909,
"minimum_v_bits": 2759909,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 159558,
"q_exponent_advance": 149166
},
{
"p_exponent": 957352,
"q_exponent": 895000,
"p_power_bits": 3311894,
"q_power_bits": 3311894,
"minimum_u_bits": 3311886,
"minimum_v_bits": 3311886,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 191469,
"q_exponent_advance": 178999
},
{
"p_exponent": 1148821,
"q_exponent": 1073999,
"p_power_bits": 3974268,
"q_power_bits": 3974269,
"minimum_u_bits": 3974263,
"minimum_v_bits": 3974262,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 229764,
"q_exponent_advance": 214799
},
{
"p_exponent": 1378585,
"q_exponent": 1288798,
"p_power_bits": 4769121,
"q_power_bits": 4769120,
"minimum_u_bits": 4769115,
"minimum_v_bits": 4769116,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 275716,
"q_exponent_advance": 257759
},
{
"p_exponent": 1654301,
"q_exponent": 1546557,
"p_power_bits": 5722942,
"q_power_bits": 5722941,
"minimum_u_bits": 5722937,
"minimum_v_bits": 5722937,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 330860,
"q_exponent_advance": 309311
},
{
"p_exponent": 1985161,
"q_exponent": 1855868,
"p_power_bits": 6867529,
"q_power_bits": 6867528,
"minimum_u_bits": 6867522,
"minimum_v_bits": 6867523,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 397031,
"q_exponent_advance": 371173
},
{
"p_exponent": 2382192,
"q_exponent": 2227041,
"p_power_bits": 8241031,
"q_power_bits": 8241031,
"minimum_u_bits": 8241025,
"minimum_v_bits": 8241024,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 476438,
"q_exponent_advance": 445407
},
{
"p_exponent": 2858630,
"q_exponent": 2672448,
"p_power_bits": 9889236,
"q_power_bits": 9889233,
"minimum_u_bits": 9889228,
"minimum_v_bits": 9889231,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 571725,
"q_exponent_advance": 534490
},
{
"p_exponent": 3430355,
"q_exponent": 3206938,
"p_power_bits": 11867079,
"q_power_bits": 11867081,
"minimum_u_bits": 11867077,
"minimum_v_bits": 11867074,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 686071,
"q_exponent_advance": 641387
},
{
"p_exponent": 4116426,
"q_exponent": 3848325,
"p_power_bits": 14240495,
"q_power_bits": 14240495,
"minimum_u_bits": 14240488,
"minimum_v_bits": 14240488,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 823285,
"q_exponent_advance": 769664
},
{
"p_exponent": 4939711,
"q_exponent": 4617989,
"p_power_bits": 17088593,
"q_power_bits": 17088590,
"minimum_u_bits": 17088585,
"minimum_v_bits": 17088588,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 987941,
"q_exponent_advance": 923598
},
{
"p_exponent": 5927652,
"q_exponent": 5541587,
"p_power_bits": 20506307,
"q_power_bits": 20506309,
"minimum_u_bits": 20506304,
"minimum_v_bits": 20506302,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1185530,
"q_exponent_advance": 1108317
},
{
"p_exponent": 7113182,
"q_exponent": 6649904,
"p_power_bits": 24607567,
"q_power_bits": 24607569,
"minimum_u_bits": 24607564,
"minimum_v_bits": 24607562,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1422636,
"q_exponent_advance": 1329980
},
{
"p_exponent": 8535818,
"q_exponent": 7979884,
"p_power_bits": 29529079,
"q_power_bits": 29529080,
"minimum_u_bits": 29529075,
"minimum_v_bits": 29529074,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1707163,
"q_exponent_advance": 1595976
},
{
"p_exponent": 10242981,
"q_exponent": 9575860,
"p_power_bits": 35434893,
"q_power_bits": 35434893,
"minimum_u_bits": 35434886,
"minimum_v_bits": 35434885,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2048595,
"q_exponent_advance": 1915171
},
{
"p_exponent": 12291576,
"q_exponent": 11491031,
"p_power_bits": 42521867,
"q_power_bits": 42521868,
"minimum_u_bits": 42521860,
"minimum_v_bits": 42521859,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2458314,
"q_exponent_advance": 2298205
},
{
"p_exponent": 14749890,
"q_exponent": 13789236,
"p_power_bits": 51026236,
"q_power_bits": 51026237,
"minimum_u_bits": 51026231,
"minimum_v_bits": 51026230,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2949978,
"q_exponent_advance": 2757847
},
{
"p_exponent": 17699868,
"q_exponent": 16547083,
"p_power_bits": 61231484,
"q_power_bits": 61231484,
"minimum_u_bits": 61231478,
"minimum_v_bits": 61231478,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3539973,
"q_exponent_advance": 3309416
},
{
"p_exponent": 21239841,
"q_exponent": 19856499,
"p_power_bits": 73477778,
"q_power_bits": 73477778,
"minimum_u_bits": 73477770,
"minimum_v_bits": 73477770,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4247967,
"q_exponent_advance": 3971299
},
{
"p_exponent": 25487808,
"q_exponent": 23827798,
"p_power_bits": 88173329,
"q_power_bits": 88173331,
"minimum_u_bits": 88173326,
"minimum_v_bits": 88173325,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5097562,
"q_exponent_advance": 4765559
}
],
"conclusion": "max(u,v)^5 >= min(p^a*u,q^b*v)^2 throughout the stated height range"
},
{
"pair": [
17,
19
],
"height_cap_power_of_ten": 27027659,
"maximum_difference": 19,
"cofactor_exponent_numerator": 2,
"cofactor_exponent_denominator": 5,
"height_threshold": 12395351595,
"backend": "gmpy2",
"initial_exponents": [
2,
2
],
"maximum_exponents": [
21965689,
21135939
],
"final_exponents": [
23300504,
22420332
],
"anchor_count": 90,
"exact_boundary_pairs": 14,
"boundary_pairs_sha256": "e80cdc0aba28bb9ba814ba1778afd09f41a1fc28b3de70049bce388e8d917b8f",
"exception_count": 11,
"exceptions": [
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 1,
"p_cofactor": 5,
"q_cofactor": 4,
"smaller_height": 1444,
"larger_height": 1445
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 2,
"p_cofactor": 10,
"q_cofactor": 8,
"smaller_height": 2888,
"larger_height": 2890
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 3,
"p_cofactor": 15,
"q_cofactor": 12,
"smaller_height": 4332,
"larger_height": 4335
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 4,
"p_cofactor": 20,
"q_cofactor": 16,
"smaller_height": 5776,
"larger_height": 5780
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 5,
"p_cofactor": 25,
"q_cofactor": 20,
"smaller_height": 7220,
"larger_height": 7225
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 6,
"p_cofactor": 30,
"q_cofactor": 24,
"smaller_height": 8664,
"larger_height": 8670
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 7,
"p_cofactor": 35,
"q_cofactor": 28,
"smaller_height": 10108,
"larger_height": 10115
},
{
"p_exponent": 2,
"q_exponent": 2,
"signed_difference": 8,
"p_cofactor": 40,
"q_cofactor": 32,
"smaller_height": 11552,
"larger_height": 11560
},
{
"p_exponent": 3,
"q_exponent": 3,
"signed_difference": 9,
"p_cofactor": 215,
"q_cofactor": 154,
"smaller_height": 1056286,
"larger_height": 1056295
},
{
"p_exponent": 5,
"q_exponent": 5,
"signed_difference": 8,
"p_cofactor": 4365,
"q_cofactor": 2503,
"smaller_height": 6197675797,
"larger_height": 6197675805
},
{
"p_exponent": 5,
"q_exponent": 5,
"signed_difference": 16,
"p_cofactor": 8730,
"q_cofactor": 5006,
"smaller_height": 12395351594,
"larger_height": 12395351610
}
],
"anchors": [
{
"p_exponent": 2,
"q_exponent": 2,
"p_power_bits": 9,
"q_power_bits": 9,
"minimum_u_bits": 3,
"minimum_v_bits": 3,
"method": "exact boundary lines",
"boundary_pairs": 3,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 3,
"q_exponent": 3,
"p_power_bits": 13,
"q_power_bits": 13,
"minimum_u_bits": 8,
"minimum_v_bits": 8,
"method": "exact boundary lines",
"boundary_pairs": 4,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 4,
"q_exponent": 4,
"p_power_bits": 17,
"q_power_bits": 17,
"minimum_u_bits": 11,
"minimum_v_bits": 11,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 0
},
{
"p_exponent": 5,
"q_exponent": 4,
"p_power_bits": 21,
"q_power_bits": 17,
"minimum_u_bits": 13,
"minimum_v_bits": 16,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 0,
"q_exponent_advance": 1
},
{
"p_exponent": 5,
"q_exponent": 5,
"p_power_bits": 21,
"q_power_bits": 22,
"minimum_u_bits": 13,
"minimum_v_bits": 12,
"method": "exact boundary lines",
"boundary_pairs": 7,
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 6,
"q_exponent": 6,
"p_power_bits": 25,
"q_power_bits": 26,
"minimum_u_bits": 20,
"minimum_v_bits": 19,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 7,
"q_exponent": 7,
"p_power_bits": 29,
"q_power_bits": 30,
"minimum_u_bits": 23,
"minimum_v_bits": 22,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 8,
"q_exponent": 8,
"p_power_bits": 33,
"q_power_bits": 34,
"minimum_u_bits": 27,
"minimum_v_bits": 26,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1,
"q_exponent_advance": 1
},
{
"p_exponent": 9,
"q_exponent": 9,
"p_power_bits": 37,
"q_power_bits": 39,
"minimum_u_bits": 34,
"minimum_v_bits": 32,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 1
},
{
"p_exponent": 11,
"q_exponent": 10,
"p_power_bits": 45,
"q_power_bits": 43,
"minimum_u_bits": 38,
"minimum_v_bits": 41,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 2
},
{
"p_exponent": 13,
"q_exponent": 12,
"p_power_bits": 54,
"q_power_bits": 51,
"minimum_u_bits": 47,
"minimum_v_bits": 49,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2,
"q_exponent_advance": 3
},
{
"p_exponent": 15,
"q_exponent": 15,
"p_power_bits": 62,
"q_power_bits": 64,
"minimum_u_bits": 59,
"minimum_v_bits": 57,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 2
},
{
"p_exponent": 18,
"q_exponent": 17,
"p_power_bits": 74,
"q_power_bits": 73,
"minimum_u_bits": 68,
"minimum_v_bits": 69,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 3
},
{
"p_exponent": 21,
"q_exponent": 20,
"p_power_bits": 86,
"q_power_bits": 85,
"minimum_u_bits": 76,
"minimum_v_bits": 76,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3,
"q_exponent_advance": 3
},
{
"p_exponent": 24,
"q_exponent": 23,
"p_power_bits": 99,
"q_power_bits": 98,
"minimum_u_bits": 94,
"minimum_v_bits": 94,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5,
"q_exponent_advance": 4
},
{
"p_exponent": 29,
"q_exponent": 27,
"p_power_bits": 119,
"q_power_bits": 115,
"minimum_u_bits": 110,
"minimum_v_bits": 114,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5,
"q_exponent_advance": 6
},
{
"p_exponent": 34,
"q_exponent": 33,
"p_power_bits": 139,
"q_power_bits": 141,
"minimum_u_bits": 133,
"minimum_v_bits": 132,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6,
"q_exponent_advance": 6
},
{
"p_exponent": 40,
"q_exponent": 39,
"p_power_bits": 164,
"q_power_bits": 166,
"minimum_u_bits": 158,
"minimum_v_bits": 156,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 8,
"q_exponent_advance": 7
},
{
"p_exponent": 48,
"q_exponent": 46,
"p_power_bits": 197,
"q_power_bits": 196,
"minimum_u_bits": 190,
"minimum_v_bits": 191,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 9,
"q_exponent_advance": 9
},
{
"p_exponent": 57,
"q_exponent": 55,
"p_power_bits": 233,
"q_power_bits": 234,
"minimum_u_bits": 229,
"minimum_v_bits": 228,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 11,
"q_exponent_advance": 11
},
{
"p_exponent": 68,
"q_exponent": 66,
"p_power_bits": 278,
"q_power_bits": 281,
"minimum_u_bits": 276,
"minimum_v_bits": 273,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 14,
"q_exponent_advance": 13
},
{
"p_exponent": 82,
"q_exponent": 79,
"p_power_bits": 336,
"q_power_bits": 336,
"minimum_u_bits": 329,
"minimum_v_bits": 329,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 16,
"q_exponent_advance": 15
},
{
"p_exponent": 98,
"q_exponent": 94,
"p_power_bits": 401,
"q_power_bits": 400,
"minimum_u_bits": 393,
"minimum_v_bits": 394,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 19,
"q_exponent_advance": 19
},
{
"p_exponent": 117,
"q_exponent": 113,
"p_power_bits": 479,
"q_power_bits": 481,
"minimum_u_bits": 475,
"minimum_v_bits": 473,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 23,
"q_exponent_advance": 22
},
{
"p_exponent": 140,
"q_exponent": 135,
"p_power_bits": 573,
"q_power_bits": 574,
"minimum_u_bits": 569,
"minimum_v_bits": 568,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 28,
"q_exponent_advance": 27
},
{
"p_exponent": 168,
"q_exponent": 162,
"p_power_bits": 687,
"q_power_bits": 689,
"minimum_u_bits": 681,
"minimum_v_bits": 679,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 33,
"q_exponent_advance": 32
},
{
"p_exponent": 201,
"q_exponent": 194,
"p_power_bits": 822,
"q_power_bits": 825,
"minimum_u_bits": 819,
"minimum_v_bits": 817,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 40,
"q_exponent_advance": 38
},
{
"p_exponent": 241,
"q_exponent": 232,
"p_power_bits": 986,
"q_power_bits": 986,
"minimum_u_bits": 981,
"minimum_v_bits": 981,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 48,
"q_exponent_advance": 46
},
{
"p_exponent": 289,
"q_exponent": 278,
"p_power_bits": 1182,
"q_power_bits": 1181,
"minimum_u_bits": 1176,
"minimum_v_bits": 1176,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 57,
"q_exponent_advance": 55
},
{
"p_exponent": 346,
"q_exponent": 333,
"p_power_bits": 1415,
"q_power_bits": 1415,
"minimum_u_bits": 1409,
"minimum_v_bits": 1408,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 69,
"q_exponent_advance": 66
},
{
"p_exponent": 415,
"q_exponent": 399,
"p_power_bits": 1697,
"q_power_bits": 1695,
"minimum_u_bits": 1690,
"minimum_v_bits": 1691,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 83,
"q_exponent_advance": 80
},
{
"p_exponent": 498,
"q_exponent": 479,
"p_power_bits": 2036,
"q_power_bits": 2035,
"minimum_u_bits": 2030,
"minimum_v_bits": 2030,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 99,
"q_exponent_advance": 96
},
{
"p_exponent": 597,
"q_exponent": 575,
"p_power_bits": 2441,
"q_power_bits": 2443,
"minimum_u_bits": 2438,
"minimum_v_bits": 2435,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 119,
"q_exponent_advance": 114
},
{
"p_exponent": 716,
"q_exponent": 689,
"p_power_bits": 2927,
"q_power_bits": 2927,
"minimum_u_bits": 2923,
"minimum_v_bits": 2922,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 143,
"q_exponent_advance": 138
},
{
"p_exponent": 859,
"q_exponent": 827,
"p_power_bits": 3512,
"q_power_bits": 3514,
"minimum_u_bits": 3507,
"minimum_v_bits": 3505,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 172,
"q_exponent_advance": 165
},
{
"p_exponent": 1031,
"q_exponent": 992,
"p_power_bits": 4215,
"q_power_bits": 4214,
"minimum_u_bits": 4204,
"minimum_v_bits": 4205,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 205,
"q_exponent_advance": 198
},
{
"p_exponent": 1236,
"q_exponent": 1190,
"p_power_bits": 5053,
"q_power_bits": 5056,
"minimum_u_bits": 5049,
"minimum_v_bits": 5046,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 247,
"q_exponent_advance": 237
},
{
"p_exponent": 1483,
"q_exponent": 1427,
"p_power_bits": 6062,
"q_power_bits": 6062,
"minimum_u_bits": 6057,
"minimum_v_bits": 6057,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 296,
"q_exponent_advance": 285
},
{
"p_exponent": 1779,
"q_exponent": 1712,
"p_power_bits": 7272,
"q_power_bits": 7273,
"minimum_u_bits": 7268,
"minimum_v_bits": 7267,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 356,
"q_exponent_advance": 342
},
{
"p_exponent": 2135,
"q_exponent": 2054,
"p_power_bits": 8727,
"q_power_bits": 8726,
"minimum_u_bits": 8721,
"minimum_v_bits": 8722,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 427,
"q_exponent_advance": 411
},
{
"p_exponent": 2562,
"q_exponent": 2465,
"p_power_bits": 10473,
"q_power_bits": 10472,
"minimum_u_bits": 10464,
"minimum_v_bits": 10465,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 512,
"q_exponent_advance": 493
},
{
"p_exponent": 3074,
"q_exponent": 2958,
"p_power_bits": 12565,
"q_power_bits": 12566,
"minimum_u_bits": 12560,
"minimum_v_bits": 12560,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 615,
"q_exponent_advance": 591
},
{
"p_exponent": 3689,
"q_exponent": 3549,
"p_power_bits": 15079,
"q_power_bits": 15076,
"minimum_u_bits": 15070,
"minimum_v_bits": 15073,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 737,
"q_exponent_advance": 710
},
{
"p_exponent": 4426,
"q_exponent": 4259,
"p_power_bits": 18092,
"q_power_bits": 18092,
"minimum_u_bits": 18087,
"minimum_v_bits": 18086,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 885,
"q_exponent_advance": 851
},
{
"p_exponent": 5311,
"q_exponent": 5110,
"p_power_bits": 21709,
"q_power_bits": 21707,
"minimum_u_bits": 21702,
"minimum_v_bits": 21704,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1062,
"q_exponent_advance": 1022
},
{
"p_exponent": 6373,
"q_exponent": 6132,
"p_power_bits": 26050,
"q_power_bits": 26049,
"minimum_u_bits": 26044,
"minimum_v_bits": 26045,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1274,
"q_exponent_advance": 1226
},
{
"p_exponent": 7647,
"q_exponent": 7358,
"p_power_bits": 31257,
"q_power_bits": 31257,
"minimum_u_bits": 31251,
"minimum_v_bits": 31252,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1529,
"q_exponent_advance": 1471
},
{
"p_exponent": 9176,
"q_exponent": 8829,
"p_power_bits": 37507,
"q_power_bits": 37505,
"minimum_u_bits": 37499,
"minimum_v_bits": 37501,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1835,
"q_exponent_advance": 1766
},
{
"p_exponent": 11011,
"q_exponent": 10595,
"p_power_bits": 45008,
"q_power_bits": 45007,
"minimum_u_bits": 45002,
"minimum_v_bits": 45002,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2202,
"q_exponent_advance": 2119
},
{
"p_exponent": 13213,
"q_exponent": 12714,
"p_power_bits": 54008,
"q_power_bits": 54009,
"minimum_u_bits": 54004,
"minimum_v_bits": 54003,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2642,
"q_exponent_advance": 2543
},
{
"p_exponent": 15855,
"q_exponent": 15257,
"p_power_bits": 64807,
"q_power_bits": 64811,
"minimum_u_bits": 64806,
"minimum_v_bits": 64802,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3171,
"q_exponent_advance": 3051
},
{
"p_exponent": 19026,
"q_exponent": 18308,
"p_power_bits": 77769,
"q_power_bits": 77772,
"minimum_u_bits": 77765,
"minimum_v_bits": 77762,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3805,
"q_exponent_advance": 3661
},
{
"p_exponent": 22831,
"q_exponent": 21969,
"p_power_bits": 93321,
"q_power_bits": 93323,
"minimum_u_bits": 93318,
"minimum_v_bits": 93317,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 4566,
"q_exponent_advance": 4393
},
{
"p_exponent": 27397,
"q_exponent": 26362,
"p_power_bits": 111985,
"q_power_bits": 111984,
"minimum_u_bits": 111973,
"minimum_v_bits": 111973,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 5478,
"q_exponent_advance": 5271
},
{
"p_exponent": 32875,
"q_exponent": 31633,
"p_power_bits": 134376,
"q_power_bits": 134375,
"minimum_u_bits": 134370,
"minimum_v_bits": 134371,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 6575,
"q_exponent_advance": 6326
},
{
"p_exponent": 39450,
"q_exponent": 37959,
"p_power_bits": 161251,
"q_power_bits": 161248,
"minimum_u_bits": 161243,
"minimum_v_bits": 161246,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 7889,
"q_exponent_advance": 7592
},
{
"p_exponent": 47339,
"q_exponent": 45551,
"p_power_bits": 193497,
"q_power_bits": 193498,
"minimum_u_bits": 193491,
"minimum_v_bits": 193490,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 9467,
"q_exponent_advance": 9110
},
{
"p_exponent": 56806,
"q_exponent": 54661,
"p_power_bits": 232193,
"q_power_bits": 232196,
"minimum_u_bits": 232189,
"minimum_v_bits": 232185,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 11361,
"q_exponent_advance": 10931
},
{
"p_exponent": 68167,
"q_exponent": 65592,
"p_power_bits": 278631,
"q_power_bits": 278631,
"minimum_u_bits": 278625,
"minimum_v_bits": 278625,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 13633,
"q_exponent_advance": 13118
},
{
"p_exponent": 81800,
"q_exponent": 78710,
"p_power_bits": 334355,
"q_power_bits": 334355,
"minimum_u_bits": 334349,
"minimum_v_bits": 334349,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 16360,
"q_exponent_advance": 15742
},
{
"p_exponent": 98160,
"q_exponent": 94452,
"p_power_bits": 401226,
"q_power_bits": 401226,
"minimum_u_bits": 401221,
"minimum_v_bits": 401221,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 19632,
"q_exponent_advance": 18890
},
{
"p_exponent": 117792,
"q_exponent": 113342,
"p_power_bits": 481471,
"q_power_bits": 481469,
"minimum_u_bits": 481462,
"minimum_v_bits": 481464,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 23558,
"q_exponent_advance": 22668
},
{
"p_exponent": 141350,
"q_exponent": 136010,
"p_power_bits": 577763,
"q_power_bits": 577761,
"minimum_u_bits": 577757,
"minimum_v_bits": 577759,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 28270,
"q_exponent_advance": 27202
},
{
"p_exponent": 169620,
"q_exponent": 163212,
"p_power_bits": 693316,
"q_power_bits": 693313,
"minimum_u_bits": 693308,
"minimum_v_bits": 693311,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 33923,
"q_exponent_advance": 32643
},
{
"p_exponent": 203543,
"q_exponent": 195855,
"p_power_bits": 831975,
"q_power_bits": 831978,
"minimum_u_bits": 831973,
"minimum_v_bits": 831970,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 40709,
"q_exponent_advance": 39170
},
{
"p_exponent": 244252,
"q_exponent": 235025,
"p_power_bits": 998371,
"q_power_bits": 998370,
"minimum_u_bits": 998363,
"minimum_v_bits": 998364,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 48850,
"q_exponent_advance": 47005
},
{
"p_exponent": 293102,
"q_exponent": 282030,
"p_power_bits": 1198044,
"q_power_bits": 1198043,
"minimum_u_bits": 1198034,
"minimum_v_bits": 1198034,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 58619,
"q_exponent_advance": 56405
},
{
"p_exponent": 351721,
"q_exponent": 338435,
"p_power_bits": 1437647,
"q_power_bits": 1437648,
"minimum_u_bits": 1437643,
"minimum_v_bits": 1437642,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 70344,
"q_exponent_advance": 67687
},
{
"p_exponent": 422065,
"q_exponent": 406122,
"p_power_bits": 1725176,
"q_power_bits": 1725177,
"minimum_u_bits": 1725171,
"minimum_v_bits": 1725170,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 84413,
"q_exponent_advance": 81224
},
{
"p_exponent": 506478,
"q_exponent": 487346,
"p_power_bits": 2070211,
"q_power_bits": 2070211,
"minimum_u_bits": 2070206,
"minimum_v_bits": 2070205,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 101295,
"q_exponent_advance": 97469
},
{
"p_exponent": 607773,
"q_exponent": 584815,
"p_power_bits": 2484250,
"q_power_bits": 2484252,
"minimum_u_bits": 2484247,
"minimum_v_bits": 2484245,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 121555,
"q_exponent_advance": 116962
},
{
"p_exponent": 729328,
"q_exponent": 701777,
"p_power_bits": 2981102,
"q_power_bits": 2981098,
"minimum_u_bits": 2981093,
"minimum_v_bits": 2981097,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 145865,
"q_exponent_advance": 140356
},
{
"p_exponent": 875193,
"q_exponent": 842133,
"p_power_bits": 3577319,
"q_power_bits": 3577320,
"minimum_u_bits": 3577315,
"minimum_v_bits": 3577314,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 175038,
"q_exponent_advance": 168426
},
{
"p_exponent": 1050231,
"q_exponent": 1010559,
"p_power_bits": 4292781,
"q_power_bits": 4292782,
"minimum_u_bits": 4292775,
"minimum_v_bits": 4292774,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 210046,
"q_exponent_advance": 202111
},
{
"p_exponent": 1260277,
"q_exponent": 1212670,
"p_power_bits": 5151336,
"q_power_bits": 5151335,
"minimum_u_bits": 5151330,
"minimum_v_bits": 5151331,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 252055,
"q_exponent_advance": 242534
},
{
"p_exponent": 1512332,
"q_exponent": 1455204,
"p_power_bits": 6181601,
"q_power_bits": 6181602,
"minimum_u_bits": 6181595,
"minimum_v_bits": 6181594,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 302466,
"q_exponent_advance": 291040
},
{
"p_exponent": 1814798,
"q_exponent": 1746244,
"p_power_bits": 7417920,
"q_power_bits": 7417918,
"minimum_u_bits": 7417913,
"minimum_v_bits": 7417915,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 362959,
"q_exponent_advance": 349249
},
{
"p_exponent": 2177757,
"q_exponent": 2095493,
"p_power_bits": 8901501,
"q_power_bits": 8901503,
"minimum_u_bits": 8901493,
"minimum_v_bits": 8901492,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 435551,
"q_exponent_advance": 419098
},
{
"p_exponent": 2613308,
"q_exponent": 2514591,
"p_power_bits": 10681800,
"q_power_bits": 10681801,
"minimum_u_bits": 10681794,
"minimum_v_bits": 10681794,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 522661,
"q_exponent_advance": 502918
},
{
"p_exponent": 3135969,
"q_exponent": 3017509,
"p_power_bits": 12818157,
"q_power_bits": 12818160,
"minimum_u_bits": 12818154,
"minimum_v_bits": 12818152,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 627194,
"q_exponent_advance": 603501
},
{
"p_exponent": 3763163,
"q_exponent": 3621010,
"p_power_bits": 15381789,
"q_power_bits": 15381789,
"minimum_u_bits": 15381782,
"minimum_v_bits": 15381783,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 752632,
"q_exponent_advance": 724202
},
{
"p_exponent": 4515795,
"q_exponent": 4345212,
"p_power_bits": 18458145,
"q_power_bits": 18458146,
"minimum_u_bits": 18458141,
"minimum_v_bits": 18458139,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 903159,
"q_exponent_advance": 869042
},
{
"p_exponent": 5418954,
"q_exponent": 5214254,
"p_power_bits": 22149774,
"q_power_bits": 22149774,
"minimum_u_bits": 22149764,
"minimum_v_bits": 22149764,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1083790,
"q_exponent_advance": 1042850
},
{
"p_exponent": 6502744,
"q_exponent": 6257104,
"p_power_bits": 26579725,
"q_power_bits": 26579725,
"minimum_u_bits": 26579720,
"minimum_v_bits": 26579720,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1300549,
"q_exponent_advance": 1251421
},
{
"p_exponent": 7803293,
"q_exponent": 7508525,
"p_power_bits": 31895671,
"q_power_bits": 31895670,
"minimum_u_bits": 31895665,
"minimum_v_bits": 31895666,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1560658,
"q_exponent_advance": 1501705
},
{
"p_exponent": 9363951,
"q_exponent": 9010230,
"p_power_bits": 38274802,
"q_power_bits": 38274804,
"minimum_u_bits": 38274800,
"minimum_v_bits": 38274798,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 1872790,
"q_exponent_advance": 1802046
},
{
"p_exponent": 11236741,
"q_exponent": 10812276,
"p_power_bits": 45929762,
"q_power_bits": 45929765,
"minimum_u_bits": 45929759,
"minimum_v_bits": 45929756,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2247348,
"q_exponent_advance": 2162454
},
{
"p_exponent": 13484089,
"q_exponent": 12974730,
"p_power_bits": 55115713,
"q_power_bits": 55115713,
"minimum_u_bits": 55115707,
"minimum_v_bits": 55115707,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 2696817,
"q_exponent_advance": 2594946
},
{
"p_exponent": 16180906,
"q_exponent": 15569676,
"p_power_bits": 66138853,
"q_power_bits": 66138856,
"minimum_u_bits": 66138850,
"minimum_v_bits": 66138847,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3236181,
"q_exponent_advance": 3113935
},
{
"p_exponent": 19417087,
"q_exponent": 18683611,
"p_power_bits": 79366622,
"q_power_bits": 79366626,
"minimum_u_bits": 79366617,
"minimum_v_bits": 79366614,
"method": "coefficient lower-bound strips",
"p_exponent_advance": 3883417,
"q_exponent_advance": 3736721
}
],
"conclusion": "max(u,v)^5 >= min(p^a*u,q^b*v)^2 throughout the stated height range"
}
]
}
Graph