llvm/polly/lib/External/isl/imath/tests/div.tc

# Division tests

# Tests for error conditions

div:102233,0,=1,1:$MP_UNDEF,?
div:0,=1,583922,-12345:$MP_UNDEF,?

# General division tests, verified using GNU bc

div:0,847887705,0,0:0,0
div:80000000000000000000,25,0,0:3200000000000000000,0
div:65000,25,0,0:2600,0
div:800000000000000,25,0,0:32000000000000,0
div:-4,58,0,0:0,-4
div:36869,818935,0,0:0,36869
div:364,921,0,0:0,364
div:5169,898,0,0:5,679
div:#x100000000,#xE424,=1,0:#x11F42,#xD2B8
div:-6144,15855207,0,0:0,-6144
div:680441,-8247,0,0:-82,4187
div:-31218529,577983165,0,0:0,-31218529
div:3,6280,0,0:0,3
div:-2,39790,0,0:0,-2
div:-310,611711,0,0:0,-310
div:46573596,6038351,0,0:7,4305139
div:4525534,39110,0,0:115,27884
div:5938,7789378,0,0:0,5938
div:19732849245693930165221819301662844,18446744073709551616,=1,=2:1069719901075515,6029073732495380604
div:9,456578633,=2,=1:0,9
div:538090499,1858,0,0:289607,693
div:572,3804550,0,0:0,572
div:288850,21164,0,0:13,13718
div:-5190106,34726,0,0:-149,-15932
div:7795,72811,0,0:0,7795
div:781579692,-5,0,0:-156315938,2
div:781579692,-5,=1,=2:-156315938,2
div:781579692,-5,=2,=1:-156315938,2
div:453020143,-3473628,0,0:-130,1448503
div:8,853320290,0,0:0,8
div:852316479,2925,0,0:291390,729
div:8,5,0,0:1,3
div:859848,9,0,0:95538,6
div:70,48,0,0:1,22
div:253385147,659538174,0,0:0,253385147
div:-455686878,87344,0,0:-5217,-13230
div:28271,635389,0,0:0,28271
div:-86,2692,0,0:0,-86
div:8591158476,73,0,0:117687102,30
div:9082,275389,0,0:0,9082
div:-582874,74264,0,0:-7,-63026
div:237,4104,0,0:0,237
div:7076150589,92653,0,0:76372,55673
div:28665011462,-1272,0,0:-22535386,470
div:-8056787359,8082209,0,0:-996,-6907195
div:53192266,900107,0,0:59,85953
div:91513,740,0,0:123,493
div:-98721211,8015090320,0,0:0,-98721211
div:11450,-36952886107,0,0:0,11450
div:13925193,949882,0,0:14,626845
div:683469315,-73092992,0,0:-9,25632387
div:1164719,42872,0,0:27,7175
div:-83594243092,3591081825,0,0:-23,-999361117
div:87138285,266592788,0,0:0,87138285
div:936091,704216,0,0:1,231875
div:142238814011,709885571028,0,0:0,142238814011
div:580,-60286,0,0:0,580
div:5794931,-5726480,0,0:-1,68451
div:88764678929,-2091175751,0,0:-42,935297387
div:950181713208,-13449,0,0:-70650733,5091
div:97846262,387939152,0,0:0,97846262
div:32321004,4640815041,0,0:0,32321004
div:9059,24970299,0,0:0,9059
div:-223020,974872432,0,0:0,-223020
div:628713585932,70889408675,0,0:8,61598316532
div:5404031582279,-4343762403,0,0:-1244,391152947
div:-27687,92528708054,0,0:0,-27687
div:71252,-444744751915,0,0:0,71252
div:2821624059,830276221,0,0:3,330795396
div:77957,604211270,0,0:0,77957
div:4336867764,377604023491,0,0:0,4336867764
div:-1183882,537011618,0,0:0,-1183882
div:7224227137658,26159,0,0:276166028,11206
div:40420610021,29600662602,0,0:1,10819947419
div:-53857,7190456320,0,0:0,-53857
div:9365,85703,0,0:0,9365
div:84454441,7874100414786,0,0:0,84454441
div:-692,-92802,0,0:0,-692
div:-31682292914,2103996,0,0:-15058,-321146
div:675174791229,617791,0,0:1092885,274194
div:151503,-7352433026033,0,0:0,151503
div:-5675649814790,-45077421077,0,0:125,-40972180165
div:-259966,4211178684,0,0:0,-259966
div:99243,8777962733,0,0:0,99243
div:-603163384555,4331787866,0,0:-139,-1044871181
div:602983,3355548,0,0:0,602983
div:-6945091776175,64113609219877,0,0:0,-6945091776175
div:637048330,39484763123,0,0:0,637048330
div:-268774166,54251789102520,0,0:0,-268774166
div:96621785,-44159202070842,0,0:0,96621785
div:259095,798144185517,0,0:0,259095
div:673478104612,6115944997,0,0:110,724154942
div:64865142,-7529340145,0,0:0,64865142
div:62901084202908,923068964,0,0:68143,395789056
div:857311552,30222,0,0:28367,4078
div:6646483,1292987,0,0:5,181548
div:855267457921,77070194891856,0,0:0,855267457921
div:930905,-429874001253,0,0:0,930905
div:-82732,973702689,0,0:0,-82732
div:7498877,33402368,0,0:0,7498877
div:2891132,3009602159727,0,0:0,2891132
div:-16580361,45469862,0,0:0,-16580361
div:28811879,1156690,0,0:24,1051319
div:681237481,42215447,0,0:16,5790329
div:952119,65641,0,0:14,33145
div:669100,32909317724335,0,0:0,669100
div:406354444955,4811582310504,0,0:0,406354444955
div:-87218901,5441737753,0,0:0,-87218901
div:262693,279060,0,0:0,262693
div:950539838,98609240829243,0,0:0,950539838
div:8061719120,-28536222,0,0:-282,14504516
div:-3551675,11288323481405,0,0:0,-3551675
div:3133528691,1315285,0,0:2382,519821
div:1588170591121,9023526203,0,0:176,29979393
div:1709754910,343280090631449,0,0:0,1709754910
div:7694474,6311674489334,0,0:0,7694474
div:285071476,771758808364462,0,0:0,285071476
div:4473571504184,5027949393624517,0,0:0,4473571504184
div:-314089112111113,-8919383,0,0:35214219,-5804236
div:919605168565,-857045700084,0,0:-1,62559468481
div:-2803909388714,46792205688194,0,0:0,-2803909388714
div:-864476,-809506582,0,0:0,-864476
div:157477674603,932718332239208,0,0:0,157477674603
div:-86938062350,44113358240184,0,0:0,-86938062350
div:7332602805,35651734,0,0:205,23997335
div:40677613,7075290162,0,0:0,40677613
div:6636106412767060,-388484912,0,0:-17082018,153254644
div:9453362014,-644867786149524,0,0:0,9453362014
div:123163311944389,-16324640549,0,0:-7544,10223642733
div:55603403145688,-51970044763,0,0:-1069,47425294041
div:-54436610546,-9254821627256041,0,0:0,-54436610546
div:34541223746384523,408005019,0,0:84658820,283766943
div:23462284247353823,2661546,0,0:8815284142,350291
div:417392442148,-30391736401961,0,0:0,417392442148
div:-718458863,-73668989433156990,0,0:0,-718458863
div:-1215789,25426915315,0,0:0,-1215789
div:8299846204145462,9023932210324,0,0:919,6852502857706
div:-82615892630,85109462984880568,0,0:0,-82615892630
div:828237348372,822759132224411,0,0:0,828237348372
div:35003657,287087229590,0,0:0,35003657
div:741329413510689,600380266222,0,0:1234,460164992741
div:-454795890210,66807881739,0,0:-6,-53948599776
div:442416942,-79456387864,0,0:0,442416942
div:7067406608460,507872176187,0,0:13,465068318029
div:57674203676661022,3315186364,0,0:17396971,2642557578
div:-6677233842,881012314,0,0:-7,-510147644
div:828372724537918527,2204184463,0,0:375818239,1222097870
div:-97445457356928,3845827480,0,0:-25337,-3726496168
div:644919922824665106,692147849,0,0:931766130,174110736
div:-54599915326211,-274657876971100,0,0:0,-54599915326211
div:3507375128,373578606,0,0:9,145167674
div:19124901,485472050038835999,0,0:0,19124901
div:687842561,49925524361,0,0:0,687842561
div:193224391137090311,84335903540,0,0:2291128,41131297191
div:388138056,66626944,0,0:5,55003336
div:-656523898932,84101085851135799,0,0:0,-656523898932
div:86004003567986,713613577148692,0,0:0,86004003567986
div:7992270343,87209595913499289,0,0:0,7992270343
div:-890969253231921,739402045213270955,0,0:0,-890969253231921
div:6345032414365,821532347711110478,0,0:0,6345032414365
div:-2988926571013999683,766437559276027,0,0:-3899,-586527396770410
div:-15464671727416040,-618822744180643,0,0:24,-612925867080608
div:21542413221581,-12802725163,0,0:-1682,8229497415
div:210193665939,3964410139763307,0,0:0,210193665939
div:-79273337971,91480286016,0,0:0,-79273337971
div:6859567649816379680,-89417752889,0,0:-76713710,85837971490
div:4244108501419250,1773608945178,0,0:2392,1635904553474
div:-7873175456557395,-541450782136,0,0:14540,-481084299955
div:2898452653,8240117642629,0,0:0,2898452653
div:-8585567176400751363,39056741283,0,0:-219822926,-27546697305
div:4923064817310182,488568656518880796,0,0:0,4923064817310182
div:3946741285053501,-8922249541453011,0,0:0,3946741285053501
div:438914382542168,98348892578,0,0:4462,81623859132
div:257824992496,-9594074905801512,0,0:0,257824992496
div:6213773111135227489,251684062660,0,0:24688782,155248147369
div:-851789213354610296,395154960128827139,0,0:-2,-61479293096956018
div:234318209260,31123149038286353070,0,0:0,234318209260
div:243854015291982,52511298700,0,0:4643,44055427882
div:7259566528156,6524807428024562671,0,0:0,7259566528156
div:-887488809078966765,845297673812,0,0:-1049912,-637771662221
div:65325904373281379,40360887138954,0,0:1618,21988982453807
div:85548880813,9240276773237567918,0,0:0,85548880813
div:7737568342993115224,69017119565996596,0,0:112,7650951601496472
div:-2862875578129,87167074447,0,0:-32,-73529195825
div:48121669474016423,812759701293155,0,0:59,168847097720278
div:-82120995972822350,9793327794599,0,0:-8385,-3942415109735
div:96669753363716639,3137138094734,0,0:30814,1980112583163
div:44554701178616,52377515472783262637,0,0:0,44554701178616
div:12903174971697,577437337389558244582,0,0:0,12903174971697
div:38970472084822,-12255774904287,0,0:-3,2203147371961
div:-371784186042,36063372236212364134,0,0:0,-371784186042
div:-5423240799687893943,69598779690234855,0,0:-77,-64134763539810108
div:78261697698230901561,532057670838,0,0:147092508,494031019857
div:-867163311151035436254,1681644368464785,0,0:-515663,-1531175379008799
div:425847772644293,726262561530005,0,0:0,425847772644293
div:623414319659742,26868506006719423291,0,0:0,623414319659742
div:3999344581644,6784937040418183244,0,0:0,3999344581644
div:-418166904889870721653,99856664384501754791,0,0:-4,-18740247351863702489
div:4737717701335,43868455388327,0,0:0,4737717701335
div:-170318802370599286974,88681362021061351331,0,0:-1,-81637440349537935643
div:-401236499756120675284,617234855370415616,0,0:-650,-33843765350524884
div:8507669577483416,1708320712715767,0,0:4,1674386726620348
div:-779872398090729,9483722067689467,0,0:0,-779872398090729
div:-6974404749995800334378,88119801211272782297,0,0:-79,-12940454305250532915
div:1644424212644083246063,6570040442718779,0,0:250291,2220195557331374
div:380529423855576,-66584160392695795292,0,0:0,380529423855576
div:-59486508603350002,3049574533592654270009,0,0:0,-59486508603350002
div:4670852164286,194818165100985439247,0,0:0,4670852164286
div:-9242375894510748,427966685403010,0,0:-21,-255075501047538
div:-2547406540907066001,9156772267145703887,0,0:0,-2547406540907066001
div:41045576141401448,295376215711793,0,0:138,283658373174014
div:-8596645367243,618616563342036461,0,0:0,-8596645367243
div:-8190662465572761,4614103375660380354519,0,0:0,-8190662465572761
div:13625026664287920203,962611652006092322040,0,0:0,13625026664287920203
div:-140239543538185,-36750209483049,0,0:3,-29988915089038
div:19272745315539563545972,4913276356215789258,0,0:3922,2875446461238076096
div:81488845695775561589,6137038314233733147,0,0:13,1707347610737030678
div:59682455708892,188993136701455,0,0:0,59682455708892
div:-45017621011770980,5037281596391885620833,0,0:0,-45017621011770980
div:12784502496583369914436,66775897063651761451,0,0:191,30306157425883477295
div:69627779066297453,44437721988866612,0,0:1,25190057077430841
div:-9837326629633299,980665943940704469610,0,0:0,-9837326629633299
div:1548374752880296357809,-3696277363166782287,0,0:-418,3330815076581361843
div:-708439719674935281,5147784263606738,0,0:-137,-3193275560812175
div:-7570135590104019,22684260196955,0,0:-333,-16276944518004
div:7197857209654848797343,5395261067987895097519,0,0:1,1802596141666953699824
div:42034917537094135582,97988383165721711085970,0,0:0,42034917537094135582
div:231126155949672582,9057297455411228,0,0:25,4693719564391882
div:-911497664257321106698,-18662736693873,0,0:48840514,-11481903135976
div:64066981598227998719,731669238473176,0,0:87562,559739039761807
div:35960724694947949779,-747063649911230162,0,0:-48,101669499208902003
div:624879014956928,17179603356281093930126,0,0:0,624879014956928
div:-3559399723529186749748,153806520430475822650,0,0:-23,-21849753628242828798
div:-375790972015605,113007880734109473,0,0:0,-375790972015605
div:-8787548671098011,8921111513701891873,0,0:0,-8787548671098011
div:-4332240904268358207600,202327025748990,0,0:-21412072,-61385130400320
div:9234628706335936400446,65579862120113054437,0,0:140,53448009520108779266
div:-598537435499087,-2334884709153191798659,0,0:0,-598537435499087
div:-8778093680300813378318,-5335331111760467,0,0:1645276,-1450067999274426
div:834964892558660,4731312923556947,0,0:0,834964892558660
div:697663848949724,16714097460480423,0,0:0,697663848949724
div:660124536913505493,-400393621100679,0,0:-1648,275849339586501
div:67401867410433679076,433247521397462506,0,0:155,248501593826990646
div:-3192841130293725192,94067632460761922343048,0,0:0,-3192841130293725192
div:-888171986451016091961,61046771373537922044313,0,0:0,-888171986451016091961
div:5413476093760118894,436643671457387927452325,0,0:0,5413476093760118894
div:3390818445571570,71193890227980923543296,0,0:0,3390818445571570
div:3709278299197858947885,622346666342073,0,0:5960148,60492485241081
div:61046636418932697473,752452096310648123,0,0:81,98016617770199510
div:-9490582336573659,6796700304740895609,0,0:0,-9490582336573659
div:-6770091537873296360125723,894260210116688124412,0,0:-7570,-541747289967258326883
div:8265260740385351513048054,-37568692482712647407307,0,0:-220,148394188569083440514
div:29941612974211919398,17117150207877877221595,0,0:0,29941612974211919398
div:904565427385797381401147,732377327803549406181,0,0:1235,79427548413864767612
div:828695336330867,665449887430200916,0,0:0,828695336330867
div:583964043448404224,-159103379771833684164472,0,0:0,583964043448404224
div:68659884135230073,3794043309187845772,0,0:0,68659884135230073
div:-19577883397074285891599,89166539289139219809001,0,0:0,-19577883397074285891599
div:47123114739550322,81879863505548403487,0,0:0,47123114739550322
div:2081796666654613977139,-5323946267713561205491896,0,0:0,2081796666654613977139
div:5580573071674875331019254,48049594740533118,0,0:116141938,18394751853316570
div:-827318924045362735,6765606250148903029558502,0,0:0,-827318924045362735
div:74355428058748494058359,-21632036475261687692382908,0,0:0,74355428058748494058359
div:-704818230891696889912403,4179012972972804984179,0,0:-168,-2744051432265652570331
div:54203012886802530,8642657915176877761716,0,0:0,54203012886802530
div:99602518405709989487439,181452400672924186,0,0:548918,29533129791156691
div:669551881716343753,65924540094419185740265,0,0:0,669551881716343753
div:17773767489747228176421376,99265471480253104908,0,0:179052,86290264949236434160
div:68861552761996536283999,3032962718342296259044166,0,0:0,68861552761996536283999
div:-13017342749140884149199232,79805947528944429,0,0:-163112439,-988735239546901
div:-846660807407559032521972,77200873303583960046,0,0:-10966,-76030760457326657536
div:20732670221446843791112897,158830667623944099,0,0:130533168,938387893737265
div:87479614966913872614027,-20093149492209048359,0,0:-4353,14135227327885107300
div:815811689877913117,-96853054749489063852925232,0,0:0,815811689877913117
div:88424170141166441101228,41882896205789554161109080,0,0:0,88424170141166441101228
div:8907792217571919630,1822019507410919085762,0,0:0,8907792217571919630
div:508794162072510930223084886,-69410487054586064946,0,0:-7330220,21655243065234616766
div:7560829661415328254781,71577097034806313439,0,0:105,45234472760665343686
div:7451615053542910305,1115867448037197150640,0,0:0,7451615053542910305
div:1420226199720665341735779,832064548724686659546,0,0:1706,724079596349900550303
div:-389977371089920999571936723,8114703647013040404,0,0:-48058116,-1916145250323817859
div:675206408971175566604,36474013799024907341535694,0,0:0,675206408971175566604
div:-502561109202609111272,-414660684126386698299,0,0:1,-87900425076222412973
div:-7443609476960080458698600,-92469297206353960522,0,0:80498,-15990442999344598644
div:24688964911945445107348,-799787361463460092976944,0,0:0,24688964911945445107348
div:74622389634816941348941747,361423050927986753697692,0,0:206,169241143651670087217195
div:57087631963106216588129,60933956374125435992007156,0,0:0,57087631963106216588129
div:24667793118599351096874664,944711324818117322023856,0,0:26,105298673328300724254408
div:564352217106369256763287,81622332712601232269,0,0:6914,15408731444336855421
div:-419643083493336850638945386,-90994516601676379,0,0:4611740346,-16619082369458252
div:3968897352690734435372,22251724057784007850845,0,0:0,3968897352690734435372
div:657621764031152559636,1284248378184585349838990,0,0:0,657621764031152559636
div:478747162724364955902006,88051418458918816631123,0,0:5,38490070429770872746391
div:6665622554429783258955137608,694490725232295413492445192,0,0:9,415206027339124537523130880
div:739043574063917325584775,6568858167203582304319770218,0,0:0,739043574063917325584775
div:488239617545415130712260,-175755600464230772602,0,0:-2777,166315056246275196506
div:-45020591983716715,29238208588753924571931348,0,0:0,-45020591983716715
div:7127560906474483695,2443668648642679038,0,0:2,2240223609189125619
div:56992002738244984812189281,5608720362174497796029,0,0:10161,1795138189912706738612
div:6460467352419769344150698,317411399503484718457,0,0:20353,193138325344869395377
div:-932907356818921691594434039,-97184909630029367110035347,0,0:9,-58243170148657387604115916
div:3995705323622443163782,89030590085262709211588,0,0:0,3995705323622443163782
div:767569373426935379750,1549154787571680632324257,0,0:0,767569373426935379750
div:931318846320283067427330537,-86130685020277950106,0,0:-10812857,65883975492678017695
div:31826303162303263286188,5737442550621928753,0,0:5547,709334003424493297
div:57706427262137233402480,76482797550886260948017,0,0:0,57706427262137233402480
div:72853807229779038632,3169975417424853790892514721,0,0:0,72853807229779038632
div:656860988961860702860500038,2051614607117987332942,0,0:320167,1695044716052434458724
div:419136122263611128595,629629147994291589835819893,0,0:0,419136122263611128595
div:21718233877577237636870231772,28954985957426921952977486934,0,0:0,21718233877577237636870231772
div:8137115583255366542038482,-53056312894008476008,0,0:-153367,28043639968602119546
div:350144503855608500819,279913875130875757713464,0,0:0,350144503855608500819
div:67536193348303696626965587175,157462565791912473045994827,0,0:428,142215189365158163279801219
div:-6653909716122388287977917,-456461036794945909189066,0,0:14,-263455200993145559330993
div:37893238038459578489871345783,58476986428077111625242,0,0:648002,33879092754002491279299
div:9750862793806595478546835,831707298467569713898,0,0:11723,758133871275722520581
div:82929154752623245294293,793446150807998771837734747,0,0:0,82929154752623245294293
div:966515993017183338978310,77669990894453129707640,0,0:12,34476102283745782486630
div:158090994204861340057333,31910675611432229121455470549,0,0:0,158090994204861340057333
div:1330572162878429717062,21084117694617750279966598211,0,0:0,1330572162878429717062
div:832245616705658749585054836,-6079221966362676227357795958,0,0:0,832245616705658749585054836
div:-566340281799124821634,146366719895661144175,0,0:-3,-127240122112141389109
div:4970340520764553911461,91205816337394717102255090410,0,0:0,4970340520764553911461
div:3278473198323030526681,2105717666245284028185,0,0:1,1172755532077746498496
div:2122422503626206527321754,17148805521927416661130,0,0:123,13119424429134278002764
div:1912021218223919631352475809,38185948805565948914414505595,0,0:0,1912021218223919631352475809
div:941796603263493070268724375,444845019508763781185108406,0,0:2,52106564245965507898507563
div:104754716329414707284533930,43667472164404259911976738073,0,0:0,104754716329414707284533930
div:89122706354696915439758538,31455209252293039108428126,0,0:2,26212287850110837222902286
div:118480448597792962897533,67244410472175197017373,0,0:1,51236038125617765880160
div:352695831583961620878034763371,8582622957634803011445036406,0,0:41,808290320934697408788270725
div:-624005759812006640839,8172000984425101361637221854,0,0:0,-624005759812006640839
div:7384400794640347039203,-628293484000022806320912136,0,0:0,7384400794640347039203
div:-2828685708623719356215,7634212328177549702763918762,0,0:0,-2828685708623719356215
div:-86550506492571342719558,666034531900739098444599,0,0:0,-86550506492571342719558
div:642452648202950019476496886617,604805196719437392366385471,0,0:1062,149529286907508783395516415
div:4662456248509569207839,-33567555776748285848111,0,0:0,4662456248509569207839
div:62996041896426933131446657891,763936004120034809021339118482,0,0:0,62996041896426933131446657891
div:8345367673768217736530,3642617362546668617513754,0,0:0,8345367673768217736530
div:-84451394313979740929245775,1334835508641575600458674242637,0,0:0,-84451394313979740929245775
div:1176029794050678765470272286249,40628825039402391375029153,0,0:28945,28453285176547120053452664
div:7707482263998465479379,-2829972969411199798203141,0,0:0,7707482263998465479379
div:-11136894339272544791100807454,67013816338042624404219,0,0:-166188,-2229685917126612460282
div:-428729652188276782322695284232,-774565897177367154457859446208,0,0:0,-428729652188276782322695284232
div:626676530287556077206017712837,908674926870287524187734,0,0:689659,688897120453562229270131
div:2773148741407028218531427,557528937606955521382821134,0,0:0,2773148741407028218531427
div:75539539184325529932345561314,-502273785664131486016696176,0,0:-150,198471334705807029841134914
div:3606180022705211288777456393,122973836595862158705454565,0,0:29,39938761425208686319274008
div:-30856676793350414230630,38692347037119733077452,0,0:0,-30856676793350414230630
div:28070532442085800846842,6911568634505880039237117,0,0:0,28070532442085800846842
div:94746783288740489316741633573,86780043180255118744681,0,0:1091803,71804408409905942683730
div:-24888475865091602999453808074899,-2607720766137261712927817388,0,0:9544,-388873077577211270718923827
div:53207047214418054977598334400421,4391350648985919720756952364,0,0:12116,1442751304651640907099558197
div:944627096784739396211350732172,47554680361438235326247368315,0,0:19,41088169917412925012650734187
div:90507814687564826997063490,263428140883010973433496,0,0:343,151962364692063109374362
div:40830360719924046206003172846797,289018741615486979391301844046,0,0:141,78718152140382111829612836311
div:46815309089103159131589670878273,844714076577304483690089137,0,0:55421,410251112367341001240816596
div:766097719529863726042659,864954870692483641146857,0,0:0,766097719529863726042659
div:36588837904828449995291554992448,5981291437419281216117821938,0,0:6117,1278182134706796298838197702
div:744905055097349284759083504,-402232162933870784393172,0,0:-1851,373321506754462847322132
div:-496174511680228005426626189898,6850190505814392535531175627173,0,0:0,-496174511680228005426626189898
div:117807976873474930026716,72472466715338440688738889,0,0:0,117807976873474930026716
div:29688886500382323149926912509,171231756792519788711530194,0,0:173,65792575276399702832188947
div:95600026518374000257859,99155834015695214013381,0,0:0,95600026518374000257859
div:947283711638216525748681460035,375183675933541675266484,0,0:2524853,81906386026327073533183
div:41432664026918887246001356,89293848269510580767075145704,0,0:0,41432664026918887246001356
div:347133325715091646723859014383300,8007256671477794251698509596618,0,0:43,2821288841546493900823101728726
div:-72131155022320848089529987358,607237864853852225127081848,0,0:-118,-477086969566285524534329294
div:52607679919645038811433035271755,-86393659667162016384842618430,0,0:-608,80334842010532849448723266315
div:507690908006392398957998748,2764904388542893841465155862,0,0:0,507690908006392398957998748
div:65723044947927998584588839362573,-414671665541745655865677654655,0,0:-158,204921792332184957811769927083
div:58581181220230933312243002393,727812383468376773626369395972,0,0:0,58581181220230933312243002393
div:55621061599265643370130457,75058109335016054327498821167125,0,0:0,55621061599265643370130457
div:8042490680681402413656869107,985374040566072816763255884821,0,0:0,8042490680681402413656869107
div:205865392688566277909245217913157,188746850681839171579701059,0,0:1090695,146384137702663123171367152
div:645469876768555458540596006480343,-1176209889279660120170867010701,0,0:-548,906857443301712686960884616195
div:-372748268475137934411499506,-6952751051457138928077564508,0,0:0,-372748268475137934411499506
div:-53726448220098738825476944862,666316374954612779881255280093902,0,0:0,-53726448220098738825476944862
div:3999043104096914451698824,53972081370928852391234278,0,0:0,3999043104096914451698824
div:6875840365821778484266515548732,-48235349383818088293481585385242,0,0:0,6875840365821778484266515548732
div:464946247859367335487708854577230,-91038566114714256247221434416,0,0:-5107,12290711521628833148989014718
div:774638812953340934130134234932,1781076313255841252742417918164985,0,0:0,774638812953340934130134234932
div:181439807984506382551684665,983773852096178563301436779,0,0:0,181439807984506382551684665
div:-16817917749776745039099453680,29825644384864912855101360,0,0:-563,-26079961097799101677388000
div:22133214432524045001245001353,-198976752808774771294935518769806,0,0:0,22133214432524045001245001353
div:2921499120428770523924215,57361572214425723589097781,0,0:0,2921499120428770523924215
div:123171649003149782751271079,-73094968897222766037958236983376,0,0:0,123171649003149782751271079
div:769172117059026460908975826,97495810773186124439901474,0,0:7,86701441646723589829665508
div:94112063717361782849247888341,9764365600045726199272325886020217,0,0:0,94112063717361782849247888341
div:9469809875854665598033283678676801,13423826176729482294685830678,0,0:705447,11970959382501694048484373735
div:-842464855184253146889699,56551832462429857048225522,0,0:0,-842464855184253146889699
div:598571783530686410412162091727492,943878487966896512387279950152,0,0:634,152822159674021558626603331124
div:6953911548504792867117243682880,-1243290077624733705142673151816,0,0:-5,737461160381124341403877923800
div:-9281561117131091717433858956,24045037010263371696747810870864,0,0:0,-9281561117131091717433858956
div:143976137737540251569359185478383,265536580911922810877928898030231,0,0:0,143976137737540251569359185478383
div:40928612217108238156488248958516,652899471410195581619563697,0,0:62687,303052817307731502659484677
div:-70884981920443005098389267,994979502748896336180903347917699,0,0:0,-70884981920443005098389267
div:6634749014277303650696175833,495438828683857357740137178054,0,0:0,6634749014277303650696175833
div:7422909929360831470432375670687378,44420776675922024505687379448537,0,0:167,4640224481853377982583302781699
div:46314400055365971953154263039,8152799875814716360460312147,0,0:5,5550400676292390150852702304
div:6591812486274558813658703427,17421702938564211067047963695822,0,0:0,6591812486274558813658703427
div:124008796997131146663153333663944,123778079237035114605937158,0,0:1001863,119198477435638705314738590
div:7901064786124799043739659032,5571379890858077238984496202525017,0,0:0,7901064786124799043739659032
div:-6965802504602789618852220893,639736224353884761032877844589149,0,0:0,-6965802504602789618852220893
div:971873099542038287548098257,33891065268003504765508649367,0,0:0,971873099542038287548098257
div:675025802085588841328307981424510,5883130258364185867146732282508,0,0:114,4348952632071652473580501218598
div:3002202702401536393223671580,32010263936497485071510555,0,0:93,25248156307270281573189965
div:34972912833617921349910233,474530829196480379440614753566093,0,0:0,34972912833617921349910233
div:276535788922741466724367182792751,-9977731202427442856055105791931326,0,0:0,276535788922741466724367182792751
div:14688056569711843047315045,33632661368158430395335244297,0,0:0,14688056569711843047315045
div:-879571497507836359459742179631,46691865250496831422027355865479980,0,0:0,-879571497507836359459742179631
div:494117042357580878818138056,29316968901414007402594292795459,0,0:0,494117042357580878818138056
div:1256269358576514580546391822558882,-5715622931835594771199373401675,0,0:-219,4547936504519325653729047592057
div:-7954432693582559842284447426278,-1415175992700551307691498753891217,0,0:0,-7954432693582559842284447426278
div:9290637525511632506517536450,31193173758140935479273605091020135,0,0:0,9290637525511632506517536450
div:741965597318745797468077425593,5090853342489379493387893,0,0:145744,4267770973672583752348201
div:28726807242801656618422278445,-66260445037131724567939080371803922,0,0:0,28726807242801656618422278445
div:600680612706025211965401567803,601606994582634974447563159467,0,0:0,600680612706025211965401567803
div:-66914527546382741959361703369956,7595234786937152212557447828,0,0:-8810,-509073466430966730588005276
div:-477200248767482289180868434831103210,299754033389841609330851428,0,0:-1591972736,-104820787767789757788436202
div:1602055237860095405473195539557021,-482613481963019529862911261825616,0,0:-3,154214791971036815884461754080173
div:5847782734638264086149188726633444,856996324395574391409855532415801398,0,0:0,5847782734638264086149188726633444
div:79271780305017072764462340,334727107872141024597713303,0,0:0,79271780305017072764462340
div:-8309528822503909832876248028239283,-280321240085800591419535364757,0,0:29642,-246623880608702018380746112289
div:-7036110366628173318660022670592,28316814714059617609323292157,0,0:-248,-13540317541388151547846215656
div:948009776246268508005837034128,9919518492899054009114568949283,0,0:0,948009776246268508005837034128
div:18836117763174709382287464458,-95991422838941512823432481785039,0,0:0,18836117763174709382287464458
div:46329535017445104282274302989008943,2426057049787109955278434918171122342,0,0:0,46329535017445104282274302989008943
div:297935043427322209379153089088,5013180436585374804022483003677803281,0,0:0,297935043427322209379153089088
div:-118750521055580916050992218218817,60015490720625049417386142837,0,0:-1978,-39880410184568303402427687231
div:575684179239053603789472576628353,7053037456193336012438564397416,0,0:81,4388145287393386781948860437657
div:-22678246623112702170004970988490199,56088891589189424871010131732,0,0:-404326,-49442422098769608928465817567
div:6471427876906983381994784223,7282306840714785835314255152341703,0,0:0,6471427876906983381994784223
div:603142728037804458149682405206,-650651299197030110194378722974,0,0:0,603142728037804458149682405206
div:95931851622486456387293188404091,30758076059621180125667261744973187,0,0:0,95931851622486456387293188404091
div:-726881908942360166762114252209703,363140012331598428300964292698,0,0:-2001,-238744266831711731884702521005
div:615441001400268210176031416893518,64796591895996509835103891278541,0,0:9,32271674336299621660096395386649
div:-84863286321984569539608600726350943,95803928515186040910470967405915312,0,0:0,-84863286321984569539608600726350943
div:127629355200690947978534550183,797344806129236668518995114759425,0,0:0,127629355200690947978534550183
div:2288916268196725535426416610805794415,4632856553925567389796050303893057,0,0:494,285130557495244867167760682624257
div:976908939861250135603632878187851391,-6608040757199335387091406901838035,0,0:-147,5526948552947833701196063617660246
div:-12183790198926859582276525192366339,3503085624005426351029343283863,0,0:-3478,-58398635986733396469251090825
div:162265381015355009933791722345838,7623537904684559645894301151112382716,0,0:0,162265381015355009933791722345838
div:-593766143424589564713907089125639,224331769330731597387481028255128,0,0:-2,-145102604763126369938945032615383
div:604869729619335696245226863211466041,93942209533557682128293773108407,0,0:6438,69784642291338703271551939541775
div:742895297953619211242501957373791,531142018450802021651202332570,0,0:1398,358756159397984974121096440931
div:27653047597891730507139754824,5480890077990244820355276983606,0,0:0,27653047597891730507139754824
div:3784487646863079978435416373977,694796147453752363831293132728,0,0:5,310506909594318159278950710337
div:2973223272105672225946453215625903,19361627619874023404230915287,0,0:153562,13011542577443945945402323609
div:245900231135215525853387549499,-7177692471091872136903418261273,0,0:0,245900231135215525853387549499
div:9997981965333038339861175645427,-4045879607573312864719096965459966764,0,0:0,9997981965333038339861175645427
div:6806842983457720589405220668623962,-927052066456609430942182858322,0,0:-7342,426711533294147427714122823838
div:-122270014267619817663497887649323141,-2162707234463692663424997827917303191,0,0:0,-122270014267619817663497887649323141
div:-73410057200050892585310982601,-2781563564880350086545084449330,0,0:0,-73410057200050892585310982601
div:41074074074626336295845220577523,73580647879659031572628791338989878719,0,0:0,41074074074626336295845220577523
div:38518920335521852358928552909455,934752467373574138232063654381123270465,0,0:0,38518920335521852358928552909455
div:4300545050696782443239516173845124,-9078020631753897849258060104921396,0,0:0,4300545050696782443239516173845124
div:9125102035522831694438174632387280948,14030892071253083076166776508287771,0,0:650,5022189208327694929769902000229798
div:10049229592281672286226252965830,-947015519470033748849687371329705317719,0,0:0,10049229592281672286226252965830
div:74199952025194030063111669270731296,53730729670173947678290654632594,0,0:1380,51545080353982267070565877751576
div:62962644403023975314385553509953336,18661881999119919255366397124335,0,0:3373,16116419992487666034696009571381
div:-48885268599530160005042589357517742267,1224963343286960109782754733806,0,0:-39907535,-1103588784380283462421739114057
div:8260532189465861184106347872307,8068023378797368816499164870542708410,0,0:0,8260532189465861184106347872307
div:-873293644410280888333970242222255556855,-53468033733881855748079429886216144,0,0:16333,-249434788538400588913890687276903
div:8118527378780784121252739484687134,7449409022714146507892440406735208908,0,0:0,8118527378780784121252739484687134
div:28529491283005611559168619648453262781,-883723803503785940933815830371,0,0:-32283266,663961158020941954801575391095
div:899559711064017522862617539102500,-566535897303370911043077254061825,0,0:-1,333023813760646611819540285040675
div:15574337293150371571515035679594790928,-55555266615224096139156320494291715,0,0:-280,18862640887624652551265941193110728
div:4585681465427957919096525629579,66250889555016187900342661335447207,0,0:0,4585681465427957919096525629579
div:740366425347027728645955294884621471,-8981847007405192941035608249485839462,0,0:0,740366425347027728645955294884621471
div:995741708152482543471981480782324347091,21342276145547465497291491758534,0,0:46655834,15123660154109622191683793959735
div:-3250628989112846425058431588079956,188350448043333903099558871335715,0,0:-17,-48671372376170072365930775372801
div:876756580410958121101100042110445,700377806984105935223010779109492,0,0:1,176378773426852185878089263000953
div:273777021637125264614902200521817247,5596822025834012700584044296044,0,0:48916,2875421428699353133089736528943
div:-464090250274653177412801749314226,331074623300822560323451165878,0,0:-1401,-254703030200770399646665919148
div:396075925225537300206063956732379,43995671606762821537409289353046922,0,0:0,396075925225537300206063956732379
div:-18658324380438997683615076571716,5092778408442460759386491384527084996615,0,0:0,-18658324380438997683615076571716
div:-3965312367885757866883408465644,62732726984931603243998191276757746,0,0:0,-3965312367885757866883408465644
div:18384490431288410418670437084794892,251064583418108672333112094297258,0,0:73,56775841766477338353254201095058
div:5162911931645462592809376061314438,276766756569293637905979057590818,0,0:18,181110313398177110501753024679714
div:8135417534757202149267580550442399,57219388491890904146726624261571751057,0,0:0,8135417534757202149267580550442399
div:182770016919229728734188047616685,-40885421527209929308823628618058876,0,0:0,182770016919229728734188047616685
div:92048299381294008029880374643382,11111217138310865417953673269446,0,0:8,3158562274807084686250988487814
div:5200981870655088437520091813182496782,8050665661143383427978138223450564832,0,0:0,5200981870655088437520091813182496782
div:756533369514441505798425699358577956,213131801093410029221386684045445047,0,0:3,117137966234211418134265647222242815
div:799371912191908595027684426426504203412,17112684578666430604042990191541053858717,0,0:0,799371912191908595027684426426504203412
div:1298725911189943981172370165599649,65794189885654690328812265324475773,0,0:0,1298725911189943981172370165599649
div:860525228612860972598185202071685976152,151574827288199259902280707159394761797,0,0:5,102651092171864673086781666274712167167
div:3584182117338772880305442381515310406513,415718227605762773246300051378162,0,0:8621662,71682816997193200587950163461269
div:3468267249506034567392210570575412440358,2065367734321219422680254672539,0,0:1679249264,1757779312273888004381735679062
div:50367071916831078065713924791723412318,65724451969804512659247548060987947789728,0,0:0,50367071916831078065713924791723412318
div:79874071719000306927937931805669,6145217682421427626924604560525904590,0,0:0,79874071719000306927937931805669
div:423797068560673311763985503147656006,69667145306964427593061472412068457736722,0,0:0,423797068560673311763985503147656006
div:41523275633578269444354516606248777741194,-694978110274856348249211949536413124775,0,0:-59,519567127361744897651011583600403379469
div:-87407113783597425860610212435025646,22427444695442827429769682014306,0,0:-3897,-7361805456727366797761625275164
div:-5398995964042513456203407110806239,759328487523337723297727841375739581,0,0:0,-5398995964042513456203407110806239
div:-486450683665060870587027665253017864,98034404319738594732566595585128,0,0:-4962,-3969430517963524032217959612728
div:82802462159510025179539722591174489656,-7995658647747583535810574975199511344136,0,0:0,82802462159510025179539722591174489656
div:-9247518837150320354892251517725,95037788396291796059988855373871527896146,0,0:0,-9247518837150320354892251517725
div:-5710350451928497877474611321475359,884522303455599132933755693677751985,0,0:0,-5710350451928497877474611321475359
div:-6247471877283545360155543727272765071,675373004151999159209581260366203727893602,0,0:0,-6247471877283545360155543727272765071
div:549120950829660962410197911937811,48123906347804179379843793292937012521427,0,0:0,549120950829660962410197911937811
div:-106448127960021997407899520808890,9065012874636494312839056387435045253097,0,0:0,-106448127960021997407899520808890
div:69560159021211857117768649206402791,351520915367913488351778070201730208854,0,0:0,69560159021211857117768649206402791
div:603624320694634013723571987622589,2701844331050375027455889272518786,0,0:0,603624320694634013723571987622589
div:67014256406500009956329723823638317486,-1091809123530714597985512683792998,0,0:-61379,104213308278646576940805107893244
div:235637292979855521853832255322576,-189051691838200548750099363324518519845,0,0:0,235637292979855521853832255322576
div:46621760725175766077357844382212912326,382903788461287808084560177696868561667,0,0:0,46621760725175766077357844382212912326
div:17972807610345735075506894651990254671255,55415225623081699101048670679962759717300,0,0:0,17972807610345735075506894651990254671255
div:-99369177703763557258065488925907194288158,6888487468349330333818924437618675770942,0,0:-14,-2930353146872932584600546799245733494970
div:6974086110297401606708008289033796059,298190885369602196463446343967843,0,0:23387,295874158515038017388642657851818
div:22082353893401399289701395360491738,34004577923140732261317680713467602,0,0:0,22082353893401399289701395360491738
div:3021321469279908093607775280467343863,54418828629265035058612376701138652,0,0:55,28285894670331165384094561904718003
div:-773023736068095185985747288307356,62254616741081128985277622196480901,0,0:0,-773023736068095185985747288307356
div:-2914004549648558380597177821180027971982,41945684266123534509905568470747536706,0,0:-69,-19752335286034499413693596698447939268
div:7760354325840316590533609759835164008896,868363194633558774643668133661139838,0,0:8936,660818594835380317791317439218416528
div:62481824056284557813538132809580514163491,3063406952822650811300655756477238,0,0:20396187,2989413594030548244777844306671985
div:999032777586519798809642100185769791083086,53063722362186015952243063915405514648,0,0:18827,2076673643676476761935850430166805190
div:1470131951969797494200280446936328952439,-985834190529311083948780402821210768,0,0:-1491,253173890594668032648866329903697351
div:695257822575467619322639555633582443264,6467796678447835413755920250534956,0,0:107495,2018625717551520946908302327348044
div:34431866058056304430649293119014790521,-66121478435132244087535870280208408759829,0,0:0,34431866058056304430649293119014790521
div:458534877296422067611914397253412590469,229983379105475980155252782290948271559418,0,0:0,458534877296422067611914397253412590469
div:2185065840509747880280098827050369,-23363950333069346956170201374188305,0,0:0,2185065840509747880280098827050369
div:660127414048214811857806676633782977984,64123543109305824067686258949394280427,0,0:10,18891982955156571180944087139840173714
div:748036409612739266280596599738236249637,-89094948094100676872295250639398845430367,0,0:0,748036409612739266280596599738236249637
div:9049727473118706892393777842066328396165263,3856651773197697798307166289847038513869,0,0:2346,2022413196907857565165726085176042628589
div:980189895420499303642948634803744800389758,-3190314421704305860902855244770982859,0,0:-307239,882810490075245016292255552797773457
div:6108171433112534565184964245024814724366,4260996317082295106607737650284809362606641,0,0:0,6108171433112534565184964245024814724366
div:358196359808272615858599795581371458918250,9543484816419438536292482064209522533404722,0,0:0,358196359808272615858599795581371458918250
div:44482449128693269579458765976093879533678,400743721350983175894244132476709300635,0,0:110,400639780085120231091911403655856463828
div:832339795151923812236511477767777941,2368224477252854985783540371974941967671687,0,0:0,832339795151923812236511477767777941
div:-27251313242004640465020477977011074115415,2399123426123186914483922523780597130907,0,0:-11,-860955554649584405697330215424505675438
div:434369443368140265771072488323999183210887,7582603002573727151808563609276596120660,0,0:57,2161072221437818117984362595233204333267
div:-797664602996630747189073160786968930897788,8488149668482536480367533655921312940145901,0,0:0,-797664602996630747189073160786968930897788
div:59063238214543857057620510112580247310883,28114133320457432516252314750546246,0,0:2100837,26711994025902474545948986923502981
div:1573691164802147334879722389254185849497882,-7127075045154454822615337483298105005772756,0,0:0,1573691164802147334879722389254185849497882
div:-40379721983479963451044525213342063379,5752617301360961501951105993116579979599761,0,0:0,-40379721983479963451044525213342063379
div:-66553094204238345681366812314746973,179491260943660304940853680122139916257,0,0:0,-66553094204238345681366812314746973
div:41557707370513928375878448109901883,632935174723424546856310964927309397,0,0:0,41557707370513928375878448109901883
div:87216666974663503011714591959065214272591,-362212517956666997849487067083877113331,0,0:-240,285662665063423527837695858934707073151
div:600930802118279524585230000011936249444105,276956438642688260499397309603052638,0,0:2169766,138070288388354494697143759139301397
div:-9062026573948610573181435477111972535105632,26459705612915075584081819752039455108,0,0:-342484,-756815003826842757521154491791897360
div:17653370013085499100472199530821555711,-7698383733180213420749857647904028433762549,0,0:0,17653370013085499100472199530821555711
div:30662369693082036358310810281385879664,22236287546685236318100930067052020060194,0,0:0,30662369693082036358310810281385879664
div:-512521060439171480106970932632563580,89514481912211104455621084880967327358452,0,0:0,-512521060439171480106970932632563580
div:21086477798868875028201033077501739509,-32949987996179141109692270028847703801843,0,0:0,21086477798868875028201033077501739509
div:-708751005350456170908462092345570661,20771494122418135637231294901492781698,0,0:0,-708751005350456170908462092345570661
div:4761140473028193547540165802031057658,6168913684826084448506253549769822795,0,0:0,4761140473028193547540165802031057658
div:1006721746946704053236444265263223831,-68339952093888456017995310177868766706,0,0:0,1006721746946704053236444265263223831
div:49477930040212907700651237822802690917,932149775404881165633388914278605445476133039,0,0:0,49477930040212907700651237822802690917
div:191141779546296204030941021563218099367,3656389331006196783212925046242222356116162,0,0:0,191141779546296204030941021563218099367
div:52321773961113824095699208419101883834511175,3945419458824649179733387424219698232106948,0,0:13,1031320996393384759165171904245806817120851
div:1778145454400348709637901904657092758,878609889134331105537302232981688580,0,0:2,20925676131686498563297438693715598
div:74713594237827753439495191401245889889,5392802592936410381907322733518534312,0,0:13,4607160529654418474699995865504943833
div:270095098083877602963826744218949767,47636389981971696673999931157764182609,0,0:0,270095098083877602963826744218949767
div:7520391039221099182471773929113536857,381897415343050691905932641495648269699614,0,0:0,7520391039221099182471773929113536857
div:63508808128380210731820150543656327585,-616515868713883945771114329692765309888882,0,0:0,63508808128380210731820150543656327585
div:500726636417051241894505979036450257584284510,-2188106361907716060317149708820198851710,0,0:-228840,376558089498651529439670035952358968110
div:9644202180018661897773323824784604735459,889341707658332087101739860527895964627301119,0,0:0,9644202180018661897773323824784604735459
div:2169616399713342398130612752657502922,-320164160717395068313105728380324945,0,0:-6,248631435408971988251978382375553252
div:-5377162725601993828110678056377142779006,55796345170536010537794307342731868052,0,0:-96,-20713589230536816482424551474883446014
div:2037294950563567811082451474155649111,2834014022081568485840663386191616163,0,0:0,2037294950563567811082451474155649111
div:614981246208238240735840654289003858288,59358494220000869333484696079415051563764262,0,0:0,614981246208238240735840654289003858288
div:-869974954402953214631782702522562619117445900,461625972083775526198257072077692914743043,0,0:-1884,-271622997120123274266378728189167741552888
div:502948632448506662993366487259075217376090892,42616114515034714091468739214068502864104,0,0:11801,35865056582001999943895793852815076799588
div:6366779403200391484287273535628255514,82250958048563873223556347205141650947263970,0,0:0,6366779403200391484287273535628255514
div:23811157225570913409830665082241103895611,7476929574668972035850358498197955282806,0,0:3,1380368501563997302279589587647238047193
div:4433024520272083942063140827835336668419,-6814734610056822899976511626133696026724,0,0:0,4433024520272083942063140827835336668419
div:968786326198881698061088417967223975939,599601873015338765622213846860944593816,0,0:1,369184453183542932438874571106279382123
div:9195492262506042027630313206086692630450795,64887542474450141869346719067771980637953781,0,0:0,9195492262506042027630313206086692630450795
div:167036152523476713010727258508768159942500,515803210529897970656947678674520384659564747,0,0:0,167036152523476713010727258508768159942500
div:8138478748257408221805876607659300558448,49661986735515173743313027014090079675,0,0:163,43574910368434901645853204362617571423
div:59222143484521909529262811142486420090033691,-51030363360606792052118776207857821648905144,0,0:-1,8191780123915117477144034934628598441128547
div:-467669865565641334900015053005237790,-4166801708575196388168955453453946582052,0,0:0,-467669865565641334900015053005237790
div:77373277085707339767125359451768440817535,1763315960012269607653138271304663086,0,0:43879,736076328961652913305245191129266941
div:55495442705704588053146646518531149753186,-5663458625155167579301715514248517944795126414,0,0:0,55495442705704588053146646518531149753186
div:488849922299811997818757217594597733202150566,939685030270889494431285974083671162411745,0,0:520,213706558949460714488511071088728748043166
div:2400821515253609347478984845179365395392,174683346240076973534036449659865563554754338,0,0:0,2400821515253609347478984845179365395392
div:94256886099064494671287831080381327786727083,933612219301830695726258097049775646275143622,0,0:0,94256886099064494671287831080381327786727083
div:423105830682881413387057917631404228266134,257145583503215058907245918993287651344,0,0:1645,101345820092641484638380887446041805254
div:9725239973027586290174961618324279259233,128059695274170533356219539907244279505,0,0:75,120762827464796288458496125280958296358
div:8575857564646639781619620979013176021242222,-79327770769273229627122866232866675878,0,0:-108106,49577863588019549876402042891158775154
div:8813097514151610923608219242438159700407184937,7989256671292882171963354392382046005647066,0,0:1103,947405715561887932639347640762956178471139
div:-4220854853661426119955083509997540633581226963,-3143361547579787840091976435701544993088232,0,0:1342,-2463656809350838551651133286067252856819619
div:18064088683968825697348480535147810355871,5304724916018022284963666250494765425823768215,0,0:0,18064088683968825697348480535147810355871
div:668152482128694155192224637784736382693510,-95257956151627868536527340956566505149833532,0,0:0,668152482128694155192224637784736382693510
div:61701221596016091555562189539716738900156785,-204037550501076287029400288051994390707,0,0:-302401,62286940121281584513032505583155969278
div:9028974806172994844965393599047382592,34693980268705780311458320694963675758359651,0,0:0,9028974806172994844965393599047382592
div:89063698366423052530435721631252853122745595691,-559482379459044468566903354300289497747749008,0,0:-159,106000032434982028298088297506822980853503419
div:-1824554464595257659941777994663246309941052,73623748997742382675661945460325724770677,0,0:-24,-57584488649440475725891303615428915444804
div:-55142421317035129657275321126826228423017036239,28826110399433506733627712523209314338730651,0,0:-1912,-26898233318264782579134782450019407364031527
div:756782070286814928506227576085403683630,4000214993529718974257266487592194977145045820,0,0:0,756782070286814928506227576085403683630
div:13159677289487357602217280155496420963004939,767301253318942647744497962442472942956,0,0:17150,460795067491193399140099608009991309539
div:-88187589231094865339990742097539889292776818,510825751942051438265912944524438114392912,0,0:-172,-325559897062017958253715639336533617195954
div:489109845016577010833075435898092017791090,110123269200994712057868031610104395461351967,0,0:0,489109845016577010833075435898092017791090
div:19217131883780524110230989478044970954979,970929416394097229812264700944439582834558,0,0:0,19217131883780524110230989478044970954979
div:24527357215769113990068349908153315315362058,-266862918096402442472122404915934028297493384268,0,0:0,24527357215769113990068349908153315315362058
div:187180335008792237327827003721933462481,-854140420436008308741513900838309996093,0,0:0,187180335008792237327827003721933462481
div:545261221970766906869881791377703238778715469,-8788464536650499527970204831752102396425142510,0,0:0,545261221970766906869881791377703238778715469
div:-8978883239491077969334655758351790550761758569,404693816228247849601154967878424829635,0,0:-22186855,-219438296026172022653503521227250310644
div:1672482949489286830657071584694755544154,-16569314415512041409298987093228138867183570,0,0:0,1672482949489286830657071584694755544154
div:774730270533571544207396913338620375028137352997,48786260906229317422119214339872570992323,0,0:15880091,7792907516676258376772939019266087811604
div:8223377606023157629124739253629162465167167,520715840696524916222797841353549481506911,0,0:15,412639995575283885782771633325920242563502
div:19134961218524422663618095601519767611971718057,3320597299770542518684500859989485655905,0,0:5762505,2675610172546986065973326056572390876032
div:9685331182266568794457591582614487872504040,213566802520062116223869626405725301078500,0,0:45,74825068863773564383458394356849323971540
div:59252244414367138020160608470582658601544,-3576888946047794041513522160303428731243100275,0,0:0,59252244414367138020160608470582658601544
div:9042130790289921021769539257940643994441439005,7080061253408914683252703075136834100504476,0,0:1277,892569686736971255837430990906848097223153
div:37181356995874904748900986598480003983051,519027821181254318600589595065858229824972513884,0,0:0,37181356995874904748900986598480003983051
div:4809573571268875241068163376639283894303,397857290741686940249008741474516933138008,0,0:0,4809573571268875241068163376639283894303
div:57672160438267186781489366189915687528444846039,4311847164079124929339394059428992929411,0,0:13375279,1613350112775719684954110326408545415370
div:8624907898892313136658244150578480770110291,18756723497726238453263886656453055357901904440,0,0:0,8624907898892313136658244150578480770110291
div:4229153408642008158454182552166239580124743197222,723306877996286799790273745169628337170848,0,0:5846969,515510937124971245462645522951165247237510
div:6302453408140626668691370469108993823368172,-26870693985061276927685322296318387971972897857,0,0:0,6302453408140626668691370469108993823368172
div:-26183394096110224783461710144582526395666,8931365187310300822957876202988418128476294,0,0:0,-26183394096110224783461710144582526395666
div:1337734304086488205388200603174151745237404,-37555196523265867970637056819130422860022,0,0:-35,23302425772182826415903614504586945136634
div:1394934047175944473993592421680155397883435756719,3316595803755393152259408400413331925963184238,0,0:420,1963809598679350044640893506555988978898376759
div:-3923445604156694953553293681269071976204126084324,-2385865039714571024603149142302411580843310590047,0,0:1,-1537580564442123928950144538966660395360815494277
div:-4666574422365035446555661286742673507442477825880,6511395679936223490637275038009230986077915234,0,0:-716,-4415115530699427259372359528064121410690518336
div:25682320341721789029990750876038989350503,2075225204575110735785546638041462321365144552208,0,0:0,25682320341721789029990750876038989350503
div:507066551593936721924672174902109570507318,-90150385867099161583728850458645628165485311877,0,0:0,507066551593936721924672174902109570507318
div:56460765920562193755877284769059649453013,106293089508542656937426290853822589311742,0,0:0,56460765920562193755877284769059649453013
div:113389347059878790962060029189435317366606631,9123943931303946176502291145148092536746735300,0,0:0,113389347059878790962060029189435317366606631
div:90965037743938985628689890077906379958065298745,355159479956085299356917050991168761100055,0,0:256124,171099666594416198867309844272190074811925
div:-165340776845080586286334926027619556728505,4315813260375908780045944338058657645416510920831,0,0:0,-165340776845080586286334926027619556728505
div:9675893678882076470951813438529414802324809,-49138410559062258960736821789190923818163376047,0,0:0,9675893678882076470951813438529414802324809
div:52196020861900342939093799976830869614855,898691237498364401852494744239741816001653191,0,0:0,52196020861900342939093799976830869614855
div:546701462352913231490095779602087905799659,27796772128829838971566803617855813694963277,0,0:0,546701462352913231490095779602087905799659
div:-239361790908041495849499565651036682869595828,59582341264073879085346989042621623014587677976339,0,0:0,-239361790908041495849499565651036682869595828
div:26247208631803295885744522675941429011719441867,94578293352355651122868883826971735945985150768,0,0:0,26247208631803295885744522675941429011719441867
div:7151462784689393204933488144237700308252236907106,4869138896069717850331723402637093025616552,0,0:1468732,2675587124367180075367635717394552387255042
div:444179011665054388522294113788022095382753092,87809235040601661387269133961569114730886240155,0,0:0,444179011665054388522294113788022095382753092
div:9396002262631352355829080408353148431716175837629,627009066609807681311137500374921292105192019668,0,0:14,617875330094044817473155403104250342243487562277
div:-67404859652885739843969210485993809184078129851,46946911826310720654816125341841364822782750,0,0:-1435,-36041182129855704308070620451450663384883601
div:-857317750867775465958757317203227431120067,92423921722813825213538574566017075976934245071208,0,0:0,-857317750867775465958757317203227431120067
div:-604814342197174902063835288834217421426135297,30987537976824612265560882867080135947080229,0,0:-19,-16051120637507269018178514359694838431610946
div:537582514919678675297229509855601144545558,97995250751872994415105767317261578435382881110966,0,0:0,537582514919678675297229509855601144545558
div:39007116647886661941726367331622958240358112679,-5144176915242189162509107363545822402755422,0,0:-7582,3967276520383711582315301218532782666503075
div:720186514683083735071865829645724624020144283905,921875961665713476662472782679559347600188961,0,0:781,201388622161509798474586372988773544396705364
div:4925300524276512099528492538263141469746686350,-21746080565844400504762758043901034656358047765835,0,0:0,4925300524276512099528492538263141469746686350
div:5966000116741864064364725002160835848207074879,452383546194102189149587219685512801821102583315,0,0:0,5966000116741864064364725002160835848207074879
div:1730022951574373079411594826626220707013971004,867119495065650306148038934759853852208599,0,0:1995,119558918400718646257151780312271857815999
div:565379733109542105910214574424401953032077613,51059839129853759630343322732850868439955821491756,0,0:0,565379733109542105910214574424401953032077613
div:380859104711500390575977473068323845888716252660,6180121353081961565969801679654221330060450855,0,0:61,3871702173500735051819570609416344755028750505
div:68068921222429620875809588817152460375197553199,70847310210650369483877621724938884574632970327227,0,0:0,68068921222429620875809588817152460375197553199
div:-722057802895969286253197273768040930277501,24306448094583832291685007488076569960645346636,0,0:0,-722057802895969286253197273768040930277501
div:317592535736773933828600449815426639893020969423190,-93086204599568503148872348535005098881410913,0,0:-3411810,92021920119100246282360210893478434402340660
div:611020260549327414799176188444349897969388695,3705943065234383781833374645394121853197511,0,0:164,3245597850888474578502746599713914044996891
div:311597138605996430909903314778924265380533841573,900097580338833508210694004713940730225636589400,0,0:0,311597138605996430909903314778924265380533841573
div:1471368037568797633184945517471946826925463570,-51986614090044718428104256857291140310189522,0,0:-28,15742843047545517198026325467794898240156954
div:764577682558529028045406367446280331248422324968,3284529318538080158133345096780067681846690345,0,0:232,2566880657694431358470304993304629059990164928
div:25345733340779680384223438130261035483720695,-4963832661075587414370207844502105067515360717435242,0,0:0,25345733340779680384223438130261035483720695
div:9728219568997241790958216942026281594007662902,4830901363966824643813184028118279269292788953297,0,0:0,9728219568997241790958216942026281594007662902
div:378990675295147250343254009937685278864098648256945,1608729233755427518873468676407616643664376791798088,0,0:0,378990675295147250343254009937685278864098648256945
div:898267137520595727470006439782753575720539020,-10549538784345819645739254144254774260670381268575,0,0:0,898267137520595727470006439782753575720539020
div:5995515572054268086933479746008640056780766451925,8030600055411670042494710011412948461403231,0,0:746583,6090884857231597651661557926755620958042252
div:-29108480583332747319862771298993930146421704,1070825121844450385018502033657868394429345713,0,0:0,-29108480583332747319862771298993930146421704
div:1309351864286127912492763722652139231241412,67215284518814518103811333196815587050385227,0,0:0,1309351864286127912492763722652139231241412
div:5057770892603033060848565127774886456638357230325,4560833131311412489432012223910819044848375100332,0,0:1,496937761291620571416552903864067411789982129993
div:633417011776645191559278275893992860044140785076,9267459276776555758115340080177517575774981964493,0,0:0,633417011776645191559278275893992860044140785076
div:81198441395376013971576012512699341529160887275,7447901692377824339480278247455048336927582640790763,0,0:0,81198441395376013971576012512699341529160887275
div:9051874321306026560005193316581192573940541867187,37537551211896722531771511300407567291038941024813,0,0:0,9051874321306026560005193316581192573940541867187
div:2608213478636475749024179986585033501198860091868353,4860413071332838243659712432305837800300477,0,0:536623830,915784885941031884462459089442842973301443
div:407598478820396357158686484143933270533665010845,4355992703916618082567359020934982484449368723357,0,0:0,407598478820396357158686484143933270533665010845
div:630711778218873882494940824096903507347713330,57238514966674350042018295073350807282445218805,0,0:0,630711778218873882494940824096903507347713330
div:93688378632955946315197302995234838965963790793683,3160654096505987021546437056562511465114160,0,0:29642085,1248727276013620984317459066303575325370083
div:-2525656519498119353338247264242041272975381031,327276040767955818809485641052992513513655213981074,0,0:0,-2525656519498119353338247264242041272975381031
div:66016468795885111884527337073458991710229978420,16320322768232010844919027662356786278707098868275,0,0:0,66016468795885111884527337073458991710229978420
div:-2302712368656752027279644835027749767667073228557819,9316845119063833412338569173366972112730895383,0,0:-247155,-7513254530280253105770984235775145068780172454
div:48838864669737321321234466529333448212306449830,-32564162155964258347156982593283846680395226572752488,0,0:0,48838864669737321321234466529333448212306449830
div:-220645217365027594041560662624047120760954694026473,478332284603296206017913627846840038736821534931564,0,0:0,-220645217365027594041560662624047120760954694026473
div:-72981125020238190928338132724424652132640002,39188164680782185128568299727848835374297549277320,0,0:0,-72981125020238190928338132724424652132640002
div:848294406307295588337784985646050321749073734744419,1894284566269937543645699304914191326539279181,0,0:447817,1574693990967354998860017291904472233349746542
div:88331621619959932308180786862825270799091494710705534,2178577739962310780960655130496700895938054790,0,0:40545544,2006897502197066182000445542767995672948349774
div:-6856699040860275517650307648299585141626669701068,271009865938172922862180983261519271114664396,0,0:-25300,-149432624500569237128771783147582425660482268
div:-88407824671930579360204282767163259115148101495,999762964506455261651611324045254876016161327250,0,0:0,-88407824671930579360204282767163259115148101495
div:77210128389009986005731678815189051918123188603393,1004893588971319006745864695885807127204177369,0,0:76834,134373987661441419910771498947106517424633647
div:297784613656392099571586950531714472282249229,38243230119670761105711715396092668555574825,0,0:7,30082002818696771831604942759065792393225454
div:-35509945917648756037422888630539391852716391754248754,597284352710239029652457972715277271026334934549395,0,0:-59,-270169107744653287927868240338032862162630615834449
div:801533871821359460893588251165565622439064765617,822025202425769092976017224921611946029366105,0,0:975,59299456234595241971456866993975060432813242
div:-522010146755299559121351482887404344773949966,-3932667350437494585764045269025085811459344224177389,0,0:0,-522010146755299559121351482887404344773949966
div:-58459624214325180544444869117416512994249719120541094,42099937836886376971951088854357470492133289729419,0,0:-1388,-24910496726889307376757787568343951168712976107522
div:-253345562577317672511220652744246967807793182895907110,5749989880936090964050051849193062955356828797,0,0:-44060175,-2175044340819256659509727005208754118655047635
div:929733472033240998779303334258721213318162598707,767612759141593942240674520830211174476840069251,0,0:1,162120712891647056538628813428510038841322529456
div:964194291196691142924085838110342670268423649945,95195593030727305502485226537387747371662899678,0,0:10,12238360889418087899233572736465196551794653165
div:-930824010798502796427972044794470458904018793646,59612624490118074742886336029812178788101136417100079,0,0:0,-930824010798502796427972044794470458904018793646
div:4496931676886813794791418684601244183539575641824,17411178665119193136820706152905856572839870547600463,0,0:0,4496931676886813794791418684601244183539575641824
div:-538173513290298732583524004704645684413620731176123,5191614740631357425621901873779740989648663178,0,0:-103662,-346046970959128706412664890173944661008818287
div:645223072897535515198700423081805044495125969741938129,-4527829932821589910817760274407207149545929368,0,0:-142501613,4080777311682643434931455406859698817217867545
div:99627943961043088669512673603139357672824609930416,466295743266513578268755141190344363951636566,0,0:213658,128046206330563766987646692761559645844511988
div:8378463829762121913631626419465685262621092341,277603732177643189147101934156154702276101226001738,0,0:0,8378463829762121913631626419465685262621092341
div:9842615010830513092601043514307725085136324358384,982829207195358411241726125114558021029115376,0,0:10014,563329976193962426398097410541062550762983120
div:62320220612711436764404545275083408051364828569716359,29238061288213780350752248589890807799224738132935,0,0:2131,13912007527870836951503530026096631216911608431874
div:-95796294809205390217092020218600576789023181059,165301144024373968274096547718999489219277029418,0,0:0,-95796294809205390217092020218600576789023181059
div:87456781258209959765037687145068876793116934415493249,12068929953842578406244505715637579551016022265904027,0,0:7,2974271581311910921326147135605819936004778554165060
div:4650729780737505464243409512735245030691695372618246,84864736041440063700547247893177477447164617313268,0,0:54,68034034499742024413858126503661248544806037701774
div:-625358026462075054949936252035182773523079306781808,-7037095653882435960759081957329932874958248091338799,0,0:0,-625358026462075054949936252035182773523079306781808
div:2568284414900282086629402504199999865573825319657504,5768783213527705673129403864116463929738223137152322675,0,0:0,2568284414900282086629402504199999865573825319657504
div:21872791887330497853718749618057463060198347580531402,1324557936763556387760743907736237330887941028,0,0:16513276,1099563344481062563504290440813742452313443674
div:-33663209218662096950671228753577152738857975888365,64455980252274430283628664249222461742909356825,0,0:-522,-17187526974844342617066015483027709059291625715
div:897547639705131822906931936065160910250510030878007,5363864878695927157573012052790958211464944313132948910,0,0:0,897547639705131822906931936065160910250510030878007
div:5009490811735999584822449253729050585733274306709319,2406843316925106774841027948556192949607544362335487460,0,0:0,5009490811735999584822449253729050585733274306709319
div:26946852936100376197741904167965017845209833397099,308919640253848342394664627646584079095578466190402123,0,0:0,26946852936100376197741904167965017845209833397099
div:1985893148050510215060586789904119885262534441,5866449806057188251900630030898916114586086296,0,0:0,1985893148050510215060586789904119885262534441
div:5562239080137747796995442181907475991350284893459206265,156398892363409903713342341853412785128113829406,0,0:35564440,56612798080976501265602288199428588294379283625
div:65178480098314895239449345070432724637440125039775,1290757832744933770056846180890168907973673153410496,0,0:0,65178480098314895239449345070432724637440125039775
div:23657300680705528280619872949865464121904006372229057,54009346128207976631438579725539802296822123315,0,0:438022,18870935613940563883381325068840245386273546127
div:2465896601579984309597565211236176792392608862458577021,-40289404326330144787151484318600863409012051557183,0,0:-61204,23899191274128044745765000529548307435258952748689
div:4530895653520455283627656673385442171856783842314,-93233120674213574021733372853213159559027357138117667,0,0:0,4530895653520455283627656673385442171856783842314
div:916112574807335146788888377531188026131378675176,967597859681274796485056494940030314717751207208858625,0,0:0,916112574807335146788888377531188026131378675176
div:2836353387405193828295144729357504288167954496834813,-47750867938530360881039623534374164321838133495716184,0,0:0,2836353387405193828295144729357504288167954496834813
div:888544290269727108571429100899398323213047387976643,232593764199419096127199419642853734112674182121501231,0,0:0,888544290269727108571429100899398323213047387976643
div:-95528231285086139734583293340171808952248738222733284,793897402237626526946706417222476481392026422526754,0,0:-120,-260543016570956500978523273474631185205567519522804
div:5037223546635984893254983907596574271648794864585,-135600768236385462209166458097331958573087149090026,0,0:0,5037223546635984893254983907596574271648794864585
div:3597926907607703532951852295319420299540575082900605212,32397904521210638837288370977004776603517163371689911,0,0:111,1759505753322622012843116871890096550169948643025091
div:2949870570599287735739111770944723963347077343574168440,13426005226039726224409657686289401061489856647303547,0,0:219,9575426096587692593396737647345130880798737814691647
div:-6292945917085019054270321590350396947352956870846986425,341295410748594067077010194722238510564411359595737,0,0:-18438,-141133702441645504407620061763289566340222620787619
div:576504230473861553261538972452278105135349421005,-435859823015036299275541119431403593387201588094,0,0:-1,140644407458825253985997853020874511748147832911
div:513271751605046021061398181450246519536581003892,1804974737576433978846636236205909460681769870983,0,0:0,513271751605046021061398181450246519536581003892
div:518565283589729505911763776861051767197425505162856,80256044584676536034995400588268683853363345693,0,0:6461,30979528134406589658493660247800820844928640383
div:-8803453406819218000000306371196263081095678566028295082,-55765725990796735310893334087719738405325766157271534,0,0:157,-48234426264130556190052919424264151459533279336664244
div:30910800403711655057148039026242334689849626271558314256,83948578597192063348545167380196449977141674761638849,0,0:368,17723479944975744883417430330041098261489959275217824
div:49242996359867738984900367600384020935433157154372,2708783714074411929119022487862398012033030877105302717,0,0:0,49242996359867738984900367600384020935433157154372
div:21379071756862143968426604961644165060562036140310,461158186026323145332549423710888480451753865883923090,0,0:0,21379071756862143968426604961644165060562036140310
div:890497438806243182741322174370053431770114463163083,-553230364990398459699806691827737650133760743598577997,0,0:0,890497438806243182741322174370053431770114463163083
div:3023647463972332206442886065358904974207929712372177354,954649340832479585995977185409104558411042237463566294,0,0:3,159699441474893448454954509131591298974802999981478472
div:35489760963836552056324219511199170577078030263500,9911937794382297889765816250290479042378434631444578,0,0:0,35489760963836552056324219511199170577078030263500
div:4135741741874158916022517640987066604514941788107532,-28163724964933933312984726177284380068495757852680949,0,0:0,4135741741874158916022517640987066604514941788107532
div:545414705998769838413644038929944315836407586765492978003,40142701966897036750492630938275806447937324811027279,0,0:13586,35957076506697121451155002529209434731091882876365509
div:75058649832069709510468311408895020488684235853480,-2888974200822060946807576793636547307530522265641548,0,0:0,75058649832069709510468311408895020488684235853480
div:-66933551184377520017610837511897921700694960480368326,653887787579904832254964727311893728850303235046236,0,0:-102,-236996851227227127604435326084761357964030505652254
div:2435629492619014604053848939625684854601784871657,-291893351983540450002470218001632642526157243983032264,0,0:0,2435629492619014604053848939625684854601784871657
div:4353873124828196561972948174190449777941113312128,54820424043864696600903577780832618011158946935730643,0,0:0,4353873124828196561972948174190449777941113312128
div:6563332558449452126564485551259042246419252988238165,698324403420861093632423144820174865039557171760521,0,0:9,278412927661702283872677247877468461063238442393476
div:6651389855462289995786489027518276832180673970627,-491461095877924735369902036753617462691001210108931850366,0,0:0,6651389855462289995786489027518276832180673970627
div:6927903135341590486179736781500384096788524701827,218829613953562480451106314783086433106706968172108955440,0,0:0,6927903135341590486179736781500384096788524701827
div:545264621820945020606844611617845056531423301824882054149,875522645453735240583714479359375422140055663654,0,0:622787571,103319057246612448860090001299718413253014409715
div:86684332448285178538540680259953842278268190530391877,1004758465343373611009533596159290181785288025548175925,0,0:0,86684332448285178538540680259953842278268190530391877
div:-92317828450423143272179560065430627651793040689272,22070418041935886277960894290327131047538612473095276,0,0:0,-92317828450423143272179560065430627651793040689272
div:7971256552090299009697202541746345670252715480656564528,201282600297357182844197939592816412476029915756077647398,0,0:0,7971256552090299009697202541746345670252715480656564528
div:51609533271954429925110080029550304256694456133044809,485763884901242868745815971537580121006369686192,0,0:106244,35084506782578079607949511641880493715193261961
div:55881591305337924534730793672599558668292512146650104410,2222509574710359486675225376172946110121737537397794673,0,0:25,318851937578937367850159268275905915249073711705237585
div:19368449809775464181696546358821387683250538685332,24510908730652135218597094611704093063219507437128,0,0:0,19368449809775464181696546358821387683250538685332
div:-2935049511482530629217049856269086660794528627329678715946,37471582465832914952060760873346941905859586735847868746,0,0:-78,-12266079147563262956310508148025192137480861933544953758
div:36100788373557792247173517969159682950517798879230,5080501101336645920307905996377195554239168429725057140,0,0:0,36100788373557792247173517969159682950517798879230
div:-619343993545565489581918826619755522056336720755028240,5722220737779420639556807213632172372985391133964,0,0:-108234,-5154212747676080127354659490977438635896761568664
div:2214624479709129652867518274099800744215833156381,596426619358648105117142458022253139919252174606588,0,0:0,2214624479709129652867518274099800744215833156381
div:5033621023669077052146401601213685801870950098584920712831,6799225107652133581418467714714131055036511563510,0,0:740322749,902228583435466263288772550060049562516909423841
div:5358032037701639498140968139141468348228418868104,8558469544431829473340967206378658910509072615323310050,0,0:0,5358032037701639498140968139141468348228418868104
div:9748963428125495559040360700047156483695054417931835757,89907138812423274211888428791450791283996367956807224600,0,0:0,9748963428125495559040360700047156483695054417931835757
div:-37234857139625248358511007131249688678503673691725663734,-9768451005959695483831603140151504358763270636290461,0,0:3811,-7290355912848869628767564132305567256849296822716863
div:14140350728384927368127641043017594043341305190489552,678387465698256214286200006608789600890351284725416,0,0:20,572601414419803082403640910841802025534279495981232
div:16226406385251314022733101915283965938409231292486,-3756447461810096116929418499028120801376280771059460,0,0:0,16226406385251314022733101915283965938409231292486
div:6545974979782747370293360546030862327851785067995680,-8744885285916351107220120754451051904389636789416979493,0,0:0,6545974979782747370293360546030862327851785067995680
div:1152408063163445395815670313984522609667667839270597239381,95249480242199210996494814595420706184321580039151,0,0:12098838,32128876378241260984354491943697962902472875632843
div:1690204685535914155988172971158586449220783297513957809,9929613337808118536737016690304412293482744573038,0,0:170218,5762400891834901871464168349997448737481780575525

