{ "description": "Minkowski gate points of the three-loop equal-mass banana (K3) for banana-evaluate.py --continue: the auxiliary-mass-flow values of the four masters m0 = BAN[1,1,1,0], m1 = BAN[1,1,1,1] (top), m2 = BAN[1,1,1,1,-2], m3 = BAN[1,1,1,1,0,0,0,-2] at every eps order of the output files, as written (midpoint strings verbatim, ball radius, digit count); t = p^2/m^2, m^2 = 1, d = 2 - 2 eps; the physical points (t > 16) carry the causal t -> t + i0 value (the +i0 of every propagator D + i0; run_direction NegRe in the output's options), the points 4 < t < 16 are real (im written as 0), t = -8 is Euclidean outside the disk", "conventions": { "variable": "t = p^2/m^2 (m^2 = 1), d = 2 - 2 eps", "prescription": "t -> t + i0: the upper half t-plane is the physical sheet; the lower detour (t - i0) is the complex conjugate (Schwarz reflection) and is not a physical value above the threshold", "value_form": "each order carries re / im midpoint strings exactly as the output file prints them, the ball radius the run reported, and the number of significant digits of the string; a string's certified depth is the smaller of its digit count and its pair partner's agreement (the goal-100/130 record pairs; the goal-60/40 fresh pairs)" }, "provenance": { "record_pool_bank_sha256_16": "0e8892ea41ae9728", "receipt_of_record_sha256_16": "51e6bf063ac5c0e6", "graded_system_sha256_16": "28ac510821843650", "fresh_outputs_sha256_16": { "ban_t10_g60": "97de02d480bf6487", "ban_t10_g40": "2db5a737ebf44357", "ban_t20_g60": "d5fcbf3842cdf4fd", "ban_t20_g40": "aa5f657671186f87" }, "note": "every string in this file is copied from the named output file (record pool: through the bank; fresh points: from the output file itself); no value was computed or rounded here" }, "masters": { "m0": [ 1, 1, 1, 0, 0, 0, 0, 0, 0 ], "m1": [ 1, 1, 1, 1, 0, 0, 0, 0, 0 ], "m2": [ 1, 1, 1, 1, -2, 0, 0, 0, 0 ], "m3": [ 1, 1, 1, 1, 0, 0, 0, -2, 0 ] }, "eps_orders_transported": [ -3, -2, -1, 0, 1 ], "record_points": { "T01": { "t": "-8", "region": "euclidean (t < -4, outside the MUM disk)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "11f19209b87a202b41bcdda65aa0c716e6c02bac392f343a2ca6bb9877ef2e07", "output_bytes": 9634, "config_sha256": "829552f8f47b1c8bbf9b9f6c0f34ed13c0dfab524ba07a00c53a76ad38aa785e", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "16:05.54", "maxrss_kB": 137752, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "7.4419911744168759877972388470653414653134002118869155454955888407118696508368166423817802236435842291017877109", "re_radius": "5.00e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-51.298754216834976689147550721102474553237763478734638610633330747987692660306293239973823698605675472656615998", "re_radius": "9.89e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "242.50533127115178146455387029875169429210015342081546351269080137144145786047232306823038120416686129025970756", "re_radius": "4.03e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-954.65911831458663159828432744438495311632876218011692978763210881113571336961077165927158123924004900354952394", "re_radius": "2.60e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3396.5079547831472505018560896575797143111905353735240140058111779787928292244515870002350469119950923934178928", "re_radius": "1.31e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11368.119300898163843408018742000694333302019741406624924764899211901149234949489518515296716996710045707579305", "re_radius": "1.38e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "4.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "1e-114", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "9.0734120211816056727218549190111708274940879687209168143307931813815872786680239487566352404990390058244226330", "re_radius": "2.33e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "4.1604551143547174474526811303152305251595598066177932604515221857871782236149210919310532010855958465764286266", "re_radius": "4.46e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "-13.807363964734073689341481959965391862675991652950880276616817542550670679550980463115343709417632126893240472", "re_radius": "4.31e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "8.8959318192559331587421109499054330202787008420815148020314603193446529159049240543526439895446842968489607061", "re_radius": "4.78e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "297.56953350761091808830537026836629598132505309351174927133645059303621820069127207958543802931773467526168268", "re_radius": "1.59e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-2004.4303350068906931285560086419009268467624435939996825492784095767461948493570265259838388794246041803177143", "re_radius": "1.66e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "9099.9374780176355075681698656108121896476065597349653808103333860004546895031952807386593403216067398339370608", "re_radius": "2.85e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-34855.161658509740569764808384569647220821639225874572555016942564476791070635259997597558354989983910887559730", "re_radius": "2.90e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "5.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333", "re_radius": "3.34e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "-1.2354506384245257697041934413184388966745493750387775808922757581578836284426347349911530126679479922341031560", "re_radius": "3.09e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-0.69743325146572897913594155628359539143421348691266503383394769022238663074018503994737986688266889064617060782", "re_radius": "4.99e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "-10.778462304627770092003403082414938665693443645538433172883491801579751209052663771909197071608648106201039253", "re_radius": "2.67e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "13.718406130357646458580050058958260394055698767066087850193254415823914915339178619530428029244566625448382577", "re_radius": "4.63e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "-338.11437447253773787774666787118734350001400362771935206651224361125741033646353480016829710789615602058387963", "re_radius": "1.93e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "786.11568055563630851339757387494867578079859863443271027714760311819765916789417818044098087854846778326137316", "re_radius": "2.24e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "-4653.8905344238040707019875693252256973765762055324226449557529888841923894667699034008427635467998788657144816", "re_radius": "4.49e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "10588.707231009496094619949093417500347249499612197504312842277431354293099126125587087671263888320440680825262", "re_radius": "2.04e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } } } }, "B": { "output_sha256": "c00e4b7ebb3c14406f408a73345566b9fd5dfb350c0f23993d3cd5f5c3c495b2", "output_bytes": 10624, "config_sha256": "39f55652a323e8489993886b93caaaa685e185a3da15260cf4ecf886cb5cfc7f", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "26:09.38", "maxrss_kB": 201388, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "7.4419911744168759877972388470653414653134002118869155454955888407118696508368166423817802236435842291017877109499548946590296523432380594092", "re_radius": "5.94e-141", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-51.298754216834976689147550721102474553237763478734638610633330747987692660306293239973823698605675472656615998098814672899281693103511463144", "re_radius": "2.15e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "242.50533127115178146455387029875169429210015342081546351269080137144145786047232306823038120416686129025970755597853171582274432737875120652", "re_radius": "3.10e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-954.65911831458663159828432744438495311632876218011692978763210881113571336961077165927158123924004900354952393740719045977880430306617098801", "re_radius": "2.07e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3396.5079547831472505018560896575797143111905353735240140058111779787928292244515870002350469119950923934178928130349967296027091764321609420", "re_radius": "3.45e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11368.119300898163843408018742000694333302019741406624924764899211901149234949489518515296716996710045707579304986277700371403717723498140464", "re_radius": "3.70e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "4.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "1e-144", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "9.0734120211816056727218549190111708274940879687209168143307931813815872786680239487566352404990390058244226330023150102284739518261614859653", "re_radius": "9.93e-141", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "4.1604551143547174474526811303152305251595598066177932604515221857871782236149210919310532010855958465764286266445263596918162141126036963839", "re_radius": "1.28e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "-13.807363964734073689341481959965391862675991652950880276616817542550670679550980463115343709417632126893240471569895954026921219500928496816", "re_radius": "1.81e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "8.8959318192559331587421109499054330202787008420815148020314603193446529159049240543526439895446842968489607061477108098065434663988439772579", "re_radius": "2.36e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "297.56953350761091808830537026836629598132505309351174927133645059303621820069127207958543802931773467526168268158474016708338242553732301173", "re_radius": "3.19e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-2004.4303350068906931285560086419009268467624435939996825492784095767461948493570265259838388794246041803177142834961433830344530302971370844", "re_radius": "8.08e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "9099.9374780176355075681698656108121896476065597349653808103333860004546895031952807386593403216067398339370608284422973938430716812205809609", "re_radius": "3.05e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-34855.161658509740569764808384569647220821639225874572555016942564476791070635259997597558354989983910887559729710352778402191831827163279191", "re_radius": "8.24e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "5.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333", "re_radius": "3.34e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "-1.2354506384245257697041934413184388966745493750387775808922757581578836284426347349911530126679479922341031559969133196953680642317846853796", "re_radius": "1.33e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-0.69743325146572897913594155628359539143421348691266503383394769022238663074018503994737986688266889064617060781501488783915822060373335803918", "re_radius": "3.36e-141", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "-10.778462304627770092003403082414938665693443645538433172883491801579751209052663771909197071608648106201039252733430301916211202753711377138", "re_radius": "3.68e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "13.718406130357646458580050058958260394055698767066087850193254415823914915339178619530428029244566625448382577462605830942560617343096837375", "re_radius": "3.66e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "-338.11437447253773787774666787118734350001400362771935206651224361125741033646353480016829710789615602058387963192125183183920418999839838050", "re_radius": "2.18e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "786.11568055563630851339757387494867578079859863443271027714760311819765916789417818044098087854846778326137316223184856722684984901672578217", "re_radius": "2.20e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "-4653.8905344238040707019875693252256973765762055324226449557529888841923894667699034008427635467998788657144816448209771063824187812389726506", "re_radius": "4.58e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "10588.707231009496094619949093417500347249499612197504312842277431354293099126125587087671263888320440680825262203977030552864480075268642401", "re_radius": "4.47e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } } } } } }, "T08": { "t": "5", "region": "between (4 < t < 16)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "ab71f775daf95292b709cd4be8c77c52d5ff2bc62c87637f12829235a669d03f", "output_bytes": 9632, "config_sha256": "8d80ad8106f84f1faa1528b0748af3e3a3672e9d8524c5d2e880e49fea51d985", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "15:36.90", "maxrss_kB": 137716, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "9.3187471865103790845128239687026480158248415101104670773509992692993514206906285659913044147868244198603313814", "re_radius": "2.22e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-55.773841200616733784927169749716000861028384054818579394795786665473402484453992017854492376378866620679428843", "re_radius": "2.88e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "254.06610528525366664162448301727709504424619652772397593826840721653056871601964123210422130845048572504881240", "re_radius": "1.33e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-977.48202449524077146535453336710664941910159196968481330695050324374378883604080426816828161089085388261934254", "re_radius": "1.45e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3439.3670979409986743629897613955731141815583270280359493363621878798984884807607409451008294183715967061819792", "re_radius": "2.72e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11442.730638825310167335229782514001046303424471043334635756570261524030190660425886686841197892281782025902644", "re_radius": "3.98e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "-9.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "5.5848229523413872363758264322248656381383020703779371677557153418914286229969461152975707088771622368950490757", "re_radius": "4.48e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-28.383845869617677384076475569636658302897437768204075542865769239040833691791416789926740639198837116938217295", "re_radius": "4.36e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "234.79113462183425785800895329921018914556746201960755713507219922667932657213237798229481181800874542354989224", "re_radius": "4.13e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-1299.6671105820454334669122474930384545028631055804048344742635638664625805571703602471267404266870979782288846", "re_radius": "3.25e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "5738.3205859846524081764895674058159707981592250181241342860968444247638754578012812378790906170740677006792483", "re_radius": "4.92e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-21944.629523978429693522898184178378970895383734089555204601127969956073508869863767494672995687955371418718795", "re_radius": "2.76e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "77067.339208967299634289755324405240055488365068322118943759806905027300178918660513990343815477639529280200101", "re_radius": "3.09e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-256343.06843164407276820177819176612647163118138026607631508921150154373430223891620158919121239404394951921041", "re_radius": "3.24e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "-12.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "11.446430603121849648501101909633154184184402760503916223674287122521904830662594820396760945169549649193398768", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-39.438382471641964172713445840504373576369162388884517242823565804006190977053865104479018945099410483426533761", "re_radius": "8.89e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "134.29155478522550299937211319987544032311123701072222785298100630899507802479542243412876861698684936443659631", "re_radius": "1.42e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-720.27133932011904255832281033830899224569212504815264944361298006756736570962489377262395927882999062285339667", "re_radius": "3.28e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "2857.8910983288778549789742575138879428436956664504904133146188196179643695507763230675902112263161650342514482", "re_radius": "8.26e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-11502.518460640261362733539744673717340524195197529562886987984835347908832420341491842370322441347502486429046", "re_radius": "3.54e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "38745.503454096459875525954585564822251918715755720773732222035913645974244950867259651369952663851298566298470", "re_radius": "2.76e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-134385.94369347265368303718596835227939546730678158098606241831371086379278303692816598506942787391804317314486", "re_radius": "1.52e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } } } }, "B": { "output_sha256": "6d6f5d08081432642aa7f81c9e95134a1db575115b23f9b491245c3933dcea9d", "output_bytes": 10622, "config_sha256": "f59bc92db45bab72eb754b4369b8cd795700f4b35a8b6a581658668446015ebf", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "22:06.05", "maxrss_kB": 200120, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "9.3187471865103790845128239687026480158248415101104670773509992692993514206906285659913044147868244198603313814221769667244525888639527773401", "re_radius": "9.21e-141", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-55.773841200616733784927169749716000861028384054818579394795786665473402484453992017854492376378866620679428843287528635253119396124950329359", "re_radius": "4.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "254.06610528525366664162448301727709504424619652772397593826840721653056871601964123210422130845048572504881239867263716140542282434736492417", "re_radius": "2.35e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-977.48202449524077146535453336710664941910159196968481330695050324374378883604080426816828161089085388261934254144739337694795947580201369465", "re_radius": "4.46e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3439.3670979409986743629897613955731141815583270280359493363621878798984884807607409451008294183715967061819792271031771682422495741443550133", "re_radius": "3.69e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11442.730638825310167335229782514001046303424471043334635756570261524030190660425886686841197892281782025902644397679704532078852397657203463", "re_radius": "4.60e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "-9.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "5.5848229523413872363758264322248656381383020703779371677557153418914286229969461152975707088771622368950490757447912269859336083911366565781", "re_radius": "4.74e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-28.383845869617677384076475569636658302897437768204075542865769239040833691791416789926740639198837116938217295435136742821505794883308658089", "re_radius": "2.32e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "234.79113462183425785800895329921018914556746201960755713507219922667932657213237798229481181800874542354989224412881045188961168124485377838", "re_radius": "1.97e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-1299.6671105820454334669122474930384545028631055804048344742635638664625805571703602471267404266870979782288845675300648515387906270003588949", "re_radius": "4.52e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "5738.3205859846524081764895674058159707981592250181241342860968444247638754578012812378790906170740677006792482508172500688464622701606751516", "re_radius": "2.13e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-21944.629523978429693522898184178378970895383734089555204601127969956073508869863767494672995687955371418718794724594155575379159025520375840", "re_radius": "1.02e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "77067.339208967299634289755324405240055488365068322118943759806905027300178918660513990343815477639529280200100691867680251604827593229088372", "re_radius": "2.09e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-256343.06843164407276820177819176612647163118138026607631508921150154373430223891620158919121239404394951921040676467726660953537636472164383", "re_radius": "3.13e-135", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "-12.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "11.446430603121849648501101909633154184184402760503916223674287122521904830662594820396760945169549649193398767659721635981244811188182208771", "re_radius": "2.64e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-39.438382471641964172713445840504373576369162388884517242823565804006190977053865104479018945099410483426533760911200646866867108018250058154", "re_radius": "3.35e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "134.29155478522550299937211319987544032311123701072222785298100630899507802479542243412876861698684936443659630858429400693524358704216664238", "re_radius": "4.04e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-720.27133932011904255832281033830899224569212504815264944361298006756736570962489377262395927882999062285339667327606288107081414539929326493", "re_radius": "2.52e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "2857.8910983288778549789742575138879428436956664504904133146188196179643695507763230675902112263161650342514481917445546485871827097866568252", "re_radius": "2.48e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-11502.518460640261362733539744673717340524195197529562886987984835347908832420341491842370322441347502486429045646382637354525008040727935256", "re_radius": "6.03e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "38745.503454096459875525954585564822251918715755720773732222035913645974244950867259651369952663851298566298469724059168006969940760888814206", "re_radius": "2.25e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-134385.94369347265368303718596835227939546730678158098606241831371086379278303692816598506942787391804317314486151404735453232029511486923838", "re_radius": "4.05e-135", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } } } } } }, "T09": { "t": "8", "region": "between (4 < t < 16)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "33bc02758f73e32524ce92b852b424bb3973cc8423f3cac7c686c19dce395e10", "output_bytes": 9632, "config_sha256": "d94c716a7223adb322c25b6bd2453f02a82d717c2b2ac72adc44e2cdc576c91a", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "13:44.45", "maxrss_kB": 137056, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "10.078761436944771802879784403383969331528027984121138641796373683987409701428298239852960573434154992926425952", "re_radius": "3.76e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-56.813462191338749164018232164295167494758947863659080889332520970149527324489169951395407876838053066888011063", "re_radius": "3.37e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "257.41505220855000011123317130981181924701006371218059788371428290828522400436650177274721983384782437126757743", "re_radius": "3.24e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-983.00570960570791295740655892428153201017219994888571679245524980953114065126142667043632905468629746134908457", "re_radius": "1.32e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3450.1101170239371103343402745350147726639052200748762327557865349386888225140166734228595513114801706632709134", "re_radius": "3.12e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11460.566266864075124471349873589150497511077191681172293291660358071728041095917631051880982247508167916180586", "re_radius": "2.71e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "-12.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "4.7797639364551829818344352429664875175177360938372495570076204558552381639959281537300942785028829825267321010", "re_radius": "6.95e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-35.894069173611306960583204038856324955525975670086045266708221106308836441500571685740077679264475493133904816", "re_radius": "8.50e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "441.92623998642309090320327925393534337891317467050178867657461220319714687405248321974688763575606381571642006", "re_radius": "3.92e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-2484.0206212813246664503451834166205603034513209034620551127195110789984052705558319548356424929440428797515019", "re_radius": "3.44e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "11118.995817672578053977172440406442287003787914569231440606288047065777938394689781817494657385366938926166074", "re_radius": "7.51e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-42631.196230532844082420315073719788165945758292492976361065826611584714518094103357733611606909617619522385185", "re_radius": "1.38e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "150040.44980969431914990921732077786580289021206524480873587117852127160578224387979364796240633307724512897795", "re_radius": "3.08e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-499683.13328120902516041163588000961996940497679137048232556947978728915366087396943706219626065658748433161500", "re_radius": "4.24e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "-16.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "14.373018581940243975779246990621983356690314791782999409343493941140317551994570871640125704670510643368976135", "re_radius": "3.43e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-48.378601522451864602000562213786091619046458289339560060282708445648607364664714350140166424687889312529694489", "re_radius": "4.52e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "196.56405956938446973638115853647081377800491962766355162705447598845430607006959317337527952615594228478696625", "re_radius": "3.03e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-1065.7090973184251408612217637921700664630159765398307575476530345730674888267991860461287592931344033867389553", "re_radius": "1.67e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "4446.4316628114119666027130893924213182620415480161411899968494979593353170266673294940451300654016061504835022", "re_radius": "2.04e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-17731.238448970309053648949843253389324501132722060658156317112585670728786860658400245113695777205069662547799", "re_radius": "2.06e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "61040.697609711377197659986864067735994615311358078002869851203304520334164179623815662573329646756440909889079", "re_radius": "3.22e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-209510.49564908387897266546891009987861125929804650822976265938654366582466873074657849871415542036582599514431", "re_radius": "4.78e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } } } }, "B": { "output_sha256": "a86ca7b930251afaafa68a109a3eb4b8a3e533cc08079940d028663a21c4aee6", "output_bytes": 10622, "config_sha256": "3b3fb8e94f717d4ece3500feaff76697eb3f0eaaa31295d08049b12a812036af", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "26:14.93", "maxrss_kB": 199112, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "10.078761436944771802879784403383969331528027984121138641796373683987409701428298239852960573434154992926425952375828850832865444334504165183", "re_radius": "3.21e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-56.813462191338749164018232164295167494758947863659080889332520970149527324489169951395407876838053066888011062663042545066007241724088219896", "re_radius": "3.82e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "257.41505220855000011123317130981181924701006371218059788371428290828522400436650177274721983384782437126757742676119321553243332495704145235", "re_radius": "3.73e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-983.00570960570791295740655892428153201017219994888571679245524980953114065126142667043632905468629746134908456869070860142135059262112180913", "re_radius": "2.21e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3450.1101170239371103343402745350147726639052200748762327557865349386888225140166734228595513114801706632709134311645085564889116595856721208", "re_radius": "1.36e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11460.566266864075124471349873589150497511077191681172293291660358071728041095917631051880982247508167916180586270223297113475293709121688454", "re_radius": "4.13e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "-12.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "4.7797639364551829818344352429664875175177360938372495570076204558552381639959281537300942785028829825267321009930549693145781445215155421041", "re_radius": "2.98e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-35.894069173611306960583204038856324955525975670086045266708221106308836441500571685740077679264475493133904815915058997247657027728519201429", "re_radius": "1.83e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "441.92623998642309090320327925393534337891317467050178867657461220319714687405248321974688763575606381571642006391722526172080532635197897495", "re_radius": "1.56e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-2484.0206212813246664503451834166205603034513209034620551127195110789984052705558319548356424929440428797515019343742619164006535985072157034", "re_radius": "2.09e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "11118.995817672578053977172440406442287003787914569231440606288047065777938394689781817494657385366938926166073925003298295209616030500662635", "re_radius": "1.38e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-42631.196230532844082420315073719788165945758292492976361065826611584714518094103357733611606909617619522385185013786728019562042635316833760", "re_radius": "2.38e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "150040.44980969431914990921732077786580289021206524480873587117852127160578224387979364796240633307724512897794692820864313299543038670655716", "re_radius": "2.06e-135", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-499683.13328120902516041163588000961996940497679137048232556947978728915366087396943706219626065658748433161500423266475274983876789812984131", "re_radius": "3.11e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "-16.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "14.373018581940243975779246990621983356690314791782999409343493941140317551994570871640125704670510643368976134657406625752770859362020722805", "re_radius": "4.28e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-48.378601522451864602000562213786091619046458289339560060282708445648607364664714350140166424687889312529694488548781975873261466652369296642", "re_radius": "3.77e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "196.56405956938446973638115853647081377800491962766355162705447598845430607006959317337527952615594228478696625302365108717856052811558355941", "re_radius": "7.08e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-1065.7090973184251408612217637921700664630159765398307575476530345730674888267991860461287592931344033867389552983407761488569131125338160286", "re_radius": "3.56e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "4446.4316628114119666027130893924213182620415480161411899968494979593353170266673294940451300654016061504835021797009428793116278769469414857", "re_radius": "4.51e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-17731.238448970309053648949843253389324501132722060658156317112585670728786860658400245113695777205069662547798794832719875609804087095928664", "re_radius": "4.71e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "61040.697609711377197659986864067735994615311358078002869851203304520334164179623815662573329646756440909889078678119757342282029799502328344", "re_radius": "2.18e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-209510.49564908387897266546891009987861125929804650822976265938654366582466873074657849871415542036582599514430522405138241526568769920656828", "re_radius": "1.29e-135", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } } } } } }, "T10": { "t": "12", "region": "between (4 < t < 16)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "ada52675d9bf31cf20528b237679fcd538fd71a8cb0d24593287d9f4b6572ab4", "output_bytes": 9635, "config_sha256": "e4731035b50eb99adb013c800d9703fb14fef94a2beff8748af45a8a36af6659", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "11:43.37", "maxrss_kB": 135428, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "11.658304260354890968776223498972188733348590837099882730280635122961275966385476109252981579203293551389682017", "re_radius": "1.10e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-57.461349710881796130155183267681731936348280415285458098873368242295793747207935860406695265141749875224510245", "re_radius": "4.29e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "263.64100449062299630126147095783825553569200723796804254614453044359806262418894522643785902788257064919302294", "re_radius": "5.78e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-988.93082017325178627296989600257116638291098220356772658090062403663541426315658388596153645705916108074514835", "re_radius": "2.94e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3466.7123468531491247496059914107456501628903200142535824810154497977957788576062209476349763922990694275469718", "re_radius": "3.49e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11483.177655507925910153326918862800984821775626514989043177137535650459656484710150035184777595121311305836010", "re_radius": "9.21e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "-16.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "3.7063519152735773091125803239553166900236481251163327426768272744736508853279042049734590380038439767023094680", "re_radius": "9.27e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-45.907700245602813062592175331149213825697359539262004898498156929332840107779444880157860399351993328061488177", "re_radius": "4.46e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "869.83886581442723263757602593446031373348161123861420905889897426990815999492214335901205495173914845970447070", "re_radius": "2.17e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-4600.9313682169163879246428147764308568031171556528211129988857328601849681156892638661569946108087641339181389", "re_radius": "4.26e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "20963.601778887585727984059768923069138742876813816096345692028383321637258626307772413149539826246559660390236", "re_radius": "4.06e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-79839.352836426546751649151120832099957251485632409295461664528258196781082955379566490789273069500575155386934", "re_radius": "1.81e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "281471.98213875968307845242371867889862044408659455022873932905245405812731150606662627660855406661660785202059", "re_radius": "2.81e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-937238.05483007527612177413669955525417052601801387950776165198708666182574444609319899044965754707610448344722", "re_radius": "1.84e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "-21.333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333", "re_radius": "3.34e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "18.275135887031436412150107098607088920031530833488443656902436365964867847103872273297945384005125302269745957", "re_radius": "3.21e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-60.298893590198398507716717378161715675949519489946283816894898634505162548145846677688363064139194418000575459", "re_radius": "2.68e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "307.95431979237696858704537838570704917667029407500714532292299955923960475329925963317091114579304718520244925", "re_radius": "1.01e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-1631.1336847309751087200214325803401268891269978906629487384217658549415491237273828858147895323061880031460735", "re_radius": "3.52e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "7109.3512318124964404856842308494924214478755051928598877672487853894810119341095118876983469762947732600280293", "re_radius": "3.41e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-28054.343314278425349730704586533470769303314856808760576153491154260602943543123359392844757455195014178224388", "re_radius": "2.69e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "98061.184373263753124996805677863462422784438108594108654520848597238275456309930308642389715567005519333661188", "re_radius": "2.40e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-334153.21694612901925007001538695256833463980521098015559600210094975530077649694405583222781239687964940417625", "re_radius": "4.14e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } } } }, "B": { "output_sha256": "78bd38f9bedd236619dc420b8cf462f58c45fc6f6384bfa54153508b5bebb2cf", "output_bytes": 10625, "config_sha256": "b733e0003cc0c9987e262f60e677e52a1f9e2fda031767290ea7eea84dea1988", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "24:50.00", "maxrss_kB": 201368, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "11.658304260354890968776223498972188733348590837099882730280635122961275966385476109252981579203293551389682016890334026773348007888696627554", "re_radius": "2.58e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-57.461349710881796130155183267681731936348280415285458098873368242295793747207935860406695265141749875224510245428937318062747233411913468266", "re_radius": "3.97e-141", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "263.64100449062299630126147095783825553569200723796804254614453044359806262418894522643785902788257064919302294057743760770844272895337098450", "re_radius": "1.68e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-988.93082017325178627296989600257116638291098220356772658090062403663541426315658388596153645705916108074514835293445523056104516188429317111", "re_radius": "1.05e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3466.7123468531491247496059914107456501628903200142535824810154497977957788576062209476349763922990694275469717651517505089487574729336266208", "re_radius": "1.85e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11483.177655507925910153326918862800984821775626514989043177137535650459656484710150035184777595121311305836009907932541325514506713451700355", "re_radius": "1.91e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "-16.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "3.7063519152735773091125803239553166900236481251163327426768272744736508853279042049734590380038439767023094679907399590861041926953540561388", "re_radius": "3.97e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-45.907700245602813062592175331149213825697359539262004898498156929332840107779444880157860399351993328061488176554955336482525338188799925882", "re_radius": "4.50e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "869.83886581442723263757602593446031373348161123861420905889897426990815999492214335901205495173914845970447070216830162791726433035906723500", "re_radius": "3.47e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-4600.9313682169163879246428147764308568031171556528211129988857328601849681156892638661569946108087641339181389425085111103183588153100800793", "re_radius": "7.56e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "20963.601778887585727984059768923069138742876813816096345692028383321637258626307772413149539826246559660390235594598674962065575339470581509", "re_radius": "1.53e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-79839.352836426546751649151120832099957251485632409295461664528258196781082955379566490789273069500575155386934180258212968357548566877681256", "re_radius": "1.30e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "281471.98213875968307845242371867889862044408659455022873932905245405812731150606662627660855406661660785202058719815931219549613312574144061", "re_radius": "4.19e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-937238.05483007527612177413669955525417052601801387950776165198708666182574444609319899044965754707610448344722183503337955884868925476092471", "re_radius": "8.12e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "-21.333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333", "re_radius": "3.34e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "18.275135887031436412150107098607088920031530833488443656902436365964867847103872273297945384005125302269745957320986612114805590260472074852", "re_radius": "3.20e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-60.298893590198398507716717378161715675949519489946283816894898634505162548145846677688363064139194418000575458732223747881787278164528281292", "re_radius": "2.34e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "307.95431979237696858704537838570704917667029407500714532292299955923960475329925963317091114579304718520244924899910706111467306058365445801", "re_radius": "2.10e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-1631.1336847309751087200214325803401268891269978906629487384217658549415491237273828858147895323061880031460735351666591593344295403440898832", "re_radius": "1.97e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "7109.3512318124964404856842308494924214478755051928598877672487853894810119341095118876983469762947732600280293340515358488204512026801602221", "re_radius": "1.43e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-28054.343314278425349730704586533470769303314856808760576153491154260602943543123359392844757455195014178224388026885508413280144354090181734", "re_radius": "2.29e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "98061.184373263753124996805677863462422784438108594108654520848597238275456309930308642389715567005519333661187760388567162697529869061646715", "re_radius": "3.08e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-334153.21694612901925007001538695256833463980521098015559600210094975530077649694405583222781239687964940417624586704485598899500546005432201", "re_radius": "6.18e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } } } } } }, "T11": { "t": "31/2", "region": "between (4 < t < 16)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "967928a05fda3c2931f2da836990a1284a66b0b46fb6dd8a307146998dae8ad1", "output_bytes": 9632, "config_sha256": "cce38b47d5fc36d26d152e6c77524da23c8fe43eea48a7b8c5302ea825762e6b", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "17:34.38", "maxrss_kB": 137768, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "15.255786556264671836764157900880096949650949646502218528754390798395074187525902483410520726372661285796491931", "re_radius": "4.27e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-49.517409346089020704138402942350490775033519605040384975720326543778798771363858622385352434672134874043841558", "re_radius": "1.46e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "293.65332857019812365089071415116593032316048994985444893712714633918831059374827582126760594590381923617609589", "re_radius": "1.53e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-942.51025533685721263976379492147944348092513408525315114887824005997362183206973096688006452670867575182107407", "re_radius": "1.63e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3574.4702552011851822790542742105583175335561400901990758151191921707583059111826824577660851140119319289324583", "re_radius": "1.77e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11359.782239434757555756020170462521015029130412055067693275410219022830352095318406922632669505428824913149772", "re_radius": "1.71e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "-19.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "2.7671163967396723454809572698205422159663211524855305301373832407647620164933832498114032025671848466059396641", "re_radius": "1.38e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-54.669627433595380901850025211905491587097320424790969576314350774478843315773458925273420279428571433623123617", "re_radius": "1.15e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "1579.7507820845640090047797424232831724256778350935791559085505589732091028626669284213064043501612095526253898", "re_radius": "2.29e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-6331.6962600720632451245864526673053545651591142508623626026845066537752575674093292376610792551216119414059101", "re_radius": "4.17e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "34062.761298206472415160677028329158586093604857883065645454829752114267207666376688405814920716943225371558763", "re_radius": "2.97e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-117622.43386776849930940657126536867622750865622313270038449691475396164159353647629715785487092328205030199016", "re_radius": "4.84e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "435924.66542176596939534545019158374010053426572667931836166209054536177469379730392949021051325685519473300097", "re_radius": "4.98e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-1415680.9306586361419316595256099342398328223682452941112043477853824279750417550701561072319958549948426594570", "re_radius": "1.58e-104", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "-26.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "21.689488528986229793974609693094056287955094869980707373516510987686349355324510999748537603422913128807919552", "re_radius": "1.52e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-70.729149149476615675218353146990386725739698040477167103930565049754648333691837464293035123659086385287596308", "re_radius": "3.58e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "467.86261007013695315498144447813012643903371756018769593119593595648632085876236299506181044884396706153970082", "re_radius": "4.51e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-2100.9783051895065485480219663283348085999161498591982889978272277355702820601685659688324327795846701378665031", "re_radius": "3.08e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "10337.576747949934945757566258504659038531993269461381031109082958335877514057696551492400069836589274911967133", "re_radius": "7.37e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-38220.655100100689035591461065525171817442243221007986129513751226158599559998556446551648741054605011158100535", "re_radius": "4.88e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "138767.39016098566770579157204659370948818623874544520677148124330416772658233780110501200171240476807647529886", "re_radius": "4.43e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-464064.34493085638654641127987101870729096496322964470253655260662976694380279751947093207459837749173094088526", "re_radius": "1.64e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } } } }, "B": { "output_sha256": "880ad3e9eeb357ddb4194d249ff9099f628d24c033728ad19dd8ec679f662cf7", "output_bytes": 10622, "config_sha256": "7321506bfc1e7098aa575f9513754140c02173c5dee645650880dbfd90fa9ae5", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "wall": "29:36.29", "maxrss_kB": 200252, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "15.255786556264671836764157900880096949650949646502218528754390798395074187525902483410520726372661285796491930573250104973735568350437515815", "re_radius": "9.27e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-49.517409346089020704138402942350490775033519605040384975720326543778798771363858622385352434672134874043841558145291303480281133583920223199", "re_radius": "4.66e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "293.65332857019812365089071415116593032316048994985444893712714633918831059374827582126760594590381923617609589152959475973426561068453411539", "re_radius": "5.08e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-942.51025533685721263976379492147944348092513408525315114887824005997362183206973096688006452670867575182107406837515254514021628697837801547", "re_radius": "4.83e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3574.4702552011851822790542742105583175335561400901990758151191921707583059111826824577660851140119319289324582823176227516564296778048929560", "re_radius": "3.48e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11359.782239434757555756020170462521015029130412055067693275410219022830352095318406922632669505428824913149771829278043195148571519023138644", "re_radius": "4.46e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "orders": { "-3": { "re": "-19.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "2.7671163967396723454809572698205422159663211524855305301373832407647620164933832498114032025671848466059396641137143251361894848474627559191", "re_radius": "1.42e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-54.669627433595380901850025211905491587097320424790969576314350774478843315773458925273420279428571433623123617114864633313035109841545559779", "re_radius": "5.90e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "1579.7507820845640090047797424232831724256778350935791559085505589732091028626669284213064043501612095526253898228649557899010623299717313092", "re_radius": "3.76e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-6331.6962600720632451245864526673053545651591142508623626026845066537752575674093292376610792551216119414059101416731484108776930238868204515", "re_radius": "3.04e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "34062.761298206472415160677028329158586093604857883065645454829752114267207666376688405814920716943225371558763296462887075604901083868379006", "re_radius": "3.04e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-117622.43386776849930940657126536867622750865622313270038449691475396164159353647629715785487092328205030199016483883495697926242705809945550", "re_radius": "5.26e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "435924.66542176596939534545019158374010053426572667931836166209054536177469379730392949021051325685519473300096502422470257757173812538215884", "re_radius": "3.15e-135", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-1415680.9306586361419316595256099342398328223682452941112043477853824279750417550701561072319958549948426594569842581651136923338701130122989", "re_radius": "2.51e-134", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "orders": { "-3": { "re": "-26.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "21.689488528986229793974609693094056287955094869980707373516510987686349355324510999748537603422913128807919552151619100181585979796617007892", "re_radius": "1.53e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-70.729149149476615675218353146990386725739698040477167103930565049754648333691837464293035123659086385287596307642735298389247363237667392862", "re_radius": "4.83e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "467.86261007013695315498144447813012643903371756018769593119593595648632085876236299506181044884396706153970082450132227875065374759352052559", "re_radius": "3.63e-138", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-2100.9783051895065485480219663283348085999161498591982889978272277355702820601685659688324327795846701378665030692605695537157357238474138868", "re_radius": "4.34e-137", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "10337.576747949934945757566258504659038531993269461381031109082958335877514057696551492400069836589274911967132926359168691144153182532634967", "re_radius": "3.37e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-38220.655100100689035591461065525171817442243221007986129513751226158599559998556446551648741054605011158100534512566058503182145109664468214", "re_radius": "3.74e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "138767.39016098566770579157204659370948818623874544520677148124330416772658233780110501200171240476807647529886442061448383532451097253125189", "re_radius": "2.83e-136", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-464064.34493085638654641127987101870729096496322964470253655260662976694380279751947093207459837749173094088525836776901481762951370595698117", "re_radius": "2.88e-135", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } } } } } }, "T12": { "t": "18", "region": "physical (t > 16, +i0)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "444c12c01bbe169c8c5cf32e412e4a3d7a88af2686a07b1a206abeb519992f42", "output_bytes": 12701, "config_sha256": "bdea5f2acd23232665e9da478aa2c7c088b20b08c99e513ceada90476c5903e3", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "16:19.08", "maxrss_kB": 138508, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "16.013444741306023172932444229005668878535925901044554969351945165392123962596029452444477325128694639816810698", "re_radius": "2.41e-109", "re_digits": 110, "im": "6.2032525151283026358842302262831845383129600560137091511801776901834587052517111384403659972829980525753022186", "im_radius": "9.03e-112", "im_digits": 110 }, "1": { "re": "-72.327217365965509641722102610752037075451120986546295647706252256653981929559627476728985584355331235603559325", "re_radius": "3.84e-109", "re_digits": 110, "im": "22.194469643625151458342746953954441999610443045905642306704309194107219456352984452071634581997198382771326809", "im_radius": "2.32e-109", "im_digits": 110 }, "2": { "re": "212.46447426634275737624185187012659127910655136050257644112805895786708711947620435974524695636978565039136623", "re_radius": "4.23e-108", "re_digits": 110, "im": "13.629572524037425936316962335286973972748767687560583189168106945202133846857129311565362324835415155285657955", "im_radius": "1.56e-109", "im_digits": 110 }, "3": { "re": "-1091.6838245004347963478439814616929708191889355860716450070117226225597643556166127802743368194367065854323696", "re_radius": "4.06e-107", "re_digits": 110, "im": "-69.052415244315705235930762939286477247695229233742875858150969662289156916653242471794917250373422513313297115", "im_radius": "4.63e-109", "im_digits": 110 }, "4": { "re": "3483.9829957779793098555758561331200423933028629579414975606014394606098060525464408590864214380696260648230500", "re_radius": "3.57e-107", "re_digits": 110, "im": "-181.90250208820508145984214449535885225804848827395853903643581539925324296323037656659729996477550579122483378", "im_radius": "4.49e-108", "im_digits": 110 }, "5": { "re": "-11328.811647890175829682168431481190446331449259079845784935869904805139109940691503088056770585691069094522189", "re_radius": "4.61e-107", "re_digits": 110, "im": "-172.49884678795533158649793756786672017235906624088713779357526503266224550147901104144964228274087586429577445", "im_radius": "2.10e-108", "im_digits": 110 } } }, "m2": { "orders": { "-3": { "re": "-22.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "-4.6200873832964606445822691313563266407943105064072246449985432030532213120837630516168314930971951230164854387e-300", "im_radius": "4.59e-410", "im_digits": 110 }, "-2": { "re": "2.0962338835011688000297979454385604487825161720349575211806375024012699673258682818385061772552854679656755185", "re_radius": "1.28e-110", "re_digits": 110, "im": "2.0894065475883636409391455105278458255470096378208801199240667715302069768564576101537625227133309305178563726e-289", "im_radius": "4.61e-400", "im_digits": 110 }, "-1": { "re": "-60.928146853590072215605632269588547130954435343025944346183060663868845607197754671784534479483270080452863218", "re_radius": "4.86e-109", "re_digits": 110, "im": "-7.3139512665750292953093109332437579981470293441785105162951836187407483492601836033413914772055979193253943454e-279", "im_radius": "3.00e-389", "im_digits": 110 }, "0": { "re": "2108.1570971638570031330066194048151014968167100482464334313537379666613128739297371656926350133686158821886300", "re_radius": "1.73e-107", "re_digits": 110, "im": "621.60845015665814367267560976996981894585919082549001048511322679856926398169421824674162491763267690301757125", "im_radius": "4.29e-108", "im_digits": 110 }, "1": { "re": "-10385.236373797907561244655042709704236849296064736450962501873480940226098895776163790453491894235135968424684", "re_radius": "1.84e-106", "re_digits": 110, "im": "2225.5724756693153388703917641264850309876339814960856191063619486926456051983016192187017537584701234502342922", "im_radius": "7.58e-108", "im_digits": 110 }, "2": { "re": "35692.276326507680027877646715313929447835132976671771513501852689636004977801883510929723712102060750203823849", "re_radius": "1.34e-106", "re_digits": 110, "im": "1373.1019110455001011572238512543216784821252334849979442234802948611504532991441064176570863849511226346606669", "im_radius": "2.70e-107", "im_digits": 110 }, "3": { "re": "-166112.38917472543992959928216077900408283860449254781044122186315504585636392930300075390913061597890424107149", "re_radius": "4.65e-105", "re_digits": 110, "im": "-6907.3913239437012596548871237796158518454413023922303936259693447865041663655957065770324935754269635656319462", "im_radius": "1.82e-107", "im_digits": 110 }, "4": { "re": "551869.99644367158599753204611887765822269887534310899227035552627103462674809947705500325131773678808085894888", "re_radius": "2.30e-105", "re_digits": 110, "im": "-18230.440220298697605370781036837155329854354293991781655768261280277111906082980952345543114135880786186494278", "im_radius": "2.84e-106", "im_digits": 110 }, "5": { "re": "-1818538.8695240616290797352557624988571081975059138142297810141204852876563584611094869949669550585144979143586", "re_radius": "1.03e-104", "re_digits": 110, "im": "-17333.618134104653137439729459217714316132459652224068969225678650810317965029612228013899592308515742250768068", "im_radius": "8.41e-107", "im_digits": 110 } } }, "m3": { "orders": { "-3": { "re": "-29.333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333", "re_radius": "3.34e-109", "re_digits": 110, "im": "-8.6494707531586153407948592005374070142065546302849351948032714264373454582258316772778097652570866066196225670e-301", "im_radius": "4.13e-411", "im_digits": 110 }, "-2": { "re": "24.128311844668225066706397260584747265043354896046610028240850003201693289767824375784674903007047290620900691", "re_radius": "3.17e-109", "re_digits": 110, "im": "3.9116707814147062105160619260602032433036189891631561833675383382211192488936261424214891825513694404673400252e-290", "im_radius": "4.92e-400", "im_digits": 110 }, "-1": { "re": "-78.179331691818199366290950124725151761304111290856369451813183917789995323367545169010658023316152076206896914", "re_radius": "7.5e-111", "re_digits": 110, "im": "-1.3692772954681471399616110277584258859748495899756725250180925962333953755346452231446865287852308160904347075e-279", "im_radius": "5.09e-390", "im_digits": 110 }, "0": { "re": "580.80001110624673824499133122640411181951656504840692422018546481376900601448060908238322102131463871796183336", "re_radius": "2.91e-108", "re_digits": 110, "im": "117.05597594245901864272566223819951802867010470421420227418275294633185971790208081395130424044658760602645650", "im_radius": "1.76e-108", "im_digits": 110 }, "1": { "re": "-2983.1857356887079943101463764247976360364097896651985849383489935422693144370521500063718129220174758780047700", "re_radius": "3.02e-107", "re_digits": 110, "im": "419.50316690776554038112301820791891233262346393611388034680036541047486676846265497168171544232679406545301653", "im_radius": "1.92e-108", "im_digits": 110 }, "2": { "re": "11166.543542810548886405190373461575541211157320645559778031001517775384178749551367634256665856479772217123488", "re_radius": "4.54e-106", "re_digits": 110, "im": "260.49769540326395570593696346949944714327660434876713136238609082909271822174172910034755305402715427015981160", "im_radius": "4.17e-108", "im_digits": 110 }, "3": { "re": "-49727.641716669053843897294314397811651312132257301644544195506187026180146392927974009119149753600198131713578", "re_radius": "4.23e-107", "re_digits": 110, "im": "-1297.5262371220068714413583650832737000192466798389650709386496489073882998983769950342490963447669399120308194", "im_radius": "4.32e-107", "im_digits": 110 }, "4": { "re": "169199.72956839530434552556641607846286181673067029461109753769088828079085710852489412984535966182580116507974", "re_radius": "1.79e-105", "re_digits": 110, "im": "-3433.5998326006986895059401855398195920066565970088576790790643645879542484524705444831447292944182808650796754", "im_radius": "2.28e-107", "im_digits": 110 }, "5": { "re": "-570305.35477614173299711426711037734070986027056579753058290770966078127177272245811613957450313103150307274640", "re_radius": "4.75e-105", "re_digits": 110, "im": "-3276.6682030954100558465417774250047761045862867968480909392820982527562104472905037524171442314202716099230015", "im_radius": "4.52e-107", "im_digits": 110 } } } } }, "B": { "output_sha256": "2052b81d6648a0e02dacae699a53e0d0f9b3ebae0fb737b5ac16e76b57915016", "output_bytes": 14412, "config_sha256": "5eec6671af468e4a4665eea3944669fc8b0d2976e6a68b7bb662d7277ccbb1d7", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "25:52.04", "maxrss_kB": 201008, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "16.013444741306023172932444229005668878535925901044554969351945165392123962596029452444477325128694639816810698240546038882467756844971600486", "re_radius": "4.38e-139", "re_digits": 140, "im": "6.2032525151283026358842302262831845383129600560137091511801776901834587052517111384403659972829980525753022185990995857439115109313826028702", "im_radius": "3.37e-140", "im_digits": 140 }, "1": { "re": "-72.327217365965509641722102610752037075451120986546295647706252256653981929559627476728985584355331235603559324616427149461979294175302727921", "re_radius": "1.22e-139", "re_digits": 140, "im": "22.194469643625151458342746953954441999610443045905642306704309194107219456352984452071634581997198382771326809231815926261215574455901095524", "im_radius": "3.41e-139", "im_digits": 140 }, "2": { "re": "212.46447426634275737624185187012659127910655136050257644112805895786708711947620435974524695636978565039136623422883236155262229093136877547", "re_radius": "4.06e-138", "re_digits": 140, "im": "13.629572524037425936316962335286973972748767687560583189168106945202133846857129311565362324835415155285657954844345387514534245681969600182", "im_radius": "3.72e-139", "im_digits": 140 }, "3": { "re": "-1091.6838245004347963478439814616929708191889355860716450070117226225597643556166127802743368194367065854323696405216853712680446705449110774", "re_radius": "2.74e-137", "re_digits": 140, "im": "-69.052415244315705235930762939286477247695229233742875858150969662289156916653242471794917250373422513313297115462524190385645213155576946545", "im_radius": "3.59e-139", "im_digits": 140 }, "4": { "re": "3483.9829957779793098555758561331200423933028629579414975606014394606098060525464408590864214380696260648230500356624989796684294345055032060", "re_radius": "2.36e-137", "re_digits": 140, "im": "-181.90250208820508145984214449535885225804848827395853903643581539925324296323037656659729996477550579122483378448984656927197072113340569483", "im_radius": "1.65e-138", "im_digits": 140 }, "5": { "re": "-11328.811647890175829682168431481190446331449259079845784935869904805139109940691503088056770585691069094522188953981565080834557135191373618", "re_radius": "2.23e-136", "re_digits": 140, "im": "-172.49884678795533158649793756786672017235906624088713779357526503266224550147901104144964228274087586429577445209514681304488776095088649209", "im_radius": "4.23e-138", "im_digits": 140 } } }, "m2": { "orders": { "-3": { "re": "-22.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "-1.4609999071397338742541358262760391705536512439942901681570180010463527086225518004335523276190250805312277729183534511866302449918964765560e-377", "im_radius": "1.14e-517", "im_digits": 140 }, "-2": { "re": "2.0962338835011688000297979454385604487825161720349575211806375024012699673258682818385061772552854679656755184872674437433932649561118271908", "re_radius": "4.52e-141", "re_digits": 140, "im": "2.0894065404880767974538324304545386845476449108115366370003215746716661720213781414075880973721323077507418916190784684406379340169523362574e-364", "im_radius": "3.22e-504", "im_digits": 140 }, "-1": { "re": "-60.928146853590072215605632269588547130954435343025944346183060663868845607197754671784534479483270080452863217514799845334827803879221012562", "re_radius": "3.52e-139", "re_digits": 140, "im": "-2.3128744617961840427547847443310706201891447098942597114447195327395794039456490201728918404376506531151501077728946884041618315678907392394e-351", "im_radius": "3.67e-491", "im_digits": 140 }, "0": { "re": "2108.1570971638570031330066194048151014968167100482464334313537379666613128739297371656926350133686158821886300172028785090585100086053953739", "re_radius": "4.20e-138", "re_digits": 140, "im": "621.60845015665814367267560976996981894585919082549001048511322679856926398169421824674162491763267690301757125428347162284502969877169685323", "im_radius": "3.00e-138", "im_digits": 140 }, "1": { "re": "-10385.236373797907561244655042709704236849296064736450962501873480940226098895776163790453491894235135968424683816463814185518481426548394736", "re_radius": "3.00e-136", "re_digits": 140, "im": "2225.5724756693153388703917641264850309876339814960856191063619486926456051983016192187017537584701234502342922075773746213881653616019559834", "im_radius": "9.10e-138", "im_digits": 140 }, "2": { "re": "35692.276326507680027877646715313929447835132976671771513501852689636004977801883510929723712102060750203823848866650258072674061995382955784", "re_radius": "4.37e-136", "re_digits": 140, "im": "1373.1019110455001011572238512543216784821252334849979442234802948611504532991441064176570863849511226346606668730637961546562352745553176913", "im_radius": "1.39e-137", "im_digits": 140 }, "3": { "re": "-166112.38917472543992959928216077900408283860449254781044122186315504585636392930300075390913061597890424107148535845822227521173272647660276", "re_radius": "1.01e-135", "re_digits": 140, "im": "-6907.3913239437012596548871237796158518454413023922303936259693447865041663655957065770324935754269635656319461818241305447485024648557251037", "im_radius": "3.59e-137", "im_digits": 140 }, "4": { "re": "551869.99644367158599753204611887765822269887534310899227035552627103462674809947705500325131773678808085894887771187850883100908453547351630", "re_radius": "8.40e-136", "re_digits": 140, "im": "-18230.440220298697605370781036837155329854354293991781655768261280277111906082980952345543114135880786186494277716030260338057616839617718953", "im_radius": "1.60e-136", "im_digits": 140 }, "5": { "re": "-1818538.8695240616290797352557624988571081975059138142297810141204852876563584611094869949669550585144979143586102434287308377586106930417804", "re_radius": "1.25e-134", "re_digits": 140, "im": "-17333.618134104653137439729459217714316132459652224068969225678650810317965029612228013899592308515742250768067915923063025201591361166419457", "im_radius": "8.45e-137", "im_digits": 140 } } }, "m3": { "orders": { "-3": { "re": "-29.333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333", "re_radius": "3.34e-139", "re_digits": 140, "im": "-2.7352028043327972352408035766431233864634863725331136419233490672571226340902905804267832751790204521756451617048659951255049707167738070476e-378", "im_radius": "1.14e-518", "im_digits": 140 }, "-2": { "re": "24.128311844668225066706397260584747265043354896046610028240850003201693289767824375784674903007047290620900691316356591657857686608149102921", "re_radius": "6.07e-140", "re_digits": 140, "im": "3.9116707680856018146675806192023243169725464298459573504855758586572752587818188553184076038040159293037250063035798244504508065213845000337e-365", "im_radius": "1.57e-505", "im_digits": 140 }, "-1": { "re": "-78.179331691818199366290950124725151761304111290856369451813183917789995323367545169010658023316152076206896914007386405894575995432766758268", "re_radius": "1.49e-139", "re_digits": 140, "im": "-4.3300349870382152824232720056875185540687661833802155878437873358063349029535000493068469309068648817183906054243696891510680009130744117313e-352", "im_radius": "6.90e-493", "im_digits": 140 }, "0": { "re": "580.80001110624673824499133122640411181951656504840692422018546481376900601448060908238322102131463871796183335709790910596549650135201130032", "re_radius": "1.37e-138", "re_digits": 140, "im": "117.05597594245901864272566223819951802867010470421420227418275294633185971790208081395130424044658760602645650175233255517093029220489668801", "im_radius": "2.72e-138", "im_digits": 140 }, "1": { "re": "-2983.1857356887079943101463764247976360364097896651985849383489935422693144370521500063718129220174758780047699698610677987364790249524364752", "re_radius": "4.02e-138", "re_digits": 140, "im": "419.50316690776554038112301820791891233262346393611388034680036541047486676846265497168171544232679406545301653191719519586520536392480819485", "im_radius": "4.07e-138", "im_digits": 140 }, "2": { "re": "11166.543542810548886405190373461575541211157320645559778031001517775384178749551367634256665856479772217123487546874928662283034109181646393", "re_radius": "1.47e-136", "re_digits": 140, "im": "260.49769540326395570593696346949944714327660434876713136238609082909271822174172910034755305402715427015981159583057231052218287539427873585", "im_radius": "4.97e-138", "im_digits": 140 }, "3": { "re": "-49727.641716669053843897294314397811651312132257301644544195506187026180146392927974009119149753600198131713577957761186737949302075009397591", "re_radius": "6.99e-137", "re_digits": 140, "im": "-1297.5262371220068714413583650832737000192466798389650709386496489073882998983769950342490963447669399120308193568355720471875659251113136523", "im_radius": "3.53e-137", "im_digits": 140 }, "4": { "re": "169199.72956839530434552556641607846286181673067029461109753769088828079085710852489412984535966182580116507974178019434273841125080599873444", "re_radius": "3.65e-135", "re_digits": 140, "im": "-3433.5998326006986895059401855398195920066565970088576790790643645879542484524705444831447292944182808650796753772360737720361200562902871779", "im_radius": "1.61e-137", "im_digits": 140 }, "5": { "re": "-570305.35477614173299711426711037734070986027056579753058290770966078127177272245811613957450313103150307274640474135458029735787019433244324", "re_radius": "4.55e-135", "re_digits": 140, "im": "-3276.6682030954100558465417774250047761045862867968480909392820982527562104472905037524171442314202716099230015451656212406903809046011238758", "im_radius": "3.85e-137", "im_digits": 140 } } } } } } }, "T13": { "t": "25", "region": "physical (t > 16, +i0)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "32217be35e1fdeee38237d009e155e2e39f9f04aec0da1217cade0ab88a773d3", "output_bytes": 12704, "config_sha256": "d14e3139d63bddb3cb154a2e7870a61f08bf1c46b1765e88e75ab48b8bc0b635", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "16:14.08", "maxrss_kB": 136228, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "11.051225452295907384043480293827813259204133390582193811761021444253759441448163569923469703667363394708534843", "re_radius": "3.08e-109", "re_digits": 110, "im": "9.4617237480048658989422530539140954756266099527457900209839100425775238766326202310983794821008241039615459444", "im_radius": "1.11e-110", "im_digits": 110 }, "1": { "re": "-89.303552838285504881486139083342615390975118387280339071493397956558399561242934163525621148410794398042728219", "re_radius": "1.43e-109", "re_digits": 110, "im": "-8.5351341670618283048822135868311274566089284679980771665082572268258711971892163590377143403051623178644048783", "im_radius": "1.75e-110", "im_digits": 110 }, "2": { "re": "286.66347847865298112548764804110916812196672615572453990749651849705251417997108409954276886932482955385353302", "re_radius": "2.31e-108", "re_digits": 110, "im": "-35.565876917496033789142445181528990599469794499083389372818517571553414405453974730496215625770302278232703439", "im_radius": "4.23e-109", "im_digits": 110 }, "3": { "re": "-972.45923738778018791175257085268293068610720418021300383365058703620747658661195279133250706034268037603623681", "re_radius": "1.88e-108", "re_digits": 110, "im": "-0.43791853056420629150566939568281360330601868939337387708830793838882165702023358477446339273316820814985264258", "im_radius": "1.26e-111", "im_digits": 110 }, "4": { "re": "3532.8847686208593057902969373344842801406793698736984518948667820561149205632502373460128506754535792975619955", "re_radius": "4.98e-107", "re_digits": 110, "im": "53.281236762434306464109369978689577433206736383501973872322071547275362533191846519712348216634420996869889349", "im_radius": "1.71e-109", "im_digits": 110 }, "5": { "re": "-11612.728288026266957702560442199071482848494747425480316287695358587329775637252542487176196980296394387386316", "re_radius": "2.52e-106", "re_digits": 110, "im": "35.831715133888055887803553676138149907272742432016668720797698059633532845278226178395479812113289744024897823", "im_radius": "2.75e-109", "im_digits": 110 } } }, "m2": { "orders": { "-3": { "re": "-29.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "-9.1978731427684343107856850084456160380174545116431059388987171115462699053257754694782525595688523201478847804e-304", "im_radius": "5.82e-415", "im_digits": 110 }, "-2": { "re": "0.21776284643335887276655183716901150066786222677335309610174943498349222965682637151439450638196720777293591073", "re_radius": "3.22e-111", "re_digits": 110, "im": "4.1596824419484526107212199421304129528175282357075930063348291259958659181253996098771334859671914689278751829e-293", "im_radius": "1.44e-403", "im_digits": 110 }, "-1": { "re": "-78.452001229575207894121332031101102653754357114083873701815448354160852023185782762015654239636426291576134099", "re_radius": "3.66e-109", "re_digits": 110, "im": "-1.4560935831399459145858986637657856340775991455576152982686734340967756468108049460212050646689604225446202936e-282", "im_radius": "4.00e-392", "im_digits": 110 }, "0": { "re": "2844.9229274331771149160259042440315932199263373638635563252035087740908594974259081197441257522973343227178964", "re_radius": "4.63e-107", "re_digits": 110, "im": "1767.9336834567128412478593415055953950347266337970492878922434963570646771178347965782293247518607875355265237", "im_radius": "1.03e-107", "im_digits": 110 }, "1": { "re": "-21600.558233701170790035885319334636627122569183092270157943057678307715067548405309110493521637312700824046598", "re_radius": "1.68e-107", "re_digits": 110, "im": "-1543.0540016341184666662353415605073608340025702704815229869771956779830058267284793644103069190612222469048296", "im_radius": "4.43e-107", "im_digits": 110 }, "2": { "re": "76292.768384532361391734259346596697322456766718094570085715386527037581377489122516966404649424738520421193791", "re_radius": "3.77e-106", "re_digits": 110, "im": "-6631.0475583067603878058269978252370942761316125357376301520584533546194315859995246276338406402858217650448887", "im_radius": "1.62e-107", "im_digits": 110 }, "3": { "re": "-272375.23929888417001634649906142032990221052703223167401052691368364435750645337494834226455097154007582892559", "re_radius": "4.93e-105", "re_digits": 110, "im": "-259.49335192559039814641252296443608444585386181976722131589108704638026226519866954693362272196312512423688954", "im_radius": "4.22e-108", "im_digits": 110 }, "4": { "re": "985833.32415949761778193567461583897717010695107148205871900046947984900143871770548679850650201085423608060324", "re_radius": "4.08e-106", "re_digits": 110, "im": "9743.0003068567056081461273175586960761419509799337881584179694573566710390511214555934285459889642331911673108", "im_radius": "1.25e-107", "im_digits": 110 }, "5": { "re": "-3270126.5838783885484129419703604161198414472970425627059454380134072832973408275473684966008970983972222295010", "re_radius": "3.89e-105", "re_digits": 110, "im": "6735.9511025906279107116267849798519326064888831127951937226490926833019000999886173349811777414862600099896056", "im_radius": "2.32e-107", "im_digits": 110 } } }, "m3": { "orders": { "-3": { "re": "-38.666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667", "re_radius": "3.34e-109", "re_digits": 110, "im": "-1.5736825880990445488165693043645104187650469875312710931838446209846852859980563051253025894463369657523272413e-304", "im_radius": "1.72e-414", "im_digits": 110 }, "-2": { "re": "30.957017128577811830355402449558682000890482969031137461468999246644656306209101828685859341842622943697247881", "re_radius": "2.24e-110", "re_digits": 110, "im": "7.1168842288947858278346264321502075900037466187694594564602530611999882350924291332406523972413230861530216744e-294", "im_radius": "4.53e-404", "im_digits": 110 }, "-1": { "re": "-99.039842810374633701294221662382493860884468391918136025884516748288966894459526742220002142355936010780938612", "re_radius": "1.72e-109", "re_digits": 110, "im": "-2.4912597541430087646772224471401979769923221126448905522704256813460548285139841916942194341893755534862237290e-283", "im_radius": "5.56e-394", "im_digits": 110 }, "0": { "re": "771.41042194741232565642760701411205656400608771859653459724957683988353793436812372779324424068138935608143570", "re_radius": "2.07e-108", "re_digits": 110, "im": "305.86194126941915955328652701873954069277609821318858224074767007477457713731072046045617410091066826018161178", "im_radius": "2.74e-108", "im_digits": 110 }, "1": { "re": "-5336.0568671303070054826420652522458958844503466379849445798358739705620244387596568631452186080799683236924319", "re_radius": "2.81e-107", "re_digits": 110, "im": "-251.79076880632401308236199403562834693100742362364697586512137431382961767021868757237946087976882494082637414", "im_radius": "1.01e-108", "im_digits": 110 }, "2": { "re": "20364.708421728125977494830906486758800049332400360229235172227584958075774449597084366188783587732416658999159", "re_radius": "2.15e-106", "re_digits": 110, "im": "-1142.2970132709714331674585141287120149407205939348229902300147519639771998262058521872597261233048498923371479", "im_radius": "3.82e-107", "im_digits": 110 }, "3": { "re": "-76859.780809111372829419656648062922016250410929064661630429967535797466523972723955706293498407906663055893668", "re_radius": "9.87e-107", "re_digits": 110, "im": "-96.206878432242008622830219553338333773373950033713900403182546239578865184310272976219806535713867788340712734", "im_radius": "7.65e-110", "im_digits": 110 }, "4": { "re": "277287.45690771982058761388478220541584993613912787158860173771485968700369314302817932901351130122063853431616", "re_radius": "2.90e-105", "re_digits": 110, "im": "1621.6221848777056901427604668795642531599806334700463247290124379349685871546666658080008781006378529971598223", "im_radius": "4.44e-107", "im_digits": 110 }, "5": { "re": "-935578.55216985542608944371646572512935308353900035231027498708151260470785271327204230479292813354189274772109", "re_radius": "2.35e-105", "re_digits": 110, "im": "1173.1454777871468772575386493329301105436727779843832485368986945706522909685088032348785108627910020519561008", "im_radius": "5.24e-108", "im_digits": 110 } } } } }, "B": { "output_sha256": "ff0f88eddc9dafdfcd045906bf1c4972d5f188eceaa535db95747a117b113b1b", "output_bytes": 14414, "config_sha256": "295960db9a4a7c45e868a37330f7019f753efc058309e0e408e80a8e86d60663", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "25:19.09", "maxrss_kB": 199208, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "11.051225452295907384043480293827813259204133390582193811761021444253759441448163569923469703667363394708534843307623126242720797563888640225", "re_radius": "1.45e-139", "re_digits": 140, "im": "9.4617237480048658989422530539140954756266099527457900209839100425775238766326202310983794821008241039615459443890003083384997602114641322998", "im_radius": "1.09e-140", "im_digits": 140 }, "1": { "re": "-89.303552838285504881486139083342615390975118387280339071493397956558399561242934163525621148410794398042728219142386789603565804345955050781", "re_radius": "3.20e-139", "re_digits": 140, "im": "-8.5351341670618283048822135868311274566089284679980771665082572268258711971892163590377143403051623178644048782825534941583371736907070521575", "im_radius": "1.80e-141", "im_digits": 140 }, "2": { "re": "286.66347847865298112548764804110916812196672615572453990749651849705251417997108409954276886932482955385353302230830970973830748996152056633", "re_radius": "2.39e-138", "re_digits": 140, "im": "-35.565876917496033789142445181528990599469794499083389372818517571553414405453974730496215625770302278232703438577617715439595591459078335199", "im_radius": "2.90e-139", "im_digits": 140 }, "3": { "re": "-972.45923738778018791175257085268293068610720418021300383365058703620747658661195279133250706034268037603623681187639424114988960005631903443", "re_radius": "3.61e-139", "re_digits": 140, "im": "-0.43791853056420629150566939568281360330601868939337387708830793838882165702023358477446339273316820814985264258125930981759671988013804400206", "im_radius": "1.21e-141", "im_digits": 140 }, "4": { "re": "3532.8847686208593057902969373344842801406793698736984518948667820561149205632502373460128506754535792975619955497083665630440161056009228916", "re_radius": "4.52e-137", "re_digits": 140, "im": "53.281236762434306464109369978689577433206736383501973872322071547275362533191846519712348216634420996869889349170986722515872934177525250329", "im_radius": "2.00e-139", "im_digits": 140 }, "5": { "re": "-11612.728288026266957702560442199071482848494747425480316287695358587329775637252542487176196980296394387386315748241924829534700790126552486", "re_radius": "4.04e-136", "re_digits": 140, "im": "35.831715133888055887803553676138149907272742432016668720797698059633532845278226178395479812113289744024897822725895216206280569601170897942", "im_radius": "2.34e-139", "im_digits": 140 } } }, "m2": { "orders": { "-3": { "re": "-29.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "-2.9086228923301843100402403717541409801844234112769350267949180982751180917589563983663145906069867130491634070456613557422621973378349570666e-381", "im_radius": "9.15e-522", "im_digits": 140 }, "-2": { "re": "0.21776284643335887276655183716901150066786222677335309610174943498349222965682637151439450638196720777293591073321617584356384926032922675150", "re_radius": "3.14e-141", "re_digits": 140, "im": "4.1596824649674423751296493218840794943583443089137132976081456597133792743659109216368656790569699829377326184022234421629795297166795452740e-368", "im_radius": "1.10e-508", "im_digits": 140 }, "-1": { "re": "-78.452001229575207894121332031101102653754357114083873701815448354160852023185782762015654239636426291576134098634618438995847347184712280356", "re_radius": "4.32e-139", "re_digits": 140, "im": "-4.6045722342562945386926871821142795373989786311769193019205243337369623820602687628048538536523937529728463887660046085359363011088846303288e-355", "im_radius": "2.08e-495", "im_digits": 140 }, "0": { "re": "2844.9229274331771149160259042440315932199263373638635563252035087740908594974259081197441257522973343227178964462628882685065800582868031174", "re_radius": "3.78e-137", "re_digits": 140, "im": "1767.9336834567128412478593415055953950347266337970492878922434963570646771178347965782293247518607875355265237102821636329530566953510497357", "im_radius": "2.18e-138", "im_digits": 140 }, "1": { "re": "-21600.558233701170790035885319334636627122569183092270157943057678307715067548405309110493521637312700824046597983314081042944033128950100021", "re_radius": "1.35e-136", "re_digits": 140, "im": "-1543.0540016341184666662353415605073608340025702704815229869771956779830058267284793644103069190612222469048296442980804423250372495011113715", "im_radius": "2.95e-137", "im_digits": 140 }, "2": { "re": "76292.768384532361391734259346596697322456766718094570085715386527037581377489122516966404649424738520421193791376674151065179607913124166707", "re_radius": "1.63e-136", "re_digits": 140, "im": "-6631.0475583067603878058269978252370942761316125357376301520584533546194315859995246276338406402858217650448887161494778940111349906001406244", "im_radius": "9.62e-138", "im_digits": 140 }, "3": { "re": "-272375.23929888417001634649906142032990221052703223167401052691368364435750645337494834226455097154007582892558507486688153337637734309501986", "re_radius": "1.43e-135", "re_digits": 140, "im": "-259.49335192559039814641252296443608444585386181976722131589108704638026226519866954693362272196312512423688953578726379068676514131862650834", "im_radius": "1.85e-138", "im_digits": 140 }, "4": { "re": "985833.32415949761778193567461583897717010695107148205871900046947984900143871770548679850650201085423608060323959479321253723207872781363576", "re_radius": "1.63e-135", "re_digits": 140, "im": "9743.0003068567056081461273175586960761419509799337881584179694573566710390511214555934285459889642331911673107875483463304688346923049167077", "im_radius": "2.78e-137", "im_digits": 140 }, "5": { "re": "-3270126.5838783885484129419703604161198414472970425627059454380134072832973408275473684966008970983972222295010038850491632401955664705538127", "re_radius": "4.13e-134", "re_digits": 140, "im": "6735.9511025906279107116267849798519326064888831127951937226490926833019000999886173349811777414862600099896055768389302012359263122276912320", "im_radius": "1.59e-137", "im_digits": 140 } } }, "m3": { "orders": { "-3": { "re": "-38.666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667", "re_radius": "3.34e-139", "re_digits": 140, "im": "-4.9764213195008960758687088808389439317352293187478403486538785474928776432617041971795158214853054876522934028153880177224938265999660661111e-382", "im_radius": "1.77e-522", "im_digits": 140 }, "-2": { "re": "30.957017128577811830355402449558682000890482969031137461468999246644656306209101828685859341842622943697247880977621567791418465680438969002", "re_radius": "4.20e-141", "re_digits": 140, "im": "7.1168842669853138260627834628427177369853771040493008396766392144496246782297560652382306529105313751327363181426435509854618607727928032858e-369", "im_radius": "4.40e-509", "im_digits": 140 }, "-1": { "re": "-99.039842810374633701294221662382493860884468391918136025884516748288966894459526742220002142355936010780938611828409506909496165579044981407", "re_radius": "2.85e-139", "re_digits": 140, "im": "-7.8780551078512449361004598586694163825626790935835065391178636155379995653297936811307561922845438793217691148389732599733384724715388795112e-356", "im_radius": "8.33e-497", "im_digits": 140 }, "0": { "re": "771.41042194741232565642760701411205656400608771859653459724957683988353793436812372779324424068138935608143570206812935924208567867463933447", "re_radius": "3.07e-138", "re_digits": 140, "im": "305.86194126941915955328652701873954069277609821318858224074767007477457713731072046045617410091066826018161178273151637450281656577132253999", "im_radius": "2.38e-138", "im_digits": 140 }, "1": { "re": "-5336.0568671303070054826420652522458958844503466379849445798358739705620244387596568631452186080799683236924318719832901221964502582033375936", "re_radius": "9.97e-138", "re_digits": 140, "im": "-251.79076880632401308236199403562834693100742362364697586512137431382961767021868757237946087976882494082637413899897367281379259487513656026", "im_radius": "4.51e-138", "im_digits": 140 }, "2": { "re": "20364.708421728125977494830906486758800049332400360229235172227584958075774449597084366188783587732416658999159214539839952814920724574648375", "re_radius": "2.87e-136", "re_digits": 140, "im": "-1142.2970132709714331674585141287120149407205939348229902300147519639771998262058521872597261233048498923371479381047627088467898640396905915", "im_radius": "8.23e-139", "im_digits": 140 }, "3": { "re": "-76859.780809111372829419656648062922016250410929064661630429967535797466523972723955706293498407906663055893667901580595669464584990471863310", "re_radius": "4.82e-136", "re_digits": 140, "im": "-96.206878432242008622830219553338333773373950033713900403182546239578865184310272976219806535713867788340712733923779277411882185479362086762", "im_radius": "1.84e-139", "im_digits": 140 }, "4": { "re": "277287.45690771982058761388478220541584993613912787158860173771485968700369314302817932901351130122063853431616289792309567416437656538225863", "re_radius": "4.76e-135", "re_digits": 140, "im": "1621.6221848777056901427604668795642531599806334700463247290124379349685871546666658080008781006378529971598222556949541104879266356199473451", "im_radius": "1.82e-137", "im_digits": 140 }, "5": { "re": "-935578.55216985542608944371646572512935308353900035231027498708151260470785271327204230479292813354189274772109234333502340431721493178479344", "re_radius": "2.35e-136", "re_digits": 140, "im": "1173.1454777871468772575386493329301105436727779843832485368986945706522909685088032348785108627910020519561007947674001546079417163738032417", "im_radius": "4.73e-137", "im_digits": 140 } } } } } } }, "T14": { "t": "40", "region": "physical (t > 16, +i0)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "a3b699cbbd46f5cc0556b27f6f1964a5e88fde4bfe6527788554f5c2d01cdaa0", "output_bytes": 12699, "config_sha256": "5bc54df10df526e9160281e02c11f8ed82e5059cdc2312cff58db5193076b218", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "17:02.34", "maxrss_kB": 138504, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "6.2317367294104471647738602790669502248735466153034136403258887901406211131005153354873426907181274491307787524", "re_radius": "4.50e-110", "re_digits": 110, "im": "9.5739644001641505390637301605752464231442625184991557746053325924741276412524495538793803791885607468998350904", "im_radius": "2.17e-110", "im_digits": 110 }, "1": { "re": "-77.433811060726810507714192274593559378809838072769651697763085927581081883477469951193669069774293440099929901", "re_radius": "2.13e-110", "re_digits": 110, "im": "-35.873282697006853024363077243563046547303637159239997922046978762427314023817583491435826367271533444529289890", "im_radius": "3.50e-109", "im_digits": 110 }, "2": { "re": "341.17386724864538619493493528417435719925224393722730810607014679068935338436941200913520892746126727562260551", "re_radius": "3.88e-108", "re_digits": 110, "im": "28.394598455074115714243419261841007761044469848462173992736567389681876971344087508346502527178346877922486419", "im_radius": "2.70e-109", "im_digits": 110 }, "3": { "re": "-1099.8746418054508147348425707730984363299262445509744807076386919976390359498071515179877461823032138812105631", "re_radius": "1.46e-108", "re_digits": 110, "im": "27.453350800347521392669683502594517655573346259935196320930228100768382667761500468462960545123394353407645486", "im_radius": "1.83e-109", "im_digits": 110 }, "4": { "re": "3562.3421436670218934770987832080203701810570175446340414704267782017632770187404151193872166758325051602292688", "re_radius": "1.48e-107", "re_digits": 110, "im": "-31.248420297401116448840977633106472742346317549576289295086181639173341707606378147310332129842116255952958280", "im_radius": "2.83e-109", "im_digits": 110 }, "5": { "re": "-11652.059679502559845966858183435407919653952924509093918548405021654952579937804567657925331287223123415304693", "re_radius": "3.89e-106", "re_digits": 110, "im": "-16.083324516114317190945075754471688880129829291131420854194612455003116783666922031953979539524781852679015003", "im_radius": "3.63e-109", "im_digits": 110 } } }, "m2": { "orders": { "-3": { "re": "-44.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "1.4011568472064960406577314725347759720271728073462328372898701366022177419109254450006482998294310932174989163e-305", "im_radius": "2.06e-415", "im_digits": 110 }, "-2": { "re": "-3.8075322329976623999404041091228791024349676559300849576387249951974600653482634363229876454894290640686489630", "re_radius": "2.55e-110", "re_digits": 110, "im": "-6.3366470109472439965134056352331935972296289100300989217805204045698747899341420149092239482458260509583129211e-295", "im_radius": "3.41e-405", "im_digits": 110 }, "-1": { "re": "-116.00311774954335577665497437719943591689704662349372232102770769050086577173155724108233943996461817255457170", "re_radius": "1.04e-108", "re_digits": 110, "im": "2.2181383266616670000753112441542770697384954268405243740544195822328988600303616281477959325574122685553265037e-284", "im_radius": "3.96e-394", "im_digits": 110 }, "0": { "re": "4426.2625504720308625182198538946686643569260841557216191962864051655859872354137100637194571014592548088004525", "re_radius": "2.49e-108", "re_digits": 110, "im": "4578.9899337857126594774652270288614885218318375083066260744772205095208461181714586442540320835071220099948640", "im_radius": "3.37e-107", "im_digits": 110 }, "1": { "re": "-46256.885962700290722258436126212914989952678624988862773056488710097220726736076127878910182751045956952932822", "re_radius": "2.69e-106", "re_digits": 110, "im": "-16733.877425540092900215065272884312100013245835792637785323756503326829686920545173090092646980802039045881969", "im_radius": "2.43e-106", "im_digits": 110 }, "2": { "re": "205115.05090454887003296580609367313875968768931712879842524211177158963781599947899525112483274611291567431739", "re_radius": "1.21e-106", "re_digits": 110, "im": "12482.038975425152851575205042377118693643827206333662319179742362173618025915460417887945359482923864476874770", "im_radius": "9.46e-107", "im_digits": 110 }, "3": { "re": "-695084.62363550883161780081347189398049127274676074237591706667627056693215009090252502421398072921772431882901", "re_radius": "2.98e-105", "re_digits": 110, "im": "13108.816172252616850941589042380638937541174870775664919568589116144442723988159087797663396626011764456687371", "im_radius": "2.71e-106", "im_digits": 110 }, "4": { "re": "2322729.6713918043740165784415106922133966089556264918488337055962691216433270448911678744026201184308544622792", "re_radius": "2.00e-104", "re_digits": 110, "im": "-13736.112134991573653227039407796792908767325194843552168749689877689434393488715291006517062875479267969181681", "im_radius": "4.39e-106", "im_digits": 110 }, "5": { "re": "-7681043.7790431070485706745203934756095827134001876205573305549804606364097878472552529164125726367972426275022", "re_radius": "6.88e-105", "re_digits": 110, "im": "-7664.2017105008698357779632587583379698396704744580293582184028653066494346430079572241793736159804510992116493", "im_radius": "4.08e-107", "im_digits": 110 } } }, "m3": { "orders": { "-3": { "re": "-58.666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667", "re_radius": "3.34e-109", "re_digits": 110, "im": "2.0545746820137600247816822104290312849706594220188133420232048270663074611041865409251366817046332347894150910e-306", "im_radius": "2.02e-416", "im_digits": 110 }, "-2": { "re": "45.589957022669783466746127854502827863420043125426553389815033339736719912868982084902683139347427914575134716", "re_radius": "3.40e-110", "re_digits": 110, "im": "-9.2916896088442874182845629743149944214757060838026542728619081030535430308229231619444176276660188249697981834e-296", "im_radius": "1.88e-406", "im_digits": 110 }, "-1": { "re": "-143.74093806442413584772980352879108407427094789419335011318022995650104883251377297052573954029833015629674225", "re_radius": "1.65e-110", "re_digits": 110, "im": "3.2525486752242547569420161113376551736444975993910467321632004918271802622881757090729940940327868419625468824e-285", "im_radius": "5.00e-395", "im_digits": 110 }, "0": { "re": "1248.5154629748014579946533289546747932184200660858140191617720396484646652801636876529146177562038388861032964", "re_radius": "3.85e-107", "re_digits": 110, "im": "776.18389079284989679716830436051813454293000246552628039474136742303175970571285816387690790404277976451989655", "im_radius": "4.88e-108", "im_digits": 110 }, "1": { "re": "-10766.880789660202664960046264355405754599725282818624540578333295017130672856170226810302651265758167828996034", "re_radius": "1.18e-106", "re_digits": 110, "im": "-2702.9478823081371554109994691907317759785771638859383424603071149035380343232748674486841086734332975236812198", "im_radius": "4.40e-107", "im_digits": 110 }, "2": { "re": "47943.082454356467504927999120902986563711640758719304422097831002181221469331474161870389750125073155174746027", "re_radius": "1.51e-106", "re_digits": 110, "im": "1779.2746605797315686437994631055628834017299797340888518751154743958147150382599601798227896359054227234626403", "im_radius": "6.90e-108", "im_digits": 110 }, "3": { "re": "-172625.46702856293470936634309512681236221902362648147452963778937255651844387312993942642841087597477152298585", "re_radius": "1.25e-105", "re_digits": 110, "im": "2197.6943655004350582379306225983677693420092171679863391281656553231073323752219130326842696815865499913854353", "im_radius": "3.26e-107", "im_digits": 110 }, "4": { "re": "595488.52948191735657279784759134798087404110912772183794111905768446514358510385263443923343880964224544657357", "re_radius": "1.5e-107", "re_digits": 110, "im": "-1962.3333751669265256567241043500561037422076254106601708171690847737366635717480263998076537611746175055321625", "im_radius": "4.8e-110", "im_digits": 110 }, "5": { "re": "-2001280.7068857716186441509331568103715804211652901767162509712083148178845400236241389782296048769838164442791", "re_radius": "2.88e-104", "re_digits": 110, "im": "-1274.3964028380443499473832859955342065693758617727720904563834058522029716438451597119772679647153329641182788", "im_radius": "6.72e-108", "im_digits": 110 } } } } }, "B": { "output_sha256": "6b961f3344ce6d1e76919f1b14ae68558b839c62d3975e3b550b8e8cdea702ff", "output_bytes": 14411, "config_sha256": "de70cb7cd9b64aa6a475c601df9950c77aff01b369aee6f152514871244f0fde", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "28:42.68", "maxrss_kB": 201160, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "6.2317367294104471647738602790669502248735466153034136403258887901406211131005153354873426907181274491307787523550774336965989553198641548783", "re_radius": "1.18e-140", "re_digits": 140, "im": "9.5739644001641505390637301605752464231442625184991557746053325924741276412524495538793803791885607468998350903784099998887795249497638437954", "im_radius": "2.21e-140", "im_digits": 140 }, "1": { "re": "-77.433811060726810507714192274593559378809838072769651697763085927581081883477469951193669069774293440099929901021125079515421782402293476550", "re_radius": "4.72e-139", "re_digits": 140, "im": "-35.873282697006853024363077243563046547303637159239997922046978762427314023817583491435826367271533444529289889650198917700180599500255827477", "im_radius": "4.41e-139", "im_digits": 140 }, "2": { "re": "341.17386724864538619493493528417435719925224393722730810607014679068935338436941200913520892746126727562260551387591626605316022045975213977", "re_radius": "2.71e-138", "re_digits": 140, "im": "28.394598455074115714243419261841007761044469848462173992736567389681876971344087508346502527178346877922486418731009903529724249195122833591", "im_radius": "4.62e-139", "im_digits": 140 }, "3": { "re": "-1099.8746418054508147348425707730984363299262445509744807076386919976390359498071515179877461823032138812105630985480876784196495971406609529", "re_radius": "4.03e-137", "re_digits": 140, "im": "27.453350800347521392669683502594517655573346259935196320930228100768382667761500468462960545123394353407645485817745353346602453883895860844", "im_radius": "9.92e-140", "im_digits": 140 }, "4": { "re": "3562.3421436670218934770987832080203701810570175446340414704267782017632770187404151193872166758325051602292688147729627443585421018901501247", "re_radius": "2.27e-137", "re_digits": 140, "im": "-31.248420297401116448840977633106472742346317549576289295086181639173341707606378147310332129842116255952958279717961408394178598568837344134", "im_radius": "1.67e-139", "im_digits": 140 }, "5": { "re": "-11652.059679502559845966858183435407919653952924509093918548405021654952579937804567657925331287223123415304692611264115021347983431254128294", "re_radius": "8.35e-137", "re_digits": 140, "im": "-16.083324516114317190945075754471688880129829291131420854194612455003116783666922031953979539524781852679015002637791712381439150801617324802", "im_radius": "4.81e-139", "im_digits": 140 } } }, "m2": { "orders": { "-3": { "re": "-44.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-143", "re_digits": 140, "im": "4.4308470056230923803889062033932639367052550829880943672898774738366393854355382429393845282453785595345627782517990570592543785087889397013e-383", "im_radius": "2.70e-523", "im_digits": 140 }, "-2": { "re": "-3.8075322329976623999404041091228791024349676559300849576387249951974600653482634363229876454894290640686489630254651125132134700877763456184", "re_radius": "9.04e-141", "re_digits": 140, "im": "-6.3366470238698110688483698175385358107411892322869676218014139256947113351088119868772823321850623668337554916800926515681016318422682582696e-370", "im_radius": "1.80e-510", "im_digits": 140 }, "-1": { "re": "-116.00311774954335577665497437719943591689704662349372232102770769050086577173155724108233943996461817255457170103422971112660351141076499706", "re_radius": "4.68e-138", "re_digits": 140, "im": "7.0143692914362224225605558430022756480445912053891245352686796680077072479841480154106235202774217446237295090188912282218294534461805415173e-357", "im_radius": "3.34e-497", "im_digits": 140 }, "0": { "re": "4426.2625504720308625182198538946686643569260841557216191962864051655859872354137100637194571014592548088004524975200914256279215281090420637", "re_radius": "4.12e-137", "re_digits": 140, "im": "4578.9899337857126594774652270288614885218318375083066260744772205095208461181714586442540320835071220099948639663361253719907542319558081232", "im_radius": "3.36e-137", "im_digits": 140 }, "1": { "re": "-46256.885962700290722258436126212914989952678624988862773056488710097220726736076127878910182751045956952932822268577728955298152578557724156", "re_radius": "2.40e-136", "re_digits": 140, "im": "-16733.877425540092900215065272884312100013245835792637785323756503326829686920545173090092646980802039045881969242351588780583516079655558611", "im_radius": "3.29e-136", "im_digits": 140 }, "2": { "re": "205115.05090454887003296580609367313875968768931712879842524211177158963781599947899525112483274611291567431739012072446250358360803238092641", "re_radius": "3.64e-136", "re_digits": 140, "im": "12482.038975425152851575205042377118693643827206333662319179742362173618025915460417887945359482923864476874769905480198115310099400963708472", "im_radius": "1.76e-138", "im_digits": 140 }, "3": { "re": "-695084.62363550883161780081347189398049127274676074237591706667627056693215009090252502421398072921772431882901296902675402975606087291919134", "re_radius": "2.47e-135", "re_digits": 140, "im": "13108.816172252616850941589042380638937541174870775664919568589116144442723988159087797663396626011764456687370729941550120983909383311834028", "im_radius": "2.26e-136", "im_digits": 140 }, "4": { "re": "2322729.6713918043740165784415106922133966089556264918488337055962691216433270448911678744026201184308544622792199749150399365513990229396719", "re_radius": "1.05e-134", "re_digits": 140, "im": "-13736.112134991573653227039407796792908767325194843552168749689877689434393488715291006517062875479267969181681438703611924031731136002727549", "im_radius": "4.81e-136", "im_digits": 140 }, "5": { "re": "-7681043.7790431070485706745203934756095827134001876205573305549804606364097878472552529164125726367972426275022068690577623522682493633256023", "re_radius": "2.55e-134", "re_digits": 140, "im": "-7664.2017105008698357779632587583379698396704744580293582184028653066494346430079572241793736159804510992116492592330631424912778187215514748", "im_radius": "2.88e-138", "im_digits": 140 } } }, "m3": { "orders": { "-3": { "re": "-58.666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667", "re_radius": "3.34e-139", "re_digits": 140, "im": "6.4971356313684968979661047648511772723588791860678534717857272149178379072852302586592245381958328031892630480650949932767328764422596747032e-384", "im_radius": "7.99e-525", "im_digits": 140 }, "-2": { "re": "45.589957022669783466746127854502827863420043125426553389815033339736719912868982084902683139347427914575134715966046516649048706549631539175", "re_radius": "4.55e-139", "re_digits": 140, "im": "-9.2916896272747975911922717215696813408175512603302095314312621881033134616413852367627692387370522492078353134986459796163097796598540997284e-371", "im_radius": "4.88e-511", "im_digits": 140 }, "-1": { "re": "-143.74093806442413584772980352879108407427094789419335011318022995650104883251377297052573954029833015629674225001631615194146795874964117385", "re_radius": "3.50e-138", "re_digits": 140, "im": "1.0285462034037996963634416908827861506132652581695393696366621461076762797642007898287722551716320335795593750091203492930414001004711734869e-357", "im_radius": "3.05e-497", "im_digits": 140 }, "0": { "re": "1248.5154629748014579946533289546747932184200660858140191617720396484646652801636876529146177562038388861032963615802157150390217269508230247", "re_radius": "2.28e-137", "re_digits": 140, "im": "776.18389079284989679716830436051813454293000246552628039474136742303175970571285816387690790404277976451989654512341485805205913161712227062", "im_radius": "4.74e-138", "im_digits": 140 }, "1": { "re": "-10766.880789660202664960046264355405754599725282818624540578333295017130672856170226810302651265758167828996033882976654093872087445370080871", "re_radius": "3.66e-136", "re_digits": 140, "im": "-2702.9478823081371554109994691907317759785771638859383424603071149035380343232748674486841086734332975236812198439616580366574668691305815369", "im_radius": "2.50e-137", "im_digits": 140 }, "2": { "re": "47943.082454356467504927999120902986563711640758719304422097831002181221469331474161870389750125073155174746026849127428082526594194828956516", "re_radius": "1.06e-136", "re_digits": 140, "im": "1779.2746605797315686437994631055628834017299797340888518751154743958147150382599601798227896359054227234626403068956927203516119347267848185", "im_radius": "3.61e-137", "im_digits": 140 }, "3": { "re": "-172625.46702856293470936634309512681236221902362648147452963778937255651844387312993942642841087597477152298585124201851349359476791766952456", "re_radius": "2.66e-135", "re_digits": 140, "im": "2197.6943655004350582379306225983677693420092171679863391281656553231073323752219130326842696815865499913854352674534229444513405167605080746", "im_radius": "3.41e-137", "im_digits": 140 }, "4": { "re": "595488.52948191735657279784759134798087404110912772183794111905768446514358510385263443923343880964224544657357001322003600570792707409751355", "re_radius": "1.99e-135", "re_digits": 140, "im": "-1962.3333751669265256567241043500561037422076254106601708171690847737366635717480263998076537611746175055321625000469651956866523680455179571", "im_radius": "4.69e-137", "im_digits": 140 }, "5": { "re": "-2001280.7068857716186441509331568103715804211652901767162509712083148178845400236241389782296048769838164442791287219180363817685467836564800", "re_radius": "3.96e-134", "re_digits": 140, "im": "-1274.3964028380443499473832859955342065693758617727720904563834058522029716438451597119772679647153329641182788067177974795903583184164298179", "im_radius": "3.60e-137", "im_digits": 140 } } } } } } }, "T15": { "t": "100", "region": "physical (t > 16, +i0)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "11b2788c96c130ddf7071ae5084ae2dca9181c0f556703b1ca47ad722948d056", "output_bytes": 12701, "config_sha256": "59d87ed587b52c3303f8c9e2bcdfb66eaabec779cc08f88006109db9b4d84e25", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "17:35.28", "maxrss_kB": 137732, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "1.4962019234743826132681907038620773240351863349380044416695534469374474671428254044378214628123236217630484837", "re_radius": "1.67e-110", "re_digits": 110, "im": "6.8170472433373699542474455307772245014174627281976620754009538360881291062798651080698937122582749110604479872", "im_radius": "4.72e-110", "im_digits": 110 }, "1": { "re": "-41.629019508488556791584613347280493358090363121053738984888365634566476209401778448710627504210884810783964934", "re_radius": "3.62e-109", "re_digits": 110, "im": "-48.970443346055427422575648774991207049042725079928392838147199098005926101065485335341005028768130356617976636", "im_radius": "1.10e-110", "im_digits": 110 }, "2": { "re": "288.74982693677590166645274997270153401413244550291097503024471322489507458138412845278018277721689935517414731", "re_radius": "3.74e-108", "re_digits": 110, "im": "150.76630777782392277040630032976544487240041801456803538058443656203807272654550134529923851985436715964475052", "im_radius": "1.23e-108", "im_digits": 110 }, "3": { "re": "-1197.0074778071888152853157747992899992939128567396098981915854643002931892957159442591571422125698635495558333", "re_radius": "4.44e-107", "re_digits": 110, "im": "-262.23950129709174070847562407751676964981940415059639793148552278081585255190110245067473869138523031165289115", "im_radius": "1.76e-108", "im_digits": 110 }, "4": { "re": "3973.9569731628102001836041044583269104087864860789722220684168688343029590960597770002230570271144928681697858", "re_radius": "1.05e-107", "re_digits": 110, "im": "280.89932056898556430061718654735111566923355690659001184183791175941192030486398927473576718161908098808004073", "im_radius": "4.19e-108", "im_digits": 110 }, "5": { "re": "-12339.964811729061913447721863341176102029441328838860533754000866517353399777666468867692122237118889867346012", "re_radius": "4.50e-106", "re_digits": 110, "im": "-183.87095390462395122325301821049423792969503917125689008089947783311820625367043435969471208503225641250831479", "im_radius": "9.96e-109", "im_digits": 110 } } }, "m2": { "orders": { "-3": { "re": "-104.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-112", "re_digits": 110, "im": "4.2816575838722980174490087411159844335545626169812783417514080919344709936357057880380020011470628642441070864e-308", "im_radius": "3.38e-418", "im_digits": 110 }, "-2": { "re": "-19.908712550721747490768227894290441514846287186743837172600622715921269245368622667672516252975014151434988458", "re_radius": "6.03e-110", "re_digits": 110, "im": "-1.9363537197647943799546699950094777465646174184691824390588534377548875283775703739675827567367181369081214095e-297", "im_radius": "2.06e-407", "im_digits": 110 }, "-1": { "re": "-266.20758382941594730678954376159276896946780466113311679787674503586092076591465515734908024127738569646832211", "re_radius": "6.33e-109", "re_digits": 110, "im": "6.7781910406928671322329506420748741607736293790359183359180768968821900320393470078837811371546256652581288931e-287", "im_radius": "1.28e-397", "im_digits": 110 }, "0": { "re": "9473.5201648519199640812442020534190829054663098201710406180129581519933793155302958027829355690854474159535727", "re_radius": "8.91e-108", "re_digits": 110, "im": "21644.229172435554631908428726685575099653224658878454876054730130253567736406494129503946363080824122300604218", "im_radius": "3.98e-106", "im_digits": 110 }, "1": { "re": "-164074.95995113500169213005125580849201395635803616627870508340240187857960669926255459308506830264837155083157", "re_radius": "3.55e-105", "re_digits": 110, "im": "-150791.92359918834393321629030698725542994493663689464278262722669141950923602586275400257023847189633199351733", "im_radius": "3.42e-105", "im_digits": 110 }, "2": { "re": "1051671.1961299609997222195904222660993428358950510239939889790002251668524589454468842450483331375736585336031", "re_radius": "2.37e-104", "re_digits": 110, "im": "450033.63713917722466496329914657203669028593153904178928002462515189622849497771101389519552068645737758872528", "im_radius": "4.39e-105", "im_digits": 110 }, "3": { "re": "-4300204.2887736619492817477508504851359817983031282409745143311155608677249400822883452995418864528844817245076", "re_radius": "3.64e-104", "re_digits": 110, "im": "-760135.42095110970668675223601330762954130700000767283995544782006040052986289236961865979122447835080274326095", "im_radius": "2.31e-105", "im_digits": 110 }, "4": { "re": "14450045.055975150605825492722650886580135153947730582919216428691892045693853926717444230588026569494894098614", "re_radius": "4.50e-103", "re_digits": 110, "im": "791788.15119519953213214347995347203400555189456670068346590604038997983650657541238945994589382914036628387353", "im_radius": "3.17e-105", "im_digits": 110 }, "5": { "re": "-45678189.720514592257830567853644849648350866361456763906467033233337415020818206036224717983365369100544287545", "re_radius": "3.37e-103", "re_digits": 110, "im": "-503313.07745853012520359637754081762373151080879572021881206509536764056850465454462244212726889498195059026472", "im_radius": "4.84e-105", "im_digits": 110 } } }, "m3": { "orders": { "-3": { "re": "-138.66666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667", "re_radius": "3.34e-108", "re_digits": 110, "im": "3.9512154894573369149531738351594819127826201132550429283919315713014884883021047770704937810850082921960216131e-309", "im_radius": "2.48e-420", "im_digits": 110 }, "-2": { "re": "104.12171659903767001230902947427941131353828375100821710319916971210497433950850310976997832936664779808668206", "re_radius": "4.09e-108", "re_digits": 110, "im": "-1.7869132831663681284890513954589369063961167554054145981256023282247619307492468191653390335792162252560932807e-298", "im_radius": "3.24e-408", "im_digits": 110 }, "-1": { "re": "-322.54531908062214443347213099442544492781686590329420646236308278934937658473075788374868913206790673835995680", "re_radius": "2.77e-108", "re_digits": 110, "im": "6.2550759620019499198345824744220788386345230266396170163630045144056446416616852524963653058695078000071959790e-288", "im_radius": "3.91e-398", "im_digits": 110 }, "0": { "re": "3280.0109216372115466270184248394974227289657736225833014881639236996017170934851715780694274806388724365726215", "re_radius": "3.76e-107", "re_digits": 110, "im": "4048.5849863222172572376203797642013154756098123708563988452709028883439845093312272585202794083792639655423641", "im_radius": "4.49e-107", "im_digits": 110 }, "1": { "re": "-40228.786595148029283452911918942052544163408735666778034869763301920504655477781502185950015337914670029619011", "re_radius": "1.35e-106", "re_digits": 110, "im": "-26669.990278856238186250364356246754375979258618044459409426521640461462664288645802046895014301693750398112291", "im_radius": "4.27e-106", "im_digits": 110 }, "2": { "re": "236776.42764202627421503476062684513583005977425401160088760773951454644730654487365535632768792152284821374724", "re_radius": "4.46e-105", "re_digits": 110, "im": "74982.229306218272440058867517342322959020378151599112911779928322314528377135181316940958114601242120795137246", "im_radius": "1.72e-106", "im_digits": 110 }, "3": { "re": "-955692.85888954736275955371119144443222884946367127115756498497771667831913082137788943439872880893462209605538", "re_radius": "1.70e-105", "re_digits": 110, "im": "-119440.48376884604978472539967839970376773051544641062720559861282811383966891947806013876111455582633818455082", "im_radius": "3.44e-105", "im_digits": 110 }, "4": { "re": "3265877.5271315460380856676433499161220698777643985220289473212308309101725542048069065183959516699740137208505", "re_radius": "4.10e-104", "re_digits": 110, "im": "117427.64755906930561089511658937265361509846987964584481064682266331879158928807072085184358134419655900489050", "im_radius": "2.10e-105", "im_digits": 110 }, "5": { "re": "-10567710.698549166918116846657039667782115875130039850178205604889732678848136674235964080499113083178464855716", "re_radius": "4.45e-103", "re_digits": 110, "im": "-70077.855192903929290755572357250850221253884663390651760471765801607447615240662616080327392422653301247713439", "im_radius": "4.49e-106", "im_digits": 110 } } } } }, "B": { "output_sha256": "7d36731374d2047f0a0145c48ebf6bbb8bf2f2a4ffcc076ed3b807d516f1430b", "output_bytes": 14411, "config_sha256": "80bfb512ffab0b9f070dd1c533667bdaa462690106fa4348478232e627ba9484", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "29:39.07", "maxrss_kB": 198748, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "1.4962019234743826132681907038620773240351863349380044416695534469374474671428254044378214628123236217630484837166898263428356373568254404514", "re_radius": "3.90e-140", "re_digits": 140, "im": "6.8170472433373699542474455307772245014174627281976620754009538360881291062798651080698937122582749110604479872471519834714426460873051859322", "im_radius": "2.74e-140", "im_digits": 140 }, "1": { "re": "-41.629019508488556791584613347280493358090363121053738984888365634566476209401778448710627504210884810783964933638683261756705610299051753966", "re_radius": "2.16e-139", "re_digits": 140, "im": "-48.970443346055427422575648774991207049042725079928392838147199098005926101065485335341005028768130356617976636010902066845228634341992632813", "im_radius": "2.00e-140", "im_digits": 140 }, "2": { "re": "288.74982693677590166645274997270153401413244550291097503024471322489507458138412845278018277721689935517414731373160381046902953608872057862", "re_radius": "3.03e-138", "re_digits": 140, "im": "150.76630777782392277040630032976544487240041801456803538058443656203807272654550134529923851985436715964475052122367998225592979937468817013", "im_radius": "4.00e-138", "im_digits": 140 }, "3": { "re": "-1197.0074778071888152853157747992899992939128567396098981915854643002931892957159442591571422125698635495558333443671541520340889443977206461", "re_radius": "8.24e-138", "re_digits": 140, "im": "-262.23950129709174070847562407751676964981940415059639793148552278081585255190110245067473869138523031165289115175247369113597713772147880672", "im_radius": "2.86e-138", "im_digits": 140 }, "4": { "re": "3973.9569731628102001836041044583269104087864860789722220684168688343029590960597770002230570271144928681697858104526910487277674842785130168", "re_radius": "1.89e-137", "re_digits": 140, "im": "280.89932056898556430061718654735111566923355690659001184183791175941192030486398927473576718161908098808004073418555234409781306686424376867", "im_radius": "1.05e-138", "im_digits": 140 }, "5": { "re": "-12339.964811729061913447721863341176102029441328838860533754000866517353399777666468867692122237118889867346011550498582243862251467957828868", "re_radius": "2.06e-136", "re_digits": 140, "im": "-183.87095390462395122325301821049423792969503917125689008089947783311820625367043435969471208503225641250831478900482482327923832987895744379", "im_radius": "2.32e-138", "im_digits": 140 } } }, "m2": { "orders": { "-3": { "re": "-104.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-142", "re_digits": 140, "im": "1.3539790095805097466797626783976942802312814596852662095957272352486808724614930879935250755119898868204259023005568371401057110344885421617e-385", "im_radius": "2.49e-525", "im_digits": 140 }, "-2": { "re": "-19.908712550721747490768227894290441514846287186743837172600622715921269245368622667672516252975014151434988458060190265940322747480198635098", "re_radius": "5.78e-140", "re_digits": 140, "im": "-1.9363537153397790036072396095150487442791684297089657498052422053198395853680227720449280145589598247351386708047904452453198052942005292475e-372", "im_radius": "2.29e-512", "im_digits": 140 }, "-1": { "re": "-266.20758382941594730678954376159276896946780466113311679787674503586092076591465515734908024127738569646832211063267479964962816831497586385", "re_radius": "4.34e-138", "re_digits": 140, "im": "2.1434522054130168991266435713254497016997960203839969009370882440537642879050208887050320035026041607503374369919117664966517707671286981384e-359", "im_radius": "8.21e-500", "im_digits": 140 }, "0": { "re": "9473.5201648519199640812442020534190829054663098201710406180129581519933793155302958027829355690854474159535727088999627234932862391706644331", "re_radius": "2.24e-137", "re_digits": 140, "im": "21644.229172435554631908428726685575099653224658878454876054730130253567736406494129503946363080824122300604218397391985893138366684312187093", "im_radius": "4.57e-136", "im_digits": 140 }, "1": { "re": "-164074.95995113500169213005125580849201395635803616627870508340240187857960669926255459308506830264837155083157354129868448838579311702688505", "re_radius": "2.31e-135", "re_digits": 140, "im": "-150791.92359918834393321629030698725542994493663689464278262722669141950923602586275400257023847189633199351733341488608199549437715704850860", "im_radius": "2.43e-135", "im_digits": 140 }, "2": { "re": "1051671.1961299609997222195904222660993428358950510239939889790002251668524589454468842450483331375736585336031236185495063325694043177422816", "re_radius": "3.70e-134", "re_digits": 140, "im": "450033.63713917722466496329914657203669028593153904178928002462515189622849497771101389519552068645737758872527561295992109435190424415282358", "im_radius": "4.93e-135", "im_digits": 140 }, "3": { "re": "-4300204.2887736619492817477508504851359817983031282409745143311155608677249400822883452995418864528844817245076363766562990359490104141551508", "re_radius": "1.82e-134", "re_digits": 140, "im": "-760135.42095110970668675223601330762954130700000767283995544782006040052986289236961865979122447835080274326095230682864320257298894044137692", "im_radius": "3.86e-135", "im_digits": 140 }, "4": { "re": "14450045.055975150605825492722650886580135153947730582919216428691892045693853926717444230588026569494894098614449906056231405006794322103196", "re_radius": "3.85e-133", "re_digits": 140, "im": "791788.15119519953213214347995347203400555189456670068346590604038997983650657541238945994589382914036628387352683344892670363080132975390415", "im_radius": "3.44e-135", "im_digits": 140 }, "5": { "re": "-45678189.720514592257830567853644849648350866361456763906467033233337415020818206036224717983365369100544287544663979534018608013043490102833", "re_radius": "8.33e-134", "re_digits": 140, "im": "-503313.07745853012520359637754081762373151080879572021881206509536764056850465454462244212726889498195059026471516957826268139154312382115362", "im_radius": "2.84e-135", "im_digits": 140 } } }, "m3": { "orders": { "-3": { "re": "-138.66666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667", "re_radius": "3.34e-138", "re_digits": 140, "im": "1.2494840426794777902876524094413228556151133266926717980692141296380454418524338074804519793404463035855967222742744867491687058136497702838e-386", "im_radius": "1.29e-527", "im_digits": 140 }, "-2": { "re": "104.12171659903767001230902947427941131353828375100821710319916971210497433950850310976997832936664779808668205591974631207956967002640181987", "re_radius": "7.44e-139", "re_digits": 140, "im": "-1.7869132764840682129751502695568906107352438562343735821585704235202953665935891423729604457397582462828953993079534929770462847048812810505e-373", "im_radius": "2.52e-513", "im_digits": 140 }, "-1": { "re": "-322.54531908062214443347213099442544492781686590329420646236308278934937658473075788374868913206790673835995680276794273206935513143202594361", "re_radius": "4.35e-138", "re_digits": 140, "im": "1.9780286902227798261836214637732691744358775650940505360438219247009714265289916219730356781265406930828683665944384856838951233989985479320e-360", "im_radius": "4.22e-500", "im_digits": 140 }, "0": { "re": "3280.0109216372115466270184248394974227289657736225833014881639236996017170934851715780694274806388724365726215375140043366095896094921810492", "re_radius": "4.55e-137", "re_digits": 140, "im": "4048.5849863222172572376203797642013154756098123708563988452709028883439845093312272585202794083792639655423641448274225215742539648631728850", "im_radius": "2.51e-138", "im_digits": 140 }, "1": { "re": "-40228.786595148029283452911918942052544163408735666778034869763301920504655477781502185950015337914670029619010865302430524921010639989547600", "re_radius": "3.37e-136", "re_digits": 140, "im": "-26669.990278856238186250364356246754375979258618044459409426521640461462664288645802046895014301693750398112291426813606066161477475246534380", "im_radius": "2.42e-137", "im_digits": 140 }, "2": { "re": "236776.42764202627421503476062684513583005977425401160088760773951454644730654487365535632768792152284821374723554403889780186754632353818720", "re_radius": "3.91e-135", "re_digits": 140, "im": "74982.229306218272440058867517342322959020378151599112911779928322314528377135181316940958114601242120795137246171190161232573159804933917764", "im_radius": "4.28e-137", "im_digits": 140 }, "3": { "re": "-955692.85888954736275955371119144443222884946367127115756498497771667831913082137788943439872880893462209605538169238136295533438779297831469", "re_radius": "4.84e-135", "re_digits": 140, "im": "-119440.48376884604978472539967839970376773051544641062720559861282811383966891947806013876111455582633818455082343307570582840823146509886226", "im_radius": "2.63e-135", "im_digits": 140 }, "4": { "re": "3265877.5271315460380856676433499161220698777643985220289473212308309101725542048069065183959516699740137208505409190983846807294765213536216", "re_radius": "3.39e-134", "re_digits": 140, "im": "117427.64755906930561089511658937265361509846987964584481064682266331879158928807072085184358134419655900489049790947859460529616872017704782", "im_radius": "4.33e-135", "im_digits": 140 }, "5": { "re": "-10567710.698549166918116846657039667782115875130039850178205604889732678848136674235964080499113083178464855715555741226545226397169559273380", "re_radius": "3.03e-133", "re_digits": 140, "im": "-70077.855192903929290755572357250850221253884663390651760471765801607447615240662616080327392422653301247713438552139783312679111848901960469", "im_radius": "7.84e-137", "im_digits": 140 } } } } } } }, "T16": { "t": "200", "region": "physical (t > 16, +i0)", "kind": "record pool (goal 100 / goal 130 pair)", "legs": { "A": { "output_sha256": "78aaf5b86b598c9f1ff7ff541c658818dfc615422d99c2cafd82e4415c648614", "output_bytes": 12699, "config_sha256": "983b24310f45bd2165fceaf18e49c305d6620b0ecfe60c1a0500416787c6d026", "goal_digits": 100, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "18:02.75", "maxrss_kB": 135416, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845237", "re_radius": "4.12e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311", "re_radius": "2.59e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061369", "re_radius": "2.74e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701089", "re_radius": "1.13e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456362", "re_radius": "3.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958", "re_radius": "3.39e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197", "re_radius": "1.81e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "0.10087846555588046169347526634157174918473346963366419049585835026253266005464292659701723489332379668947424629", "re_radius": "1.73e-111", "re_digits": 110, "im": "4.7054680696274313763260699823320234006847921228685785698734831320599582856692400679024290180466865341987559607", "im_radius": "4.92e-111", "im_digits": 110 }, "1": { "re": "-21.909099809991665751663148455133444637579876768358080488136602608298613219195607007332814239485438959532728064", "re_radius": "4.25e-109", "re_digits": 110, "im": "-43.302693710076696345989042644979162075427838758793466397734358522798056361881844243608488229470832571939019512", "im_radius": "3.88e-109", "im_digits": 110 }, "2": { "re": "207.36928240342322054349081438508987283453542247737053030281772336363507311697279410626582087956689340942699042", "re_radius": "8.55e-109", "re_digits": 110, "im": "183.75773805069379425948600565708921636522332859381462001911132958084266923947995701697204117853067595799898776", "im_radius": "4.61e-108", "im_digits": 110 }, "3": { "re": "-1056.9671296546531626173917599664028504280144443083162345140054690603524962155747438434087219157258639027728056", "re_radius": "1.25e-107", "re_digits": 110, "im": "-481.66261507407499970623292274916713834606201646727307114138562688983759892885787454750810719614402776894258632", "im_radius": "4.31e-108", "im_digits": 110 }, "4": { "re": "3969.0345311897090893784076516841279907556195007986690936135379160702647918686749753598507975621580918824137215", "re_radius": "3.71e-107", "re_digits": 110, "im": "877.57943142012014780301619103216948660289073220121085653137783936508468518380214204859775535934418403423062902", "im_radius": "1.55e-108", "im_digits": 110 }, "5": { "re": "-12861.428233351256678634931186845847553911705488219697045171397464038915992746391608033978493909858001334394369", "re_radius": "8.28e-107", "re_digits": 110, "im": "-1182.9050804024731272019496178104952012094226460037562000419243152865923019747610490562568947104289872120575574", "im_radius": "4.59e-107", "im_digits": 110 } } }, "m2": { "orders": { "-3": { "re": "-204.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-112", "re_digits": 110, "im": "4.7343449395496104170276276984622637587631596195831495266936511848493003794275359894853181288321897485344602432e-307", "im_radius": "4.55e-417", "im_digits": 110 }, "-2": { "re": "-46.744013080261889308814600869569712202198486404766757530870452250460951212069221386588397265450989297045554283", "re_radius": "1.19e-109", "re_digits": 110, "im": "-2.1410788356657275336056525584441623663942069102130097992371023699997766835045450942227575352629847524206804597e-296", "im_radius": "6.97e-407", "im_digits": 110 }, "-1": { "re": "-516.54836062920359985701382606891499072375240139053210759262514061146101242288648501779364824346533156965790613", "re_radius": "3.38e-108", "re_digits": 110, "im": "7.4948297066168417557074432494300413969320231375701603960084536125211384887505765411151454254368107848146135971e-286", "im_radius": "2.18e-396", "im_digits": 110 }, "0": { "re": "12781.140499118497971807462377968607111831500193516788392656206433402896011832564068899431398012729336408507975", "re_radius": "7.89e-107", "re_digits": 110, "im": "62994.623071047838418363891116221172724740054403442388647277878568092990397492343454849060218555376338402319983", "im_radius": "9.76e-107", "im_digits": 110 }, "1": { "re": "-376640.22568318230459542964440062939408995710568386759077219709532663132286098697276177858328141694004692233440", "re_radius": "4.87e-105", "re_digits": 110, "im": "-561471.50874669134955064027699483259152549799300169860087047109835054874594219516334943917510191089479096409582", "im_radius": "3.50e-105", "im_digits": 110 }, "2": { "re": "3118380.9126050097793789103649418368856110890204384010098164035625948640531644323672938492153178394905805195476", "re_radius": "4.79e-104", "re_digits": 110, "im": "2310427.4119955336070115098652239495208216472778852391970208075404101487705542991840965334323959474406590741986", "im_radius": "3.53e-104", "im_digits": 110 }, "3": { "re": "-15231780.836838677518964388232185865348452205269137223803063684607315707450641198598456343876428046748455230054", "re_radius": "1.25e-103", "re_digits": 110, "im": "-5888876.7519134675046352016588220987567235721080695719955763740020401838617602943134819013702365351870679978626", "im_radius": "4.16e-104", "im_digits": 110 }, "4": { "re": "56556790.330219570373169775118414575150377851698796160685537529015342590151300862300609948152713927540645634538", "re_radius": "1.01e-103", "re_digits": 110, "im": "10465658.166790840636720055250935477417911690152065593704832435429000657878906227137059673073749437292358279969", "im_radius": "6.03e-105", "im_digits": 110 }, "5": { "re": "-184027534.21065572658991234909213395166650922752661059481867864868797850598837401413023968554480330828898073381", "re_radius": "1.43e-102", "re_digits": 110, "im": "-13800483.731181592913924364294045315646368741483742255440314420064793117265320087573356259705698511386732659225", "im_radius": "4.30e-104", "im_digits": 110 } } }, "m3": { "orders": { "-3": { "re": "-272.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-112", "re_digits": 110, "im": "6.1210857759696963032220340710027532722309658990504138058777023116959549477597612805396709356372246738978717267e-308", "im_radius": "3.06e-418", "im_digits": 110 }, "-2": { "re": "201.67464922631748092158053217390705039706868479364432329217273033271873171724103815121547031273201427060592762", "re_radius": "2.51e-108", "re_digits": 110, "im": "-2.7682239831617428003073513380826823973655105580756456877108475059858991887199761194606765082147270145160028640e-297", "im_radius": "1.28e-407", "im_digits": 110 }, "-1": { "re": "-620.55262077428549207637601010381604635039339591846230037766783751076325617175906607245360511835053437513198106", "re_radius": "2.65e-108", "re_digits": 110, "im": "9.6901463869340254376171045847216030163736780078260148992741787051412580423763537359589598283195516862856721789e-287", "im_radius": "1.49e-397", "im_digits": 110 }, "0": { "re": "6101.0043294280554019821489776527241657666646076603449831136647046997844799612450254157246148384122057512189144", "re_radius": "3.20e-107", "re_digits": 110, "im": "12827.176285713990713222665057088565999599758380508059518151442653177360033543099355254289710351353406408802805", "im_radius": "4.04e-106", "im_digits": 110 }, "1": { "re": "-100922.73407309459229085980549778903264877945914411210664485334688483756315049452099896703384486047112541999578", "re_radius": "3.59e-105", "re_digits": 110, "im": "-108335.38038567539387218156272667192249666626391045162332347399883524243491218007052154352771412101838758878499", "im_radius": "2.53e-105", "im_digits": 110 }, "2": { "re": "732600.09432675359626644617888973242388921738173041492268566505455807925443846288323139869925294508555530802305", "re_radius": "8.33e-106", "re_digits": 110, "im": "422192.30762597343094231792304087593480393869084531726731586552860518380673845568754451884107439224696831294210", "im_radius": "3.82e-106", "im_digits": 110 }, "3": { "re": "-3405613.8242055681716882674533349940393935031934205005170755699226545661908298918589505256514047334002886936997", "re_radius": "1.55e-104", "re_digits": 110, "im": "-1022035.7744027046661554490820633249347989693980578795200198732098286164303919061462157776033342913672750025940", "im_radius": "3.39e-104", "im_digits": 110 }, "4": { "re": "12477854.689895194703386455258801035046558134799976979700958643931965066644789692025655809248235273086331422138", "re_radius": "4.45e-103", "re_digits": 110, "im": "1732138.9563658680349461958053811426093090769258873222729546504013121507249921670281957222891206686250677593417", "im_radius": "1.08e-104", "im_digits": 110 }, "5": { "re": "-40860812.952334843073039887118193818328900250084946490334546055149558483972809948850778277201933737941286713003", "re_radius": "3.53e-103", "re_digits": 110, "im": "-2187498.8389725939042872678235582454895676053261931986110841994279233527325211620722433073930215212317290721941", "im_radius": "2.13e-104", "im_digits": 110 } } } } }, "B": { "output_sha256": "aa8d09357b94f9763f9ac08e07d7db2e01e437da965dc99ba1b118cc1f13b7c2", "output_bytes": 14409, "config_sha256": "c7fa3f4d0435caec687645be531eee7922f9e9fafe4150f15f807ae7c9b06343", "goal_digits": 130, "eps_order": 11, "d0": "2", "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "wall": "28:50.66", "maxrss_kB": 200688, "masters": { "m0": { "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-145", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417494212474428815120434596285087", "re_radius": "2.75e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236588165796944801017019894381307", "re_radius": "3.81e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147564903311258580265703964652725085235014", "re_radius": "3.12e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275524184113061368726256302790652198395637425204", "re_radius": "8.25e-140", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807648725270824079701088887761537712791200939383745248", "re_radius": "1.47e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217576345350089004159663456361659829013546406132929995229847", "re_radius": "4.59e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763427932270645122229600521781095958338873516094274010455256716850", "re_radius": "3.09e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368396752835213250552221877304189544983220197018089930922804782606799488521", "re_radius": "3.78e-139", "re_digits": 140, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "orders": { "0": { "re": "0.10087846555588046169347526634157174918473346963366419049585835026253266005464292659701723489332379668947424629172660717956891007432864879195", "re_radius": "1.98e-142", "re_digits": 140, "im": "4.7054680696274313763260699823320234006847921228685785698734831320599582856692400679024290180466865341987559607049119623786675472394130640100", "im_radius": "4.00e-140", "im_digits": 140 }, "1": { "re": "-21.909099809991665751663148455133444637579876768358080488136602608298613219195607007332814239485438959532728064424159543281224397191327733347", "re_radius": "3.33e-139", "re_digits": 140, "im": "-43.302693710076696345989042644979162075427838758793466397734358522798056361881844243608488229470832571939019511612149355466930527065844850655", "im_radius": "1.26e-139", "im_digits": 140 }, "2": { "re": "207.36928240342322054349081438508987283453542247737053030281772336363507311697279410626582087956689340942699041914548869963227569070879413007", "re_radius": "1.31e-138", "re_digits": 140, "im": "183.75773805069379425948600565708921636522332859381462001911132958084266923947995701697204117853067595799898775539426952119345705227516559222", "im_radius": "4.57e-138", "im_digits": 140 }, "3": { "re": "-1056.9671296546531626173917599664028504280144443083162345140054690603524962155747438434087219157258639027728055875814323419615066590652510241", "re_radius": "2.20e-137", "re_digits": 140, "im": "-481.66261507407499970623292274916713834606201646727307114138562688983759892885787454750810719614402776894258632430186795890273404836282310641", "im_radius": "1.09e-138", "im_digits": 140 }, "4": { "re": "3969.0345311897090893784076516841279907556195007986690936135379160702647918686749753598507975621580918824137214629165140332738468403232018377", "re_radius": "1.42e-137", "re_digits": 140, "im": "877.57943142012014780301619103216948660289073220121085653137783936508468518380214204859775535934418403423062901845403328449920574497948313870", "im_radius": "2.74e-138", "im_digits": 140 }, "5": { "re": "-12861.428233351256678634931186845847553911705488219697045171397464038915992746391608033978493909858001334394369082694886423152198997570600721", "re_radius": "6.52e-137", "re_digits": 140, "im": "-1182.9050804024731272019496178104952012094226460037562000419243152865923019747610490562568947104289872120575573541101572327175162223700848797", "im_radius": "2.48e-137", "im_digits": 140 } } }, "m2": { "orders": { "-3": { "re": "-204.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-142", "re_digits": 140, "im": "1.4971313283373983303879538967160786058115064164610050693434076236278497506178336966927183212678972742555640583380427126272728056488108647622e-384", "im_radius": "4.67e-524", "im_digits": 140 }, "-2": { "re": "-46.744013080261889308814600869569712202198486404766757530870452250460951212069221386588397265450989297045554283118065521652171543134235784231", "re_radius": "1.95e-139", "re_digits": 140, "im": "-2.1410788420390000289379553411970558942937328482909904562636328048611449275565402540881057738954814641015165857577241365369805793948826423991e-371", "im_radius": "2.73e-511", "im_digits": 140 }, "-1": { "re": "-516.54836062920359985701382606891499072375240139053210759262514061146101242288648501779364824346533156965790612663008328052133592982199397519", "re_radius": "3.99e-138", "re_digits": 140, "im": "2.3700732617059205915445878475270005027241256134700489996721435108884829171503048256201887149916932663639684504654290669695350664513704484308e-358", "im_radius": "3.98e-498", "im_digits": 140 }, "0": { "re": "12781.140499118497971807462377968607111831500193516788392656206433402896011832564068899431398012729336408507975078880141834779781332234382645", "re_radius": "1.73e-136", "re_digits": 140, "im": "62994.623071047838418363891116221172724740054403442388647277878568092990397492343454849060218555376338402319983097574938977869810915220496419", "im_radius": "3.86e-136", "im_digits": 140 }, "1": { "re": "-376640.22568318230459542964440062939408995710568386759077219709532663132286098697276177858328141694004692233440486044759114803790262595212381", "re_radius": "8.08e-136", "re_digits": 140, "im": "-561471.50874669134955064027699483259152549799300169860087047109835054874594219516334943917510191089479096409581650737417929675118871871402400", "im_radius": "4.69e-135", "im_digits": 140 }, "2": { "re": "3118380.9126050097793789103649418368856110890204384010098164035625948640531644323672938492153178394905805195475521175077083217399891522827811", "re_radius": "1.88e-134", "re_digits": 140, "im": "2310427.4119955336070115098652239495208216472778852391970208075404101487705542991840965334323959474406590741986352202720524975022710644464305", "im_radius": "2.64e-134", "im_digits": 140 }, "3": { "re": "-15231780.836838677518964388232185865348452205269137223803063684607315707450641198598456343876428046748455230053875806206824364772785017748783", "re_radius": "4.77e-133", "re_digits": 140, "im": "-5888876.7519134675046352016588220987567235721080695719955763740020401838617602943134819013702365351870679978626415671605862945770820499416988", "im_radius": "2.98e-134", "im_digits": 140 }, "4": { "re": "56556790.330219570373169775118414575150377851698796160685537529015342590151300862300609948152713927540645634537899372178946726573925478688608", "re_radius": "1.65e-134", "re_digits": 140, "im": "10465658.166790840636720055250935477417911690152065593704832435429000657878906227137059673073749437292358279968993996934068185934903819361415", "im_radius": "4.64e-133", "im_digits": 140 }, "5": { "re": "-184027534.21065572658991234909213395166650922752661059481867864868797850598837401413023968554480330828898073380857674844261047347578138642771", "re_radius": "1.14e-132", "re_digits": 140, "im": "-13800483.731181592913924364294045315646368741483742255440314420064793117265320087573356259705698511386732659225042899731340630150975599217654", "im_radius": "4.88e-134", "im_digits": 140 } } }, "m3": { "orders": { "-3": { "re": "-272.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-142", "re_digits": 140, "im": "1.9356572861907761106498924066132626453354941131511688849623547724916909865251240455284586958935506986305133054901207981043560947553903633619e-385", "im_radius": "2.24e-525", "im_digits": 140 }, "-2": { "re": "201.67464922631748092158053217390705039706868479364432329217273033271873171724103815121547031273201427060592762250924597113043794248768562103", "re_radius": "4.41e-138", "re_digits": 140, "im": "-2.7682239910804300949118559090340372028007903651315781589885625037472005269210806418124033277331200058667326297141165188047498317451550285738e-372", "im_radius": "1.18e-512", "im_digits": 140 }, "-1": { "re": "-620.55262077428549207637601010381604635039339591846230037766783751076325617175906607245360511835053437513198105735398703228250041923600055987", "re_radius": "9.07e-139", "re_digits": 140, "im": "3.0642933528895550993355041581680866635894822042770752821883536135805227466552609729230156715495489953476269506834550048336759378372313642475e-359", "im_radius": "2.45e-499", "im_digits": 140 }, "0": { "re": "6101.0043294280554019821489776527241657666646076603449831136647046997844799612450254157246148384122057512189143680571783120467684701291845648", "re_radius": "3.85e-137", "re_digits": 140, "im": "12827.176285713990713222665057088565999599758380508059518151442653177360033543099355254289710351353406408802805403165492599222014353296946382", "im_radius": "2.11e-136", "im_digits": 140 }, "1": { "re": "-100922.73407309459229085980549778903264877945914411210664485334688483756315049452099896703384486047112541999577641519420974229572507861013380", "re_radius": "1.70e-135", "re_digits": 140, "im": "-108335.38038567539387218156272667192249666626391045162332347399883524243491218007052154352771412101838758878498747553154067585191851287832084", "im_radius": "8.47e-136", "im_digits": 140 }, "2": { "re": "732600.09432675359626644617888973242388921738173041492268566505455807925443846288323139869925294508555530802305083129802768511000223690753785", "re_radius": "3.13e-135", "re_digits": 140, "im": "422192.30762597343094231792304087593480393869084531726731586552860518380673845568754451884107439224696831294209961873491954357610181799712729", "im_radius": "3.51e-135", "im_digits": 140 }, "3": { "re": "-3405613.8242055681716882674533349940393935031934205005170755699226545661908298918589505256514047334002886936997154891291912233533342817805144", "re_radius": "1.51e-134", "re_digits": 140, "im": "-1022035.7744027046661554490820633249347989693980578795200198732098286164303919061462157776033342913672750025940338873255666032487611884787830", "im_radius": "4.28e-134", "im_digits": 140 }, "4": { "re": "12477854.689895194703386455258801035046558134799976979700958643931965066644789692025655809248235273086331422138444509586578010033095498524941", "re_radius": "4.19e-133", "re_digits": 140, "im": "1732138.9563658680349461958053811426093090769258873222729546504013121507249921670281957222891206686250677593416892727484296642515259029642268", "im_radius": "3.88e-134", "im_digits": 140 }, "5": { "re": "-40860812.952334843073039887118193818328900250084946490334546055149558483972809948850778277201933737941286713003352878400174465610150829310790", "re_radius": "3.12e-133", "re_digits": 140, "im": "-2187498.8389725939042872678235582454895676053261931986110841994279233527325211620722433073930215212317290721940787309870430442114753006794583", "im_radius": "3.12e-134", "im_digits": 140 } } } } } } } }, "fresh_points": { "F10": { "t": "10", "region": "between (4 < t < 16)", "kind": "fresh point (goal 60 / goal 40 pair), predicted before it was run", "legs": { "g60": { "t": "10", "goal_digits": 60, "output_sha256": "97de02d480bf6487dba660c23cd3e0abba0dd21cbab49d9848791095907d05c0", "config_sha256": "fad4f3b7cbb3b45c9bf86c203ac9b7905a0fff561215e9c49f8379a4ddd5cd06", "eps_order": 11, "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "d0": "2", "working_pre": 100, "wall": "3:13.78", "maxrss_kB": 99032, "predicted_before_run": true, "masters": { "m0": { "leading_order": -3, "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236", "re_radius": "9.13e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147560678636", "re_radius": "4.70e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275521277041674326", "re_radius": "7.83e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807632254979589761964295", "re_radius": "4.25e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217498600830047457406636098548", "re_radius": "1.58e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763119739974984084758963836419674057", "re_radius": "3.89e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368395721735597726704848175839008219561274437", "re_radius": "4.18e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "leading_order": 0, "orders": { "0": { "re": "10.749918854244199297797028309964983447987721712587407447162198329921376500007413959002120621680668399380227132", "re_radius": "4.75e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-57.345993979419781079364824178560750029014501319664921937801084625794932518222736161979170022105834488966458502", "re_radius": "2.61e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "260.07567464822901507731164688872670405599389913564630522558969186924512024033174182007988801405838159569218515", "re_radius": "9.41e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-986.45074727250934398242323781886165954938595653035307483494956735153037912823653575596483802281441049941267397", "re_radius": "3.94e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3457.7624119280897666913275467458254887405797425880579298338025280804330975629441355007642699164792444988864150", "re_radius": "3.65e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11472.353169916071387762933390632298054028180786955892129331825591067694369523830348292976793091749111916573375", "re_radius": "4.89e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "leading_order": -3, "orders": { "-3": { "re": "-14.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "4.2430579258643801454735077834609021037706921094767911498422238651644445246619161793517766582533634796145207738", "re_radius": "3.25e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-40.900884709607060011587689685002769390611667604674025082603189017820838274640008282948969039308234410482875140", "re_radius": "1.66e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "628.79351292652616597967779468074050528691064888410031977311057885471407089521886678208210052633369051160246716", "re_radius": "4.83e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-3470.5953894046539367342398286465063912662844181569154413233339137697357175515096374465117473416557361012877646", "re_radius": "2.37e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "15637.862900728935040364409401830322547609016480403182887821333856058441684092390933634527300092416505042276515", "re_radius": "4.84e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-59865.273940966701736838485862209758391228109678458012537461803440264303789463602521057037977090207718906449065", "re_radius": "1.19e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "210835.86433149891486902118316608422778826382848298925409762458634801204139182763962415752159868597689546318796", "re_radius": "1.76e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-702282.85147105717760232827602945840444076305813072216149806274708672480732054437397576135452024615585571231815", "re_radius": "3.95e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "leading_order": -3, "orders": { "-3": { "re": "-18.666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667", "re_radius": "3.34e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "16.324077234485840193964677044614536138360922812635721533122965153552592699549221572469035544337817972819361042", "re_radius": "1.37e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-54.338747556325131554858639795973903647497988889642921938588803540076884956405280513914264744413541865220698167", "re_radius": "1.54e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "247.22714492733520801508373133430801078468884107469780928020980081715288661664397519947966171313859646490081021", "re_radius": "2.79e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-1334.5236764429885258369158298769786024582631315785110664966862672165158281534682625001748058195746860043278319", "re_radius": "4.07e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "5695.8546258222702364773389178659282418472337256267010073670238776801108445454943181677260349721367599403369842", "re_radius": "2.59e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-22605.987140782330139854647670995989490882404399287155257296990066933497477420144652280335386150977759027338368", "re_radius": "2.24e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "78500.584151636734481465319232290149951693515873434126475213356442918337111221958372228180093845762860359649311", "re_radius": "2.74e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-268332.20849699551186085513342395413741655332256215682980987939908583412277070069699120155900369758086409903147", "re_radius": "4.89e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } } } }, "g40": { "t": "10", "goal_digits": 40, "output_sha256": "2db5a737ebf4435718f7c6b209407581bdf53b1f925e33320af0c917b8faf0f1", "config_sha256": "fea974d6d2067fe8272c03addb363f0daff177ebd39dec2f7fc171dd2dd3b895", "eps_order": 11, "run_direction_configured": "(none: the real-axis form below the threshold)", "run_direction_effective": "NegIm", "d0": "2", "working_pre": 100, "wall": "2:35.52", "maxrss_kB": 71816, "predicted_before_run": true, "masters": { "m0": { "leading_order": -3, "orders": { "-3": { "re": "-0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999996908299360947576010942266", "re_radius": "3.66e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940038033058459890500901739739822", "re_radius": "3.53e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772337177987803056086904860259776520225", "re_radius": "3.54e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880464190964867486412044385705730894714239490", "re_radius": "3.29e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218260004112607177451407922765759046524770704297", "re_radius": "1.60e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747552803742202195988172098614124320602695442216056700", "re_radius": "1.63e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451301926449539739990524781147920585226488439713619181070715", "re_radius": "4.66e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594655383218538826144873430490415726529406800165470486377174301", "re_radius": "2.65e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896593708057441925378904218328808715966885539652870099788210957186940", "re_radius": "6.74e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "leading_order": 0, "orders": { "0": { "re": "10.749918854244199297797028309964983447987721712587407447162198325153370475413624123646905800148489265085349811", "re_radius": "4.01e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-57.345993979419781079364824178560750029014501319664921937800416592489390744519524942311804812392249398831138917", "re_radius": "1.85e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "260.07567464822901507731164688872670405599389913564630514882761015312183939406281434875951649397431720671228548", "re_radius": "1.65e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-986.45074727250934398242323781886165954938595653034575859941711867783322997688325730607595002450204905196002996", "re_radius": "2.62e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "3457.7624119280897666913275467458254887405797420054255975866260426088276988607265971374733703820104617832203198", "re_radius": "5.44e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-11472.353169916071387762933390632298054028141859595833158379887422893408880938518188110096128139380967316606726", "re_radius": "3.75e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m2": { "leading_order": -3, "orders": { "-3": { "re": "-13.999999999999999999999999999999999999999999999999999999999999999999999999999973666124601138150005790755118149", "re_radius": "1.83e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "4.2430579258643801454735077834609021037706921094767911498422238651644445169896417616859422447725086305106227091", "re_radius": "3.52e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-40.900884709607060011587689685002769390611667604674025082603189017819144521126754509470753369538810005984824163", "re_radius": "1.45e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "628.79351292652616597967779468074050528691064888410031977311057856048923075624047452127015246237589953576752631", "re_radius": "3.70e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-3470.5953894046539367342398286465063912662844181569154413232926906690215712191452689580804893225904475878805511", "re_radius": "1.89e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "15637.862900728935040364409401830322547609016480403182883084487654151247487959798072143757625171651239187638470", "re_radius": "3.39e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-59865.273940966701736838485862209758391228109678457561066087844911836409767373615715241072746627341152680334659", "re_radius": "3.62e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "210835.86433149891486902118316608422778826382844703608959935240788716349368381729751829023226585093626183760227", "re_radius": "1.82e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-702282.85147105717760232827602945840444076065599527145535321590258236136094535038089036367369040859890655687347", "re_radius": "5.16e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m3": { "leading_order": -3, "orders": { "-3": { "re": "-18.666666666666666666666666666666666666666666666666666666666666666666666666666656623260003700175743196133421480", "re_radius": "8.42e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "16.324077234485840193964677044614536138360922812635721533122965153552592696623113120547299069021712846106653676", "re_radius": "3.60e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-54.338747556325131554858639795973903647497988889642921938588803540076238980200348366335340534299637882202143827", "re_radius": "3.53e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "247.22714492733520801508373133430801078468884107469780928020980070493924131833340271210747134015924446870656369", "re_radius": "1.37e-108", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-1334.5236764429885258369158298769786024582631315785110664966705452445628236269803822459244221127728976017203731", "re_radius": "3.30e-107", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "5695.8546258222702364773389178659282418472337256267010055604502089033777929707032583911898646760654181622589072", "re_radius": "2.02e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-22605.987140782330139854647670995989490882404399286983071769683605141401646010303644107111958021097659194612278", "re_radius": "4.03e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "78500.584151636734481465319232290149951693515859722038598012026432714893278444972225128377259749910142623662111", "re_radius": "4.85e-106", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-268332.20849699551186085513342395413741655240641760130340022176644685826648623319969308268819493778860358829024", "re_radius": "4.09e-105", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } } } } } }, "F20": { "t": "20", "region": "physical (t > 16, +i0)", "kind": "fresh point (goal 60 / goal 40 pair), predicted before it was run", "legs": { "g60": { "t": "20", "goal_digits": 60, "output_sha256": "d5fcbf3842cdf4fdff83e513a6e48d323753c1e32865ea2aae5bb25d824be247", "config_sha256": "debd81209e00e4a9ceddb65d99a315b4dc5da2df99cde5b48f612463aaa1ec96", "eps_order": 11, "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "d0": "2", "working_pre": 100, "wall": "3:03.84", "maxrss_kB": 95436, "predicted_before_run": true, "masters": { "m0": { "leading_order": -3, "orders": { "-3": { "re": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-115", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940128108411898752402485438943417", "re_radius": "4.95e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772357063242261280597723599558196845236", "re_radius": "9.13e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880467645258638732941386335175644147560678636", "re_radius": "4.70e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218308401225297877208583195684275521277041674326", "re_radius": "7.83e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747558364920169047225689508446807632254979589761964295", "re_radius": "4.25e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451302456486622800604147964649217498600830047457406636098548", "re_radius": "1.58e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594697592840134723893396332763119739974984084758963836419674057", "re_radius": "3.89e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896596528192101529413763368395721735597726704848175839008219561274437", "re_radius": "4.18e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "leading_order": 0, "orders": { "0": { "re": "14.245557803170666707635317031063720191932811556657208415593294216560077971751748879613436001005590636271442470", "re_radius": "2.23e-109", "re_digits": 110, "im": "7.8941805268755070913784463475875465342231163884438253868622839041113569396579493216479055582105573084252672546", "im_radius": "2.67e-110", "im_digits": 110 }, "1": { "re": "-83.374729759646288394771748140067880601997734264190873589640325323727214584258784505285000169637145957516622945", "re_radius": "9.19e-110", "re_digits": 110, "im": "11.881134284265299995925271093604354774421434724886718701103207575151565450800930783037901044391680829049940333", "im_radius": "4.37e-109", "im_digits": 110 }, "2": { "re": "232.54464322375248875901455050643695582904850968447076412001126243228009387405556711634676562324979310784949695", "re_radius": "1.51e-108", "re_digits": 110, "im": "-24.180291881414550574005748695528067266685405541653058976330061420075974068058896883014806267945282162146706034", "im_radius": "1.88e-109", "im_digits": 110 }, "3": { "re": "-1004.4268674030285417698639869567743257847345683474955735412083180301449579223281595932050009244711580051936526", "re_radius": "4.14e-107", "re_digits": 110, "im": "-74.702876842248553068927968468750060701627180428836646474108870009602653730516682625776558995877235548955119137", "im_radius": "3.19e-109", "im_digits": 110 }, "4": { "re": "3588.1785092210510939607750346748406160172519351316535442415714295365090658092548615881594503541349363100075582", "re_radius": "1.85e-107", "re_digits": 110, "im": "-47.920205036485035832868184236140848782611540622473710446302674483296254869230258585278575894658616446142548061", "im_radius": "8.62e-110", "im_digits": 110 }, "5": { "re": "-11424.558681320364700937136222234050568767996288329110765932801458556489115616507677280870989017886630854135383", "re_radius": "2.43e-106", "re_digits": 110, "im": "64.418153554383943005776102749034971133634956457494354057038010594956782947220564963347359196389061456588765443", "im_radius": "7.31e-110", "im_digits": 110 } } }, "m2": { "leading_order": -3, "orders": { "-3": { "re": "-24.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "5.2936699097734430345887334073762374536330277105719026826765878716134885999408331063787189187510893036983544046e-124", "im_radius": "3.09e-234", "im_digits": 110 }, "-2": { "re": "1.5595278729103659636688704859329750350354721876744991140152409117104763279918563074601885570057659650534641685", "re_radius": "3.99e-111", "re_digits": 110, "im": "-7.5045720393706016734806298251061739705455059118498149332828518933106617913565355712436295345942101230520650729e-117", "im_radius": "5.74e-228", "im_digits": 110 }, "-1": { "re": "-65.934962389585825266610117915734991566040127277613924162078028575380847440337191268993425839527028997555993385", "re_radius": "2.06e-109", "re_digits": 110, "im": "8.0837467677524241748753862464385409986860447346151728761711507064079445597257224417742172156102259083124702603e-110", "im_radius": "3.51e-220", "im_digits": 110 }, "0": { "re": "2315.6629515574387147336177705461792360457636973894609801956477516931583452103937534167634689290979948322732829", "re_radius": "4.88e-108", "re_digits": 110, "im": "961.92804788913607154878220981764671725834461343933682325762142725506243635090519680418099532568068659646175073", "im_radius": "1.18e-108", "im_digits": 110 }, "1": { "re": "-13788.865932162301066281643845077264454848475267044812497842807333408673107295277140865014272329497254398156945", "re_radius": "2.84e-107", "re_digits": 110, "im": "1455.7796405240069341193634895136136799234638048580238526806852415252647514664197769482556889489871563617390470", "im_radius": "3.92e-107", "im_digits": 110 }, "2": { "re": "45065.789151174763204675694060702697457352260692916478154948718311515768448484458519106606793767724543949935942", "re_radius": "3.49e-106", "re_digits": 110, "im": "-2924.7775290781084159375910841546656057385402593381174791541167779195257469179616401354220086645825242740955699", "im_radius": "1.57e-107", "im_digits": 110 }, "3": { "re": "-188506.22796991681205572091365895878891200461273312536253787046848446850447625837120030837638072990353246011582", "re_radius": "4.95e-105", "re_digits": 110, "im": "-9101.5342231008651499022178861448463578440096587217597051006586177157212732241868395184970159329014296047378272", "im_radius": "2.65e-107", "im_digits": 110 }, "4": { "re": "673765.47409534662969943263600978940600260059507032232899505923581380896631354430764678758033676754978248018787", "re_radius": "1.84e-105", "re_digits": 110, "im": "-5913.7567754290153264989328673027565525387359168490507104607565963624443037441046100889516356067813036846907529", "im_radius": "1.10e-107", "im_digits": 110 }, "5": { "re": "-2190066.2042878712780323178881716305555962643535733399781556392200364505800216507490822676831672638167788734064", "re_radius": "4.42e-104", "re_digits": 110, "im": "7711.9077736867494850646857110174622883959286542166978991177797999989170655706583400255157127900104662352187976", "im_radius": "1.07e-107", "im_digits": 110 } } }, "m3": { "leading_order": -3, "orders": { "-3": { "re": "-32.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "re_radius": "3e-113", "re_digits": 110, "im": "9.5100146610285496902622070021512576966117259473440145269708879540461504557796415871585940142152827073482903299e-125", "im_radius": "4.44e-235", "im_digits": 110 }, "-2": { "re": "26.079370497213821284891827314577300046713962916899332152020321215613968437322475076613584742674354620071285592", "re_radius": "3.01e-109", "re_digits": 110, "im": "-1.3481873885803630169088171682560870922360681794316968632765772076232798572692316486915942426617010136785070335e-117", "im_radius": "1.94e-227", "im_digits": 110 }, "-1": { "re": "-84.139477725691466319149027706912963789755641891159731330119279012218272915108111332784756343041804628830879067", "re_radius": "2.43e-109", "re_digits": 110, "im": "1.4522354355665018989935829245099394534528371002116043865075687742421122417514378716422105096178083260888735282e-110", "im_radius": "1.75e-220", "im_digits": 110 }, "0": { "re": "631.62113638297370194448266717660981308775931470823696451076959273120248231027058859866443126110589198611558499", "re_radius": "2.88e-109", "re_digits": 110, "im": "174.93310457060516267486301468212415892057909853121615968020527604000470167714501601383371813637926692680938419", "im_radius": "2.41e-108", "im_digits": 110 }, "1": { "re": "-3695.1019224243803880698560881876476328337819721271883232315340605733676245128794588001025718605624649154406735", "re_radius": "2.44e-107", "re_digits": 110, "im": "266.94315582644371125291797553932565782531550291790449196164336369123797075949196289036098048472861136925947623", "im_radius": "4.80e-108", "im_digits": 110 }, "2": { "re": "13407.667515083235725790981460667336745135567154248152605568040183506467304836804992742288521851263623390637361", "re_radius": "4.17e-106", "re_digits": 110, "im": "-525.90244394015602849673403750236216454048224503216089591491378914345866909228863080747658644177893530979001586", "im_radius": "3.09e-108", "im_digits": 110 }, "3": { "re": "-55878.929095015665142446998250980746611000132455739024060772906841239588222602585382268016127036993771064287373", "re_radius": "2.65e-106", "re_digits": 110, "im": "-1654.6462404289329368434743336191312340069804396812156476463145702712261964676118427508495922120691624530083965", "im_radius": "7.12e-108", "im_digits": 110 }, "4": { "re": "199305.89916920851751019577782343355579520203659368206933129214409650924352665992122762176621803151983456452723", "re_radius": "1.85e-105", "re_digits": 110, "im": "-1095.7021771357449552464355857855923691642110846390602119508081897373080949165470834227294448474554795238929444", "im_radius": "2.83e-107", "im_digits": 110 }, "5": { "re": "-665537.57273912327674933804270709885365662466411604641115027661519714719570816282099637932753783659610229661782", "re_radius": "3.26e-105", "re_digits": 110, "im": "1364.4035710762674772792476048950952975541833700175266147102087738902134541787946077370644944111186966611979806", "im_radius": "1.22e-107", "im_digits": 110 } } } } }, "g40": { "t": "20", "goal_digits": 40, "output_sha256": "aa5f657671186f8795350c5225bb13b31755170d065b01dc61a4da7c1be322ed", "config_sha256": "fb4b09232682cc91a51d6b64b2ad44cd9f1802f421a1b08255463eb67631a1d7", "eps_order": 11, "run_direction_configured": "NegRe", "run_direction_effective": "NegRe", "d0": "2", "working_pre": 100, "wall": "2:24.33", "maxrss_kB": 73768, "predicted_before_run": true, "masters": { "m0": { "leading_order": -3, "orders": { "-3": { "re": "-0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999996908299360947576010942266", "re_radius": "3.66e-111", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-2": { "re": "1.7316469947045985818195362702472072931264780078197707964173017046546031803329940038033058459890500901739739822", "re_radius": "3.53e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "-1": { "re": "-3.9667017574070736891413153635676368037958019829335315007820873650652072772337177987803056086904860259776520225", "re_radius": "3.54e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "0": { "re": "6.3401444288723417993391423064424837741925652409722018009071960133880464190964867486412044385705730894714239490", "re_radius": "3.29e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "1": { "re": "-10.011341245050216788067004338816896070403238441181753368620479218260004112607177451407922765759046524770704297", "re_radius": "1.60e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "2": { "re": "14.332291988083560186803251862196033212878518746932062028747552803742202195988172098614124320602695442216056700", "re_radius": "1.63e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "3": { "re": "-19.734111731096988194311630751884633149561760829219451301926449539739990524781147920585226488439713619181070715", "re_radius": "4.66e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "4": { "re": "26.034005454494926009500517102561156376905378437594655383218538826144873430490415726529406800165470486377174301", "re_radius": "2.65e-109", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 }, "5": { "re": "-33.342088792576563724707177571394718706523896593708057441925378904218328808715966885539652870099788210957186940", "re_radius": "6.74e-110", "re_digits": 110, "im": "0", "im_radius": "0", "im_digits": 0 } } }, "m1": { "leading_order": 0, "orders": { "0": { "re": "14.245557803170666707635317031063720191932811556657208415593294211792057930184032008527275940751868518121646425", "re_radius": "3.29e-109", "re_digits": 110, "im": "7.8941805268755070913784463475875465342231163884438253868622839041113569468869855297883139718702033999775344536", "im_radius": "3.61e-110", "im_digits": 110 }, "1": { "re": "-83.374729759646288394771748140067880601997734264190873589639657288457793988268378962634962218137475849966513856", "re_radius": "4.20e-109", "re_digits": 110, "im": "11.881134284265299995925271093604354774421434724886718701103207575150552613955140454056366435256529404693269637", "im_radius": "2.82e-109", "im_digits": 110 }, "2": { "re": "232.54464322375248875901455050643695582904850968447076404324895505214895996711114873602876546006563432455887858", "re_radius": "4.28e-109", "re_digits": 110, "im": "-24.180291881414550574005748695528067266685405541653058976330061303694033277772511725539949858987049293702961085", "im_radius": "1.60e-109", "im_digits": 110 }, "3": { "re": "-1004.4268674030285417698639869567743257847345683474882572841677683569895994173256131717582282071205783832216894", "re_radius": "7.40e-108", "re_digits": 110, "im": "-74.702876842248553068927968468750060701627180428836646474119962361596541354770075507514400277148331447661223576", "im_radius": "2.27e-109", "im_digits": 110 }, "4": { "re": "3588.1785092210510939607750346748406160172519345490194991905604811286807080998193025780878759482719317856230924", "re_radius": "3.15e-107", "re_digits": 110, "im": "-47.920205036485035832868184236140848782611540622473709562964064265877758448393742041538833913880835513693996789", "im_radius": "2.07e-109", "im_digits": 110 }, "5": { "re": "-11424.558681320364700937136222234050568767957360854614804207389255836331444225671284443351956755120949492808310", "re_radius": "3.09e-106", "re_digits": 110, "im": "64.418153554383943005776102749034971133634956457435336164687867665863962199011577254763374040364829261977724437", "im_radius": "3.46e-109", "im_digits": 110 } } }, "m2": { "leading_order": -3, "orders": { "-3": { "re": "-23.999999999999999999999999999999999999999999999999999999999999999999999999999917285296478141477248589849113812", "re_radius": "4.24e-109", "re_digits": 110, "im": "-7.7905064895380620124429231229981922953758245442722894517289675792337558028614111694779386899270579658431196522e-86", "im_radius": "3.35e-196", "im_digits": 110 }, "-2": { "re": "1.5595278729103659636688704859329750350354721876744991140152409117104763038932420995883424336815726118038414196", "re_radius": "4.96e-110", "re_digits": 110, "im": "2.2697260975094993004933879376191701341828031689260245523858230240212742167541309694886320867769058115276834615e-80", "im_radius": "3.94e-190", "im_digits": 110 }, "-1": { "re": "-65.934962389585825266610117915734991566040127277613924162078028575375527360493854364266724800881961066171114406", "re_radius": "3.39e-109", "re_digits": 110, "im": "-5.0106926026031460648957064783981081383251277155646455996900164963762357332904417668682574242789936561502780459e-75", "im_radius": "2.48e-185", "im_digits": 110 }, "0": { "re": "2315.6629515574387147336177705461792360457636973894609801956477507689981121506880317637075663744943880324844502", "re_radius": "1.06e-107", "re_digits": 110, "im": "961.92804788913607154878220981764671725834461343933682325762142725506243722131726892775555479066200685116545148", "im_radius": "3.48e-108", "im_digits": 110 }, "1": { "re": "-13788.865932162301066281643845077264454848475267044812497842677851647891887047604038864053330798566860147616857", "re_radius": "2.79e-107", "re_digits": 110, "im": "1455.7796405240069341193634895136136799234638048580238526806852415251428008510085930219631905013118484140361133", "im_radius": "2.60e-107", "im_digits": 110 }, "2": { "re": "45065.789151174763204675694060702697457352260692916478140070284224600000806428535781773712116100726176156592351", "re_radius": "7.48e-107", "re_digits": 110, "im": "-2924.7775290781084159375910841546656057385402593381174791541167639065587999654185160490739809085531184663601747", "im_radius": "4.01e-107", "im_digits": 110 }, "3": { "re": "-188506.22796991681205572091365895878891200461273312394446626881300677530621885601769127098694589578497594390770", "re_radius": "2.04e-105", "re_digits": 110, "im": "-9101.5342231008651499022178861448463578440096587217597051019941922907373900507685500122359866672242087040053874", "im_radius": "2.30e-107", "im_digits": 110 }, "4": { "re": "673765.47409534662969943263600978940600260059495739343801289380366318381369472385706213091172103057241426339193", "re_radius": "3.60e-105", "re_digits": 110, "im": "-5913.7567754290153264989328673027565525387359168490506041023771407572248283698397832820768957315123996004151258", "im_radius": "4.41e-107", "im_digits": 110 }, "5": { "re": "-2190066.2042878712780323178881716305555962568084658017606826605372313586783619057024932529707648730814609360024", "re_radius": "8.91e-105", "re_digits": 110, "im": "7711.9077736867494850646857110174622883959286542095918502298586395727619578398410296274392292106599182958569373", "im_radius": "1.66e-107", "im_digits": 110 } } }, "m3": { "leading_order": -3, "orders": { "-3": { "re": "-31.999999999999999999999999999999999999999999999999999999999999999999999999999974587335846302320553029109180406", "re_radius": "4.79e-109", "re_digits": 110, "im": "-1.3921584470204394748821940781764270130819213556944599600226304334083992872788087296720025940858724276784438211e-86", "im_radius": "3.62e-196", "im_digits": 110 }, "-2": { "re": "26.079370497213821284891827314577300046713962916899332152020321215613968429918591921132461760596190287800974454", "re_radius": "8.04e-110", "re_digits": 110, "im": "4.0559857712141732171696344760102738634698926563730957612365502362954964908979069760355906273113168512115564009e-81", "im_radius": "1.63e-191", "im_digits": 110 }, "-1": { "re": "-84.139477725691466319149027706912963789755641891159731330119279012216638412395143018509489926731327341049901327", "re_radius": "7.97e-110", "re_digits": 110, "im": "-8.9540750479138419293600919672342679437535493261031380316606161568695927269301309997295166721282969693355243491e-76", "im_radius": "3.68e-186", "im_digits": 110 }, "0": { "re": "631.62113638297370194448266717660981308775931470823696451076959244727019456716127416620302692630453613783931904", "re_radius": "3.20e-108", "re_digits": 110, "im": "174.93310457060516267486301468212415892057909853121615968020527604000470183268708570710330652151893565262746354", "im_radius": "2.13e-108", "im_digits": 110 }, "1": { "re": "-3695.1019224243803880698560881876476328337819721271883232314942795352519224464243317379391159318180048064675218", "re_radius": "2.97e-108", "re_digits": 110, "im": "266.94315582644371125291797553932565782531550291790449196164336369121617826415628625162534097777256319817257330", "im_radius": "3.82e-108", "im_digits": 110 }, "2": { "re": "13407.667515083235725790981460667336745135567154248152600996897759205075568504357232625672406054147878720762547", "re_radius": "3.11e-106", "re_digits": 110, "im": "-525.90244394015602849673403750236216454048224503216089591491378663935064156140200415297416002432744378545475592", "im_radius": "5.84e-109", "im_digits": 110 }, "3": { "re": "-55878.929095015665142446998250980746611000132455738588382701809762710074410605078456940196865445926013723332932", "re_radius": "3.57e-106", "re_digits": 110, "im": "-1654.6462404289329368434743336191312340069804396812156476465532365725581351366193933927757798701591526620070006", "im_radius": "3.51e-107", "im_digits": 110 }, "4": { "re": "199305.89916920851751019577782343355579520203655898661168881856013077603171552285193393739439299847245739162692", "re_radius": "2.95e-105", "re_digits": 110, "im": "-1095.7021771357449552464355857855923691642110846390601929446356285763966223819680602120187097755244440581714542", "im_radius": "4.42e-107", "im_digits": 110 }, "5": { "re": "-665537.57273912327674933804270709885365662234601154836616824544491876094658627311990402776943058747758465984910", "re_radius": "3.89e-105", "re_digits": 110, "im": "1364.4035710762674772792476048950952975541833700162567684522466044086446379779961249545484660100195323967093545", "im_radius": "6.63e-108", "im_digits": 110 } } } } } } } }, "stamp_utc": "2026-09-06T16:56:00Z" }