{
  "table": "T459",
  "entries": 32,
  "exact_coefficient_comparisons": 32,
  "published_constant_terms": 17,
  "zograf_genus_zero_checks": 6,
  "independent_mpfi_checks": 32,
  "minimum_arb_relative_accuracy_bits": 390,
  "mpfi_relative_width_bound": "1e-145",
  "measurement": {
    "entries": 32,
    "longest": 136,
    "longest_at": [
      0,
      4
    ],
    "block_kb": 5.4365234375
  },
  "rational_coefficients": {
    "0,3": "1",
    "0,4": "2",
    "0,5": "10",
    "0,6": "244/3",
    "0,7": "2758/3",
    "0,8": "199784/15",
    "1,1": "1/12",
    "1,2": "1/4",
    "1,3": "14/9",
    "1,4": "529/36",
    "1,5": "16751/90",
    "1,6": "399068/135",
    "1,7": "5927149/105",
    "1,8": "1586670083/1260",
    "2,0": "43/2160",
    "2,1": "29/192",
    "2,2": "787/480",
    "2,3": "1498069/64800",
    "2,4": "10098059/25200",
    "2,5": "7473953867/907200",
    "2,6": "159963676633/816480",
    "2,7": "799796411059/151200",
    "2,8": "2242914390842743/14033250",
    "3,0": "176557/1209600",
    "3,1": "9292841/4082400",
    "3,2": "2800144027/65318400",
    "3,3": "486507137519/514382400",
    "3,4": "281203264373/11757312",
    "3,5": "12860394231407687/18860688000",
    "3,6": "333846529665481559/15431472000",
    "3,7": "208533540135920709859/275837562000",
    "3,8": "50524804159055070407/1751349600"
  },
  "controls": "passed: non-unit genus-zero, genus-one, genus-two, dimension-zero, rational interval and Zograf base cases",
  "stored_checks": 32,
  "verify": "<VerifyReport T459: 32/32 matched, 0 differing, 0 missing, 0 extra>",
  "stored_numbers": {
    "0,3": "1",
    "0,4": "19.73920880217871723766898199975230227062739881448158125282669875244008964483841048600354680743710446",
    "0,5": "974.0909103400243723644033268870511124972758567268542169146785938997085545682719619012186723475299255",
    "0,6": "78192.98774412476087845784808373015177453369228392512476320752991537297157784448403127000794435581321",
    "0,7": "8723122.847440881037220203746591620022430273660928702021613210707584844917083645274821936871306055974",
    "0,8": "1247292101.130784684147534348793595103236150390208761843431936436638047918858975283398010091880818901",
    "1,1": "0.8224670334241132182362075833230125946094749506033992188677791146850037352016004369168144503098793527",
    "1,2": "24.35227275850060930911008317217627781243189641817135542286696484749271386420679904753046680868824814",
    "1,3": "1495.494301117140235380341356792653176015671710348294735908340736086368308865878109887677747569646701",
    "1,4": "139428.6918750370458269726789324077529570224427916147984479510655158443002519110572389655730275835028",
    "1,5": "17429982.70302074093700809196986204398609561258357940712580283977539404280690370180811949159183217659",
    "1,6": "2732194472.090147331462757217456415878542842548306426640954964041010170842829341182961448241947061345",
    "1,7": "514937788550.1345965564161117465020544628800860736899832387596314578529001111420177555966762431069098",
    "1,8": "113374151839310.5370271758572190810276418570614307313256778939206998620178322540365056404195134339513",
    "2,0": "19.13876635358244944087936855419169243115294153124305763216031299158149919084308295391968545996869290",
    "2,1": "1433.163538885659615660045258402584417209469816029121864954128390817397698714114128047023257726815306",
    "2,2": "153543.7778409944531381563232823573437823553120329793005791464118175979608198750819688754389600462992",
    "2,3": "21367577.29159783400895482955493443201175821744612269635954253632814491945580341944970256638783674421",
    "2,4": "3655405666.724411976966699282802160862940018618210036420583492055848755305630792204843525119824888210",
    "2,5": "741729128222.7063320588063175614170411931111958808436312363456714958824893486397174874465106902160395",
    "2,6": "174089883630542.8687540530440308934948447689720150460685910980264056455462952175662856792838989733509",
    "2,7": "46390079170961834.32584205295641160152235475236546258250825639795642826257049480086004097940921716753",
    "2,8": "13834123058880853697.68999808313112730863173587959500203067657187489404489851438013104786412392820937",
    "3,0": "134909.2211327896628611937091443298427377890517834393893483551010317859623797946959831934124292658003",
    "3,1": "20764963.34676300829623633044500201850655642596978386739978269243927490134559483449125865369247219308",
    "3,2": "3859604421.279218840930310083855726196593562210385937588470541058953237782280841254803713169152271635",
    "3,3": "840428602082.7202126215963989700162039965076824953187132910186677036659463475047679549652438357385638",
    "3,4": "209753766802193.5108271573271504902686046611862866977832655152293267739280425548929639190238388178477",
    "3,5": "59019285882055650.28469598366915842363648876368141465166365369321675275164062800277235805006133818302",
    "3,6": "18481467614260465167.96841963588755781843778046147304260564698673456221647349731734124220013507223470",
    "3,7": "6374104811376373204762.226121254490799449201156365475865142781072021909124677830677888397289351695300",
    "3,8": "2400646570201089687467099.492416429735758926424473693452826320880100476635074294410769523187064028314"
  }
}