# Division by powers of 2

divp2:6650822,18,0,0:25,97222
divp2:-22,3,0,0:-2,-6
divp2:626665862,11,0,0:305989,390
divp2:382,7,0,0:2,126
divp2:-8554783,11,0,0:-4177,-287
divp2:80613086,5,0,0:2519158,30
divp2:2476669303,30,0,0:2,329185655
divp2:234993203,12,0,0:57371,1587
divp2:78175,1,0,0:39087,1
divp2:1092697,3,0,0:136587,1
divp2:-51601200,8,0,0:-201567,-48
divp2:-133,8,0,0:0,-133
divp2:67494772097,28,0,0:251,117472641
divp2:81070756,20,0,0:77,330404
divp2:597,10,0,0:0,597
divp2:-6061,14,0,0:0,-6061
divp2:914736,17,0,0:6,128304
divp2:5146181168,8,0,0:20102270,48
divp2:908169,16,0,0:13,56201
divp2:99131,5,0,0:3097,27
divp2:828749,17,0,0:6,42317
divp2:57934632020,24,0,0:3453,2905172
divp2:374659,20,0,0:0,374659
divp2:881062175551,18,0,0:3360985,123711
divp2:8978255,9,0,0:17535,335
divp2:-306454,22,0,0:0,-306454
divp2:455535314,22,0,0:108,2550482
divp2:-7013481097,8,0,0:-27396410,-137
divp2:1902116776574,7,0,0:14860287316,126
divp2:57980384,6,0,0:905943,32
divp2:-6429952,10,0,0:-6279,-256
divp2:-121080553817,25,0,0:-3608,-16163161
divp2:9486785,18,0,0:36,49601
divp2:-264976349260,22,0,0:-63175,-1194060
divp2:-9957437441589,16,0,0:-151938437,-34357
divp2:42280023,10,0,0:41289,87
divp2:9445756856,10,0,0:9224371,952
divp2:542833427595245,43,0,0:61,6271753240557
divp2:-1989040985179,37,0,0:-14,-64895636571
divp2:-842046065662,21,0,0:-401518,-1788926
divp2:-36486783654,37,0,0:0,-36486783654
divp2:12161238,12,0,0:2969,214
divp2:522437544246,12,0,0:127548228,2358
divp2:5771713949080,24,0,0:344020,16100760
divp2:-192975675937641,21,0,0:-92017972,-1921897
divp2:51399227509,40,0,0:0,51399227509
divp2:76781489061746141,15,0,0:2343185090995,21981
divp2:624421287579358777,15,0,0:19055825426616,5689
divp2:585792449987,17,0,0:4469241,93635
divp2:64111034807,16,0,0:978256,49591
divp2:-4872049514614819145,60,0,0:-4,-260363496187431241
divp2:-513726738058624,27,0,0:-3827562,-62639488
divp2:-5129414645415250,35,0,0:-149285,-21103148370
divp2:9777073958585027,20,0,0:9324144323,950979
divp2:4917705257,31,0,0:2,622737961
divp2:9309157350108809,25,0,0:277434508,16969353
divp2:549889891480003,40,0,0:500,134077592003
divp2:43259632605223,33,0,0:5036,721999911
divp2:80760535636025,12,0,0:19716927645,2105
divp2:95148114869248768947,22,0,0:22685078351318,2276275
divp2:72784357307196492,23,0,0:8676571525,9292
divp2:8695487295473310914,48,0,0:30892,162314927725762
divp2:-999894977194,21,0,0:-476787,-166570
divp2:422873004052896,16,0,0:6452529969,4512
divp2:5850059500167,33,0,0:681,314043015
divp2:279461298693250805,55,0,0:7,27259719560503029
divp2:-2391765116812271696,39,0,0:-4350595,-221690208336
divp2:93848076004932,44,0,0:5,5887145782852
divp2:54463987988137594412,48,0,0:193494,268844485922348
divp2:9735669349328114,31,0,0:4533524,691512562
divp2:-96573804848256945392306,69,0,0:-163,-355587759787924163250
divp2:693910684713664114,18,0,0:2647059191565,48754
divp2:56085146568929935461,53,0,0:6226,6324008912519269
divp2:7090107398039299,30,0,0:6603177,81864451
divp2:767239571830013898753,66,0,0:10,29369808881631834113
divp2:-74636360117262549362461,43,0,0:-8485171760,-6890174916381
divp2:5461169750136459,50,0,0:4,957570122765963
divp2:976702847245116276,37,0,0:7106448,71221928820
divp2:3617864287401198,48,0,0:12,240164566873326
divp2:-1309978694518086461,40,0,0:-1191418,-749976460093
divp2:-2386749120888691269,33,0,0:-277854167,-244046405
divp2:7266512965529689,33,0,0:845933,3826315353
divp2:-6961513563355648932180971,48,0,0:-24732264461,-193888863384555
divp2:5143351773441402886258,50,0,0:4568214,56404232132722
divp2:900799510679250396,62,0,0:0,900799510679250396
divp2:30978095034050773575947556,48,0,0:110056301970,184099523155236
divp2:398942302365209775391228,57,0,0:2768218,44660240185115132
divp2:914903526125867075664,27,0,0:6816562459810,77563984
divp2:2551094792632393428431439,87,0,0:0,2551094792632393428431439
divp2:6909886286515846175008,60,0,0:5993,427709407012247840
divp2:461670131377821667,44,0,0:26242,15985200256995
divp2:7884527998899506514865191,44,0,0:448183527561,3748608715815
divp2:-17784618887403951072,44,0,0:-1010938,-9512034128864
divp2:-2928855265612995457576576,88,0,0:0,-2928855265612995457576576
divp2:8468445340017772238,58,0,0:29,109764431618131662
divp2:97699128177500917404004263,94,0,0:0,97699128177500917404004263
divp2:-901210903909447624384117,51,0,0:-400218038,-507572120280693
divp2:-9099254471589743272646814275,80,0,0:-7526,-878753170044103808133699
divp2:88420842262358445100031098,32,0,0:20587081616362194,3379223674
divp2:5920604485769478876616913,30,0,0:5513992612966782,320526545

