path: root/polly/lib/External/isl/imath/tests/add.t

# Addition tests

add:0,0,0:0
add:0,0,=1:0
add:1,=1,=1:2
add:1,-1,0:0
add:-1,1,0:0
add:-1,1,=1:0

add:103427990038,909510006269847,0:909613434259885
add:128593002,-9007199254740992,0:-9007199126147990
add:-65537,70000,0:4463
add:-1000000,-6543210,0:-7543210
add:#x29C932F25E6CEF8046FA,#x-29C932F25E6CEF8046FA,0:0
add:2,#x7FFFFFFFF,0:#x800000001
add:95031018,=1,=1:190062036
add:#x-176E7F8018D6BA4B550AB36AAAFDC78A9,#x186DAD2485A41B18AAF5EF17922D7E5F1F,=1:#x16F6C52C8416AF73F5A543E0E77DA1E676
add:-628443782411312,-301652218193016,=2:-930096000604328
add:13731535,499104,0:14230639
add:46496,0,0:46496
add:85658949,0,0:85658949
add:3,86618070,0:86618073
add:-364,0,0:-364
add:916376,71094297,0:72010673
add:-76,-48988,0:-49064
add:7,98029,293800191852111:98036
add:213,0,0:213
add:116992,19352187,=1:19469179
add:-54334706,-2638935,0:-56973641
add:4210,4441,0:8651
add:2470,-1654142,0:-1651672
add:-32608,76896,0:44288
add:598200,65918574,0:66516774
add:-524863149,95573,0:-524767576
add:4,6856995,0:6856999
add:86710327,16209386,0:102919713
add:31,-24,0:7
add:5895523,9915789381,0:9921684904
add:41557511,310172,0:41867683
add:-6714,923,0:-5791
add:466232157,987,0:466233144
add:5919,-63,0:5856
add:929994,66871,0:996865
add:23,391,0:414
add:751,-25255,0:-24504
add:-282292,-1608,0:-283900
add:0,-4119448990,0:-4119448990
add:69248,-64165,0:5083
add:816106,580,0:816686
add:15171,219806,0:234977
add:945180,-585066,0:360114
add:27052,6664636892,0:6664663944
add:-481622,-578,0:-482200
add:926,-81,0:845
add:-4084,62941238721,=1:62941234637
add:888598,6601,0:895199
add:-61,143796,0:143735
add:408006264,51,0:408006315
add:-582073,-6752,0:-588825
add:88194084,595557600,0:683751684
add:4963532385,72932,0:4963605317
add:37370180,708428344,0:745798524
add:638718578,-94054,0:638624524
add:12603892606,194259,0:12604086865
add:9812049,8843056,0:18655105
add:-156093,-3718156523,0:-3718312616
add:12264,949557843298,0:949557855562
add:338742,9139,0:347881
add:48848,-6268099,0:-6219251
add:3653,981782890584,0:981782894237
add:608763646,38233135026,0:38841898672
add:-17063,-4811,0:-21874
add:63244008,-380818980,0:-317574972
add:624559862947,21088,0:624559884035
add:-268795562,74755169,0:-194040393
add:368827930,56987680,0:425815610
add:142,-838643130506,0:-838643130364
add:848909,137303147,0:138152056
add:6682221270,4495632518460,0:4502314739730
add:163999538727,754668,0:164000293395
add:570098317,1230642588,0:1800740905
add:814302609847,295465,0:814302905312
add:61148411120,462527703,0:61610938823
add:979075368979,64243429,0:979139612408
add:8280601099859,431312,0:8280601531171
add:29662,3920844058249,0:3920844087911
add:381765363,6285,0:381771648
add:6038301700102,167589011428,0:6205890711530
add:-6720,50309,0:43589
add:92070025383,8403955,0:92078429338
add:9057100,9331,0:9066431
add:46997620390,2556790331006,0:2603787951396
add:9853238961850,760016661497,0:10613255623347
add:642786326083,4994197649,0:647780523732
add:60934395,192791945290,0:192852879685
add:1304866806,9628566351206,0:9629871218012
add:-537871392295,1691988267,0:-536179404028
add:73595697641,63790,0:73595761431
add:87798124384590,168308169,0:87798292692759
add:77155772837617,993653875,0:77156766491492
add:691109994727,83820903066409,0:84512013061136
add:2012749349577,1194,0:2012749350771
add:3909606,1258809350,0:1262718956
add:5961027295,-191014,0:5960836281
add:-9155782013,84622,0:-9155697391
add:-7211667,-624806193439,0:-624813405106
add:1754076,931310,0:2685386
add:53288031910288,1866366148,0:53289898276436
add:767503182,-78473238204,0:-77705735022
add:-89763935864,-14028568280297,0:-14118332216161
add:454616605,67243118209653,0:67243572826258
add:674985,745910,0:1420895
add:9182866281585,-7492901984,0:9175373379601
add:8427973625,2948084578162,0:2956512551787
add:89366530,96670928089,0:96760294619
add:62255464298256,1694823,0:62255465993079
add:5268676160308,-93499502334390,0:-88230826174082
add:7165346,-12994330060,0:-12987164714
add:73330752719,904668539586,0:977999292305
add:8007349,88617667386,0:88625674735
add:951867792,807329,0:952675121
add:645715109491016,58609052382,0:645773718543398
add:2037750169321,85113205892,0:2122863375213
add:6585250,76715488825566,0:76715495410816
add:4585299,4140224,0:8725523
add:20194080,7047624,0:27241704
add:786913195,5197776759303,0:5198563672498
add:751261814658086,65539188,0:751261880197274
add:-6325172443258,2171993016413249,0:2165667843969991
add:3947284565,-78726628505,0:-74779343940
add:-71699817835206,40239308204,0:-71659578527002
add:53023714,-82553833053558,0:-82553780029844
add:2808131187169,890250230608190,0:893058361795359
add:4783795579,-953360022706,0:-948576227127
add:22326520,59606609543578,0:59606631870098
add:37110988189,2635629530529,0:2672740518718
add:5415787,65557975919,0:65563391706
add:687495904,-3296642739961554,0:-3296642052465650
add:72930835789,43382168425705304,0:43382241356541093
add:-995003864534,61722341747,0:-933281522787
add:74285863538462,4701124896071184,0:4775410759609646
add:-7259432400758987,917110091938734,0:-6342322308820253
add:83640964028613,28436773,0:83640992465386
add:12798300129,42764089830,0:55562389959
add:907689161228474,9984041726746,0:917673202955220
add:88648450941,-92224182312398621,0:-92224093663947680
add:3423736794,992566059450,0:995989796244
add:26095203,84516699542499712,0:84516699568594915
add:-664955461457,34154013,0:-664921307444
add:17408598155,57614703283466656,0:57614720692064811
add:734135582143613,8386599520,0:734143968743133
add:75433328059753089,3411724102,0:75433331471477191
add:-5780056339,370823068636155,0:370817288579816
add:747133022687630,743183409891560,0:1490316432579190
add:1351023965,562216806411,0:563567830376
add:8923051674,5453380084794,0:5462303136468
add:244571930,-51111880145,0:-50867308215
add:-41136584383913485,2817501078,0:-41136581566412407
add:-8079768063523410,441741295522855156,0:433661527459331746
add:599579537585,1505732756139,0:2105312293724
add:6728375739,634744472,0:7363120211
add:163686368,10797029513119,0:10797193199487
add:38258778569482,81136715091,0:38339915284573
add:89311393409893347,6487334114,0:89311399897227461
add:4413952309911,-335091846,0:4413617218065
add:-8490298221703,906197882389719833,0:906189392091498130
add:547446627581960679,4111395072,0:547446631693355751
add:-147199257725737,358585065185151457,0:358437865927425720
add:733104781218,1305401890,0:734410183108
add:66789232493812823,152353542633642764,0:219142775127455587
add:91447917877257,890149399042107596,0:890240846959984853
add:67840659340,45844535119015296,0:45844602959674636
add:31351681435877221,-442068622969770457,0:-410716941533893236
add:8505522087730720965,162001047045127445,0:8667523134775848410
add:90408836865703,91766097115,0:90500602962818
add:8278725919,-6565975065136635,0:-6565966786410716
add:778195404262806210,9985183887639111776,0:10763379291901917986
add:6696810212664216,312304914759219,0:7009115127423435
add:3557735824865,584593215289536,0:588150951114401
add:-49412044681,29956396329782239,0:29956346917737558
add:11923449620,7765655187,0:19689104807
add:1724176067,-67142223866,0:-65418047799
add:525722978624,57023088377443306,0:57023614100421930
add:726936921764427,3077076587081089,0:3804013508845516
add:1790333591126,-91682335574328992,0:-91680545240737866
add:-1112879092907469823,1867817571215,0:-1112877225089898608
add:-8476115918476,3323398534004,0:-5152717384472
add:83059391773,-65273298074046515729,0:-65273297990987123956
add:2211388311050688,-245146603838894173,0:-242935215527843485
add:585851683392336,3975804417513631370,0:3976390269197023706
add:139186663640090,15082756961,0:139201746397051
add:-48189710801086,-33546258184494787728,0:-33546306374205588814
add:-100779556817445,-1522038785339961,0:-1622818342157406
add:4885512159295669,480294778789866559,0:485180290949162228
add:-557882003905193311,20195805293900,0:-557861808099899411
add:154553862612072,9109218823125727072,0:9109373376988339144
add:1483847515783086714,78233016786768531473,0:79716864302551618187
add:632462956668123,-2951738540674650223,0:-2951106077717982100
add:-60943119399848141,74036520715371,0:-60869082879132770
add:-7905328383508507808,-207334403231,0:-7905328590842911039
add:-376183968178,-862976187364,0:-1239160155542
add:918327139068056021,-685922087142,0:918326453145968879
add:-9846497109055054870,6775447579440637,0:-9839721661475614233
add:-84073521083215,71309976692297262369,0:71309892618776179154
add:-373011272994268095955,4157479098221637,0:-373007115515169874318
add:49271774069573022576,378613526495506818344,0:427885300565079840920
add:-5376376953931357562,7508833770175817,0:-5368868120161181745
add:-23778714258598355551,-7185005392000393507,0:-30963719650598749058
add:801031622749,53000130414840,0:53801162037589
add:-970929952514676169,64017648311761173049,0:63046718359246496880
add:444961381148474,-368409783275279249,0:-367964821894130775
add:39999239040508219266,38054215870372108,0:40037293256378591374
add:-712118755181107,21931036897383483,0:21218918142202376
add:-646755675748528169,609844920243318603442,0:609198164567570075273
add:171013028884891673,11967223547227113703,0:12138236576112005376
add:90483783429450285931,8758299165450368514304,0:8848782948879818800235
add:54722600417344222188,6655544009320,0:54722607072888231508
add:7059355949487975,15428043300387,0:7074783992788362
add:63718799432141668051,-1777818839779748621,0:61940980592361919430
add:-811965656585153,-92999475442666083,0:-93811441099251236
add:-480943344691207768,38637964026264,0:-480904706727181504
add:87346474969320,11671605416687563,0:11758951891656883
add:-144193490776783,320317203586930,0:176123712810147
add:637224429856480,90100814693140,0:727325244549620
add:1117448757980,20116238466569324081,0:20116239584018082061
add:2134662653354031124,57535080216036041491,0:59669742869390072615
add:-699305697439351543,-1322846377107844464831,0:-1323545682805283816374
add:-287368527913803,559967333864139,0:272598805950336
add:-4524131005300321178256,648090525452193270713,0:-3876040479848127907543
add:983197813618615290581,-555223968315003163,0:982642589650300287418
add:47595018158554,554354123612822084175,0:554354171207840242729
add:76492304934567739056067,-17570682458452839171696,0:58921622476114899884371
add:605579840932458751,5118917191828845481095,0:5119522771669777939846
add:-77276783972774282464,97578221184517253974,0:20301437211742971510
add:-55779468870779406,3628329199924803907,0:3572549731054024501
add:-6810396240935929656,45581601665257956989667,0:45574791269017021060011
add:-643395735022469,95994342321649,0:-547401392700820
add:59033016804296,90010200392865311,0:90069233409669607
add:412262412571713009,44652839425446643811,0:45065101838018356820
add:-996242836885840433689,9932141967639296363784,0:8935899130753455930095
add:-187591416585869366840,4868774783363997420,0:-182722641802505369420
add:786124638558627932,120825949339625517416,0:121612073978184145348
add:683056931297141410,13435555169749,0:683070366852311159
add:78591895387046935416982,-3863271218201597391326,0:74728624168845338025656
add:-581639737241844,59732569151616229,0:59150929414374385
add:63839107438860260,-57936899988162199911626,0:-57936836149054761051366
add:90241348579070434,4025779803051070287,0:4116021151630140721
add:-29146551546957649,500543832007704775744,0:500514685456157818095
add:40152296103662954,30632073318077007293876,0:30632113470373110956830
add:46052697297460594549965,-2523434189144367108,0:46050173863271450182857
add:-908472766655304200,503910242160770655137,0:503001769394115350937
add:35664754770405781576262,-52328200879455304,0:35664702442204902120958
add:536193847189289,2055159240163985839,0:2055695434011175128
add:5692763430774180,559128387745059,0:6251891818519239
add:962044518204007,36941484559411981897006,0:36941485521456500101013
add:1778825689878630,1752252372363744,0:3531078062242374
add:94533959067668939155652,7370593466294273268440,0:101904552533963212424092
add:-79278320169999633,98078807455225677,0:18800487285226044
add:97932568071091044410,45504699679270344940,0:143437267750361389350
add:81602336599709335,277692040888807344679270,0:277692122491143944388605
add:-8416111605414512356,-71387336643361802215,0:-79803448248776314571
add:-4364114737364980,5713751339100810207300,0:5713746974986072842320
add:-2248544818568852,-95216575446860643106235,0:-95216577695405461675087
add:-86464737497345750915,-9340577567832336397746,0:-9427042305329682148661
add:7285517444194103327524171,-178398693192528240,0:7285517265795410134995931
add:745600294808335954574,3590181147179066146,0:749190475955515020720
add:9465688117779501171539,38370364609588339408116,0:47836052727367840579655
add:780056864215481439157498,-7015580969512485,0:780056857199900469645013
add:978681982436757227400,2684547366513014,0:978684666984123740414
add:-1128116293278100017914825,5548079193241448,0:-1128116287730020824673377
add:69069382482494805,-40368676133739445253204,0:-40368607064356962758399
add:1068908356897083556495,92975661850341635306516,0:94044570207238718863011
add:2045728645356266,6732676856163053,0:8778405501519319
add:986371258787059591145109,24417303396801332,0:986371283204362987946441
add:5107392493993300358729,-8580635176929229687,0:5098811858816371129042
add:1173219044247994941,150432915362745448142,0:151606134406993443083
add:289209848265652909988,896527174701053128584035,0:896816384549318781494023
add:7576209306830869,321093885120988771790,0:321101461330295602659
add:-1998078850553780901,-491302474398583183312,0:-493300553249136964213
add:48578611214917968888328,-9724795578642180430323005,0:-9676216967427262461434677
add:-89125038112802690868952,106876489286063867,0:-89124931236313404805085
add:71163583246605175,94315599279060581,0:165479182525665756
add:-37978975375912768223,-83894091589588085332,0:-121873066965500853555
add:26160354602260154641,82502519980721475,0:26242857122240876116
add:6721445506562724498613,3849322132330485045442724,0:3856043577837047769941337
add:-49599516930241019167,940046744572738518062,0:890447227642497498895
add:309633233963607626456,431010776584765161668698,0:431320409818728769295154
add:5437528458768789581061,98535318335138080471,0:5536063777103927661532
add:441952255932531337132635419,-457951493790545402320,0:441951797981037546587233099
add:4234090565000592983852,141452209542036221,0:4234232017210135020073
add:444877202793878855,-818932236535168281886543304,0:-818932236090291079092664449
add:8735279390159786014911,74528121661502104489,0:8809807511821288119400
add:329585339951820135507,3209925326812978905481,0:3539510666764799040988
add:7513147727765550283468497,18340872039691020224,0:7513166068637589974488721
add:22672336765411635852057,112360311181155228061,0:22784697076592791080118
add:94840923157956010314,-890963292023167606621709508,0:-890963197182244448665699194
add:-42743124461511984041,-154189486799725890635958009,0:-154189529542850352147942050
add:4642096435824001337488,1075739791472186776,0:4643172175615473524264
add:9072122446151456250370,459465421414955099,0:9072581911572871205469
add:1208103563782991690,37264807069479596362,0:38472910633262588052
add:-35229676312313275613641079,7831519567525205386506558,0:-27398156744788070227134521
add:-14914636592325904561,238892654922757390,0:-14675743937403147171
add:70036479094753932788537196,3638698354298942306,0:70036482733452287087479502
add:2026475183691718009207221,-51818547306091257831,0:2026423365144411917949390
add:934591237413188471704,9583576351426447252706,0:10518167588839635724410
add:19623165243467693921345120,713164237953453844732059938,0:732787403196921538653405058
add:-330423131007863591790334,483122548819491409819,0:-329940008459044100380515
add:186655649790428913672547335,45905196004697591848,0:186655695695624918370139183
add:61575494850989411781745,510771432997312770825568,0:572346927848302182607313
add:701715172953878317016084611,82176271434782371131,0:701715255130149751798455742
add:37317170353550823267505484,-281915644115285990142,0:37316888437906707981515342
add:782147829078599149413,406441493949770755536,0:1188589323028369904949
add:8750933869512603353560747,4845145469101036864410189,0:13596079338613640217970936
add:82771556090809260029854,417868176867358634531479,0:500639732958167894561333
add:-60327848305676142893255531,45186448696277654715,0:-60327803119227446615600816
add:559238168466621140605667,3086402973187970627177143386,0:3086962211356437248317749053
add:1487217856230533992619184307,88533139618452902103,0:1487217944763673611072086410
add:74032714774552791328773,-743497205088178750354447330,0:-743423172373404197563118557
add:87529301918640055328531949,833538436278390237794218,0:88362840354918445566326167
add:1134893809082711064119381650,835345147684508177653,0:1134894644427858748627559303
add:-31083560926993891097159,-6452398931722666743775,0:-37535959858716557840934
add:-494187214625328255573121,-433316980223823483512168,0:-927504194849151739085289
add:390091842128606730764553615,7074602388637593045951,0:390098916730995368357599566
add:14996900382322823366993947,155575881895992530106696,0:15152476264218815897100643
add:256981179582607852185710064,960124902340809507842,0:256982139707510192995217906
add:606337739205468757142681,34431354430278402333959617,0:35037692169483871091102298
add:820809632172159862547216787,-4720961905066758420386939975,0:-3900152272894598557839723188
add:33254605052680847119352168342,-42458830987973889052675953,0:33212146221692873230299492389
add:1921909649929948589227,650119220435441127155469,0:652041130085371075744696
add:36032029451816652021799919065,991948874284797761534223740,0:37023978326101449783334142805
add:17509423061776720551599,561537726801446789470435708,0:561555236224508566190987307
add:432435308982641288577,2579972583113864486802769,0:2580405018422847128091346
add:5533541961594197125465685605,-5341574108952093824178502732,0:191967852642103301287182873
add:29253784634468015940995,66868085704232379455942,0:96121870338700395396937
add:5840836104812160960058403235,7254794739433874655672505,0:5848090899551594834714075740
add:-986437670276537865472,-7254530387088660530975,0:-8240968057365198396447
add:5936378029743262858909,5646361873410369432412,0:11582739903153632291321
add:9309474173188449211471238,71622847426463521178458,0:9381097020614912732649696
add:7395866525419579894252,6054211177368524226173,0:13450077702788104120425
add:418754431137708178806,4581969489771092325887396,0:4582388244202230034066202
add:427267592272679033207846,-1335344313633491261520271375,0:-1334917046041218582487063529
add:633189097535167096544295,8453789539859471176551,0:641642887075026567720846
add:5272319792173353341707102,391850306244460524900101084,0:397122626036633878241808186
add:65825860390007189905183231257,931471994606023293002971,0:65826791862001795928476234228
add:-176921811706712109725453309153,51104838980538411694813294,0:-176870706867731571313758495859
add:76672856213061308993625,-29636580685314230414049903200,0:-29636504012458017352740909575
add:674452402018255228121289278,67008875737626760336005690,0:741461277755881988457294968
add:8541968162357356479415070453,-80758853802904365328480678550,0:-72216885640547008849065608097
add:63670327126030699390525,647239453527002086941714828140,0:647239517197329212972414218665
add:23827968287407694016891491732,5687322786770428586659139842628,0:5711150755057836280676031334360
add:-56934084938034523477449,6919565043762938954102,0:-50014519894271584523347
add:-812505002549423792769451177170,-468614098924848220068202,0:-812505471163522717617671245372
add:67104776285167776356142,210831864020377644772737617440,0:210831931125153929940513973582
add:5824940449668378359986211,-64180395015735031445899448907,0:-64174570075285363067539462696
add:983409682982426617028179979,163969833630884765202234246,0:1147379516613311382230414225
add:6210538420073191557435,-31054053390220409528967600423,0:-31054047179681989455776042988
add:469516153781193420842788,1496796321887102771420,0:471012950103080523614208
add:33979356884336447134582,91638986223658016683623403,0:91672965580542353130757985
add:-32260848074913901984307362359,-2672012528351544629126598,0:-32263520087442253528936488957
add:-8417639463674910047939048993449,80120124562574727803706174,0:-8417559343550347473211245287275
add:775695772679005684017516,-3020790629041979619689982869,0:-3020014933269300614005965353
add:975852258680635035690012,83046701463562128390834533268,0:83047677315820809025870223280
add:8781861863169257626949530,28108177849164848399916019884,0:28116959711028017657542969414
add:-283546689653578050474370627,2807772419117477871716212,0:-280738917234460572602654415
add:9064465458779158311916969647780,9139819686732442186357751866469,0:18204285145511600498274721514249
add:8840784216244154251572494530,60209012240418199299108682988151,0:60217853024634443453360255482681
add:93815677427271630939740,22565184436411206947191022,0:22659000113838478578130762
add:82452768800915418769333034684,31578884402602201747665,0:82452800379799821371534782349
add:-861901423955324264599608669156,707341771563323556783706679,0:-861194082183760941042824962477
add:-27282637700205513755848881,-503533726284787080825911,0:-27786171426490300836674792
add:9289214479556466478450749,-7084113575511224733535260,0:2205100904045241744915489
add:7017123255359412684282683,9046068160232439106672624,0:16063191415591851790955307
add:251153423310728722653267854537,13062952884507685376788080,0:251166486263613230338644642617
add:764970108101691141391204483,75231888234738846744202931914419,0:75232653204846948435344323118902
add:70105736718198876906468336722477,2901679421786748849622789,0:70105739619878298693217186345266
add:-277236273480908454984267,95439324803072858679031,0:-181796948677835596305236
add:502022119894313002150611379003,-9553217783049460795811638,0:502012566676529952689815567365
add:11235044224795237679279440,1598484681458068370777229,0:12833528906253306050056669
add:6006446640030673298734990897916,3932713488343416708785849,0:6006450572744161642151699683765
add:341984581388111664359529291419,253672139310821088560318393948503,0:254014123892209200224677923239922
add:-16498480187763102357325186,16757917811449471275953805,0:259437623686368918628619
add:4840293579085321724261731660,3299269918638542438501050537,0:8139563497723864162762782197
add:862473464150144977188625432548718,390725508757117448688936595600,0:862864189658902094637314369144318
add:-29573457775060793626221640796,-955486742447211372069984831882188,0:-955516315904986432863611053522984
add:2764463542396067736191963723,33349178218458257881168366225076,0:33351942682000653948904558188799
add:-564129660605536405453000618753,-996106182924479683180384656113614,0:-996670312585085219585837656732367
add:8033177512692093044315018,-5381259101993480763476852450,0:-5373225924480788670432537432
add:5694253375903848576996695765,3533498246256483823188758976,0:9227751622160332400185454741
add:8049869890130722459017898,804302573811695296944485509,0:812352443701826019403503407
add:-10782856862032822029370450127864,42183304229376991057468028,0:-10782814678728592652379392659836
add:17953427150766889866624145,2672739534749259247084452652,0:2690692961900026136951076797
add:382968112253902278556556412715286,507081979144423606544809226,0:382968619335881422980162957524512
add:10675472848868311098607354530,921641093617028576338449657948,0:932316566465896887437057012478
add:45793464872625930068611014771,895098402397211759149489341,0:46688563275023141827760504112
add:-64085785899561813992220240078,-9948203496533963923520873499122871,0:-9948267582319863485334865719362949
add:-36229685382343277189388317,3225709738074187586965400,0:-33003975644269089602422917
add:62746144069561486173188762523567,41388696507099517847341965,0:62746185458257993272706609865532
add:-607094025616255955599781697,-394867562893771866413821906158382,0:-394868169987797482669777505940079
add:311268724839167391882108484,-82153236672690725073700221869998,0:-82152925403965885906308339761514
add:-6835603694552724869687187061,-6023776712184941872282636664,0:-12859380406737666741969823725
add:590358394226908898299218590543900,97734796237031665405902113169504,0:688093190463940563705120703713404
add:776333186005384178281483204964,7251231826873456228321061,0:776340437237211051737711526025
add:56669798612022472565446600865,-6052380717302970032083528141,0:50617417894719502533363072724
add:6865898859037955833953890,178638282809455642352286,0:7044537141847411476306176
add:5105205245055741189404951,893962641798284490158079805140673,0:893962646903489735213820994545624
add:51316165533150178772523358024,-628375072698255873957923760051222,0:-628323756532722723779151236693198
add:-87785238468437978540491414,89732479371379507893122052,0:1947240902941529352630638
add:950318073610388416087529318775,402634948952512865122682232525,0:1352953022562901281210211551300
add:-74572627412706083960240275,431357597384151709770753161,0:356784969971445625810512886
add:9853321136670770651473838461495259,-83924966088311113186923377729455334,0:-74071644951640342535449539267960075
add:650506501105456725689474061,287241011028313593932616830,0:937747512133770319622090891
add:8132932977319394188366230514,-254188694333249311199490675,0:7878744282986144877166739839
add:53320519909486593081198293,-74572156817884131125537363,0:-21251636908397538044339070
add:-71547639554175546005091389360,-8140195760146170485331061575,0:-79687835314321716490422450935
add:1327483718371853548235029647793617,54274563336128441076471770,0:1327483772646416884363470724265387
add:1314001032447052278696101270,5415781672112089561501909844,0:6729782704559141840198011114
add:47224974651866655046632261766,-76788661932424775106847892,0:47148185989934230271525413874
add:792552859971310302936618155974,-487118690055436369708858828,0:792065741281254866566909297146
add:8685351871091309367281665125018193,579376603481579380106078170606,0:8685931247694790946661771203188799
add:-163023266227426934448401141075814,771214414019011070620622448527010,0:608191147791584136172221307451196
add:681117685696813411930600559345469,53231124210443068505485918467568,0:734348809907256480436086477813037
add:24728715686927944276955201,239070293086557045345907117925272,0:239070317815272732273851394880473
add:764946100412930809834253766,-826649833775850040190545960601,0:-825884887675437109380711706835
add:7808371142489773310260037786027,3411749587758291799422914115,0:7811782892077531602059460700142
add:9487499431366548971411896854,617160736935684035360665548277255,0:617170224435115401909636960174109
add:898285778199998316256066724,-446698135458890722737448919720207023,0:-446698134560604944537450603464140299
add:679188320572774450433052775314,917321221948698358395231976875443,0:918000410269271132845665029650757
add:-606026214573430597349972660492,-76705531041680588416688199753404,0:-77311557256254019014038172413896
add:-2436189233935198704211905220849,37199591944878505577734886802440,0:34763402710943306873522981581591
add:183575501000337709289570527203677231,136287320714071665681020786679234742,0:319862821714409374970591313882911973
add:8590013432900716370831629971791,968114425708634187961093620824,0:9558127858609350558792723592615
add:347137295949542839762519290637421643,102270809320390302037608013,0:347137296051813649082909592675029656
add:8440473671167620611051468072483271,2296992478227176302012302522046,0:8442770663645847787353480375005317
add:-5001669553432654706696400609,118900597514025159662837118047,0:113898927960592504956140717438
add:-62002790901737049130724871593864,49447394219956225227401512811,0:-61953343507517092905497470081053
add:86330941115371276117147730300459977,2177791532412716777679721138299658,0:88508732647783992894827451438759635
add:946875123242781630779255037,47946896786026059202158912141346,0:47947843661149301983789691396383
add:15336011900228959543893716525418719,388047623512726643322227444888,0:15336399947852472270537038752863607
add:670173436182016731100418370242962831,4761361980899572407426780990276,0:670178197543997630672825797023953107
add:16361593374554723036317118422757,959754436168611589130929042794416,0:976116029543166312167246161217173
add:7037129211989227284511625030,-64039638650631553463764702068273727,0:-64039631613502341474537417556648697
add:1669039732670522007255294145067558610,5040361069110054882215284201346,0:1669044773031591117310176360351759956
add:1513189097366228884843540957233,759609367644509304958151974044245430,0:759610880833606671187036817585202663
add:4895978309720518255173456993,-4110535948244791094217531557,0:785442361475727160955925436
add:384532700809738729029745679298,-8056698430799793973614359358,0:376476002378938935056131319940
add:-6388105307234743748019853948088503,4997968805095951937740134154116761,0:-1390136502138791810279719793971742
add:975018502065461978578000363066,2247367452090296660167940131,0:977265869517552275238168303197
add:78856706773590014370827059719,6542936662766324535583066287213231,0:6543015519473098125597437114272950
add:6499328245520359687815445935758,158783937355037461719106652621,0:6658112182875397149534552588379
add:-929274641312553715971084005591328,65105653662781997005394335939613534,0:64176379021469443289423251934022206
add:456683941925696893937943252471,2047844563635520107891754533956927,0:2048301247577445804785692477209398
add:2464091244058374057204697838093,548233532044481143606226540715,0:3012324776102855200810924378808
add:-5782058275134622637686813910631,65732482103665178041908743240,0:-5716325793030957459644905167391
add:9077295754335257518831628411071383,10924567149120537328883108077429125,0:20001862903455794847714736488500508
add:4487883990386478000336258527165792,45494719991936774851608031864,0:4487929485106469937111110135197656
add:-278061320607811538265660406605,6501055843301716146308769533884534700,0:6501055565240395538497231268224128095
add:-98496078021467197122901029244,4781298078177162558520974148272,0:4682802000155695361398073119028
add:-880487306232247995563348595589965390,1786978622507362310090719007228,0:-880485519253625488201038504870958162
add:3564320220013161114076355137453361,3174192776315040318048578353150392,0:6738512996328201432124933490603753
add:-17938701536608326039598376013574,6544909780634291186211124961480,0:-11393791755974034853387251052094
add:477266862227893391363944723416214,75215386788899217183549861936487009,0:75692653651127110574913806659903223
add:882168805504704249200404316267,397370099670749831094907204966440642,0:397370981839555335799156405370756909
add:-5168732252762846279707583890106130,68924007866194419843572553425738646075,0:68918839133941656997292845841848539945
add:13976907500017232058982276795936,62903564794422037566078537019953323966,0:62903578771329537583310596002230119902
add:-723679233282687539426040870751505916,9944693303602413488927619210482961855,0:9221014070319725949501578339731455939
add:19723375859398094253269538838784,4448602254481220443835883935,0:19727824461652575473713374722719
add:435487568164299717641211729895291,30263286963580437915152248885,0:435517831451263298079126882144176
add:821847194805020065585371899303,-56701356407219809621351993974800366087,0:-56701355585372614816331928389428466784
add:906521314887358356519304370098899949,575586805546053112223797224287895841,0:1482108120433411468743101594386795790
add:19861035347913984137892042959473300,9203641819631417294115804880148466,0:29064677167545401432007847839621766
add:35489920465547911895345631311031287850,61963387682089469403889443775403001937,0:97453308147637381299235075086434289787
add:711218176456565648939214863247002012,72467446712664186983159145098756557673,0:73178664889120752632098359962003559685
add:453411180015845016525527797241902720,656188106785767735033442856252,0:453411836203951802293262830684758972
add:3497788563739847797768025384670848,517400530521523434205853846962853,0:4015189094261371231973879231633701
add:4155970281036560633085895732986331436,58654056236489765208332410680287635851,0:62810026517526325841418306413273967287
add:-43796787638734252111746756631324509,15458635191255506747952752911563140015,0:15414838403616772495841006154931815506
add:886478982594616386399515638094,791374254805498814484495931823029294,0:791375141284481409100882331338667388
add:5420205765532053736853148082964602405,80894300860364935354122327418793,0:5420286659832914101788502205292021198
add:6409540010109365565390431678312058,3761260998235788651953577451547946396,0:3767670538245898017518967883226258454
add:379235320792985651222455993704383,39768702701817374238094976575577292677,0:39769081937138167223746199031570997060
add:9741457286836201279089678473713551193,-9789501315839617552822514677465645799,0:-48044029003416273732836203752094606
add:679351661380711616762980509555487422,5244958563307694732934184938012411110,0:5924310224688406349697165447567898532
add:230190844936986997441295775275022034,-185909046836091915997263172330,0:230190659027940161349379778011849704
add:3156689741537889100921303548469,547814421078639373357367180225132810,0:547817577768380911246468101528681279
add:-62219007651568146709531118440682893089,-9434399409814593713428350812443801646786,0:-9496618417466161860137881930884484539875
add:184174790691390536467483515964213892835,2941013349035333556270582770860221254,0:187115804040425870023754098735074114089
add:51019963839123593098882577978755,1116589028775897480619143898066573,0:1167608992615021073718026476045328
add:3161373461260957201319457188462572095,295012249650450244682353395660589081695,0:298173623111711201883672852849051653790
add:255897713184471452642500281024049492424,5260363568754655790521228400406175726257,0:5516261281939127243163728681430225218681
add:606315001345297293855907552090677,58643218561030036941054387859353998671,0:58643824876031382238348243766906089348
add:7728401578087472448175772296881,2479932497409122334635317410130037,0:2487660898987209807083493182426918
add:83912594421874997853645370567167,2586838887610120476863229517446,0:86499433309485118330508600084613
add:31162728147482517541527422834730838,49272727945051817211201248857958834546,0:49303890673199299728742776280793565384
add:7732493494017159067700264618259826225579,9076083109776747375814790855266491489,0:7741569577126935815076079409115092717068
add:379595189057102692932728847043,78412390558490705293355381777932556,0:78412770153679762396048314506779599
add:-80073436239675271494315527682263,50945580964846901715535623599314335,0:50865507528607226444041308071632072
add:7287524755764369986358866728286492322771,-3434322398801915039360350216639455,0:7287521321441971184443827367936275683316
add:5350901001113421691951885827606408,-52813130876478631706333437707256,0:5298087870236943060245552389899152
add:-93922484436479929644974748134570042227,-18558847074134835688687179622179299456381,0:-18652769558571315618332154370313869498608
add:6348261214416753548599493164564265,70959376021447769657800151242308058385,0:70965724282662186411348750735472622650
add:82136982657867459725041723297845260,-4942386549903864832898696177047927,0:77194596107963594892143027120797333
add:-637766414636467351411944290845261564150,3139008925795329253435316311633609560,0:-634627405710672022158508974533627954590
add:7876071803789707417919831488411894460,-787451981013463104190187704083407112807,0:-779575909209673396772267872594995218347
add:-6975874728401593555157382880902999590154,-5386051406453469842388696470942392,0:-6975880114453000008627225269599470532546
add:263948302163372204339026784768887,-709208282236872695042395059556627390964,0:-709208018288570531670190720529842622077
add:966883950465093993601498906417362169986,52803750507502030833811587668282000984096,0:53770634457967124827413086574699363154082
add:758872502722448271767968272715108,924042905049846617145386931355586,0:1682915407772294888913355204070694
add:8817515445646069320245128327534016,33540272364420722162627441428305029,0:42357787810066791482872569755839045
add:7452847844446973070588448979886483,13672013320832031648561092777470,0:7466519857767805102237010072663953
add:504207812168642571415434369106684,3112968037276454309667407723426693283,0:3113472245088622952238823157795799967
add:79464727253769579340699162892454647,-3445737782055492967953863370896564268,0:-3366273054801723388613164208004109621
add:27111645259145369800704958812916,67484517522542733254003181309322379,0:67511629167801878623803886268135295
add:7962416479715287030323333279385706598,88254203468610078692514314020591,0:7962504733918755640402025793699727189
add:39693287540792352830897524921810,-21314277451673979084086774678038501015,0:-21314237758386438291733943780513579205
add:198918483468716913242822977257934441,-7728701263590045875855983145711563105524,0:-7728502345106577158942740322734305171083
add:23489078790493512251447591514734933644032,5044415728397642226681534366309793929319,0:28533494518891154478129125881044727573351
add:754857260375845266559134913354911,-107973684581827631710281010202379896,0:-107218827321451786443721875289024985
add:-315532494063826496737110988346555619786454,501129324903842341869098009302271432013604,0:185596830840015845131987020955715812227150
add:92594285071838024355958905365280662316,2187702621551700872791380132896499,0:92596472774459576056831696745413558815
add:724288898592047956308741845059503937300137,57590734518283929259390943990555930310,0:724346489326566240238001236003494493230447
add:2739606628137004623864591349778009,110573647075582659906006861365833637275224,0:110573649815189288043011485230424987053233
add:-14276517096318036496680563063254770722,947355542566791575863860389736548529916,0:933079025470473539367179826673293759194
add:2231429252956485218579039663297923538099,-513782743328474567896135012801752,0:2231428739173741890104471767162910736347
add:-849056192493090160065711552591498902148,570178803220182344540821571410117099230685,0:569329747027689254380755859857525600328537
add:71805397382388312493912292806954799278,80784372590768053283785033890385062,0:71886181754979080547196077840845184340
add:88350358965992565491787153066170941,21234283677146108616947794414929963,0:109584642643138674108734947481100904
add:715269430237566589970907864930513314,8865443182554480537011356202533506,0:724134873420121070507919221133046820
add:1477643303333104073865392660271903836,-367890944067864281459059958232249,0:1477275412389036209583933600313671587
add:52217735662219170731154120388630563,-294933344350299941699482081737942598484292,0:-294933292132564279480311350583822209853729
add:61380058552546011441493813017768437169,2900762818425899718317517551345155090272,0:2962142876978445729759011364362923527441
add:-277784196782412339397810200390714846163997,57298552978631155824394514405745061,0:-277784139483859360766654375996200440418936
add:-240135707306520087768252873800163694648274,96353334913929088034747034183526033,0:-240135610953185173839164839053129511122241
add:5682589714457375725889091714569040,1460653301509827608879103745623307421551826,0:1460653307192417323336479471512399136120866
add:19638363083802509640291691621245056147864,4211029423275507408378664959653089,0:19638367294831932915799099999910015800953
add:83194800067935752402123668615503029739,2541880714569630662018719665186119518080,0:2625075514637566414420843333801622547819
add:5939482394780085376784755590138737708464,514468562230819790647711281175956014526779,0:520408044625599876024496036766094752235243
add:90204831870247776142696176553164845,448604014584373050945946043173569,0:90653435884832149193642122596338414
add:-28255771387063942974030915755487615886801,211023308891994717221529619029320336933917,0:182767537504930774247498703273832721047116
add:757105867421757109115447689795304050728,9406978659060898637265625690923719984,0:766512846080818007752713315486227770712
add:71046269267930793233803101419359460555523,1066119341117097582611928205374175134353,0:72112388609047890816415029624733635689876
add:860460409596026218232712913311397528,-386403674339732916173292388406974737,0:474056735256293302059420524904422791
add:51587104345453069942306514960268280925,7174136164833181606646937608176553464,0:58761240510286251548953452568444834389
add:646810491958543131766676874643214951350,499259004231242695310290078066810898630,0:1146069496189785827076966952710025849980
add:855002490358777508650454091557987435,509862775866892935549218038452333306616836,0:509863630869383294326726688906424864604271
add:106603467132772647500729395434502230590051,-16368407452060510330634069459161959,0:106603450764365195440219064800432771428092
add:516036973938460113725699447078888101,19774284176043121487876685246833573074044,0:19774800213017059947990410946280651962145
add:952655868300967849134836490408672046390,26424621652588918937927182288854430428873,0:27377277520889886787062018779263102475263
add:612516318964652612641515207511494523,9669431975435363339548442466828737776,0:10281948294400015952189957674340232299
add:312358445059554864178031833622326259,3063646351543973236788253379318869856029,0:3063958709989032791652431411152492182288
add:21961875002920796735366447872318305568,12735184963536281218871061660462862352679,0:12757146838539202015606428108335180658247
add:-76958222715483937218117123118097824686,-94131755294315965491758099750033439180279,0:-94208713517031449428976216873151537004965
add:9941064428919490001398667535954444,6153135198163214971541929596372799080,0:6163076262592134461543328263908753524
add:3831883399874967153073325466609079148,532933850230226797587412822078065345376,0:536765733630101764740486147544674424524
add:-50281475345524432188122843117426347,-9803783578868553758867748377042263121,0:-9854065054214078191055871220159689468
add:834761861391838835749698262829275672420,462418116078562931546840078329636278799243,0:463252877939954770382589776592465554471663
add:225390444541945757230864160941425071753376,-53966286270122861338860835026614792455718558,0:-53740895825580915581629970865673367383965182
add:58072467659883242067246942042391055912061,6014910057066062653667358884004188529013385,0:6072982524725945895734605826046579584925446
add:7983230467245365113789955920296234304,82831178283927503584223331110953816965231,0:82839161514394748949337121066874113199535
add:-45132067499699119195319118239527377040857087,55414967908829898692681772863326254754,0:-45132012084731210365420425557754513714602333
add:223736085581687840223151741351715016762,-234872704339511023869747996243506715388251819,0:-234872480603425442181907773091765363673235057
add:28507472864431142856885789471402326707231,612001776806865658512116926003228872602978,0:640509249671296801369002715474631199310209
add:181745193154135636884034106408465870431,1377247390938535372211751085008319196,0:183122440545074172256245857493474189627
add:-4269390869184529398543606143750267674905,7096165581548063546128304224326254363,0:-4262294703602981334997477839525941420542
add:679756117856607689911810374667015768583465863,6873132770775601366558132717863835975030609,0:686629250627383291278368507384879604558496472
add:68811928716841819374127395790718594105543,-39375978475154900824641971995674964440336,0:29435950241686918549485423795043629665207
add:-544206255007274743273093190267769706102594,-2633960527489961764864800511887586286863,0:-546840215534764705037957990779657292389457
add:2104363621112481255876148263045164671673,3455315958528890329983695074392024415,0:2107818937071010146206131958119556696088
add:34329184450930780849723051315762611673355499,-7104639609931302899460488253298995450,0:34329177346291170918420151855274358374360049
add:43634150371577068764686894937264376668,-11959554165007875996906989926905112,0:43622190817412060888689987947337471556
add:5024013516582802239298322665096973189555767,2088517329172254514727438561881167273,0:5024015605100131411552837392535535070723040
add:566562417680186012953839263884602744810,7199277629017396422779479852344452527,0:573761695309203409376618743736947197337
add:638955594778655267039016164163448484433233,14647767846572475359605733710956434972995,0:653603362625227742398621897874404919406228
add:892892418549132886737629998256603006,-42420003645924668249063343987514804160205,0:-42419110753506119116176606357516547557199
add:-345020858381297450936373802134725158851,-859477477801413864204931138561051434211277354,0:-859477822822272245502382074934853568936436205
add:91737862563680387690935307847429742390,-6404695075658291424340413128158568521902,0:-6312957213094611036649477820311138779512
add:-5423452022691148500208482455973347475028667,920708388791651749460962831411085083383900,0:-4502743633899496750747519624562262391644767
add:8150633265487263016893827297406214487098531421,693305116681597826454527918912884500199574,0:8151326570603944614720281825325127371598730995
add:-533542099871802731282960535234702413039265823,723089355050948526591740235214878409611,0:-533541376782447680334433943494467198160856212
add:-87660042403521352943774533787359048954462,23205508268059470425857002842150306009,0:-87636836895253293473348676784516898648453
add:611377119302093745013583546645763276869536489,-24306437719460476886753515868367600814,0:611377094995656025553106659892247408501935675
add:4077104707730979108276738109711194036126856,11060272475917992334991062931569856434791792,0:15137377183648971443267801041281050470918648
add:-7573466809324629854537923630574679416,47863519134315568229699768981973881143764,0:47855945667506243599845231058343306464348
add:-799102320184378863119971307727324658691,-223055933928835873102241901074720286440913,0:-223855036249020251965361872382447611099604
add:-892554445176156160154245376649692459,46912675277606111189784511368222685137077,0:46911782723160935033624357122846035444618
add:3026665879602974291587291059690414946715394131,369940715997138180165001378043470020585,0:3026666249543690288725471224691792990185414716
add:884243222337379604041632732738665534,784805891181951699244456801706510227963,0:785690134404289078848498434439248893497
add:6161631921601317978027999219270688283511,7540058790546974071130804326383997513568,0:13701690712148292049158803545654685797079
add:6921119983791225541212197181924239508872679243,1418358920528247154891120491105704894,0:6921119985209584461740444336815359999978384137
add:354562064037463731505174515681520375545196955,298046963066931310381553348264288949421865,0:354860111000530662815556069029784664494618820
add:9118288949631130571307463256861936097477907856,811804191882243735414480051639019704082019,0:9119100753823012815042877736913575117181989875
add:12323504604096011377318065801800362182031140,8419570117283520873564639019491515440808,0:12331924174213294898191630440819853697471948
add:40282114774095347321311816032119808177051,9392020059227568760693643864091980296962225,0:9432302174001664108014955680124100105139276
add:293824315258364662435205611375731221153259453,69936479932599496690415175383522476194836,0:293894251738297261931896026551114743629454289
add:744437789281951089483978067750841678986225684,6215758092668446071515969246800386681388042824,0:6960195881950397160999947314551228360374268508
add:7555232352218578953388426959061233639843,-338121179318504388356512546357851050384,0:7217111172900074565031914412703382589459
add:800786123647331529935991527240766809126924910,8084356801391362127584834876216208164918895003,0:8885142925038693657520826403456974974045819913
add:10929663989202222972072257796740362711,2014764235099935818353734632287788031375,0:2025693899089138041325806890084528394086
add:-2304110026472565466976559294239050373788594441,95118068539305153789040528913479244781984827244,0:92813958512832588322063969619240194408196232803
add:92970515686777203278075298872457538269139530036,804034060487391950939245065492783268785530482,0:93774549747264595229014543937950321537925060518
add:306074026230996345745669348355571285049,3351194990528556941059979503062943080591380,0:3351501064554787937405725172411298651876429
add:-1801109034823531811485037478828625593344102,-6788371291545724511455362562828939498570517171,0:-6790172400580548043266847600307768124163861273
add:9906924561298959226824383647599274129900,46505636651150809672589883942989253631123,0:56412561212449768899414267590588527761023
add:-532368057068285718080209540340159606385179953,78439393969883180556469736987530860427701949507,0:77907025912814894838389527447190700821316769554
add:1457791796516706098588078441562863530737,528666216820331549882926030036885918841998977,0:528667674612128066589024618115327481705529714
add:47587357391699836981813632674062733663847158658,54288315220694727806529289306655335607545661164,0:101875672612394564788342921980718069271392819822
add:2441679111284579236791979326321319109424,612350380810923282381362835527975935997871963997,0:612350383252602393665942072319955262319191073421
add:-2297182432664233691613076128334534556985403,311366264931073208179039511983011701314592621,0:309069082498408974487426435854677166757607218
add:812480504283331455325441717008120800963079831,821134520243619144054746507506987541221,0:812481325417851698944585771754628307950621052
add:292567021381222422856988422202010933008593,322995618653906543956044582847376714984579,0:615562640035128966813033005049387647993172
add:331282545048545544767134884053522581147,5766236410336035826171861644077140841513734,0:5766567692881084371716628778961194364094881
add:40252183714117806066401858275236076131151,-72745188677928192885457824316277110692234611263,0:-72745148425744478767651757914418835456158480112
add:46457019922262916743996775404831914092936856027,6315416110239465669051340102484371408912908926,0:52772436032502382413048115507316285501849764953
add:5466283595093360991616260159696927423349371,9668800763746329080816551076148727500025,0:5475952395857107320697076710773076150849396
add:19669588483473218340912326281765015036658,6428951178389068517174516071634753843412004200,0:6428970847977551990392856983961035608427040858
add:-81431110841967281357837413471759747002352,59367885431507523151090269106192098957070,0:-22063225410459758206747144365567648045282
add:793131141187380089412901409250143061286,49410607246090035402603177567556059311746,0:50203738387277415492016078976806202373032
add:494932333118909260725671042445153518250291,4075181671023511749962590099189964240222,0:499007514789932772475633632544343482490513
add:-547362235549081743238187402052314301548,927175407052843450557369599383180954617147573544,0:927175406505481215008287856144993552564833271996
add:-272998916785610528588015856567128410368677679830,602403911895041304594532488687738325572579146,0:-272396512873715487283421324078440672043105100684
add:8177918913965812142072794805257040419006,838843558448368858294329869233866828152454,0:847021477362334670436402664039123868571460
add:798568364983632999724049529535252351299484436,1636919605401113337112219636142485235118757683,0:2435487970384746336836269165677737586418242119
add:4076227872389818674764507178478356204607924906,4858120806733600624675339938519375739087835150531,0:4862197034605990443350104445697854095292443075437
add:-58122662125434671011329360835993435253491,73132097808279681951175475035160758741946537,0:73073975146154247280164145674324765306693046
add:733775087409818416274588823315348054416,97371071518767684325114545482209171317320411,0:97371805293855094143530820071032486665374827
add:-113771533173503933275852574248237858610647533103,-12104130628645378506655176004172910468799298190,0:-125875663802149311782507750252410769079446831293
add:19142539887689220939206017561014662533486,24783822476272570995796547534197064407548413574,0:24783841618812458685017486740214625422210947060
add:439837175373522535394537896444136762539607278172,788273119543040327881133870675846687731,0:439837176161795654937578224325270633215453965903
add:-3980465773532478253498557952430511370686544744,-22356254466454106659993425179664976374433,0:-3980488129786944707605217945855691035662919177
add:9650385443349312084379714880369460479489737296,6396197664786865714161963852384918829120808565316,0:6405848050230215026246343567265288289600298302612
add:894227798078569418728694383878564021992203400,1182303697127187181785402622190820894529084,0:895410101775696605910479786500754842886732484
add:-4968456861598503731688245766554869039074227065751,926904708071249932339986591447176660865869610,0:-4967529956890432481755905779963421862413361196141
add:5744863136870997246649436419851337184337852,528486352801627277403411298307704227595528990,0:534231215938498274650060734727555564779866842
add:5651588707112308839251664128448753689228260350068,984180076053671456754725942868445032681314220925,0:6635768783165980296006390071317198721909574570993
add:5999152998115672648494375904218236573991007462,-15627181548166981556755315951112371297310,0:5999137370934124481512819148902285461619710152
add:-37220135577661031799960043003324908060140177399,9970705541292214994356839103435039397499,0:-37220125606955490507745048646485804625100779900
add:81418507001304873846314147833079242440551,32906438533170379081041165307454763260134,0:114324945534475252927355313140534005700685
add:-93195022996360129134236780916054647692069,5347394971811231651758505656470675163708448894939,0:5347394878616208655398376522233894247653801202870
add:605079543296413508307097975102518892738230991,-102491396779053720487374578863736177412235,0:604977051899634454586610600523655156560818756
add:-110305166634594825509078326414660546828041104,253473010673771926873011949379610506924336779901,0:253362705507137332047502871053195846377508738797
add:21931199654933572392043984306892711921146445570,2907527660451297402481924885414001739485555606360,0:2929458860106230974873968869720894451406702051930
add:-81846516530505341747573039394704262141139282278,119414978059342373259474020371815492807938,0:-81846397115527282405199779920683890325646474340
add:-7594376981942593652353502069500431608125593919,51500020414584784205697427672128650432402168,0:-7542876961528008868147804641828302957693191751
add:136465982599750396225253353955535355661156027759,5386715282857389783661176620617283963576556199,0:141852697882607786008914530576152639624732583958
add:960930288983993235515929578403745857227039650174,201668060600182361443839360602375118505473666,0:961131957044593417877373417764348232345545123840
add:927399705750647791187277745876572384967669031,-673794088022646279670235088913126760332168167,0:253605617728001511517042656963445624635500864
add:7745147274519362522020786496011332545870526042,19019754982701808405498074108182013455237249,0:7764167029502064330426284570119514559325763291
add:-842589681484827364133898448093132213715096,66373404917619583079354798332238441802307622071,0:66372562327938098251990664433790348670093906975
add:9158459055331725756564214096327568283821833271587,-7389288408299737295395199016916294076133587,0:9158451666043317456826918701128551367527757138000
add:4944028992893254151938145908432799220246101,-436673227225833465221751159174587350069599,0:4507355765667420686716394749258211870176502
add:85957500826134796993374704843873074932736702843,-4737398263551254522274364145346551611616824,0:85952763427871245738852430479727728381125086019
add:26693268270411692795540232504436733736819493,4761693453843664104004802004918903884493929,0:31454961724255356899545034509355637621313422
add:597280400846352101193980095689737150106994666,774020411370064574149407278425457714972829559066577,0:774021008650465420501508472405553404709979666061243
add:626155559446956944212578906031124683128572,190636244537054762721029791162041488568193458261,0:190636870692614209677974003740947519692876586833
add:-51338951497767599237983853763132687032134115219,68079208415865834874846470899944876794467826,0:-51270872289351733403109007292232742155339647393
add:9281945169594691475182670852780411412286110132,4120131010237928269938977002467007362193300912745,0:4129412955407522961414159673319787773605587022877
add:144444680217834068698978156521073014198828507368215,23691353332382600912666065659579140865069030,0:144444703909187401081579069187138673777969372437245
add:878907846660280522460467125993162483781740948299,5727027980609935208356763794713340938325393172,0:884634874640890457668823889787875824720066341471
add:3863121890985058037468197591726440896929526748,3838808795310625556439132045393084001945658165756,0:3842671917201610614476600242984810442842587692504
add:-43851511659924905732938464166653593999167629,374198438005814389346971540424050513685984,0:-43477313221919091343591492626229543485481645
add:22107098238291185428187231696045952139458647,-1094439233801215665665730295403509442215518,0:21012659004489969762521501400642442697243129
add:-94370080435346767326735355398641314752346677702547,900650711826114107815166281187719185619458093712865,0:806280631390767340488430925789077870867111416010318
add:70130581982287853776073835767285560754385359048506,-532362174374052657999220752357898449008895,0:70130581449925679402021177768064808396486910039611
add:368905471254498539128761742427996559644271835585,271908988467870372234177722038239359722817938904087,0:272277893939124870773306483780667356282462210739672
add:1665461612154764119629895499464633250637874,19134987808509688322855052440395621824879039321919,0:19134989473971300477619172070291121289512289959793
add:-70082361212896736227109455495902573787866185574,63015365869689393850987592591316804653013263,0:-70019345847027046833258467903311256983213172311
add:-25078358419757381745462531594488486741766002505050,6161145995589782600946047354747671861460817403,0:-25072197273761791962861585547133739069904541687647
add:666708317711411288619476006374466033771205130,781945629304382958374150588014142227194285896984780,0:781946296012700669785439207490148601660319668189910
add:-792815175132398652587456324873505574700585654,21786271555833620127501336636667271735069671301676,0:21785478740658487728848749180342398229494970716022
add:8661916666639431619374961032583120863479342934873714,6870583561131081729711383493275798626139956,0:8661916673510015180506042762294504356755141561013670
add:681924022906622856896996499665629155099035690,-1004571345497457234878302490699035957625595966418,0:-1003889421474550612021405494199370328470496930728
add:60230268321104247199768325351860140731648751905,-4983405216089518546950014876276513305697847179,0:55246863105014728652818310475583627425950904726
add:2918902473029364921844125458709973674625996417335,-2210652159145259648205005443331558229225741752,0:2916691820870219662195920453266642116396770675583
add:6803277105307410414680931382137753681870063418,-776208865523397828037840355299954380619094803,0:6027068239784012586643091026837799301250968615
add:-25003719704019868385876356333662873293268630766666,9372027355506508855692368294638946856664530455245,0:-15631692348513359530183988039023926436604100311421
add:8627504130949202764401824904787234047442744,-5835544012798417318076520693682832657982999792109,0:-5835535385294286368873756291857927870748952349365
add:8260090424580577318194392652868871801866634,36338984070638282375666743416237170513165272265,0:36347244161062862952984937808890039384967138899
add:-2567885127747973574087086225772899311267410108214,5508239791588330680899787231378688448833646,0:-2567879619508181985756405325985667932578961274568
add:48666808545649708354733246480044529199921866,13005891966314816519574625124428351433895270842,0:13054558774860466227929358370908395963095192708
add:8389420702531793876639200928278611121728614873,72321325080169680993090249289587185602319073066286,0:72329714500872212786966888490515464213440801681159
add:65036752240714453689171239051023570841745399448,28805290908818160518681925899689595311583946916,0:93842043149532614207853164950713166153329346364
add:8528322759745304970664183606826265148753341767,5634304035479369557540127200029887348029829,0:8533957063780784340221723734026295036101371596
add:6995036754431505162769439569653358554669540097656670,2722846684750068252266709009646270633127873447,0:6995039477278189912837691836362368200940173225530117
add:4614880368095698349182582007399802736977295545255,11355964798518264828005986699392784240730268,0:4614891724060496867447410013386502129761536275523
add:9765319509166162487395146409291488887181479800078357,56035915231430273323816838439018348917266581235751,0:9821355424397592760718963247730507236098746381314108
add:-1138347106436233679061275009102135358639634924718224,46159563323218296802052742149061303164800629266863,0:-1092187543113015382259222266953074055474834295451361
add:745228794745562968451209928390566434920348152,53527148122790166734511060330707072382963660028206,0:53527893351584912297479511540635462949398580376358
add:-588301306658858069453782008551175393534786100,8712212161075124266879455562405482117241102217433446,0:8712211572773817608021386108623473566065708682647346
add:46121030188079872648021130753538085801476800798517,-39019521584656792767403515534426019969693675753732245,0:-38973400554468712894755494403672481883892198952933728
add:29619919729277459435885608963790118777332486981,-52524378650492377071821593603303584552489704670,0:-22904458921214917635935984639513465775157217689
add:98181101791503545628614157059694144214397756,1723001921171301726556866325501042586856901467,0:1821183022962805272185480482560736731071299223
add:5153029430313427472772415517579200893432348228326467,-1040085720098897906942859081192037450000456492060,0:5151989344593328574865472658498008855982347771834407
add:55004581470141018296263456318558804429110712,19377908184204050840224411596809648305527908013156,0:19377963188785520981242707860265966864332337123868
add:1072136046766180220620214293788952197166650,-213267489440701336454712703551017176911643371,0:-212195353393935156234092489257228224714476721
add:85287699588051450238950600525312209592474610983306876,517154134935551400902310308900510987679476894019343,0:85804853722987001639852910834212720580154087877326219
add:3350463350046534274745259894989563302676256855267,99327287030974528755979749538531148523479743562098,0:102677750381021063030725009433520711826156000417365
add:36843614050676239637380078007323912504843199635073,28079537606053733508869174435690016524431336472901360,0:28116381220104409748506554513697340436936179672536433
add:626594076527207859168744152946567653623622813350,289789726716786201909677270796703151236725201042779,0:290416320793313409768846014949649718890348823856129
add:93605170968295281833171644687712829154123033934,2543628559470582895074562108146894775567883682,0:96148799527765864728246206795859723929690917616
add:2052998161971266479740877443236081325994829866117101,3539290099275844711415812545767592527236681167098,0:2056537452070542324452293255781848918522066547284199
add:5417604415616705991065803076609145766510431919,1353196489306588682358657032784715674378273388275,0:1358614093722205388349722835861324820144783820194
add:272499404407187599426080423265627888541662659954,1327146833710771382036670351680559306817615656153,0:1599646238117958981462750774946187195359278316107
add:-699651119896474314900584685497791738111506192,-69672515802110594977623027100779022212514726206040720,0:-69672516501761714874097342001363707710306464317546912
add:712509548377940176185869895492904750887086413,56176731066398404861602715769426642572627041935026808,0:56176731778907953239542891955296538065531792822113221
add:7143592025239088040306437550950750880457741265799,79269337742179821463637514051770454228086789838,0:7222861362981267861770075065002521334685828055637
add:85784228041270748531044763418005303861773086316768,479955707155465525495908770086376625866496445325,0:86264183748426214056540672188091680487639582762093
add:8633607053652219081012560844815432350350653816,-27730558580923841131198160035073520602640809937568,0:-27721924973870188912117147474228705170290459283752
add:86298209842676209783265202243860839968224984059,-14653841574444115669146420066088654283351629895,0:71644368268232094114118782177772185684873354164
add:625971576355871986206876583141040580270991368399,1591656865887426266688630862274904247349299714291874,0:1592282837463782138674837738858045287929570705660273
add:8094263949925391895110456153285525932274467906035,8828498248880817055759174086148047904385900536902829,0:8836592512830742447654284542301333430318175004808864
add:82237003877466505256157158841093493965062954411803144,91547031285735648783322726839616156920221022695429,0:82328550908752240904940481567933110121983175434498573
add:9037532307369285758380237914390337810953906576116947965,-2080798311402701935902060326222031250344403292352,0:9037530226570974355678302012330011588922656231713655613
add:50808222368724781507631572923387538639418605384327,2105468684081970883293309501603862482752205466,0:50810327837408863478514866232889142501901357589793
add:614695843041957442246110545422122115064228337420826,4173998806904671505997631134479640680904576896439869,0:4788694649946628948243741679901762795968805233860695
add:1064820342923287213463623720132244635622458829981525933,-1475875068811641600756631104502187851477440325297,0:1064818867048218401822022963501140133434607352541200636
add:10157417423684726201410937603631975742627908169404,7838021453657103572002203182188244231243955079181707,0:7848178871080788298203614119791876206986582987351111
add:37159508474657925925316976495629749227380940275864026,1962232433094621175896408173610784235423834821218,0:37161470707091020546492872903803360011616364110685244
add:90799712490109616993113540668118622608569993361558,6473804353031813836768680654473327017068712061,0:90806186294462648806950309348773095935587062073619
add:8558267182043409385092694859321311049409595764196,-43855190592575763264725873745536703978426263630380326,0:-43846632325393719855340781050677382667376854034616130
add:8862769280704424674067234121859535881853068385985015416,3128430671333004136364095742988724990646419068,0:8862769283832855345400238258223631624841793376631434484
add:378208270494674096813484033949342736267924012919568644,1144519071359286777414333143799173474364390418550794089,0:1522727341853960874227817177748516210632314431470362733
add:-6579674113733012078327119937146015198044119737,-3734798125808966311088975985514063521776488722551148716,0:-3734798132388640424821988063841183458922503920595268453
add:2960711245597899800032622343542149905437203154361936820,499809669955373495757639913113238315793000498691,0:2960711745407569755406118101182063018675518947362435511
add:25821180677407112730506355642526955953730655437874901,220829252352340433327709631917215008695896671223582832,0:246650433029747546058215987559741964649627326661457733
add:4105370173243521757766753923407753132483088841573916094,-5859495212721416724385219267491089611350684535452912,0:4099510678030800341042368704140262042871738157038463182
add:5163869845851925892481681950908088101067549260179722231,4902983733534376916005427640372005698206345908473,0:5163874748835659426858597956335728473073247466525630704
add:8939484182366010380381840561998154807909027117547207,-5791890006411319753232065830229236658118816108248,0:8933692292359599060628608496167925571250908301438959
add:701510238238697450550654709447628676278557462178180,78660480845787107751570298546903383688737254959620217,0:79361991084025805202120953256351012365015812421798397
add:341765117982065537129466755082499645994576852735,692520757209429295113115688021272259739538890867946,0:692862522327411360650245154776354759385533467720681
add:-4895783578731845919967474094433303503864596778179935462,-8364042240998784278401769408809806799945229261776648,0:-4904147620972844704245875863842113310664542007441712110
add:14238409419953914857984647802372979092302755219238310,6371574430505907367749465495358382099864633219840163,0:20609983850459822225734113297731361192167388439078473
add:819145829642159547700859583648855896951539123580831,361506805586624128214007976586393021628930076090363940,0:362325951416266287761708836170041877525881615213944771
add:1877636417667934516336941709697932194927216313530003266,3110415340804941864303432168123355167418335131760417702,0:4988051758472876380640373877821287362345551445290420968
add:7672066575928913691752679142441515012172611183558245718,371851147532253430639711983046051123330781047618685,0:7672438427076445945183318854424561063295941964605864403
add:95512312207249366298896076611182343964081859466,-97124870343231010626703079092608549509450053912,0:-1612558135981644327807002481426205545368194446
add:-5806422968663023549900750663638875296207673594658363702,90516128085557874002777142664275230359248090059,0:-5806422878146895464342876660861732631932443235410273643
add:-1527157822675106197481254438080912892158041984128532354,725563661143607175528703551625121106037288811283,0:-1527157097111445053874078909377361267036935946839721071
add:-42827691392859896582177202183556705231114395686423,45128827735882217281406911116739020388874185279388551,0:45086000044489357384824733914555463683643070883702128
add:46043838505488963276375641613705710661972295575962167,28467164488355628577488094369127349235531802379663224,0:74511002993844591853863735982833059897504097955625391
add:-38951950148008162832054098288607961881664530927148,8335283480464728668637429037127284541356281150509317,0:8296331530316720505805374938838676579474616619582169
add:622249316814675692027128671081941223678839381254582193,7261720220517111354905851547139726385938166469124332501,0:7883969537331787046932980218221667609617005850378914694
add:3674907036214085782411042221746956364413334313796,1921363713435768167432104932165249283578036436190717,0:1925038620471982253214515974386996239942449770504513
add:7188482591275581867180190647387989483887113319876542897,6602680320762178166851882906088739930967430231717025380,0:13791162912037760034032073553476729414854543551593568277
add:-1122742189773381273084251248143689561591037547534016,-968674210476153943757292285354448302755574664218668317,0:-969796952665927325030376536602591992317165701766202333
add:-5630591882567573704954413450307476327113066874903314334,39824636924677667925199181345729096573735144801160,0:-5630552057930649027286488251126130598016493139758513174
add:209583289465308712087487686838240265261210109472315151239,81969909236232824125903325576417695025146872644272065,0:209665259374544944911613590163816682956235256344959423304
add:647747950632636576869808198783011688046450148232434870552,916898592764747488235431320315097102338752371550,0:647747951549535169634555687018443008361547250571187242102
add:28135712883527960051641471442637534495815689268599701727,-38552244671238077902324238695360695260926661808213,0:28135674331283288813563569118398839135120428341937893514
add:-831441344128176770720666876352870008663528096084544984455,-2692062828036480019863362944971350891750264323444185775,0:-834133406956213250740530239297841359555278360407989170230
add:794701017798083397494303069423796491577530373372626,-72102207786198755767165144812992747956259847426428,0:722598810011884641727137924610803743621270525946198
add:197485890851875072994741135376825653896503519991,138163469337810386780302197638192920802358090884502167,0:138163666823701238655375192379328297628011987388022158
add:937892167666694076995649413871805692261114284540745180898,484506468570589158974739913192421910069689875922723630197,0:1422398636237283235970389327064227602330804160463468811095
add:49513458769560636111865879434482526113781325925566233,9100294802196263191040735829862469546124284819589,0:49522559064362832375056920170312388583327450210385822
add:6804265638701156312303584072108871897818849901582,-11345730118278439960458447085533973659139348981794,0:-4541464479577283648154863013425101761320499080212
add:51279593637893634015629961349071462173442991832147136305,-630963561638139460898375258178326027272464749013574827807,0:-579683968000245826882745296829254565099021757181427691502
add:-171297863190088468833128267336456231676696349106086723,25562345013839243089120015450478579141692354834498920234,0:25391047150649154620286887183142122910015658485392833511
add:236820721337287547681130447452461282950000944868027,7910172708500900617141147757503793584328456508673025,0:8146993429838188164822278204956254867278457453541052
add:6265195034976332988146228918664074473854894060855990323,7606251428765818252926521082377358210182682774550344917,0:13871446463742151241072750001041432684037576835406335240
add:89597374568972918585799186543628138088356766678901,1813314149334378741507569909010462456324603409087645773,0:1813403746708947714426155708197006084462691765854324674
add:195306949022209072289234099720202676610869290157465206,-994716438467019815849178678443452892613653602203942,0:194312232583742052473384921041759223718255636555261264
add:-939205563958045162651332219711896963000039406190357,563202907700832072617064560363622275558376679989258989,0:562263702136874027454413228143910378595376640583068632
add:80098286952047593891272622966959373457660113936107,5904947277434951020763542155046693897001992702425164,0:5985045564386998614654814778013653270459652816361271
add:19798014000926405624727315383918920042183182364693,6487262615903993794908286483828887670955698777423148134,0:6487282413917994721313911211144271589875740960605512827
add:84945814099981001691936754290990954291541653727223572796,-456805979472350610125202046336073888213752286874218,0:84945357294001529341326629088944618217653439974936698578
add:2512089645159345096564730857111312670343564829071686,2455481799353124733391499423535890463012321535291607772379,0:2455484311442769892736595988266747574324991878856436844065
add:73301381174453517580526931086388280775135813526768,4626165037419596821133153230043681255350276120564978,0:4699466418594050338713680161130069536125411934091746
add:792820818959899903274588755045896284554931997668781703281,2595874074799206526967637468037895862567437806098280407872,0:3388694893759106430242226223083792147122369803767062111153
add:31597081840709827246680247566853001879220752914725613176,2390964620594830956235541402980808255816375199839045,0:31599472805330422077636483108255982687476569289925452221
add:31597081840709827246680247566853001879220752914725613176,=1,=1:63194163681419654493360495133706003758441505829451226352
add:2037822438092847430389261539441146424774943894590,39916000644658200588230707520252700806573106896546,0:41953823082751048018619969059693847231348050791136

