commit a8e6eaa247a7a21cba1d23bf72ae9799cbc0cd73
parent 55963bd092dc8be9d597f8edcc08a721a9234c3c
Author: SomberNight <somber.night@protonmail.com>
Date: Thu, 22 Nov 2018 16:52:51 +0100
blockchain: fix difficulty retarget
"target" is a 256 bit int, but the "bits" field in the block headers
that is used to represent target is only 32 bits.
We were checking PoW against the untruncated target value, which is a
slightly larger value than the one that can actually be represented,
and hence we would have accepted a slightly lower difficulty chain
than what the consensus requires.
Diffstat:
2 files changed, 253 insertions(+), 251 deletions(-)
diff --git a/electrum/blockchain.py b/electrum/blockchain.py
@@ -367,6 +367,8 @@ class Blockchain(util.PrintError):
nActualTimespan = max(nActualTimespan, nTargetTimespan // 4)
nActualTimespan = min(nActualTimespan, nTargetTimespan * 4)
new_target = min(MAX_TARGET, (target * nActualTimespan) // nTargetTimespan)
+ # not any target can be represented in 32 bits:
+ new_target = self.bits_to_target(self.target_to_bits(new_target))
return new_target
def bits_to_target(self, bits: int) -> int:
diff --git a/electrum/checkpoints.json b/electrum/checkpoints.json
@@ -61,75 +61,75 @@
],
[
"00000000984f962134a7291e3693075ae03e521f0ee33378ec30a334d860034b",
- 22791193517536179595645637622052884930882401463536451358196587084939
+ 22791060871177364286867400663010583169263383106957897897309909286912
],
[
"000000005e36047e39452a7beaaa6721048ac408a3e75bb60a8b0008713653ce",
- 20657752757787447339704949573503817091559730029795210136290380062967
+ 20657664212610420653213483117824978239553266057163961604478437687296
],
[
"00000000128d789579ffbec00203a371cbb39cee27df35d951fd66e62ed59258",
- 20055900442607493419304231885070612388653052033693203212369143515380
+ 20055820920770189543295303139304627292355830414308479769458683936768
],
[
"000000008dde642fb80481bb5e1671cb04c6716de5b7f783aa3388456d5c8a85",
- 14823964236757567892443379740509603561300486961438335652879209691748
+ 14823939180767414932263578623363531361763221729526512593941781544960
],
[
"000000008135b689ad1557d4e148a8b9e58e2c4a67240fc87962abb69710231a",
- 10665478642773714533594093039651282002301533435475036254747899885223
+ 10665477591887247494381404907447500979192021944764506987270680608768
],
[
"00000000308496ef3e4f9fa542a772df637b4aaf1dcce404424611feacfc09e7",
- 7129928201274994723790235748908587989251132236328748923672922318604
+ 7129927859545590787920041835044506526699926406309469412482969763840
],
[
"000000001a2e0c63d7d012003c9173acfd04ccd6372027718979228c461b5ed5",
- 5949911830998722926292643443014583571932577723103865087785236463581
+ 5949911473257063494842414979623989957440207170696926280907451531264
],
[
"000000002e0c0ac26ccde91b51ab018576b3a126b413e9f6f787b36637f1b174",
- 5905493731356012500002445562241380310188483401887904088185399375735
+ 5905492491837656485645884063467495540781288435542782321354050895872
],
[
"00000000103226f85fe2b68795f087dcec345e523363f18017e60b5c94175355",
- 4430144627991408624040948791361640318006240855899368474057439916851
+ 4430143390146946405787502162943966061454423600514874825749833973760
],
[
"000000001ae6f66fd4de47f8d6f357e798943bbfc4f39ebf14b0975fab059173",
- 3447600873975070077932488290376750731396138937686397230467460081722
+ 3447600406241317909690675945127070282093452846402311540118831235072
],
[
"000000000a3f22690162744d3bc0b674c92e661a25afb3d2ac8b39b27ac14373",
- 2351604930866654632766829472567920383958332390561025111996712740267
+ 2351604382534916182160036119666703740669209516522695514729880748032
],
[
"0000000006dc436c3c515a97446af858c1203a501c85d26c4a30afa380aba4a1",
- 2098151743855439919137531366951071713579837678345159724749870973527
+ 2098151686442211199940455690614286210348997571531298297574806519808
],
[
"000000000943fe1680ffcc498ce50790ff8e842a8af2c157664e4fbc1cb7cb46",
- 2275792073644785018721128646741518076327875870388847727099387795022
+ 2275790652544821279950241890112140030244814501479017131553197129728
],
[
"000000000847b2144376c1fb057ea1d5a027d5a6004277ed4c72422e93df04e9",
- 1622204498754365521718764766072378227544231556364276849425436764228
+ 1622203955679450683159610732218403647246163922223729367236739072000
],
[
"00000000094505954deb1d31382b86d0510fd280a34143400b1856a4d52b4c93",
- 1551050141962082184940599235022157265046848054947355206102386866143
+ 1551048739079662593758612650769536967206480773659027300489594142720
],
[
"000000000109272cecb3f7e98ac12cf149fa8a1b2aaab248e1b006b0dc595a3a",
- 1389323441362281405504133894690662702230469716601985716313296951861
+ 1389323280429349294447518501872137680563441219958739463959193059328
],
[
"0000000009e6aa0fe39b790625ffeb18a2d6ff5060a5bd14e699e83c54109977",
- 1147154217026336014073920869620380692430705543951348139504758384216
+ 1147152896345386682952518188670047452875537662186691235300769792000
],
[
"0000000000d14af55c4eae0121184919baba2deb8bf89c3af6b8e4c4f35c8e4e",
- 594008212391331743177258641174232971084553374243271275697110908234
+ 594007861936424273334637371358095438347537381057796937154824241152
],
[
"0000000003dfbfa2b33707e691ab2ab7cda7503be2c2cce43d1b21cd1cc757fb",
@@ -137,934 +137,934 @@
],
[
"0000000000c169d181d66d242901f70d006f3e088c1ae9cacb88b94b8266e9c3",
- 110393704409292953137636253955510629068475916699790368077242928142
+ 110393429764504113949181711819653188468070301266890302199533928448
],
[
"000000000009f7d1439d6a2fc1a456db8e843674275bf0133fc7b43b5f45b96e",
- 76555780966028280774274008956877300222068246662708272689770207398
+ 76554528428498296726819074079132986384157750623812250673757552640
],
[
"000000000011b8a8fad7973548b50f6d4b2ba1690f7487c374e43248c576354f",
- 52679970922643127683947083904801524368866887307161543562595547363
+ 52678642966898219212816601311127992435882858542187514726849708032
],
[
"000000000077e856b6cc475d9cf784119811214c9cac8d7b674ec24faa7c2c0c",
- 43246875121342569218488803557695204365585581295709263857216301849
+ 43246870766561725070861386869077695524372774526710079316876591104
],
[
"00000000004cbb474f2cbf3a65f690efa09804512af3351ba3a0888c806c6625",
- 37817522176947171595261355763110820847417850236612020028828535138
+ 37817516728945957090904676150631917288430706594442690521085247488
],
[
"0000000000235b1ec6656d8e91f3dde3b6ab9ad7e75b332e4da9355ce60d860e",
- 29373105354589651513503064535568195122478342070358205617825458296
+ 29373101246077110899697012205905070265841442578602225419818106880
],
[
"00000000002a153a2c95a8e5493db93086b0e3fe590b636a5871ace57523ef93",
- 20444489530085161064085987129079503334049188267661948259198215487
+ 20444488966645742314409346972440253478913291170842138088329707520
],
[
"00000000000e9550e084908cf91a4e8b74f9f1315d1bc4020709f9e7f261bb18",
- 19563851393374294635996921207472450463857223702361327968607284610
+ 19563849255781403323327768731100757126732627316116500830377476096
],
[
"00000000002c2cfef3bb85b463d3fcd39b73a6d3d5ae11c1e2a8113e3794f28d",
- 12545027206560661467344001226069385793869578030934168709550533072
+ 12545026348036226200394850922278603223904369245268262607334146048
],
[
"00000000000fa92b757ee29674aa97e98a49ba3ad340d2baa94155d71648dfe1",
- 8719871918647905191685831001181973300414533694245757905046274783
+ 8719867261221084516486306056196045840260667577454435863762042880
],
[
"0000000000030571601dbc8e13d00d45004eee6ea8b6ab3cdfb38d2546fee21c",
- 5942997561411541711563156602531385577600077786198627208704997014
+ 5942996718418989293499865695368015163438891473576991811912597504
],
[
"00000000000bb6adef42e63082b20fd2b1dc1b324c51973512a4c31f29a9986e",
- 3926018509229572344313816286588613965571477415700629866143917555
+ 3926013280397599483741094494745234959951218212740030386090803200
],
[
"000000000000765094788a98dbb8adac30d248b7129b59b1441ee2b7ef9e332f",
- 3337325505332425700040650320729095537310516946108490809993884103
+ 3337321571246095014985518819479127172783474909736415373333364736
],
[
"00000000000431a0aa9625f82975709f3c6f4f64d04c559512af051599872084",
- 2200422254731939804709388022233205762025354383380152145148334197
+ 2200419182034594781720344474937177839165432393990533906392154112
],
[
"00000000000292b850b8f8578e6b4d03cbb4a78ada44afbb4d2f80a16490e8f9",
- 1861317049673577272902795125376526066826651733332976503154178702
+ 1861311314983800126815643622927230076368334845814253369901973504
],
[
"0000000000025afe84e27423011af25f777e5a94545dbd00fd04bebe9050f7dd",
- 1653210985697702096268217038408538100642620147117674184232799239
+ 1653206561150525499452195696179626311675293455763937233695932416
],
[
"0000000000000e389cccae2a40437be574fd806909e24136711e7f8bce671d65",
- 1462202160246170142640486657710301628879951515428353771159991652
+ 1462200632444444190489436459820840230299714881944341127503020032
],
[
"0000000000030510bf6bc1649726cf2e6e4010c64a2c8fd3fde5dc92535ca40e",
- 1224747759897877506274637367000463834699323352769332185408382770
+ 1224744150896501443874292381730317417444978877835711165914677248
],
[
"00000000000082648057f14fc835779c6ce46a407bafb2e5c2ac1d20d9f4e822",
- 1036993586117576703268996282150397585765576605730719362190807632
+ 1036989760889350435547200084292752907272941324136347429599444992
],
[
"000000000000f38accd6b22959010471a6d9f159d43bf2a9d4c53c220201254e",
- 739430452756642306146040915925451887239493960335784687377022899
+ 739430030225080220618328322475016688484025266646974337550123008
],
[
"0000000000004ed7a73133678b5eb883cd8882bf14dfb26c104ae0c3f94cf4ee",
- 484980150867459464772730739859302095672636271057575743647282522
+ 484975157177710342494716926626447514974484083994735770500857856
],
[
"00000000000037bb3ff4cf649a1757d4028ecc10f893529b4a2214792c981f96",
- 353834202080594446847490995785168095798368734611949601937470709
+ 353833947722011807976659613996792948209273674048993161457434624
],
[
"0000000000008008f46559fe7f181e9dc0648f213472a1e576e8bf506b88f22f",
- 390846686979010943280302753017141998917705716027679590623447523
+ 390843739553851677760235428436025349398613161749553108945469440
],
[
"000000000000691d0c2444db713bf6c088844cc95a37cdc55cc269bb0a31d8c8",
- 327399809810416473497219170054754564569687652741316499001410264
+ 327394795212563108599383268946242257264650552916910648089116672
],
[
"00000000000071153b0afcc64a425f8442c29749610797119e732dd4b723f675",
- 291937852278662838074813817696277197987476923260730675453803937
+ 291935447509363748964474894494542149680088347011133317125767168
],
[
"000000000000a384acb522e4e5935ad2bc31366ecf1f16f1f11023e967ef033d",
- 245829147781851502645710488124949429684812753873220896184598139
+ 245823858161213192073337185391658632187400443916100519594033152
],
[
"0000000000002e532093d43e901292121fb7c6583caf2d13b666fe7e194b4a97",
- 171262571764606989041741296999128813297927395580615685573053946
+ 171262555713783851185422181139260521316022447660158187451973632
],
[
"00000000000033e435c4bbddc7eb255146aa7f18e61a832983af3a9ee5dd144d",
- 110439004522135981410957929709803254805947931106765020063637821
+ 110438984653392107399822606842181601255647711092336854093004800
],
[
"00000000000028ff4b0bd45f0e3e713f91fa1821d28a276a1a1f32f786662f13",
- 61993466854134149454140006024796140857619052825495269156061184
+ 61993465896324436412959469550829248888675813063783317791309824
],
[
"0000000000001ef9c75318e116a607af4de68fb4f67c788677ee6779fb5fa0d5",
- 47525095027499967685539085016596651791271838150303471592202567
+ 47525089675259291211422247200069659468817014361857087365971968
],
[
"0000000000000e6e98694ccb8247aad63aaa1e2bec5a7be14329407e4cea6223",
- 30742242324775075538370115437091356458943450412845263377277862
+ 30742228348699538311994447367921718297595975288392383715082240
],
[
"000000000000000a2153574b2523a6d1844c3cb82d085e2575846dd8c5d4ebb4",
- 19547340168280248765311813293333293631817970001494998481269884
+ 19547336162709893274575855467812492508787617050928192350584832
],
[
"00000000000002a92c1b1ffb2a8388979cf30798e312335ae2a1b922927ee83d",
- 17248294060755457364687620800167145237577978222086136949668577
+ 17248274092338559882155796390905381469049315669915374897332224
],
[
"00000000000004d54b1422ce733922e7672a4e2ecc86dcf96c0de06565cddaa6",
- 15943944661534740097945584046599407470739618287604834836788345
+ 15943936487596784557029840069157210316687734428242467413295104
],
[
"00000000000009dd91ae96cbbf67af42340b0bc715b3606aa725f630b470262d",
- 14273487520109069190865495135324295912393888045891964854360837
+ 14273467308195657992975774342458504496649432985410431166185472
],
[
"00000000000007d33d78522fa95bdcd4a25072aeac844cbe9b6bc5d0cc885d0a",
- 14930240326912220437232591181374307607822146395712988852898063
+ 14930233597189143322113827544414041000381079823613435714732032
],
[
"00000000000003dd57f5dd1228f68390b586700063225d26bac972bd120546d2",
- 15164777495018002532932947047554711971850359981358394796619712
+ 15164766714763258952996988973449124317842091658872414191747072
],
[
"000000000000076bdeca878b47c392f51fbda543b1e69612cf7d305deb537604",
- 15357836661363254148000422860842573817259062733233058353910518
+ 15357836632983707094928406965317628870031114888441593128288256
],
[
"00000000000008eb1bb7e18d9dfe62210d761cbf114d59ca08e4f638b8563e30",
- 15958691676650473757098043151847631737628132481844875166319930
+ 15958672964717750944291813934170287689797412223641384931819520
],
[
"00000000000001b0d8d885e4d77d7c51e8f1fdaba68f229ac04d191915845f09",
- 18362382113291570192217962968958993778167022285180280072455374
+ 18362361570655080300849714079315004638119732162003921272832000
],
[
"000000000000081baa3a716d5f9ab072c9fc3b798900234c9be23ab02a287c30",
- 22401656061533210580918575951901358551917227873474367195418168
+ 22401652017447755518156310839596703571934659990690572544245760
],
[
"00000000000005b88d0224b9b0d4b65d3de9a61d93609bb91c9297440f1c4657",
- 22607630170339665188190152183146632918104515553204180801386220
+ 22607619418140130980719672680045705126213018528712048676700160
],
[
"000000000000027d6a6870403fa43a650b7d9a6e61243f375a79ea935ad9ef1f",
- 24717308784096979165831027254372357786209337057535982141051915
+ 24717289559589094364468373797949472355802981654048927838633984
],
[
"0000000000000810a3490b86e4f302f6557f9621c5c8620c2b09ec8f0cf72794",
- 23340837323532611728563455098354667083079032543420012677249737
+ 23340814324747679919001773364939281849550099124416593832968192
],
[
"000000000000073833bca8d0ea909fde717e251576b7b3ccaaa58ad5d39eed60",
- 23242403153239567181248045649858932694926499996163845297462125
+ 23242391331131109072962566885467580392541369223033474166816768
],
[
"000000000000031b7fd2ed1f28ff74e969aa891297706c38bd2e1d3bc48183c4",
- 21554570223215082708991040006621195807471559921461022664387024
+ 21554562042243053719921017803645315870071034703425342074257408
],
[
"0000000000000b0738bcba382983811d40b531f2e68cd57126092755f1be4ba6",
- 20615559358036706401988446678345142325284830029403352655769482
+ 20615546854515052444405957679617344022137222968655050411343872
],
[
"000000000000000664cbfd5e3fa497c07614c33a0934b83e01fbe980634a9aa4",
- 19540900118929245469513784022598005389554682908250308721002538
+ 19540887421473929614259883543522244007742949396702043752628224
],
[
"000000000000021eb520df39289a70e40c59822a8c47924dc4940e7d0c1455c4",
- 19588382633956678748738987427134971684150657954263472331193639
+ 19588382523276445241758125434587686389961661359576757951266816
],
[
"0000000000000275e0c41b11bc250fe887c5e60c8ebaaa449f5c28c67133d496",
- 18009312093826905807996061071987479121278814437031313100845126
+ 18009299117968233362105684657812007807160912568078774269116416
],
[
"000000000000097fb0fdbeee0cee7e8f4e1a4ef8fad49f3d549624b0d47abed0",
- 17993487382135493395314550202532083574115934981151443202421804
+ 17993483763986497389087426516491816616385967180337839494660096
],
[
"000000000000053f199ae19d34365277e534f978ea2f6c69cd4757a4fc099af5",
- 16574652347477707606538518827054821354422596190208356086094719
+ 16574638092431222848464934504874974361824393751455373256032256
],
[
"0000000000000217b2e7b4f61682d24b9357d62ad29f27ed45ea2a32dc1f32f6",
- 17085566110414426392074980811822124799183310889195548936089857
+ 17085559845791583266730740536950670241169412424878408752693248
],
[
"000000000000039c1d77acd4702393f48ca61983c64fc0209ade141c694b2359",
- 17870696125576904989516147458864032514115346444088781066283239
+ 17870687961287995446644888885900316642120964851955511819501568
],
[
"0000000000000ae53f0c78330f6c2fbece2752909bc3742823e4fab29c5fd2b0",
- 15554723035590620381978382489682684584827446061258013409024347
+ 15554707140145502641228553657813466188995512591033787398225920
],
[
"00000000000004b4d72b8631a85ec7d226dc696f1913ba1bf735b7c8dec207b8",
- 16944240402989056240270048857919858304172512515419325535711617
+ 16944226977030767532657500340718760127019357828074148225613824
],
[
"00000000000006e06735bffb7d2f215dcadd8311fc33f4a46661fdca3dc0560e",
- 17028766006301915583302001014128348187011555103613522799474256
+ 17028747171100603034973679895960153979114298528140818252824576
],
[
"000000000000055fc0110d4a38ffb338eabc30c8b0aef355d4643d21b5b6a860",
- 15614541816377627606833566623846498830327983334155710863946027
+ 15614535766060906942258863525753414259523988166363835227176960
],
[
"000000000000081b69cb4de006c14084c4861f0e4a140c37200117a738733fe8",
- 15392658582903619517884239396883829533752908215468116311928350
+ 15392654931672180089790308609774483894682932641297604569726976
],
[
"00000000000009920770f2d40b5b6a8aba33d969b855c91b0f56e3db9c27e41a",
- 14444739202621038642296525467957270513966223272539123613709315
+ 14444739009842829731785903206212823051010663269705670545375232
],
[
"0000000000000791dd1cb7a684a54c72ccde51f459fff0fc3e6e051641b1e941",
- 13237069982010980053565410157895773782534548540484990599728904
+ 13237058963854547748734324548161076199478283141947127217782784
],
[
"000000000000019da474a1a598b5cf28534b7fd9b214eed0f36c67c203a9b449",
- 12305441845260052457400411036992507599992679866354285875870526
+ 12305424274651356593961118223415860240572779254789271782948864
],
[
"000000000000074333e888bac730f9772b65e4cc9d07edb122c6e3c6606bc8ab",
- 11046102047853392984991332456419807063224677592114743703633836
+ 11046080738989403765716562970384822165842244193743674858799104
],
[
"000000000000067080669115c445f378f3dec19787558d0e03263b9dec5d7720",
- 10007086165511791816771124848728462094811571795311807624126594
+ 10007073282210984973971337419529346944295676968729147521105920
],
[
"0000000000000304760bf583f4ac241c5ffe77312fa213634eba252c720530f1",
- 9412804029559050886132126846183090289448911866201243978830721
+ 9412783771427520201810837309176674245361798887059324066070528
],
[
"000000000000041fb61665c8a31b8b5c3ae8fe81903ea81530c979d5094e6f9d",
- 8825807680257895657479991196220989276506275995152177228848553
+ 8825801199382903987726989797449454220615414953524072026210304
],
[
"000000000000022fc7f2a5c87b2bab742d71c4eb662d572df33f18193d6abf0e",
- 8774981337152660993121733114298631263731662998207194412401974
+ 8774971387283464186072960143252932765613148614319486309236736
],
[
"000000000000013c6d43ba38bc5f24e699515b9d78602694112fefdc64606640",
- 8158793708965770005321748925786317683564827171691288121295309
+ 8158785580212107593904235970576336449063725988071903546310656
],
[
"00000000000001665176b9a810fddf27cca60dfcfd80bf113289fcc8ffed0284",
- 8002813558257060656072356380146767001272597020026124199745768
+ 8002789794116287035234223109988652176644807295346590313611264
],
[
"00000000000002dc6ef80f56a00f1091471d942ce9bfb656ebdab4ea0b77eb0b",
- 7839578136187174365862370390163660393786299729896106652527867
+ 7839560629067579481152758851432818444879208153964570478641152
],
[
"00000000000002a1fa5546ec48ca88b9e5710e2c6d895bb3675004fdacd6ab13",
- 7999436853933517849738304697453936802516675338771116464559736
+ 7999430563890709006856701613305138698914315019190763857641472
],
[
"00000000000000f517517c11e649b98feca7da84ae44fb643de5a86798fe3c31",
- 9047933968943662429055854851798411859479270438104123361452456
+ 9047927233058169382412882048952728634925849476849852060008448
],
[
"0000000000000299cab92a923348acf9251f656bcbacdb641fd0a66d895a6e8f",
- 8296401729498848716200066027575181804609215798824798623774115
+ 8296391419817537486273948666838217011279219811331013552898048
],
[
"000000000000027508b977f72c3a0f06f1f36e311ad079536630661880934501",
- 9081043763417525999805054818818176389840193708186237826596038
+ 9081029136740872581753422344739175313292014241889017867010048
],
[
"00000000000001925959229452cc6fbfef0104ebed7ccd6f584f2439c5dd1f1b",
- 8230756222604082728916412296377630357556635887892965869189316
+ 8230751570811169734692743946971314968326461977249645504495616
],
[
"00000000000003b34ca89509da5f558af468c194afaa8d458bbeb07c50cc7c74",
- 7384132762576773456261468151764493698188252321818593178380086
+ 7384127474250891166670391848516180960454656786677558849568768
],
[
"0000000000000076559e314ab0c86cc552e34fd79488415d3d17f6ea3c01adb3",
- 6172235633712067451972497618887145940241016806561805162089236
+ 6172230000534146257480611019445716458048957888854766248787968
],
[
"000000000000003a58043252cdc30ed2f37fb17e6ef1658324b1478f16c1463b",
- 5561375174290806544537887055854541186367445945410171525594428
+ 5561365017980676031428107027647386014985059524839404952616960
],
[
"000000000000011babf767e60240658195b693711c217d7da0d9215ccab45333",
- 4026320687087602082485484360946232153393536063582206994825059
+ 4026319404534786334009451711043898716884778820756489262596096
],
[
"000000000000027579d28fb480ccad8e2516d1219d4c1919e3fd4fc0c882955d",
- 3513562835129894943437236119628516496362458327482173263945837
+ 3513558656525386849113615662535622466519417660386833443323904
],
[
"0000000000000074546fe07f80ba15fc81897ec56a5535de727df9fda9dab500",
- 3004086841873755151847218915251583968757589997419002536446958
+ 3004083578955603829930099910053556479043735076695139267117056
],
[
"00000000000000b6c55833b80c07894f4c4d3bb686e5ddbc1b1d162e22752ca3",
- 2675564091736135973597987074403776057837198839748912144832848
+ 2675541054922611112919804040984964595022815308724929898217472
],
[
"00000000000001326f2f970753122e35bfdf3358d046ddf5ea22e57f5d82b00d",
- 2409853811740497723006216754124060157774336072925654369402748
+ 2409843108029446766213067266805752590003732794677225687351296
],
[
"00000000000000641084745613912464ff73c974bafd0bf6dd306295f019d306",
- 2218270940716371747904935551989691447849649677886077648624174
+ 2218268905456883731807407021635746739577921454491297946533888
],
[
"000000000000011ae105ddb1a5bbac6931a6578d95c201525f3a945276a64559",
- 1727570438327407251342043828017904756815782584333725141104066
+ 1727551573307299192250197436766000536509732237655131060961280
],
[
"00000000000000d9b66fee19af89eaaf3f3933d1acd2617924c107f0abbe0a41",
- 1394050998377933499722472690026032322818492088393319462766728
+ 1394031503757574068227953656553224448260418805016069352194048
],
[
"0000000000000011956d42670c2f75eeb344ac0657a806775998e2c58fa4b157",
- 1263613033940095470462619539828531085609177044392029609988618
+ 1263610003247723462826224891154624535497729630761756072607744
],
[
"00000000000000959b1ea990368fd16d494e68ee13bd7245ddd9cdfba3330100",
- 1030471032625362817908252078771570487808270046919474202776261
+ 1030450001678223668360152541055867895065240185756254103142400
],
[
"0000000000000091f86b1e423e24fe358c72db181cfcc2738c85f2f51871a960",
- 862536742724199235179104073167840532858949484653681168904647
+ 862513010327976103705811440432628413487564277790886242287616
],
[
"0000000000000055e146e473b49fe656a1f2f4b8c33e72b80acc18f84d9fcc26",
- 720982725653754866133106184196823339064064188411714396293721
+ 720982641204331278205950312227594303241470815982254303477760
],
[
"000000000000004f6a191a3261274735292bc30a1f79f23a143e4ee7dd2f64c1",
- 530591605956209005375408931042036763612094286954585940489028
+ 530591525189316709998942710962548491505413142398652303540224
],
[
"000000000000005327c8e714272803c60277333362e74ec88b9ffab5410c2358",
- 410030655694725315191023225682702558843537088229871225194892
+ 410030579894253754102159787320079652501746816512444002729984
],
[
"0000000000000002e2a62b8705564c38d6a746fc8e971a450a69989152b5ee97",
- 310118507134852270764417655876559284597214440570539833833949
+ 310118479516817784682897231521434079438159381558537557639168
],
[
"00000000000000202bf3ff30109538bfd9b5075c6438ab5ef64ebe2cf9b61404",
- 239366804613626989118705458454015500681551595998816410136871
+ 239366800071949252578530950352093786414793290792735831228416
],
[
"000000000000001c997105893f5991cb45765ff856b6e503f8466cb22cdd330a",
- 181156300891423147840813581996669801683959668074714341556907
+ 181156297885756721946540202079438048595571151633323613224960
],
[
"0000000000000010c13ce182a3d8fc6748b75640447eb360d7739a5fe984ffc1",
- 142431143903518058663503832095902619444236806543928975891292
+ 142431093377788751676361246670241704468765375727695350988800
],
[
"000000000000000bbb49db68b79ecc8393376d78272d237bb612288af64c1de8",
- 100696286705944192804288311731154032278221074156374274573154
+ 100696259189502783924473792493100546893980348528488767029248
],
[
"0000000000000001bbfd0973c367d30eef2416d9e94bdddea53bccf541a4858f",
- 68962785458117760598328072539715155134139124175836033018875
+ 68962778243821519216393853205209897734463141354237780295680
],
[
"0000000000000004ee5b6ace996ab746f1e6dd952cdbc74c0b4f8b9ac51c7335",
- 52765647417137724306257751915372504293019655403366801103482
+ 52765641310467331636297188681879886184148735229489015947264
],
[
"0000000000000002f2f23b515085d0c9f37a2824304ccb7ca1546a48548d0dac",
- 44233494692117781485772218913793271750746093635349642503033
+ 44233472386696495417387091608220539804351405166731810832384
],
[
"00000000000000045590c3fdeca1753d148a87614a70fa0897a17f90bb321654",
- 38110303308616451367971130315102755539751527244002747835354
+ 38110290672195532365762668664552282566878756832852091863040
],
[
"0000000000000002b704edc0bf1435fe2116040b547adb1bc2d196eb81779834",
- 29679712134953944285822600537404275892101515173751373902643
+ 29679649578007061283718812081441644170496168236939550392320
],
[
"00000000000000038cc59dc6dd68ae0fbe2ded8a3de65dbd9a2f9a36d26772df",
- 22829284162675848134182694598477416531051323480214451851537
+ 22829202948393929850749706076701368331072452018388575715328
],
[
"0000000000000000a979bc50075e7cdf0da5274f7314910b2d798b1aeaf6543f",
- 19005972021752888554737867279515830726136655207276613952446
+ 19005913916847449503306572434028937600915626422125897711616
],
[
"0000000000000001dd8e548c8cf5b77cde6e5631cd542e39f42c41952e5e7085",
- 15065030752662243106668159124876133476723125447787423397009
+ 15065005852539512185984435657022720640916062598235628240896
],
[
"0000000000000002513542a461de351a5a94f96b4bcd3e324a48d2d71b403fe0",
- 12288777851891587151373320769563000373599628572350950946294
+ 12288698618318346282960995223961541766142764336009759948800
],
[
"000000000000000150cc07163e78d599a7e56c0d1040641bffb382705ac17df0",
- 10284450072667651845630380921900049634274231900711580829901
+ 10284386012808371892335572105827331142617405906583881252864
],
[
"00000000000000009051d83d276dad5c547612f67c2907acf6a143039bddb1bb",
- 8614457133517962240383077577277860009688882364333357498735
+ 8614444778121073626993210829679478604092861119379437256704
],
[
"00000000000000000b83d3947d2790ab0bcbbb61eba1eb8d8f0f0eb3e9d461e0",
- 7065404376960081064548050202734411051432779994036264291865
+ 7065379129219572345353864175298106702426244380437224882176
],
[
"00000000000000005a4fbbaeffee6d52fa329dd8c559f90c9b30264c46ad33fd",
- 6343128691613752139911564815777925738673759990853012864417
+ 6343094824615218102798845742064326605321937397913065881600
],
[
"00000000000000006b6834bae83e895a78c5026a8c8141388040d90506cf3148",
- 5384566985902468539838947745491317290501351277582100625895
+ 5384518863803604621895699676581808210968416076987222720512
],
[
"0000000000000000bf3c066c9acdb008e7fff3672f1391b35c8877b76b9e295e",
- 4405445424268587912774001698765643657938467054813941696357
+ 4405349994161605759458363322921957536960017949107037405184
],
[
"00000000000000006bcf448b771c8f4db4e2ca653474e3b29504ec08422b3fba",
- 3863116091606416844204395924633339211949472882692642434091
+ 3863038134637689339706803268689141874606936642244315185152
],
[
"000000000000000098686ab04cc22fec77e4fa2d76d5a3cc0eb8cbf4ed800cdc",
- 3369644874471976788888364569461031006144821186115339704344
+ 3369574570478873127315415525946742317481702644901195284480
],
[
"000000000000000036cc637d80982595b1fa30f877efe8904965e6fd70aeae1a",
- 3045099804940836864917455634208357232827311736852711219052
+ 3045099693687311168583241534842989903432036285033490677760
],
[
"00000000000000000ee9b585e0a707347d7c80f3a905f48fa32d448917335366",
- 2578448738892556035161639572550297683334908085589209042124
+ 2578448441038522347123624842639328775756428679710156783616
],
[
"00000000000000000401800189014bad6a3ca1af029e19b362d6ef3c5425a8dc",
- 2293150027595934059742111263510686973492486336734191444857
+ 2293149852232440455888971398133692017055281498246925516800
],
[
"00000000000000001b44d4645ac00773be676f3de8a8bff1a5fdd1fb04d2b3b2",
- 2002553394643609738890838973561169711471353898661293921361
+ 2002553378451099534811946324256852041059202347552707969024
],
[
"00000000000000003ff2a53152ee98910d7383c0177459ad258c4b2d2c4d4610",
- 1602973121906621623499825176001242504910089450561449296745
+ 1602972750958019380418919163663316163747908621623690788864
],
[
"00000000000000001bb242c9463b511b9e6a99a6d48bd783acb070ca27861c2b",
- 1555090301026128543569302441423333574769288057539276771351
+ 1555090122338762644529309082074529684497336694348804259840
],
[
"000000000000000019d43247356b848a7ef8b1c786d8c833b76e382608cb59e9",
- 1438882618901096676077751337424466243540231648216042671672
+ 1438882362326364789097016808333128944459434864174551793664
],
[
"00000000000000003711b624fbde8c77d4c7e25334cfa8bc176b7248ca67b24b",
- 1366448148696423482270218240630565379904190231445288559686
+ 1366448002777625511026173062127977611952455397852592472064
],
[
"0000000000000000092c1f996e0b6d07fd0e73dfe6409a5c2adc1206e997c3a2",
- 1130631792721554272454999472203133803635779505498977249380
+ 1130631509982695295834811811892052032638591596239280668672
],
[
"000000000000000020ce180d66df9d3c28aee9fcec7896071ec67091a9753283",
- 982897902661444504749094486748895114762769275663213548760
+ 982897592923314645728937741958820396011314229953349812224
],
[
"000000000000000018d37d53ae02e13634eefb8d9246253e99c1bdf65ac293ea",
- 903780674822307262725136466127288858430591999464421319774
+ 903780639904017349860452775965599807564731663176966340608
],
[
"00000000000000001607d1a21507dea1c0e5f398daf94d35fb7e0a3238f96a0f",
- 777796786715545142990933608995805126717575855757223448283
+ 777796486219054632155478957346406689849105796561635377152
],
[
"00000000000000001acae244523061f650ddab9c3271d13c0cd86071ae6e8a5f",
- 770217857427240993023051315984564139215374347389780685886
+ 770217816864616291160628694313702426464491250746461782016
],
[
"0000000000000000104430189dba1219b0e3dd90824e8c2271609aca5b71250f",
- 749175002550855564826315453191856424408132088739667533908
+ 749174812297985386116525053725808178560617045558724395008
],
[
"00000000000000001aa260733b6d8f8faa2092af35e55973278bb17f8eaeca6b",
- 680733332917879088904702563202563546480869669564659182916
+ 680733321990486529407107157001552378184394215934016880640
],
[
"000000000000000009925ad5866a9cb3a1d83d9399137bccc7b5470b38b1db2b",
- 668970749931191589798031473561994304229010598616526068121
+ 668970595596618687654683311252875969389523722950049529856
],
[
"00000000000000001133acacb92e43e24af63a487923361a4a98c87a5550dffe",
- 673862885517789065391946314370719009092913047398806257816
+ 673862533877092685902494685124943911912916060357898797056
],
[
"000000000000000018c66b4a76ca69204e24ee069da9368c7a9883adb36c24af",
- 683252375980679323816587400004061743952674823748550569728
+ 683252062220249508849116041812776958610205092831121375232
],
[
"000000000000000010b13aed220b96c35ccd5f07125b51308db976eefcd718f9",
- 663358898259210531333699235628449595078182768956016850932
+ 663358803453687177159928221638562617962497973903752691712
],
[
"0000000000000000031b14ece1cfda0e23774e473cd2676834f73155e4f46a2b",
- 613111677421249032126095464155766633549817788831841702233
+ 613111582105360026820898034285227810088764320248934432768
],
[
"000000000000000010bfa427c8d305d861ab5ee4776d87d6d911f5fb3045c754",
- 653202571346946874804858789924935228771775905822751784751
+ 653202279051259096361833571150520065936493508031976308736
],
[
"000000000000000005d1e9e192a43a19e2fbd933ffb27df2623187ad5ce10adc",
- 606440210473080582646260971729051700700295823810315465086
+ 606439838822957553646521558653356639834299145437709336576
],
[
"00000000000000000f9e30784bd647e91f6923263a674c9c5c18084fe79a41f8",
- 577485545195557219124205162278233745767078209386685370301
+ 577485176368838834686684127480472050622611986764206702592
],
[
"00000000000000000036d3e1c36e4b959a3e4ad6376ce9ae65961e60350c86e8",
- 568436189899844976161013318161470010900802307864463999350
+ 568436119447114618883887501211268589217582000336195813376
],
[
"00000000000000000b3ec9df7aebc319bb12491ba651337f9b3541e78446eca8",
- 577075446183156083131210077122535091982277790261940376730
+ 577075114085443079269506210404847846798089003835028668416
],
[
"000000000000000012d24ce222e3c81d4c148f2bce88f752c0dba184c3bc6844",
- 545227685810993878908530774661151072647124692119579479626
+ 545227566982404669720599751103563308707559049533419683840
],
[
"000000000000000000c4ccbdd98c267bd16bda12b63b648c47af3ac51c1cc574",
- 566251462633192796874293710752184671013063323002614261298
+ 566251116039239425785056264238964437451875594947144974336
],
[
"00000000000000000056bfec1dca8e82710f411af64b1d3b04a2d2364a81993f",
- 565861163013726292152715860908846169118213713027013549266
+ 565860883410058976058672534759150528155363303710710038528
],
[
"00000000000000001275d1cadce690546f74f77f6d4a6190e2137a8a819946f6",
- 552365082628398268882484833076555675653086455208105645421
+ 552364745922238091561919045022000637317595931246011088896
],
[
"000000000000000003816ae80c6413b84cbee2f639ba497ab5872ec9711eb256",
- 566500826506537696689556913703962485638366020240431987761
+ 566500670366816952120145379831520408210047884740723212288
],
[
"00000000000000000d92953224570f521b09553194da1ca3c4b31a09a238f4f6",
- 542528831070582225190358970054175523872885764221168055524
+ 542528489142608155505707877213460200687386787807972294656
],
[
"000000000000000006721943f23cfacf20c17c2ad6ea4e902af36b01f92e3c06",
- 545717458684443426657861963694104795617022469075593560376
+ 545717322027080804612101478705745866012577831152301113344
],
[
"0000000000000000031d9af2fe38cc02410361fb213181fdb667c74e210d54c4",
- 527828116295419256939747768525818422990809696098687485908
+ 527827980769521817826567786138322798799309668948178370560
],
[
"0000000000000000142e8a13ef6994961655c8e86aece3f0abebd2ee05473e75",
- 515692649961651115318501607126660466594771968970128733915
+ 515692606534173891771672037645739723025219384908133171200
],
[
"00000000000000000c7a8db37a746d6637ef6a6eab28735608fd715ee2f394e7",
- 511567833081612605062932845380344111401319750691048028647
+ 511567664312971151375333957573881285830542480898837708800
],
[
"000000000000000007854877c66c71a49af40d20f2d6f817becfe4d66d5e5a81",
- 496889275651173623472900330204902534352929519684753746862
+ 496889230460615059653870414954457230681194245244172894208
],
[
"000000000000000005ce1d2d10aeb9def4d38233e859d98a4a168ea3fa36687a",
- 473326016878892721329791660926511941983191613711888666872
+ 473325989086544548323169648982069700877697035484407005184
],
[
"000000000000000007c71decfe74855ad99dc2aa4a2e713165db5a8d6da5f32a",
- 454358905739145490120646206475613103265889121292141221496
+ 454358737757395076722955683517864397151243915416267915264
],
[
"000000000000000008ce4f34161be6760569877c685e37ebebce3546ea42a767",
- 443317174350997401226699663083830316501226707336190868827
+ 443316987659242217350916733941384923365365929826941140992
],
[
"0000000000000000086233f4843682eb47bacb58930a5577fbfd5c9ebd57ddf9",
- 442803156296231091698861521258691618419467911445974398697
+ 442802913227320896234856097023585967110900073490544590848
],
[
"000000000000000010a904eee4fc763c6b88d378884f368fd652f63c1af71580",
- 433057295538880306866830023102486508102611067408810729986
+ 433057199397126884276233483897801969646324654385408245760
],
[
"00000000000000000c114754749d622d4fa2f78c84d7147c345b2b99a8e83d2e",
- 409419135913169127551416754586994781281659818649795994250
+ 409419129139225030716120689261979366152221060879441985536
],
[
"000000000000000000a5039e32cc9a89aeffbde1391e8bc9ae9724127904f01d",
- 370716565562591807409073645534324134138902968133741824826
+ 370716507988397359530778284103407727265240291588416995328
],
[
"000000000000000003b0b73d9b3259c318cca48a6335b5d64545583f7f3773fa",
- 340818601652590375722654926010534269909167221015231774473
+ 340818253309165415058055171484606858815006633875327680512
],
[
"00000000000000000198bcc5bd65fd0ccd1c7e3b49e0170ea80296cbfee05042",
- 288495776454828940814130957501183806179235220269688957284
+ 288495652867775987986282369150900282132304927019642126336
],
[
"00000000000000000a60f379d3dc1413491f360809a97cbb02c81442c613dce7",
- 259524927038954052049842432960406271327041356520946780931
+ 259524902203633530447121351815377152077137395840706412544
],
[
"0000000000000000038973a5f8ba8cdc7e371dcc8f4b24337ef695f24b962907",
- 237834533496394499560421837048697627284447080833665891069
+ 237834253647442358407456603145452341381064939329604812800
],
[
"000000000000000004b8ec471974913d052a3af7dc2a8c6f01c2ac2f3d1f7b19",
- 224600594221399775791208366807237501899705336368643295004
+ 224600391397450328424792273873642383828872941895338164224
],
[
"0000000000000000075d572eef1c4210adc7abf4e40986d7f0a80003853bfec4",
- 187068024570118295326670137055767916260683809649859998591
+ 187067719845325692996306936867878122094522982476155977728
],
[
"0000000000000000074f9edbfc07648dc74392ba8248f0983ffea63431b3bc20",
- 164898586657174446766450284432249324933473312757247241703
+ 164898540577033087399552264895286015147022701908103004160
],
[
"000000000000000003c4a4d9c62b3a7f4893afe14eef8a6a377229d23ad4b1ea",
- 170169949941312779383320359289276524103458774855674537695
+ 170169861298531990750482624090969781281789404909188153344
],
[
"00000000000000000404b6939e6c35a5448386e5d58f318c82ce2fefb7d73e47",
- 162900642628594452312926252009782198966469183066378413701
+ 162900609378736249874251099581569547607832255884553093120
],
[
"0000000000000000034656c96781091b5fbc799c881ea85b41cba0b88128eff7",
- 161578253985639514393501040432436419806938319938347383115
+ 161578008857017275969393492955354620126364423170461532160
],
[
"0000000000000000045645e2acd740a88d2b3a09369e9f0f80d5376e4b6c5189",
- 150883217088565412406283744917586302541065882485692466643
+ 150883090635422687830679296233896712896447026244773478400
],
[
"00000000000000000381e6a138308c6547d6fe3eb3437250ffefdebbf71eefd1",
- 150899431314054665651533974629900879951167127567886958331
+ 150899178845446426410002882396535253739927398750206558208
],
[
"0000000000000000012100ddbb2102e65fb1ebbf104ead754a4110abffc4b8bc",
- 138784704342716220538434620238263807017514526920482840730
+ 138784382553152119468195441786396823230753870240366460928
],
[
"0000000000000000046f56e59b9b1293b5e7c1587aa6d29c4f3f79b98cf22ee6",
- 135263027158857483473983812897618462696878980167989570177
+ 135262935280049154152065372885142255350817451144176992256
],
[
"000000000000000001bd1c291e91f4476f93454d4542d2ed7e44fc86902c93bb",
- 137505575960473580232190762314053902119220761315057010096
+ 137505556928474480767543871928291413858290772017802117120
],
[
"000000000000000001c37a483375ff6fd6ed7c5b79d80167b027a8fdb0721dcd",
- 128714000003724620550017796842876174875520737762229396938
+ 128713911367130082233924624261304605948946745676720504832
],
[
"0000000000000000051804b4c2da5298c4573386bf1d4242bf0e26a49ec32e42",
- 126334257597368896694079008874105899845411447996852366067
+ 126333978716874242627475052620752087219210710628817698816
],
[
"0000000000000000034bff7888f1f7294311f0199322f77c1457018c875bd9e1",
- 126278728489740292169183109579386034099056145098127681816
+ 126278605342839049377710151409810132688161986656629424128
],
[
"00000000000000000506b43c9283ccbc40f583e0c734e4a8af2ce6a4262c6221",
- 133533674521328301805375468020445677637867523414815983180
+ 133533639774706835230353390473157702360903922769486413824
],
[
"000000000000000003937068e19a0750a33978050f019d2b60f430e3da707db9",
- 124023231761354306172598997090326962528984683316222123922
+ 124022888639743237872084547350559836284832548627419234304
],
[
"000000000000000002e2f6ec3c9eb965aa706c788da7dede201b6b4b8fae3971",
- 122123890689597169329897975011373560881532793639713851004
+ 122123731568103772089607259872577666017242529148853813248
],
[
"000000000000000000b3076636b13562bb4315f895bcb324e0c962763c2196b1",
- 119378471659813172166584350643745606396975629669615648535
+ 119378259820331825692479928211144812308894309500762193920
],
[
"00000000000000000025b8961d1d0cfba33b0205ec10b3ce541618e352b0bbd5",
- 111760099061575845238587552104542233599456594020708180600
+ 111759931157462873316041289986819959868258380300102402048
],
[
"00000000000000000421d58b78b9f063a4b20e181d55c9c79082f9e4b8b30925",
- 104283398725864083874296861096497976441886465506877958948
+ 104283029085035157753191385936387396702868516379761311744
],
[
"0000000000000000027fd968d41741f31c73c4a3b304472da0165245278e2ea3",
- 106299891835047816880570816560226555729378855394467112113
+ 106299667504289830835845558415962632664710558339861315584
],
[
"00000000000000000364a23184b8a2c009d13172094421c22e4d9bc85dcf90a5",
- 105881534387569087602448606393026827269357803018613746024
+ 105881374043672627773432318187360570734220873198601240576
],
[
"0000000000000000042a2ed4a504424060407825d774a54f2e148fa769ee72ff",
- 95668758377605096786059344838386233938948428360571473100
+ 95668727978371040303278646201741713440261619517174579200
],
[
"0000000000000000025f769f13f2806fed19d9948b1a7ef19048177789afc5d3",
- 94012478943487551583874745631213709785208280748731165788
+ 94012390634764280055243391736606357298689315295029362688
],
[
"000000000000000000b3ff31d54e9e83515ee18360c7dc59e30697d083c745ff",
- 86923144448447518913809103136679872784564523201770836515
+ 86923102180582917240747796162767475850640519180006195200
],
[
"0000000000000000021ecdcb2368ce66c23efd8bd8ab6a88a8bb70571c6e67f0",
- 84861696667064232085350895302379622169877065200841464945
+ 84861566431029438820446406485131195674434646972185968640
],
[
"000000000000000001972cb33b862b27c1dc3f3a723f7d1cfd69aebe0409126c",
- 80022436630974307725804284020086214397285337936510125904
+ 80022382513656536844370512820784980102919810105407963136
],
[
"000000000000000000cb26d2b1018d80670ccc41d89c7da92175bd6b00f27a3e",
- 68605895635350324123887563889758158648405285708846995220
+ 68605739707508652902977299640495787127103841947617329152
],
[
"00000000000000000276deb4022f66cacd929c690cd6b4f7e740836b614b21f4",
- 63859488458993656960329361157926368758742149072401957675
+ 63859343606086615291372321518809062931940920926127783936
],
[
"000000000000000000587912ced677698c86eec8b1d70144dccb1c6b0bad0f17",
- 61163588147080336562860372542789363550797760125590468374
+ 61163258921643354765656928775243357859392914550528409600
],
[
"0000000000000000009f989a246ac4221ebdced8ccebae9b8d5c83b69bb5e7c8",
- 58509968837817799412963215131374851975666125194369450244
+ 58509826700983959310706392369835644790490546910263246848
],
[
"000000000000000000038bed8b89c4e82c13076dd64dc5f7a349c39d3921d607",
- 56672978024443644437306289406994921596646228103740151166
+ 56672777602924507578641088682504585686103825941044133888
],
[
"00000000000000000122f47d580700a3a5b4b6cb46669a36e4fa974c720ab6cd",
- 53958706289281806789111061412993899806784528297928389354
+ 53958359841942568206719748916397287559357255547625668608
],
[
"00000000000000000172ad9ea56a90bdfed0f364a902500e9ff4d74f000ced99",
- 51765097045688608012424287693701763884232488530834902033
+ 51764751112426770751506128647798102319231116027761786880
],
[
"00000000000000000201d7429db233c7055e9699c5bfb57b167ca8d0c710dc71",
- 51649247587912518226490987244672765779747315777961084943
+ 51649140486907347007064544362790913467244253139882213376
],
[
"000000000000000000c0549b2a8adbefbf6c909f61fdc4d6087c44a549cf8201",
- 48144761676638685568393252844604229390549310101321306353
+ 48144529712666433692552181910809237167694270386587828224
],
[
"0000000000000000015b6789cdc5dc13766f58b38f16d5b35bf79ce4b040f7fd",
- 45240056525891956455575817517143990421796325617308336169
+ 45240046586752885057924289339576851866807485277820420096
],
[
"0000000000000000013a31b29f845d97465bff53f901027f8ab4b1a2f59118a8",
- 39719085345888042233262788103506269388987831055953076236
+ 39718797393257298660757754408019939605415460564426031104
],
[
"00000000000000000088cdeaa7389a7de9f09e3a28b3647630fea3bd1b107134",
- 37880653743061241847157755785329340895782894371522587986
+ 37880625861940376795251270290737354395669643839013912576
],
[
"000000000000000001389446206ebcd378c32cd00b4920a8a1ba7b540ca7d699",
- 38043253251243498799796359449649225329347481521269202959
+ 38043004539854389433075372490391464304285496568268718080
],
[
"000000000000000000f41e2b7f056b6edef47477d0d0f5833d5d4a047151f2dc",
- 33510049713200839962002052974605137446441531580345905745
+ 33509870757351677175294676059494700127350769223450230784
],
[
"0000000000000000010e0373719b7538e713e47d8d7189826dce4264d85a79b8",
- 31340511093499215382498875631096178729473407545556119324
+ 31340207270661909233492904963194738468218672502370467840
],
[
"00000000000000000053e2d10bd703ad5b7787614965711d6170b69b133aa366",
- 29201554221106481014362444600779904393001928219662824381
+ 29201223626342991605750065618903157022235193117232857088
],
[
"000000000000000000cbeff0b533f8e1189cf09dfbebf57a8ebe349362811b80",
- 30354232589320643409720162249214362116926806095467115096
+ 30353962581764818649842367179120467226026534727449575424
],
[
"000000000000000000d0ad638ad61e7c4c3113618b8b26b2044347c00c042278",
- 29217445580005453044145144287633722880237231025559536344
+ 29217311836366730185073651781541697865715565622665936896
],
[
"000000000000000000a7bda943639876a2d7a8caf4cac45678fb237d59c28ba1",
- 24433315186493117547015353728839494165411420867297244659
+ 24433127148609864747615599184820261456796420809345204224
],
[
"000000000000000000fb6c6a307c8363e923873499ba6299597769c10a438e61",
- 23988337581966024451862874735374376736823985966238572778
+ 23988269434232535193761088780698748366141469438183997440
],
[
"0000000000000000006f408147ffbcaa0fb1dcf1f199c527ffdaf159d86e5cd9",
- 22526603255015707503680924025827203599625190615869254262
+ 22526487188587264742197108840494583820145762956159746048
],
[
"000000000000000000e3be3cf7343d7792c0d47d3c39ddb9ceaf19961e9eeab4",
- 18556473167918062248854389700869820348727762534776424137
+ 18556440756915402760741928101946749165024073301499052032
],
[
"000000000000000000b3fb09d6def197657e20f9c1d5e9680cfcac1e1f9aa269",
- 19759157687224108664379003516351943599373215433413919905
+ 19758940920085072387393228723348383373068660102939017216
],
[
"000000000000000000bfe71f044145e1b42fdfb3a523ee2a215e80fa6afc2a98",
- 20014601621424565995143800336070874732337755340431658220
+ 20014481558369106100835306608979160026489460596213284864
],
[
"000000000000000000cee3bff56ee49c0f96d1cbd17fa17dc6f84b3f48aed765",
- 16946223147907286639275870228581142863500004051737247938
+ 16946123176864917983795071264823963343174695083267063808
],
[
"00000000000000000089ef13654974b8896b0b0909dd9ae8e350b8a8a7807ce3",
- 14393235111671584691995228944147692615427239344048996539
+ 14392961660539521116256653268419249019684881662910398464
],
[
"0000000000000000003105a067417c318dab31e25ae1583fa2b27be226945fdd",
- 13960554065678404881662765388314788446457906960835196843
+ 13960450711994363030255127593764523087979983609872252928
],
[
"000000000000000000720da39f66f29337b9a29223e1ce05fd5ee57bb72a9223",
- 12101157814506873037325199894442204023473205005719474983
+ 12101157559014734955774763823279522156034099347349045248
],
[
"0000000000000000006a8957cbd52c2038861514f106f7f9f76392d5cb83fd4c",
- 10356794104728254122144804026855362068260936623802026210
+ 10356793971791534424976101420669664288187918308140384256
],
[
"0000000000000000006b68e55432541794388c94fe9e805652038e7b3cac0681",
- 9378292707998313412116380171862644964293497276319204201
+ 9378292318569022964986206758839123913433917663832178688
],
[
"00000000000000000001c9deea9f0302eadb1250df1ad53da802dfb40d47face",
- 8964448809071454563198782190249047923745291487292520783
+ 8964447668935855171055978546867850348456065181232922624
],
[
"00000000000000000013aaa8778111530a626a3fe57e4e6f4a878c92669b04d1",
- 8192879673885498125868612536191253209089530007606798637
+ 8192878571041388924351625416816775770172128369752145920
],
[
"0000000000000000002f67aa98789b98304a32e54bffbb34c8693eb0acac4c30",
- 7786052299140735828822313223500239047404586439857310526
+ 7786052052270684126234611299412205796254663675224260608
],
[
"0000000000000000002e5f072398ee27b25b6cdcf69051bcdbbece417093c979",
- 7678459575374433725135064732059630548334362167840519275
+ 7678459224733657715202292429397298472913633233275453440
],
[
"00000000000000000028d7447c20ade2053bbaf49e8a16eb5fb1bc74335d0d18",
- 7021962387297538215162191668190420818507007046641761211
+ 7021961458254440109762706424650140438182306270565892096
],
[
"00000000000000000042d89446b9043387be2d4c09aa9e9524176c5754616510",
- 6702919661112618417011103564460059073928318846609410368
+ 6702918573828378664524678433037841287557455508299317248
],
[
"00000000000000000018ec4d369bab2c13174834a02138decea7c85685d46bd6",
- 6505870722004004229230504292495188676492429416682571694
+ 6505870154073602347674948421782035713149324747260035072
],
[
"0000000000000000000d4a6c2237c6c46b963b17f60d9c850c4915518deb6678",
- 6259544227059496163548942066110099807402951752241008049
+ 6259542822111302646229226565336702507884435252736688128
],
[
"00000000000000000031adb986da21237ce06b57ae5390b7f0f890ab8e21b66a",
- 5456617768214852996771856909727813546477083066109605574
+ 5456617206587901877414813377199700077413780408546361344
],
[
"000000000000000000031df41201cd3789559333cd9529f99834a805014c9b13",
- 5309609731779463925710783996961452866664143937023784605
+ 5309609141393698345581459330931267317315649121846034432
],
[
"00000000000000000020c68bfc8de14bc9dd2d6cf45161a67e0c6455cf28cfd8",
- 5026315858682664529586803062495716614500737280720290905
+ 5026314587016750785722693470327208449351582469580652544
],
[
"00000000000000000009dce52e227d46a6bdf38a8c1f2e88c6044893289c2bf0",
- 5205879841852030921059527756813029926469497427631238471
+ 5205879062684137510961952799929229129995569309608312832
],
[
"0000000000000000002eca92f4e44dcf144115851689ace0ff4ce271792f16fe",
- 4531443141490318780034113235264455891508287828291522257
+ 4531442825108320403104334767545311437480985430866264064
],
[
"00000000000000000000943de85f4495f053ff55f27d135edc61c27990c2eec5",
- 4219471567912784283817862725463546097477954228203549938
+ 4219470685603665866184576203153693664105230070242607104
],
[
"0000000000000000001d9d48d93793aaa85b5f6d17c176d4ef905c7e7112b1cf",
- 4007527398636149719774488173266778882653753905718962657
+ 4007526641161212986792514236082843733160766044725313536
]
]
\ No newline at end of file