# Division by small integers

divv:-5721818303,-31144,0:183721,-11479
divv:100359289911028,16,0:6272455619439,4
divv:-80498620,-41490,0:1940,-8020
divv:37386622,55859,0:669,16951
divv:501578,15096,0:33,3410
divv:6823,11067,0:0,6823
divv:-56695604,31395,0:-1805,-27629
divv:396,1627,0:0,396
divv:82237128,16423,0:5007,7167
divv:274600467,39390,0:6971,12777
divv:258805,22852,0:11,7433
divv:5139922232,23459,0:219102,8414
divv:8755497783395,46470,0:188411830,43295
divv:56370361453114,52292,0:1077992072,24090
divv:81119249096,17631,0:4600944,5432
divv:3925148017708459,17729,0:221397034108,7727
divv:-289130964,59901,0:-4826,-48738
divv:-2394107507926474,13709,0:-174637647379,-7763
divv:-50229865870,26540,0:-1892609,-23010
divv:3694598237147,64566,0:57222040,2507
divv:-158417511658676756,-64615,0:2451714178730,-37806
divv:4290308067505999,15193,0:282387156421,1746
divv:560784439224,18032,0:31099403,4328
divv:9207709447044,43308,0:212609897,27768
divv:42833310641849859264,57815,0:740868470844069,10029
divv:-95089845960500,-61243,0:1552664728,-23596
divv:80687877739837,-30796,0:-2620076559,28873
divv:87851714436662969875,61349,0:1431999126907740,28615
divv:-5469457537,11848,0:-461635,-6057
divv:-87902672172139257996,27307,0:-3219052703414481,-25329
divv:-694576880064214,41179,0:-16867259527,-1881
divv:47595892116434828,47204,0:1008302095509,27992
divv:-505437926464614447947,63863,0:-7914409383596361,-45404
divv:-747214784268033231559289,38881,0:-19217992959749832348,-36701
divv:40648086806090824914,-26501,0:-1533832187694457,19957
divv:23860923193973296,51883,0:459898679605,27081
divv:-54927711987466879,-11937,0:4601467034218,-6613
divv:4311756940677447464744993405,57924,0:74438176587898754656877,50057
divv:6015889311543917179186719299,-50635,0:-118808913035329656940588,45919
divv:3915173119649887691276,20797,0:188256629304702009,10103
divv:209840208083311316090,36847,0:5694906181868573,6759
divv:80000000000000000000,25,0:3200000000000000000,0
divv:65000,25,0:2600,0
divv:800000000000000,25,0:32000000000000,0

