# Subtraction tests

sub:0,0,0:0
sub:0,0,=1:0
sub:1,=1,=1:0
sub:1,-1,0:2
sub:1,-1,=2:2
sub:1,-1,=1:2
sub:-1,1,0:-2
sub:-1,1,=1:-2

sub:103427990038,909510006269847,0:-909406578279809
sub:128593002,-9007199254740992,0:9007199383333994
sub:-65537,70000,0:-135537
sub:-1000000,-6543210,0:5543210
sub:#x29C932F25E6CEF8046FA,#x29C932F25E6CEF8046FA,0:0
sub:#x800000001,2,0:#x7FFFFFFFF
sub:95031018,=1,=1:0
sub:#x-176E7F8018D6BA4B550AB36AAAFDC78A9,#x186DAD2485A41B18AAF5EF17922D7E5F1F,=1:#x-19E4951C873186BD60469A4E3CDD5AD7C8
sub:-628443782411312,-301652218193016,=2:-326791564218296
sub:950147,37133897,0:-36183750
sub:649972385,297,0:649972088
sub:505,9,0:496
sub:33,-2638,0:2671
sub:-5,71542573,0:-71542578
sub:4,475357,0:-475353
sub:5,775166,0:-775161
sub:0,20805741,0:-20805741
sub:1,39,0:-38
sub:76825770,751287444,0:-674461674
sub:-5846049,574445,0:-6420494
sub:501105944,54475,0:501051469
sub:84350933,594,0:84350339
sub:1367,-96716998,0:96718365
sub:49879,-426695,0:476574
sub:4,2,0:2
sub:710883222,2440893,0:708442329
sub:-68,2096377330,0:-2096377398
sub:-87838,-485655,0:397817
sub:4683739592,822,0:4683738770
sub:2849496,766332,0:2083164
sub:60422837,52,0:60422785
sub:-13318,250,0:-13568
sub:1,2001827,0:-2001826
sub:97481748,62763650,0:34718098
sub:1643,636255899,0:-636254256
sub:-400522,-40393280,0:39992758
sub:45568099,22,0:45568077
sub:645024401,860182184,0:-215157783
sub:37244191,-976205,0:38220396
sub:-27,359887,0:-359914
sub:27528,8076231,0:-8048703
sub:7298,58548352177,0:-58548344879
sub:71847293055,573,0:71847292482
sub:673824473,27805877,0:646018596
sub:449,53709067,0:-53708618
sub:40569,6538078687,0:-6538038118
sub:-642338,9669221067,0:-9669863405
sub:209745,-28,0:209773
sub:2488518646,-1846396,0:2490365042
sub:581,539581676,0:-539581095
sub:-86,16372077246,0:-16372077332
sub:82972869,96,0:82972773
sub:81666,-224,0:81890
sub:3353174666,6467525,0:3346707141
sub:178,76264272942,0:-76264272764
sub:67786255,18533457,0:49252798
sub:-59339460,8103,0:-59347563
sub:427117459,-6532,0:427123991
sub:-514830072898,10894,0:-514830083792
sub:4160587,946181096,0:-942020509
sub:76936,1066849,0:-989913
sub:-776709551,28397881,0:-805107432
sub:917,6034390,0:-6033473
sub:5528,-1297,0:6825
sub:303,37728739196,0:-37728738893
sub:920355,13059,0:907296
sub:55576,-56300,0:111876
sub:-85278759,67364939177,0:-67450217936
sub:50472201146,-89468966856,0:139941168002
sub:7257002442515,-4541182637,0:7261543625152
sub:56005,-57203,0:113208
sub:1508,8778323669,0:-8778322161
sub:7477,1777344,0:-1769867
sub:619620595216,-271826,0:619620867042
sub:503021,559324,0:-56303
sub:46990,601026675862,0:-601026628872
sub:630276867,92393884,0:537882983
sub:64847122,-1741761,0:66588883
sub:-901885041650,6063747686,0:-907948789336
sub:9090817588683,-74217059906,0:9165034648589
sub:4643353802,39676050,0:4603677752
sub:61222313,-991211846100,0:991273068413
sub:8145673172195,79545920286,0:8066127251909
sub:4326733518687,315334416,0:4326418184271
sub:65122622889524,686861271,0:65121936028253
sub:91927935495,815931,0:91927119564
sub:360036184139,-929647,0:360037113786
sub:851769193,5104213614039,0:-5103361844846
sub:49764,-1370901,0:1420665
sub:543849288,7706203685,0:-7162354397
sub:62844,8576091,0:-8513247
sub:-809058073978,541423856,0:-809599497834
sub:-2639589,58729,0:-2698318
sub:-79585473,1798247,0:-81383720
sub:316852976150,-860129592,0:317713105742
sub:1273939285186,11601,0:1273939273585
sub:80537932950,292617381640,0:-212079448690
sub:5467548,5430035835,0:-5424568287
sub:-5937877,24003123599412,0:-24003129537289
sub:684651821908033,41369461672136,0:643282360235897
sub:1137993337,2322246811872,0:-2321108818535
sub:7374342836,64650413647,0:-57276070811
sub:432132,-42261483441184,0:42261483873316
sub:83231980056423,2783677270377,0:80448302786046
sub:2587541968775,479202225,0:2587062766550
sub:-928954175477668,-1742785659277,0:-927211389818391
sub:6404997096,7343350521970,0:-7336945524874
sub:727251429810,3193503,0:727248236307
sub:77165840,-457577668996931,0:457577746162771
sub:33934095603840,74283623494449,0:-40349527890609
sub:3846088301735,-44249412464855,0:48095500766590
sub:24497022452,4724262825964,0:-4699765803512
sub:463651487662200,-753243402,0:463652240905602
sub:71713522960,15380043873197,0:-15308330350237
sub:8294630828927135,31183461626,0:8294599645465509
sub:6703541383230,44950919818203,0:-38247378434973
sub:868891910767,8481827,0:868883428940
sub:6321902376793877,-477388684714663,0:6799291061508540
sub:-32763637641,66549351522069,0:-66582115159710
sub:288533359019263,58471469888811,0:230061889130452
sub:-751498035858161,527076997758,0:-752025112855919
sub:1940356995569832,103761002,0:1940356891808830
sub:11785051,32863482880064,0:-32863471095013
sub:6832388,998030894437455,0:-998030887605067
sub:-29992855,4391685016,0:-4421677871
sub:-60108503487,-15310122633,0:-44798380854
sub:-6477442216968621,60885516917,0:-6477503102485538
sub:31744989963367,971914401,0:31744018048966
sub:4773395,-699494329,0:704267724
sub:158083905091,153315973803,0:4767931288
sub:9257392592301,778762452,0:9256613829849
sub:-869525659304,751325704189605,0:-752195229848909
sub:-49703875573842714,4505925018715,0:-49708381498861429
sub:-91664099,25339513330017666,0:-25339513421681765
sub:469453608,-325915913621728,0:325916383075336
sub:-6329249891,453489665443616,0:-453495994693507
sub:1555896943,216164615094,0:-214608718151
sub:7867736225,6515990968510638,0:-6515983100774413
sub:47191079551,22909405,0:47168170146
sub:480598620144,-630471272,0:481229091416
sub:-44964236,4129791840132424,0:-4129791885096660
sub:2078461471836,9510166882939211,0:-9508088421467375
sub:3399372328,4480430653,0:-1081058325
sub:37397829728829741,55828595309,0:37397773900234432
sub:932684640397258009,-748484093750,0:932685388881351759
sub:840884486710412,70796060480,0:840813690649932
sub:2539205,16161203759,0:-16158664554
sub:713637461058,6441899124,0:707195561934
sub:-8173074559441,-280676331618304941,0:280668158543745500
sub:430261608,4233937508,0:-3803675900
sub:-131645380114748755,77441408953418,0:-131722821523702173
sub:-31661643391,786373077474234,0:-786404739117625
sub:278686734235471032,120592814722,0:278686613642656310
sub:-2931231599090,18746712502644976,0:-18749643734244066
sub:61029444723255769,-2293742672243933,0:63323187395499702
sub:816220890520,640524790657208413,0:-640523974436317893
sub:16665591262,113580566277835849,0:-113580549612244587
sub:-868305701832,6230551669213729,0:-6231419974915561
sub:11999732039934306,23827304849399,0:11975904735084907
sub:91534672684829653,795520608093438312,0:-703985935408608659
sub:-8985197818103126,141826190572801,0:-9127024008675927
sub:390870406977082056,3249082110578,0:390867157894971478
sub:88089340380,339939269745765,0:-339851180405385
sub:-9559600885723,1043929655718,0:-10603530541441
sub:7521666468386587380,-6553266884,0:7521666474939854264
sub:8481985305837,8883976116,0:8473101329721
sub:8322745787655471,-2367148822664118142,0:2375471568451773613
sub:-1536130411,5098377844876093,0:-5098379381006504
sub:-80409580247,-379667394325917,0:379586984745670
sub:2780978527253898223,-793585194380805771,0:3574563721634703994
sub:983228849414820623,411233979567,0:983228438180841056
sub:4312344973,8504030055,0:-4191685082
sub:6929160648081603523,-9139369237550637,0:6938300017319154160
sub:40543447104286,922867012966969520,0:-922826469519865234
sub:-32492268811,-52539511415,0:20047242604
sub:-837736542959704435,-11698939306808,0:-837724844020397627
sub:30695570430,6965534034801150,0:-6965503339230720
sub:743449156492,-892800013061,0:1636249169553
sub:4650491989907718938,9119100370137466,0:4641372889537581472
sub:475327493368,391070618301538,0:-390595290808170
sub:9789197909023,-2250068166694,0:12039266075717
sub:3951486522961630212,41419130651165087030,0:-37467644128203456818
sub:36289729721981,609158820292,0:35680570901689
sub:5238096716643,857369737080,0:4380726979563
sub:20927421747352,7859500562781,0:13067921184571
sub:853523362775,-58650620319893709899,0:58650621173417072674
sub:46324137709977166,3445427404517058,0:42878710305460108
sub:8903783900,665953140969,0:-657049357069
sub:8807754569337,1429027872766,0:7378726696571
sub:-69086569251605,3823065660047,0:-72909634911652
sub:74058749504331776,4434739153355644691,0:-4360680403851312915
sub:-52234016526389,-2748494775019,0:-49485521751370
sub:-6279254893906588798,625713048668,0:-6279255519619637466
sub:3054225188071649,435737551736,0:3053789450519913
sub:773765483980477636,76679006788618217,0:697086477191859419
sub:9779893465932,7787153050157190775,0:-7787143270263724843
sub:59561782129137,9069749963639028245,0:-9069690401856899108
sub:-341767412794852361,347062438266855646,0:-688829851061708007
sub:-9228152928357,640608182261,0:-9868761110618
sub:-42043060859484,7345135549532130055,0:-7345177592592989539
sub:19318981939433,264137322793696365561,0:-264137303474714426128
sub:8745011564822621615,75690236981341546,0:8669321327841280069
sub:2006412627556,444508404836,0:1561904222720
sub:-996892139262,3687846060016536,0:-3688842952155798
sub:591666758481462692,6187092701409,0:591660571388761283
sub:17253871467666658,521693769674,0:17253349773896984
sub:-18811272204464,-70402687077401900203,0:70402668266129695739
sub:45980222925454243960,90960767776830610102,0:-44980544851376366142
sub:-66394515686754,99465607502696,0:-165860123189450
sub:-731492671961447493,42337700004380375319,0:-43069192676341822812
sub:6642648198381310,-567336740547801378,0:573979388746182688
sub:811917479145896,258859229290245057,0:-258047311811099161
sub:66015593565297,625461142945341,0:-559445549380044
sub:30440701155222429,6075207040555619467769,0:-6075176599854464245340
sub:2751861052219993314121,760255884133587996796,0:1991605168086405317325
sub:9525855084181563454,4607581127890,0:9525850476600435564
sub:5557962211148071712,1921710471388746938,0:3636251739759324774
sub:800293622218736473310,8120868065192,0:800293614097868408118
sub:-45549550905111,-3937133121943669502489,0:3937133076394118597378
sub:-81611168134401657674033,-29024094310537521258,0:-81582144040091120152775
sub:473739545776060,-95651109326027,0:569390655102087
sub:-9943711197250791783,5192955396843373262,0:-15136666594094165045
sub:74362674758137703088,991218776208774087,0:73371455981928929001
sub:8942190838160347,42915360862670,0:8899275477297677
sub:66210460069722759,8216793402040737008247,0:-8216727191580667285488
sub:28630228799120059057,-727654086775011,0:28630956453206834068
sub:-2502191839260572,-609085018990088802,0:606582827150828230
sub:-707403262721461629,-9548746126714505844843,0:9548038723451784383214
sub:-42739413943936747053,7248311562458017,0:-42746662255499205070
sub:46123774937019599821,521218568189626101724,0:-475094793252606501903
sub:9415554602318087,9000595012272170366,0:-8991179457669852279
sub:-1951679141829705122,-12285787616979339429,0:10334108475149634307
sub:-4386967398151873150474,2143436435198250529,0:-4389110834587071401003
sub:97977437591194303377451,642191000671555391,0:97976795400193631822060
sub:83261682108887535662635,511317890231125086112,0:82750364218656410576523
sub:41310833218589671,9897170076989397,0:31413663141600274
sub:1683930885684182315875,-66190399132485560,0:1683997076083314801435
sub:83038493375345259207979,58284882728646817780,0:82980208492616612390199
sub:174833752819190460,58205143986480293592,0:-58030310233661103132
sub:-51972688295317718162,-53017954844280432,0:-51919670340473437730
sub:3049073769975215127,-8413940824249555462,0:11463014594224770589
sub:66856363357316667,-37906703703222242237619,0:37906770559585599554286
sub:541685788711205,813493512383742701225466,0:-813493511842056912514261
sub:12039482877604486443159,-27784227929617157318,0:12067267105534103600477
sub:2031498290041713,-706931410323604521481,0:706933441821894563194
sub:793163145663267355,488093806957995,0:792675051856309360
sub:-35932264894813,6608203939349524510555,0:-6608203975281789405368
sub:6095035696899997995461,49012978744796870,0:6094986683921253198591
sub:736660687461873,2928166059556503986320,0:-2928165322895816524447
sub:-80752317921759003744482,-2784356502312865996499584,0:2703604184391106992755102
sub:-55600025805872206,-7990044978835553,0:-47609980827036653
sub:20131235857391244,745599894858331816,0:-725468659000940572
sub:473379993971533482724,53545104197056246737,0:419834889774477235987
sub:-7901274667808068,7310483319842229,0:-15211757987650297
sub:611143500250518767744,565842823113937536426566,0:-565231679613687017658822
sub:8702674605316149,74225958414698686231,0:-74217255740093370082
sub:847520472084398906,-181833891734712245,0:1029354363819111151
sub:882552741752125480,4287937154291698619767895,0:-4287936271738956867642415
sub:1164933678283444,-605787688418745409686,0:605788853352423693130
sub:8189990356647722508802,5327680305703219926,0:8184662676342019288876
sub:20126414182234863325418,651586473061170891,0:20125762595761802154527
sub:-7243913367665451229510,920916193262000838,0:-7244834283858713230348
sub:241247407616518609790,849820061721310660,0:240397587554797299130
sub:11610932258446222276,-238310622287414468083,0:249921554545860690359
sub:333102694750160639,69609722651274194224,0:-69276619956524033585
sub:489371802875965014118478,96271202587903139,0:489371706604762426215339
sub:7344620696143243253130,-354550759273217997666,0:7699171455416461250796
sub:7443029079637089736774,47397475977873627,0:7442981682161111863147
sub:-552185046973685246703728,5086882342952953836639656,0:-5639067389926639083343384
sub:34160638466370340264992,6442462400353615432715,0:27718176066016724832277
sub:224642516163621778782,4567297709761777098,0:220075218453860001684
sub:396245283577471672779404,-28835207585120519380895,0:425080491162592192160299
sub:542742994231711454505,1493274706520691229211,0:-950531712288979774706
sub:-4010437024179449951252946,6148766465731638330749,0:-4016585790645181589583695
sub:-45993733981177457,-2333654032343500227394581,0:2333653986349766246217124
sub:-53268979390855780768161,244917458799919371067,0:-53513896849655700139228
sub:9597472083289623017,283637277496645411,0:9313834805792977606
sub:-549237729763380362715631,4233347728399082996881,0:-553471077491779445712512
sub:546810502069383982063,-5966616092961401439222,0:6513426595030785421285
sub:2693320235570423841,-636227430987384270,0:3329547666557808111
sub:299001294509600705281,-662976479255032381882,0:961977773764633087163
sub:-9969627469592910143441654,-4697810125124307023,0:-9969622771782785019134631
sub:295862851742112486,62089965837017871773124,0:-62089669974166129660638
sub:35578586721878839413,524399278031861381275,0:-488820691309982541862
sub:-579419395708175094375,-86888512465827623053,0:-492530883242347471322
sub:6685264590200748832,2474399060436569565967165,0:-2474392375171979365218333
sub:411194309664386491791190124,-758109583623796174126,0:411195067773970115587364250
sub:63387968120454752,367951841292571472228663,0:-367951777904603351773911
sub:-523269515783595554078,49060669022383177598,0:-572330184805978731676
sub:13445326521609443648,9751080551639245658806,0:-9737635225117636215158
sub:789739255835156800013,315101502591672711170806,0:-314311763335837554370793
sub:73481634769773817391,7522066373372077852,0:65959568396401739539
sub:59238938099041804756,-284755768386936014001,0:343994706485977818757
sub:2345748144830635294766296,26772347379722903394664,0:2318975797450912391371632
sub:-96180432920038812502,7130528324583233658,0:-103310961244622046160
sub:-6103646636128907863077733278,167360991644513667938,0:-6103646803489899507591401216
sub:89183651282796860734843567,650591691692940868,0:89183650632205169041902699
sub:885385723843334016669166462,7959173204532632279022148,0:877426550638801384390144314
sub:426509712333758537770,3053810150190399695475807,0:-3053383640478065936938037
sub:-43602818211336693439,37720583430905942376,0:-81323401642242635815
sub:42082335899892839012828,54006514124159856356378769,0:-53964431788259963517365941
sub:744007647137500935704813,9607111119925514823029,0:734400536017575420881784
sub:49316936033792930103965,-3034940638845987540137,0:52351876672638917644102
sub:83874798574806162505693,464988593797915772,0:83874333586212364589921
sub:47935017932067725904,525937150680246466817568,0:-525889215662314399091664
sub:15759732742160839060899,8468547017336608217,0:15751264195143502452682
sub:68081177675380449585,232838274961715380121771,0:-232770193784039999672186
sub:198837569846432824894,74142127460226777613642,0:-73943289890380344788748
sub:1898390184425605471746,-8609726339421831182804422363,0:8609728237812015608409894109
sub:5010086610580228482335807,750924907754526639102577674,0:-745914821143946410620241867
sub:3239772657087138659473,26630017052110857873,0:3213142640035027801600
sub:30931222688688580641792927,47650975868262142324567646743,0:-47620044645573453743925853816
sub:2618635242932069293276,-37969350588765740201326652600,0:37969353207400983133395945876
sub:62748041061334975755,-8597227755884238992024742173,0:8597227818632280053359717928
sub:73666512572900713065,727593598628012630085291831,0:-727593524961500057184578766
sub:73065402278129705309963059248,-1510259437891597840030938,0:73066912537567596907803090186
sub:652852443033404198570557,3218208198091308335983,0:649634234835312890234574
sub:322654125619631317783651175,103982638102588159557510478,0:218671487517043158226140697
sub:47298054366651393257588577343,25292337944252217030,0:47298054341359055313336360313
sub:4969650998010954466,-5928799632879538310681042,0:5928804602530536321635508
sub:94361219162537205953,-573028299187075717448661476,0:573028393548294879985867429
sub:500487140938346964814,-666190790348527856857515,0:666691277489466203822329
sub:2397057037367709886558,8469650679664722706535608,0:-8467253622627354996649050
sub:5916454672457377863577802905,-301691311710205742681455,0:5916756363769088069320484360
sub:-4732324961421982812667328,-41666595440544717926863264,0:36934270479122735114195936
sub:7784556296620016124437432,295631109431335676271,0:7784260665510584788761161
sub:-468243465340943117955484398,-86059014635749889021797574078,0:85590771170408945903842089680
sub:7581798337258404983887829,286326330291344819121713,0:7295472006967060164766116
sub:-59661872187286137669680,993451500121394333929486,0:-1053113372308680471599166
sub:2962196560211918477855182834,429980300074111981923309698661,0:-427018103513900063445454515827
sub:-117191815514577197960025,-93952901109567063533541898393,0:93952783917751548956343938368
sub:972649124468069443877962,39940702160872858805890483783,0:-39939729511748390736446605821
sub:52911349728309634554095814861,640041502135571284090,0:52911349088268132418524530771
sub:9563434009347863250789850,39324990112287164371797250,0:-29761556102939301121007400
sub:501256807694158654884,8345102795766270329548488379,0:-8345102294509462635389833495
sub:73135419149054064613594459638,-376755188742340618890,0:73135419525809253355935078528
sub:258128605755268399576,116154542754127542403,0:141974063001140857173
sub:-388289190817020242752560429,683426700586684828499964340,0:-1071715891403705071252524769
sub:77603273142377289304718668478,7907734025138351381355884534,0:69695539117238937923362783944
sub:59920022083646756381083767,-676349674131765453090842,0:60596371757778521834174609
sub:1386456963825362091135,5043324890371013843489776600,0:-5043323503914050018127685465
sub:22908004694216963557562131,1437848391259187655742912574429,0:-1437825483254493438779355012298
sub:75830204485394953668558224750,818650518003178932071960,0:75829385834876950489626152790
sub:8072507208044425938387,2801437782939637080569080,0:-2793365275731592654630693
sub:996986457053305310363710,4270654800444412431799788016,0:-4269657813987359126489424306
sub:476227015634465030195295,802516552923254955041235580710,0:-802516076696239320576205385415
sub:-3862793080955285675336,601225923445782883856004,0:-605088716526738169531340
sub:34058788843087368388987,788661560182208367542729826,0:-788627501393365280174340839
sub:75890485056733894277957536421,28898157540847408357479445339,0:46992327515886485920478091082
sub:836419152310550927547976,-715832228817310323167747520,0:716668647969620874095295496
sub:71149688455411718068481321,130052491916581090823794037636,0:-129981342228125679105725556315
sub:3047224655714425540346555,583427698600273187296801675761,0:-583424651375617472871261329206
sub:-1762508903601801463391,1123979050566438206073605513714,0:-1123979052328947109675406977105
sub:75571713529690058494700131,154047782298368874362663480,0:-78476068768678815867963349
sub:8881924107521011726353538,-3145465133030840075856549,0:12027389240551851802210087
sub:2119385564140685046061904,42628989499638883272827242,0:-40509603935498198226765338
sub:636137867409083757104434174,876963242090925483645110008648,0:-876327104223516399888005574474
sub:956392636402263734252628073,47247440520063140522408813223,0:-46291047883660876788156185150
sub:5565262347877821939981460417240,-985376663560828156502183,0:5565263333254485500809616919423
sub:-96960327111310542205299575340,754323275128519456665692931,0:-97714650386439061661965268271
sub:390903876504582680914435276856,409728963505921718859992691123,0:-18825087001339037945557414267
sub:600683747782519279592349358,3076791699376918600719019341,0:-2476107951594399321126669983
sub:9867764659515798940712578323,6357991496217721443026258037557,0:-6348123731558205644085545459234
sub:68114522731034072566854092812686,62725405971469064330284876,0:68114460005628101097789762527810
sub:907396594886580376638506,-894708410482856602073830977246,0:894709317879451488654207615752
sub:-30792046454713176872672190485565,-8017250846058869636998077777,0:-30784029203867118003035192407788
sub:-18821866119770039003181629912,82441485710616151410107,0:-18821948561255749619333040019
sub:80095770818874409058224,9316123957640218030400143320,0:-9316043861869399155991085096
sub:-901755584000000420457516562373,-2517773106349772310667656,0:-901753066226894070685205894717
sub:-883321569482669903165683,-44558935482820169589044365546478,0:44558934599498600106374462380795
sub:601706200500617282847480732962335,43201582734874942566066864633597,0:558504617765742340281413868328738
sub:3611141688653897808711895791472,54026584092810638450252354,0:3611087662069804998073445539118
sub:-9089386632359156927536477163974,604640114580951133123734104973745,0:-613729501213310290051270582137719
sub:-65911585682039568232806668,921349267715834145888878007323,0:-921415179301516185457110813991
sub:740180119243741829715055823,420700352624083519085129,0:739759418891117746195970694
sub:85012296935839090922311415,56044320231947385798897291322,0:-55959307935011546707974979907
sub:5658315653448747612688000,4877275861716865293755139,0:781039791731882318932861
sub:53078309233697402718315797802,786142563765269101788772678439,0:-733064254531571699070456880637
sub:380283779338470154888541799,69789893061880576858724867806,0:-69409609282542106703836326007
sub:-36819622867396721797461,-487239057841776678372530391049923,0:487239057804957055505133669252462
sub:432355289983835194025265634880,722175859400496706671386831852299,0:-721743504110512871477361566217419
sub:406113849743376356851682,-2948843385313638396180656653220,0:2948843791427488139557013504902
sub:-450089373848778279085231682276,6922355877436261896463320824,0:-457011729726214540981695003100
sub:-461778533905902103878563791120779,30903051263975616567418133538553,0:-492681585169877720445981924659332
sub:2225847828886634429718900,-141670429280564340131559528873669,0:141670431506412169018193958592569
sub:-518005307820181246928833,41493548566098807242410918395372,0:-41493549084104115062592165324205
sub:1386972819787742372011414030306,6378199700569631039860797133,0:1380594620087172740971553233173
sub:-9953467574634703627642091359525106,109232097199219102894213900,0:-9953467683866800826861194253739006
sub:272224578522098768588271712614,-954774545043667358357735233977,0:1226999123565766126946006946591
sub:-13397521090097970078307026041,-208746646957761968673045385061,0:195349125867663998594738359020
sub:90242053814362992528569637627538,819378127307812972535514213,0:90241234436235684715597102113325
sub:475879565794423355160366826570767,-981714991594839343058124009,0:475880547509414949999709884694776
sub:73272944471878906655000028253254,9316121481273747448232884110081053,0:-9242848536801868541577884081827799
sub:156124484535009677347773264807041,41067689846332812531537548182,0:156083416845163344535241727258859
sub:5750622698618635176765494780582,8778936683577810871387349,0:5750613919681951598954623393233
sub:752423753475915953095080157764850,110028403919321544278497683,0:752423643447512033773535879267167
sub:986438424059798089328623129,944289987162416305345778315780032,0:-944289000723992245547688987156903
sub:2940131992853959894009314316599,-6130856644000035009877295436,0:2946262849497959929019191612035
sub:-60219475207618615852406049263760,245420985013813274904940493371846,0:-305640460221431890757346542635606
sub:76132456058041997180166479105207,1333701621741713587577000118516444,0:-1257569165683671590396833639411237
sub:551757239718514829275035933587668,20975678617718960357674898185,0:551736264039897110314678258689483
sub:827026171479636357807858542315003,657266896495283042560293955528681,0:169759274984353315247564586786322
sub:62029235723027056966248632640016,4720308399791420006433428083,0:62024515414627265546242199211933
sub:3370077911228331451226459981542,56700095331827269676453888012958,0:-53330017420598938225227428031416
sub:3514193210192659422357386965236028,5945062235433978181560378967712895,0:-2430869025241318759202992002476867
sub:3725417532430237033267313551512,-29139588479237546460280773,0:3725446672018716270813773832285
sub:86971485372454469574581715701279,76600079495825348746163163766060,0:10371405876629120828418551935219
sub:52025473585241225053445613599064,64931994025064476703228951534248,0:-12906520439823251649783337935184
sub:-46094956887492446679275334,4199288643419024266960740601763,0:-4199334738375911759407419877097
sub:-199531081865328340581624098,61586813654360478634926776,0:-261117895519688819216550874
sub:2228997256609098057220853694688,77983035307573853597859653028,0:2151014221301524203622994041660
sub:-998325557636914977245575086,7667612449137815647454849829,0:-8665938006774730624700424915
sub:746793137925798942820906830,399507178175236915401754759449,0:-398760385037311116458933852619
sub:634724387005569029859717498,3437595978823543942820525964913,0:-3436961254436538373790666247415
sub:7141573144886127523784053337066625,-390050969405812623337724114002,0:7141963195855533336407391061180627
sub:-91403573621251855050085889821,78465471196357080847824505165565,0:-78556874769978332702874591055386
sub:349658297262594920988266356059043171,796963132566625995186691340562185,0:348861334130028294993079664718480986
sub:-633893601713106197757857736129298,86189806992731837430692951480,0:-633979791520098929595288429080778
sub:-43900746259116235552821471377,591055471482916203481396667491207,0:-591099372229175319716949488962584
sub:2557547273135447028597996609,64663579124550082208338293785,0:-62106031851414635179740297176
sub:94701712281465414851697898675451825,1024428303725598723580617161,0:94701711257037111126099175094834664
sub:1405995388343974884472280878660,-220054432405512280858363563,0:1406215442776380396753139242223
sub:999816594826990228141732119822,984552280063995997341773813089627665,0:-984551280247401170351545671357507843
sub:5838938294141788996592039893,50902237118539094354421180186316,0:-50896398180244952565424588146423
sub:599678492538583548148447971111185,73667844355412382811962121530977,0:526010648183171165336485849580208
sub:6395778081807663524044632168813593,867149393095359006170012722,0:6395777214658270428685625998800871
sub:939460433716954373684816294933837,474277009046118167849279293527097,0:465183424670836205835537001406740
sub:7816286294597662244110191807959541,6233835682136551847146227987794,0:7810052458915525692263045579971747
sub:23281631659668473110100795038996,116520759657498664805703882673,0:23165110900010974445295091156323
sub:46391396072715161551587488065814,33356982434471244343742063785074041,0:-33310591038398529182190476297008227
sub:4585954807809352935161825310034011798,-54552397859131970401808336962,0:4585954862361750794293795711842348760
sub:2422872895287330189582522753,4480479893211606075278003418285,0:-4478057020316318745088420895532
sub:-13361745527437011657973841351,984220774495913608130872189292612,0:-984234136241441045142530163133963
sub:-52685529704743149299243245793811,124512071496978690744692284754346701,0:-124564757026683433893991528000140512
sub:143835388043216256200766869526,498925860575853395417250651462811889,0:-498925716740465352200994450695942363
sub:371250666979424888145103423650818,1951666913810216016291928636377,0:369299000065614672128811495014441
sub:14113880586323385101587281089,5086582061966123909499437086680,0:-5072468181379800524397849805591
sub:457422738047527621626918654730135,17793707850630720090008287485134930,0:-17336285112583192468381368830404795
sub:75091527004493134510290819264195424,48439881910003416229205500079317137,0:26651645094489718281085319184878287
sub:-37624201790320133398219479795320611,4305256066030674211442956228314751717,0:-4342880267820994344841175708110072328
sub:-63359729740153326293762634,354591974904021002246602880500006792,0:-354591974967380731986756206793769426
sub:9308446708313654525402624748223454,-60317991035211151378177464977415474,0:69626437743524805903580089725638928
sub:120534458842619000629729516606,567080219552763040041011655657,0:-446545760710144039411282139051
sub:-8121545527448089591108392261383421226,-250658045580063728305171566063327,0:-8121294869402509527380087089817357899
sub:196379537181644459409584027643681,1405776248624555617885389492315342,0:-1209396711442911158475805464671661
sub:249608305407374994198898962694969319,2499313962944780828355872882428,0:249605806093412049418070606822086891
sub:-86133870952625036607121720129239484192,-2210083521958904762483447549909,0:-86133868742541514648216957645791934283
sub:-5537761268890338810683747816401,88831072690533799673765398860186343,0:-88836610451802690012576082608002744
sub:7650066177648379388712028843866717642,918679522282053129239748147974121,0:7649147498126097335582789095718743521
sub:565791730633833592281012727365648,852047442684103892006895595156346311,0:-851481650953470058414614582428980663
sub:35625580968671553109914463243195234,991752088396773683576302377308181924,0:-956126507428102130466387914064986690
sub:6830152102738950636231503454962474,6109835276749854485232715520241,0:6824042267462200781746270739442233
sub:9645316618209602253070352413137908638,3394079504397347166925767086732227,0:9641922538705204905903426646051176411
sub:6906473148858285032644642660383154266,-13248476237838956330778312519,0:6906473162106761270483598991161466785
sub:663679860762267995009788953575,245501799877415862306412167957117435,0:-245501136197555100038417158168163860
sub:-44512568466689863068389777224796828752,59397617756155227553085552332805471,0:-44571966084446018295942862777129634223
sub:-9780895042010683622315363216460759418,76907130979153947097579514138695056628,0:-86688026021164630719894877355155816046
sub:7347847663681638512926883660656747,21689722568710802776572651908345,0:7326157941112927710150311008748402
sub:3783373250173630571015208086015385375,85650811474649882924710498921920,0:3783287599362155921132283375516463455
sub:56849910710166566393455502068193,938068347237485972222899422567001939804,0:-938068290387575262056333029111499871611
sub:504581213153898088538898634074784,298859276817968178012741515281,0:504282353877080120360885892559503
sub:62457537532467044548168035547098,350956278715084042186918483657291476,0:-350893821177551575142370315621744378
sub:7253075028419141077788097530219264862,50712428890680046435253055355573928021,0:-43459353862260905357464957825354663159
sub:908092436379098470271979681591988,-50980440695559153633860322916212052697,0:50981348787995532732330594895893644685
sub:199609775815884715957098583502038535,126431898613403845101203447550779,0:199483343917271312111997380054487756
sub:9582359917228621477273022611353,-7814266758202663854720672879571,0:17396626675431285331993695490924
sub:-8602898145948602715689375495162314,160918011477272833149624669760689743,0:-169520909623221435865314045255852057
sub:9948567545244824462599097821402,321969130181831095335604501478150,0:-312020562636586270873005403656748
sub:3108375720921396317913873465866,515757643860608151355730977219,0:2592618077060788166558142488647
sub:-6959118740348618652311501232880384,314902316795577348140190091299453995580,0:-314909275914317696758842402800686875964
sub:852431860747366034722063069637910,697844878845085176354494126562269534,0:-696992446984337810319772063492631624
sub:-695872067848396881315408129801830330160,515796995164989970353676000353939744,0:-696387864843561871285761805802184269904
sub:763264778536698023696216317523596944856,66658684467328574590928002628720352,0:763198119852230695121625389520968224504
sub:551406701743303600756051581664966707,-2096778986234403787979394471172513533,0:2648185687977707388735446052837480240
sub:8980464673485071567470684316357345,706157473742536317728718771566732899996,0:-706148493277862832657151300882416542651
sub:-8959013916303797315474218091253977724,17317243712015390717561716185598103919,0:-26276257628319188033035934276852081643
sub:610642046003967779716956199512502965820,-1342047130732031394498227273521440693,0:611984093134699811111454426786024406513
sub:39048465017221373894786787092323,27171758183377068947756846246554,0:11876706833844304947029940845769
sub:8851422489276175894252333429720103986615,23971945232205648973518397199417121,0:8851398517330943688603359911322904569494
sub:-84833640081477194078008827918110,4096265727659744202225819899847459,0:-4181099367741221396303828727765569
sub:2449552679550251863203300609863059096,-87978393823203322230640767374297,0:2449640657944075066525531250630433393
sub:-78001817791533007712431842020149120,-517984095203705432252174589659459457366,0:517906093385913899244462157817439308246
sub:925643199231868890271300730031810,24193296045997277400311155524231,0:901449903185871612870989574507579
sub:45809177403727955831024802122687486932,47359799236575106780358807894627994236,0:-1550621832847150949334005771940507304
sub:517605223957091165935716210936350445,862910955378659702358254436657666937,0:-345305731421568536422538225721316492
sub:72688630642528437745188023003208451686,-6514092119486018712109302075636901,0:72695144734647923763900132305284088587
sub:9017708871653095110086602388639208564217,9686163604138029584498185971117663,0:9017699185489490972057017890453237446554
sub:232079069033420026812017177630381923958,-620458583032652195500759259597623123174,0:852537652066072222312776437228005047132
sub:7890695491854299352485817202277388,703159083088728550533731201284887315751,0:-703151192393236696234378715467685038363
sub:89820101894310757911847760478077656263,83262600530464963372213698397466309520,0:6557501363845794539634062080611346743
sub:15643499204310770849595390474553,-167812233465782889797029678386637503251,0:167812249109282094107800527982027977804
sub:-5489423773440626595521848968440708,53474930188578916210505119684094887079874,0:-53474935678002689651131715205943855520582
sub:9795002336914579634933717979516686913,261017010939337312979598924346472448676,0:-251222008602422733344665206366955761763
sub:4331261142314159296760231606251204672243,95924782688351130622315102956854589,0:4331165217531470945629609291148247817654
sub:-8555084299250330981422502494290977,-783738723298387481257063528884261006006,0:783730168214088230926082106381766715029
sub:55877969868981220363181591809987047101,-582660368158295495569660057228613506663,0:638538338027276715932841649038600553764
sub:7431276323200780996119690290385564268160,352432120959308196444383869982649742380,0:7078844202241472799675306420402914525780
sub:55510991248344199097615219287024885342254,332608825632573500219548085422149375,0:55510658639518566524114999738939463192879
sub:-407443715077704811283446238871658731249,-40791246123034116937388818513050,0:-407443674286458688249329301482840218199
sub:92659603513745501543601415394970469662329,6767288283622355176053882537452755648142,0:85892315230123146367547532857517714014187
sub:47223347378419458293433033085679670112,-62754319264178123190515063783530,0:47223410132738722471556223600743453642
sub:1267788394862117094544460471276744086901,-665697188010909239862834883890257046539,0:1933485582873026334407295355167001133440
sub:295345762969445285300883528234566,676193063455453770878866399645739938,0:-675897717692484325593565516117505372
sub:5505393498870816097766218031623252626,39514445630793756368190395762767,0:5505353984425185304009849841227489859
sub:42208069897508165365927050240558926,45558978530284359271147071076409531,0:-3350908632776193905220020835850605
sub:54167453556761503889312836115010425171760,187522719313793483915703839179272166586,0:53979930837447710405397132275831153005174
sub:362669233317017065848977774618899144317100,22296129083231337516474760065879885,0:362669211020887982617640258144139078437215
sub:2070398587579928847370215004355097684669,-64067479504146184394486079741662,0:2070398651647408351516399398841177426331
sub:547456256889894902401571239347850863825110,963930110027673150476898540751636078,0:547455292959784874728420762449310112189032
sub:1331413985442244763704908202938864787301,-6928236741466387982911397285024730442,0:1338342222183711151687819600223889517743
sub:2647018820693334945869095350861961405456,68207845515177324917936202808076981,0:2646950612847819768544177414659153328475
sub:8513268833284045819607290710032375651,877742296072025989690540346672438747497853,0:-877733782803192705644720739381728715122202
sub:-362723824300008973505657052571345045426697,-3728428407208494550981026382186278817,0:-362720095871601765011106071544962859147880
sub:29679672086905939495640819132486834971886,805805496484559347056265315535987,0:29679671281100443011081472076221519435899
sub:85912095665544820943415113062566570378,-2312537069323562328248319672615297,0:85914408202614144505743361382239185675
sub:-92634213643016881068533819685947190995,874723874226479957426284530510689780,0:-93508937517243361025960104216457880775
sub:339348983157405555268049494721010874912,538915927881095996244878294700090,0:339348444241477674172053249842716174822
sub:-786507623206485460799545427617928648802,-66497629708368438568316964408808815,0:-786441125576777092360977110653519839987
sub:7838773867614617728873367710439469,-20970941234515400392700499346730050,0:28809715102130018121573867057169519
sub:-14549979612356881205802146600958641293,-4331851795749574278449787125765833575320873,0:4331837245769961921568581323619232616679580
sub:916100575956975239103806648291021240434945,-6239107263122317258754465996318083039813,0:922339683220097556362561114287339323474758
sub:92055367791915247552778134001204029114,6493201508072505271272645779402011239988532,0:-6493109452704713356025093001268010035959418
sub:-6983015937156891828369789959503372656192768,774335279468118483882198373037947794429,0:-6983790272436359946853672157876410603987197
sub:3000995395281402114598820789701617484765714,21554713637509345916067753026101593,0:3000995373726688477089474873633864458664121
sub:210513959404424485767273638342023036080,7040631017221420564743196284036319107483,0:-6830117057816996078975922645694296071403
sub:927299366270769201971090702434342061,292331300721224857352792240371766440,0:634968065549544344618298462062575621
sub:4878072375408814508188936210997478,1660478705544816285463647361127486,0:3217593669863998222725288849869992
sub:549522597810758995529412992430729353622069,28161367971601239141551130639124424718,0:549494436442787394290271441300090229197351
sub:-3158360246238245818023338839988456941,266461438371462069740221467823944724791696,0:-266464596731708307986039491162784713248637
sub:9007280594321441251173718122758301273400191,5723070952876244917629403533894720814995808,0:3284209641445196333544314588863580458404383
sub:7884430922306064951790326519656428,-265155882238652982403545634743490030,0:273040313160959047355335961263146458
sub:4597158820829446940984073371303248589349336,4591368594874737502008341975525406,0:4597158816238078346109335869294906613823930
sub:187371543407659146021544517634809651432,2502692698036481709764505060551779924246,0:-2315321154628822563742960542916970272814
sub:-46135001830288779024726983515547650361,28041526428243568730358118145100364532,0:-74176528258532347755085101660648014893
sub:-9572831631676924773779207132507340476745,6190297632466241073074006835641016273635051,0:-6199870464097917997847786042773523614111796
sub:47274442119812358441831910654123850,99197173529181174900799490801927162,0:-51922731409368816458967580147803312
sub:4006521386515878530482447147782028809,9872623466258041127006795769315012678883,0:-9868616944871525248476313322167230650074
sub:82360906569911962379105787490864998240463,3515099274891762492395251937584744489436,0:78845807295020199886710535553280253751027
sub:343670280360898716041692324762031485,912832148190967667750082998631524743067,0:-912488477910606769034041306306762711582
sub:-253140613356453965474749134907880537,-170796125539274882635608256319127725001467,0:170795872398661526181642781569992817120930
sub:36063566343365723001908493555712611383171,32734135808710310540138548400630432992351,0:3329430534655412461769945155082178390820
sub:8562448362864558581436509546230412228013,97253910164731217335889068286633868249,0:8465194452699827364100620477943778359764
sub:458404043113501189736392131389765493,90992739814093306447341282135584737049,0:-90534335770979805257604890004194971556
sub:93153136351650823472294576193567969076519204,-173058937221894304147436488969103021,0:93153136524709760694188880341004458045622225
sub:6881134628891939703289843575851421899205356,411386417698245110176551995497774432463572,0:6469748211193694593113291580353647466741784
sub:4806770024356558662054629453935871253631,-54599892445310777761980324364755187,0:4806824624249003972832391434260236008818
sub:-659266383152476584352966529996782786154127,435809612191536018491951858809486469615871,0:-1095075995344012602844918388806269255769998
sub:6935351506572536921188795798274428881775,-576575580669724321453218122448616063259,0:7511927087242261242642013920723044945034
sub:858138516046706031509684781296126036025,8270111802191391308669991938939548604849,0:-7411973286144685277160307157643422568824
sub:817937608310793751229857205081702066047,67716404516400692803055765045097508053,0:750221203794393058426801440036604557994
sub:21505104291973748253849551840337359946735,724706181460445217421835535592570632258046,0:-703201077168471469167985983752233272311311
sub:708273146228220275650926105350112291281906759,23865262954820244462104344820227603348946351,0:684407883273400031188821760529884687932960408
sub:6099153001249914941269621426404674818058,2938683952037817006492484814984313285,0:6096214317297877124263128941589690504773
sub:-31923841914332687245342017699243753384096,-5606132365222969440586408949174817104241599,0:5574208523308636753341066931475573350857503
sub:72727007176742518045851035107319602707253724,6024790453998465390250582473731871348,0:72727001151952064047385644856737128975382376
sub:83215407925470185284051090474309060496,291921577188866523931442328192670035753786,0:-291838361780941053746158277102195726693290
sub:9122506511038509689834545171005820589612113,719752849629179435477077881697561682399792,0:8402753661409330254357467289308258907212321
sub:-706538117813388518478786341886424717471940980,753933770122593367025588615709647464797283389,0:-1460471887935981885504374957596072182269224369
sub:-521928555277746411910375390507381642863,6565723095409618237803362642454225982248113,0:-6566245023964895984215273017844733363890976
sub:24450643550397676433664068681105834123,-3553012684598341625460876864934571794587360,0:3553037135241892023137310529003252900421483
sub:4697123465198881265199203985357713516731,2536656939218887194502000678986317871877842,0:-2531959815753688313236801475000960158361111
sub:-434930612814998054601249422118251831669239,-9901632499831703140917838027000240996177,0:-425028980315166351460331584091251590673062
sub:-24385109664317253785149664202310847974785,96607275813663749523021171230142234086194,0:-120992385477981003308170835432453082060979
sub:175998623183130570261164123649545173,5736821048759940607107406386900421138480116,0:-5736820872761317423976836125736297488934943
sub:29899463144003206689099598069297927023037663,99983896248939908245937246988587266778965056,0:-70084433104936701556837648919289339755927393
sub:-2847961215729667396008072338427848628952207702,-18041421325649266529475871020854283985158140,0:-2829919794404018129478596467406994344967049562
sub:860655541398867584200967070629696235008,78536431962263231465180358761552384639106,0:-77675776420864363880979391690922688404098
sub:635054687904331166120357977754969371811679971,-686756348638066683308736393560844813903,0:635055374660679804187041286491362932656493874
sub:66115475514119620126879119225040664892295317,-87563343403151221453653304787865218792612594,0:153678818917270841580532424012905883684907911
sub:-95550181030075465859987797705444435041845,-13665284586416167283376541733856225706235,0:-81884896443659298576611255971588209335610
sub:92616049236912210791574668731523882357,-50096816156035511846343817545380962370926891,0:50096908772084748758554609120049693894809248
sub:752708246188412062918458739359406381571670,-91802938193508678084864563021449730861494286,0:92555646439697090147783021760809137243065956
sub:4243612523329014748898840962380294468164,-7391899758560053704137252356014460148281541618,0:7391904002172577033152001254855422528576009782
sub:7067486379132347032443631353172208490907237,6868653310067531021850169369487996413345,0:7060617725822279501421781183802720494493892
sub:652556473645101039426795633187084650620590359,66152612457983000774979517275135281517333,0:652490321032643056426020653669809515339073026
sub:-35248969314647098087083472237063687482719167,25849045865960518844267357563296662714932,0:-35274818360513058605927739594626984145434099
sub:154806501204449775250550809865383692315599,220408143673773957176222952814246726548300733,0:-220253337172569507400972402004381342855985134
sub:426192001635333106574725027301522624829,54396270337654281439857103497213765055827390,0:-54395844145652646106750528772186463533202561
sub:2229896635643148464416291192052339376,44520846864866048574834661782670612999637,0:-44518616968230405426370245491478560660261
sub:3511182372941029827917330703726647738515,103149425998143931124350359115352011,0:3511079223515031683986206353367532386504
sub:525626542557810263995696385369141917216429,28217794014403546465377535948401259179623,0:497408748543406717530318849420740658036806
sub:246690678230593477546220249711651118557673599,7508868156388634892422733339741334130597495770,0:-7262177478158041414876513090029683012039822171
sub:-52449842456878273278887468997485654278006880781,-8622224358149020156382756933011263673304901,0:-52441220232520124258731086240552643014333575880
sub:43917648018810264827549426849617327620,237558137782296171751042504067082682085,0:-193640489763485906923493077217465354465
sub:436885913378194523559098742354033959419293521,-4530060472748984412434685566970122986799899668,0:4966946386127178935993784309324156946219193189
sub:934641428600528147928021193868692944237063,766500089354618869804173156494044479533434,0:168141339245909278123848037374648464703629
sub:-9768794865885075606938340182122123503498,43399753693320722515476020420307206331,0:-9812194619578396329453816202542430709829
sub:4363510431895873679990777251153049456887914686,-513680867120410140612246382388345195337,0:4363510945576740800400917863399431845233110023
sub:813902461333355602341973794050956320693244,45925401255610697190710944025791579854,0:813856535932099991644783083106930529113390
sub:469188297775571118958824594174696108861,49387169240595114881040011727698749675,0:419801128534976004077784582446997359186
sub:2617097578471262472460098378161373440917,626830512279231586849866185531317270325856135,0:-626827895181653115587393725432939108952415218
sub:5151556733598102144567084692707520491967675549,925683351507641765110930982020390027551182330,0:4225873382090460379456153710687130464416493219
sub:7961214185889032744958189528184087887568,15082937694452952801156707282245848781046520,0:-15074976480267063768411749092717664693158952
sub:103879675257649176952122144944531240879704,-22423657059836578389654041651233303849189846,0:22527536735094227566606163796177835090069550
sub:-377277225308671992459589258065441211400861174609,785048601099920118475775642499967466881441513003,0:-1162325826408592110935364900565408678282302687612
sub:2735744675788022453896759288099853051599961,8561848816916220633924173923975969846159936,0:-5826104141128198180027414635876116794559975
sub:-8108322047295156406910661075095138292543118,765970407325610304094444482334627162219563792,0:-774078729372905460501355143409722300512106910
sub:62171119480646146147373364600786632314820,68234069541303335859784698762591456286309,0:-6062950060657189712411334161804823971489
sub:522026031606431401123213997569507489607798170076,-717305442128471697055893486214586513387,0:522026032323736843251685694625400975822384683463
sub:7106849336102271174193475715677967626534,9912977315535152329193899289756117840576705086,0:-9912970208685816226922725096280402162609078552
sub:5058631248804275381537183819839410866070,50068425216904104076548398574368463679233329,0:-50063366585655299801166861390548624268367259
sub:377384922290900684378766697765696266656684929965,3450714239029691596858831084813277683453331017,0:373934208051870992781907866680882988973231598948
sub:4127043375130626839550947340494729073973521,-93626779328435839646986009707952408489178855259,0:93630906371810970273825560655292903218252828780
sub:8332162922657358325764463012629457809751,18980828259225905732804403805861953606268378,0:-18972496096303248374478639342849324148458627
sub:6824265591340935169578122399500191463946638,540683715600472521291029118849898014133054,0:6283581875740462648287093280650293449813584
sub:938521197483583303249511621812565283382055,44983796709641426782128325690649049185212710901,0:-44982858188443943198825076179027236619929328846
sub:6735919466177663580236501266144291220013606,545280109966768999298146733178996573556068,0:6190639356210894580938354532965294646457538
sub:141557686844798866713592847624357600454939,63012778579350927253738282115561965895300222,0:-62871220892506128387024689267937608294845283
sub:2911872274073904179049270098803758998758604373,5178258239494241937818225445947335874009677,0:2906694015834409937111451873357811662884594696
sub:1408871869925689627762516558570503883504,142730298505138588027696948531422563739,0:1266141571420551039734819610039081319765
sub:8517606735957047009697093887557000606415498004,67761524001779430467799539453579156328203130,0:8449845211955267579229294348103421450087294874
sub:4191752928232629208839556407817672130663759960,31120143251696350351062838658625186585417641244,0:-26928390323463721142223282250807514454753881284
sub:1773460231905714486091498164221417916299907001,-13984788525502795401300137979455088110924764646,0:15758248757408509887391636143676506027224671647
sub:25958221336257013267259455572234542250872387609,369753082501759921518867762124056653598276202875,0:-343794861165502908251608306551822111347403815266
sub:2747326205290884717571093710516354517279131,-200370678858880488915468681389496795418066109,0:203118005064171373633039775100013149935345240
sub:40540925013283891720123827423744878263336,16816649411016376863928894144184888209331,0:23724275602267514856194933279559990054005
sub:956824713963595631181304277992935834382643,3722011506884112771542173984351354075026431,0:-2765186792920517140360869706358418240643788
sub:33786382660255444220666312795011817615453429904,735670904381689507641600295585249267679379526941,0:-701884521721434063420933982790237450063926097037
sub:2877930508524945640926303283416511321376944980965,-43009247946073345794766337066700378436417844073,0:2920939756471018986721069620483211699813362825038
sub:850600786011638919961278503128401557972292751560,899851210392294397522137472190488479511758393106,0:-49250424380655477560858969062086921539465641546
sub:2462694975979744365735428888726732845981,9408686710098328540592679577780711010523157567,0:-9408684247403352560848313842351822283790311586
sub:-2041867610696880800533651474257712171578353,-2951979315678021415040184889765351233307860,0:910111704981140614506533415507639061729507
sub:-129073103525919620980862298218649200450487,-4680531750102980987058307458952588397482469573,0:4680402676999455067437326596654369748282019086
sub:560697897202574381605152953497173580884569831607,-4417286348361216883592573456612155389663357,0:560702314488922742822036546070630193039959494964
sub:17697094196983519858381804010054585256525242,1131229531263856806842311520174862769452765002,0:-1113532437066873286983929716164808184196239760
sub:804944662083760414801916105180787524533460301166,561420687759659377688505547923187467868090247,0:804383241396000755424227599632864337065592210919
sub:-1028404789696953408936491711523277627418563936203,-464819589190508369472777448816708894892918349,0:-1027939970107762900567018934074460918523671017854
sub:3239904738301933363048789064790365041923795,-9362725662858815747997680077547152674652685944821,0:9362728902763554049931043126336217465017727868616
sub:761535872788271240805547447218654406655,107117430857728547131949784152272910306695,0:-106355894984940275891144236705054255900040
sub:-706599751963833313886288562747297926395913585,8278362817238299934703728858793740479430872564850,0:-8279069416990263768017615147356487777357268478435
sub:463035181445197130733843489204182896424351860,455471771631505836436066499095031596509414,0:462579709673565624897407422705087864827842446
sub:2824978869446515961236880620253514087311655553702,84452147844444783212562643686865477267414258,0:2824894417298671516453668057609827221834388139444
sub:95172190180193659817200533401819150201616611288,4253516641549024667802049662408505566309488148712,0:-4158344451368831007984849129006686416107871537424
sub:-413667190552706011487044934212907016404257969614,33510901758543302257900826215150539862667792900853,0:-33924568949096008269387871149363446879072050870467
sub:1802858236899130718560292083677283004676939126204,-9591029147984982245013613101603852129053721197,0:1812449266047115700805305696778886856805992847401
sub:5057939642669588382714715374719737582363077336,6279587642602985268062149755325894048022192320,0:-1221647999933396885347434380606156465659114984
sub:20062487148514066658598386877620234236424,92694212932494347668352880363113439277308854,0:-92674150445345833601694281976235819043072430
sub:334984437475294142374221031664489193167379,-6135445036242663334683894840540269979231933,0:6470429473717957477058115872204759172399312
sub:78029827510297184965229487811790757939762626812,-32404291595021766293653499499799280338229,0:78029859914588779986995781465290257739042965041
sub:713392855478976816484264895166180199146764030460313,681291155333056129472241044283899139868686991,0:713392174187821483428135422925135915247624161773322
sub:-80133415624337150636387109270312659175361915999,51418478774844443709286576402320460325196,0:-80133467042815925480830818556889061495822241195
sub:880115711847568080735088547347709199159560057170765,93939048978536600599293035541531212947874110,0:880115617908519102198487948054673657628347109296655
sub:6923910812034533596353419663722878592724935671,484167528133286735810248062291120475761574,0:6923426644506400309617609415660587472249174097
sub:67181341858171188344681106006257889001113561091,-275892233786910833508198970431602677775347,0:67181617750404975255514614205228320603791336438
sub:36921718877954581697392970162605715186348102300,94932105400913864317595606773063738421165759973115,0:-94895183682035909735898213802901132705979411870815
sub:10176087189864101236325835126503742119508524,578515167611780503112210135879212793628134689743,0:-578504991524590639010973810044086289886015181219
sub:771806623592639026200339778481682177781432660780,67004362616728326045114859791690823708021066956420,0:-66232555993135687018914520013209141530239634295640
sub:-203402851288321919373536431407297524778554,6479472994213736597322939815331596128853683,0:-6682875845502058516696476246738893653632237
sub:1472434831082398237848463668763914130244321191790,749284377551792267939683738695982222675701748529,0:723150453530605969908779930067931907568619443261
sub:21819548957613983312659642613368102599157263541546,-43027293878272366259573611249912277474953128041,0:21862576251492255678919216224618014876632216669587
sub:79183581106215686052084319942513882987033006034916,395676242411723933204666672941564134969621059,0:79183185429973274328151115275840941422898036413857
sub:8848994582532139477750176043869310148875814,308406836916867466802062976742038687492470522689,0:-308397987922284934662585226565994818182321646875
sub:7723560617201337569325102213658726205516718762753,10703682032080071751681616104703726510312121990,0:7712856935169257497573420597554022479006406640763
sub:57399920075594463974650254762286091360205308040447,7737623533444627764626187063734986201237515268274,0:49662296542149836210024067698551105158967792772173
sub:9235227695889244745982433565536373274090597220112,107148050059803991302004419466765330676586504,0:9235120547839184941991131561116906508759920633608
sub:-4983756542035372848701023851198318990123574220609,-6542643049007414884687990348404270219346342352782197,0:6537659292465379511839289324553071900356218778561588
sub:567419840932221417516346055492012551836180868531246,33746605794257306032350927932072975156967743676747,0:533673235137964111483995127559939576679213124854499
sub:587649861585950611495201008010198217521972105575,887181300999163339932116937542961612984777530930,0:-299531439413212728436915929532763395462805425355
sub:7453222478591891189413329402038211767394218016685,2017672006030135323721939597399603743488046383,0:7451204806585861054089607462440812163650729970302
sub:2861829900660252465253636986401989994945337,773601832041130668133623108987574604308317806,0:-770740002140470415668369472001172614313372469
sub:1854813068723965360605974071849448846065646688997753,-1779594647650002771086955563648126785119135484216483,0:3634407716373968131692929635497575631184782173214236
sub:92477926938178288909943789222630295714892817851483,-9993806749512159715432826828952487671606121447735045,0:10086284676450338004342770618175117967321014265586528
sub:180006337772988467709872310927140175108921733,2381572659355146492539589222943064206470713510957947,0:-2381572479348808719551121513070753279330538402036214
sub:-8062115630203258999893376666703748484646367,-242384162973621030696116727652753612307623848798,0:242376100857990827437116834276086908559139202431
sub:-9512092783939545330832128518113211511839319679,51817273821892700393156339701080192019872355095563,0:-51826785914676639938487171829598305231384194415242
sub:95014753687636191420633875239958137975948173417195,-3085034910995602744319197683314962939217430996273791,0:3180049664683238935739831558554921077193379169690986
sub:-851020909203213144832385221818295668814907441557232,920708095345140363620526592235073155935947208,0:-851021829911308489972748842344887903888063377504440
sub:57322816917914786923271397439113286785049794499,375876690150945835847772932354648419953665427305,0:-318553873233031048924501534915535133168615632806
sub:31393149038789273525817858949583645513566324353,414359836823939404881738593288787821854173,0:31392734678952449586412977210990356725744470180
sub:77504028676487775641669635436308236988049655601524,181344091581225499628551847769549638986540093069,0:77322684584906550142041083588538687349063115508455
sub:98633986434584756460936637580630245052082529240,4571853594019360336499761737542755082748090242,0:94062132840565396124436875843087489969334438998
sub:72702371263558464947877213929280953160835791,336826520924373293318758608698133996765552613,0:-264124149660814828370881394768853043604716822
sub:790131994620824397445459877738169154533174191,3152340776901124584130874954251376174718487427033,0:-3151550644906503759733429494373638005563954252842
sub:-9550173574955362798449947158209546914492142849353,-54424792605728662879926674617913575370555620507,0:-9495748782349634135570020483591633339121587228846
sub:94354150013483998466350999623761463016719477838,6188045953454972757543729666811730031705853499240,0:-6093691803441488759077378667187968568689134021402
sub:3939113274773256610453330771473753217221500577791591,-8856764963107169782992507920019475780655171681871327,0:12795878237880426393445838691493228997876672259662918
sub:2660941406633181818791417317975166457527878033652214,7055550945359964654212545682444924769432938191323615,0:-4394609538726782835421128364469758311905060157671401
sub:6672381018209518975788815573873682181604983076,69748594953382081761188754597777837110112667,0:6602632423256136894027626819275904344494870409
sub:-22928680073391300326697730831966862930951563902710,-36030604459777331413643572771813761886932316,0:-22928644042786840549366317188394091117189676970394
sub:906731248248897060644189710812453469279110754543,-41959270679040328466239441893560854573456943089818,0:42866001927289225526883631604373308042736053844361
sub:-70638227944710922429439115847001418432478750483,760914797512164822868407393497280368562831931857,0:-831553025456875745297846509344281786995310682340
sub:-216358205244444335173319801401182209472584639,998326193886993948549118716632444642265383767831852,0:-998326410245199192993453889952246043447593240416491
sub:9580122909801568750668900466947122420236232215529435,-62027973553309464740272784879673114659231909,0:9580122971829542303978365207219907299909346874761344
sub:622693558963818873312878405559947227488964435,3981112093580815021150239981188100077575880890208,0:-3980489400021851202276927102782540130348391925773
sub:866815675276233673264562843306494664048668452463644611,71519824955354947547025359232296671791960617075,0:866815603756408717909615296281135431751996660503027536
sub:-6687913766044745929873407959705938856856788714,-128082208096293248054363272445011912033353379,0:-6559831557948452681819044687260926944823435335
sub:6533704846133682195298434566037164357331105933,-9099620103006618056421372601941016491284861199065,0:9106153807852751738616671036507053655642192304998
sub:4119542544028390490425044803879052308401738542548112,-20834003332412447609236300940967058715737799257,0:4119563378031722902872654040179993275460454280347369
sub:-13158459479990345059531702133456996581106330236513,888807402238789998415182036488079992896567250394,0:-14047266882229135057946884169945076574002897486907
sub:986374598296880992789870555481914795958300865,36115966024290721654021137035289387632631652243,0:-35129591425993840661231266479807472836673351378
sub:60328360173152774817583105641423657510833102534,806537457680548774367999519005704564118620169512120612,0:-806537397352188601215224701422598922694962658679018078
sub:8497710798125734752308241652761644166763994003249,2232134954790237265184644308782501409978670104200558,0:-2223637243992111530432336067129739765811906110197309
sub:-66833280768590802448180039862748595225905660580,8736830538198277449921336865075351529251534384,0:-75570111306789079898101376727823946755157194964
sub:912827735433629466385516382081400733023462641070447,4902935580754276432455992085105349174803805305833,0:907924799852875189953060389996295383848658835764614
sub:5478598360832354100644271821080131609231404518792,-47055673068764638632714990426082071032104852775171,0:52534271429596992733359262247162202641336257293963
sub:7690586776927788135745843200669172025110973236,384324896599663253158847925223211417882480709853337445,0:-384324888909076476231059789477368217213308684742364209
sub:983884777941532996194149884936915312060876070737,518287984800732830855502265279223067978197266689047,0:-517304100022791297859308115394286152666136390618310
sub:-954694380473047886020997568695000343640652324258341,14189460325400480062958182003318094361774366261792942,0:-15144154705873527948979179572013094705415018586051283
sub:61441847820605789319902797573300129174741870859,-56353161438453661015964270802670942459168904316247488,0:56353222880301481621753590705468515759298079058118347
sub:840900363013208299376170217559531949250066389223,-518733806293446093467395721640110032406740773472,0:1359634169306654392843565939199641981656807162695
sub:2801043712260244666215482898915857882171271259,30068822738933846329923273175088581474609748837369043,0:-30068819937890134069678606959605682558751866666097784
sub:39332562720628190237986833106169417514936299004,3977882056567658721057988043991788532782214317,0:35354680664060531516928845062177628982154084687
sub:4875943313527670330837641575224800871607771346650,3006293236431797162023390328257380215745687023197,0:1869650077095873168814251246967420655862084323453
sub:1046076579612442168236157596521887526129291572,56509310551736435818443805857748077305452153240874241,0:-56509309505659856206001637621590480783564627111582669
sub:68801970722430443700036017990845232711747541145506,3921528808796839431326261733514349542141553429,0:68798049193621646860604691729111718362205399592077
sub:7996124256938877464175310613395477260421185912077919187,43920453269964575011284701085185099530091428989544,0:7996080336485607499600299328694392075321655820648929643
sub:437847871205482940383237227334352005149025155566700,8912640649325787853768245140880891930970131371688993,0:-8474792778120304913385007913546539925821106216122293
sub:-189562142066164910097303467426752455631983999971824429,-3126396058243394757216280555044878821697145366839147,0:-186435746007921515340087186871707576810286854604985282
sub:3738151126960474749651813623570168405472279315305,16849954488569956342093577361010810357803346759,0:3721301172471904793309720046209157595114475968546
sub:326436788465045244627154191800265908625864556666530,8436920985951650690723103995113757167828613977782053802,0:-8436594549163185645478476840921956901919988113225387272
sub:73862903715165018158730950116899815638213415384,3605176405676828750083989599730691253025429971416,0:-3531313501961663731925258649613791437387216556032
sub:-98508500558610553174664717035831451337440647751,-85349349113075502208578338510421486004026291637018909,0:85349250604574943598025163845704450172574954196371158
sub:-3958479771038348317047929281014493361412362156,74460379620572355406333334733218930851102604423,0:-78418859391610703723381264014233424212514966579
sub:-2678832891454610091209266352796918435982227896,844180754012069973260601080737112141842619632733391282,0:-844180756690902864715211171946378494639538068715619178
sub:62145977984087344899814827854294051292745009920192834974,7334739588662979743633482328597512684449095879737,0:62145970649347756236835084220811722695232325471096955237
sub:829628512088735025241917875963770566118880397874,2778273578473650916716745944557448674527619910366636167,0:-2778272748845138827981720702639572710757053791486238293
sub:5475358208178590127449325322332321821544579907242021829,5101549647265375935536396006666544834314249747938912445,0:373808560913214191912929315665776987230330159303109384
sub:-327933746445993810109526304208281604193537699541388,-17513330151263794083025328269239503268164355683299,0:-310420416294730016026500975939042100925373343858089
sub:-97299271106272768099051589856225693996221199008328,-683640181471185906440394924792222282513250833654408,0:586340910364913138341343334935996588517029634646080
sub:81950415706753285772469335186046579994901810195099988,-695576496751235568817818414861599429774724685935,0:81951111283250037008038153004461441594331584919785923
sub:11733022337838616680086438101577803026869925229236251633,4209981603742836477443590186310139108935024708250714,0:11728812356234873843608994511391492887760990204528000919
sub:2993252088056118669505330045592351552378298855615136540,12751727236236955721686048352301817814151141431,0:2993252075304391433268374323906303200076481041463995109
sub:39376759077330221210471049201931709948853198615,-9493608874721279041170835115951049053361083855467392,0:9493648251480356371392045587000250985071032708666007
sub:-5280130155085387575883303159292113846385931782810769147,-1019810672320943407741389860781837676645351883469636964,0:-4260319482764444168141913298510276169740579899341132183
sub:8457922806422768126334853404146638292374687915778812,995127687303275765352581834049367391219012453856914,0:7462795119119492360982271570097270901155675461921898
sub:34992662458077134231839550916665303135384048742,-8152964279502937641561776276851678598174407814,0:43145626737580071873401327193516981733558456556
sub:8237492058118191763481523977841344753346311488313,1647118892275027900093320780430922273315158677508003654,0:-1647110654782969781901557298906944431970405331196515341
sub:-440042339580320057764506833117106015591230779324161,513962930617733479729549861446740257284856596728706,0:-954005270198053537494056694563846272876087376052867
sub:34635151931992497392391616758693644900635250427499823,287128980133325949899403223688828310849990578079457307,0:-252493828201333452507011606930134665949355327651957484
sub:48138028043471938379654489799905392276347294678190375860,8955461479465751553200394404645878189278984773776867,0:48129072581992472628101289405500746398158015693416598993
sub:7624317887859192567599023956675797189693348039462742,-973928186389609942202650295012119719585450666839535260,0:981552504277469134770249318968795516775144014878998002
sub:775402642132715473344595954662582545794117369927872,63796684229986115177275440213147384846517231365197485,0:-63021281587853399703930844258484802300723113995269613
sub:37362432357418646911115330814724472853415155235293,87036796847105652716376950065916449694424391617602112013,0:-87036759484673295297730038950585634969951538202446876720
sub:-300945445086734604702237356948834421909997080585835251,86543393214880176913230280671573673375238923042066,0:-301031988479949484879150587229505995583372319508877317
sub:-654047435982290398129267970179757606710004276417490112,86422930881746427524648992269920847889306495489,0:-654047522405221279875695494828749876630852165723985601
sub:794552108714326403336258405676646043844624401498072689,544976653015779028031808690831373018858631899320,0:794551563737673387557230373867955212471605542866173369
sub:-195959798494693192093817249845807727728979751653,18593677965094459754532848130637776457537309190937253673,0:-18593678161054258249226040224455026303345036919917005326
sub:57601304615929231199752161276702979414912411756145,21951958716061857914468826747760163180070915240014675524,0:-21951901114757241985237626995598886477091500327602919379
sub:311215074108149476976205428525338649682414980832,6243249733271681693520367645680387625166806885842687456,0:-6243249422056607585370890669474959099828157203427706624
sub:-60089258178336658544420554675373945148810656687928409220,-940949437845306471952666460412774999437620754784474,0:-60088317228898813237948602008913532373811219067173624746
sub:3844895658482592533059556269556968661475827694950384997,527322363491124024058755005552497077118499938802,0:3844895131160229041935532210801963108978750576450446195
sub:-6028944995177498518136854918757906591099625985414,15888968609159402431030920451645796896759203224067431,0:-15894997554154579929549057306564554803350302850052845
sub:996013497441974701923950607149438472739078933691,112407411020615162605964831561295393767448218127,0:883606086421359539317985775588143078971630715564
sub:7719318511816366427665580178076378029426275595533,163667549683108101581704958685911902179912256741218,0:-155948231171291735154039378507835524150485981145685
sub:123382564431290774896664572552493052435404643704458759934,12531798191484951858836698658135874099473672299388553,0:123370032633099289944805735853834916561305170032159371381
sub:942048756549299165967164928739420673047263758767141,3639275805983487223033248868875293658626128636190227,0:-2697227049434188057066083940135872985578864877423086
sub:240418823794626925772533604032962688702579243574687,4907674204394917198714890794857507854118108024516422187,0:-4907433785571122571789118261253474891429405445272847500
sub:3950213238876863129818663666502819327768719939127457701,29991402193339371342321385670768500228753395231039352972,0:-26041188954462508212502722004265680900984675291911895271
sub:1920667868219534801099538208015399489683153418341349572065,-233412004414149707586851107620826952570732551540827551954,0:2154079872633684508686389315636226442253885969882177124019
sub:7784321585128756839986661147453831080387260908002873,586237266875238457979621090825032494806800315405801,0:7198084318253518382007040056628798585580460592597072
sub:-34225848774985487393407814198681047162140030645991253741,-789489361585689258214473176784928536166156096643657,0:-34225059285623901704149599725504262233603864489894610084
sub:-944338971240124849797024756328867740674305651345965,649970029057878269623349411694378680589331156335769959,0:-650914368029118394473146436450707548330005461987115924
sub:25816073494421415375915233416338690441492640884943818729,764159631162282034769988362928740167840568754650018844,0:25051913863259133341145245053409950273652072130293799885
sub:7111381553325219432932289055091214481651627513743376,7385563406175559235314072692841151936136627185182905,0:-274181852850339802381783637749937454484999671439529
sub:-438137611853268269308435226684643695607887735487389,5824616025576441892684517623276732904299681537303913,0:-6262753637429710161992952849961376599907569272791302
sub:-9680790659167697968786181797074343179561171865505840566,-932899327759500157755319258322165056527752927868968726,0:-8747891331408197811030862538752178123033418937636871840
sub:567793364811051880825781313748966696400236576537363041402,-976578291468928773578542746545826341079985184892523837,0:568769943102520809599359856495512522741316561722255565239
sub:38007779187090670273244552314378701844162920433585869254,7187767815567041059760334263355184283280579165883650238,0:30820011371523629213484218051023517560882341267702219016
sub:9014053603553462724377168305482782158101121369010869473906,755601637469656651454003843855153366578358802242924461,0:9013298001915993067725714301638927004734543010208626549445

