{ "sage_version": "10.9", "controls": "antipodal energy 1/2, triangle energy sqrt(3), and false comparison rejected", "entries": 99, "measurement": { "entries": 99, "longest": 101, "longest_at": 3, "block_kb": 7.21484375 }, "closed_forms": { "2": { "stored": "1/2", "accuracy_bits": null, "independent_coordinate_sum": "0.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000" }, "3": { "stored": "1.732050807568877293527446341505872366942805253810380628055806979451933016908800037081146186757248576", "accuracy_bits": 395, "independent_coordinate_sum": "[1.73205080756887729352744634150587236694280525381038062805580697945193301690880003708114618675724857567562614141540670302996994509499895247881165551209437364852809323190230558206797482010108467492326501531234326690332289 +/- 5.41e-219]" }, "4": { "stored": "3.674234614174767147295926112058837087948921220985005192649038850876440566185972539809789149656960352", "accuracy_bits": 395, "independent_coordinate_sum": "[3.6742346141747671472959261120588370879489212209850051926490388508764405661859725398097891496569603522278919018399212836872882981897566360124386759268559178292433691212915148568714451579063676553352219660184800362804487 +/- 4.96e-218]" }, "5": { "stored": "6.474691494688162439932512514134966602651820879941224847585846193424130452295121153632308789740173294", "accuracy_bits": 394, "independent_coordinate_sum": "[6.4746914946881624399325125141349666026518208799412248475858461934241304522951211536323087897401732938806676801081435941047444532625511641167440200033941811427677612296848223603353746716045430211049794256410231817212337 +/- 2.90e-218]" }, "6": { "stored": "9.985281374238570292810132345258188471418031252261688439060078427944394870772642233102325205965849436", "accuracy_bits": 395, "independent_coordinate_sum": "[9.9852813742385702928101323452581884714180312522616884390600784279443948707726422331023252059658494364100830773854737821495490163351044232758647289825996149884793359955650335565347997030069166923634288206573598296358216 +/- 8.17e-218]" }, "12": { "stored": "49.16525305762880103855435864055364736010053215306688640558734375562294932742636377681890582500658153", "accuracy_bits": 393, "independent_coordinate_sum": "[49.16525305762880103855435864055364736010053215306688640558734375562294932742636377681890582500658152907858547462466990725977989559116822970543454607673464878159932808755182018527045148516252952247133417876942597257260 +/- 2.07e-216]" } }, "coordinate_checks": { "4": { "energy": "[3.67423461417476714729612625578324000512297061538737490479034902081650224224361 +/- 6.72e-78]", "dot_energy_90_digits": "[3.67423461417476714729612625578324000512297061538737490479034902081650224224361489062184704902074668912486686 +/- 7.23e-108]", "source": "3.674234614174", "source_error_in_last_places": "[0.76714729612625578324000512297061538737490479034902081650224224361 +/- 6.98e-66]", "raw_norm2_error": "[1.013011308318000000000000000000000000000000000000000000000000000000e-12 +/- 2.22e-79]" }, "5": { "energy": "[6.47469149468816243993295376468864264361185870768867106617450130195063316471435 +/- 6.02e-78]", "dot_energy_90_digits": "[6.47469149468816243993295376468864264361185870768867106617450130195063316471434846857749525607160063378934605 +/- 6.59e-108]", "source": "6.474691494688", "source_error_in_last_places": "[0.16243993295376468864264361185870768867106617450130195063316471435 +/- 6.20e-66]", "raw_norm2_error": "[5.27428599149000000000000000000000000000000000000000000000000000000e-13 +/- 3.79e-79]" }, "6": { "energy": "[9.98528137423857029281013353091836074692117164808042156599549792253750176260430 +/- 7.88e-78]", "dot_energy_90_digits": "[9.98528137423857029281013353091836074692117164808042156599549792253750176260430089065260386938125514455223336 +/- 9.03e-108]", "source": "9.985281374238", "source_error_in_last_places": "[0.57029281013353091836074692117164808042156599549792253750176260430 +/- 8.16e-66]", "raw_norm2_error": "[5.12000000000000000000000000000000000000000000000000000000e-22 +/- 2.63e-79]" }, "7": { "energy": "[14.4529774142213429350444927318529333068013574365071236433170960240638520886610 +/- 1.54e-77]", "dot_energy_90_digits": "[14.4529774142213429350444927318529333068013574365071236433170960240638520886610075894794219169666739255610722 +/- 2.63e-107]", "source": "14.45297741422", "source_error_in_last_places": "[0.13429350444927318529333068013574365071236433170960240638520886610 +/- 1.62e-66]", "raw_norm2_error": "[7.04443398474000000000000000000000000000000000000000000000000000000e-13 +/- 3.33e-79]" }, "8": { "energy": "[19.6752878612327622644133813800021150600802365128393229953218985722301172683415 +/- 6.99e-77]", "dot_energy_90_digits": "[19.6752878612327622644133813800021150600802365128393229953218985722301172683415528290681785298413558086105282 +/- 5.46e-107]", "source": "19.67528786123", "source_error_in_last_places": "[0.27622644133813800021150600802365128393229953218985722301172683415 +/- 7.19e-66]", "raw_norm2_error": "[7.38225643640000000000000000000000000000000000000000000000000000000e-13 +/- 2.76e-79]" }, "9": { "energy": "[25.7599865312698315640763262691822940280899149815715123306827782483079980879198 +/- 7.32e-77]", "dot_energy_90_digits": "[25.7599865312698315640763262691822940280899149815715123306827782483079980879197721010876851802140484095558877 +/- 7.26e-107]", "source": "25.75998653126", "source_error_in_last_places": "[0.98315640763262691822940280899149815715123306827782483079980879198 +/- 7.41e-66]", "raw_norm2_error": "[9.24489008696000000000000000000000000000000000000000000000000000000e-13 +/- 3.54e-79]" }, "10": { "energy": "[32.7169494601475881545588678213615924526641901217661283564705956311461102304266 +/- 7.74e-77]", "dot_energy_90_digits": "[32.716949460147588154558867821361592452664190121766128356470595631146110230426646080344107061353106863458205 +/- 3.01e-106]", "source": "32.71694946014", "source_error_in_last_places": "[0.75881545588678213615924526641901217661283564705956311461102304266 +/- 8.13e-66]", "raw_norm2_error": "[1.359155722284000000000000000000000000000000000000000000000000000000e-12 +/- 2.67e-79]" }, "11": { "energy": "[40.5964505081906053866404696063330878781205476244221406533730587398910231294060 +/- 8.67e-77]", "dot_energy_90_digits": "[40.596450508190605386640469606333087878120547624422140653373058739891023129406035478779580148170253195874577 +/- 2.31e-106]", "source": "40.59645050819", "source_error_in_last_places": "[0.06053866404696063330878781205476244221406533730587398910231294060 +/- 9.04e-66]", "raw_norm2_error": "[9.83508949126000000000000000000000000000000000000000000000000000000e-13 +/- 2.70e-79]" }, "12": { "energy": "[49.165253057628801038555386934099303976441598425997395097883040853563516577740 +/- 1.57e-76]", "dot_energy_90_digits": "[49.165253057628801038555386934099303976441598425997395097883040853563516577740098420094599786400276294531771 +/- 5.31e-106]", "source": "49.16525305762", "source_error_in_last_places": "[0.8801038555386934099303976441598425997395097883040853563516577740 +/- 1.60e-65]", "raw_norm2_error": "[1.082528441795000000000000000000000000000000000000000000000000000000e-12 +/- 1.81e-79]" }, "13": { "energy": "[58.853230611702448163674172368762320360401128294236578821583048284542781037939 +/- 2.70e-76]", "dot_energy_90_digits": "[58.853230611702448163674172368762320360401128294236578821583048284542781037939187403010618985605487124341169 +/- 2.97e-106]", "source": "58.85323061170", "source_error_in_last_places": "[0.2448163674172368762320360401128294236578821583048284542781037939 +/- 2.75e-65]", "raw_norm2_error": "[8.36650626875000000000000000000000000000000000000000000000000000000e-13 +/- 3.66e-79]" }, "14": { "energy": "[69.306363296626421258492326700780091866601873460690370651190764039372659126344 +/- 6.82e-76]", "dot_energy_90_digits": "[69.306363296626421258492326700780091866601873460690370651190764039372659126343571028880269735578777511405568 +/- 4.37e-106]", "source": "69.30636329662", "source_error_in_last_places": "[0.6421258492326700780091866601873460690370651190764039372659126344 +/- 6.85e-65]", "raw_norm2_error": "[1.030646038802000000000000000000000000000000000000000000000000000000e-12 +/- 3.09e-79]" }, "15": { "energy": "[80.670244114293900795711162544365565950412648607105922917669676804347046431777 +/- 4.98e-76]", "dot_energy_90_digits": "[80.670244114293900795711162544365565950412648607105922917669676804347046431777340915417949573254917651635838 +/- 7.86e-106]", "source": "80.67024411429", "source_error_in_last_places": "[0.3900795711162544365565950412648607105922917669676804347046431777 +/- 5.05e-65]", "raw_norm2_error": "[9.40719997698000000000000000000000000000000000000000000000000000000e-13 +/- 3.03e-79]" }, "16": { "energy": "[92.911655302544943690752421325368548237643965575189658665791451736698227106341 +/- 5.40e-76]", "dot_energy_90_digits": "[92.911655302544943690752421325368548237643965575189658665791451736698227106341350436353309349043279786515423 +/- 6.22e-106]", "source": "92.91165530254", "source_error_in_last_places": "[0.4943690752421325368548237643965575189658665791451736698227106341 +/- 5.45e-65]", "raw_norm2_error": "[1.044437183330000000000000000000000000000000000000000000000000000000e-12 +/- 2.42e-79]" }, "17": { "energy": "[106.050404828618704769746627347976437607312925846062234452211982186375834771343 +/- 8.78e-76]", "dot_energy_90_digits": "[106.050404828618704769746627347976437607312925846062234452211982186375834771342701339956004744076580612530916 +/- 7.34e-106]", "source": "106.0504048286", "source_error_in_last_places": "[0.18704769746627347976437607312925846062234452211982186375834771343 +/- 8.82e-66]", "raw_norm2_error": "[1.172223718390000000000000000000000000000000000000000000000000000000e-12 +/- 3.15e-79]" }, "18": { "energy": "[120.084467447492318643095591785573038001327749356490259625971220920649495250906 +/- 5.35e-76]", "dot_energy_90_digits": "[120.08446744749231864309559178557303800132774935649025962597122092064949525090616484985739149803733335274464 +/- 5.17e-105]", "source": "120.0844674474", "source_error_in_last_places": "[0.92318643095591785573038001327749356490259625971220920649495250906 +/- 5.38e-66]", "raw_norm2_error": "[1.219637229359000000000000000000000000000000000000000000000000000000e-12 +/- 2.59e-79]" }, "19": { "energy": "[135.08946755667934202362644971151885898496882288527163224061154467068257644748 +/- 1.07e-75]", "dot_energy_90_digits": "[135.08946755667934202362644971151885898496882288527163224061154467068257644747980979942345020065603606736759 +/- 3.70e-105]", "source": "135.0894675566", "source_error_in_last_places": "[0.7934202362644971151885898496882288527163224061154467068257644748 +/- 1.08e-65]", "raw_norm2_error": "[1.215152840185000000000000000000000000000000000000000000000000000000e-12 +/- 2.04e-79]" }, "20": { "energy": "[150.88156833375650338841876606033911145017799720805127072067442906702801544975 +/- 1.23e-75]", "dot_energy_90_digits": "[150.88156833375650338841876606033911145017799720805127072067442906702801544974991748165291107405779692581279 +/- 4.38e-105]", "source": "150.8815683337", "source_error_in_last_places": "[0.5650338841876606033911145017799720805127072067442906702801544975 +/- 1.24e-65]", "raw_norm2_error": "[9.28475531512000000000000000000000000000000000000000000000000000000e-13 +/- 2.78e-79]" }, "21": { "energy": "[167.64162239927044100891035486926245652986991298407492635376028799641196787926 +/- 1.95e-75]", "dot_energy_90_digits": "[167.64162239927044100891035486926245652986991298407492635376028799641196787925946854403553085625440857819127 +/- 3.49e-105]", "source": "167.6416223992", "source_error_in_last_places": "[0.7044100891035486926245652986991298407492635376028799641196787926 +/- 1.96e-65]", "raw_norm2_error": "[7.12463025922000000000000000000000000000000000000000000000000000000e-13 +/- 2.60e-79]" }, "22": { "energy": "[185.28753614930758204402797944132066318683250815762074040740103058369582379041 +/- 4.84e-75]", "dot_energy_90_digits": "[185.28753614930758204402797944132066318683250815762074040740103058369582379041424261144803380073859128725899 +/- 6.04e-105]", "source": "185.2875361492", "source_error_in_last_places": "[1.0758204402797944132066318683250815762074040740103058369582379041 +/- 4.85e-65]", "raw_norm2_error": "[1.296389789902000000000000000000000000000000000000000000000000000000e-12 +/- 3.40e-79]" }, "23": { "energy": "[203.93019066287853616263248581265204172841426367786816814164347860071670239238 +/- 3.25e-75]", "dot_energy_90_digits": "[203.93019066287853616263248581265204172841426367786816814164347860071670239238250104748151998864061016648011 +/- 5.15e-105]", "source": "203.9301906628", "source_error_in_last_places": "[0.7853616263248581265204172841426367786816814164347860071670239238 +/- 3.26e-65]", "raw_norm2_error": "[1.019705770636000000000000000000000000000000000000000000000000000000e-12 +/- 3.45e-79]" }, "24": { "energy": "[223.34707405180510521773355292388077879213823597632402425319062198922336614381 +/- 2.31e-75]", "dot_energy_90_digits": "[223.34707405180510521773355292388077879213823597632402425319062198922336614381147448207116753586921341502093 +/- 2.60e-105]", "source": "223.3470740518", "source_error_in_last_places": "[0.0510521773355292388077879213823597632402425319062198922336614381 +/- 2.32e-65]", "raw_norm2_error": "[1.400651407412000000000000000000000000000000000000000000000000000000e-12 +/- 2.04e-79]" }, "25": { "energy": "[243.81276029876573687350386281395623086659911069793016459490389099805045323216 +/- 2.90e-75]", "dot_energy_90_digits": "[243.81276029876573687350386281395623086659911069793016459490389099805045323215977811860267253522954867320361 +/- 4.18e-105]", "source": "243.8127602987", "source_error_in_last_places": "[0.6573687350386281395623086659911069793016459490389099805045323216 +/- 2.91e-65]", "raw_norm2_error": "[1.098183760700000000000000000000000000000000000000000000000000000000e-12 +/- 2.94e-79]" }, "26": { "energy": "[265.13332631735653923375269583554409511997076034856057695784976378583155402004 +/- 4.42e-75]", "dot_energy_90_digits": "[265.13332631735653923375269583554409511997076034856057695784976378583155402003876526816889598580904805729720 +/- 4.05e-105]", "source": "265.1333263173", "source_error_in_last_places": "[0.5653923375269583554409511997076034856057695784976378583155402004 +/- 4.44e-65]", "raw_norm2_error": "[9.89085289998000000000000000000000000000000000000000000000000000000e-13 +/- 3.11e-79]" }, "27": { "energy": "[287.30261503303916309141826050662370780765679689339837365308334747167995782487 +/- 2.75e-75]", "dot_energy_90_digits": "[287.30261503303916309141826050662370780765679689339837365308334747167995782487102153045757482108161981213081 +/- 6.13e-105]", "source": "287.3026150330", "source_error_in_last_places": "[0.3916309141826050662370780765679689339837365308334747167995782487 +/- 2.76e-65]", "raw_norm2_error": "[8.98012107983000000000000000000000000000000000000000000000000000000e-13 +/- 2.69e-79]" }, "28": { "energy": "[310.49154235820184904129461747158060438038557145706186945430923095037221308083 +/- 3.67e-75]", "dot_energy_90_digits": "[310.49154235820184904129461747158060438038557145706186945430923095037221308083088086357789273109925246014200 +/- 8.61e-105]", "source": "310.4915423582", "source_error_in_last_places": "[0.0184904129461747158060438038557145706186945430923095037221308083 +/- 3.68e-65]", "raw_norm2_error": "[1.013011308278000000000000000000000000000000000000000000000000000000e-12 +/- 2.91e-79]" }, "29": { "energy": "[334.63443992041569060902181555036772765317422753352842162224083034075238301326 +/- 5.03e-75]", "dot_energy_90_digits": "[334.63443992041569060902181555036772765317422753352842162224083034075238301326312485172637783235285065432210 +/- 6.00e-105]", "source": "334.6344399204", "source_error_in_last_places": "[0.1569060902181555036772765317422753352842162224083034075238301326 +/- 5.06e-65]", "raw_norm2_error": "[1.284483189882000000000000000000000000000000000000000000000000000000e-12 +/- 3.73e-79]" }, "30": { "energy": "[359.60394590376345897958860384608726246095527369770644231122376202783466917368 +/- 5.84e-75]", "dot_energy_90_digits": "[359.60394590376345897958860384608726246095527369770644231122376202783466917368371110630052932995737108254452 +/- 8.18e-105]", "source": "359.6039459037", "source_error_in_last_places": "[0.6345897958860384608726246095527369770644231122376202783466917368 +/- 5.86e-65]", "raw_norm2_error": "[1.071791525051000000000000000000000000000000000000000000000000000000e-12 +/- 2.67e-79]" }, "31": { "energy": "[385.53083806329942520495136887291776562657772950523713393900329596995210509630 +/- 5.65e-75]", "dot_energy_90_digits": "[385.5308380632994252049513688729177656265777295052371339390032959699521050963031103664546789138041241759691 +/- 5.30e-104]", "source": "385.5308380633", "source_error_in_last_places": "[0.0057479504863112708223437342227049476286606099670403004789490370 +/- 5.68e-65]", "raw_norm2_error": "[9.68505029075000000000000000000000000000000000000000000000000000000e-13 +/- 2.26e-79]" }, "32": { "energy": "[412.26127465052931007549412620044599986625792457598200824780047990992616559268 +/- 5.30e-75]", "dot_energy_90_digits": "[412.2612746505293100754941262004459998662579245759820082478004799099261655926824554518169844988705083531894 +/- 4.52e-104]", "source": "412.2612746505", "source_error_in_last_places": "[0.2931007549412620044599986625792457598200824780047990992616559268 +/- 5.31e-65]", "raw_norm2_error": "[1.321024832804000000000000000000000000000000000000000000000000000000e-12 +/- 3.42e-79]" }, "33": { "energy": "[440.20405744764735749422144176266736939775491012970485657429576270248043199213 +/- 8.50e-75]", "dot_energy_90_digits": "[440.2040574476473574942214417626673693977549101297048565742957627024804319921355330598582293404089859250207 +/- 1.75e-104]", "source": "440.2040574476", "source_error_in_last_places": "[0.4735749422144176266736939775491012970485657429576270248043199213 +/- 8.53e-65]", "raw_norm2_error": "[1.114454945519000000000000000000000000000000000000000000000000000000e-12 +/- 3.02e-79]" }, "34": { "energy": "[468.9048532813432615020900229548572505077485325425809346030878819040250868444 +/- 1.20e-74]", "dot_energy_90_digits": "[468.9048532813432615020900229548572505077485325425809346030878819040250868444086109588719834313095912235896 +/- 1.09e-104]", "source": "468.9048532813", "source_error_in_last_places": "[0.432615020900229548572505077485325425809346030878819040250868444 +/- 1.20e-64]", "raw_norm2_error": "[1.223927354666000000000000000000000000000000000000000000000000000000e-12 +/- 2.89e-79]" }, "35": { "energy": "[498.56987249064540680139178801605001683855850064262950467725788296956161900888 +/- 8.61e-75]", "dot_energy_90_digits": "[498.5698724906454068013917880160500168385585006426295046772578829695616190088850690216087207258115448691478 +/- 4.74e-104]", "source": "498.5698724906", "source_error_in_last_places": "[0.4540680139178801605001683855850064262950467725788296956161900888 +/- 8.64e-65]", "raw_norm2_error": "[1.423589940674000000000000000000000000000000000000000000000000000000e-12 +/- 2.67e-79]" }, "36": { "energy": "[529.1224083754138052545804673412772912747805024128605178281736621300558550899 +/- 2.45e-74]", "dot_energy_90_digits": "[529.1224083754138052545804673412772912747805024128605178281736621300558550898872828479166492414471529831952 +/- 2.26e-104]", "source": "529.1224083754", "source_error_in_last_places": "[0.138052545804673412772912747805024128605178281736621300558550899 +/- 2.45e-64]", "raw_norm2_error": "[1.506659874073000000000000000000000000000000000000000000000000000000e-12 +/- 2.18e-79]" }, "37": { "energy": "[560.6188877310436775700402462495859088631307607312944738872242860740734882476 +/- 1.52e-74]", "dot_energy_90_digits": "[560.6188877310436775700402462495859088631307607312944738872242860740734882476104249040289619377248311618997 +/- 4.43e-104]", "source": "560.6188877310", "source_error_in_last_places": "[0.436775700402462495859088631307607312944738872242860740734882476 +/- 1.52e-64]", "raw_norm2_error": "[1.151030264257000000000000000000000000000000000000000000000000000000e-12 +/- 2.96e-79]" }, "38": { "energy": "[593.0385035664514014445545328069983008329750589744551205831284765300125385559 +/- 5.45e-74]", "dot_energy_90_digits": "[593.0385035664514014445545328069983008329750589744551205831284765300125385558612767564914955252868649604959 +/- 4.74e-104]", "source": "593.0385035664", "source_error_in_last_places": "[0.514014445545328069983008329750589744551205831284765300125385559 +/- 5.45e-64]", "raw_norm2_error": "[1.110656955897000000000000000000000000000000000000000000000000000000e-12 +/- 3.38e-79]" }, "39": { "energy": "[626.3890090168230112727923155379337373231781631062418586618399718117903740932 +/- 1.90e-74]", "dot_energy_90_digits": "[626.3890090168230112727923155379337373231781631062418586618399718117903740932127473805917191497687516628943 +/- 3.88e-104]", "source": "626.3890090168", "source_error_in_last_places": "[0.230112727923155379337373231781631062418586618399718117903740932 +/- 1.91e-64]", "raw_norm2_error": "[1.300631149631000000000000000000000000000000000000000000000000000000e-12 +/- 2.97e-79]" }, "40": { "energy": "[660.6752788346224138321745110814893062968797061392339535942261080542085972332 +/- 2.35e-74]", "dot_energy_90_digits": "[660.6752788346224138321745110814893062968797061392339535942261080542085972331961676618823887024909750180051 +/- 6.16e-104]", "source": "660.6752788346", "source_error_in_last_places": "[0.224138321745110814893062968797061392339535942261080542085972332 +/- 2.35e-64]", "raw_norm2_error": "[1.145048194254000000000000000000000000000000000000000000000000000000e-12 +/- 3.30e-79]" }, "41": { "energy": "[695.9167443418870269989072517568854164556394704777388013993360876284291012994 +/- 3.50e-74]", "dot_energy_90_digits": "[695.9167443418870269989072517568854164556394704777388013993360876284291012993870977512488911326821679636261 +/- 6.69e-104]", "source": "695.9167443418", "source_error_in_last_places": "[0.870269989072517568854164556394704777388013993360876284291012994 +/- 3.51e-64]", "raw_norm2_error": "[1.152457252677000000000000000000000000000000000000000000000000000000e-12 +/- 3.05e-79]" }, "42": { "energy": "[732.0781075436733758491931681252965991527700064841305952838294268418702970963 +/- 2.85e-74]", "dot_energy_90_digits": "[732.0781075436733758491931681252965991527700064841305952838294268418702970962955184448027134830325533868202 +/- 5.04e-104]", "source": "732.0781075436", "source_error_in_last_places": "[0.733758491931681252965991527700064841305952838294268418702970963 +/- 2.85e-64]", "raw_norm2_error": "[1.353432993171000000000000000000000000000000000000000000000000000000e-12 +/- 3.57e-79]" }, "43": { "energy": "[769.1908464591584376396810206664471919119713890147575593024200923906192487642 +/- 1.90e-74]", "dot_energy_90_digits": "[769.1908464591584376396810206664471919119713890147575593024200923906192487642076095612488682331035409248845 +/- 3.81e-104]", "source": "769.1908464591", "source_error_in_last_places": "[0.584376396810206664471919119713890147575593024200923906192487642 +/- 1.91e-64]", "raw_norm2_error": "[1.095089444387000000000000000000000000000000000000000000000000000000e-12 +/- 2.82e-79]" }, "44": { "energy": "[807.1742630846280757957376637261459955814179604186762232316257938513934678431 +/- 3.86e-74]", "dot_energy_90_digits": "[807.1742630846280757957376637261459955814179604186762232316257938513934678430872663469733259517502183723789 +/- 4.47e-104]", "source": "807.1742630845", "source_error_in_last_places": "[1.280757957376637261459955814179604186762232316257938513934678431 +/- 3.86e-64]", "raw_norm2_error": "[1.296389768300000000000000000000000000000000000000000000000000000000e-12 +/- 3.79e-79]" }, "45": { "energy": "[846.1884010610781359339256158043408208082499395694969376071996310181368077360 +/- 4.81e-74]", "dot_energy_90_digits": "[846.1884010610781359339256158043408208082499395694969376071996310181368077359829476385709867291036681222507 +/- 8.16e-104]", "source": "846.1884010610", "source_error_in_last_places": "[0.781359339256158043408208082499395694969376071996310181368077360 +/- 4.81e-64]", "raw_norm2_error": "[1.131042155021000000000000000000000000000000000000000000000000000000e-12 +/- 3.00e-79]" }, "46": { "energy": "[886.1671136391913397325584998847640144137119516321738151020963171407818690678 +/- 3.81e-74]", "dot_energy_90_digits": "[886.1671136391913397325584998847640144137119516321738151020963171407818690677954251946078677572971246198312 +/- 5.05e-104]", "source": "886.1671136391", "source_error_in_last_places": "[0.913397325584998847640144137119516321738151020963171407818690678 +/- 3.81e-64]", "raw_norm2_error": "[1.567974435643000000000000000000000000000000000000000000000000000000e-12 +/- 2.24e-79]" }, "47": { "energy": "[927.0592706797097551848243642396834020431083488311233105574299108693417352718 +/- 5.31e-74]", "dot_energy_90_digits": "[927.0592706797097551848243642396834020431083488311233105574299108693417352718410158817225127912641374197060 +/- 7.60e-104]", "source": "927.0592706797", "source_error_in_last_places": "[0.097551848243642396834020431083488311233105574299108693417352718 +/- 5.32e-64]", "raw_norm2_error": "[1.245012290951000000000000000000000000000000000000000000000000000000e-12 +/- 2.68e-79]" }, "48": { "energy": "[968.7134553437876325554907825917784774944050860346879827530977873274828227883 +/- 4.49e-74]", "dot_energy_90_digits": "[968.7134553437876325554907825917784774944050860346879827530977873274828227882931894117434225840474561356115 +/- 7.46e-104]", "source": "968.7134553437", "source_error_in_last_places": "[0.876325554907825917784774944050860346879827530977873274828227883 +/- 4.50e-64]", "raw_norm2_error": "[1.563043370469000000000000000000000000000000000000000000000000000000e-12 +/- 2.22e-79]" }, "49": { "energy": "[1011.5571826535719705206116484851139794094765920575167941267652277457233921337 +/- 4.33e-74]", "dot_energy_90_digits": "[1011.5571826535719705206116484851139794094765920575167941267652277457233921336977658663837064480339877687633 +/- 6.44e-104]", "source": "1011.557182653", "source_error_in_last_places": "[0.5719705206116484851139794094765920575167941267652277457233921337 +/- 4.33e-65]", "raw_norm2_error": "[1.528780981418000000000000000000000000000000000000000000000000000000e-12 +/- 2.64e-79]" }, "50": { "energy": "[1055.1823147262960986885740255571221327220787788660566583346754208724813920119 +/- 6.35e-74]", "dot_energy_90_digits": "[1055.1823147262960986885740255571221327220787788660566583346754208724813920119477162986589528425616355529291 +/- 8.23e-104]", "source": "1055.182314726", "source_error_in_last_places": "[0.2960986885740255571221327220787788660566583346754208724813920119 +/- 6.36e-65]", "raw_norm2_error": "[1.122982952426000000000000000000000000000000000000000000000000000000e-12 +/- 2.27e-79]" }, "51": { "energy": "[1099.8192903188982232112243545580504309101169053875263721758247906609736773788 +/- 5.58e-74]", "dot_energy_90_digits": "[1099.8192903188982232112243545580504309101169053875263721758247906609736773787948314671220891906962759207287 +/- 5.85e-104]", "source": "1099.819290318", "source_error_in_last_places": "[0.8982232112243545580504309101169053875263721758247906609736773788 +/- 5.58e-65]", "raw_norm2_error": "[1.155753061173000000000000000000000000000000000000000000000000000000e-12 +/- 3.28e-79]" }, "52": { "energy": "[1145.4189643192789309724213527406526328964218861214983138505334080810641901598 +/- 7.06e-74]", "dot_energy_90_digits": "[1145.418964319278930972421352740652632896421886121498313850533408081064190159851635255394431647319174662978 +/- 2.03e-103]", "source": "1145.418964319", "source_error_in_last_places": "[0.2789309724213527406526328964218861214983138505334080810641901598 +/- 7.06e-65]", "raw_norm2_error": "[1.437857899714000000000000000000000000000000000000000000000000000000e-12 +/- 2.99e-79]" }, "53": { "energy": "[1191.9222904162243687527359115763935088112151909624193729613940040148013175431 +/- 7.27e-74]", "dot_energy_90_digits": "[1191.9222904162243687527359115763935088112151909624193729613940040148013175431509320473729499438966783923793 +/- 8.17e-104]", "source": "1191.922290416", "source_error_in_last_places": "[0.2243687527359115763935088112151909624193729613940040148013175431 +/- 7.28e-65]", "raw_norm2_error": "[1.109540887627000000000000000000000000000000000000000000000000000000e-12 +/- 3.01e-79]" }, "54": { "energy": "[1239.3614747291589351577170027400401789066791879712936988250112743420445745141 +/- 5.51e-74]", "dot_energy_90_digits": "[1239.361474729158935157717002740040178906679187971293698825011274342044574514131444737864821083867196725388 +/- 3.49e-103]", "source": "1239.361474729", "source_error_in_last_places": "[0.1589351577170027400401789066791879712936988250112743420445745141 +/- 5.52e-65]", "raw_norm2_error": "[1.386566120392000000000000000000000000000000000000000000000000000000e-12 +/- 4.01e-79]" }, "55": { "energy": "[1287.7727207827087493569828354408203092916348902349344051629196748716781936605 +/- 7.41e-74]", "dot_energy_90_digits": "[1287.772720782708749356982835440820309291634890234934405162919674871678193660549941935237492189192169862156 +/- 9.97e-104]", "source": "1287.772720782", "source_error_in_last_places": "[0.7087493569828354408203092916348902349344051629196748716781936605 +/- 7.42e-65]", "raw_norm2_error": "[1.082530353038000000000000000000000000000000000000000000000000000000e-12 +/- 2.19e-79]" }, "56": { "energy": "[1337.0949452756570766415202659016046814304443943949631739445801619230442020595 +/- 7.51e-74]", "dot_energy_90_digits": "[1337.094945275657076641520265901604681430444394394963173944580161923044202059503708578241030153282211051597 +/- 2.05e-103]", "source": "1337.094945275", "source_error_in_last_places": "[0.6570766415202659016046814304443943949631739445801619230442020595 +/- 7.52e-65]", "raw_norm2_error": "[1.171745415009000000000000000000000000000000000000000000000000000000e-12 +/- 2.21e-79]" }, "57": { "energy": "[1387.3832292528417335313277263361040723452501761029147448902101727898879593277 +/- 5.86e-74]", "dot_energy_90_digits": "[1387.383229252841733531327726336104072345250176102914744890210172789887959327725575291243917047695144256227 +/- 2.12e-103]", "source": "1387.383229252", "source_error_in_last_places": "[0.8417335313277263361040723452501761029147448902101727898879593277 +/- 5.87e-65]", "raw_norm2_error": "[1.413183889217000000000000000000000000000000000000000000000000000000e-12 +/- 2.56e-79]" }, "58": { "energy": "[1438.6182506404011455308172700509102502415858806271285540656469168217118419123 +/- 6.39e-74]", "dot_energy_90_digits": "[1438.618250640401145530817270050910250241585880627128554065646916821711841912333221359143354263371390135934 +/- 1.07e-103]", "source": "1438.618250640", "source_error_in_last_places": "[0.4011455308172700509102502415858806271285540656469168217118419123 +/- 6.40e-65]", "raw_norm2_error": "[1.128404598226000000000000000000000000000000000000000000000000000000e-12 +/- 4.18e-79]" }, "59": { "energy": "[1490.773335278696756321831503254953152489398123103834788562592382383915838158 +/- 1.35e-73]", "dot_energy_90_digits": "[1490.773335278696756321831503254953152489398123103834788562592382383915838157964370448768777858510967589198 +/- 4.75e-103]", "source": "1490.773335278", "source_error_in_last_places": "[0.696756321831503254953152489398123103834788562592382383915838158 +/- 1.35e-64]", "raw_norm2_error": "[1.345205535875000000000000000000000000000000000000000000000000000000e-12 +/- 3.22e-79]" }, "60": { "energy": "[1543.8304009763788027321935295151348550313153068604974756428337802084072776060 +/- 9.62e-74]", "dot_energy_90_digits": "[1543.830400976378802732193529515134855031315306860497475642833780208407277606060148756674517409011640652029 +/- 4.13e-103]", "source": "1543.830400976", "source_error_in_last_places": "[0.3788027321935295151348550313153068604974756428337802084072776060 +/- 9.63e-65]", "raw_norm2_error": "[1.259237130611000000000000000000000000000000000000000000000000000000e-12 +/- 2.09e-79]" }, "61": { "energy": "[1597.9418301989890072074621500637378801736124784819129110267761488406956992200 +/- 8.93e-74]", "dot_energy_90_digits": "[1597.941830198989007207462150063737880173612478481912911026776148840695699220052560031261805987237249088389 +/- 3.04e-103]", "source": "1597.941830198", "source_error_in_last_places": "[0.9890072074621500637378801736124784819129110267761488406956992200 +/- 8.94e-65]", "raw_norm2_error": "[1.218246632297000000000000000000000000000000000000000000000000000000e-12 +/- 3.56e-79]" }, "62": { "energy": "[1652.909409898300851812467542852474046030764451037803111062687732866337174253 +/- 2.54e-73]", "dot_energy_90_digits": "[1652.909409898300851812467542852474046030764451037803111062687732866337174252863214306835039846402777105837 +/- 4.88e-103]", "source": "1652.909409898", "source_error_in_last_places": "[0.300851812467542852474046030764451037803111062687732866337174253 +/- 2.54e-64]", "raw_norm2_error": "[1.231062056984000000000000000000000000000000000000000000000000000000e-12 +/- 2.52e-79]" }, "63": { "energy": "[1708.879681503249983649379778445578235546294541438947820479206678307785379717 +/- 9.55e-74]", "dot_energy_90_digits": "[1708.879681503249983649379778445578235546294541438947820479206678307785379717026370211577392802605475786417 +/- 4.41e-103]", "source": "1708.879681503", "source_error_in_last_places": "[0.249983649379778445578235546294541438947820479206678307785379717 +/- 9.56e-65]", "raw_norm2_error": "[1.507852067825000000000000000000000000000000000000000000000000000000e-12 +/- 2.06e-79]" }, "64": { "energy": "[1765.8025779273031896811197618290622460623187431862315496866391351300809195079 +/- 9.17e-74]", "dot_energy_90_digits": "[1765.802577927303189681119761829062246062318743186231549686639135130080919507948614974288595513233855507470 +/- 4.72e-103]", "source": "1765.802577927", "source_error_in_last_places": "[0.3031896811197618290622460623187431862315496866391351300809195079 +/- 9.18e-65]", "raw_norm2_error": "[1.362715186366000000000000000000000000000000000000000000000000000000e-12 +/- 3.57e-79]" }, "65": { "energy": "[1823.667960263850183312067092116456415637111970437773768154109272836955209806 +/- 2.41e-73]", "dot_energy_90_digits": "[1823.667960263850183312067092116456415637111970437773768154109272836955209805895789443495772836516311303719 +/- 3.86e-103]", "source": "1823.667960263", "source_error_in_last_places": "[0.850183312067092116456415637111970437773768154109272836955209806 +/- 2.41e-64]", "raw_norm2_error": "[1.271487230262000000000000000000000000000000000000000000000000000000e-12 +/- 3.31e-79]" }, "66": { "energy": "[1882.441525304238329528305833679359818364355465416823380489024835472112421160 +/- 4.20e-73]", "dot_energy_90_digits": "[1882.441525304238329528305833679359818364355465416823380489024835472112421159722272126379679145927945398944 +/- 5.41e-103]", "source": "1882.441525304", "source_error_in_last_places": "[0.238329528305833679359818364355465416823380489024835472112421160 +/- 4.20e-64]", "raw_norm2_error": "[1.202090516991000000000000000000000000000000000000000000000000000000e-12 +/- 3.59e-79]" }, "67": { "energy": "[1942.122700405507250100794779503002306495245594873140863063345822838153461416 +/- 1.45e-73]", "dot_energy_90_digits": "[1942.122700405507250100794779503002306495245594873140863063345822838153461416093746150694824451640432040756 +/- 4.45e-103]", "source": "1942.122700405", "source_error_in_last_places": "[0.507250100794779503002306495245594873140863063345822838153461416 +/- 1.45e-64]", "raw_norm2_error": "[1.267833103899000000000000000000000000000000000000000000000000000000e-12 +/- 3.55e-79]" }, "68": { "energy": "[2002.874701748728449105184968898444138563326520028032865345543933404596352686 +/- 2.38e-73]", "dot_energy_90_digits": "[2002.874701748728449105184968898444138563326520028032865345543933404596352686185134559105808602079632140049 +/- 4.64e-103]", "source": "2002.874701748", "source_error_in_last_places": "[0.728449105184968898444138563326520028032865345543933404596352686 +/- 2.38e-64]", "raw_norm2_error": "[1.168981563590000000000000000000000000000000000000000000000000000000e-12 +/- 3.64e-79]" }, "69": { "energy": "[2064.533483234761725049822520380613244748828842458568143575024129560590634684 +/- 2.85e-73]", "dot_energy_90_digits": "[2064.533483234761725049822520380613244748828842458568143575024129560590634683882249447059863792468324116773 +/- 3.17e-103]", "source": "2064.533483234", "source_error_in_last_places": "[0.761725049822520380613244748828842458568143575024129560590634684 +/- 2.85e-64]", "raw_norm2_error": "[1.581309245485000000000000000000000000000000000000000000000000000000e-12 +/- 3.22e-79]" }, "70": { "energy": "[2127.100901550646119427983600768519004291618767273295487243904201325233309294 +/- 4.50e-73]", "dot_energy_90_digits": "[2127.100901550646119427983600768519004291618767273295487243904201325233309294386772371768233769727109267654 +/- 4.86e-103]", "source": "2127.100901550", "source_error_in_last_places": "[0.646119427983600768519004291618767273295487243904201325233309294 +/- 4.50e-64]", "raw_norm2_error": "[1.496618952327000000000000000000000000000000000000000000000000000000e-12 +/- 2.39e-79]" }, "71": { "energy": "[2190.649906425766231598308802288441647753469957975209167860719863677383015720 +/- 5.00e-73]", "dot_energy_90_digits": "[2190.649906425766231598308802288441647753469957975209167860719863677383015719694278678227300463070222136369 +/- 3.69e-103]", "source": "2190.649906425", "source_error_in_last_places": "[0.766231598308802288441647753469957975209167860719863677383015720 +/- 5.00e-64]", "raw_norm2_error": "[1.253272773722000000000000000000000000000000000000000000000000000000e-12 +/- 3.50e-79]" }, "72": { "energy": "[2255.001190974959902820039423185120007538319095033497113541366537812023824059 +/- 2.84e-73]", "dot_energy_90_digits": "[2255.001190974959902820039423185120007538319095033497113541366537812023824059211992776330633510586264520078 +/- 6.44e-103]", "source": "2255.001190974", "source_error_in_last_places": "[0.959902820039423185120007538319095033497113541366537812023824059 +/- 2.84e-64]", "raw_norm2_error": "[1.399784101915000000000000000000000000000000000000000000000000000000e-12 +/- 2.99e-79]" }, "73": { "energy": "[2320.633883745366527006298089893502418736816829409440451765981816418385578571 +/- 3.90e-73]", "dot_energy_90_digits": "[2320.633883745366527006298089893502418736816829409440451765981816418385578570835715082302726624091043578596 +/- 6.36e-103]", "source": "2320.633883745", "source_error_in_last_places": "[0.366527006298089893502418736816829409440451765981816418385578571 +/- 3.91e-64]", "raw_norm2_error": "[1.213073688981000000000000000000000000000000000000000000000000000000e-12 +/- 3.72e-79]" }, "74": { "energy": "[2387.072981838302817325905149478772174357919367005234976067357228498365879187 +/- 5.06e-73]", "dot_energy_90_digits": "[2387.072981838302817325905149478772174357919367005234976067357228498365879186732921783841329444564250756615 +/- 3.74e-103]", "source": "2387.072981838", "source_error_in_last_places": "[0.302817325905149478772174357919367005234976067357228498365879187 +/- 5.06e-64]", "raw_norm2_error": "[1.295380443181000000000000000000000000000000000000000000000000000000e-12 +/- 2.82e-79]" }, "75": { "energy": "[2454.369689039641899620890628982715591489495425223716587390025885026824709266 +/- 2.72e-73]", "dot_energy_90_digits": "[2454.369689039641899620890628982715591489495425223716587390025885026824709265985000536457411736467897860384 +/- 4.24e-103]", "source": "2454.369689039", "source_error_in_last_places": "[0.641899620890628982715591489495425223716587390025885026824709266 +/- 2.72e-64]", "raw_norm2_error": "[1.112745351269000000000000000000000000000000000000000000000000000000e-12 +/- 2.49e-79]" }, "76": { "energy": "[2522.674871841374482308015324678615977400520395027916884425174329589497278649 +/- 5.63e-73]", "dot_energy_90_digits": "[2522.674871841374482308015324678615977400520395027916884425174329589497278649472993954539950116561274509153 +/- 4.13e-103]", "source": "2522.674871841", "source_error_in_last_places": "[0.374482308015324678615977400520395027916884425174329589497278649 +/- 5.64e-64]", "raw_norm2_error": "[1.192210163690000000000000000000000000000000000000000000000000000000e-12 +/- 2.17e-79]" }, "77": { "energy": "[2591.850152353884971339775806922418060993696027839915117619169622667359294918 +/- 2.33e-73]", "dot_energy_90_digits": "[2591.850152353884971339775806922418060993696027839915117619169622667359294918135364210988265133888571295495 +/- 4.49e-103]", "source": "2591.850152353", "source_error_in_last_places": "[0.884971339775806922418060993696027839915117619169622667359294918 +/- 2.33e-64]", "raw_norm2_error": "[1.191890009426000000000000000000000000000000000000000000000000000000e-12 +/- 3.82e-79]" }, "78": { "energy": "[2662.046474566306303112656263322087318317037923567866832305205191416695559900 +/- 2.28e-73]", "dot_energy_90_digits": "[2662.046474566306303112656263322087318317037923567866832305205191416695559900123242583659764075840384796141 +/- 4.84e-103]", "source": "2662.046474566", "source_error_in_last_places": "[0.306303112656263322087318317037923567866832305205191416695559900 +/- 2.28e-64]", "raw_norm2_error": "[1.082671185002000000000000000000000000000000000000000000000000000000e-12 +/- 3.22e-79]" }, "79": { "energy": "[2733.248357478772797499780850087549459698248428724233449287104095523337067447 +/- 3.76e-73]", "dot_energy_90_digits": "[2733.248357478772797499780850087549459698248428724233449287104095523337067446948530856268474587200240039662 +/- 7.44e-103]", "source": "2733.248357478", "source_error_in_last_places": "[0.772797499780850087549459698248428724233449287104095523337067447 +/- 3.76e-64]", "raw_norm2_error": "[1.201554389293000000000000000000000000000000000000000000000000000000e-12 +/- 2.46e-79]" }, "80": { "energy": "[2805.355875981203972438693206587992575902931578962774716960505496221875360572 +/- 7.11e-73]", "dot_energy_90_digits": "[2805.355875981203972438693206587992575902931578962774716960505496221875360572593159143538626391546363462802 +/- 3.75e-103]", "source": "2805.355875981", "source_error_in_last_places": "[0.203972438693206587992575902931578962774716960505496221875360572 +/- 7.11e-64]", "raw_norm2_error": "[1.458692649935000000000000000000000000000000000000000000000000000000e-12 +/- 2.60e-79]" }, "81": { "energy": "[2878.522829664124948764440824282403387425923643589639568363112087198076728495 +/- 6.84e-73]", "dot_energy_90_digits": "[2878.522829664124948764440824282403387425923643589639568363112087198076728495563568424659260815081989065524 +/- 5.98e-103]", "source": "2878.522829664", "source_error_in_last_places": "[0.124948764440824282403387425923643589639568363112087198076728495 +/- 6.84e-64]", "raw_norm2_error": "[1.208284506262000000000000000000000000000000000000000000000000000000e-12 +/- 2.49e-79]" }, "82": { "energy": "[2952.569675286465733679158621620556407830199985043281897693407587501517180205 +/- 2.95e-73]", "dot_energy_90_digits": "[2952.569675286465733679158621620556407830199985043281897693407587501517180205075905475430928436079701152939 +/- 3.98e-103]", "source": "2952.569675286", "source_error_in_last_places": "[0.465733679158621620556407830199985043281897693407587501517180205 +/- 2.95e-64]", "raw_norm2_error": "[1.367845574268000000000000000000000000000000000000000000000000000000e-12 +/- 3.07e-79]" }, "83": { "energy": "[3027.528488921087572631366028252495948885902665963257672533149563788314572851 +/- 4.41e-73]", "dot_energy_90_digits": "[3027.528488921087572631366028252495948885902665963257672533149563788314572850947879656733205455135238728692 +/- 5.08e-103]", "source": "3027.528488921", "source_error_in_last_places": "[0.087572631366028252495948885902665963257672533149563788314572851 +/- 4.41e-64]", "raw_norm2_error": "[1.428708708965000000000000000000000000000000000000000000000000000000e-12 +/- 3.56e-79]" }, "84": { "energy": "[3103.465124430784004644089558859676602973766097301145345148838053284988631961 +/- 3.16e-73]", "dot_energy_90_digits": "[3103.465124430784004644089558859676602973766097301145345148838053284988631961090295309046301692904341906430 +/- 5.29e-103]", "source": "3103.465124430", "source_error_in_last_places": "[0.784004644089558859676602973766097301145345148838053284988631961 +/- 3.16e-64]", "raw_norm2_error": "[1.355373956174000000000000000000000000000000000000000000000000000000e-12 +/- 2.43e-79]" }, "85": { "energy": "[3180.361442938600584364840158738930776286801030458381191108792293244147531453 +/- 4.29e-73]", "dot_energy_90_digits": "[3180.361442938600584364840158738930776286801030458381191108792293244147531452996704194371151864990139313540 +/- 5.34e-103]", "source": "3180.361442938", "source_error_in_last_places": "[0.600584364840158738930776286801030458381191108792293244147531453 +/- 4.29e-64]", "raw_norm2_error": "[1.236960061026000000000000000000000000000000000000000000000000000000e-12 +/- 2.14e-79]" }, "86": { "energy": "[3258.211605712807041900511900353873890743931819677487342454967540598584899417 +/- 3.21e-73]", "dot_energy_90_digits": "[3258.211605712807041900511900353873890743931819677487342454967540598584899417171685349563577618678249883421 +/- 6.58e-103]", "source": "3258.211605712", "source_error_in_last_places": "[0.807041900511900353873890743931819677487342454967540598584899417 +/- 3.21e-64]", "raw_norm2_error": "[1.138764771962000000000000000000000000000000000000000000000000000000e-12 +/- 3.13e-79]" }, "87": { "energy": "[3337.000750014479156444701694821500915359995622721016970377311289110606200539 +/- 6.55e-73]", "dot_energy_90_digits": "[3337.000750014479156444701694821500915359995622721016970377311289110606200538809722795877539425540402110060 +/- 5.97e-103]", "source": "3337.000750014", "source_error_in_last_places": "[0.479156444701694821500915359995622721016970377311289110606200539 +/- 6.55e-64]", "raw_norm2_error": "[1.244190677124000000000000000000000000000000000000000000000000000000e-12 +/- 3.80e-79]" }, "88": { "energy": "[3416.720196758359898951953002919623569574287005438550270911735018966616670609 +/- 6.51e-73]", "dot_energy_90_digits": "[3416.720196758359898951953002919623569574287005438550270911735018966616670609490219706919699730668089095550 +/- 5.18e-103]", "source": "3416.720196758", "source_error_in_last_places": "[0.359898951953002919623569574287005438550270911735018966616670609 +/- 6.51e-64]", "raw_norm2_error": "[1.384924908635000000000000000000000000000000000000000000000000000000e-12 +/- 2.37e-79]" }, "89": { "energy": "[3497.439018624671668839890855586104661188794758888852474055934027986567303015 +/- 5.46e-73]", "dot_energy_90_digits": "[3497.439018624671668839890855586104661188794758888852474055934027986567303015378161561402093534693000309989 +/- 5.94e-103]", "source": "3497.439018624", "source_error_in_last_places": "[0.671668839890855586104661188794758888852474055934027986567303015 +/- 5.46e-64]", "raw_norm2_error": "[1.244808898786000000000000000000000000000000000000000000000000000000e-12 +/- 2.66e-79]" }, "90": { "energy": "[3579.091222722823126947411612881583004899655000307634464775757796613117554145 +/- 6.24e-73]", "dot_energy_90_digits": "[3579.091222722823126947411612881583004899655000307634464775757796613117554144893003846861985180984230381097 +/- 8.89e-103]", "source": "3579.091222722", "source_error_in_last_places": "[0.823126947411612881583004899655000307634464775757796613117554145 +/- 6.25e-64]", "raw_norm2_error": "[1.410908587699000000000000000000000000000000000000000000000000000000e-12 +/- 4.02e-79]" }, "91": { "energy": "[3661.713699320022629240125055065075533375985698001595065293925286132261268570 +/- 8.30e-73]", "dot_energy_90_digits": "[3661.713699320022629240125055065075533375985698001595065293925286132261268570650041156085765550372735107565 +/- 7.20e-103]", "source": "3661.713699320", "source_error_in_last_places": "[0.022629240125055065075533375985698001595065293925286132261268570 +/- 8.30e-64]", "raw_norm2_error": "[1.356026969270000000000000000000000000000000000000000000000000000000e-12 +/- 2.72e-79]" }, "92": { "energy": "[3745.291636240726975930678478167746123935695372788775613912403041428656627328 +/- 4.34e-73]", "dot_energy_90_digits": "[3745.291636240726975930678478167746123935695372788775613912403041428656627328246645735693860275894657886365 +/- 6.87e-103]", "source": "3745.291636240", "source_error_in_last_places": "[0.726975930678478167746123935695372788775613912403041428656627328 +/- 4.35e-64]", "raw_norm2_error": "[1.181753506318000000000000000000000000000000000000000000000000000000e-12 +/- 2.80e-79]" }, "93": { "energy": "[3829.844338421427176592656018940449443076708558395428737532104179634715005792 +/- 4.78e-73]", "dot_energy_90_digits": "[3829.844338421427176592656018940449443076708558395428737532104179634715005792096769040222572348588085211837 +/- 8.93e-103]", "source": "3829.844338421", "source_error_in_last_places": "[0.427176592656018940449443076708558395428737532104179634715005792 +/- 4.78e-64]", "raw_norm2_error": "[1.313321262181000000000000000000000000000000000000000000000000000000e-12 +/- 2.77e-79]" }, "94": { "energy": "[3915.309269620366797600542477659359615192020391111772772987898423344459909183 +/- 7.09e-73]", "dot_energy_90_digits": "[3915.309269620366797600542477659359615192020391111772772987898423344459909183514272642251832601114201841347 +/- 7.33e-103]", "source": "3915.309269620", "source_error_in_last_places": "[0.366797600542477659359615192020391111772772987898423344459909183 +/- 7.10e-64]", "raw_norm2_error": "[1.150854755818000000000000000000000000000000000000000000000000000000e-12 +/- 3.09e-79]" }, "95": { "energy": "[4001.771675565012084058129975899094745784257219666107853124393367298811240463 +/- 8.16e-73]", "dot_energy_90_digits": "[4001.771675565012084058129975899094745784257219666107853124393367298811240463613049282702052004976929332255 +/- 8.99e-103]", "source": "4001.771675565", "source_error_in_last_places": "[0.012084058129975899094745784257219666107853124393367298811240463 +/- 8.16e-64]", "raw_norm2_error": "[1.071542478289000000000000000000000000000000000000000000000000000000e-12 +/- 3.94e-79]" }, "96": { "energy": "[4089.154010055593459267549288799948348824504493181149719616863799676435472221 +/- 5.96e-73]", "dot_energy_90_digits": "[4089.154010055593459267549288799948348824504493181149719616863799676435472221387121350727464495225968201691 +/- 7.08e-103]", "source": "4089.154010055", "source_error_in_last_places": "[0.593459267549288799948348824504493181149719616863799676435472221 +/- 5.96e-64]", "raw_norm2_error": "[1.367188383691000000000000000000000000000000000000000000000000000000e-12 +/- 2.64e-79]" }, "97": { "energy": "[4177.533599622169453517974885901847777584122160245548887612052316650501732425 +/- 7.14e-73]", "dot_energy_90_digits": "[4177.53359962216945351797488590184777758412216024554888761205231665050173242495710394235102192825950967764 +/- 1.28e-102]", "source": "4177.533599622", "source_error_in_last_places": "[0.169453517974885901847777584122160245548887612052316650501732425 +/- 7.14e-64]", "raw_norm2_error": "[1.251774344891000000000000000000000000000000000000000000000000000000e-12 +/- 2.51e-79]" }, "98": { "energy": "[4266.822464156250664585912400434689524803493670037369499165613152569762422569 +/- 8.98e-73]", "dot_energy_90_digits": "[4266.822464156250664585912400434689524803493670037369499165613152569762422569655726675549937821719723176848 +/- 8.90e-103]", "source": "4266.822464156", "source_error_in_last_places": "[0.250664585912400434689524803493670037369499165613152569762422569 +/- 8.98e-64]", "raw_norm2_error": "[1.375753180003000000000000000000000000000000000000000000000000000000e-12 +/- 2.65e-79]" }, "99": { "energy": "[4357.13916313182909156825739510864155334057653129895651301482715603476538556 +/- 1.99e-72]", "dot_energy_90_digits": "[4357.139163131829091568257395108641553340576531298956513014827156034765385561730234257457729370773019505245 +/- 8.57e-103]", "source": "4357.139163131", "source_error_in_last_places": "[0.82909156825739510864155334057653129895651301482715603476538556 +/- 1.99e-63]", "raw_norm2_error": "[1.253973475651000000000000000000000000000000000000000000000000000000e-12 +/- 3.73e-79]" }, "100": { "energy": "[4448.350634331272873394082893605299312637518728280099010538225057475993637886 +/- 9.26e-73]", "dot_energy_90_digits": "[4448.35063433127287339408289360529931263751872828009901053822505747599363788586648544550003024467159487617 +/- 4.63e-102]", "source": "4448.350634331", "source_error_in_last_places": "[0.272873394082893605299312637518728280099010538225057475993637886 +/- 9.26e-64]", "raw_norm2_error": "[1.339208682537000000000000000000000000000000000000000000000000000000e-12 +/- 3.13e-79]" } }, "max_stored_error_in_last_places": "[0.6280757957376637261459955814179604186762232316257938513934678431 +/- 3.86e-65]", "max_source_error_in_last_places": "[1.280757957376637261459955814179604186762232316257938513934678431 +/- 3.86e-64]", "max_cambridge_error_in_last_places": "[0.9927044100891035486926245652986991298407492635376028799641196787926 +/- 1.95e-68]", "max_raw_norm2_error": "[1.581309245485000000000000000000000000000000000000000000000000000000e-12 +/- 3.22e-79]", "stored_rows_checked": 99, "ok": true, "generator_verify": "", "generator_verify_ok": true }