# More regular division tests, all with remainder zero

div:2546905999569583642767,14957376976449,0,0:170277583,0
div:8820890915810513585008,1290654714992,0,0:6834431249,0
div:32722399167479650872,485171756,0,0:67444979562,0
div:281565136283209685892638788,662476076955569,0,0:425019326852,0
div:378946105625441540737303,730177609549,0,0:518977986547,0
div:4582336996784637790714331883462,524659399010705751,0,0:8733927201962,0
div:30908196512568974558050436710,558351619821782,0,0:55356150882905,0
div:22323179841972640636983704753,52956211127329649,0,0:421540351297,0
div:52861155259463695471936251160,9468000366853,0,0:5583138277489720,0
div:63260535208765360919938678377,42122224781389,0,0:1501832715082893,0
div:28984143265639802151626094051438,400082299653446,0,0:72445452574997853,0
div:3317964166851176108015612343691026488,4043377664512227983,0,0:820592198441457736,0
div:66344183633702866132053676311141052606577,91178778320288608847,0,0:727627468320008374591,0
div:5695550794829300030546270882518324992076491,700880200540761512031,0,0:8126282908883599504661,0
div:39037424763225371397599506194643545880,7823304879274443640,0,0:4989889230399751117,0
div:436302766535175847931361924986715811355695802824125,539874776595118725233603625,0,0:808155493551392334022517,0
div:346745970223883677972239586841121624456285168,91526846077189641641348,0,0:3788461911289433710716,0
div:52724986995800116311347732059133990047851510404883234,568154076534742483223872266,0,0:92800508125151146767566749,0
div:2377848542111935708145523356022435793438514852230023651,78161062689778162572883876143153,0,0:30422418276855244470867,0
div:232771550187355002750375300477927538332648185231317422242,385169380058229884085331084789,0,0:604335552717520311627548378,0

