{
 "_provenance": "INDEPENDENT REFERENCE for the (1,1,2) kite (masses 1, 0, 1, 0, sqrt 2) at the MINKOWSKI point s = 16, above every threshold, with the Feynman s + i0 prescription: an AMFlow evaluation of the family at goal 60 digits (eps order 8; the engine's own +i0, the point entered as the exact rational 16 on the real axis) -- the midpoint and the radius of every Arb ball of the eps^-2..eps^0 coefficients of the fourteen masters, real and imaginary parts, copied verbatim from the output object and keyed by the master index of kite-connection-A14.json; the goal-40 twin block beside it as the two-precision pair.  GATE ONLY: read by kite-evaluate.py --minkowski --point 16 (the detour transport of the served graded system is compared against these strings component by component); nothing here enters the seed or the transport.  The top master J(1,1,1,1,1) has no eps^-2 / eps^-1 coefficient in the output (below its leading order: identically zero); the other thirteen carry all three orders.  An exact printed 0 (a vanishing imaginary part) is stored as the midpoint 0 with radius 0.  The midpoint strings hold 110 significant digits; the goal-60 vs goal-40 pair floor bounds what the strings certify (67.43 digits, member (13,0)), and the certified count of record at s = 16 is 64 (the transport of record at dps 60 vs these strings, capped by its 65-digit printed values; the transport's own dps 60 vs dps 40 pair 44.53).",
 "masses_sq": [
  1,
  1,
  2
 ],
 "s": "16",
 "prescription": "s + i0: the boundary value from the upper half s-plane (D + i0 propagators); the lower detour gives the complex conjugate",
 "connection_poles": [
  "0",
  "6-4sqrt2",
  "1",
  "2",
  "6+4sqrt2"
 ],
 "goal_digits": 60,
 "eps_order": 8,
 "n_thread": 4,
 "engine_options": {
  "chop_pre": 20,
  "d0": "4",
  "extra_x_order": 20,
  "learn_x_order": -1,
  "rationalize_pre": 100,
  "run_candidate": 10,
  "run_direction": "NegIm",
  "run_length": 1000,
  "run_radius": 2,
  "silent_mode": true,
  "test_x_order": 5,
  "working_pre": 100,
  "x_order": 100
 },
 "midpoint_digits": 110,
 "masters": [
  [
   1,
   0,
   0,
   0,
   1
  ],
  [
   1,
   1,
   0,
   0,
   1
  ],
  [
   1,
   0,
   0,
   1,
   1
  ],
  [
   1,
   1,
   0,
   1,
   1
  ],
  [
   1,
   0,
   1,
   0,
   0
  ],
  [
   0,
   1,
   1,
   1,
   0
  ],
  [
   -1,
   1,
   1,
   1,
   0
  ],
  [
   1,
   0,
   1,
   1,
   0
  ],
  [
   1,
   0,
   1,
   0,
   1
  ],
  [
   1,
   -1,
   1,
   0,
   1
  ],
  [
   1,
   -2,
   1,
   0,
   1
  ],
  [
   0,
   0,
   1,
   1,
   1
  ],
  [
   0,
   1,
   1,
   1,
   1
  ],
  [
   1,
   1,
   1,
   1,
   1
  ]
 ],
 "TOP_idx": 13,
 "absent_in_output": [
  "(13,-2)",
  "(13,-1)"
 ],
 "values": {
  "0": {
   "-2": {
    "re": "2.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "0",
    "radius_re": "3e-114",
    "radius_im": "0"
   },
   "-1": {
    "re": "0.30484297927397793873948739675403713968036238751979509653557104147374184894995188504048509284017562685747124897",
    "im": "0",
    "radius_re": "5.85e-113",
    "radius_im": "0"
   },
   "0": {
    "re": "5.3131004441996116087264087325007627616128400882611777724294824131261859690049516316313459879066982995101395576",
    "im": "0",
    "radius_re": "4.44e-110",
    "radius_im": "0"
   }
  },
  "1": {
   "-2": {
    "re": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "3.2494894683355558296158953688352455240603684722146493113947136548843418836944720213456513011394851020067396023e-120",
    "radius_re": "2e-114",
    "radius_im": "8.37e-231"
   },
   "-1": {
    "re": "-0.55024989078641017259743995213576369359226794462423099163418086045851145543308466679395863984429977269019335795",
    "im": "2.7488935718910690836548129603695650236725232244532175933530765182693393555004328737995304721743524344843795757",
    "radius_re": "4.80e-111",
    "radius_im": "1.62e-111"
   },
   "0": {
    "re": "-1.6020282110490143819345974977766208006026202771274212900171495263033879827953769316169249903226025540514533172",
    "im": "-1.8141522884122808273587093017241731334423171688207318989785338506965736392672599329723884134190320195000173645",
    "radius_re": "3.05e-110",
    "radius_im": "1.84e-110"
   }
  },
  "2": {
   "-2": {
    "re": "2.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "1.8452869217576937321809785276855937413012017816176693570665841340238901694872271236438426696509820509375045579e-119",
    "radius_re": "2e-114",
    "radius_im": "2.37e-229"
   },
   "-1": {
    "re": "-2.7727511477926659350030211722748003806441849476513308540531956306106455527867982365290454688602838098699093737",
    "im": "5.8904862254808623221174563436490679078696926238283234143280211105771557617866418724275652975164695024665276622",
    "radius_re": "2.51e-110",
    "radius_im": "8.23e-111"
   },
   "0": {
    "re": "-2.1460773576658320917785231913622322750967601767359366628594957916496478125157239095029998395411923832332391350",
    "im": "-8.7832462270746592109674287931411034895747201395064308245077855410391080314212086609424232654953888197801308816",
    "radius_re": "2.48e-110",
    "radius_im": "2.92e-110"
   }
  },
  "3": {
   "-2": {
    "re": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "-3.2540513732236599846365202226631693798756134645232504685567743035879796559513695209765607999456098174990972218e-119",
    "radius_re": "3e-115",
    "radius_im": "9.22e-230"
   },
   "-1": {
    "re": "-2.0890469543197321094686942366501824537545416122097939669285641965007051563014597275787239206945294910538836693",
    "im": "5.6941366846315002447135411321940989776073695363673793005170870735579172363937538100133131209325871857176434068",
    "radius_re": "3.33e-110",
    "radius_im": "1.28e-110"
   },
   "0": {
    "re": "-12.346508315425918366472504433359110946657318725576997972160757505531732281497516054709781036179398220123234854",
    "im": "-12.505302802053039891269631115045156770938778781091519519144774940704153130713573081359981634855648118491722423",
    "radius_re": "7.94e-110",
    "radius_im": "1.58e-109"
   }
  },
  "4": {
   "-2": {
    "re": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "0",
    "radius_re": "3e-115",
    "radius_im": "0"
   },
   "-1": {
    "re": "0.84556867019693427878697581983519513791568132812015280238846553023026454644467065812610587341650650097073710551",
    "im": "0",
    "radius_re": "3.26e-111",
    "radius_im": "0"
   },
   "0": {
    "re": "3.0024272548575323426831190790269039183691468379463635288141559658350681506840555294083671847162036618505435842",
    "im": "0",
    "radius_re": "6.53e-111",
    "radius_im": "0"
   }
  },
  "5": {
   "-2": {
    "re": "0.50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "1.1548159480072813042501838593690296737924141169841040347021161254275002306621015108909437903871802912398885154e-120",
    "radius_re": "4e-115",
    "radius_im": "4.30e-230"
   },
   "-1": {
    "re": "-3.0772156649015328606065120900824024310421593359399235988057672348848677267776646709369470632917467495146314146",
    "im": "-2.6177117654857439523353906321517290784116134827571559282026962941576088866268382327161201829313267440227132913e-112",
    "radius_re": "2.70e-110",
    "radius_im": "1.15e-222"
   },
   "0": {
    "re": "3.6491717281788622648770288087100252478895490782844362172551869183643596852931382957048379266189489021083244773",
    "im": "-16.324222097079256346996433867558082819091858849793229333590908707175677790886260012095836668002343285252244314",
    "radius_re": "1.06e-110",
    "radius_im": "3.81e-109"
   }
  },
  "6": {
   "-2": {
    "re": "-0.50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "8.6611119323410093772639324718194030931938612365342434318587299270685553549167528575624572189269933178557330535e-120",
    "radius_re": "3e-115",
    "radius_im": "4.19e-230"
   },
   "-1": {
    "re": "-14.256117668431800472726821243250930902291173997393409734527566098448465606555668662396386270041586583818701895",
    "im": "-1.9632820837468595366505770724700137443045489214016600436418000212064358824268982324059614615912683840345365255e-111",
    "radius_re": "9.65e-111",
    "radius_im": "1.38e-221"
   },
   "0": {
    "re": "-6.6008054624261504645125740165627041323427628979084732184492143407733480411033649237953083672881138174055668854",
    "im": "-94.122394630686912192705872575861940453464877846987834685059487116145992742613275095921012660431459885994794781",
    "radius_re": "1.30e-111",
    "radius_im": "3.41e-109"
   }
  },
  "7": {
   "-2": {
    "re": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "4.1802279357007252118274393105072413254444471991991712516712161795989201408469765139658072160514617943788888544e-120",
    "radius_re": "2e-114",
    "radius_im": "2.58e-230"
   },
   "-1": {
    "re": "-0.69322839333638765808427846467922362224659233946541017290591780581192915442370440265865940743372321739295320584",
    "im": "2.9452431127404311610587281718245339539348463119141617071640105552885778808933209362137826487582347512332638311",
    "radius_re": "2.55e-111",
    "radius_im": "5.26e-111"
   },
   "0": {
    "re": "-1.7937744921172346420142889603281540299222060700248496799878859557606455078490814687850986203707955905490206049",
    "im": "-2.3501361538777026081393185544727886691574378506570095113234597206498897508574087181927782312376978238987344698",
    "radius_re": "3.32e-110",
    "radius_im": "2.90e-111"
   }
  },
  "8": {
   "-2": {
    "re": "2.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "3.6369193595957058752052234483351098262035288656426511896011482837463079395724840124259707436704180272332176254e-124",
    "radius_re": "3e-114",
    "radius_im": "2.61e-234"
   },
   "-1": {
    "re": "-1.6951570207260220612605126032459628603196376124802049034644289585262581510500481149595149071598243731425286423",
    "im": "-8.2440899914616989303121757056643564338639719153236531235406517894755892566260474810276727953593781178983202713e-116",
    "radius_re": "7.64e-112",
    "radius_im": "1.20e-226"
   },
   "0": {
    "re": "14.046884396675774983773005351836793733195572022653521570514852674651583655400550450492794195361422715726249571",
    "im": "-1.1866089222708462361172261461931165258407941739236398305209973139843469409106925636112847602029158371371838275",
    "radius_re": "3.15e-109",
    "radius_im": "3.72e-110"
   }
  },
  "9": {
   "-2": {
    "re": "21.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "1.9437134720804725976836893974186158423049201725694062374896565156768407588163143044380983910542392078485801883e-123",
    "radius_re": "3e-113",
    "radius_im": "3.22e-233"
   },
   "-1": {
    "re": "-24.529689759355744617827197489288591887822030279779313631520037540259948248904259274496189763457769564459906245",
    "im": "-4.4059675778391153434019140608565719602828228672116708337899280897568943855508100477225950507423347189404738408e-115",
    "radius_re": "8.66e-110",
    "radius_im": "1.27e-225"
   },
   "0": {
    "re": "152.97659448889695771417243726629409068957447908128396056432148331426165831834879214306481923056837845553269157",
    "im": "-6.2782571033718999829396242036322652793317242655855974783246763234820089163925326512955609615407511128539065758",
    "radius_re": "6.57e-109",
    "radius_im": "1.16e-110"
   }
  },
  "10": {
   "-2": {
    "re": "396.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "9.9524094194789891654036691034043744125960821916350284362709990436952807915655636881581454177892725461940723458e-123",
    "radius_re": "4e-112",
    "radius_im": "9.2e-235"
   },
   "-1": {
    "re": "-500.00893249402841923876017915681777518847962306225456452142515012144483178366639022677009628184686447882647105",
    "im": "-2.2559906000277262714740748234071562332099141839576811455895971627462477468529248803524248008994569260563558764e-114",
    "radius_re": "1.70e-108",
    "radius_im": "8.14e-225"
   },
   "0": {
    "re": "2978.5890088076508387375262626903418295502546449263401762454294808362307689307001500789800879220244831455368359",
    "im": "-33.753406379809944896022597040752738302382030729523316140015756476298996429991329681134834870222992933982786610",
    "radius_re": "4.39e-107",
    "radius_im": "5.58e-110"
   }
  },
  "11": {
   "-2": {
    "re": "1.5000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "0",
    "radius_re": "3e-114",
    "radius_im": "0"
   },
   "-1": {
    "re": "1.3820586441755107993459994868364395707225217234597186953413382763586095757276165559774321561319223763721027337",
    "im": "0",
    "radius_re": "3.88e-110",
    "radius_im": "0"
   },
   "0": {
    "re": "7.5164124943704694549670562631467629677602633433511139222315218212522652045921408598214090019903981916296461592",
    "im": "0",
    "radius_re": "2.62e-110",
    "radius_im": "0"
   }
  },
  "12": {
   "-2": {
    "re": "0.50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "im": "1.3718571523792098099232108692032207715217345843212187455562562466384714079076212378388554748469193272081463746e-120",
    "radius_re": "2e-115",
    "radius_im": "2.54e-230"
   },
   "-1": {
    "re": "-0.47303422588487731199092786205336126255010860868430739282841362557364372865541999585701157655255302317556192786",
    "im": "2.7488935718910690836548129603695650236725232244532175933530765182693393555004328737995304721743524344843795757",
    "radius_re": "3.84e-111",
    "radius_im": "1.20e-111"
   },
   "0": {
    "re": "-5.7436791930852499932284863323894137953952634066790450124773538325332341099822792512490810157750704430230453362",
    "im": "-4.1024316490036821963346894402403512971887444022096340106292341972370311202356355806316773566588200435630451961",
    "radius_re": "2.72e-110",
    "radius_im": "4.66e-110"
   }
  },
  "13": {
   "0": {
    "re": "0.51763165051069196156839363744954985242235970143402963541026027480367597428723018620309693152572938913181660000",
    "im": "-0.28922025981139103977169638737497846575235278936385415864823013903520501096235062216995747465758762069912317264",
    "radius_re": "4.19e-111",
    "radius_im": "3.27e-111"
   }
  }
 },
 "twin_goal40": {
  "goal_digits": 40,
  "eps_order": 8,
  "engine_options": {
   "chop_pre": 20,
   "d0": "4",
   "extra_x_order": 20,
   "learn_x_order": -1,
   "rationalize_pre": 100,
   "run_candidate": 10,
   "run_direction": "NegIm",
   "run_length": 1000,
   "run_radius": 2,
   "silent_mode": true,
   "test_x_order": 5,
   "working_pre": 100,
   "x_order": 100
  },
  "values": {
   "0": {
    "-2": {
     "re": "1.9999999999999999999999999999999999999999999999999999999999999999999999999999999999836519955006353768616866439",
     "im": "0",
     "radius_re": "4.97e-110",
     "radius_im": "0"
    },
    "-1": {
     "re": "0.30484297927397793873948739675403713968036238751979509653557104147374184894997410031443214059762847411591207406",
     "im": "0",
     "radius_re": "6.99e-112",
     "radius_im": "0"
    },
    "0": {
     "re": "5.3131004441996116087264087325007627616128400882611777724294824131261859477825846826937817161932627062939480415",
     "im": "0",
     "radius_re": "3.73e-110",
     "radius_im": "0"
    }
   },
   "1": {
    "-2": {
     "re": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000071150033306171293925113104",
     "im": "1.1676890253295685327097566596353490849965160790482717441430938123102742979811921444865537410201787371870941364e-84",
     "radius_re": "4.03e-111",
     "radius_im": "3.48e-194"
    },
    "-1": {
     "re": "-0.55024989078641017259743995213576369359226794462423099163418086045851145543309433536150459629786709725484285185",
     "im": "2.7488935718910690836548129603695650236725232244532175933530765182693393555004312870284014844220737751879836702",
     "radius_re": "1.63e-111",
     "radius_im": "1.77e-110"
    },
    "0": {
     "re": "-1.6020282110490143819345974977766208006026202771274212900171495263033879735589414870280145286629035231760633300",
     "im": "-1.8141522884122808273587093017241731334423171688207318989785338506965736377514085452495287175425558876710602866",
     "radius_re": "5.95e-111",
     "radius_im": "2.63e-110"
    }
   },
   "2": {
    "-2": {
     "re": "2.0000000000000000000000000000000000000000000000000000000000000000000000000000000000321913510902001871809664500",
     "im": "6.6311008854574431227391258893647561679304683229108222045282592422139839195308971275524311491380933459841313727e-84",
     "radius_re": "1.05e-110",
     "radius_im": "4.83e-194"
    },
    "-1": {
     "re": "-2.7727511477926659350030211722748003806441849476513308540531956306106455527868419813107039675696883827498736731",
     "im": "5.8904862254808623221174563436490679078696926238283234143280211105771557617866328614338058857937995168176974093",
     "radius_re": "2.22e-110",
     "radius_im": "6.60e-111"
    },
    "0": {
     "re": "-2.1460773576658320917785231913622322750967601767359366628594957916496477707260925430674054650151661556108341431",
     "im": "-8.7832462270746592109674287931411034895747201395064308245077855410391080228129564725708961273896529928070242084",
     "radius_re": "1.79e-110",
     "radius_im": "8.84e-111"
    }
   },
   "3": {
    "-2": {
     "re": "0.99999999999999999999999999999999999999999999999999999999999999999999999999999999997496537775652709647438715364",
     "im": "-1.1693590610009504559983197540422590290231737244750152871536345113982159623513209262794982060734416251296731169e-83",
     "radius_re": "4.19e-111",
     "radius_im": "4.86e-193"
    },
    "-1": {
     "re": "-2.0890469543197321094686942366501824537545416122097939669285641965007051563014257080653825384232956025183406846",
     "im": "5.6941366846315002447135411321940989776073695363673793005170870735579172363937697004170588517789731098464600375",
     "radius_re": "9.36e-112",
     "radius_im": "1.23e-110"
    },
    "0": {
     "re": "-12.346508315425918366472504433359110946657318725576997972160757505531732313996545388660765564747358903791309099",
     "im": "-12.505302802053039891269631115045156770938778781091519519144774940704153145893763415807756332009105041747904941",
     "radius_re": "3.27e-109",
     "radius_im": "4.36e-109"
    }
   },
   "4": {
    "-2": {
     "re": "0.99999999999999999999999999999999999999999999999999999999999999999999999999999999998991047926427335870506468955",
     "im": "0",
     "radius_re": "7.98e-112",
     "radius_im": "0"
    },
    "-1": {
     "re": "0.84556867019693427878697581983519513791568132812015280238846553023026454644468436875544499258266850197051823070",
     "im": "0",
     "radius_re": "1.28e-111",
     "radius_im": "0"
    },
    "0": {
     "re": "3.0024272548575323426831190790269039183691468379463635288141559658350681375862223378539255004359028402419057187",
     "im": "0",
     "radius_re": "1.90e-110",
     "radius_im": "0"
    }
   },
   "5": {
    "-2": {
     "re": "0.49999999999999999999999999999999999999999999999999999999999999999999999999999994827193790246003568703730242451",
     "im": "4.1504689168170261839678408130139542842042729842326303648027895404110460052836178185874320877600648278091522738e-85",
     "radius_re": "4.63e-111",
     "radius_im": "1.78e-195"
    },
    "-1": {
     "re": "-3.0772156649015328606065120900824024310421593359399235988057672348848677267073715373426555214572025667767927393",
     "im": "-5.6400632411860584233970621993164509898721412332563679365271181812030809638599348333807246600021809428828465861e-79",
     "radius_re": "2.64e-110",
     "radius_im": "2.13e-189"
    },
    "0": {
     "re": "3.6491717281788622648770288087100252478895490782844362172551869183642925339365140254654016402915113142532506096",
     "im": "-16.324222097079256346996433867558082819091858849793229333590908707175677790347461996021970132985619278735710528",
     "radius_re": "1.97e-110",
     "radius_im": "3.48e-109"
    }
   },
   "6": {
    "-2": {
     "re": "-0.49999999999999999999999999999999999999999999999999999999999999999999999999999998591217284864467569433419317308",
     "im": "3.1128489260092299820734000802675658200350319401470412430707087224888087479448911721329203482183876685431544771e-84",
     "radius_re": "2.33e-113",
     "radius_im": "4.19e-194"
    },
    "-1": {
     "re": "-14.256117668431800472726821243250930902291173997393409734527566098448465606574812925491983256676203545887921039",
     "im": "-4.2300436781641450143604741577077138245383862567719075438335525267134320718096186903110553649765211633128477094e-78",
     "radius_re": "4.32e-109",
     "radius_im": "7.55e-190"
    },
    "0": {
     "re": "-6.6008054624261504645125740165627041323427628979084732184492143407733297521207679954531171559305851491366398723",
     "im": "-94.122394630686912192705872575861940453464877846987834685059487116145992738572293560351396069923304604276290757",
     "radius_re": "2.20e-110",
     "radius_im": "1.53e-109"
    }
   },
   "7": {
    "-2": {
     "re": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000089484726754141512017153908",
     "im": "1.5021565755270349602061625411660048071812575979885064560735797103152408838074933379401827503282298371658554936e-84",
     "radius_re": "4.24e-110",
     "radius_im": "4.16e-194"
    },
    "-1": {
     "re": "-0.69322839333638765808427846467922362224659233946541017290591780581192915442371656272516515900974259443309639829",
     "im": "2.9452431127404311610587281718245339539348463119141617071640105552885778808933188949351842951705258493941348275",
     "radius_re": "2.15e-111",
     "radius_im": "2.40e-110"
    },
    "0": {
     "re": "-1.7937744921172346420142889603281540299222060700248496799878859557606454962325032626568694083654759528939346354",
     "im": "-2.3501361538777026081393185544727886691574378506570095113234597206498897489073638510041209758905010099880056698",
     "radius_re": "7.42e-111",
     "radius_im": "1.33e-110"
    }
   },
   "8": {
    "-2": {
     "re": "1.9999999999999999999999999999999999999999999999999999999999999999999999999999998276092364681887508137658527886",
     "im": "1.3071207656408205292899936938742618662253773755823888846251273857735880389153985410277515532685654790678241533e-88",
     "radius_re": "1.20e-110",
     "radius_im": "6.22e-199"
    },
    "-1": {
     "re": "-1.6951570207260220612605126032459628603196376124802049034644289585262581508157865622526005171399244694855957211",
     "im": "-1.7762436212129290615862494580692557805207655737003946816209589202142179616801143516644627828499237221465585377e-82",
     "radius_re": "1.61e-110",
     "radius_im": "1.39e-192"
    },
    "0": {
     "re": "14.046884396675774983773005351836793733195572022653521570514852674651359864060396818210242419009422136884095271",
     "im": "-1.1866089222708462361172261461931165258407941739236398305209973139843469409105228781802402546536018281348991803",
     "radius_re": "2.35e-109",
     "radius_im": "3.30e-110"
    }
   },
   "9": {
    "-2": {
     "re": "20.999999999999999999999999999999999999999999999999999999999999999999999999999998114332344261123105315314287576",
     "im": "6.9857673609263129660710000213858694819132670006813003759072204986696445745013777374877009096382966304750489989e-88",
     "radius_re": "2.68e-109",
     "radius_im": "7.54e-199"
    },
    "-1": {
     "re": "-24.529689759355744617827197489288591887822030279779313631520037540259948246341828021654999674481584846222561522",
     "im": "-9.4929443852272218718369986621867869606041052705391717801005409621423675594381817724850449594296963232223228644e-82",
     "radius_re": "2.31e-109",
     "radius_im": "4.25e-192"
    },
    "0": {
     "re": "152.97659448889695771417243726629409068957447908128396056432148331425921041348758168759735429835426383269557004",
     "im": "-6.2782571033718999829396242036322652793317242655855974783246763234820089163916257856249793827369330878856121376",
     "radius_re": "4.32e-108",
     "radius_im": "3.97e-110"
    }
   },
   "10": {
    "-2": {
     "re": "395.99999999999999999999999999999999999999999999999999999999999999999999999999996354895141100871223673792595205",
     "im": "3.5769341830010259756062922652150582424846446605759479132994713600713156457120448725760065973896003269646096923e-87",
     "radius_re": "4.78e-108",
     "radius_im": "1.06e-197"
    },
    "-1": {
     "re": "-500.00893249402841923876017915681777518847962306225456452142515012144483173413310738487672439709088128001419099",
     "im": "-4.8606882045399298446781419096888641937411314481936211647744907798166945756357209758265291911139720699384010560e-81",
     "radius_re": "9.18e-109",
     "radius_im": "9.41e-192"
    },
    "0": {
     "re": "2978.5890088076508387375262626903418295502546449263401762454294808361834495075992282729085101877223880534695170",
     "im": "-33.753406379809944896022597040752738302382030729523316140015756476298996429986686241701019125347475132745588681",
     "radius_re": "1.44e-107",
     "radius_im": "1.50e-109"
    }
   },
   "11": {
    "-2": {
     "re": "1.4999999999999999999999999999999999999999999999999999999999999999999999999999999404942596825675318768756510834",
     "im": "0",
     "radius_re": "1.29e-110",
     "radius_im": "0"
    },
    "-1": {
     "re": "1.3820586441755107993459994868364395707225217234597186953413382763586095758084787683895242603056366853165195928",
     "im": "0",
     "radius_re": "1.44e-110",
     "radius_im": "0"
    },
    "0": {
     "re": "7.5164124943704694549670562631467629677602633433511139222315218212521879565331117895979329703906099993512960448",
     "im": "0",
     "radius_re": "1.90e-110",
     "radius_im": "0"
    }
   },
   "12": {
    "-2": {
     "re": "0.50000000000000000000000000000000000000000000000000000000000000000000000000000002719517028870941645270604309184",
     "im": "4.9298780753495929365667685211524650156808275650892797336745736726380033120110178631764009948165137948778419683e-85",
     "radius_re": "4.00e-111",
     "radius_im": "2.07e-195"
    },
    "-1": {
     "re": "-0.47303422588487731199092786205336126255010860868430739282841362557364372869237548439297311019330944661833145603",
     "im": "2.7488935718910690836548129603695650236725232244532175933530765182693393555004322038791188984377735658010014819",
     "radius_re": "3.96e-111",
     "radius_im": "1.62e-110"
    },
    "0": {
     "re": "-5.7436791930852499932284863323894137953952634066790450124773538325331988061893496360287825282602667288551992973",
     "im": "-4.1024316490036821963346894402403512971887444022096340106292341972370311195956569417537106301530706180113008791",
     "radius_re": "4.83e-110",
     "radius_im": "2.23e-110"
    }
   },
   "13": {
    "0": {
     "re": "0.51763165051069196156839363744954985242235970143402963541026027480369804778532631653242500406626886296533790211",
     "im": "-0.28922025981139103977169638737497846575235278936385415864823013903520500693569252547850820144571127448792614877",
     "radius_re": "3.65e-111",
     "radius_im": "3.82e-111"
    }
   }
  }
 },
 "record": {
  "certified_count": 64,
  "gate_floor_complex": {
   "digits": 64.5,
   "member": "(3,0)",
   "n_identical": 28,
   "n": 40
  },
  "gate_floor_real": {
   "digits": 64.5,
   "member": "(6,-1)",
   "n_identical": 31,
   "n": 40
  },
  "gate_floor_imag": {
   "digits": 64.77,
   "member": "(7,0)",
   "n_identical": 35,
   "n": 40
  },
  "resolved_imag_components": 16,
  "zero_components": [
   "(13,-2)",
   "(13,-1)"
  ],
  "amflow_pair_goal60_vs_goal40": {
   "digits": 67.43,
   "member": "(13,0)"
  },
  "transport_pair_dps60_vs_dps40": {
   "digits": 44.53,
   "member": "(5,0)",
   "n_identical": 10,
   "n": 42
  },
  "transport_rerun_dps40_digits": 44,
  "top_eps0": {
   "re": "0.51763165051069196156839363744954985242235970143402963541026",
   "im": "-0.28922025981139103977169638737497846575235278936385415864823"
  },
  "reading": "the +i0 detour of the served 42-component graded system at dps 60 agrees with the goal-60 strings on all 40 non-vanishing components to the floor above, imaginary parts included; the certified count is the floor rounded down"
 },
 "sha256": {
  "goal60_output": "e3a86340d04fe9b63a84dcdfea69e702806f646c0be1a0356c303f66ed6594b9",
  "goal60_config": "bd050d6f46900d90b569f01ae9af09f2443a4f6aa886119b547b307d80a28ee2",
  "goal40_output": "3ea1a7930e9c2ff99193964185f49b59da74cb0ac36f3718cb0b50d8cc140dd1",
  "goal40_config": "a87f028d8aa25f6207865d6f6462b2ad3582359e52b7b8cdeee6888a67f79943",
  "receipt_of_record_16": "ac87daeaba5f95d9",
  "connection": "862066b7d0ee40601712d7d7def0c8f92539d4afdccd539cbcca89a6080ab457"
 },
 "counts": {
  "goal60": {
   "n_slots": 42,
   "n_present": 40,
   "n_absent": 2,
   "n_recomposed": 80
  },
  "goal40": {
   "n_slots": 42,
   "n_present": 40,
   "n_absent": 2,
   "n_recomposed": 80
  }
 }
}