back to table · edit · history · where entries came from · files · download
112841 bytes, as of the version from 2026-10-26 14:02 (current). Recorded here, not run.
{
"table": "T517",
"controls": {
"polynomial": "[0.333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 6.88e-211]",
"airy_derivative": "[-0.21973563757493582373591576248871687022303503121084653457422445554317650764786098929368713614529158847536719013699622512291705297031921128581747724140357187708107140256979804608790922793133512501441681 +/- 1.04e-201]",
"expected_airy_difference": "[-0.219735637574935823735915762488716870223035031210846534574224455543176507647860989293687136145291588475367190136996225122917052970319211285817477241403571877081071402569798046087909227931335125014416810440256296 +/- 6.30e-211]"
},
"environment": {
"python": "3.12.3",
"numberdb": "0.1.10",
"sage": "10.9",
"mpmath": "1.4.1"
},
"measure": {
"entries": 13,
"longest": 139,
"longest_at": "7",
"block_kb": 2.404296875
},
"count_certificate": {
"cells": 994,
"types": {
"excludes-zero": 976,
"monotone": 18
},
"roots": 13,
"negative_left_endpoint": "-465/32",
"records": [
{
"a": "0",
"b": "1/64",
"test": "excludes-zero"
},
{
"a": "1/64",
"b": "1/32",
"test": "excludes-zero"
},
{
"a": "1/32",
"b": "3/64",
"test": "excludes-zero"
},
{
"a": "3/64",
"b": "1/16",
"test": "excludes-zero"
},
{
"a": "1/16",
"b": "5/64",
"test": "excludes-zero"
},
{
"a": "5/64",
"b": "3/32",
"test": "excludes-zero"
},
{
"a": "3/32",
"b": "7/64",
"test": "excludes-zero"
},
{
"a": "7/64",
"b": "1/8",
"test": "excludes-zero"
},
{
"a": "1/8",
"b": "9/64",
"test": "excludes-zero"
},
{
"a": "9/64",
"b": "5/32",
"test": "excludes-zero"
},
{
"a": "5/32",
"b": "11/64",
"test": "excludes-zero"
},
{
"a": "11/64",
"b": "3/16",
"test": "excludes-zero"
},
{
"a": "3/16",
"b": "13/64",
"test": "excludes-zero"
},
{
"a": "13/64",
"b": "7/32",
"test": "excludes-zero"
},
{
"a": "7/32",
"b": "15/64",
"test": "excludes-zero"
},
{
"a": "15/64",
"b": "1/4",
"test": "excludes-zero"
},
{
"a": "1/4",
"b": "17/64",
"test": "excludes-zero"
},
{
"a": "17/64",
"b": "9/32",
"test": "excludes-zero"
},
{
"a": "9/32",
"b": "19/64",
"test": "excludes-zero"
},
{
"a": "19/64",
"b": "5/16",
"test": "excludes-zero"
},
{
"a": "5/16",
"b": "21/64",
"test": "excludes-zero"
},
{
"a": "21/64",
"b": "11/32",
"test": "excludes-zero"
},
{
"a": "11/32",
"b": "23/64",
"test": "excludes-zero"
},
{
"a": "23/64",
"b": "3/8",
"test": "excludes-zero"
},
{
"a": "3/8",
"b": "25/64",
"test": "excludes-zero"
},
{
"a": "25/64",
"b": "13/32",
"test": "excludes-zero"
},
{
"a": "13/32",
"b": "27/64",
"test": "excludes-zero"
},
{
"a": "27/64",
"b": "7/16",
"test": "excludes-zero"
},
{
"a": "7/16",
"b": "29/64",
"test": "excludes-zero"
},
{
"a": "29/64",
"b": "15/32",
"test": "excludes-zero"
},
{
"a": "15/32",
"b": "31/64",
"test": "excludes-zero"
},
{
"a": "31/64",
"b": "1/2",
"test": "excludes-zero"
},
{
"a": "1/2",
"b": "33/64",
"test": "excludes-zero"
},
{
"a": "33/64",
"b": "17/32",
"test": "excludes-zero"
},
{
"a": "17/32",
"b": "35/64",
"test": "excludes-zero"
},
{
"a": "35/64",
"b": "9/16",
"test": "excludes-zero"
},
{
"a": "9/16",
"b": "37/64",
"test": "excludes-zero"
},
{
"a": "37/64",
"b": "19/32",
"test": "excludes-zero"
},
{
"a": "19/32",
"b": "39/64",
"test": "monotone",
"left_sign": 1,
"right_sign": -1,
"root": true
},
{
"a": "39/64",
"b": "5/8",
"test": "monotone",
"left_sign": -1,
"right_sign": -1,
"root": false
},
{
"a": "5/8",
"b": "41/64",
"test": "excludes-zero"
},
{
"a": "41/64",
"b": "21/32",
"test": "excludes-zero"
},
{
"a": "21/32",
"b": "43/64",
"test": "excludes-zero"
},
{
"a": "43/64",
"b": "11/16",
"test": "excludes-zero"
},
{
"a": "11/16",
"b": "45/64",
"test": "excludes-zero"
},
{
"a": "45/64",
"b": "23/32",
"test": "excludes-zero"
},
{
"a": "23/32",
"b": "47/64",
"test": "excludes-zero"
},
{
"a": "47/64",
"b": "3/4",
"test": "excludes-zero"
},
{
"a": "3/4",
"b": "49/64",
"test": "excludes-zero"
},
{
"a": "49/64",
"b": "25/32",
"test": "excludes-zero"
},
{
"a": "25/32",
"b": "51/64",
"test": "excludes-zero"
},
{
"a": "51/64",
"b": "13/16",
"test": "excludes-zero"
},
{
"a": "13/16",
"b": "53/64",
"test": "excludes-zero"
},
{
"a": "53/64",
"b": "27/32",
"test": "excludes-zero"
},
{
"a": "27/32",
"b": "55/64",
"test": "excludes-zero"
},
{
"a": "55/64",
"b": "7/8",
"test": "excludes-zero"
},
{
"a": "7/8",
"b": "57/64",
"test": "excludes-zero"
},
{
"a": "57/64",
"b": "29/32",
"test": "excludes-zero"
},
{
"a": "29/32",
"b": "59/64",
"test": "excludes-zero"
},
{
"a": "59/64",
"b": "15/16",
"test": "excludes-zero"
},
{
"a": "15/16",
"b": "61/64",
"test": "excludes-zero"
},
{
"a": "61/64",
"b": "31/32",
"test": "excludes-zero"
},
{
"a": "31/32",
"b": "63/64",
"test": "excludes-zero"
},
{
"a": "63/64",
"b": "1",
"test": "excludes-zero"
},
{
"a": "-1/64",
"b": "0",
"test": "excludes-zero"
},
{
"a": "-1/32",
"b": "-1/64",
"test": "excludes-zero"
},
{
"a": "-3/64",
"b": "-1/32",
"test": "excludes-zero"
},
{
"a": "-1/16",
"b": "-3/64",
"test": "excludes-zero"
},
{
"a": "-5/64",
"b": "-1/16",
"test": "excludes-zero"
},
{
"a": "-3/32",
"b": "-5/64",
"test": "excludes-zero"
},
{
"a": "-7/64",
"b": "-3/32",
"test": "excludes-zero"
},
{
"a": "-1/8",
"b": "-7/64",
"test": "excludes-zero"
},
{
"a": "-9/64",
"b": "-1/8",
"test": "excludes-zero"
},
{
"a": "-5/32",
"b": "-9/64",
"test": "excludes-zero"
},
{
"a": "-11/64",
"b": "-5/32",
"test": "excludes-zero"
},
{
"a": "-3/16",
"b": "-11/64",
"test": "excludes-zero"
},
{
"a": "-13/64",
"b": "-3/16",
"test": "excludes-zero"
},
{
"a": "-7/32",
"b": "-13/64",
"test": "excludes-zero"
},
{
"a": "-15/64",
"b": "-7/32",
"test": "excludes-zero"
},
{
"a": "-1/4",
"b": "-15/64",
"test": "excludes-zero"
},
{
"a": "-17/64",
"b": "-1/4",
"test": "excludes-zero"
},
{
"a": "-9/32",
"b": "-17/64",
"test": "excludes-zero"
},
{
"a": "-19/64",
"b": "-9/32",
"test": "excludes-zero"
},
{
"a": "-5/16",
"b": "-19/64",
"test": "excludes-zero"
},
{
"a": "-21/64",
"b": "-5/16",
"test": "excludes-zero"
},
{
"a": "-11/32",
"b": "-21/64",
"test": "excludes-zero"
},
{
"a": "-23/64",
"b": "-11/32",
"test": "excludes-zero"
},
{
"a": "-3/8",
"b": "-23/64",
"test": "excludes-zero"
},
{
"a": "-25/64",
"b": "-3/8",
"test": "excludes-zero"
},
{
"a": "-13/32",
"b": "-25/64",
"test": "excludes-zero"
},
{
"a": "-27/64",
"b": "-13/32",
"test": "excludes-zero"
},
{
"a": "-7/16",
"b": "-27/64",
"test": "excludes-zero"
},
{
"a": "-29/64",
"b": "-7/16",
"test": "excludes-zero"
},
{
"a": "-15/32",
"b": "-29/64",
"test": "excludes-zero"
},
{
"a": "-31/64",
"b": "-15/32",
"test": "excludes-zero"
},
{
"a": "-1/2",
"b": "-31/64",
"test": "excludes-zero"
},
{
"a": "-33/64",
"b": "-1/2",
"test": "excludes-zero"
},
{
"a": "-17/32",
"b": "-33/64",
"test": "excludes-zero"
},
{
"a": "-35/64",
"b": "-17/32",
"test": "excludes-zero"
},
{
"a": "-9/16",
"b": "-35/64",
"test": "excludes-zero"
},
{
"a": "-37/64",
"b": "-9/16",
"test": "excludes-zero"
},
{
"a": "-19/32",
"b": "-37/64",
"test": "excludes-zero"
},
{
"a": "-39/64",
"b": "-19/32",
"test": "excludes-zero"
},
{
"a": "-5/8",
"b": "-39/64",
"test": "excludes-zero"
},
{
"a": "-41/64",
"b": "-5/8",
"test": "excludes-zero"
},
{
"a": "-21/32",
"b": "-41/64",
"test": "excludes-zero"
},
{
"a": "-43/64",
"b": "-21/32",
"test": "excludes-zero"
},
{
"a": "-11/16",
"b": "-43/64",
"test": "excludes-zero"
},
{
"a": "-45/64",
"b": "-11/16",
"test": "excludes-zero"
},
{
"a": "-23/32",
"b": "-45/64",
"test": "excludes-zero"
},
{
"a": "-47/64",
"b": "-23/32",
"test": "excludes-zero"
},
{
"a": "-3/4",
"b": "-47/64",
"test": "excludes-zero"
},
{
"a": "-49/64",
"b": "-3/4",
"test": "excludes-zero"
},
{
"a": "-25/32",
"b": "-49/64",
"test": "excludes-zero"
},
{
"a": "-51/64",
"b": "-25/32",
"test": "excludes-zero"
},
{
"a": "-13/16",
"b": "-51/64",
"test": "excludes-zero"
},
{
"a": "-53/64",
"b": "-13/16",
"test": "excludes-zero"
},
{
"a": "-27/32",
"b": "-53/64",
"test": "excludes-zero"
},
{
"a": "-55/64",
"b": "-27/32",
"test": "excludes-zero"
},
{
"a": "-7/8",
"b": "-55/64",
"test": "excludes-zero"
},
{
"a": "-57/64",
"b": "-7/8",
"test": "excludes-zero"
},
{
"a": "-29/32",
"b": "-57/64",
"test": "excludes-zero"
},
{
"a": "-59/64",
"b": "-29/32",
"test": "excludes-zero"
},
{
"a": "-15/16",
"b": "-59/64",
"test": "excludes-zero"
},
{
"a": "-61/64",
"b": "-15/16",
"test": "excludes-zero"
},
{
"a": "-31/32",
"b": "-61/64",
"test": "excludes-zero"
},
{
"a": "-63/64",
"b": "-31/32",
"test": "excludes-zero"
},
{
"a": "-1",
"b": "-63/64",
"test": "excludes-zero"
},
{
"a": "-65/64",
"b": "-1",
"test": "excludes-zero"
},
{
"a": "-33/32",
"b": "-65/64",
"test": "excludes-zero"
},
{
"a": "-67/64",
"b": "-33/32",
"test": "excludes-zero"
},
{
"a": "-17/16",
"b": "-67/64",
"test": "excludes-zero"
},
{
"a": "-69/64",
"b": "-17/16",
"test": "excludes-zero"
},
{
"a": "-35/32",
"b": "-69/64",
"test": "excludes-zero"
},
{
"a": "-71/64",
"b": "-35/32",
"test": "excludes-zero"
},
{
"a": "-9/8",
"b": "-71/64",
"test": "excludes-zero"
},
{
"a": "-73/64",
"b": "-9/8",
"test": "excludes-zero"
},
{
"a": "-37/32",
"b": "-73/64",
"test": "excludes-zero"
},
{
"a": "-75/64",
"b": "-37/32",
"test": "excludes-zero"
},
{
"a": "-19/16",
"b": "-75/64",
"test": "excludes-zero"
},
{
"a": "-77/64",
"b": "-19/16",
"test": "excludes-zero"
},
{
"a": "-39/32",
"b": "-77/64",
"test": "excludes-zero"
},
{
"a": "-79/64",
"b": "-39/32",
"test": "excludes-zero"
},
{
"a": "-5/4",
"b": "-79/64",
"test": "excludes-zero"
},
{
"a": "-81/64",
"b": "-5/4",
"test": "excludes-zero"
},
{
"a": "-41/32",
"b": "-81/64",
"test": "excludes-zero"
},
{
"a": "-83/64",
"b": "-41/32",
"test": "excludes-zero"
},
{
"a": "-21/16",
"b": "-83/64",
"test": "excludes-zero"
},
{
"a": "-85/64",
"b": "-21/16",
"test": "excludes-zero"
},
{
"a": "-43/32",
"b": "-85/64",
"test": "excludes-zero"
},
{
"a": "-87/64",
"b": "-43/32",
"test": "excludes-zero"
},
{
"a": "-11/8",
"b": "-87/64",
"test": "excludes-zero"
},
{
"a": "-89/64",
"b": "-11/8",
"test": "excludes-zero"
},
{
"a": "-45/32",
"b": "-89/64",
"test": "excludes-zero"
},
{
"a": "-91/64",
"b": "-45/32",
"test": "excludes-zero"
},
{
"a": "-23/16",
"b": "-91/64",
"test": "excludes-zero"
},
{
"a": "-93/64",
"b": "-23/16",
"test": "excludes-zero"
},
{
"a": "-47/32",
"b": "-93/64",
"test": "excludes-zero"
},
{
"a": "-95/64",
"b": "-47/32",
"test": "excludes-zero"
},
{
"a": "-3/2",
"b": "-95/64",
"test": "excludes-zero"
},
{
"a": "-97/64",
"b": "-3/2",
"test": "excludes-zero"
},
{
"a": "-49/32",
"b": "-97/64",
"test": "excludes-zero"
},
{
"a": "-99/64",
"b": "-49/32",
"test": "excludes-zero"
},
{
"a": "-25/16",
"b": "-99/64",
"test": "excludes-zero"
},
{
"a": "-101/64",
"b": "-25/16",
"test": "excludes-zero"
},
{
"a": "-51/32",
"b": "-101/64",
"test": "excludes-zero"
},
{
"a": "-103/64",
"b": "-51/32",
"test": "excludes-zero"
},
{
"a": "-13/8",
"b": "-103/64",
"test": "excludes-zero"
},
{
"a": "-105/64",
"b": "-13/8",
"test": "excludes-zero"
},
{
"a": "-53/32",
"b": "-105/64",
"test": "excludes-zero"
},
{
"a": "-107/64",
"b": "-53/32",
"test": "excludes-zero"
},
{
"a": "-27/16",
"b": "-107/64",
"test": "excludes-zero"
},
{
"a": "-109/64",
"b": "-27/16",
"test": "excludes-zero"
},
{
"a": "-55/32",
"b": "-109/64",
"test": "excludes-zero"
},
{
"a": "-111/64",
"b": "-55/32",
"test": "excludes-zero"
},
{
"a": "-7/4",
"b": "-111/64",
"test": "excludes-zero"
},
{
"a": "-113/64",
"b": "-7/4",
"test": "excludes-zero"
},
{
"a": "-57/32",
"b": "-113/64",
"test": "excludes-zero"
},
{
"a": "-115/64",
"b": "-57/32",
"test": "excludes-zero"
},
{
"a": "-29/16",
"b": "-115/64",
"test": "excludes-zero"
},
{
"a": "-117/64",
"b": "-29/16",
"test": "excludes-zero"
},
{
"a": "-59/32",
"b": "-117/64",
"test": "excludes-zero"
},
{
"a": "-119/64",
"b": "-59/32",
"test": "excludes-zero"
},
{
"a": "-15/8",
"b": "-119/64",
"test": "excludes-zero"
},
{
"a": "-121/64",
"b": "-15/8",
"test": "excludes-zero"
},
{
"a": "-61/32",
"b": "-121/64",
"test": "excludes-zero"
},
{
"a": "-123/64",
"b": "-61/32",
"test": "excludes-zero"
},
{
"a": "-31/16",
"b": "-123/64",
"test": "excludes-zero"
},
{
"a": "-125/64",
"b": "-31/16",
"test": "excludes-zero"
},
{
"a": "-63/32",
"b": "-125/64",
"test": "excludes-zero"
},
{
"a": "-127/64",
"b": "-63/32",
"test": "excludes-zero"
},
{
"a": "-2",
"b": "-127/64",
"test": "excludes-zero"
},
{
"a": "-129/64",
"b": "-2",
"test": "excludes-zero"
},
{
"a": "-65/32",
"b": "-129/64",
"test": "excludes-zero"
},
{
"a": "-131/64",
"b": "-65/32",
"test": "excludes-zero"
},
{
"a": "-33/16",
"b": "-131/64",
"test": "excludes-zero"
},
{
"a": "-133/64",
"b": "-33/16",
"test": "excludes-zero"
},
{
"a": "-67/32",
"b": "-133/64",
"test": "excludes-zero"
},
{
"a": "-135/64",
"b": "-67/32",
"test": "excludes-zero"
},
{
"a": "-17/8",
"b": "-135/64",
"test": "excludes-zero"
},
{
"a": "-137/64",
"b": "-17/8",
"test": "excludes-zero"
},
{
"a": "-69/32",
"b": "-137/64",
"test": "excludes-zero"
},
{
"a": "-139/64",
"b": "-69/32",
"test": "excludes-zero"
},
{
"a": "-35/16",
"b": "-139/64",
"test": "excludes-zero"
},
{
"a": "-141/64",
"b": "-35/16",
"test": "excludes-zero"
},
{
"a": "-71/32",
"b": "-141/64",
"test": "excludes-zero"
},
{
"a": "-143/64",
"b": "-71/32",
"test": "excludes-zero"
},
{
"a": "-9/4",
"b": "-143/64",
"test": "monotone",
"left_sign": -1,
"right_sign": 1,
"root": true
},
{
"a": "-145/64",
"b": "-9/4",
"test": "monotone",
"left_sign": -1,
"right_sign": -1,
"root": false
},
{
"a": "-73/32",
"b": "-145/64",
"test": "excludes-zero"
},
{
"a": "-147/64",
"b": "-73/32",
"test": "excludes-zero"
},
{
"a": "-37/16",
"b": "-147/64",
"test": "excludes-zero"
},
{
"a": "-149/64",
"b": "-37/16",
"test": "excludes-zero"
},
{
"a": "-75/32",
"b": "-149/64",
"test": "excludes-zero"
},
{
"a": "-151/64",
"b": "-75/32",
"test": "excludes-zero"
},
{
"a": "-19/8",
"b": "-151/64",
"test": "excludes-zero"
},
{
"a": "-153/64",
"b": "-19/8",
"test": "excludes-zero"
},
{
"a": "-77/32",
"b": "-153/64",
"test": "excludes-zero"
},
{
"a": "-155/64",
"b": "-77/32",
"test": "excludes-zero"
},
{
"a": "-39/16",
"b": "-155/64",
"test": "excludes-zero"
},
{
"a": "-157/64",
"b": "-39/16",
"test": "excludes-zero"
},
{
"a": "-79/32",
"b": "-157/64",
"test": "excludes-zero"
},
{
"a": "-159/64",
"b": "-79/32",
"test": "excludes-zero"
},
{
"a": "-5/2",
"b": "-159/64",
"test": "excludes-zero"
},
{
"a": "-161/64",
"b": "-5/2",
"test": "excludes-zero"
},
{
"a": "-81/32",
"b": "-161/64",
"test": "excludes-zero"
},
{
"a": "-163/64",
"b": "-81/32",
"test": "excludes-zero"
},
{
"a": "-41/16",
"b": "-163/64",
"test": "excludes-zero"
},
{
"a": "-165/64",
"b": "-41/16",
"test": "excludes-zero"
},
{
"a": "-83/32",
"b": "-165/64",
"test": "excludes-zero"
},
{
"a": "-167/64",
"b": "-83/32",
"test": "excludes-zero"
},
{
"a": "-21/8",
"b": "-167/64",
"test": "excludes-zero"
},
{
"a": "-169/64",
"b": "-21/8",
"test": "excludes-zero"
},
{
"a": "-85/32",
"b": "-169/64",
"test": "excludes-zero"
},
{
"a": "-171/64",
"b": "-85/32",
"test": "excludes-zero"
},
{
"a": "-43/16",
"b": "-171/64",
"test": "excludes-zero"
},
{
"a": "-173/64",
"b": "-43/16",
"test": "excludes-zero"
},
{
"a": "-87/32",
"b": "-173/64",
"test": "excludes-zero"
},
{
"a": "-175/64",
"b": "-87/32",
"test": "excludes-zero"
},
{
"a": "-11/4",
"b": "-175/64",
"test": "excludes-zero"
},
{
"a": "-177/64",
"b": "-11/4",
"test": "excludes-zero"
},
{
"a": "-89/32",
"b": "-177/64",
"test": "excludes-zero"
},
{
"a": "-179/64",
"b": "-89/32",
"test": "excludes-zero"
},
{
"a": "-45/16",
"b": "-179/64",
"test": "excludes-zero"
},
{
"a": "-181/64",
"b": "-45/16",
"test": "excludes-zero"
},
{
"a": "-91/32",
"b": "-181/64",
"test": "excludes-zero"
},
{
"a": "-183/64",
"b": "-91/32",
"test": "excludes-zero"
},
{
"a": "-23/8",
"b": "-183/64",
"test": "excludes-zero"
},
{
"a": "-185/64",
"b": "-23/8",
"test": "excludes-zero"
},
{
"a": "-93/32",
"b": "-185/64",
"test": "excludes-zero"
},
{
"a": "-187/64",
"b": "-93/32",
"test": "excludes-zero"
},
{
"a": "-47/16",
"b": "-187/64",
"test": "excludes-zero"
},
{
"a": "-189/64",
"b": "-47/16",
"test": "excludes-zero"
},
{
"a": "-95/32",
"b": "-189/64",
"test": "excludes-zero"
},
{
"a": "-191/64",
"b": "-95/32",
"test": "excludes-zero"
},
{
"a": "-3",
"b": "-191/64",
"test": "excludes-zero"
},
{
"a": "-193/64",
"b": "-3",
"test": "excludes-zero"
},
{
"a": "-97/32",
"b": "-193/64",
"test": "excludes-zero"
},
{
"a": "-195/64",
"b": "-97/32",
"test": "excludes-zero"
},
{
"a": "-49/16",
"b": "-195/64",
"test": "excludes-zero"
},
{
"a": "-197/64",
"b": "-49/16",
"test": "excludes-zero"
},
{
"a": "-99/32",
"b": "-197/64",
"test": "excludes-zero"
},
{
"a": "-199/64",
"b": "-99/32",
"test": "excludes-zero"
},
{
"a": "-25/8",
"b": "-199/64",
"test": "excludes-zero"
},
{
"a": "-201/64",
"b": "-25/8",
"test": "excludes-zero"
},
{
"a": "-101/32",
"b": "-201/64",
"test": "excludes-zero"
},
{
"a": "-203/64",
"b": "-101/32",
"test": "excludes-zero"
},
{
"a": "-51/16",
"b": "-203/64",
"test": "excludes-zero"
},
{
"a": "-205/64",
"b": "-51/16",
"test": "excludes-zero"
},
{
"a": "-103/32",
"b": "-205/64",
"test": "excludes-zero"
},
{
"a": "-207/64",
"b": "-103/32",
"test": "excludes-zero"
},
{
"a": "-13/4",
"b": "-207/64",
"test": "excludes-zero"
},
{
"a": "-209/64",
"b": "-13/4",
"test": "excludes-zero"
},
{
"a": "-105/32",
"b": "-209/64",
"test": "excludes-zero"
},
{
"a": "-211/64",
"b": "-105/32",
"test": "excludes-zero"
},
{
"a": "-53/16",
"b": "-211/64",
"test": "excludes-zero"
},
{
"a": "-213/64",
"b": "-53/16",
"test": "excludes-zero"
},
{
"a": "-107/32",
"b": "-213/64",
"test": "excludes-zero"
},
{
"a": "-215/64",
"b": "-107/32",
"test": "excludes-zero"
},
{
"a": "-27/8",
"b": "-215/64",
"test": "excludes-zero"
},
{
"a": "-217/64",
"b": "-27/8",
"test": "excludes-zero"
},
{
"a": "-109/32",
"b": "-217/64",
"test": "excludes-zero"
},
{
"a": "-219/64",
"b": "-109/32",
"test": "excludes-zero"
},
{
"a": "-55/16",
"b": "-219/64",
"test": "excludes-zero"
},
{
"a": "-221/64",
"b": "-55/16",
"test": "excludes-zero"
},
{
"a": "-111/32",
"b": "-221/64",
"test": "excludes-zero"
},
{
"a": "-223/64",
"b": "-111/32",
"test": "excludes-zero"
},
{
"a": "-7/2",
"b": "-223/64",
"test": "excludes-zero"
},
{
"a": "-225/64",
"b": "-7/2",
"test": "excludes-zero"
},
{
"a": "-113/32",
"b": "-225/64",
"test": "excludes-zero"
},
{
"a": "-227/64",
"b": "-113/32",
"test": "excludes-zero"
},
{
"a": "-57/16",
"b": "-227/64",
"test": "excludes-zero"
},
{
"a": "-229/64",
"b": "-57/16",
"test": "excludes-zero"
},
{
"a": "-115/32",
"b": "-229/64",
"test": "excludes-zero"
},
{
"a": "-231/64",
"b": "-115/32",
"test": "excludes-zero"
},
{
"a": "-29/8",
"b": "-231/64",
"test": "excludes-zero"
},
{
"a": "-233/64",
"b": "-29/8",
"test": "excludes-zero"
},
{
"a": "-117/32",
"b": "-233/64",
"test": "excludes-zero"
},
{
"a": "-235/64",
"b": "-117/32",
"test": "excludes-zero"
},
{
"a": "-59/16",
"b": "-235/64",
"test": "excludes-zero"
},
{
"a": "-237/64",
"b": "-59/16",
"test": "excludes-zero"
},
{
"a": "-119/32",
"b": "-237/64",
"test": "excludes-zero"
},
{
"a": "-239/64",
"b": "-119/32",
"test": "excludes-zero"
},
{
"a": "-15/4",
"b": "-239/64",
"test": "excludes-zero"
},
{
"a": "-241/64",
"b": "-15/4",
"test": "excludes-zero"
},
{
"a": "-121/32",
"b": "-241/64",
"test": "excludes-zero"
},
{
"a": "-243/64",
"b": "-121/32",
"test": "excludes-zero"
},
{
"a": "-61/16",
"b": "-243/64",
"test": "excludes-zero"
},
{
"a": "-245/64",
"b": "-61/16",
"test": "excludes-zero"
},
{
"a": "-123/32",
"b": "-245/64",
"test": "excludes-zero"
},
{
"a": "-247/64",
"b": "-123/32",
"test": "excludes-zero"
},
{
"a": "-31/8",
"b": "-247/64",
"test": "excludes-zero"
},
{
"a": "-249/64",
"b": "-31/8",
"test": "excludes-zero"
},
{
"a": "-125/32",
"b": "-249/64",
"test": "excludes-zero"
},
{
"a": "-251/64",
"b": "-125/32",
"test": "excludes-zero"
},
{
"a": "-63/16",
"b": "-251/64",
"test": "excludes-zero"
},
{
"a": "-253/64",
"b": "-63/16",
"test": "excludes-zero"
},
{
"a": "-127/32",
"b": "-253/64",
"test": "excludes-zero"
},
{
"a": "-255/64",
"b": "-127/32",
"test": "excludes-zero"
},
{
"a": "-4",
"b": "-255/64",
"test": "excludes-zero"
},
{
"a": "-257/64",
"b": "-4",
"test": "excludes-zero"
},
{
"a": "-129/32",
"b": "-257/64",
"test": "excludes-zero"
},
{
"a": "-259/64",
"b": "-129/32",
"test": "excludes-zero"
},
{
"a": "-65/16",
"b": "-259/64",
"test": "excludes-zero"
},
{
"a": "-261/64",
"b": "-65/16",
"test": "excludes-zero"
},
{
"a": "-131/32",
"b": "-261/64",
"test": "monotone",
"left_sign": 1,
"right_sign": -1,
"root": true
},
{
"a": "-263/64",
"b": "-131/32",
"test": "excludes-zero"
},
{
"a": "-33/8",
"b": "-263/64",
"test": "excludes-zero"
},
{
"a": "-265/64",
"b": "-33/8",
"test": "excludes-zero"
},
{
"a": "-133/32",
"b": "-265/64",
"test": "excludes-zero"
},
{
"a": "-267/64",
"b": "-133/32",
"test": "excludes-zero"
},
{
"a": "-67/16",
"b": "-267/64",
"test": "excludes-zero"
},
{
"a": "-269/64",
"b": "-67/16",
"test": "excludes-zero"
},
{
"a": "-135/32",
"b": "-269/64",
"test": "excludes-zero"
},
{
"a": "-271/64",
"b": "-135/32",
"test": "excludes-zero"
},
{
"a": "-17/4",
"b": "-271/64",
"test": "excludes-zero"
},
{
"a": "-273/64",
"b": "-17/4",
"test": "excludes-zero"
},
{
"a": "-137/32",
"b": "-273/64",
"test": "excludes-zero"
},
{
"a": "-275/64",
"b": "-137/32",
"test": "excludes-zero"
},
{
"a": "-69/16",
"b": "-275/64",
"test": "excludes-zero"
},
{
"a": "-277/64",
"b": "-69/16",
"test": "excludes-zero"
},
{
"a": "-139/32",
"b": "-277/64",
"test": "excludes-zero"
},
{
"a": "-279/64",
"b": "-139/32",
"test": "excludes-zero"
},
{
"a": "-35/8",
"b": "-279/64",
"test": "excludes-zero"
},
{
"a": "-281/64",
"b": "-35/8",
"test": "excludes-zero"
},
{
"a": "-141/32",
"b": "-281/64",
"test": "excludes-zero"
},
{
"a": "-283/64",
"b": "-141/32",
"test": "excludes-zero"
},
{
"a": "-71/16",
"b": "-283/64",
"test": "excludes-zero"
},
{
"a": "-285/64",
"b": "-71/16",
"test": "excludes-zero"
},
{
"a": "-143/32",
"b": "-285/64",
"test": "excludes-zero"
},
{
"a": "-287/64",
"b": "-143/32",
"test": "excludes-zero"
},
{
"a": "-9/2",
"b": "-287/64",
"test": "excludes-zero"
},
{
"a": "-289/64",
"b": "-9/2",
"test": "excludes-zero"
},
{
"a": "-145/32",
"b": "-289/64",
"test": "excludes-zero"
},
{
"a": "-291/64",
"b": "-145/32",
"test": "excludes-zero"
},
{
"a": "-73/16",
"b": "-291/64",
"test": "excludes-zero"
},
{
"a": "-293/64",
"b": "-73/16",
"test": "excludes-zero"
},
{
"a": "-147/32",
"b": "-293/64",
"test": "excludes-zero"
},
{
"a": "-295/64",
"b": "-147/32",
"test": "excludes-zero"
},
{
"a": "-37/8",
"b": "-295/64",
"test": "excludes-zero"
},
{
"a": "-297/64",
"b": "-37/8",
"test": "excludes-zero"
},
{
"a": "-149/32",
"b": "-297/64",
"test": "excludes-zero"
},
{
"a": "-299/64",
"b": "-149/32",
"test": "excludes-zero"
},
{
"a": "-75/16",
"b": "-299/64",
"test": "excludes-zero"
},
{
"a": "-301/64",
"b": "-75/16",
"test": "excludes-zero"
},
{
"a": "-151/32",
"b": "-301/64",
"test": "excludes-zero"
},
{
"a": "-303/64",
"b": "-151/32",
"test": "excludes-zero"
},
{
"a": "-19/4",
"b": "-303/64",
"test": "excludes-zero"
},
{
"a": "-305/64",
"b": "-19/4",
"test": "excludes-zero"
},
{
"a": "-153/32",
"b": "-305/64",
"test": "excludes-zero"
},
{
"a": "-307/64",
"b": "-153/32",
"test": "excludes-zero"
},
{
"a": "-77/16",
"b": "-307/64",
"test": "excludes-zero"
},
{
"a": "-309/64",
"b": "-77/16",
"test": "excludes-zero"
},
{
"a": "-155/32",
"b": "-309/64",
"test": "excludes-zero"
},
{
"a": "-311/64",
"b": "-155/32",
"test": "excludes-zero"
},
{
"a": "-39/8",
"b": "-311/64",
"test": "excludes-zero"
},
{
"a": "-313/64",
"b": "-39/8",
"test": "excludes-zero"
},
{
"a": "-157/32",
"b": "-313/64",
"test": "excludes-zero"
},
{
"a": "-315/64",
"b": "-157/32",
"test": "excludes-zero"
},
{
"a": "-79/16",
"b": "-315/64",
"test": "excludes-zero"
},
{
"a": "-317/64",
"b": "-79/16",
"test": "excludes-zero"
},
{
"a": "-159/32",
"b": "-317/64",
"test": "excludes-zero"
},
{
"a": "-319/64",
"b": "-159/32",
"test": "excludes-zero"
},
{
"a": "-5",
"b": "-319/64",
"test": "excludes-zero"
},
{
"a": "-321/64",
"b": "-5",
"test": "excludes-zero"
},
{
"a": "-161/32",
"b": "-321/64",
"test": "excludes-zero"
},
{
"a": "-323/64",
"b": "-161/32",
"test": "excludes-zero"
},
{
"a": "-81/16",
"b": "-323/64",
"test": "excludes-zero"
},
{
"a": "-325/64",
"b": "-81/16",
"test": "excludes-zero"
},
{
"a": "-163/32",
"b": "-325/64",
"test": "excludes-zero"
},
{
"a": "-327/64",
"b": "-163/32",
"test": "excludes-zero"
},
{
"a": "-41/8",
"b": "-327/64",
"test": "excludes-zero"
},
{
"a": "-329/64",
"b": "-41/8",
"test": "excludes-zero"
},
{
"a": "-165/32",
"b": "-329/64",
"test": "excludes-zero"
},
{
"a": "-331/64",
"b": "-165/32",
"test": "excludes-zero"
},
{
"a": "-83/16",
"b": "-331/64",
"test": "excludes-zero"
},
{
"a": "-333/64",
"b": "-83/16",
"test": "excludes-zero"
},
{
"a": "-167/32",
"b": "-333/64",
"test": "excludes-zero"
},
{
"a": "-335/64",
"b": "-167/32",
"test": "excludes-zero"
},
{
"a": "-21/4",
"b": "-335/64",
"test": "excludes-zero"
},
{
"a": "-337/64",
"b": "-21/4",
"test": "excludes-zero"
},
{
"a": "-169/32",
"b": "-337/64",
"test": "excludes-zero"
},
{
"a": "-339/64",
"b": "-169/32",
"test": "excludes-zero"
},
{
"a": "-85/16",
"b": "-339/64",
"test": "excludes-zero"
},
{
"a": "-341/64",
"b": "-85/16",
"test": "excludes-zero"
},
{
"a": "-171/32",
"b": "-341/64",
"test": "excludes-zero"
},
{
"a": "-343/64",
"b": "-171/32",
"test": "excludes-zero"
},
{
"a": "-43/8",
"b": "-343/64",
"test": "excludes-zero"
},
{
"a": "-345/64",
"b": "-43/8",
"test": "excludes-zero"
},
{
"a": "-173/32",
"b": "-345/64",
"test": "excludes-zero"
},
{
"a": "-347/64",
"b": "-173/32",
"test": "excludes-zero"
},
{
"a": "-87/16",
"b": "-347/64",
"test": "excludes-zero"
},
{
"a": "-349/64",
"b": "-87/16",
"test": "excludes-zero"
},
{
"a": "-175/32",
"b": "-349/64",
"test": "excludes-zero"
},
{
"a": "-351/64",
"b": "-175/32",
"test": "excludes-zero"
},
{
"a": "-11/2",
"b": "-351/64",
"test": "excludes-zero"
},
{
"a": "-353/64",
"b": "-11/2",
"test": "monotone",
"left_sign": -1,
"right_sign": 1,
"root": true
},
{
"a": "-177/32",
"b": "-353/64",
"test": "excludes-zero"
},
{
"a": "-355/64",
"b": "-177/32",
"test": "excludes-zero"
},
{
"a": "-89/16",
"b": "-355/64",
"test": "excludes-zero"
},
{
"a": "-357/64",
"b": "-89/16",
"test": "excludes-zero"
},
{
"a": "-179/32",
"b": "-357/64",
"test": "excludes-zero"
},
{
"a": "-359/64",
"b": "-179/32",
"test": "excludes-zero"
},
{
"a": "-45/8",
"b": "-359/64",
"test": "excludes-zero"
},
{
"a": "-361/64",
"b": "-45/8",
"test": "excludes-zero"
},
{
"a": "-181/32",
"b": "-361/64",
"test": "excludes-zero"
},
{
"a": "-363/64",
"b": "-181/32",
"test": "excludes-zero"
},
{
"a": "-91/16",
"b": "-363/64",
"test": "excludes-zero"
},
{
"a": "-365/64",
"b": "-91/16",
"test": "excludes-zero"
},
{
"a": "-183/32",
"b": "-365/64",
"test": "excludes-zero"
},
{
"a": "-367/64",
"b": "-183/32",
"test": "excludes-zero"
},
{
"a": "-23/4",
"b": "-367/64",
"test": "excludes-zero"
},
{
"a": "-369/64",
"b": "-23/4",
"test": "excludes-zero"
},
{
"a": "-185/32",
"b": "-369/64",
"test": "excludes-zero"
},
{
"a": "-371/64",
"b": "-185/32",
"test": "excludes-zero"
},
{
"a": "-93/16",
"b": "-371/64",
"test": "excludes-zero"
},
{
"a": "-373/64",
"b": "-93/16",
"test": "excludes-zero"
},
{
"a": "-187/32",
"b": "-373/64",
"test": "excludes-zero"
},
{
"a": "-375/64",
"b": "-187/32",
"test": "excludes-zero"
},
{
"a": "-47/8",
"b": "-375/64",
"test": "excludes-zero"
},
{
"a": "-377/64",
"b": "-47/8",
"test": "excludes-zero"
},
{
"a": "-189/32",
"b": "-377/64",
"test": "excludes-zero"
},
{
"a": "-379/64",
"b": "-189/32",
"test": "excludes-zero"
},
{
"a": "-95/16",
"b": "-379/64",
"test": "excludes-zero"
},
{
"a": "-381/64",
"b": "-95/16",
"test": "excludes-zero"
},
{
"a": "-191/32",
"b": "-381/64",
"test": "excludes-zero"
},
{
"a": "-383/64",
"b": "-191/32",
"test": "excludes-zero"
},
{
"a": "-6",
"b": "-383/64",
"test": "excludes-zero"
},
{
"a": "-385/64",
"b": "-6",
"test": "excludes-zero"
},
{
"a": "-193/32",
"b": "-385/64",
"test": "excludes-zero"
},
{
"a": "-387/64",
"b": "-193/32",
"test": "excludes-zero"
},
{
"a": "-97/16",
"b": "-387/64",
"test": "excludes-zero"
},
{
"a": "-389/64",
"b": "-97/16",
"test": "excludes-zero"
},
{
"a": "-195/32",
"b": "-389/64",
"test": "excludes-zero"
},
{
"a": "-391/64",
"b": "-195/32",
"test": "excludes-zero"
},
{
"a": "-49/8",
"b": "-391/64",
"test": "excludes-zero"
},
{
"a": "-393/64",
"b": "-49/8",
"test": "excludes-zero"
},
{
"a": "-197/32",
"b": "-393/64",
"test": "excludes-zero"
},
{
"a": "-395/64",
"b": "-197/32",
"test": "excludes-zero"
},
{
"a": "-99/16",
"b": "-395/64",
"test": "excludes-zero"
},
{
"a": "-397/64",
"b": "-99/16",
"test": "excludes-zero"
},
{
"a": "-199/32",
"b": "-397/64",
"test": "excludes-zero"
},
{
"a": "-399/64",
"b": "-199/32",
"test": "excludes-zero"
},
{
"a": "-25/4",
"b": "-399/64",
"test": "excludes-zero"
},
{
"a": "-401/64",
"b": "-25/4",
"test": "excludes-zero"
},
{
"a": "-201/32",
"b": "-401/64",
"test": "excludes-zero"
},
{
"a": "-403/64",
"b": "-201/32",
"test": "excludes-zero"
},
{
"a": "-101/16",
"b": "-403/64",
"test": "excludes-zero"
},
{
"a": "-405/64",
"b": "-101/16",
"test": "excludes-zero"
},
{
"a": "-203/32",
"b": "-405/64",
"test": "excludes-zero"
},
{
"a": "-407/64",
"b": "-203/32",
"test": "excludes-zero"
},
{
"a": "-51/8",
"b": "-407/64",
"test": "excludes-zero"
},
{
"a": "-409/64",
"b": "-51/8",
"test": "excludes-zero"
},
{
"a": "-205/32",
"b": "-409/64",
"test": "excludes-zero"
},
{
"a": "-411/64",
"b": "-205/32",
"test": "excludes-zero"
},
{
"a": "-103/16",
"b": "-411/64",
"test": "excludes-zero"
},
{
"a": "-413/64",
"b": "-103/16",
"test": "excludes-zero"
},
{
"a": "-207/32",
"b": "-413/64",
"test": "excludes-zero"
},
{
"a": "-415/64",
"b": "-207/32",
"test": "excludes-zero"
},
{
"a": "-13/2",
"b": "-415/64",
"test": "excludes-zero"
},
{
"a": "-417/64",
"b": "-13/2",
"test": "excludes-zero"
},
{
"a": "-209/32",
"b": "-417/64",
"test": "excludes-zero"
},
{
"a": "-419/64",
"b": "-209/32",
"test": "excludes-zero"
},
{
"a": "-105/16",
"b": "-419/64",
"test": "excludes-zero"
},
{
"a": "-421/64",
"b": "-105/16",
"test": "excludes-zero"
},
{
"a": "-211/32",
"b": "-421/64",
"test": "excludes-zero"
},
{
"a": "-423/64",
"b": "-211/32",
"test": "excludes-zero"
},
{
"a": "-53/8",
"b": "-423/64",
"test": "excludes-zero"
},
{
"a": "-425/64",
"b": "-53/8",
"test": "excludes-zero"
},
{
"a": "-213/32",
"b": "-425/64",
"test": "excludes-zero"
},
{
"a": "-427/64",
"b": "-213/32",
"test": "excludes-zero"
},
{
"a": "-107/16",
"b": "-427/64",
"test": "excludes-zero"
},
{
"a": "-429/64",
"b": "-107/16",
"test": "excludes-zero"
},
{
"a": "-215/32",
"b": "-429/64",
"test": "excludes-zero"
},
{
"a": "-431/64",
"b": "-215/32",
"test": "excludes-zero"
},
{
"a": "-27/4",
"b": "-431/64",
"test": "excludes-zero"
},
{
"a": "-433/64",
"b": "-27/4",
"test": "excludes-zero"
},
{
"a": "-217/32",
"b": "-433/64",
"test": "excludes-zero"
},
{
"a": "-435/64",
"b": "-217/32",
"test": "monotone",
"left_sign": 1,
"right_sign": -1,
"root": true
},
{
"a": "-109/16",
"b": "-435/64",
"test": "excludes-zero"
},
{
"a": "-437/64",
"b": "-109/16",
"test": "excludes-zero"
},
{
"a": "-219/32",
"b": "-437/64",
"test": "excludes-zero"
},
{
"a": "-439/64",
"b": "-219/32",
"test": "excludes-zero"
},
{
"a": "-55/8",
"b": "-439/64",
"test": "excludes-zero"
},
{
"a": "-441/64",
"b": "-55/8",
"test": "excludes-zero"
},
{
"a": "-221/32",
"b": "-441/64",
"test": "excludes-zero"
},
{
"a": "-443/64",
"b": "-221/32",
"test": "excludes-zero"
},
{
"a": "-111/16",
"b": "-443/64",
"test": "excludes-zero"
},
{
"a": "-445/64",
"b": "-111/16",
"test": "excludes-zero"
},
{
"a": "-223/32",
"b": "-445/64",
"test": "excludes-zero"
},
{
"a": "-447/64",
"b": "-223/32",
"test": "excludes-zero"
},
{
"a": "-7",
"b": "-447/64",
"test": "excludes-zero"
},
{
"a": "-449/64",
"b": "-7",
"test": "excludes-zero"
},
{
"a": "-225/32",
"b": "-449/64",
"test": "excludes-zero"
},
{
"a": "-451/64",
"b": "-225/32",
"test": "excludes-zero"
},
{
"a": "-113/16",
"b": "-451/64",
"test": "excludes-zero"
},
{
"a": "-453/64",
"b": "-113/16",
"test": "excludes-zero"
},
{
"a": "-227/32",
"b": "-453/64",
"test": "excludes-zero"
},
{
"a": "-455/64",
"b": "-227/32",
"test": "excludes-zero"
},
{
"a": "-57/8",
"b": "-455/64",
"test": "excludes-zero"
},
{
"a": "-457/64",
"b": "-57/8",
"test": "excludes-zero"
},
{
"a": "-229/32",
"b": "-457/64",
"test": "excludes-zero"
},
{
"a": "-459/64",
"b": "-229/32",
"test": "excludes-zero"
},
{
"a": "-115/16",
"b": "-459/64",
"test": "excludes-zero"
},
{
"a": "-461/64",
"b": "-115/16",
"test": "excludes-zero"
},
{
"a": "-231/32",
"b": "-461/64",
"test": "excludes-zero"
},
{
"a": "-463/64",
"b": "-231/32",
"test": "excludes-zero"
},
{
"a": "-29/4",
"b": "-463/64",
"test": "excludes-zero"
},
{
"a": "-465/64",
"b": "-29/4",
"test": "excludes-zero"
},
{
"a": "-233/32",
"b": "-465/64",
"test": "excludes-zero"
},
{
"a": "-467/64",
"b": "-233/32",
"test": "excludes-zero"
},
{
"a": "-117/16",
"b": "-467/64",
"test": "excludes-zero"
},
{
"a": "-469/64",
"b": "-117/16",
"test": "excludes-zero"
},
{
"a": "-235/32",
"b": "-469/64",
"test": "excludes-zero"
},
{
"a": "-471/64",
"b": "-235/32",
"test": "excludes-zero"
},
{
"a": "-59/8",
"b": "-471/64",
"test": "excludes-zero"
},
{
"a": "-473/64",
"b": "-59/8",
"test": "excludes-zero"
},
{
"a": "-237/32",
"b": "-473/64",
"test": "excludes-zero"
},
{
"a": "-475/64",
"b": "-237/32",
"test": "excludes-zero"
},
{
"a": "-119/16",
"b": "-475/64",
"test": "excludes-zero"
},
{
"a": "-477/64",
"b": "-119/16",
"test": "excludes-zero"
},
{
"a": "-239/32",
"b": "-477/64",
"test": "excludes-zero"
},
{
"a": "-479/64",
"b": "-239/32",
"test": "excludes-zero"
},
{
"a": "-15/2",
"b": "-479/64",
"test": "excludes-zero"
},
{
"a": "-481/64",
"b": "-15/2",
"test": "excludes-zero"
},
{
"a": "-241/32",
"b": "-481/64",
"test": "excludes-zero"
},
{
"a": "-483/64",
"b": "-241/32",
"test": "excludes-zero"
},
{
"a": "-121/16",
"b": "-483/64",
"test": "excludes-zero"
},
{
"a": "-485/64",
"b": "-121/16",
"test": "excludes-zero"
},
{
"a": "-243/32",
"b": "-485/64",
"test": "excludes-zero"
},
{
"a": "-487/64",
"b": "-243/32",
"test": "excludes-zero"
},
{
"a": "-61/8",
"b": "-487/64",
"test": "excludes-zero"
},
{
"a": "-489/64",
"b": "-61/8",
"test": "excludes-zero"
},
{
"a": "-245/32",
"b": "-489/64",
"test": "excludes-zero"
},
{
"a": "-491/64",
"b": "-245/32",
"test": "excludes-zero"
},
{
"a": "-123/16",
"b": "-491/64",
"test": "excludes-zero"
},
{
"a": "-493/64",
"b": "-123/16",
"test": "excludes-zero"
},
{
"a": "-247/32",
"b": "-493/64",
"test": "excludes-zero"
},
{
"a": "-495/64",
"b": "-247/32",
"test": "excludes-zero"
},
{
"a": "-31/4",
"b": "-495/64",
"test": "excludes-zero"
},
{
"a": "-497/64",
"b": "-31/4",
"test": "excludes-zero"
},
{
"a": "-249/32",
"b": "-497/64",
"test": "excludes-zero"
},
{
"a": "-499/64",
"b": "-249/32",
"test": "excludes-zero"
},
{
"a": "-125/16",
"b": "-499/64",
"test": "excludes-zero"
},
{
"a": "-501/64",
"b": "-125/16",
"test": "excludes-zero"
},
{
"a": "-251/32",
"b": "-501/64",
"test": "excludes-zero"
},
{
"a": "-503/64",
"b": "-251/32",
"test": "excludes-zero"
},
{
"a": "-63/8",
"b": "-503/64",
"test": "excludes-zero"
},
{
"a": "-505/64",
"b": "-63/8",
"test": "excludes-zero"
},
{
"a": "-253/32",
"b": "-505/64",
"test": "excludes-zero"
},
{
"a": "-507/64",
"b": "-253/32",
"test": "excludes-zero"
},
{
"a": "-127/16",
"b": "-507/64",
"test": "monotone",
"left_sign": 1,
"right_sign": 1,
"root": false
},
{
"a": "-509/64",
"b": "-127/16",
"test": "monotone",
"left_sign": -1,
"right_sign": 1,
"root": true
},
{
"a": "-255/32",
"b": "-509/64",
"test": "excludes-zero"
},
{
"a": "-511/64",
"b": "-255/32",
"test": "excludes-zero"
},
{
"a": "-8",
"b": "-511/64",
"test": "excludes-zero"
},
{
"a": "-513/64",
"b": "-8",
"test": "excludes-zero"
},
{
"a": "-257/32",
"b": "-513/64",
"test": "excludes-zero"
},
{
"a": "-515/64",
"b": "-257/32",
"test": "excludes-zero"
},
{
"a": "-129/16",
"b": "-515/64",
"test": "excludes-zero"
},
{
"a": "-517/64",
"b": "-129/16",
"test": "excludes-zero"
},
{
"a": "-259/32",
"b": "-517/64",
"test": "excludes-zero"
},
{
"a": "-519/64",
"b": "-259/32",
"test": "excludes-zero"
},
{
"a": "-65/8",
"b": "-519/64",
"test": "excludes-zero"
},
{
"a": "-521/64",
"b": "-65/8",
"test": "excludes-zero"
},
{
"a": "-261/32",
"b": "-521/64",
"test": "excludes-zero"
},
{
"a": "-523/64",
"b": "-261/32",
"test": "excludes-zero"
},
{
"a": "-131/16",
"b": "-523/64",
"test": "excludes-zero"
},
{
"a": "-525/64",
"b": "-131/16",
"test": "excludes-zero"
},
{
"a": "-263/32",
"b": "-525/64",
"test": "excludes-zero"
},
{
"a": "-527/64",
"b": "-263/32",
"test": "excludes-zero"
},
{
"a": "-33/4",
"b": "-527/64",
"test": "excludes-zero"
},
{
"a": "-529/64",
"b": "-33/4",
"test": "excludes-zero"
},
{
"a": "-265/32",
"b": "-529/64",
"test": "excludes-zero"
},
{
"a": "-531/64",
"b": "-265/32",
"test": "excludes-zero"
},
{
"a": "-133/16",
"b": "-531/64",
"test": "excludes-zero"
},
{
"a": "-533/64",
"b": "-133/16",
"test": "excludes-zero"
},
{
"a": "-267/32",
"b": "-533/64",
"test": "excludes-zero"
},
{
"a": "-535/64",
"b": "-267/32",
"test": "excludes-zero"
},
{
"a": "-67/8",
"b": "-535/64",
"test": "excludes-zero"
},
{
"a": "-537/64",
"b": "-67/8",
"test": "excludes-zero"
},
{
"a": "-269/32",
"b": "-537/64",
"test": "excludes-zero"
},
{
"a": "-539/64",
"b": "-269/32",
"test": "excludes-zero"
},
{
"a": "-135/16",
"b": "-539/64",
"test": "excludes-zero"
},
{
"a": "-541/64",
"b": "-135/16",
"test": "excludes-zero"
},
{
"a": "-271/32",
"b": "-541/64",
"test": "excludes-zero"
},
{
"a": "-543/64",
"b": "-271/32",
"test": "excludes-zero"
},
{
"a": "-17/2",
"b": "-543/64",
"test": "excludes-zero"
},
{
"a": "-545/64",
"b": "-17/2",
"test": "excludes-zero"
},
{
"a": "-273/32",
"b": "-545/64",
"test": "excludes-zero"
},
{
"a": "-547/64",
"b": "-273/32",
"test": "excludes-zero"
},
{
"a": "-137/16",
"b": "-547/64",
"test": "excludes-zero"
},
{
"a": "-549/64",
"b": "-137/16",
"test": "excludes-zero"
},
{
"a": "-275/32",
"b": "-549/64",
"test": "excludes-zero"
},
{
"a": "-551/64",
"b": "-275/32",
"test": "excludes-zero"
},
{
"a": "-69/8",
"b": "-551/64",
"test": "excludes-zero"
},
{
"a": "-553/64",
"b": "-69/8",
"test": "excludes-zero"
},
{
"a": "-277/32",
"b": "-553/64",
"test": "excludes-zero"
},
{
"a": "-555/64",
"b": "-277/32",
"test": "excludes-zero"
},
{
"a": "-139/16",
"b": "-555/64",
"test": "excludes-zero"
},
{
"a": "-557/64",
"b": "-139/16",
"test": "excludes-zero"
},
{
"a": "-279/32",
"b": "-557/64",
"test": "excludes-zero"
},
{
"a": "-559/64",
"b": "-279/32",
"test": "excludes-zero"
},
{
"a": "-35/4",
"b": "-559/64",
"test": "excludes-zero"
},
{
"a": "-561/64",
"b": "-35/4",
"test": "excludes-zero"
},
{
"a": "-281/32",
"b": "-561/64",
"test": "excludes-zero"
},
{
"a": "-563/64",
"b": "-281/32",
"test": "excludes-zero"
},
{
"a": "-141/16",
"b": "-563/64",
"test": "excludes-zero"
},
{
"a": "-565/64",
"b": "-141/16",
"test": "excludes-zero"
},
{
"a": "-283/32",
"b": "-565/64",
"test": "excludes-zero"
},
{
"a": "-567/64",
"b": "-283/32",
"test": "excludes-zero"
},
{
"a": "-71/8",
"b": "-567/64",
"test": "excludes-zero"
},
{
"a": "-569/64",
"b": "-71/8",
"test": "excludes-zero"
},
{
"a": "-285/32",
"b": "-569/64",
"test": "excludes-zero"
},
{
"a": "-571/64",
"b": "-285/32",
"test": "excludes-zero"
},
{
"a": "-143/16",
"b": "-571/64",
"test": "excludes-zero"
},
{
"a": "-573/64",
"b": "-143/16",
"test": "excludes-zero"
},
{
"a": "-287/32",
"b": "-573/64",
"test": "excludes-zero"
},
{
"a": "-575/64",
"b": "-287/32",
"test": "excludes-zero"
},
{
"a": "-9",
"b": "-575/64",
"test": "excludes-zero"
},
{
"a": "-577/64",
"b": "-9",
"test": "excludes-zero"
},
{
"a": "-289/32",
"b": "-577/64",
"test": "monotone",
"left_sign": 1,
"right_sign": -1,
"root": true
},
{
"a": "-579/64",
"b": "-289/32",
"test": "excludes-zero"
},
{
"a": "-145/16",
"b": "-579/64",
"test": "excludes-zero"
},
{
"a": "-581/64",
"b": "-145/16",
"test": "excludes-zero"
},
{
"a": "-291/32",
"b": "-581/64",
"test": "excludes-zero"
},
{
"a": "-583/64",
"b": "-291/32",
"test": "excludes-zero"
},
{
"a": "-73/8",
"b": "-583/64",
"test": "excludes-zero"
},
{
"a": "-585/64",
"b": "-73/8",
"test": "excludes-zero"
},
{
"a": "-293/32",
"b": "-585/64",
"test": "excludes-zero"
},
{
"a": "-587/64",
"b": "-293/32",
"test": "excludes-zero"
},
{
"a": "-147/16",
"b": "-587/64",
"test": "excludes-zero"
},
{
"a": "-589/64",
"b": "-147/16",
"test": "excludes-zero"
},
{
"a": "-295/32",
"b": "-589/64",
"test": "excludes-zero"
},
{
"a": "-591/64",
"b": "-295/32",
"test": "excludes-zero"
},
{
"a": "-37/4",
"b": "-591/64",
"test": "excludes-zero"
},
{
"a": "-593/64",
"b": "-37/4",
"test": "excludes-zero"
},
{
"a": "-297/32",
"b": "-593/64",
"test": "excludes-zero"
},
{
"a": "-595/64",
"b": "-297/32",
"test": "excludes-zero"
},
{
"a": "-149/16",
"b": "-595/64",
"test": "excludes-zero"
},
{
"a": "-597/64",
"b": "-149/16",
"test": "excludes-zero"
},
{
"a": "-299/32",
"b": "-597/64",
"test": "excludes-zero"
},
{
"a": "-599/64",
"b": "-299/32",
"test": "excludes-zero"
},
{
"a": "-75/8",
"b": "-599/64",
"test": "excludes-zero"
},
{
"a": "-601/64",
"b": "-75/8",
"test": "excludes-zero"
},
{
"a": "-301/32",
"b": "-601/64",
"test": "excludes-zero"
},
{
"a": "-603/64",
"b": "-301/32",
"test": "excludes-zero"
},
{
"a": "-151/16",
"b": "-603/64",
"test": "excludes-zero"
},
{
"a": "-605/64",
"b": "-151/16",
"test": "excludes-zero"
},
{
"a": "-303/32",
"b": "-605/64",
"test": "excludes-zero"
},
{
"a": "-607/64",
"b": "-303/32",
"test": "excludes-zero"
},
{
"a": "-19/2",
"b": "-607/64",
"test": "excludes-zero"
},
{
"a": "-609/64",
"b": "-19/2",
"test": "excludes-zero"
},
{
"a": "-305/32",
"b": "-609/64",
"test": "excludes-zero"
},
{
"a": "-611/64",
"b": "-305/32",
"test": "excludes-zero"
},
{
"a": "-153/16",
"b": "-611/64",
"test": "excludes-zero"
},
{
"a": "-613/64",
"b": "-153/16",
"test": "excludes-zero"
},
{
"a": "-307/32",
"b": "-613/64",
"test": "excludes-zero"
},
{
"a": "-615/64",
"b": "-307/32",
"test": "excludes-zero"
},
{
"a": "-77/8",
"b": "-615/64",
"test": "excludes-zero"
},
{
"a": "-617/64",
"b": "-77/8",
"test": "excludes-zero"
},
{
"a": "-309/32",
"b": "-617/64",
"test": "excludes-zero"
},
{
"a": "-619/64",
"b": "-309/32",
"test": "excludes-zero"
},
{
"a": "-155/16",
"b": "-619/64",
"test": "excludes-zero"
},
{
"a": "-621/64",
"b": "-155/16",
"test": "excludes-zero"
},
{
"a": "-311/32",
"b": "-621/64",
"test": "excludes-zero"
},
{
"a": "-623/64",
"b": "-311/32",
"test": "excludes-zero"
},
{
"a": "-39/4",
"b": "-623/64",
"test": "excludes-zero"
},
{
"a": "-625/64",
"b": "-39/4",
"test": "excludes-zero"
},
{
"a": "-313/32",
"b": "-625/64",
"test": "excludes-zero"
},
{
"a": "-627/64",
"b": "-313/32",
"test": "excludes-zero"
},
{
"a": "-157/16",
"b": "-627/64",
"test": "excludes-zero"
},
{
"a": "-629/64",
"b": "-157/16",
"test": "excludes-zero"
},
{
"a": "-315/32",
"b": "-629/64",
"test": "excludes-zero"
},
{
"a": "-631/64",
"b": "-315/32",
"test": "excludes-zero"
},
{
"a": "-79/8",
"b": "-631/64",
"test": "excludes-zero"
},
{
"a": "-633/64",
"b": "-79/8",
"test": "excludes-zero"
},
{
"a": "-317/32",
"b": "-633/64",
"test": "excludes-zero"
},
{
"a": "-635/64",
"b": "-317/32",
"test": "excludes-zero"
},
{
"a": "-159/16",
"b": "-635/64",
"test": "excludes-zero"
},
{
"a": "-637/64",
"b": "-159/16",
"test": "excludes-zero"
},
{
"a": "-319/32",
"b": "-637/64",
"test": "excludes-zero"
},
{
"a": "-639/64",
"b": "-319/32",
"test": "excludes-zero"
},
{
"a": "-10",
"b": "-639/64",
"test": "excludes-zero"
},
{
"a": "-641/64",
"b": "-10",
"test": "excludes-zero"
},
{
"a": "-321/32",
"b": "-641/64",
"test": "excludes-zero"
},
{
"a": "-643/64",
"b": "-321/32",
"test": "monotone",
"left_sign": -1,
"right_sign": 1,
"root": true
},
{
"a": "-161/16",
"b": "-643/64",
"test": "excludes-zero"
},
{
"a": "-645/64",
"b": "-161/16",
"test": "excludes-zero"
},
{
"a": "-323/32",
"b": "-645/64",
"test": "excludes-zero"
},
{
"a": "-647/64",
"b": "-323/32",
"test": "excludes-zero"
},
{
"a": "-81/8",
"b": "-647/64",
"test": "excludes-zero"
},
{
"a": "-649/64",
"b": "-81/8",
"test": "excludes-zero"
},
{
"a": "-325/32",
"b": "-649/64",
"test": "excludes-zero"
},
{
"a": "-651/64",
"b": "-325/32",
"test": "excludes-zero"
},
{
"a": "-163/16",
"b": "-651/64",
"test": "excludes-zero"
},
{
"a": "-653/64",
"b": "-163/16",
"test": "excludes-zero"
},
{
"a": "-327/32",
"b": "-653/64",
"test": "excludes-zero"
},
{
"a": "-655/64",
"b": "-327/32",
"test": "excludes-zero"
},
{
"a": "-41/4",
"b": "-655/64",
"test": "excludes-zero"
},
{
"a": "-657/64",
"b": "-41/4",
"test": "excludes-zero"
},
{
"a": "-329/32",
"b": "-657/64",
"test": "excludes-zero"
},
{
"a": "-659/64",
"b": "-329/32",
"test": "excludes-zero"
},
{
"a": "-165/16",
"b": "-659/64",
"test": "excludes-zero"
},
{
"a": "-661/64",
"b": "-165/16",
"test": "excludes-zero"
},
{
"a": "-331/32",
"b": "-661/64",
"test": "excludes-zero"
},
{
"a": "-663/64",
"b": "-331/32",
"test": "excludes-zero"
},
{
"a": "-83/8",
"b": "-663/64",
"test": "excludes-zero"
},
{
"a": "-665/64",
"b": "-83/8",
"test": "excludes-zero"
},
{
"a": "-333/32",
"b": "-665/64",
"test": "excludes-zero"
},
{
"a": "-667/64",
"b": "-333/32",
"test": "excludes-zero"
},
{
"a": "-167/16",
"b": "-667/64",
"test": "excludes-zero"
},
{
"a": "-669/64",
"b": "-167/16",
"test": "excludes-zero"
},
{
"a": "-335/32",
"b": "-669/64",
"test": "excludes-zero"
},
{
"a": "-671/64",
"b": "-335/32",
"test": "excludes-zero"
},
{
"a": "-21/2",
"b": "-671/64",
"test": "excludes-zero"
},
{
"a": "-673/64",
"b": "-21/2",
"test": "excludes-zero"
},
{
"a": "-337/32",
"b": "-673/64",
"test": "excludes-zero"
},
{
"a": "-675/64",
"b": "-337/32",
"test": "excludes-zero"
},
{
"a": "-169/16",
"b": "-675/64",
"test": "excludes-zero"
},
{
"a": "-677/64",
"b": "-169/16",
"test": "excludes-zero"
},
{
"a": "-339/32",
"b": "-677/64",
"test": "excludes-zero"
},
{
"a": "-679/64",
"b": "-339/32",
"test": "excludes-zero"
},
{
"a": "-85/8",
"b": "-679/64",
"test": "excludes-zero"
},
{
"a": "-681/64",
"b": "-85/8",
"test": "excludes-zero"
},
{
"a": "-341/32",
"b": "-681/64",
"test": "excludes-zero"
},
{
"a": "-683/64",
"b": "-341/32",
"test": "excludes-zero"
},
{
"a": "-171/16",
"b": "-683/64",
"test": "excludes-zero"
},
{
"a": "-685/64",
"b": "-171/16",
"test": "excludes-zero"
},
{
"a": "-343/32",
"b": "-685/64",
"test": "excludes-zero"
},
{
"a": "-687/64",
"b": "-343/32",
"test": "excludes-zero"
},
{
"a": "-43/4",
"b": "-687/64",
"test": "excludes-zero"
},
{
"a": "-689/64",
"b": "-43/4",
"test": "excludes-zero"
},
{
"a": "-345/32",
"b": "-689/64",
"test": "excludes-zero"
},
{
"a": "-691/64",
"b": "-345/32",
"test": "excludes-zero"
},
{
"a": "-173/16",
"b": "-691/64",
"test": "excludes-zero"
},
{
"a": "-693/64",
"b": "-173/16",
"test": "excludes-zero"
},
{
"a": "-347/32",
"b": "-693/64",
"test": "excludes-zero"
},
{
"a": "-695/64",
"b": "-347/32",
"test": "excludes-zero"
},
{
"a": "-87/8",
"b": "-695/64",
"test": "excludes-zero"
},
{
"a": "-697/64",
"b": "-87/8",
"test": "excludes-zero"
},
{
"a": "-349/32",
"b": "-697/64",
"test": "excludes-zero"
},
{
"a": "-699/64",
"b": "-349/32",
"test": "excludes-zero"
},
{
"a": "-175/16",
"b": "-699/64",
"test": "excludes-zero"
},
{
"a": "-701/64",
"b": "-175/16",
"test": "excludes-zero"
},
{
"a": "-351/32",
"b": "-701/64",
"test": "excludes-zero"
},
{
"a": "-703/64",
"b": "-351/32",
"test": "excludes-zero"
},
{
"a": "-11",
"b": "-703/64",
"test": "excludes-zero"
},
{
"a": "-705/64",
"b": "-11",
"test": "monotone",
"left_sign": 1,
"right_sign": -1,
"root": true
},
{
"a": "-353/32",
"b": "-705/64",
"test": "excludes-zero"
},
{
"a": "-707/64",
"b": "-353/32",
"test": "excludes-zero"
},
{
"a": "-177/16",
"b": "-707/64",
"test": "excludes-zero"
},
{
"a": "-709/64",
"b": "-177/16",
"test": "excludes-zero"
},
{
"a": "-355/32",
"b": "-709/64",
"test": "excludes-zero"
},
{
"a": "-711/64",
"b": "-355/32",
"test": "excludes-zero"
},
{
"a": "-89/8",
"b": "-711/64",
"test": "excludes-zero"
},
{
"a": "-713/64",
"b": "-89/8",
"test": "excludes-zero"
},
{
"a": "-357/32",
"b": "-713/64",
"test": "excludes-zero"
},
{
"a": "-715/64",
"b": "-357/32",
"test": "excludes-zero"
},
{
"a": "-179/16",
"b": "-715/64",
"test": "excludes-zero"
},
{
"a": "-717/64",
"b": "-179/16",
"test": "excludes-zero"
},
{
"a": "-359/32",
"b": "-717/64",
"test": "excludes-zero"
},
{
"a": "-719/64",
"b": "-359/32",
"test": "excludes-zero"
},
{
"a": "-45/4",
"b": "-719/64",
"test": "excludes-zero"
},
{
"a": "-721/64",
"b": "-45/4",
"test": "excludes-zero"
},
{
"a": "-361/32",
"b": "-721/64",
"test": "excludes-zero"
},
{
"a": "-723/64",
"b": "-361/32",
"test": "excludes-zero"
},
{
"a": "-181/16",
"b": "-723/64",
"test": "excludes-zero"
},
{
"a": "-725/64",
"b": "-181/16",
"test": "excludes-zero"
},
{
"a": "-363/32",
"b": "-725/64",
"test": "excludes-zero"
},
{
"a": "-727/64",
"b": "-363/32",
"test": "excludes-zero"
},
{
"a": "-91/8",
"b": "-727/64",
"test": "excludes-zero"
},
{
"a": "-729/64",
"b": "-91/8",
"test": "excludes-zero"
},
{
"a": "-365/32",
"b": "-729/64",
"test": "excludes-zero"
},
{
"a": "-731/64",
"b": "-365/32",
"test": "excludes-zero"
},
{
"a": "-183/16",
"b": "-731/64",
"test": "excludes-zero"
},
{
"a": "-733/64",
"b": "-183/16",
"test": "excludes-zero"
},
{
"a": "-367/32",
"b": "-733/64",
"test": "excludes-zero"
},
{
"a": "-735/64",
"b": "-367/32",
"test": "excludes-zero"
},
{
"a": "-23/2",
"b": "-735/64",
"test": "excludes-zero"
},
{
"a": "-737/64",
"b": "-23/2",
"test": "excludes-zero"
},
{
"a": "-369/32",
"b": "-737/64",
"test": "excludes-zero"
},
{
"a": "-739/64",
"b": "-369/32",
"test": "excludes-zero"
},
{
"a": "-185/16",
"b": "-739/64",
"test": "excludes-zero"
},
{
"a": "-741/64",
"b": "-185/16",
"test": "excludes-zero"
},
{
"a": "-371/32",
"b": "-741/64",
"test": "excludes-zero"
},
{
"a": "-743/64",
"b": "-371/32",
"test": "excludes-zero"
},
{
"a": "-93/8",
"b": "-743/64",
"test": "excludes-zero"
},
{
"a": "-745/64",
"b": "-93/8",
"test": "excludes-zero"
},
{
"a": "-373/32",
"b": "-745/64",
"test": "excludes-zero"
},
{
"a": "-747/64",
"b": "-373/32",
"test": "excludes-zero"
},
{
"a": "-187/16",
"b": "-747/64",
"test": "excludes-zero"
},
{
"a": "-749/64",
"b": "-187/16",
"test": "excludes-zero"
},
{
"a": "-375/32",
"b": "-749/64",
"test": "excludes-zero"
},
{
"a": "-751/64",
"b": "-375/32",
"test": "excludes-zero"
},
{
"a": "-47/4",
"b": "-751/64",
"test": "excludes-zero"
},
{
"a": "-753/64",
"b": "-47/4",
"test": "excludes-zero"
},
{
"a": "-377/32",
"b": "-753/64",
"test": "excludes-zero"
},
{
"a": "-755/64",
"b": "-377/32",
"test": "excludes-zero"
},
{
"a": "-189/16",
"b": "-755/64",
"test": "excludes-zero"
},
{
"a": "-757/64",
"b": "-189/16",
"test": "excludes-zero"
},
{
"a": "-379/32",
"b": "-757/64",
"test": "excludes-zero"
},
{
"a": "-759/64",
"b": "-379/32",
"test": "excludes-zero"
},
{
"a": "-95/8",
"b": "-759/64",
"test": "excludes-zero"
},
{
"a": "-761/64",
"b": "-95/8",
"test": "excludes-zero"
},
{
"a": "-381/32",
"b": "-761/64",
"test": "excludes-zero"
},
{
"a": "-763/64",
"b": "-381/32",
"test": "excludes-zero"
},
{
"a": "-191/16",
"b": "-763/64",
"test": "monotone",
"left_sign": -1,
"right_sign": 1,
"root": true
},
{
"a": "-765/64",
"b": "-191/16",
"test": "excludes-zero"
},
{
"a": "-383/32",
"b": "-765/64",
"test": "excludes-zero"
},
{
"a": "-767/64",
"b": "-383/32",
"test": "excludes-zero"
},
{
"a": "-12",
"b": "-767/64",
"test": "excludes-zero"
},
{
"a": "-769/64",
"b": "-12",
"test": "excludes-zero"
},
{
"a": "-385/32",
"b": "-769/64",
"test": "excludes-zero"
},
{
"a": "-771/64",
"b": "-385/32",
"test": "excludes-zero"
},
{
"a": "-193/16",
"b": "-771/64",
"test": "excludes-zero"
},
{
"a": "-773/64",
"b": "-193/16",
"test": "excludes-zero"
},
{
"a": "-387/32",
"b": "-773/64",
"test": "excludes-zero"
},
{
"a": "-775/64",
"b": "-387/32",
"test": "excludes-zero"
},
{
"a": "-97/8",
"b": "-775/64",
"test": "excludes-zero"
},
{
"a": "-777/64",
"b": "-97/8",
"test": "excludes-zero"
},
{
"a": "-389/32",
"b": "-777/64",
"test": "excludes-zero"
},
{
"a": "-779/64",
"b": "-389/32",
"test": "excludes-zero"
},
{
"a": "-195/16",
"b": "-779/64",
"test": "excludes-zero"
},
{
"a": "-781/64",
"b": "-195/16",
"test": "excludes-zero"
},
{
"a": "-391/32",
"b": "-781/64",
"test": "excludes-zero"
},
{
"a": "-783/64",
"b": "-391/32",
"test": "excludes-zero"
},
{
"a": "-49/4",
"b": "-783/64",
"test": "excludes-zero"
},
{
"a": "-785/64",
"b": "-49/4",
"test": "excludes-zero"
},
{
"a": "-393/32",
"b": "-785/64",
"test": "excludes-zero"
},
{
"a": "-787/64",
"b": "-393/32",
"test": "excludes-zero"
},
{
"a": "-197/16",
"b": "-787/64",
"test": "excludes-zero"
},
{
"a": "-789/64",
"b": "-197/16",
"test": "excludes-zero"
},
{
"a": "-395/32",
"b": "-789/64",
"test": "excludes-zero"
},
{
"a": "-791/64",
"b": "-395/32",
"test": "excludes-zero"
},
{
"a": "-99/8",
"b": "-791/64",
"test": "excludes-zero"
},
{
"a": "-793/64",
"b": "-99/8",
"test": "excludes-zero"
},
{
"a": "-397/32",
"b": "-793/64",
"test": "excludes-zero"
},
{
"a": "-795/64",
"b": "-397/32",
"test": "excludes-zero"
},
{
"a": "-199/16",
"b": "-795/64",
"test": "excludes-zero"
},
{
"a": "-797/64",
"b": "-199/16",
"test": "excludes-zero"
},
{
"a": "-399/32",
"b": "-797/64",
"test": "excludes-zero"
},
{
"a": "-799/64",
"b": "-399/32",
"test": "excludes-zero"
},
{
"a": "-25/2",
"b": "-799/64",
"test": "excludes-zero"
},
{
"a": "-801/64",
"b": "-25/2",
"test": "excludes-zero"
},
{
"a": "-401/32",
"b": "-801/64",
"test": "excludes-zero"
},
{
"a": "-803/64",
"b": "-401/32",
"test": "excludes-zero"
},
{
"a": "-201/16",
"b": "-803/64",
"test": "excludes-zero"
},
{
"a": "-805/64",
"b": "-201/16",
"test": "excludes-zero"
},
{
"a": "-403/32",
"b": "-805/64",
"test": "excludes-zero"
},
{
"a": "-807/64",
"b": "-403/32",
"test": "excludes-zero"
},
{
"a": "-101/8",
"b": "-807/64",
"test": "excludes-zero"
},
{
"a": "-809/64",
"b": "-101/8",
"test": "excludes-zero"
},
{
"a": "-405/32",
"b": "-809/64",
"test": "excludes-zero"
},
{
"a": "-811/64",
"b": "-405/32",
"test": "excludes-zero"
},
{
"a": "-203/16",
"b": "-811/64",
"test": "excludes-zero"
},
{
"a": "-813/64",
"b": "-203/16",
"test": "excludes-zero"
},
{
"a": "-407/32",
"b": "-813/64",
"test": "excludes-zero"
},
{
"a": "-815/64",
"b": "-407/32",
"test": "excludes-zero"
},
{
"a": "-51/4",
"b": "-815/64",
"test": "excludes-zero"
},
{
"a": "-817/64",
"b": "-51/4",
"test": "excludes-zero"
},
{
"a": "-409/32",
"b": "-817/64",
"test": "excludes-zero"
},
{
"a": "-819/64",
"b": "-409/32",
"test": "excludes-zero"
},
{
"a": "-205/16",
"b": "-819/64",
"test": "excludes-zero"
},
{
"a": "-821/64",
"b": "-205/16",
"test": "monotone",
"left_sign": 1,
"right_sign": -1,
"root": true
},
{
"a": "-411/32",
"b": "-821/64",
"test": "monotone",
"left_sign": 1,
"right_sign": 1,
"root": false
},
{
"a": "-823/64",
"b": "-411/32",
"test": "excludes-zero"
},
{
"a": "-103/8",
"b": "-823/64",
"test": "excludes-zero"
},
{
"a": "-825/64",
"b": "-103/8",
"test": "excludes-zero"
},
{
"a": "-413/32",
"b": "-825/64",
"test": "excludes-zero"
},
{
"a": "-827/64",
"b": "-413/32",
"test": "excludes-zero"
},
{
"a": "-207/16",
"b": "-827/64",
"test": "excludes-zero"
},
{
"a": "-829/64",
"b": "-207/16",
"test": "excludes-zero"
},
{
"a": "-415/32",
"b": "-829/64",
"test": "excludes-zero"
},
{
"a": "-831/64",
"b": "-415/32",
"test": "excludes-zero"
},
{
"a": "-13",
"b": "-831/64",
"test": "excludes-zero"
},
{
"a": "-833/64",
"b": "-13",
"test": "excludes-zero"
},
{
"a": "-417/32",
"b": "-833/64",
"test": "excludes-zero"
},
{
"a": "-835/64",
"b": "-417/32",
"test": "excludes-zero"
},
{
"a": "-209/16",
"b": "-835/64",
"test": "excludes-zero"
},
{
"a": "-837/64",
"b": "-209/16",
"test": "excludes-zero"
},
{
"a": "-419/32",
"b": "-837/64",
"test": "excludes-zero"
},
{
"a": "-839/64",
"b": "-419/32",
"test": "excludes-zero"
},
{
"a": "-105/8",
"b": "-839/64",
"test": "excludes-zero"
},
{
"a": "-841/64",
"b": "-105/8",
"test": "excludes-zero"
},
{
"a": "-421/32",
"b": "-841/64",
"test": "excludes-zero"
},
{
"a": "-843/64",
"b": "-421/32",
"test": "excludes-zero"
},
{
"a": "-211/16",
"b": "-843/64",
"test": "excludes-zero"
},
{
"a": "-845/64",
"b": "-211/16",
"test": "excludes-zero"
},
{
"a": "-423/32",
"b": "-845/64",
"test": "excludes-zero"
},
{
"a": "-847/64",
"b": "-423/32",
"test": "excludes-zero"
},
{
"a": "-53/4",
"b": "-847/64",
"test": "excludes-zero"
},
{
"a": "-849/64",
"b": "-53/4",
"test": "excludes-zero"
},
{
"a": "-425/32",
"b": "-849/64",
"test": "excludes-zero"
},
{
"a": "-851/64",
"b": "-425/32",
"test": "excludes-zero"
},
{
"a": "-213/16",
"b": "-851/64",
"test": "excludes-zero"
},
{
"a": "-853/64",
"b": "-213/16",
"test": "excludes-zero"
},
{
"a": "-427/32",
"b": "-853/64",
"test": "excludes-zero"
},
{
"a": "-855/64",
"b": "-427/32",
"test": "excludes-zero"
},
{
"a": "-107/8",
"b": "-855/64",
"test": "excludes-zero"
},
{
"a": "-857/64",
"b": "-107/8",
"test": "excludes-zero"
},
{
"a": "-429/32",
"b": "-857/64",
"test": "excludes-zero"
},
{
"a": "-859/64",
"b": "-429/32",
"test": "excludes-zero"
},
{
"a": "-215/16",
"b": "-859/64",
"test": "excludes-zero"
},
{
"a": "-861/64",
"b": "-215/16",
"test": "excludes-zero"
},
{
"a": "-431/32",
"b": "-861/64",
"test": "excludes-zero"
},
{
"a": "-863/64",
"b": "-431/32",
"test": "excludes-zero"
},
{
"a": "-27/2",
"b": "-863/64",
"test": "excludes-zero"
},
{
"a": "-865/64",
"b": "-27/2",
"test": "excludes-zero"
},
{
"a": "-433/32",
"b": "-865/64",
"test": "excludes-zero"
},
{
"a": "-867/64",
"b": "-433/32",
"test": "excludes-zero"
},
{
"a": "-217/16",
"b": "-867/64",
"test": "excludes-zero"
},
{
"a": "-869/64",
"b": "-217/16",
"test": "excludes-zero"
},
{
"a": "-435/32",
"b": "-869/64",
"test": "excludes-zero"
},
{
"a": "-871/64",
"b": "-435/32",
"test": "excludes-zero"
},
{
"a": "-109/8",
"b": "-871/64",
"test": "excludes-zero"
},
{
"a": "-873/64",
"b": "-109/8",
"test": "excludes-zero"
},
{
"a": "-437/32",
"b": "-873/64",
"test": "excludes-zero"
},
{
"a": "-875/64",
"b": "-437/32",
"test": "excludes-zero"
},
{
"a": "-219/16",
"b": "-875/64",
"test": "monotone",
"left_sign": 1,
"right_sign": 1,
"root": false
},
{
"a": "-877/64",
"b": "-219/16",
"test": "monotone",
"left_sign": -1,
"right_sign": 1,
"root": true
},
{
"a": "-439/32",
"b": "-877/64",
"test": "excludes-zero"
},
{
"a": "-879/64",
"b": "-439/32",
"test": "excludes-zero"
},
{
"a": "-55/4",
"b": "-879/64",
"test": "excludes-zero"
},
{
"a": "-881/64",
"b": "-55/4",
"test": "excludes-zero"
},
{
"a": "-441/32",
"b": "-881/64",
"test": "excludes-zero"
},
{
"a": "-883/64",
"b": "-441/32",
"test": "excludes-zero"
},
{
"a": "-221/16",
"b": "-883/64",
"test": "excludes-zero"
},
{
"a": "-885/64",
"b": "-221/16",
"test": "excludes-zero"
},
{
"a": "-443/32",
"b": "-885/64",
"test": "excludes-zero"
},
{
"a": "-887/64",
"b": "-443/32",
"test": "excludes-zero"
},
{
"a": "-111/8",
"b": "-887/64",
"test": "excludes-zero"
},
{
"a": "-889/64",
"b": "-111/8",
"test": "excludes-zero"
},
{
"a": "-445/32",
"b": "-889/64",
"test": "excludes-zero"
},
{
"a": "-891/64",
"b": "-445/32",
"test": "excludes-zero"
},
{
"a": "-223/16",
"b": "-891/64",
"test": "excludes-zero"
},
{
"a": "-893/64",
"b": "-223/16",
"test": "excludes-zero"
},
{
"a": "-447/32",
"b": "-893/64",
"test": "excludes-zero"
},
{
"a": "-895/64",
"b": "-447/32",
"test": "excludes-zero"
},
{
"a": "-14",
"b": "-895/64",
"test": "excludes-zero"
},
{
"a": "-897/64",
"b": "-14",
"test": "excludes-zero"
},
{
"a": "-449/32",
"b": "-897/64",
"test": "excludes-zero"
},
{
"a": "-899/64",
"b": "-449/32",
"test": "excludes-zero"
},
{
"a": "-225/16",
"b": "-899/64",
"test": "excludes-zero"
},
{
"a": "-901/64",
"b": "-225/16",
"test": "excludes-zero"
},
{
"a": "-451/32",
"b": "-901/64",
"test": "excludes-zero"
},
{
"a": "-903/64",
"b": "-451/32",
"test": "excludes-zero"
},
{
"a": "-113/8",
"b": "-903/64",
"test": "excludes-zero"
},
{
"a": "-905/64",
"b": "-113/8",
"test": "excludes-zero"
},
{
"a": "-453/32",
"b": "-905/64",
"test": "excludes-zero"
},
{
"a": "-907/64",
"b": "-453/32",
"test": "excludes-zero"
},
{
"a": "-227/16",
"b": "-907/64",
"test": "excludes-zero"
},
{
"a": "-909/64",
"b": "-227/16",
"test": "excludes-zero"
},
{
"a": "-455/32",
"b": "-909/64",
"test": "excludes-zero"
},
{
"a": "-911/64",
"b": "-455/32",
"test": "excludes-zero"
},
{
"a": "-57/4",
"b": "-911/64",
"test": "excludes-zero"
},
{
"a": "-913/64",
"b": "-57/4",
"test": "excludes-zero"
},
{
"a": "-457/32",
"b": "-913/64",
"test": "excludes-zero"
},
{
"a": "-915/64",
"b": "-457/32",
"test": "excludes-zero"
},
{
"a": "-229/16",
"b": "-915/64",
"test": "excludes-zero"
},
{
"a": "-917/64",
"b": "-229/16",
"test": "excludes-zero"
},
{
"a": "-459/32",
"b": "-917/64",
"test": "excludes-zero"
},
{
"a": "-919/64",
"b": "-459/32",
"test": "excludes-zero"
},
{
"a": "-115/8",
"b": "-919/64",
"test": "excludes-zero"
},
{
"a": "-921/64",
"b": "-115/8",
"test": "excludes-zero"
},
{
"a": "-461/32",
"b": "-921/64",
"test": "excludes-zero"
},
{
"a": "-923/64",
"b": "-461/32",
"test": "excludes-zero"
},
{
"a": "-231/16",
"b": "-923/64",
"test": "excludes-zero"
},
{
"a": "-925/64",
"b": "-231/16",
"test": "excludes-zero"
},
{
"a": "-463/32",
"b": "-925/64",
"test": "excludes-zero"
},
{
"a": "-927/64",
"b": "-463/32",
"test": "excludes-zero"
},
{
"a": "-29/2",
"b": "-927/64",
"test": "excludes-zero"
},
{
"a": "-929/64",
"b": "-29/2",
"test": "excludes-zero"
},
{
"a": "-465/32",
"b": "-929/64",
"test": "monotone",
"left_sign": 1,
"right_sign": -1,
"root": true
}
]
},
"tail_bounds": [
"[6.683912291507147344743491366451113770094929868605974325502393399271958281792325669469913765292144712885953078357764483597725201499406933364726241179988446673877552608911111297821701207580063799839306523991796e-432 +/- 9.27e-640]",
"[3.760745793509653484306413404758321073055295317634969700026200780465066972835417271416420763043673704644114837462709959348246920131306828915016105092927718507931660207028532140827868723389347146186004055441081e-430 +/- 3.51e-638]",
"[2.113657931086524403251776560518778509906323311957133508922956497107676693528029827438192447693222621649012734154392576344083243811626751700072158148298828080633949589195978410084329186173760738245686708415151e-428 +/- 2.34e-636]"
],
"root_certificates": [
{
"n": 0,
"lo": "304537708536525482532168849032137734755814306465670172741152183656346226955002032809390857287662904376488320827632234951/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "38067213567065685316521106129017216844476788308208771592644022957043278369375254101173857160957863047061040103454029369/62500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": 1,
"right_sign": -1,
"curvature_sign": -1,
"independent_left": "[2.012656417270659366070956757497854457232964163731741544386584e-121 +/- 5.31e-182]",
"independent_right": "[-1.359597112860975434747745928201103599404447038691642902830853e-121 +/- 2.90e-182]"
},
{
"n": 1,
"lo": "-1124977109319408767775960295156335514326834864787264214429243553590129031238393350165947556290504225238296311652298941251/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-899981687455527014220768236125068411461467891829811371543394842872103224990714680132758045032403380190637049321839153/400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": -1,
"right_sign": 1,
"curvature_sign": 1,
"independent_left": "[-6.0019852155129692527154711372363648920403926487331e-121 +/- 7.54e-171]",
"independent_right": "[1.38392292814766056282956391075823214853934375406407e-120 +/- 4.89e-171]"
},
{
"n": 2,
"lo": "-1020988522123192247416408113598996942869880564152436572291779993926552767538383156399037045828727170499615523064561551653/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-408395408849276898966563245439598777147952225660974628916711997570621107015353262559614818331490868199846209225824620661/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": 1,
"right_sign": -1,
"curvature_sign": -1,
"independent_left": "[1.933613145532848754432440863316395659905807706996892246299177279610e-120 +/- 1.05e-187]",
"independent_right": "[-1.3196508797904759804470337200169761597475104911141901232374636978097e-120 +/- 9.11e-188]"
},
{
"n": 3,
"lo": "-2753715105553152110257319191535098064739724762378718709914886437143929212037908478614616373735036188656605147469767738801/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-6884287763882880275643297978837745161849311905946796774787216092859823030094771196536540934337590471641512868674419347/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": -1,
"right_sign": 1,
"curvature_sign": 1,
"independent_left": "[-2.68658558204328958129528714556667877961840482e-120 +/- 2.65e-165]",
"independent_right": "[1.35935968230517380728746083671658679440863147e-120 +/- 6.87e-165]"
},
{
"n": 4,
"lo": "-1696036014330289904832462527772648254228903618087325543015373276777246885329224517860678384017363970906879015157947812587/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-3392072028660579809664925055545296508457807236174651086030746553554493770658449035721356768034727941813758030315895625173/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": 1,
"right_sign": -1,
"curvature_sign": -1,
"independent_left": "[1.3040322863271824103268621131943880213904750470417442e-120 +/- 3.57e-173]",
"independent_right": "[-3.4417942914979492499509497223437222434120286550344802e-120 +/- 5.65e-173]"
},
{
"n": 5,
"lo": "-7938313716297769428775096959257777073818941159536097584879974183295447087789374969168895851797710582286596996626925146983/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-7938313716297769428775096959257777073818941159536097584879974183295447087789374969168895851797710582286596996626925146981/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": -1,
"right_sign": 1,
"curvature_sign": 1,
"independent_left": "[-3.72326832831679148654523296215946638436633185e-120 +/- 6.29e-165]",
"independent_right": "[1.60916846928959118902587753441508813378483720e-120 +/- 7.75e-165]"
},
{
"n": 6,
"lo": "-9020901668155199634667814626857141297522289208983980451562253824707148210362016279970147167298819550913393006143441531843/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-9020901668155199634667814626857141297522289208983980451562253824707148210362016279970147167298819550913393006143441531841/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": 1,
"right_sign": -1,
"curvature_sign": -1,
"independent_left": "[2.448191774501647529477263610996998463182430540738306644220316519406206138e-120 +/- 4.45e-193]",
"independent_right": "[-3.4262351972254127108870884795990418504570253207516368151537997391061579288e-120 +/- 8.81e-194]"
},
{
"n": 7,
"lo": "-250917765742619057353320170362157665141815678313264123936706472259044971570376025972814760773886425592806527873376965103/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-5018355314852381147066403407243153302836313566265282478734129445180899431407520519456295215477728511856130557467539302059/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": -1,
"right_sign": 1,
"curvature_sign": 1,
"independent_left": "[-3.66598436103892454613826490533723399332027451968368e-120 +/- 6.41e-171]",
"independent_right": "[2.69471177249873980686105966716399101873246571761017e-120 +/- 7.25e-171]"
},
{
"n": 8,
"lo": "-2751807201047325651580777561994519589807295599514643066530135816582847289732246865369972599975541031797244787248825116801/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-5503614402094651303161555123989039179614591199029286133060271633165694579464493730739945199951082063594489574497650233601/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": 1,
"right_sign": -1,
"curvature_sign": -1,
"independent_left": "[4.4170966252947572193456186543884625690488757567112429604184744295270154992126173049985503e-120 +/- 6.86e-209]",
"independent_right": "[-2.4022709023869230935934286829807515589703932157804525949215983904233783072823304605595495e-120 +/- 9.10e-209]"
},
{
"n": 9,
"lo": "-2983411860243453596258137467657571953388670836687779855108651155003814774947277516748455857698695553969616973871235332423/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-1193364744097381438503254987063028781355468334675111942043460462001525909978911006699382343079478221587846789548494132969/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": -1,
"right_sign": 1,
"curvature_sign": 1,
"independent_left": "[-3.1361263854261403337165718284572383088331611524335928015690051105157906833022485864043106e-120 +/- 8.43e-209]",
"independent_right": "[4.107500944476593173967290729273212548867859476997391011208417457843580639061640353922514e-120 +/- 1.33e-208]"
},
{
"n": 10,
"lo": "-12827762290425802502540211317660129003433069577509445868440728442304837693494792695671155444115477715099302883624311853087/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-2565552458085160500508042263532025800686613915501889173688145688460967538698958539134231088823095543019860576724862370617/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": 1,
"right_sign": -1,
"curvature_sign": -1,
"independent_left": "[1.9946470699590573204889847788796269927393967625310219119881602069063105303569352970023e-120 +/- 5.65e-206]",
"independent_right": "[-5.6539759700807368468136163490234458502098400552035393223569090281868969276199711107796e-120 +/- 5.65e-206]"
},
{
"n": 11,
"lo": "-13689734115041128054702576720488407216459769141518083016518065267390790041546754493635063812325156240997058378353193066911/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-13689734115041128054702576720488407216459769141518083016518065267390790041546754493635063812325156240997058378353193066909/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": -1,
"right_sign": 1,
"curvature_sign": 1,
"independent_left": "[-4.1381489443099448350354553785435522962770392308652247359732274512387517162191e-120 +/- 2.66e-197]",
"independent_right": "[3.8916065243760479064228824756343020381733483533070370396962362894602319065316e-120 +/- 4.93e-197]"
},
{
"n": 12,
"lo": "-14527004137948643189942493096857420720999732282311118484648165462259487984314613102140185425473691478823733838565051632769/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-14527004137948643189942493096857420720999732282311118484648165462259487984314613102140185425473691478823733838565051632767/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"left_sign": 1,
"right_sign": -1,
"curvature_sign": -1,
"independent_left": "[5.19362069250330906206200372225784503889772400111262234909042695367115e-120 +/- 8.53e-189]",
"independent_right": "[-3.2028203512856484597544947193439416278371228486363820409520799655479e-120 +/- 4.14e-188]"
}
],
"mpmath_checks": [
{
"n": 0,
"root_140_digits": "0.60907541707305096506433769806427546951162861293134034548230436731269245391000406561878171457532580875297664165526446990319365664490362086668",
"precisions": [
150,
200
]
},
{
"n": 1,
"root_140_digits": "-2.2499542186388175355519205903126710286536697295745284288584871071802580624767867003318951125810084504765926233045978825013949982027134855524",
"precisions": [
150,
200
]
},
{
"n": 2,
"root_140_digits": "-4.0839540884927689896656324543959877714795222566097462891671199757062110701535326255961481833149086819984620922582462066108112780699742455407",
"precisions": [
150,
200
]
},
{
"n": 3,
"root_140_digits": "-5.5074302111063042205146383830701961294794495247574374198297728742878584240758169572292327474700723773132102949395354776006719614792040828856",
"precisions": [
150,
200
]
},
{
"n": 4,
"root_140_digits": "-6.7841440573211596193298501110905930169156144723493021720614931071089875413168980714427135360694558836275160606317912503474504509320166600589",
"precisions": [
150,
200
]
},
{
"n": 5,
"root_140_digits": "-7.9383137162977694287750969592577770738189411595360975848799741832954470877893749691688958517977105822865969966269251469816035396312664831387",
"precisions": [
150,
200
]
},
{
"n": 6,
"root_140_digits": "-9.0209016681551996346678146268571412975222892089839804515622538247071482103620162799701471672988195509133930061434415318421664917152653314813",
"precisions": [
150,
200
]
},
{
"n": 7,
"root_140_digits": "-10.036710629704762294132806814486306605672627132530564957468258890361798862815041038912590430955457023712261114935078604118847300897865720467",
"precisions": [
150,
200
]
},
{
"n": 8,
"root_140_digits": "-11.007228804189302606323110247978078359229182398058572266120543266331389158928987461479890399902164127188979148995300467202704543608372901923",
"precisions": [
150,
200
]
},
{
"n": 9,
"root_140_digits": "-11.933647440973814385032549870630287813554683346751119420434604620015259099789110066993823430794782215878467895484941329691134100570723797345",
"precisions": [
150,
200
]
},
{
"n": 10,
"root_140_digits": "-12.827762290425802502540211317660129003433069577509445868440728442304837693494792695671155444115477715099302883624311853086478429761927794106",
"precisions": [
150,
200
]
},
{
"n": 11,
"root_140_digits": "-13.689734115041128054702576720488407216459769141518083016518065267390790041546754493635063812325156240997058378353193066909969296397518535931",
"precisions": [
150,
200
]
},
{
"n": 12,
"root_140_digits": "-14.527004137948643189942493096857420720999732282311118484648165462259487984314613102140185425473691478823733838565051632767762899503392535358",
"precisions": [
150,
200
]
}
]
}