# Bug fix regression tests
div:#xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,#xFFFFFFFFFFFFFFFFFFFFFFFC7,=1,=2:#x100000000000000000000000390000000000000000000000CB1000000000000000000002D369,#xA11260

div:#xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,#xFFFFFFFFFFFFFFFFFFFFFFFC7,0,0:#x100000000000000000000000390000000000000000000000CB1000000000000000000002D369,#xA11260

div:#xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,65532,=1,=2:#x100040010004001000400100040010004001000400100040010004001000400100040010004001000400100040010004000fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80fe03f80,#xfe01

div:#x0144E8D32EFB430AB38966D6CF217276A50D882C9BB1956E47F0C11F809819482F6671C7CDD70EBFD40A67E96E8728B1FB26092168F13A2689FEB0B86D689F12949DDF22AF0A030FDF2A27BB4CE09998ADFDD014B507C487D2BB6C71122AF93F13E99F22A7C5F2E728A50C7761551C4E9322502DB31D03BDED78A9301C50D57AEA88C1FEE4EAC7F0B38002C0F86D434B7D8311D4C410A0CECD6B81D40E8289F31045CC6F6C4EC203BF2A6BCF549759C92875BE633E20801C130874CAAEB8FD7276BE101898F12FE7648FB2C76C09D3643386B7F99B26FFA462DF54DBF401C8B73B5101B0A45D83774DC307ABB9F52A54E152E6FE5EBA1F5C91E0CFC2B84791413448023D6BAA4BB3B765DAC3C7D679832378C6737EAAFDB1395DDA29887653C17A4F16330550D9F71C99BD7D81777943CA1437F0C6C9AE89472A5CDC304DA0952AB154FF9F0B73A68FB5B7E661389AF3E407B4456A9FB5EC7FD7F78D0FA97C09DF4BEE8048687BFFA8B6231D9893ACCB75904A16BEB45C9B58DD4C63C9902D0C5015D2325EF7294EFD442CF7C6F837A8D6661DA492459429F9D7CE1251CA3375CFDD74A1C8EF5FFB8370245295E3C09B47D697EA3B5924F7181B1F9810FE479D2B17E63F1886053C32E53B4D6990DFE036BB50CCE32E76EB5BE5F2E0B40EFAB32D19968C0275277A4FFBABD2C5A24C982218DA3B32703381399A653A3CB9FA3009695581F18A7023727D6BE13E5D9829E9788BBC94DCFC493307101A0D7A8A212AA5FFAA45CAC31212202C23DC6ABB39D6192FEFF6FC3C084547036E2DBD6AE3DBB16D0101E10E899B32C70CEF1056DDFAD104E165F7D147C8143C6E6D08C0315D01D41D5FCDF528A8E2AF9B68526949742C691DD8EA545D9F450B54F447E52ACF59172A9BA2284703A6A525BA28664EAADA9CC9A1AA7875CE0273AA591F2AA8C20925EAA62037D109CA0EEA3824C1ABC869978B5B62F853980C,527,0,0:#x9DD4AE7AE3F3E047AB2F86F36EF8F04867BA224C9A45AC9596780B6AAC0290D95539B3274501D2411CDB86482673F35C5E41A4638DF46A28CD54634DEBE64A1E6ACE84760F8CE729DB28303CA956C1AA8026E69908252D172FCFA340B05236EDFBEE17A29F4EA5B964178B1D4EBF8AB92495B4130001D154C0AF742703CE32F707A796896EA61A92758FAAF9E4705B13ADF05F952998701DD5FC07CCC198FE167A50D95812D3CD5B67AC5AFFCD2A28654365B6C44FE8BC83A8C8856E9ED769A317D54C8E4D53FDC310DAF9677CC203032B951E697C5B26903614D1D448C2A7B3E357C60508FE4886ED8E2B9614F7E72AE7AA0410DE8A9EA328B6885D67423030B6A7388DAE88D78B1F8119A3A00C649F13525064648CB92FC88CF3A1038F2EDDA916ED8D06BA84AB4840D869A372C51EA44BC04179C5F7E08164001776D50CB6038FC968F29E30D97BBBF19C865DBAF7C1AD8D133F7EBFA2A80F5394F77DD530B88F0F323B7FC1A7EF8CEDD48FA12CE9EDAE6F1DF95FFDBD62452B214E4B51467A53A5D3C73E5408632E9E4097AA56DFA5B40BEF9DAB8E518867FD3D972BF155EA5C9A5EB17CD58074A742D5AF3DFCBC664CB5CA3FB4B0613485DFF8B5D03507D1513E399332A257DF90E7E9719BDF125430F7339462926404D531677F42E3E937A9CC83613A86394FFDF89A4BECDBA1CEDD9F6D82C4FB406A16F10E70AFF07927FECA0D60E176BEA8C4312E535AEB11B7665E858517F109BA90CEF68464219955024423D88981BC0DAF6E33B1A9283D412F16D06335EF9D86142025C37B54F0CAC5B5AE55097D9F6DACF547ECBBED87ED107543819C8DBD0099B65EBDD07D04DC74A3E2C2496D9E4E0E61D6615A7E08D3FE996DBE187750C4C1FB9B18B928B6550DAEAFAB8D7E4E8662AEBE7F77299D516BBCC8F2242B9FD28EA7460282819525F63E7E5C66E4D0C73181CE8577D3342D76CABD26D8CFB6,98