# Small integer subtraction tests

subv:3358604991,36411,0:3358568580
subv:674222429,18986,0:674203443
subv:-3,-29805,=1:29802
subv:3,-61063,=1:61066
subv:2717723,-25258,=1:2742981
subv:394,-40508,=2:40902
subv:4744781967,21435,0:4744760532
subv:-14,50287,0:-50301
subv:2197,3582,=2:-1385
subv:-5296,38162,=2:-43458
subv:-258774,57544,=2:-316318
subv:7417476246,-58958,=2:7417535204
subv:6714936,-40949,0:6755885
subv:15862,-58672,0:74534
subv:958081,21046,0:937035
subv:82515,-11287,0:93802
subv:72715,-25449,0:98164
subv:-8346662975566,52150,0:-8346663027716
subv:96216,-33648,=2:129864
subv:71597071124556,40786,0:71597071083770
subv:2795133710510,-24996,=1:2795133735506
subv:8501300888546,1685,0:8501300886861
subv:3877092429,45143,0:3877047286
subv:-9123902,27698,0:-9151600
subv:-71914098152,-49684,0:-71914048468
subv:-5633175963555389,-13681,0:-5633175963541708
subv:-68774492,24946,0:-68799438
subv:2837978518,2447,=1:2837976071
subv:9527903026793981,34045,=2:9527903026759936
subv:-719766995836501,-14683,=1:-719766995821818
subv:6826892934542,-9599,0:6826892944141
subv:474765520,-36545,=2:474802065
subv:137980222,12896,0:137967326
subv:4124108674,61743,0:4124046931
subv:-4977334202151,16161,0:-4977334218312
subv:-6764356933,33130,=1:-6764390063
subv:6639990082377605303,63220,0:6639990082377542083
subv:68384248282,-28652,0:68384276934
subv:-64782488650,-31866,=2:-64782456784
subv:84126983615,63328,0:84126920287
subv:280281352217,19756,=1:280281332461
subv:-337730569530652702,55596,0:-337730569530708298
subv:750462053456012,-18056,=1:750462053474068
subv:-859984251764611,60341,0:-859984251824952
subv:781147832162694072159,10186,0:781147832162694061973
subv:414707731902540,13874,0:414707731888666
subv:4749293013793395,-27594,0:4749293013820989
subv:-476780935041195291,-51859,0:-476780935041143432
subv:-3619074244886709,38416,=1:-3619074244925125
subv:97855199057493,40752,0:97855199016741
subv:777675086535345464853,9892,=2:777675086535345454961
subv:3103441257588144,4992,0:3103441257583152
subv:136564148041720,53068,=2:136564147988652
subv:-4664978338218772692212,46644,0:-4664978338218772738856
subv:235299291342838779459,27155,=1:235299291342838752304
subv:45286262426870,28782,0:45286262398088
subv:422289955984703063,27236,=2:422289955984675827
subv:-6379926829937406097,-63773,0:-6379926829937342324
subv:830836702855178852980658,-61406,=1:830836702855178853042064
subv:4000074483936047411,59077,=2:4000074483935988334
subv:1622930723651719839167208,63514,0:1622930723651719839103694
subv:532951482400205192926144,57956,0:532951482400205192868188
subv:148980429628794512840,63138,=2:148980429628794449702
subv:-9890648040727702186064,-46766,=1:-9890648040727702139298
subv:-10934480308082214085686,63224,=2:-10934480308082214148910
subv:355809482274653919711872,32446,0:355809482274653919679426
subv:-33926193961684655624,11389,=2:-33926193961684667013
subv:-7186493575578045620,15528,=1:-7186493575578061148
subv:34706765155128499193360248,83,=1:34706765155128499193360165
subv:4328479538590740673745630,14623,0:4328479538590740673731007
subv:-963713498430054741223932789,30239,0:-963713498430054741223963028
subv:-831264221344401371,39516,0:-831264221344440887
subv:318721481318817753735405,52833,0:318721481318817753682572
subv:-62693787119478234447,27553,=1:-62693787119478262000
subv:-7016655669525046977522194886,32638,=2:-7016655669525046977522227524
subv:608134301020199755515,29066,0:608134301020199726449