{
  "name": "original_theta_quotient",
  "classification": "diagnostic; not an interval certificate",
  "stencil": [
    "0",
    "1/4",
    "1/2",
    "3/4",
    "1",
    "5/4"
  ],
  "witness_rule": "128-bit minimum eigenvector; maxabs=1; first max positive; nearest dyadic 2^-32, ties to even",
  "witness_numerators": [
    -1209425521,
    3095606301,
    -4294967296,
    4294967296,
    -3095606301,
    1209425521
  ],
  "witness_denominator": 4294967296,
  "runs": [
    {
      "bits": 128,
      "values": [
        "0.024580092963746461804338377192844488161697647257116",
        "0.020606326701039808854254022612322008394687492085065",
        "0.013808304775488998264780821514286298828127843381564",
        "0.0086444580857582425212376571213138040681606415643377",
        "0.0053113335521013316287134897984026565152861067004471",
        "0.0032414411463719028794571196558508280655850946753039"
      ],
      "matrix": [
        [
          "0.024580092963746461804338377192844488161697647257116",
          "0.020606326701039808854254022612322008394687492085065",
          "0.013808304775488998264780821514286298828127843381564",
          "0.0086444580857582425212376571213138040681606415643377",
          "0.0053113335521013316287134897984026565152861067004471",
          "0.0032414411463719028794571196558508280655850946753039"
        ],
        [
          "0.020606326701039808854254022612322008394687492085065",
          "0.024580092963746461804338377192844488161697647257116",
          "0.020606326701039808854254022612322008394687492085065",
          "0.013808304775488998264780821514286298828127843381564",
          "0.0086444580857582425212376571213138040681606415643377",
          "0.0053113335521013316287134897984026565152861067004471"
        ],
        [
          "0.013808304775488998264780821514286298828127843381564",
          "0.020606326701039808854254022612322008394687492085065",
          "0.024580092963746461804338377192844488161697647257116",
          "0.020606326701039808854254022612322008394687492085065",
          "0.013808304775488998264780821514286298828127843381564",
          "0.0086444580857582425212376571213138040681606415643377"
        ],
        [
          "0.0086444580857582425212376571213138040681606415643377",
          "0.013808304775488998264780821514286298828127843381564",
          "0.020606326701039808854254022612322008394687492085065",
          "0.024580092963746461804338377192844488161697647257116",
          "0.020606326701039808854254022612322008394687492085065",
          "0.013808304775488998264780821514286298828127843381564"
        ],
        [
          "0.0053113335521013316287134897984026565152861067004471",
          "0.0086444580857582425212376571213138040681606415643377",
          "0.013808304775488998264780821514286298828127843381564",
          "0.020606326701039808854254022612322008394687492085065",
          "0.024580092963746461804338377192844488161697647257116",
          "0.020606326701039808854254022612322008394687492085065"
        ],
        [
          "0.0032414411463719028794571196558508280655850946753039",
          "0.0053113335521013316287134897984026565152861067004471",
          "0.0086444580857582425212376571213138040681606415643377",
          "0.013808304775488998264780821514286298828127843381564",
          "0.020606326701039808854254022612322008394687492085065",
          "0.024580092963746461804338377192844488161697647257116"
        ]
      ],
      "eigenvalues_diagnostic": [
        "0.00052817273088790117507722738844897119205938068206744",
        "0.0015202141025729185124000027029030116999153263023667",
        "0.0044010787868945506905896271298591467508162517921608",
        "0.012635148549969241675297989415841407385894124336922",
        "0.036318801440286979292399477670738706013643457868923",
        "0.092077142171867179480265938849275685928807265973643"
      ],
      "minimum_eigenvalue_diagnostic": "0.00052817273088790117507722738844897119205938068206744",
      "fixed_witness_quadratic_form_diagnostic": "0.0016888609649412837356629385555029089507876596890935",
      "fixed_witness_norm_squared": "3.1975542586270433765855553120971421776630450040102",
      "negative_margin_required": "0.000000000000071482810138764874012550509988069002813919592580542",
      "normalized_quadratic_form_diagnostic": "0.021487824788413569134600578771482784207440725312056",
      "negative_beyond_margin": false,
      "minimum_eigenvalue_positive_beyond_margin": true
    },
    {
      "bits": 256,
      "values": [
        "0.024580092963746461804338377192844488161617943106459402602767308476040456052457413267848219",
        "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
        "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985",
        "0.0086444580857582425212376571213138040681068337331430372589493228928632795556252880668943658",
        "0.0053113335521013316287134897984026565153206357121369366744318554789341371207039799791677008",
        "0.0032414411463719028794571196558508280656043735153998173035772882258553973383788878102255383"
      ],
      "matrix": [
        [
          "0.024580092963746461804338377192844488161617943106459402602767308476040456052457413267848219",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985",
          "0.0086444580857582425212376571213138040681068337331430372589493228928632795556252880668943658",
          "0.0053113335521013316287134897984026565153206357121369366744318554789341371207039799791677008",
          "0.0032414411463719028794571196558508280656043735153998173035772882258553973383788878102255383"
        ],
        [
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.024580092963746461804338377192844488161617943106459402602767308476040456052457413267848219",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985",
          "0.0086444580857582425212376571213138040681068337331430372589493228928632795556252880668943658",
          "0.0053113335521013316287134897984026565153206357121369366744318554789341371207039799791677008"
        ],
        [
          "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.024580092963746461804338377192844488161617943106459402602767308476040456052457413267848219",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985",
          "0.0086444580857582425212376571213138040681068337331430372589493228928632795556252880668943658"
        ],
        [
          "0.0086444580857582425212376571213138040681068337331430372589493228928632795556252880668943658",
          "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.024580092963746461804338377192844488161617943106459402602767308476040456052457413267848219",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985"
        ],
        [
          "0.0053113335521013316287134897984026565153206357121369366744318554789341371207039799791677008",
          "0.0086444580857582425212376571213138040681068337331430372589493228928632795556252880668943658",
          "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.024580092963746461804338377192844488161617943106459402602767308476040456052457413267848219",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763"
        ],
        [
          "0.0032414411463719028794571196558508280656043735153998173035772882258553973383788878102255383",
          "0.0053113335521013316287134897984026565153206357121369366744318554789341371207039799791677008",
          "0.0086444580857582425212376571213138040681068337331430372589493228928632795556252880668943658",
          "0.013808304775488998264780821514286298828009526413359583348925798358294218473192472239143985",
          "0.020606326701039808854254022612322008394648800526601468174124919410870369940406802313874763",
          "0.024580092963746461804338377192844488161617943106459402602767308476040456052457413267848219"
        ]
      ],
      "eigenvalues_diagnostic": [
        "0.00052817273088790117507722738844897119199708427003460469148349229705237195599762192252585641",
        "0.0015202141025729185124000027029030116999532205323306791300488627762052823289592528594494456",
        "0.0044010787868945506905896271298591467504819780123649136810407147226620034199713176385831409",
        "0.012635148549969241675297989415841407385833379811537159156475662403153530154170245334834202",
        "0.036318801440286979292399477670738706014014759261834366699126187878817945946992338918957702",
        "0.092077142171867179480265938849275685927427236750654692258428930778351602508652016181068051"
      ],
      "minimum_eigenvalue_diagnostic": "0.00052817273088790117507722738844897119199708427003460469148349229705237195599762192252585641",
      "fixed_witness_quadratic_form_diagnostic": "0.001688860964941283735662938555502908950420018899507292369050156315654850312844089566849343",
      "fixed_witness_norm_squared": "3.19755425862704337658555531209714217766304500401020050048828125",
      "negative_margin_required": "0.000000000000071482810138764874012550509988069002813761944410801196749802116158197344626406609785247244",
      "normalized_quadratic_form_diagnostic": "0.02148782478841356913460057877148278420282780533182389883713966567655769886429187440058618",
      "negative_beyond_margin": false,
      "minimum_eigenvalue_positive_beyond_margin": true
    }
  ],
  "agreement_tolerance": "2^-40",
  "agreement_rule": "max_j abs(k128_j-k256_j) <= 2^-40*max(abs(k128_0),abs(k256_0)); abs(q128/(k128_0*norm2)-q256/(k256_0*norm2)) <= 2^-40",
  "negative_rule": "The identical fixed rational vector must have q < -2^-40*k(0)*norm2 at both precisions",
  "mpmath_version": "1.3.0",
  "normalized_value_discrepancies": [
    "3.242630154985752633680908970166443650710092367106809993350490130260197742000508734166118e-39",
    "1.5741013884934678923579549618725106346888448739697404904354269561110107931637618162099407e-39",
    "4.8135281009280182925705817221930662092185509212424043231657438760676021490840397391563518e-39",
    "2.1890816797977410965307421831398023138304826915862209777748522491389871629702383863010316e-39",
    "1.4047551301276206805844383312438278156187670862036511272623087205197496295795009227452599e-39",
    "7.8432738738425222694343361492468863245672953098269155846784585042013974898945822789194881e-40"
  ],
  "normalized_form_discrepancy": "4.6129199802321011628603343234423011357080346093922888050708457760065228495276720707728464e-39",
  "agreement_pass": true,
  "negative_diagnostic_candidate": false,
  "status": "inconclusive; no admitted negative diagnostic witness"
}