div:#xC085B984D2F30F92A00B8814DCF9A909C8672B081225AA88A7293D276E46B240B96E345B76A5E2D4E5CE7F4C208616DD38CA2029C37FAA8EF2561C688DA55150788FF7F34E484596590DDE971387608FB88D92A8868F4A2F165D0222A272C5AC300AFEBB152B25D3FAB5999458B1AC27FAE5E2ED6D50E7F8FDE7E22178E4C954,#xD607ECBE4F4608C16A0FBDF0F4DC57278E937A73D2226CE8388C6B9B9DF9C58464CF3E05F29FC58B59CD34CBA4F47810D92B7B4FCAAD1860C76E091D0B1491B9,=1,=2:#xE64618B3D9A1E9B5DC38D204743994492C406B98FFFFFF95EF529A267E06AF4364F984172C9569DC33FCA47F08195C2937CD1CAAE1F954A2A78AA08AF59EC954,#x5BAA50658645474B56E43FF89470E38A4D69E90D43F0E1D5DBCAFDE8853AEDBAC364F06CE50511DEA15DE5D944D9ABBEA76EF56D1E1E2732AC396304B28CB7A0
div:#xFFFFFFFF400000002,#x7FFFFFFFE,0,0:#x1FFFFFFFF,0

# Spin in s_udiv(), rep. by Andres Navarro.
div:45035996273705000,45035996273704960,0,0:1,40

# ISL test failures
div:-110768999339257979395151936604514986,384307167128540502,0,0:-288230376151711743,0
div:-1141798147252782335678234520236874583761538254,990352029122461210705605426,0,0:-1152921500311879679,0
div:-11417981504429295188771564013355757832033533955,2475880072806153026764013565,0,0:-4611686014132420607,0
div:-19746054620424668475119147467564405598366894325375493578959094720,137015778031883893401769208133025156060969696320,0,0:-144115188075855871,0
div:81791893044,81791893043,0,0:1,1
div:66461399479760783996783510248698675,57646074961906893,0,0:1152921504606846975,0
div:4951760153682756594365890554,8589934586,0,0:576460752303423489,0
div:9903520270472025075672416238,25769803758,0,0:384307166770626561,0
div:11141460315522012760862883825,48318382095,0,0:230584300062375935,0