# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 21ab7145c7a474a08b2593dc009d2b598f04293e2b6a2ab4635307f4918f16e3 # shrinks to mut merger = MergeSorter { queue: [[], [[((0, 0), 5438950904), ((1200156871343406317, 15491938634470148732), -8306186745170153174), ((4100149434324236043, 14559627017903816893), -3316991343931254916), ((5775689032513205316, 14109894673084504447), -913997864944569138), ((15151573959749352131, 9312421928602955297), 1376021496587306489)], [((53822346053016928, 5153098686935472132), -5158479001991622078), ((56260922380809538, 15592930340208028475), 5312068322693536727), ((62606854859202704, 3010251460875900222), -2889890927641845729), ((131040767936243934, 14964839610793252441), 105244350813171110), ((215162652319917481, 3374326368533708330), -4815172702893437044), ((227856506008819994, 9772090844322918567), -8641478806181777015), ((287927510868254543, 5409967458956825007), 2781473672439329472), ((340203749697429660, 14593753961494222598), -6796548297888689227), ((547356788430631183, 1586340044129581901), 6799132425404215472), ((599881607126406902, 12241066490346516265), 3952327312338507356), ((700892255282256389, 14631635097147057167), 9136445093566296307), ((757151028343323172, 4722734775708072865), -4190348166168990896), ((785409924611562739, 32639050523072575), 7565759793247191316), ((883165468016036724, 16902201370176596236), -7606337958166849442), ((897173105439375353, 6588994961566155184), -63158220573162651), ((907406220694795690, 48047016693807153), -4590640018443404131), ((930829900538953282, 8680675262835509796), 584131255310968177), ((964862139570646211, 16020795390512958252), 1384911220767475992), ((980649897621127663, 17407048185104474696), -77926313350251717), ((1120709236449035685, 7856863545944720547), 7638653617217135746), ((1126523531385248906, 10404875278324742353), -3535102370170581383), ((1153709381286141370, 20040429236757052), 196350465386022640), ((1159232146421537288, 14272172236523258590), 2230194871146517891), ((1243904779276491145, 1086235852680107180), -7383045939584172748), ((1245209961188951546, 8916373867722205272), -608954421946760593), ((1264132794731563999, 18056781865839855153), -6223908879332556142), ((1272109090859702114, 3786476594105767172), -5349541050901740939), ((1340621183628686192, 12635231119792971591), -6714835617166324753), ((1355679524762852217, 1422620069227279057), -3716199381485427874), ((1364333674494432136, 15257011697109120980), 4574014536215111358), ((1426899908948267824, 17995917671801640228), -3614484198125524027), ((1602628788757824250, 6544255770359534202), -1576153978549516069), ((1622733170282229518, 11575510142475864927), 2460343282556018714), ((1669782385445118880, 13080851475884454695), 3888518271598131716), ((1751541074289199687, 14947410096263049711), -3323825331829544835), ((1753450185874543499, 16941709418952362714), 6086575608370595903), ((1754830520477756583, 10920164140106181078), -5004346549793294083), ((1772964732017749230, 6130158046665105257), 8654229601179779671), ((1886826798411086010, 16751831598560846159), -9013881698111179472), ((1960573195711240064, 12446176143252962175), 4036957517560469171), ((1969197043841392498, 1258136080194585095), -9022872435307480036), ((1992311905107919112, 10610714255260491167), -6162843628042418142), ((2043477828580777165, 1591694532716662623), 7653803132765711845), ((2081280942662823717, 8279011753481658675), 7799724587635330812), ((2105705504838498035, 8315486749074444941), -5254855679849961798), ((2114656046382245110, 6314511577273025676), 398538786269401434), ((2173726589586328105, 10285744880605976250), -4143715402976099950), ((2257170005513371748, 8810143393892076143), 2854551494828650077), ((2260525612015413566, 6202413665901322786), -8248145251236337442), ((2461562120765155440, 219446151763422048), -2898002624895312489), ((2475905626469615676, 15678262996958709305), 5707194664896419643), ((2499850996445423957, 9420254394494068164), 2184507549200133011), ((2554125750764953409, 9756089176872284624), 4489148475707503090), ((2581546284433131045, 18401010875015781995), 8129725877401933463), ((2617861137521009603, 13377554444046807496), 8350807018043277891), ((2683240720925252407, 447608777279147427), 6002618421220016136), ((2726979173959934275, 4955286500381622946), 8659546650826951694), ((2760504532473627645, 3786165339516794272), -3730696428468878), ((2831146813091872055, 11820940511200453264), 756987213754624906), ((2858459165556233417, 18431944816012809439), 3258105436239207747), ((2858957427419106375, 8286226408505751998), -5615959048936556866), ((2941512916370049253, 4630119433904963394), 4650221991307795163), ((2958614994523428030, 10097493102493929159), 53278911129018002), ((2971190935189285853, 17433817877562672022), 8720964484702244409), ((2981673518003578494, 4452698181082596496), -8549730817999442652), ((3023020923966946287, 8547352292773345373), -5450863567548090187), ((3042077883092827310, 3302359300397271338), -4178599176666138597), ((3059770525571658602, 4933257854876495264), 2677944732052806974), ((3069478517478901980, 17628644170581762063), -5752197017232444866), ((3112884519681619061, 11584308276710083591), 4887300964576912031), ((3285732324523713579, 13190763515575107422), -5689634473091007887), ((3325623924119444452, 1743253899986261992), -9190996657022605253), ((3355107343997312737, 3940542725296792082), -9102095015829182695), ((3417588118683680396, 13681627231006388385), 1827989978995371688), ((3499256047365455305, 1864351751093496034), -8399266358285550797), ((3605716011015234696, 18419820856386766101), -3661147381222214562), ((3740804680201880280, 665123798513866486), 7838864198142394886), ((3746431758320244379, 12663963802047626047), 5841868072086566336), ((3762250482824364184, 2963063256441457288), -6994162834327973353), ((3772112348023465849, 12100870973091310855), -7806740271628302923), ((3774268968668742031, 11140567531821275493), -5946903776149196888), ((3807142394484365981, 12180023360884787608), 4245639188106655239), ((3891937860116060923, 12522185247125520644), 4834498574015896044), ((3937326519437453908, 17275805630871355802), 4525190758835866562), ((3974502868632585807, 772630803679547501), -7621208224856437057), ((4009858522664338283, 5627904896144464855), -3262965019114073600), ((4059024181159722340, 3315587867629884191), -3002626825336686889), ((4106243362855624759, 1593495092622543406), 8407740362054748546), ((4127760938551831452, 9931627575783380166), -4614512920833465307), ((4200501459922246836, 7426592988322475383), -5951508510071690615), ((4253306164506527320, 2286519766712809011), -4602486543705462343), ((4327132735968479313, 5471897331483431547), -2565657046873813168), ((4393022374502739233, 7163515380517069699), 8001932244777503895), ((4393166995897361858, 11633019731122512239), -5059005640546974073), ((4406808861364460491, 7610486642331889467), 6151121095025448425), ((4411442938009458175, 2912503052677620366), -8226718722754676179), ((4532824251063577660, 9933033018990362757), -2881995158174321215), ((4636402093901694990, 3560489669940383102), -4964646892682424302), ((4781268623937409734, 14950744324318376607), 8650540909490799827), ((4826203425917498982, 9328780227426158524), -2299611893086506368), ((4925578696029830720, 885419063838639161), 1460942526963788824), ((4979082736444667422, 9614375226633957494), 18704585679508277), ((5071755671505625976, 13905635008099200195), 5578330751117140934), ((5071790757038057190, 7875754607578083625), 3554319258728511837), ((5093263998999394121, 1611947447861189449), -5373447172914432806), ((5110437728513556736, 16288754601441335602), 6377371598571806114), ((5121149293849478060, 7522903438951665713), -1749550653602161623), ((5127314561678434141, 13374086465724935198), 2153509280793668311), ((5128677366512095400, 14961632965902142679), -380333651779223158), ((5133195936020503487, 9964956320330869923), -4976796718681109516), ((5136343245535554497, 2807894244148435541), 5495183049647659157), ((5137030610038626296, 17143543076078125251), 6518899018956346784), ((5176758295565344085, 1173250222101157383), -4811097658959219905), ((5198088968394200758, 18154470949434158594), -1043809378643420561), ((5229071634390986864, 10432447014129754142), 5127953126917121375), ((5230866055308445815, 5478163247701170186), 1072653887579449680), ((5251512574850566472, 14732194530725310799), 6931034305946745696), ((5285405362224951250, 2861866086678383311), 624191189081332260), ((5353744859725755210, 6697842746071306498), 2429273508392020813), ((5458864789395068797, 3890686893189342500), 7281038789736588173), ((5511354595876371141, 1735074848253194787), -5235510985123295223), ((5539855268658331153, 2471790426377993578), -59458773442650407), ((5645189189375421115, 14170423802044926019), 8840553250104092662), ((5666126415015431927, 13031810883820478375), 2721518959418222946), ((5671798916544010343, 1206034878742439620), -8132584232457758431), ((5698188526819423920, 11635392966828328641), -8343531002434113237), ((5713147505319710027, 11049722771612588852), 5383149351207435952), ((5714413779680130065, 9447133962421718369), 1689162367856283673), ((5773997848946150879, 10147982914019307836), -2993847408011178652), ((5848317808955379665, 5255016007230322480), -8837776434494322533), ((5882607130503548334, 7039503947256730875), 352065692022357891), ((6007975712606192898, 895084413305465870), 3057225175000934954), ((6085646589164826091, 13098632292224345126), 7575253712610534049), ((6103483884414735055, 2912048715400040951), -1020132267249065082), ((6168509389011017683, 9284396018588006005), 464045572585262408), ((6169790274816018794, 10044535779427155147), -3675343139885560048), ((6324109550968285113, 15266141750349072958), 7195974328855661004), ((6328986541077361015, 1948836224184585343), -7707071996171725486), ((6366673703728949513, 760740510128856848), -1328817009364824401), ((6492462015297194222, 11226816115357562553), 5528169741093681605), ((6533423463386639144, 14016471594601553600), -2760367556057748728), ((6534889565517561725, 13286074077651447196), 2502781619281154564), ((6541007112367010876, 1614002693688750048), -1069041283885792147), ((6547068160807550475, 13186358309334801811), -724397812909295000), ((6588684953713157774, 17527062678060003534), 8643520742771498913), ((6658745858093116936, 276386150190663429), -8492394674634421072), ((6669730400879560418, 7852796794727268016), 7391538685370498364), ((6670772625662878891, 16101077046830582975), -6389918197495877901), ((6752135468080677920, 7555420281178768265), 2682093124702003460), ((6761477992039099273, 16985347342139493889), 1281915927275388387), ((6780107377311898422, 16787734847172058514), -1680290883283864581), ((6795926498789945222, 9472755300367412110), 6212980550817302695), ((6812643646231702322, 5066332778382544161), -5916597422687319088), ((6822076877742320260, 6345562566849062984), 4796306912058643645), ((6843153287531594299, 5652917089387095249), 1343277541953330566), ((6892640368814006835, 9222269865956749388), 1498266975847000122), ((6949756388895651193, 11596386724672047448), 5857975557765924539), ((6958842502922020789, 5469822163926023950), -6702546618495798561), ((6971560037132500159, 13540424941670503910), -7229570679115467306), ((7054434247808045721, 16789882428633650895), -232399090911032008), ((7091765261541666131, 9977451586444219874), 4911283650397121573), ((7106551983324411189, 9876503360167875863), 2763543437537692147), ((7139219181101567337, 15557301099585565564), 120435773941436746), ((7145087440976229113, 3020050301690090815), 7309593618123503412), ((7192102020171492558, 16620036855112096718), 2414188062592261123), ((7222622414510625819, 4504772660146859103), -877581478541537723), ((7290477562442154327, 17002874156558611385), 7061841703729066204), ((7342190363998265512, 1912637221624350605), -8928468637881223833), ((7348336329855209271, 18402853707899352040), -8376652629453532934), ((7351322653932976414, 9343588755587094385), 423650370757328089), ((7384105047175347427, 13484332271062027924), -7542449215703246633), ((7417653735813161115, 7785751275691658729), 9027728726258098294), ((7426525644485650731, 4567851591028445976), -2584323607999460434), ((7498487716251018547, 3176730841644475337), -943908001879638295), ((7519524761452547691, 5476551238659720890), 934137651832254088), ((7564766722574097644, 8677628070689254519), -6547090749716047393), ((7751091970716236513, 11135603053066369610), -7146061799423471482), ((7811994357198202780, 14486383091523003075), -1513516307225227023), ((7870233549287598712, 659726109228937079), 6096456174440388086), ((7917177107995747564, 17407972023102945973), -1737919679406047871), ((7936063242751597302, 6638401584153966198), -187719420898140834), ((7983086922834257744, 3434899200436574198), -6483807447204461950), ((8003683923525676157, 14081677031410230417), -5177940408560839829), ((8069935064259433628, 3615857220053792406), -2787488942017978228), ((8107324436858804322, 5698164562425416393), -257708040898009428), ((8142531101785961206, 8129372434804356686), -1622493936325533956), ((8213623075139498833, 5144615994363646897), -8398163403394856666), ((8232092079700949448, 1723966809022491292), -8765668494827941857), ((8285718870653457238, 4907850706072111352), -6608568905784432091), ((8396152066834293876, 1075315347034283402), 3927891027944787496), ((8474098408108301776, 11693068453671348813), -7522077578894966252), ((8523782392255957461, 6900636048037002686), -9185853774171127568), ((8527036782819858260, 8744829272509861976), 8736823777766895972), ((8571566027748791307, 6770127255124994325), 2533322903993222375), ((8585594532650718229, 8954372753368516335), 1171153849003617500), ((8610514278148912426, 7055705991632015015), -6388583057573149977), ((8628657559761946041, 11655870277421170868), 3035072436008650826), ((8646858599157926867, 11105151708307091074), -978484244998193961), ((8654142100288009331, 1578406751938453394), 5338891744663807116), ((8677936692470387235, 16651423009960946555), 4092932490652858572), ((8686416164588336122, 5325200206481300776), -6267687835898903483), ((8721659306329870462, 16988993065704413586), 8305363433988963872), ((8734218516898713043, 6981862845825152525), 6128241730544016428), ((8804062499453446320, 1778614584681966643), -169107453569840474), ((8808092802752821114, 16402371034800744438), -7500760991497084666), ((8822785410967147254, 12384650266383842044), 6126363042025605715), ((8897265690774042756, 15488459901628272474), 2767508572363938037), ((8900255584649930249, 12519775469643855681), 6117413135950867209), ((8904893471250608261, 14204436646095783375), -5537071495862096156), ((8907126105143690150, 12394250751147474212), -4310149443044879210), ((8925535856484328009, 10354165612706308566), -3227651119727242456), ((8941238532946596214, 11778528856195096133), 5598223674096881330), ((9041500906844742558, 18396639798727557148), -1469146995919438027), ((9064027888970970614, 13708094058786254982), -58972854253961711), ((9082320167408803644, 2828179188637245046), 569129069271398629), ((9105181628758798455, 15026785221059736291), 6306883170226344956), ((9124577225688921248, 12383930388027362842), 769044158056134137), ((9154981502171128665, 2651644886525622880), -2504065518457751206), ((9175042698857858132, 11525792040415951942), -1793607916005248478), ((9205198538715020834, 4584365460247654551), 7362990754241001684), ((9291768886630449878, 17449025829689918034), 6059690120047967921), ((9314198301065973369, 6277159627525244834), -3424496748403201008), ((9498094829300734887, 8980349094054139800), -1532020884332957004), ((9525394450265950422, 27785612395362025), -7048791313614040241), ((9543817986056112755, 1645320057384844951), -7720446871681427582), ((9567502474276584899, 870433311319176684), -2976893568140931221), ((9574532462581464172, 16542567285610928585), -6202624177160503960), ((9591789988907784416, 7716055207470837572), 5505206148021973420), ((9617682529936956044, 3100702309282073419), -7558350566791978210), ((9638988084163679929, 6314690122710830668), 8161974036021046611), ((9669151094515746766, 18210711654775346004), 8954271091733568746), ((9694856621654440752, 1286267509017403715), 1170170570538589699), ((9726478204955185158, 2442600588808381373), -4530911766821741258), ((9732846587448399487, 7858934386972360189), 8212332098659333193), ((9750199146106545243, 17513265001834277631), 7421622811452111999), ((9777984648551495682, 8277264613329686296), -8481795311173144891), ((9805852943588591873, 7396135204465377501), 567520879792807005), ((9890547724540119781, 14647643889725275621), -7435171524579751642), ((10189134172928388655, 5393249471239609888), 1617614740449949695), ((10241826452638660184, 14739044307781473908), -6236656679793340526), ((10246866871087532557, 5136699244484797875), -1930762404747664238), ((10369915564517583831, 8955282093361589045), 3777732148946073665), ((10377584174165956963, 12971426489462408067), -5077116951556655510), ((10419144460021009160, 13058853790997954214), -3261891249974597712), ((10422773357165013798, 8777665487518433505), 4627726460198882553), ((10430835668153682480, 14234110674720263326), 601753048692597387), ((10439096912833108434, 15770504556912290239), -7559323888863649551), ((10550040798945314928, 2129954359053482170), 3905195430238396763), ((10655448135471175963, 2590930939050992874), 4537868488603367287), ((10660349126236816107, 2001578430290212698), 7434905613971263519), ((10751666726909202559, 14183109484570753413), -2424394173207577856), ((10767050019334131828, 10504675394550094489), -4489094368697866551), ((10794207945802950755, 774866760792176825), 7775717366246584933), ((10803053438167425643, 7836871544264668322), 144338686365253746), ((10890786301533256695, 13315237832190469548), -2533561671309942824), ((10931521937096624403, 3816047192921025723), 1456468503286547918), ((11096432271693596393, 3870225297850590276), 9157111569278148372), ((11133309042242126781, 9911297846902879197), 2359735857143549948), ((11156278434453937747, 56588983893959419), -7110443565612378139), ((11169228897466056271, 16766681643845016275), 5786148651504058185), ((11179418577321183446, 11640878215964456256), 4176833901492628043), ((11262818345251964077, 17118105534218831215), 1636878918050460456), ((11355624851621545473, 10152639892809707084), -1706884905863923266), ((11370892944258713849, 8649091465737333218), 1912512281607121277), ((11446075411917392407, 5790261711192687390), -669166894823764563), ((11446706226234126591, 6150096659312874528), -3160626648403136171), ((11456139013339822605, 15787965297091438155), -4830296233724378149), ((11540230328531420172, 6038354347990245109), -5309716388614577584), ((11540820353275813542, 1362467956590936269), -9138620861384159132), ((11561451279740772677, 12343436486516775524), -3723615921194634928), ((11586021202887540482, 1820707175369103496), 3357797530287139972), ((11695699786926125323, 17134322633717811754), -2364492658183580565), ((11696847675893129852, 14104542197641305332), 93072311956961089), ((11712188502341157821, 4801796263193956459), 2761447405955637616), ((11722641505400615764, 10892033294313200938), 6519558666492158185), ((11732338692105257906, 14351968600096502405), -3092665973656605796), ((11781687953526237414, 14064951181346960381), -510779155326069028), ((11856515663358284705, 9589743295483486099), -183179139130770431), ((11881946156011913267, 15767344388257764221), 731038765700681757), ((11885787374932493471, 5914078315204510264), 290748108006444125), ((11895400961437948136, 17249396690991260679), -2410518554457519539), ((11919879282726053494, 204187405461757990), -7263182977602405795), ((11926797718098715080, 14770761480934647150), -433841205997243624), ((11969681680853756903, 3980644439319164814), 6899761914767010415), ((11988669498286793686, 12736410264614817124), 59681153439712318), ((12014426365467773449, 16584910827308461886), 4847622790377592558), ((12024521811518095739, 13112231721079346582), -7432322545921258672), ((12078488786168941867, 17192853563158971941), -2929401976432680664), ((12091709757149077813, 14973581793797637909), 7501543382283687862), ((12093459390531756136, 13485372970750494223), -4602988780986603523), ((12093641248553940297, 6098859166176690916), 5900739371703653949), ((12106070361262616847, 952843532351986121), 941001094783263183), ((12108961806996698044, 1462005328247546162), 1062147201806168637), ((12117471671039338809, 1417133166138727231), -4542284629131696120), ((12143470348279815952, 17159314361260842042), 297538802259377503), ((12209031657978151092, 767386947569243180), 4174221468025018350), ((12218420523483562616, 13405247180475992490), -3549072563573795741), ((12246629982929392726, 3812902710299839986), -6238424174100192546), ((12282002807997027552, 2643032715322616456), -6843978980454697279), ((12307008623173191508, 10674508694435082260), 3217034779316310978), ((12339229749283681294, 15348093850823540623), -377931649114731126), ((12339558051020209072, 9807892837687128086), -7712102211266868773), ((12353502003627476851, 8363291277645947271), -696450503331558823), ((12404589966311589121, 3853497991616065742), -5963812790454721797), ((12509605137503122255, 3696478377111330623), -8573313746594038832), ((12527338791772645305, 1973037772822763992), 4421854309335998866), ((12561606371890399881, 7240624590335061281), 5189046421823268390), ((12589484335714468684, 248148458275612149), -767320388482412482), ((12620337414430007635, 15425449047469008519), -4173753442327700329), ((12629063047627290338, 1907888734799312236), 626731787572968439), ((12648908204002695153, 18416970673938035875), 3760032088075025568), ((12835148359258503295, 14298162390111221062), -4444149759466844809), ((12855898394961857096, 18045674439104787977), -481668018975514592), ((12909327439845001053, 788623062063555511), 5540465226873675197), ((12924238162974051903, 16439671575589478790), -1144832908706209148), ((12925346218847037442, 6089322957168615234), 4027864496953444947), ((12933842583700129674, 206003129182425026), -1394156600064639212), ((12990317446393039960, 8350720323574577697), 5409393212889859706), ((13045813305434402886, 11092922833751669032), 8144171931903847787), ((13062835409286939658, 7579014650678345000), -3794604981377544699), ((13171585393551808413, 1662822131051420184), 8356960715387891816), ((13202655788572032482, 8651765203790000857), -1303279656519685116), ((13216581484103159242, 2151925046860709629), -1563464281731366954), ((13243091615520822219, 9716592032623018552), 738280017857477306), ((13253369638004882812, 15656183314472581764), 2666558389177483642), ((13280839585843727861, 485374066277088923), 3715983086462535148), ((13288870020874020795, 11521797995805695730), 5584886411855237304), ((13382733437999178490, 7906679963349661213), 7809614997228461950), ((13440473081135475579, 18152377299736850587), 8369613261341773796), ((13460170667170489636, 5923138639618565206), 413776675650953749), ((13483069618768679843, 9533307435143025737), 3151108558628954859), ((13495291372156056206, 2653494561682672669), -3612663652064374086), ((13510501166214912388, 12943854158074135212), -8285289767548523937), ((13518572161368564620, 9266296712604724787), 7733116876516131513), ((13575899628003205023, 7429756858492609943), -6609465555494678942), ((13578044957290380779, 484103640924137012), 4574641337421818766), ((13593693734304747808, 13458799752902062418), 5466188133985780254), ((13616674398712109262, 5613079654217343593), 4891185359524420279), ((13660007718108213595, 3701525622723220201), 6935835648836825097), ((13695522628542856179, 5463305991193962812), 1491681100824869250), ((13792940227821594374, 14297274236384224890), -2395212238585677060), ((13859086316558636416, 10603245578531542244), 8582123767356746135), ((13909856535561837628, 14978406900363528636), -5816015782148672818), ((13916296109890021070, 4370389608404144353), -7990760529824443146), ((14003525856681292689, 16833751612033274026), -4590575964323287030), ((14007010662632517755, 2986939659707921388), -4266195923470112354), ((14050576376776412671, 16831170342751437081), -2697416948279912581), ((14092020284240458545, 10661419117011629053), -5263743777371260477), ((14105181604840514537, 18024911939637136326), -8828194554110699604), ((14113028723302771707, 1727298364861611390), 7797221872900059532), ((14125466504951359825, 13496893798156524463), 1972416884977073386), ((14153490603530713898, 9168439148597554446), -415296931024748077), ((14172412162123306896, 8224247014011208146), -9016494854894397282), ((14203373661627216420, 15891006011870043996), -8871912026645990359), ((14211467581129116777, 17945997248763776174), 4411446582768505327), ((14263670452736714508, 3968381421636434234), 5789564426686207721), ((14270963597187346866, 6876146305510641118), -6659713881443512176), ((14304493046373031421, 1867443112020681401), -1060896709755793183), ((14319703344275556095, 5147084444257997656), 3652604616674171040), ((14334405553471899203, 2149720087139862719), 8302787110335655156), ((14350673023594835985, 1628684992416852113), -6516336776623949508), ((14391368674966181069, 6872140170387460016), 8480370366280818017), ((14394958018040076295, 14754342261422883855), -7839661473525823586), ((14419203186912915273, 14329206802064457648), 3070970276115615509), ((14443389254655318289, 7976012852535416300), -1842598508828722081), ((14451538359861076606, 6958582717779102346), 3683493318158159920), ((14504841136834326832, 5870228764677816423), -7352211511402602106), ((14574106023448173599, 230508153831543099), -2833583427127591243), ((14574355298537600375, 13088238087697059548), 2842802391614774247), ((14594219601595146952, 13129435792141502071), 5210753246697860589), ((14654504079689189643, 4475080533082930033), 4341226556562258469), ((14700992832787457206, 17684322620940739763), -4307228125764218799), ((14804318923519163596, 13768713816765232314), -1677204086921296961), ((14821053368574268828, 17833791635905002465), 3176805065424845377), ((14836975938536483328, 4107167956018583710), 3233898439935550842), ((14861400014329782741, 14280929847044127003), -7452612741526441428), ((14864895944026397024, 5816654779808653610), -5600029727778877883), ((14986055148857260167, 16854261985644416064), -6553868897057792419), ((14995076043052210242, 12110022298332508094), -8769962677185352044), ((14999091299544885340, 2528010173853530960), 240873423912144840), ((15046881856334351981, 6015549413423213611), -5600870455164375686), ((15092749495153570704, 3962397689522262101), -8649038273252576876), ((15101611502155014571, 3704753257473973382), -2140153321129886533), ((15140896716147821886, 3001944572715429422), -862106562562286040), ((15149076677949554232, 2187741888140555961), 7124445760363417766), ((15202062826329812543, 5860578416183488303), -4923374592679042973), ((15222994481644255368, 721813363906899333), -2368758155645842621), ((15259853256053182892, 14781518954081644874), -5609882109269569433), ((15297412709735073415, 7749005200571683897), 6521267594258013304), ((15396814188456347951, 5053222505472996665), 2457273870492246734), ((15477573096075078956, 2675155254644492265), 8153682830862181062), ((15514118478025873033, 10205959748231401036), -1107786761769410205), ((15514556916479207214, 7056307926777107577), -7427760453064278726), ((15543381671776052157, 4742077589212387010), 2038314542493241922), ((15574222265677316545, 4619095462187219680), -4555722563145790457), ((15614503492143654246, 16776698941617933445), -3301573725846619838), ((15622106891933429290, 8033317049920846055), -6694738571401988432), ((15646510767373228798, 8630973638823056797), -3434770973485708321), ((15647733946835054970, 15411988785361553978), 193138105516019124), ((15719607330108080808, 17880278099957958845), 2140531618732146398), ((15755979855475668267, 14002707137595716514), 7076044007154541876), ((15768631921759201724, 5840927659577802579), 9095893350666109657), ((15786349459593397882, 7654847776541324776), -8469993539845689412), ((15792234440271678059, 4981697776637482361), -7377320035200387612), ((15935500548572350014, 5141774267672954110), 4469682606074295566), ((16013641700973633276, 2461593161749976201), -1139612078005104853), ((16043865967917952799, 6807343392824175767), 5972564057873331648), ((16111761541657072109, 4214865078512956547), 4135219479371554293), ((16116156373075685500, 1208269303410451645), 1878872762911884160), ((16138490438145850354, 9697611444335376435), -8352936896133573492), ((16172998162540423072, 9400052161393640217), 3659042309565762649), ((16179812786421440498, 8091856024709100695), -1421985067332851561), ((16233812041019595753, 38597538006753951), 7725725194848164267), ((16251796756140938232, 6395149616936007175), -6107425133619412545), ((16271085563778269694, 12693422056840068948), 2459164640652134514), ((16381186381427450627, 14541010953774027775), -3103806134364547770), ((16391122595554890530, 11397468059778097517), -1174080287494303651), ((16403173757288105231, 3419292666314812135), -4060836644314105396), ((16405671283540303719, 17622151998583911468), -6672797343635655711), ((16407624092625323420, 14573024655894662190), 8387249014696011826), ((16420516226045072234, 1835027979927672326), -4585729700094741983), ((16421448944488248283, 14765820017869950332), 2147049410450383325), ((16449119300055576738, 2349817610331011075), 4447897947760643828), ((16609731352522739195, 12705666994647821613), 6307457179092622604), ((16666607901436895873, 5441384193498386767), 1293062075727101235), ((16827801548277082669, 908457163349517383), -4576548007292288425), ((16839329216933038591, 13115274604526347636), 3381610755419030404), ((16857734828265608433, 4955406375150680543), -7262427104672786563), ((17045191644544737177, 3586111809795896508), -8719464728237907824), ((17090028443128507137, 4021592009417737855), -1205184100236036556), ((17185440569527902228, 14610744677172633139), -2936754734606186874), ((17208873335930062319, 8623169341681390246), -8331332421950703045), ((17215376243097858399, 16952377988774332464), 8278211905191230057), ((17239637022970976898, 2813430995212030166), 2204695801098574336), ((17249820240871372129, 15281650645113113888), -7272764471734051480), ((17276276774930600730, 3213103419344411798), 8509838348005978110), ((17284324806353927265, 6697464805744640252), -2443371866149580687), ((17294965818345817121, 11355001576513639133), 7179603141197208653), ((17356509002172301013, 3532410753556257229), -4014174081955068130), ((17452668588729930604, 13359337201970557708), -1454354862559341939), ((17485256949357088868, 12236242861869504156), 7974981831412681770), ((17525826897980019409, 9230463595690664877), -8321633078642361892), ((17562344063516094140, 14800247582026936564), -2111838023541306317), ((17575955405105973287, 15345352895322185468), -8692971808059926935), ((17846352344047316184, 7154984098449878516), 3491831582034958151), ((18019797644623948974, 17789013962179987528), -3088604462505692416), ((18123489708167905783, 1905380190484539657), 2107295220962206486), ((18134045994250140687, 2494498169064139034), 7616314661459069586), ((18160162743399218449, 9919882983747778811), -5398796631395351256), ((18166161103671091501, 17565130062230997631), 3218598282907447186), ((18245386077433516334, 16115180348711639018), 6517948878419866584), ((18265021170300354681, 2478588793826021269), 4224039025741874624), ((18310460575504703313, 9573699362086960883), -7233246234584551086), ((18315494763784337354, 18441047293574097566), -3786960717615715555), ((18336099724964694014, 3942987716172534843), 6843135026135756645), ((18351707676501205901, 6728591818524634346), 2887571899958125686), ((18378348457435277569, 14875866846093879967), 2240578971782987951)]]], stash: [] }, mut batch = [((4738561852115589788, 17300731264818633889), -3149180369391558113), ((11485759082332187527, 9789878649050692400), -985548514905657298), ((8922752356711979556, 1998429335403942008), -8664405242556094401), ((8815376041830872579, 18221938090118185684), -5902135194526366587), ((16165763318351996354, 14727581645795083118), -6756772271280811110), ((14201333755605681597, 6118616977582079320), 1893396261994276757), ((15177823146183777873, 11694499611338357212), -6988827690487817920), ((16744335450799449937, 16333129372670644561), -7014774524266698047), ((7031146747706103211, 14430796773136128397), 2028440587113691127), ((3889072222897713211, 1538130229595026158), -7898847314660400859), ((13197722256151293656, 6159217582590008128), -8910105041147522907), ((16934259769943786220, 1553367137005109815), -4223200795398080005), ((1004781724099855603, 15187977260388515773), 7613261423237922226), ((17689990423447916742, 13964390775795736854), -6358609777733294138), ((3170466635727500512, 8976625925683381389), 4288154582697815739), ((5936840169256595494, 2429329850000557204), -4530105332773654132), ((6174937019511864577, 17196707616622117259), 1687025457489048591), ((11972523994054446720, 14377479042981725352), -6563606461130605110), ((3469123524781178836, 6520928354258018381), -1109510835248547752), ((414719069929866596, 12953802952191244073), -2448508037558040901), ((1667162434023361566, 3710927989450388933), 637275317249168740), ((10054974974525813910, 17133745114202070010), -9133099962249265266), ((15166546819126870598, 10553695677239275921), -3283237560274710816), ((17757849757064150290, 7926550847744749258), 414374438424642186), ((18371274958622257853, 15096031089200365982), -5569726796024674994), ((9762749449223858439, 5237946715264544626), 5797272994909823484), ((8756654042289781207, 1440769921910819171), -52720013860083223), ((1326032035770536293, 12646999966786878295), -8630470997995906518), ((11125044791454292874, 2737468690349567784), 4993507405225200453), ((7865044792148003039, 11533290378377326836), -1210980803587226216), ((3237117525752413672, 3818357076986994636), 1113652839490789651), ((10796893004291903662, 5803179259147019082), -2242258436834303847), ((13533273396871512184, 15706243634407956376), -8591328264882471905), ((991597240713541729, 4085589706740347208), 8038289149457850193), ((7063322924813197649, 18217369131313613644), 3201177160728686842), ((10490798486914144328, 14614903474000891369), 5338142042327704171), ((16182066429626790858, 12976158916788980075), 5070492166038655974), ((3752187094559534180, 5328812428460314906), 2105220525028406466), ((11574280752625695888, 1945430225142160523), 6030059902729272905), ((11688710479085291063, 11401159822747224450), 2575316924234268293), ((3160751960052999922, 10465608141022336854), -247392218520226631), ((16553087377292468261, 3596175684637016893), 4883730844740390587), ((7759248959332678630, 3667898213850717846), -141063352373926876), ((17636265849432818421, 11619525170473010367), -5324329750711621331), ((6280060117732699975, 2563447465906575130), 903179864161062161), ((3492842597628765087, 285910030063960502), -5179227766984067212), ((10210072129343375501, 11020872857336393290), 6093326442481739083), ((14982653207430373798, 5237483461126139916), 7870119005667228371), ((3686900706778744927, 14437780100631281597), -4986694696789274408), ((4609299681810709451, 965672148268197883), 3547942501465261362), ((11722716985679103783, 3776075796943420930), 7815967786136571548), ((9618000263668309140, 1839971890667926985), 7856348948833199740), ((3317508864557159508, 17886610444541293717), -968996242560860715), ((11094634823809738676, 3371533255200204183), 3824312494573052589), ((11223863204833623872, 11277302153197289421), -3415335334335071154), ((736380325606894722, 600165854848596087), 4043842186252327808), ((2979320337045744347, 13398438642925727739), 4912804323978928308), ((1703591835868175616, 14205854654127173024), -8411021714764471045), ((11686496302919140253, 17332358083702535558), -3109577204747945894), ((3761526316596801925, 11002368058186052655), 5477860796573858947), ((4176948253879184571, 2742455695155830271), 1902239088794451594), ((11935404320689422713, 18328511740062350240), -4188730053344582020), ((12454643403677965260, 4230226280535006313), -4162849136211840902), ((16899475090326322968, 1589173873305008926), 8979847948435449099), ((10801341926052812511, 15472550809398772092), -7627822919623292642), ((9565880762050268887, 5776257896164527031), 6440315273325348158), ((17059439147366245252, 2153675550740395992), -7198932506913352404), ((18135496122914539396, 16991247070551904722), -2693833046626356217), ((13298214269557416768, 2865208476930613485), 5329537962920019770), ((17627584202193163908, 17743027611414495125), 1641056783925203966), ((13862916450042324780, 7880845089799586758), -2539717765084039909), ((10072756737298171941, 3700777866098809580), 5390343588377571065), ((8975811746517550240, 11736254105787878377), -1146155533971824547), ((12358097055417438320, 4510687355729799879), -400748798195550840), ((8024380134606224493, 14797203663245195847), 8671593300380450371), ((1703751750869092419, 108522365245105490), -5827310415574282964), ((16616932220610333593, 5064912203960541332), -1990488421927005596), ((17765135429930056136, 2980636177335286293), 4474282845543141017), ((1647505945800307102, 15393581826548731716), -3097337730495032361), ((9349679530973739108, 4614128791019162684), -4911549688095169917), ((11246811853742987217, 6442762390055150951), -8885895401119862773), ((10166239773137313950, 4017157757640414688), 3956864893324834592), ((12270124060940592763, 17772354991633753938), -7261668463588983297), ((10799077283943849045, 9862943447464402306), 121004960803266161), ((531414182583567191, 4408014706979716447), 4663498793437202225), ((16978412188864037491, 6098919995494142183), 6171059905080686989), ((7742114998727234131, 13665139934964937408), 7405254731688088222), ((16890614113139104903, 931928824794434337), -1090764330284777518), ((10711468200970012837, 12611054000670967517), -4503945443463166549), ((10729396522326258049, 7600945126512559838), 1625892387138652594), ((12427344926934189363, 15719590050875038132), 4450910338163455317), ((3380933150173912526, 14270115646064426347), 6290892809903183677), ((8005984756240826011, 3752720568942448893), -2363182472351826831), ((3372814203301958704, 3309811111907393265), -5525981426257028484), ((16754279705325353934, 12024472927721616473), -4230507324539712044), ((16358610729770190322, 5101363390455455378), 8031291967562459992), ((7916526814155487347, 5238751258550898924), 3229208111077903285), ((14813151301872088216, 17256021499749891160), 2761090412718416184), ((5021954872482555120, 10054365663810638411), 7711139830146338129), ((9736658793311990891, 17713513552952442483), -4414800741111603887), ((13722091649571078861, 13836383332217381398), -440093861740456461), ((4183306233532575160, 10131046015868889798), -1915778712426991487), ((13955355985059069150, 9049976508950874645), -5098079251675455212), ((15537650667707291583, 13449200034445850173), 3865357202988021674), ((13276153799948948123, 7042753783923478922), -2955606364806876599), ((1601283284842395071, 2332809890065024614), -2175704423373378370), ((9190564445800385592, 7814443885746535636), 7926973939203805900), ((12225589417040306368, 17419783569308096604), -6186537515195739698), ((11404617475568469710, 11339569063462569533), -205166593931967095), ((9240577250942675106, 1125065709677344597), 308895960307555119), ((7629470732757099452, 12737217526771361955), -2308553193662118914), ((6128043183407643804, 12173589392146565873), -5573091916791737924), ((9087780929932729737, 18326747713160390624), 1833492845390133384), ((1837366703309518708, 12299798515154541995), -4678811424205506053), ((7673590782705540029, 4678744656923427606), -9059066652928004328), ((18298532839629532744, 14377296434789444210), 5750407141385979237), ((13941439969563538254, 2756699931517119927), -6658796643078308818), ((1990216837965814755, 3572218390889309416), 616230897210914785), ((15559688464257452756, 10441963699194605920), 5555176351784943981), ((312069285807419284, 7815982435108408926), -3566479149141923779), ((16021782824668745901, 14024381631219093362), 8508684577515323152), ((11516707756489045437, 13763213935550127717), -7369503429348749526), ((14335806678730311108, 17464750597959058443), 2297198904574218417), ((8387160132398893324, 10612075940190563219), 8488779727644175005), ((7237057945667929526, 10893700976704706995), 5317070781359355652), ((12152953982881359912, 17812404724215188528), -952277630369578932), ((15755647038321898950, 2596247290869795012), 8562745014055427229), ((9901855429760809963, 38494992394336707), -6900142801635612507), ((5740325734532663549, 5589850156407592010), -384242996094072278), ((6870751564184393060, 11180153557438518081), 1995487600693963194), ((16575510645113623131, 5627531686085644553), -523639638597855253), ((5543410278738991108, 3077122439001760642), -8770297422057975144), ((16750633150410790159, 7460459807567218939), 7324842849096740243), ((6257635758372015578, 6415395297400107568), 7643600812897186666), ((3374709659797558302, 10762888765547129985), 3496337801741335607), ((5473932806352206986, 9820416724107416654), -4182870241577228778), ((950806918401240668, 7084652383200521617), 8181841405426257385), ((9717162640396071338, 5914241164704811261), 2520609804265954935), ((8288335241897288090, 6643089738579693636), 4479444460263854213), ((9301599217657485318, 15941970051268569114), -3400657747802538656), ((18296460251505763210, 1520907548561589257), 2654687547590457522), ((12125387132314059875, 11737752326389547512), 1711253750325211048), ((4030200995900620373, 17725585195231032924), 5879986647930136830), ((13816537795101040336, 16195219842078746784), 2194326947059313202), ((11970446650745809660, 5820616566462569848), -5010924386441887407), ((1512107110246222777, 3867714725936556266), 3008636491659922171), ((6945594432383563366, 9177867213204366877), -2952927976260532300), ((12573176671322406399, 18219091061045912974), 7356445342031451170), ((4036500038271714978, 16847433646032261472), -7231638615606594588), ((7522892756815087986, 3484547618226110852), -45280438339764151), ((2854973853905891322, 18050663115517779877), -1218334055118507892), ((11292025942578096994, 9823458578675377079), 593823289086616265), ((3321345341982424001, 11614838317433471171), 5241795120204795891), ((11995951470329356867, 9598819796051551314), -5856070948488420946), ((179454582809417955, 6901053480261643354), 6909973811357078819), ((11798388109431911531, 11586830459296446254), 4518269014949605645), ((9669379491491557115, 5895284623951150275), 4448324149694418780), ((10309646038320983689, 15295392286930096305), 6116196670550922196), ((17611452036072075161, 9510796018365581845), -5843981763843980890), ((13358401584274044950, 1649441838806272524), 3416529713250110241), ((12319318546480722750, 16248958509061936436), -7399578184544110307), ((2705684665842362924, 2448607760274326722), 2219516686489958168), ((7704513844384669906, 17309669794155302578), -5272810153474794543), ((933044891316887420, 16488449719386837791), 7909370886543175168), ((3758507289262133287, 11417026168220951334), -7602812825462868872), ((8776301898496527458, 825483885034176097), 4886563808248618096), ((15865971422035892297, 8885345175704898829), -2367600400393553785), ((5817950065232055291, 374049204340904671), 3901901155119972691), ((4738239196419501701, 13091533579413707122), -7872090870700739924), ((13304261688952796674, 7469246594470650493), -4874781125813339108), ((2639761199809113379, 712803134892350655), 6555540366610941539), ((4370095080565954064, 16152775555467816762), 4531673341012433115), ((11401356638237663498, 7346072990887947585), 5067299077553637688), ((11113254125190010934, 4273999465695559036), 6727997660496129269), ((3270234348533556470, 9883891341735640793), -3031585253172158862), ((13965164887873487969, 6888507907860517682), -4480658020793380137), ((6257446375713351757, 6693462934837031851), 2792655747136533332), ((12975966576390503001, 11560889987394650772), -6615949848212612576), ((15013707976225824307, 4094891923357121847), -4000055220678821479), ((13307073854621416852, 6646609182103269104), 7049649773716182971), ((14022836230926365255, 7508313527885833153), -5101706617351502690), ((17490511195295046673, 4361973244237416570), 6058581591153059561), ((11780660949125051423, 17165361008775558262), 634377816994932373), ((5900881694512798613, 2253087305990476727), -8106570313583470848), ((7258306715269069433, 14093598645245241819), 6130731194422696335), ((12511516995851233142, 16655447222533811876), 1700998369693835791), ((7373174820816239372, 2901254447852901650), 5581311202463363256), ((5516437945677151861, 264482561440778158), -1961034862372937735), ((15599759815019246665, 7466674202670936909), 3484578474678506018), ((2249363018387630242, 439288921087319636), 5440677262119044219), ((9486752649717205308, 17955135613412962151), 4641441924981341952), ((11080156349802104938, 18006532954457921576), 725514698308803214), ((8054026501141780835, 12352958317662925556), 8723748194338822270), ((6280833736388949186, 8050661443002136363), 2736055647561412202), ((5119684807400035815, 3255147915802478026), -4141271295383100560), ((10444178231280670638, 17856437343708035318), 2406465229454339038), ((9677540187915964645, 495461257654466730), 5445802771953734500), ((9056538033923168831, 11274964104295438181), -5220174543267847284), ((9394328781315957212, 1677211284273959419), -4240408646795992957), ((4400722991995198161, 7164312350179801110), -4881902764958917256), ((16375610161857600939, 12445111996216422328), 5531519914292465437), ((5549849907959390838, 1609083343520539962), -6374941541755404038), ((13343376225578900881, 8248086114747288563), 7763263244457127399), ((11213285513167992001, 15374953203417175759), -2280718219700465335), ((6024869534288708976, 15031261991553340204), 6345666939046781705), ((872802081796369930, 17982229945328899980), 4213162751777433986), ((8704830115089057140, 7559019975440936550), 3542745852188913252), ((16037047093497098864, 8127875658642746128), -2980488906322393823), ((12477954334451965184, 1838114363182046331), 7276651854176143826), ((1274548151968191132, 16459810666217294011), 3094385302475924585), ((9898359326306522119, 15480821576999963370), 2597542243538184849), ((2206463387409950711, 6176135897125062306), 3372457376568215413), ((15606137166496613554, 6716167525697168901), 4974296999417397227), ((9639311786592229167, 11462905623881543679), 7697354025472147376), ((7715913791768329269, 8302526140163522724), 8795144794136187657), ((3925691369963657580, 697658615234973773), -7883115037360974300), ((12077501714073856334, 8858891921534877865), 4471608559079957253), ((17871312308767804209, 15273354914712550903), -9210550270726417173), ((15214628442165984758, 12821310110043625085), 123513839760468970), ((17356544723318694818, 54079826861077190), 4374246965427960880), ((11505380881945068696, 15164074213202402150), 8191463464180687309), ((11333914501131591477, 13062777570544249403), -4525378032663860894), ((686334566344644904, 4020803170120021468), -7486077208730562798), ((17698859811625694529, 6324346082147594633), -5472413643343717190), ((1843237297482361128, 12074002360916171860), 7806998126151944387), ((9773799801688196539, 1916615190109256808), 4291513026550362019), ((11016605845916243075, 17745025916088857833), 3690738390353205461), ((1368097644913628559, 13684577975405848013), -3606463896584866275), ((17758233931199431309, 5016950768347991960), -287927248849064823), ((4876408872303107656, 1410414015856875244), -5267135720481039635), ((15972085917628535657, 8168216181722707697), 3926004542401301887), ((9711140125573756025, 2298992149492014741), 1384403067129912308), ((15351091143542721661, 14913582946337990373), 8454265878558099732), ((5756584477575940480, 4150452312782204884), 1246597969878585092), ((7324580275976679972, 15716186085589887848), -8500032438211812591), ((1651839572594528511, 11933027796480418563), 8698839031870683034), ((5670045138129680862, 12237622245171132346), -8863331441239880223), ((16933549426991052316, 17749444103199700273), 1455358912003079956), ((1827729793765452721, 4380367539861211094), -8653858857245160440), ((5738825553619466525, 13694233931149289235), -8291544340516426645), ((355174504034883964, 14768556546415521520), 8512045514227359207), ((1952664200421834008, 16804843355690552739), -2435669006644353345), ((10186574660250979460, 15383129895546097184), 8930257440842189062), ((14596886611705240458, 6458610489423204396), -2836937706659729330), ((18180378212474555918, 4898651287060341963), 5435901734616401248), ((400070254172144465, 14122831959138179057), 8200864875132816580), ((5846424775771147962, 1619869715443007507), -1321569180635161245), ((18016579696527669326, 15820609671459166678), -1567778857109553645), ((5533239044433883960, 4947407526949079053), 7123578164646079289), ((15902813233223048636, 6850657237628159477), 7441704974536019515), ((11147278697397476911, 10352385567307788253), -2381961781466847637), ((17546273539674402751, 12060603995285602477), 7576115569808942307), ((14364473386388095263, 7829237557910545595), 7455357064843009549), ((3176952628230260792, 1953397342593128804), 8901110847606335298), ((13242614786370848206, 17514161895237306038), -7954070244879941101), ((9594655640572829130, 14045235860445840614), 4856658539200606023), ((310019410241884514, 14291791487416126571), 113812987470963012), ((3240269076914282017, 14746693791347511928), 3850853456563831528), ((12777871660633577965, 7549577634692938482), -1758148996599673220), ((11668608230513848324, 12030174887000280568), 3792738845173309286), ((16572057413322075495, 3412645554326932379), 5267367930603123704), ((12152679914149619082, 3773784377978306407), 6012613942390894878), ((899788456136277904, 1980907907097346193), 4457360070224672911), ((351258124248590961, 4658201932703708364), -1134866345919548086), ((5745773982509059089, 3097400678290442058), 6400310437240190392), ((12125501272291703833, 10216666308934838236), -7188977908797938349), ((1431787258812348769, 12301839980870948057), -1911237963284739998), ((16961052171626962001, 139500012910417240), 537695049883052729), ((1962330454557123693, 12752185070192198296), 122589353824030237), ((14191219169657049575, 10768378019844441549), 5629476743614960950), ((9009968285694481380, 879251889127296327), -9189598688480958364), ((5975206339968172925, 9932229174368821176), -8667125968957420120), ((865512549232796484, 7451669361320614561), -9108509088375954108), ((669679551817815775, 7949585083812546682), 4782035706241648676), ((16741734691760044775, 12035025974037125935), 7900434928407105789), ((11088583496567226629, 15923838392602303652), -7083604959057831494), ((4000173269200503969, 15720060397502900112), -7588455522378370363), ((17958429761635950774, 7198432819637038663), 9145858218816076273), ((6957342652738543318, 43128159754993060), -4614521258847479722), ((16170610584172107802, 14138337960243880961), 7961319642129996266), ((14588962644874231781, 7023791853355805227), -3593122063425791667), ((14347045375911590783, 14758704873874097894), -297584299113136642), ((15839063988636853576, 15817107805070355208), 2816777380631926637), ((11681902027341014191, 16331694345519496767), 6530126824710308481), ((13859445713419096473, 11111160982984241953), -7286128903965978292), ((4895739776301723353, 17564369243079243033), -1646530993651774421), ((5526799273286391490, 1958887347919196028), 8130738958838096254), ((11204370999030534823, 2943516364204838213), 3993756185707397964), ((3984829608327133522, 770800963482635789), 4366515982608397342), ((17510796703031863422, 9352091414330028467), -999020258889352075), ((10165310968778021908, 434406784501297705), 5365318261863887285), ((17081987931326128523, 15520660593737330146), 5753040586011929469), ((10903708207491945674, 5041000828557851100), 559212332230382039), ((2017028929516465523, 7452013660915775473), 2855810847045789502), ((5567755706546442462, 13007495392459560610), 6062433826875854905), ((15146992293093405928, 5618149307944407139), 141942450992750535), ((7999169540157666658, 7092069023861592331), -9115950901969049066), ((2518065900900112959, 2265015383907951004), 8775840279529913639), ((7859324189003817677, 10092198330507936495), -2401684454353191106), ((8104270979089899016, 7851094240520527978), 3560574690447952192), ((17415096314838760576, 3949236428471043301), -8746418120228149041), ((12542219750895281877, 5878299091814391251), 8502587508398296485), ((2569491251125972605, 15694631388242323569), 5943557810356406953), ((8393607869662929213, 13907246738389268727), 3979768964992971420), ((4744743698854559632, 6349380491089250550), 7861756735489148470), ((15166629287702524932, 1654877145733238214), -3584023118114321081), ((12587809252741104679, 7405726107127461645), -2504477318227082199), ((14111397753962908304, 17215239515705404215), 7457356532314838147), ((10292050093736670320, 2351351940261455807), 3166175458801225006), ((18320781644700641267, 2892862093095536067), 2624439158901929128), ((3953165736514194892, 10719124315601297827), -5821408090942323152), ((14210966627160800916, 15246151553569698995), 6147349944405668940), ((8608465315843863949, 10090083110897337841), 7232283145047255946), ((16709050750219987968, 3949905503503868421), 7623803696482459983), ((2345825481728887359, 17576733620299519484), 7163237209670007513), ((1498578393884601225, 611822301737586571), 6676968180180996816), ((2700627827340206728, 17061243389953678364), 1464887164053154911), ((16093282562995744331, 3544284394445650382), -806442766347759910), ((8091713937692084234, 13488463977530576427), 2083383923958803923), ((325200444557496627, 1959166304474498030), 4250757454072432006), ((17346274903049687150, 17883988201043812865), 1261520261053384820), ((4776359029253679829, 12574991541582735903), 7857496401002536620), ((313073556687752724, 10433579471424948546), -945655214606575743), ((7697774121211904985, 3716005270956541161), -1219936774530125826), ((2815013226220407537, 16891691300295668730), 4669877058159370519), ((8000521170340465864, 7306473989551772798), 1288896127946607226), ((6552254679998713603, 12924411544310319157), 7753657252520872071), ((5446907622215992842, 14652308637413771834), -370179808291795451), ((12447771127529845204, 12680128717844080777), -7099240277712040318), ((8765212751685010183, 3929343676659282904), 5240905712799472858), ((14541496244159921292, 12937301583790261479), -667086037160955484), ((4139533603978845998, 4976695336561473455), 4339554056746982924), ((10748177236883489004, 14494734118006652169), -1796182594972664424), ((17745024228725170591, 7442310562645768745), 2612068288091155094), ((6550097965656616504, 3445863327041536045), -5458206681507703148), ((4923442137150391265, 12746499896348518399), -8698772951354720094), ((4078326346391955436, 17403658248354489037), 3084432661222835350)]
cc 24f6cd02daa5951a57d4d102a6a81dedb99674f2593113dcb925379954ba5969 # shrinks to batches = [[((0, 0), -1)], [((0, 1), 1)], [((0, 2), 1)]]
cc 44d7992ebd89051dc8bb234c4532df0f02cabd12ed778b8d3770b452991f04af # shrinks to mut merger = MergeSorter { queue: [[[], []]], stash: [] }, mut batch = [((2240, 9922), -7716), ((2093, 9615), 2065), ((6001, 7208), 2519), ((5512, 4351), -598), ((4347, 3123), -7326), ((4152, 6852), -8342), ((9482, 8140), -4377), ((120, 6141), 3662), ((8401, 3173), 39), ((7286, 3188), 2566), ((137, 3766), 8848), ((5177, 9868), -9598), ((3641, 521), -9973), ((6955, 3437), 2037), ((2343, 1899), 2431), ((220, 3737), 49), ((6769, 637), -5015), ((544, 8985), 1740), ((2220, 3232), -8786), ((4154, 6724), 4829), ((9927, 1014), -6872), ((6036, 6169), -4398), ((9073, 26), 4096), ((1784, 3422), 6248), ((2515, 2997), -1671), ((5995, 8544), -6674), ((8955, 5764), 3207), ((5232, 4378), 1831), ((5368, 9089), 8328), ((9410, 5408), -166), ((5941, 8959), -6751), ((9241, 4139), -2430), ((2678, 3539), -6455), ((239, 2198), -3469), ((8420, 618), 8987), ((3660, 4431), 4588), ((5310, 9850), -1847), ((5603, 669), -5768), ((2588, 4696), -9989), ((9998, 1671), -5625), ((8503, 3873), 8487), ((5280, 9980), 4550), ((6996, 8735), -6905), ((2203, 1262), -294), ((9610, 6142), 1857), ((9109, 6347), 9437), ((4765, 7199), 854), ((4956, 2914), -5884), ((2970, 6), 5785), ((3177, 8258), 6173), ((8697, 4725), -9568), ((8065, 1119), 9864), ((6098, 3288), 748), ((2633, 1898), -2910), ((6479, 621), -8575), ((3127, 4733), -4069), ((4123, 8596), -9578), ((5133, 4978), -9022), ((3934, 5730), 2034), ((6245, 8479), 4509), ((1240, 1242), -8560), ((2201, 7472), 2703), ((9963, 1527), 5237), ((7393, 1316), 9814), ((4352, 4432), -1269), ((8139, 6719), -3910), ((8936, 9480), 2307), ((193, 4040), -3497), ((2009, 4100), -5626), ((549, 6499), 5368), ((4708, 2135), 1021), ((1912, 8341), 6456), ((9521, 4355), -5225), ((7394, 4535), 3743), ((3509, 8151), 6196), ((955, 2162), -3311), ((827, 2632), 8303), ((2363, 1809), -7667), ((5339, 8218), -9278), ((4133, 6827), -6743), ((4777, 4296), -3542), ((9730, 9846), -7637), ((3989, 4967), -8899), ((9817, 5085), 9270), ((2088, 5113), -2759), ((8551, 4399), 3743), ((1666, 717), -5439), ((3556, 8315), 2902), ((8937, 2743), -1916), ((9737, 2586), 8339), ((1376, 9603), 2673), ((3507, 3365), 2092), ((7254, 5453), -8955), ((5126, 9006), -1283), ((1549, 7722), 5784), ((7324, 793), -293), ((3829, 2274), 9478), ((3004, 9994), 7603), ((7661, 8447), -9192), ((681, 6731), -3019), ((3296, 6451), -418), ((3560, 4113), -9872), ((7921, 2702), -6050), ((3429, 9806), -6518), ((4817, 3648), -9606), ((7713, 9670), -229), ((4847, 5401), 2242), ((7754, 7130), 4312), ((2156, 172), -7126), ((4386, 7297), 7195), ((7759, 6292), -1411), ((1747, 2431), 4660), ((6574, 4780), 648), ((9264, 8957), -7269), ((6648, 4613), -7744), ((129, 8256), 6091), ((6771, 7950), -9981), ((5514, 59), -9627), ((3190, 2405), 1204), ((9090, 9477), 1962), ((4041, 132), 7745), ((237, 3818), -1554), ((8083, 7107), -7596), ((9655, 9207), 4253), ((2046, 8046), 7087), ((6238, 5498), 9999), ((6014, 5726), 1269), ((1276, 2646), 847), ((6913, 8191), -867), ((1025, 8347), -1819), ((2096, 1621), -4635), ((2204, 1210), 230), ((3162, 4745), 6590), ((7702, 3252), -5053), ((1403, 6013), 7193), ((4882, 1942), -6675), ((3972, 4928), 794), ((2438, 5798), 2634), ((3314, 6295), 6789), ((7641, 5100), 2138), ((7855, 5668), -8459), ((4734, 5708), -6802), ((1381, 6106), -2352), ((811, 4785), -6612), ((2958, 1985), 8499), ((9950, 4474), -6376), ((1847, 6681), -189), ((9162, 8590), 4419), ((3894, 4930), -4061), ((1471, 8828), 6861), ((1761, 3977), 9345), ((7851, 290), -5679), ((4294, 8200), -6573), ((8645, 7266), 6284), ((4822, 4604), -8219), ((8821, 6851), -7791), ((4693, 4815), 3087), ((725, 9334), 1805), ((1840, 9826), -2427), ((1902, 7539), -7815), ((3331, 9153), -943), ((9584, 2637), 1789), ((8009, 2294), -8387), ((8951, 987), -4557), ((8837, 163), -6133), ((6043, 7617), -794), ((1440, 619), -6191), ((2703, 8214), -2904), ((2445, 3589), -7385), ((1207, 7554), 1869), ((1659, 2676), 8834), ((852, 1419), -825), ((5908, 4418), 8855), ((9098, 9105), -9735), ((4993, 5174), 8491), ((6989, 6319), -5078), ((2557, 3573), -4617), ((4580, 3400), 2571), ((5066, 7651), -8046), ((1133, 2491), 8984), ((7483, 1605), -9303), ((7380, 7895), -7295), ((1423, 7770), -9043), ((6125, 6571), -9442), ((5430, 9329), -4980), ((5157, 781), 2922), ((3403, 9368), -2066), ((2779, 2197), -5106), ((8842, 229), -1955), ((6019, 3336), -569), ((297, 4131), -8711), ((2077, 5625), 7233), ((2163, 3427), -658), ((3877, 3397), -6720), ((247, 6116), 6937), ((1501, 1204), 9964), ((6496, 8050), 668), ((8882, 6300), 6915), ((7527, 4471), 5119), ((7684, 1347), -6855), ((865, 4524), 9563), ((863, 1946), -4868), ((6663, 1351), 4642), ((5309, 8340), -9096), ((3994, 5402), 411), ((4034, 4356), -4166), ((1970, 852), -9384), ((7848, 1517), 7328), ((5304, 9311), -2673), ((1957, 3129), 3096), ((8312, 5568), 9895), ((9429, 1283), 352), ((1756, 4707), 1701), ((4793, 7262), -6160), ((112, 2527), 3415), ((5962, 5337), -4230), ((7094, 8543), 4084), ((2214, 9010), -9010), ((1627, 1160), 9433), ((4998, 6760), -3096), ((2768, 8608), -9179), ((4545, 8977), 7314), ((7529, 138), 1056), ((6234, 8024), 645), ((6006, 8530), 1822), ((4820, 3597), -9722), ((8873, 9769), 2879), ((6631, 6446), 9901), ((852, 6744), -4800), ((7854, 8745), 5003), ((8967, 4830), 2662), ((7198, 6931), -7866), ((6079, 461), 8465), ((7477, 9347), -5781), ((2780, 7547), -3378), ((2997, 3808), 2413), ((7095, 1962), -692), ((3137, 4935), -5547), ((7059, 4433), 8325), ((8515, 6083), -1704), ((2499, 2813), -9413), ((6153, 4569), 4526), ((2603, 4931), -1808), ((8489, 5937), -4283), ((3442, 9668), -3164), ((3385, 395), 2138), ((1699, 6798), 1410), ((5570, 4176), -8407), ((6584, 8666), 9842), ((6307, 681), 9079), ((2695, 8021), -7767), ((5484, 5718), -5491), ((5638, 5105), -7684), ((3402, 1615), 8948), ((3113, 2241), -1008), ((199, 6980), 2703), ((3994, 6613), 9006), ((8015, 5897), 6442), ((5558, 7167), 6915), ((6536, 148), -4127), ((9536, 2659), 1090), ((1104, 9923), 9533), ((5665, 9319), -5126), ((3792, 6545), -8405), ((8683, 7349), -2358), ((3876, 6070), 1903), ((1498, 1307), 988), ((473, 4950), -3204), ((2587, 5738), -4980), ((5828, 5992), -3071), ((9913, 5110), -8787), ((5670, 4590), -116), ((2939, 9492), -733), ((7479, 7743), -7610), ((6635, 2724), -9862), ((8251, 4324), -4744), ((7736, 4372), 1096), ((2586, 9650), 11), ((9728, 9642), -4805), ((4490, 5696), 3772), ((5307, 1327), 6876), ((8693, 9841), -7919), ((5304, 9235), -6241), ((3462, 64), 6743), ((1461, 4148), -4272), ((4600, 9481), 1425), ((1066, 2829), -4126), ((3633, 8159), 5966), ((55, 198), 8282), ((6569, 6403), -8734), ((14, 4194), 7751), ((1794, 9718), -7322), ((4330, 8335), 6651), ((9332, 6263), 6978), ((8141, 7909), 1744), ((2941, 7711), -9068), ((7045, 1488), -7291), ((639, 103), -4576), ((305, 3183), -3077), ((265, 9131), -1891), ((4929, 9586), 886), ((4290, 8629), 2660), ((663, 6752), 4857), ((8280, 4436), 6129), ((1524, 7200), 1007), ((7560, 3022), -7798), ((4051, 5193), 3326), ((8514, 4721), -8781), ((9542, 411), 354), ((7175, 4305), 9645), ((7077, 3154), 3167), ((3708, 2091), -6471), ((4091, 1020), 3641), ((4803, 4853), -9323), ((9862, 6620), -1842), ((6367, 3404), 8741), ((4542, 2700), 6674), ((8187, 1339), -5233), ((4063, 6796), -9668), ((9784, 7963), 6114), ((2119, 4684), -6880), ((3167, 1372), 7027), ((6286, 6319), -8419), ((5394, 2033), 2004), ((7527, 384), -508), ((914, 3727), -750), ((7215, 5799), 8756), ((609, 2897), -4965), ((9462, 2335), -7332), ((3235, 5599), -192), ((2378, 1117), 3999), ((8105, 1058), -1352), ((9937, 1861), -8637), ((4865, 226), 3067), ((3199, 2360), -7444), ((3940, 2959), 57), ((9669, 6371), -3747), ((1091, 4749), 1058), ((3045, 8790), 4381), ((6916, 3230), 8267), ((8716, 7684), 8426), ((6335, 7485), -7102), ((8560, 3344), -5038), ((8236, 3117), 4822), ((7898, 9540), -8950), ((315, 9035), 9875), ((9548, 7631), -2232), ((6216, 8459), 5610), ((5816, 8446), -1505), ((9594, 3839), -24), ((257, 1820), 6883), ((4994, 22), 8258), ((2960, 4764), -6181), ((1656, 7500), -9300), ((5268, 6782), -8788), ((6639, 7089), 6145), ((6310, 5740), 2411), ((2810, 6365), -182), ((8301, 1845), -3418), ((6815, 3814), 1992), ((739, 5533), -114), ((6915, 6404), 349), ((4874, 9831), 2014), ((7892, 3557), -7441), ((1613, 4830), 4279), ((7487, 2208), -3377), ((9069, 3103), 1450), ((1422, 4777), -9441), ((2105, 7613), 2580), ((4519, 9350), 3203), ((4841, 8794), -3867), ((6541, 9640), -7613), ((6906, 5399), -3716), ((613, 5680), -4794), ((8799, 5386), -2652), ((5827, 9695), -5551), ((2303, 6761), -7965), ((5416, 6434), 1598), ((6164, 5248), -2347), ((6343, 2596), -4065), ((7183, 619), 5756), ((4728, 2427), -2137), ((3103, 6676), -4950), ((959, 1779), -6712), ((9158, 5209), -7544), ((4996, 9401), -5402), ((2662, 1410), 2043), ((7257, 8674), 6386), ((1547, 8789), -8188), ((94, 622), -4784), ((6690, 3897), 2619), ((8464, 3491), 5021), ((1193, 4924), -6792), ((2570, 4931), -312), ((1011, 2176), -6988), ((8891, 4885), 1911), ((5850, 5222), -4262), ((6648, 9694), 3613), ((5749, 8634), 8860), ((9358, 20), -3349), ((9666, 2469), 2178), ((992, 6156), -6866), ((6127, 9915), 9281), ((6180, 699), -3045), ((266, 8035), 2856), ((2444, 4266), -6796), ((8157, 5544), 6816), ((1866, 7315), -6642), ((9899, 7148), 7918), ((611, 1900), 5472), ((3883, 4508), 7744), ((6592, 2203), 1778), ((2197, 7944), 5948), ((4778, 4434), 6886), ((9400, 8923), 4314), ((1783, 2415), 776), ((4859, 311), -8212), ((1492, 8627), 5939), ((352, 6093), 1171), ((3425, 8202), 2579), ((5164, 9007), 1818), ((646, 238), 719), ((6309, 5142), 8486), ((7717, 2725), 576), ((5039, 2936), -9380), ((6058, 9554), 4965), ((9819, 311), -8865), ((7814, 5264), 8340), ((7422, 8834), -7072), ((7637, 3808), 3027), ((1355, 3798), -7158), ((4100, 9011), 2233), ((2023, 8078), 2386), ((7373, 8596), -2060), ((5969, 4774), -2832), ((3664, 1193), -1671), ((1893, 2060), 4990), ((2966, 1524), -6220), ((4853, 7163), 695), ((6761, 2483), -2324), ((157, 1892), -4868), ((7284, 4998), -6325), ((5754, 605), -1986), ((9553, 7555), 362), ((8918, 5351), 5079), ((148, 7194), 8658), ((8952, 7730), 9861), ((444, 724), 4219), ((9092, 5057), 2231), ((7469, 1715), -7727), ((1055, 1464), 284), ((5017, 3924), 5144), ((4553, 4068), 4625), ((6865, 2379), 4674), ((9077, 9103), 9521), ((2561, 599), -9306), ((1070, 263), 3504), ((368, 1919), 4099), ((3264, 6421), 6488), ((4082, 7413), -9798), ((3459, 7284), 4120), ((2224, 9511), -5711), ((4663, 4305), 659), ((3060, 2774), -412), ((5652, 8005), 2412), ((4315, 747), 111), ((9927, 3793), -6487), ((6092, 3168), -8277), ((4207, 5781), -8725), ((8, 7844), 1216), ((6058, 4817), -2712), ((4799, 4656), -3799), ((1061, 3337), 4087), ((2180, 8344), 4962), ((8425, 7125), 7722), ((6813, 6412), -2290), ((3035, 1619), -2237), ((6300, 1752), -6265), ((4855, 7659), -754), ((4214, 8763), 3784), ((608, 4200), 8847), ((7004, 1633), 4669), ((8878, 8703), -8751), ((9719, 6039), -8982), ((7589, 4677), 6614), ((3395, 2208), 9055), ((68, 5924), -7124), ((9050, 5781), -5517), ((1882, 8620), -1340), ((3545, 4534), 518), ((4990, 1692), -1884), ((8701, 5389), -9585), ((150, 6425), 9277), ((758, 1413), -8441), ((697, 989), 5334), ((3547, 8084), 9719), ((5383, 3225), -8848), ((2338, 9412), 1993), ((8359, 3091), -9376), ((7657, 8217), -1923), ((8625, 794), -5226), ((9526, 4622), -5605), ((4216, 5774), 3842), ((2147, 5598), 6434), ((5891, 6534), 7517), ((1686, 6686), 4381), ((5112, 7219), -3910), ((3893, 4397), -448), ((324, 4018), -7679), ((1373, 8056), -9441), ((5286, 9814), -9887), ((7798, 2172), -7076), ((5007, 9167), 3291), ((5910, 2863), 4364), ((6433, 4836), 8143), ((9261, 3674), -7100), ((2180, 9025), -9861), ((2735, 8873), 6593), ((2697, 512), 4740), ((2364, 2883), 6570), ((9771, 4945), -676), ((9350, 7206), -6707), ((1448, 3325), 7311), ((9019, 5882), 8216), ((3394, 6039), -1764), ((9034, 5280), -2049), ((994, 3070), 1791), ((9281, 1951), -2952), ((717, 7814), 4118), ((4245, 3892), -3056), ((4227, 5210), 9666), ((9601, 8988), -948), ((7053, 9686), 1371), ((2628, 6800), -4367), ((573, 858), -9711), ((739, 2024), -1268), ((5399, 7668), -6716), ((2398, 796), -146), ((3301, 7709), -5945), ((8616, 7825), -4005), ((1987, 4002), 1964), ((2334, 8517), 8504), ((2557, 9988), 5127), ((5104, 5618), -8447), ((3985, 7995), 2425), ((6535, 7848), -2962), ((8897, 8509), 6676), ((4005, 4030), 8673), ((4224, 1386), -635), ((510, 2627), -9796), ((4, 3775), -1409), ((9610, 2581), -3729), ((1044, 3401), -6632), ((7084, 4923), -4539), ((1581, 743), -2735), ((6797, 9027), -4774), ((9569, 6547), 5761), ((5926, 7913), -7071), ((583, 6555), -5337)]
cc 231d1cd98c6e5ce636d8caa105d22d98738c2429956d66db38294b698de47d64 # shrinks to mut merger = MergeSorter { queue: [[], [[]]], stash: [] }, mut batch = [((675, 201), -5457), ((3023, 4447), -820), ((588, 8848), 402), ((7000, 1604), -5418), ((8343, 9818), -1239), ((5065, 729), -2601), ((4972, 1962), 1413), ((5247, 274), 1911), ((2991, 4255), -7184), ((234, 660), -2309), ((990, 6289), 4916), ((3377, 3866), -6068), ((5331, 8767), -5518), ((4616, 2145), 2949), ((4926, 3163), 750), ((6356, 303), -233), ((9345, 8684), -2159), ((9962, 3058), 933), ((2519, 8865), -369), ((6180, 4135), 9027), ((4729, 5820), 7779), ((1226, 6988), -5409), ((2187, 2745), 5238), ((1559, 1878), 2424), ((8949, 4973), 1193), ((3155, 2235), -2681), ((2633, 4026), -4611), ((4163, 4453), 8696), ((7113, 9796), 1714), ((6397, 6070), 9927), ((1138, 1297), 3661), ((2899, 9263), -5762), ((3760, 1053), 6543), ((6894, 5012), 9405), ((7436, 4701), 9199), ((1019, 7986), -7288), ((2905, 8992), -8714), ((7455, 1296), -913), ((8236, 1264), -5766), ((3026, 8176), -7539), ((6362, 9938), 4850), ((6987, 9448), -2265), ((1183, 7168), 4060), ((3772, 4908), -3028), ((5687, 5798), -3013), ((6515, 7680), -4903), ((9001, 7833), 9733), ((7120, 8274), -3205), ((5790, 6539), -5356), ((4049, 8292), 4043), ((4437, 2263), -6106), ((3770, 4260), -9025), ((9579, 737), 9048), ((9214, 5173), -795), ((680, 2622), -5581), ((6950, 6334), -3084), ((388, 3997), -7479), ((7326, 3646), -7958), ((7821, 6302), 7675), ((2954, 321), 1440), ((5450, 2402), -2896), ((6042, 8810), 6329), ((159, 4153), -4287), ((4781, 9422), -1748), ((4428, 4330), 1166), ((9357, 9747), -9345), ((1698, 7312), 7533), ((8881, 1795), -7371), ((6407, 7406), -4410), ((491, 4429), -682), ((1403, 5652), -4622), ((1033, 5706), 9565), ((7856, 1327), 4444), ((1227, 6540), -7521), ((9324, 8516), -2104), ((1971, 261), 1984), ((2633, 992), 2598), ((1631, 6033), -4855), ((5213, 9035), -36), ((1034, 2821), -3168), ((3457, 1445), 3097), ((2125, 7583), 4342), ((1536, 6964), -5291), ((6262, 9687), 2963), ((8010, 6188), -5530), ((6591, 561), 4472), ((6449, 8731), -5891), ((5010, 8091), -6368), ((5224, 125), 5245), ((5539, 9944), -807), ((4043, 7982), 8240), ((487, 9710), -8031), ((7470, 2691), -3911), ((1086, 6196), 686), ((6500, 5310), 6466), ((5984, 7068), -7631), ((1644, 7655), 4152), ((6651, 5633), 5116), ((512, 7919), 7994), ((9574, 5385), 3969), ((9163, 6834), -7580), ((8892, 5819), -5174), ((1340, 8789), -9463), ((733, 4281), -8241), ((2395, 1963), -7819), ((4148, 701), 1130), ((1568, 8857), -5956), ((8031, 3189), 9031), ((5276, 9014), 5023), ((4330, 6643), 534), ((3325, 2275), -9931), ((8908, 3556), 6295), ((5772, 7775), 3613), ((1297, 3377), 2995), ((5147, 7803), -5909), ((8641, 3146), 9855), ((9756, 3027), -9801), ((360, 8489), -2729), ((7369, 7190), -5951), ((6029, 4757), -4938), ((6759, 3556), 7065), ((1496, 2883), -2042), ((185, 2466), 6860), ((7652, 2169), -8711), ((574, 617), 9392), ((9790, 2941), -353), ((2467, 2538), -9406), ((1146, 1039), -2013), ((6512, 8292), 8564), ((9333, 4575), -3111), ((1715, 1969), -8934), ((9915, 2193), -4040), ((7484, 6458), -5426), ((2500, 6045), -4935), ((2373, 6973), -6898)]