# Small integer addition tests

addv:51776377,-46479,0:51729898
addv:7494538123,-48092,0:7494490031
addv:5,20101,=2:20106
addv:626,15974,0:16600
addv:927,14290,=1:15217
addv:71398252,45970,=1:71444222
addv:93063,60606,=1:153669
addv:-4895,63134,0:58239
addv:8033997,6091,0:8040088
addv:92778437607,15749,=2:92778453356
addv:807578710629,-16317,=1:807578694312
addv:6722,34150,0:40872
addv:484482964826,45791,0:484483010617
addv:63333,19921,0:83254
addv:757593394565,58611,0:757593453176
addv:5848315192249,20055,=2:5848315212304
addv:21778,35258,0:57036
addv:639687980,-1547,0:639686433
addv:-8993430803,-39481,0:-8993470284
addv:-825483,40649,=2:-784834
addv:375685401,51109,=1:375736510
addv:134791583451863,4578,=2:134791583456441
addv:53129115309,51316,0:53129166625
addv:471178234304,3338,0:471178237642
addv:-7636956216875810,23137,=1:-7636956216852673
addv:-2312413443812,31719,=2:-2312413412093
addv:5200691919,55510,0:5200747429
addv:5715872742,43764,=1:5715916506
addv:5568388095431485,6290,0:5568388095437775
addv:76084126643,54578,0:76084181221
addv:96531391779281,46438,0:96531391825719
addv:-828922693,15465,=2:-828907228
addv:769843302686441996,27790,0:769843302686469786
addv:1414000736454,15931,0:1414000752385
addv:606227414766,517,0:606227415283
addv:717100323961,499,=2:717100324460
addv:-85406334226225355,-50533,=1:-85406334226275888
addv:-3753831486,-36277,0:-3753867763
addv:-58465715745893828,12779,=1:-58465715745881049
addv:2855399155447860,5468,0:2855399155453328
addv:4552049505281749,-33297,0:4552049505248452
addv:87837072754930,40967,=2:87837072795897
addv:-42693214607695890,-30492,0:-42693214607726382
addv:70742576302309,-20599,0:70742576281710
addv:118600972756003,10194,0:118600972766197
addv:-882812251166,55167,0:-882812195999
addv:-416381834108529,5090,0:-416381834103439
addv:2956620172683281,-15742,0:2956620172667539
addv:2711117679184010399584,9500,=2:2711117679184010409084
addv:1356315685039,40425,=1:1356315725464
addv:100388100074891247,28468,0:100388100074919715
addv:735453579551845,-55120,=2:735453579496725
addv:9573520208716968,57962,=1:9573520208774930
addv:22464333496911435917,45263,=2:22464333496911481180
addv:2318330134061664645524,35817,=1:2318330134061664681341
addv:40085116522469,35577,0:40085116558046
addv:-9824195637526213,46625,=2:-9824195637479588
addv:1387219546869173,16428,0:1387219546885601
addv:519326948996459554946,16498,0:519326948996459571444
addv:901089575144273153684,48818,0:901089575144273202502
addv:-7267047498859484256669593,10213,=1:-7267047498859484256659380
addv:2746871124496359442,58189,0:2746871124496417631
addv:-1505797511965887167260747,10886,0:-1505797511965887167249861
addv:816815491488878842,49097,=1:816815491488927939
addv:16917424131349552780253,38836,=2:16917424131349552819089
addv:957454833834708924361,39916,=1:957454833834708964277
addv:202026277214860503572,-38223,=2:202026277214860465349
addv:968746861113481671,1030,0:968746861113482701
addv:895889431267844251,44333,=2:895889431267888584
addv:-3357720693387242036833,6150,0:-3357720693387242030683
addv:659201417242721199959654444,44813,0:659201417242721199959699257
addv:-400853063392189225718219,-1010,0:-400853063392189225719229
addv:7218879194561993107952676021,-44154,0:7218879194561993107952631867
addv:4721568551140507782,28030,=1:4721568551140535812
addv:17034283717006469465522672,-11569,=1:17034283717006469465511103
addv:41795594273804830816397,-7668,=1:41795594273804830808729