Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346############################################################################# ## #W sml47.z GAP library of groups Hans Ulrich Besche ## Bettina Eick, Eamonn O'Brien ## SMALL_GROUP_LIB[ 47 ] := rec( heads := [ 109480528612038, 397383912424, 2934079583078880294, 236447942155785611374405, 236484898388380455405655, 1833336442050272478551, 1833337513814248847351, 873451769142029802382, 236491468845758190924765, 67400068621037277539415390, 70946082992005333385846640, 136893379779381963458875, 39014613237123859585779476, 39014613237123859585779533, 3983786320129007399, 9045820072065352768, 7044202654897742346, 2755082642112072012, 9666956638989441, 63777750627873356498431062, 2755082562802518816, 2755082556205019338, 162855942196014916603190956, 2755082932262554963, 162855942226667366331984649 , 2755082608985023191, 63777750475137548633765956, 63777759211085721339984649 , 2755082985042558816, 63777750475244725031419081, 63777759211192897737637774 , 2755082602387523713, 6888802519163337635, 5819731101392161084, 6127850095826150125, 21548533945747150, 141680267278357490314113991, 21548910003282775, 141680267309009940042907684, 2621461402873209697394, 17295093246262751581917008475517, 21492085544881459, 497522974785367022508766 , 1877789462503158711753, 535169996813400139682628, 535169996813400185980878, 436076270005965145972, 9664254303242020972, 124313959528113326864722, 74659257748277815458472, 124281736951699973793472, 64780308134471314809097, 35429478465512298063637222, 38964960218021001667152847, 65477506147449875121472, 35420295031234485910277722, 18462387818324318099730847, 10094585382468129588119262097, 422214403954818269621215222, 10095292478818631328839965222, 422921500305320010341918347, 10097401362671004941515746472, 2877759251685798367483109496472, 6064198210603865527543090222, 3168961960185384957092638793347, 49278242812413, 9045820085297522407, 21492085707087784, 1746129021101177403409, 4591448587860010513, 784437600624785758893, 4591457956310898013, 571424358607084494040143, 106288042941928724134353388, 18176666398179607427846592018, 784437600585177606013, 223564716166775570927643, 372941172501293104637263, 163067127783559706321145768, 18161127532577104391807542888, 5180349923481184899750750623268, 5180349213903794571688137284343, 5180347794749013915562910606493, 5180348504326404243625523945418, 1877012952705343218013, 1683354424150119013, 534948691521022770347643, 136730463101573438515143, 38968181984055606374385768, 1683649596189186763, 297248002742366899518, 1683542419791533638, 288542599842991821393, 38975039239176281807990863, 24150889050450733767021393, 38972558199349207786394338, 23443792699734640251012018, 38967596119696187929697638, 22029599998623982411952643, 38970077159523261951294163, 22736696349340075927962018, 1683640194750796138, 571153279497429836430768, 38974820840471964152522113, 13253248463271785210541502395768, 116807704280705505336505513, 9487697965168603038150455540868, 9491728419215218567651907433982, 9491727005039989461267993536368, 12955917914702704102396653800664, 33290174064328843596604972539, 136730463103453726192696, 159233409325995115884395821, 45381521657969160804795020821, 136730463100069208388945, 38968181983519724390847780, 45381521657907750615871680195, 11105931865333666723380025905, 35828498550512692994395330847232136456967335524, 35828498550517587628345247689175441819526311604, 1547725823351999813681850105056248180659, 1547796324618286706253718934973950151264, 1547725872458589795487355076812634866919, 35797721894179188915664209971371155340994175309, 125498049570857700977438491190367072210845979, 19054796843468346419061028562617539, 35797613142738535489052261144928764660471975967, 1546391630039718583092527193510834162657, 5416605406771685945072659488527239882, 299498290276973512868038478477413597122, 10184776511607651784651910420052541811039848437717, 49311322912038, 372635721148066718168563, 49497104774293229784439337938, 30267336450251704087997678563, 11305953078006867572346856186, 3165132450403212427335102631357, 8626190888321735127303774604813, 3165132450403241577421688761063, 902062748364915450258073619149936, 902062748364915480910523347943743, 902062748364915511562973076737550, 52674519900050, 16976810224960, 2143544929896525321, 1991890327217353446, 6130010665122675767, 6130003117581960767, 6125185748002141974, 6125186058223566099, 4597446718700712744, 6130010566184210714, 6130010539794208214, 2298418598229351340, 655049300495365131145, 655049300495365130860, 186689050641179062294345, 655049300495364966415, 186689050641179015443480, 611091017701286527855, 1747044967491789885715, 497907815735160117263290, 6115064568916482040, 1743404307607820192860, 1742793402141197380360, 1743404307607820209105, 1742793402141197396605, 1743404307607820225350, 1742793402141197412850, 1743404307607820241595, 1742793402141197429095, 1310247021094226153590, 1307954078066739318985, 1310247021095545653715, 1307954078442796854610, 40442749194555803555502702512 , 5972423596711390964, 5961696984507518587, 1685360169435924715, 480327648289238542735, 136893379762432937811610, 136893379762434257311735, 1747053005780991375715, 6130072985485106965, 1747053103555950638215, 1747052996379552985090, 1747053210732348291340, 1702199794339809906145, 1685360169667822090, 2298416685394409590, 5963851372016463340, 480327648355329294610, 1530078986986166485, 1683339355342457110, 2298409164243697082, 8065004340380207, 5964385373717050832, 655046611809453668466, 2293703299113968466, 2298526237008359091, 655048757217694409091, 480327648355329293470, 2296264250931574720, 1683339355342455970, 479716348061374419160, 1530629944356200410, 654435311515498794160, 479751716272599950410, 2298418598669591694, 2298524277434602944, 2298418948337124819, 2298516756283890444, 118902015124194, 2298516749686389819, 33886995024071694, 655077273581334774819, 33887371081607319, 655077273957392310444, 8059323892342944, 2296907223433914819, 1685360169667822944, 8059699949878569, 2297014399831567944, 1685573024830487319, 2298419060610951069, 2327469505237982319, 655049407797231285444, 655079419068861838569, 118987898947944, 2298516835570213569, 33888954598072944, 655077275540908776069, 33887074310394819, 655077273660621097944, 9657793581860432319, 186697022970680410822944, 9657900758258085444, 186697023077856808476069, 9658007934655738569, 186697023185033206129194, 9658115111053391694, 186697023292209603782319, 2296907309317738569, 654618558678665722944, 480327648355329538569, 2297014485715391694, 654649103951996863569, -245, 2297121662113044819, 654679649225328004194, -245 , 2297228838510697944, 654710194498659144819, 480449402623351166694, 655049300620833389508, 655079419068861595758, 655049514973628695758, 655109964342192736383, 186689050644939544486383, 186697022970680410580133, 662563118211388702008, 186697023077856808233258, 186689079161382470930133, 186697053515953741720758, 662593663484719842633, 186697053623130139373883, 186689050752115942139508, 186705728373579785658258, 671268521110763780133, 186705728480756183311383, 186689109706655802070758, 186705758918853116798883, 671299066384094920758, 186705759026029514452008, 655049398395792652008, -275, 186688314888371094173883, 655049300620833389565, 655079419068861595815, 655049514973628695815, 655109964342192736440, 186689050644939544486440, 186697022970680410580190, 662563118211388702065, 186697023077856808233315, 186689079161382470930190, 186697053515953741720815, 662593663484719842690, 186697053623130139373940, 186689050752115942139565, 186705728373579785658315, 671268521110763780190, 186705728480756183311440, 186689109706655802070815, 186705758918853116798940, 671299066384094920815, 186705759026029514452065, 655049398395792652065, -298, 186688314888371094173940, 655049432274051526458, 655079977547382667083, 186689081222210846823333, 186697634434625554463958, 663205020253466073333, 186697664979898885604583, 186689111767484177963958, 186706339837524929542083, 671910423152841151458, 186706370382798260682708, 53206379433807770178292083, 53208651546643917015010833, 188830488690245779745208, 53208651577189190346151458, 53206387560994004214760833, 53208660252046816390088958, 188839194093145154823333, 53208660282592089721229583, 53206379464353043509432708, 53211132586470238912276458, 191311528516567677010833, 53211132617015512243417083, 53206396266396903589838958, 53211141291873138287354583, 191320233919467052088958, 53211141322418411618495208, 53206379494898316840573333, 53213613626296560809542083, 193792568342889574276458, 53213613656841834140682708, 53206404971799802964917083, 53213622331699460184620208, 193801273745788949354583, 53213622362244733515760833, 53206379525443590171713958, 53216094666122882706807708, 196273608169211471542083, 53216094696668156037948333, 53206413677202702339995208, 53216103371525782081885833, 196282313572110846620208, 53216103402071055413026458, 2324271168977917083, 655076762255453073333, 186689078542800905495208, 186696901348065607088958, 662471933693518698333, 186696931893338938229583, 662502478966849838958, 186696962438612269370208, 53206169743185761839229583, 655049432274051526515, 655079977547382667140, 186689081222210846823390, 186697634434625554464015, 663205020253466073390, 186697664979898885604640, 186689111767484177964015, 186706339837524929542140, 671910423152841151515, 186706370382798260682765, 53206379433807770178292140, 53208651546643917015010890, 188830488690245779745265, 53208651577189190346151515, 53206387560994004214760890, 53208660252046816390089015, 188839194093145154823390, 53208660282592089721229640, 53206379464353043509432765, 53211132586470238912276515, 191311528516567677010890, 53211132617015512243417140, 53206396266396903589839015, 53211141291873138287354640, 191320233919467052089015, 53211141322418411618495265, 53206379494898316840573390, 53213613626296560809542140, 193792568342889574276515, 53213613656841834140682765, 53206404971799802964917140, 53213622331699460184620265, 193801273745788949354640, 53213622362244733515760890, 53206379525443590171714015, 53216094666122882706807765, 196273608169211471542140, 53216094696668156037948390, 53206413677202702339995265, 53216103371525782081885890, 196282313572110846620265, 53216103402071055413026515, 2324271168977917140, 655076762255453073390, 186689078542800905495265, 186696901348065607089015, 662471933693518698390, 186696931893338938229640, 662502478966849839015, 186696962438612269370265, 53206169743185761839229640, 610297391552000511129, 74659253453680919089254, 136719154901007905089254, 174108977176097307542379, 74659283998954250229879, 74659100727314263386129, 21277869819196779408683004, 49621058490891248867979879, 74659345625382900776754, 21277843702988081283448629, 261968749787336702379, 38964958994060886294358629 , 21277887234299061940061754, 38964959146787252950061754, 49621058495187732649202379, 38964967699463785669436754, 21277895939701961315139879, 21277843707284565064671129, 6064192898471082131474280504, 6064895032741931228400452379, 21277904645104860690218004, 21277913503234126720999254, 6064185455351603165782483629, 21277913350507760065296129, 2298418598669593698 , 655049300508559808073, 655077273581334776823, 2324782870917156198, 655077273957392312448, 655049300884617343698, 655107818854665917448, 2355328144248296823, 655107819230723453073, 655049398283519070573, 655076730178195798698, 2324239085123141823, 186689078510717050719948, -439, 655049398659576606198, 655076837354593451823, 2324346261520794948, 655076837347995951198, 662438684454139667448, 186696898644099559198698, 662438684830197203073, 186696898644475616734323, 662438685206254738698, 186696898644851674269948, 662438685582312274323, 186696898645227731805573, 655049505835974259323, 655107382627924592448, 2354891534851935573, 186689109163166779513698, -456, 655049300620833389507, 655079419068861595757, 2327035158784092632, 655079526245259248882, 655049514973628695757, 655109964342192736382, 2357580432115233257, 655110071518590389507, 655049400276080330132, 655077275540908533257, 2324891630831030132, 655077382717306186382, 186689079054206073277007, 186697022970680410580132, 662563118211388702007, 186697023077856808233257, 186689079161382470930132, 186697053515953741720757, 662593663484719842632, 186697053623130139373882, 186689079268558868583257, 186697084061227072861382, 662624208758050983257, 186697084168403470514507, 186689079375735266236382, 186697114606500404002007, 662654754031382123882, 186697114713676801655132, 655049507452477983257, 655107820814239673882, 2355436904162170757, 655107927990637327007, 186689109599479404417632, 186705728373579785658257, 671268521110763780132, 186705728480756183311382, 186689109706655802070757, 186705758918853116798882, 671299066384094920757, 186705759026029514452007, 186689109813832199723882, 186705789464126447939507, 671329611657426061382, 186705789571302845592632, 186689109921008597377007, 186705820009399779080132, 671360156930757202007, 186705820116576176733257, 186689050643059256808257, 655076737778632589507, 662410284668335345757, 186696870244313754877007, 662410391844732998882, 186696870351490152530132, 662410499021130652007, 186696870458666550183257, 662410606197528305132, 186696870565842947836382, 2324353868555086382, 655076844955030242632, 662440829941666486382, 186696900789587086017632, 662440937118064139507, 186696900896763483670757, 662441044294461792632, 186696901003939881323882, 662441151470859445757, 186696901111116278977007, 2324239171006720757, 655076730257481877007, 662408141140382283257, 186696868100785801814507, 662408248316779936382, 186696868207962199467632, 662408355493177589507, 186696868315138597120757, 662408462669575242632, 186696868422314994773882, 662408139260094605132, 186696868098905514136382, 188786319666530429330132, 53208607408165474995736382, 188786319773706826983257, 53208607408272651393389507, 188786319880883224636382, 53208607408379827791042632, 188786319988059622289507, 53208607408487004188695757, 662408246436492258257, 186696868206081911789507, 188786350211803760470757, 53208607438710748326877007, 188786350318980158123882, 53208607438817924724530132, 188786350426156555777007, 53208607438925101122183257, 188786350533332953430132, 53208607439032277519836382, 662408353612889911382, 186696868313258309442632, 188786380757077091611382, 53208607469256021658017632, 188786380864253489264507, 53208607469363198055670757, 188786380971429886917632, 53208607469470374453323882, 188786381078606284570757, 53208607469577550850977007, 662408460789287564507, 186696868420434707095757, 188786411302350422752007, 53208607499801294989158257, 188786411409526820405132, 53208607499908471386811382, 188786411516703218058257, 53208607500015647784464507, 188786411623879615711382, 53208607500122824182117632, 2324346347404373882, 655076837433879530132, 662438686413713423882, 186696898646059132955132, 662438793590111077007, 186696898753235530608257, 662438900766508730132, 186696898860411928261382, 662439007942906383257, 186696898967588325914507, 662438684533425745757, 186696898644178845277007, 188795025069429804408257, 53208616113568374370814507, 188795025176606202061382, 53208616113675550768467632, 188795025283782599714507, 53208616113782727166120757, 188795025390958997367632, 53208616113889903563773882, 662438791709823398882, 186696898751355242930132, 188795055614703135548882, 53208616144113647701955132, 188795055721879533202007, 53208616144220824099608257, 188795055829055930855132, 53208616144328000497261382, 188795055936232328508257, 53208616144435176894914507, 662438898886221052007, 186696898858531640583257, 188795086159976466689507, 53208616174658921033095757, 188795086267152864342632, 53208616174766097430748882, 188795086374329261995757, 53208616174873273828402007, 188795086481505659648882, 53208616174980450226055132, 662439006062618705132, 186696898965708038236382, 188795116705249797830132, 53208616205204194364236382, 188795116812426195483257, 53208616205311370761889507, 188795116919602593136382, 53208616205418547159542632, 188795117026778990789507, 53208616205525723557195757, 186689050750235654461382, 655107283051963730132, 671115687567710423882, 186705575647213129955132, 671115794744108077007, 186705575754389527608257, 671115901920505730132, 186705575861565925261382, 671116009096903383257, 186705575968742322914507, 2354899141886227007, 655107390228361383257, 671146232841041564507, 186705606192486461095757, 671146340017439217632, 186705606299662858748882, 671146447193836870757, 186705606406839256402007, 671146554370234523882, 186705606514015654055132, 2354784444337861382, 655107275530813017632, 671113544039757361382, 186705573503685176892632, 671113651216155014507, 186705573610861574545757, 671113758392552667632, 186705573718037972198882, 671113865568950320757, 186705573825214369852007, 671113542159469683257, 186705573501804889214507, 191267359492852326595757, 53211088447991796893002007, 191267359600028724248882, 53211088448098973290655132, 191267359707205121902007, 53211088448206149688308257, 191267359814381519555132, 53211088448313326085961382, 671113649335867336382, 186705573608981286867632, 191267390038125657736382, 53211088478537070224142632, 191267390145302055389507, 53211088478644246621795757, 191267390252478453042632, 53211088478751423019448882, 191267390359654850695757, 53211088478858599417102007, 671113756512264989507, 186705573716157684520757, 191267420583398988877007, 53211088509082343555283257, 191267420690575386530132, 53211088509189519952936382, 191267420797751784183257, 53211088509296696350589507, 191267420904928181836382, 53211088509403872748242632, 671113863688662642632, 186705573823334082173882, 191267451128672320017632, 53211088539627616886423882, 191267451235848717670757, 53211088539734793284077007, 191267451343025115323882, 53211088539841969681730132, 191267451450201512977007, 53211088539949146079383257, 2354891620735514507, 655107382707210670757, 671144089313088502007, 186705604048958508033257, 671144196489486155132, 186705604156134905686382, 671144303665883808257, 186705604263311303339507, 671144410842281461382, 186705604370487700992632, 671144087432800823882, 186705604047078220355132, 191276064895751701673882, 53211097153394696268080132, 191276065002928099327007, 53211097153501872665733257, 191276065110104496980132, 53211097153609049063386382, 191276065217280894633257, 53211097153716225461039507, 671144194609198477007, 186705604154254618008257, 191276095441025032814507, 53211097183939969599220757, 191276095548201430467632, 53211097184047145996873882, 191276095655377828120757, 53211097184154322394527007, 191276095762554225773882, 53211097184261498792180132, 671144301785596130132, 186705604261431015661382, 191276125986298363955132, 53211097214485242930361382, 191276126093474761608257, 53211097214592419328014507, 191276126200651159261382, 53211097214699595725667632, 191276126307827556914507, 53211097214806772123320757, 671144408961993783257, 186705604368607413314507, 191276156531571695095757, 53211097245030516261502007, 191276156638748092748882, 53211097245137692659155132, 191276156745924490402007, 53211097245244869056808257, 191276156853100888055132, 53211097245352045454461382, 8189215693560932, 2298548833540842182, 2327486460907185932, 655079977547382342182, 655110522820713482807, -750, 672125847712123607807, 655079441665394076557, 663174474980134607807, 186697634434625554139057, 186689081222210846498432, 655109986938725217182, 186689111767484177639057, 53206379403262496846826557, 186696868123382334295307, 188786320225008950076557, 53208607408723953516482807, 53208607439269226847623432, -763, 53208607469814500178764057, -765, 53208607500359773509904682, 53804127467139703097592182, 53208607408188071528217182, 53804101104961172358435932, 15164453111327160373784217182, 15164453111357705647115357807, -772, 15164453111388250920446498432, 15164453111418796193777639057, 15334168841116946274480014057, 53208607438733344859357807, 53804109810364071733514057, 15164453120032563273159295307, 15163820402063537717826154682, 53208607469278618190498432, 15163818138473368712365935932, 15163818129920156297658295307, 186696959759202327717182, 188812436433707075310932, 53208633524932651641717182, 188812466978980406451557, 53208633555477924972857807, 53206387467214656267951557, 53208633586023198303998432, -789, 53208633616568471635139057, 53208633524396769653451557, 53811544224440138050232807, 15164460554446639339476014057, 53811544254985411381373432, 15164460554477184612807154682, 15163820428149201142620248432, 53208633554942042984592182, 53811552929843037425310932, 15164460563152042238851092182, 15163820428179746415951389057, 53208633585487316315732807, 15163818138565004532359357807, 186705604071555040514057, 191276065454230222420307, 53211097153953174788826557, 53211097184498448119967182, -808, 53211097215043721451107807, -810, 53211097245588994782248432, 54513704857467765715560932, 53211097153417292800560932, 54513678495289234976404682, 15165162688717488436402185932, 15165162688748033709733326557, -817, 15165162688778578983064467182, 15165162688809124256395607807, 15536398397360444120601107807, 53211097183962566131701557, 54513687200692134351482807, 15165162697422891335777264057, 15163822891808766939098498432, 53211097214507839462842182, 15163818147209316885072154682, 186705634616828371654682, 191284770857129597498432, 53211105859356074163904682, 191284801402402928639057, 53211105889901347495045307, 53206396142072282311889057, 53211105920446620826185932, -833, 53211105950991894157326557, 53211105858820192175639057, 54516159535115556873670307, 15165165169757314758299451557, 54516159565660830204810932, 15165165169787860031630592182, 15163822900483624565142435932, 53211105889365465506779682, 54516168240518456248748432, 15165165178462717657674529682, 15163822900514169838473576557, 53211105919910738837920307, 15163818147239862158403295307, 655049300620834202326, 655049400276081142951, 655077275540909346076, 654619094560654558576, 655049398395793464826, 186689078518324085824201, 186696870244313755689826, 655049505572191117951, 186689109063597416964826, 186705575647213130767951, 655049432274098068951, 186689081222210893365826, 186697634434625601006451, 186697664979898932147076, 186689079078682940303326, 186697023529158978193951, 186697054074432309334576, 53206387530448730930162701, 53208651546643917061553326, 53208651577189190392693951, 53206387560994004261303326, 53208660252046816436631451, 53208660282592089767772076, 53206387591539277592443951, 53208668957449715811709576, 53208668987994989142850201, 53206387622084550923584576, 53208677662852615186787701, 53208677693397888517928326, 186689078542800952037701, 53206387377722364274459576, 15163818138473368712412803326, 186689109088074283178326, 53206396083125263649537701, 15163818147178771611787881451, 655049432274051770701, 655079977547382911326, 655079441665394645701, 663174474980135176951, 186697634434625554708201, 655109986938725786326, 671879877879510255076, 186706339837524929786326, 33911551130880076, 655077298137441583201, 9658352060381505076, 186697023529158931895701, 9688897333712645701, 186697054074432263036326, 9719442607043786326, 186697084619705594176951, 9749987880374926951, 186697115164978925317576, 9657816178393239451, 53206387530448730883864451, 9688361451724380076, 53206387560994004215005076, 186558344772943623864451, 186566350313966324036326, 53169119697957096233083201, 654649128428817348826, 186574994626319036833201, 53169119728502369564223826, 186689050676937747663074, 655077298137673319324, 186697023529159163631824, 53206387530448731115600574, 53208651546643917246991199, 53208651577189190578131824, 655076762255685053699, 186696870802792507928699, 53206387377722364459897449, 53208608019629420371600574, 53208608050174693702741199, 186689088198124547151824, 186697793601023922229949, 186706499003923297308074, 53206388148330111206761199, 53208825813868302884339324, 53208834519271202259417449, 53868835098266423774573699, -928, 53206396853733010581839324, 53211306853694624781604949, 53211315559097524156683074, -933, 662570009545224183074, 186697029969190643714324, 188830617311370816370574, 53208651705810315382776824, 188839322714270191448699, 53208660411213214757854949, 188848028117169566526824, 53208669116616114132933074, 188856733520068941604949, 53208677822019013508011199, 53208651553083948727073699, -945, 15164465690793516369140198699, -947, 15164465699498919268515276824, -949, 15164465708204322167890354949, 15163818138635214520675354949, 15163818147340617420050433074, 15163818138482488154019651824, 4321688169464910083044246448699, 4321688169473615485943621526824, 15163818147187891053394729949, 4321688171945949909366143714324, 4321688171954655312265518792449, 665169048470038533074, 186699629008115458064324, 189050087790946729158074, 53208871176289891295564324, 191531127617268626423699, 53211352216116213192829949, 53208827649275394420173699, -966, 15164515356952464395496736199, -968, 15164517837992290717394001824, -970, 15164520319032117039291267449, -972, 15164522800071943361188533074, -974, 53211308689101716317439324, 54576054701636747315095574, -976, 15165222453302966136217439324, 15553433366548423213893220574, -979, 15165224934342792458114704949, 15554140462898924954613923699, -982, 15165227415382618780011970574, 15554847559249426695334626824, -985, 15165229896422445101909236199, 15555554655599928436055329949, -988, 188832452718462352204949, 53208653541217406918611199, 53819206973565078022908074, 15164468217195764279448689324, 53821688013391399920173699, 15164470698235590601345954949, 53824169053217721817439324, 15164473179275416923243220574, 15164465692628923460676033074, -999, 4321872721876152163278416658074, -1001, 4321872724357191989600313923699, -1003, 4321688827160698169756213142449, 15164468173668749782573298699, -1006, 4321873428972502665019137361199, -1008, 4321873431453542491341034626824, -1010, 4321873433934582317662931892449, -1012, 4321873436415622143984829158074, 4321688169511036136465936189324, 15164470654708576104470564324, 4321688832122777822400007673699, 4321874136068853166759858064324, -1017, 4321874138549892993081755329949, -1017, 4321874141030932819403652595574, -1017, 4321874143511972645725549861199, -1015, 15164473135748402426367829949, 4321688834603817648721904939324, 4321874843165203668500578767449, -1027, 4321874845646243494822476033074, -1027, 4321874848127283321144373298699, -1027, 4321688171992075962787833454949, 4321688169467509121969060798699, 1231681128297499373665683697908074, 1231681128299980413492005595173699, 1231681128302461453318327492439324, 1231681128304942493144649389704949, 4321688171948548948290958064324, 1231681129004595724167424418611199, 1231681129007076763993746315876824, 1231681129009557803820068213142449, 1148975690646711324244832693611199, 655046611677387585168, 654590577985661216418, 1699697639012338288293, 186688284328055461769568, 653853855081410594568, -1047, 186688284328055461785813, 653853855081410610813 , 611060985746445379563, 480327648256250713293, 136893379752971959545168, 136893379753348017080793, 136893379753724074616418, 136893379754100132152043, 136893379752978557045793, 186688284337456900160193, 186688316496017059132068, 53206161036152619966710193, 186688316603193456785193, 53206161036259796364363318, 1685360572115360215, 480327755439245866465, 480357766710876419590, 480357873887274072715, 655048755244925650840, 1683329894410488340, 479749019854093098340, 480327763052877660235, 480358308326208800860, 480388853599539941485, 136893410300185071941485, 136901963512599779582110, 136901994057873110722735, 136893440845458403082110, 136910668915499154660235, 136910699460772485800860, 136893471390731734222735, 136919374318398529738360, 136919404863671860878985, 136893501936005065363360, 136928079721297904816485, 136928110266571235957110, 436069280923745760235, 186557735994049284097735, 75410826472410, 24182518797536900, 75410849704760, 32816409314496717, 4593082227558305350, 261382045764513786947073, 6892017857298013445, 21492092165125085, 21491827176845540, 4593082168296870250, 6120345834853901490, 9228012411044620930, 6125170745261675540, 2629983537147655849180, 21501228499168210, 21474839586140567, 5051251899721228083, 7800326499523884325, 27405331600544710, 11281767211267458, 7800326466652126825, 3215303655211220508, 2223093042995856142375, 1526660811045849895801, 6120336433439392442, 5356704600160876825, 6120336433439392440, 3215303655211220500, 7810519565415782635, 3215313023314463583, 21463894402051067, 21552288016363442, 634198105322068963438174, 75622086364435, 923571942910893501244, 3215313023337612700, 74433903611622723403664599, 6120336802876278315, 7810519506154347535, 3215303654956172583, 2225998059253989047567, 8164666184822328, 2294237228125978578, 7807825093497329185, 6588708572908803760, 3215303654979321700, 21475209231368565, 1877781943279009071690, 2294237234723478625, 7810519505992141210, 3215303608727369958, 28601722723067 , 21463881253348067, 21548540636008442, 51512230305366808197618966340, 75615512012935, 923419979974152907576, 3215303615324870575, 21463887850848690 , 21475169576917440, 916361530367588111125, 21552287831006560, 139165830315149400011875, 21552289150506685, 2708670627447234384943, 14968151606973992214009013560049, 21552291789506935, 13243112229705706389501894549829, 6142402005261510310, 17870239026523619724544171179820, 53804188036790203723953799, 21552670462893685, 2717588448312699921187, 6142618258136996560, 221435818655502288966866080, 6142725434534649685, 222142915036549303018693585 , 21550420715180560, 75009548501162391383308179, 21548540450651560, 74433824773728067371891340, 7507774565140256571, 27395832914146585, 2225226528451486622952, 24716600711390946, 1528488843772127467936, 27416758472684571, 6570600044017879563, 27411065454671571, 28016849282863938, 3495191303916873617149, 2296801894336436691, 5048029423530547218, 7797104023333203460, 7813761154937789196, 2226921929157084318696, 2226921929158403818821, 2226921929159723318946, 2226921929161042819071, 2004539570405010350793, 2265701657386262775762, 1525742309271780108469, 2296801881141436593, 7797104010138201066, 2665451438285064031141, 2294225933204909710, 536097688955120339594386, 1876709643382154605071, 1873958529084845568621, 1965302212130307133446, 410026159882160934391585, 61684334600077526603459013016, 534862251042914657386821, 2008828691123867645196, 2297014393234068460, 623066476802504393725167271, 654679647259156503460, 824588945400903774558171646, 654710192532487644085, 2270438216612617111446, 32277468771597838, 647074280829129068347446, 1712267904431870338, -1208, 9199079299123809088, -1208, 9199079675181344713, 654617485034401840189, 52559221278161957765788527760, 2225231221483990526196, 2323167321146609718, 1712269784719547316, 2323274497544262843, 1712270160777082941, 2323381673941915968, 1712270536834618566, 2323488850339569093, 51512718679606092222415670373, 401667960074589893367271056167372150221, 2340959959821240762389164102327968887904263239, 401667910911168456574184274566538087778, 2650004509263405182152707862119892620337677295750, 4945126834922677806327065065587664, 32625478713601223625071939987671555076719810, 17351321533089847533208522389123, 9298261433352842529304965013877598416962905895, 2650004292521051810586449726198358481736347551418, 9298261812273057848664829357602608664351274441, 401667943591060286402243809143670822210, 9298260676841990679921085402793219682830077093, 213620429663981581408855885, 4945125637833366805143237290352948, 1409360860784834690908666696171118010, 3452292691093283774835659937063, 17351319401850367787633967130510, 4589849954103647368, 7033471820594895369, 1743377381769352305369, 1743377382145409840994, 1308107236794000900493, 53168954084476599473370867, 53168980322223332537167882, 1743377381828729810994, 186557743525775860361236, 1743377381888246211369, 53168956904846120040582736, 53168956904738943642945913, 654588573770717196492, 496862553804265360405119, 496862553911441758058244, 186566143475941924033111, 38967396659602073168017486, 1683331834214811369, 479749572751221239694, 6117219405124592619, 15155960512005411699936274617, 53109322753278687647861236, 186349272035290825595611, 1245517860576973197747052185172267, 1230928629340475037616391755836538, 53109331458681587022939361, 186357977438190200673736, 1230871397671442816943344265230965, 1261944157100695892618924601969142, 2296924231929664494, 2294244821988336369, 654623406099954380319, 653859774266675864694, 654623406099954396564, 653859774266675880939, 53168955374044873555829986, 53171436413871195453095611, 191311962593401242939361, 53173917453697517350361236, 2328558231458638111, 654622870217966684986, 662564641284063247486, 186566443557438856606861, 671270044183438325611, 186575148960338231684986, 679975447082813403736, 186583854363237606763111, 688680849982188481861, 186592559766136981841236, 663639095958859394986, 186567518012113652754361, 188830922765951173066861, 53171436413870067280488736, 191311962592273070332486, 53173917453696389177754361, 193793002418594967598111, 53176398493522711075019986, 196274042244916864863736, 53178879533349032972285611, 1308107236919469157993, 4318648524552599085759779445286, 571293748627801786732494, 46403334732293200127370003451, 13224950398703623126840376624701, 4585121518923954868, 1306759610296817154868, 4589944456818345493, 479746893335978435619, 1742030313745364763744, 270667712676250451244, 496478632977055703576244, 1743404851045266091869, 1230814762030269592845286994144932, 479777438609309576244, 1742060859018695904369, 279373115575625529369, 496487338379955078654369, 1743435396318597232494, 350782207380149293698709927091425153, 4313810396907882070487467198393, 4318648305383538674811241339075, 4314011214743758988274669073393, 1308134143836143126743, 372635720279380199220493, 479746331095609376743, 1712803463258595493, 1308134251012540779868, 372635720386556596873618, 479746438272007029868, 1712910639656248618, 1229434960456121378620586217659701, 1230870186425318566125629563267732, 99977447085303788410059332345230063003, 99977430888940759182967826013804691807, 101143812855928082110091221764587911177, 28825981982502203829690263182014775427422, 28493567754069829894363751886632902396792, 8120668153482399580671425363747070148017043, 28493572451933201130651527206555372675153, 99972929046263386403846411977449223057, 99972929046061156847602914131328129307, 99972929045858927291359416285207035557, 28492284794553323884984894889537316034528, 2294242941677511118, 654588554928185557993, 372810562503212775401743, 934244537668051945842971630193363682, 933915793077285377834396981216801182, 53168956904526498923347660, 4318648524596126100648499831282, 15153152717850598939470613225, 15154070972546007542425488601, 1230814829507414898747176921430880, 350782226408906149792443681887114026, 4318648524570164870901668709685, 15153151933386353367128816410, 406976432666038759185607398857603377432, 785887300731047979962556756476119218103, 1427940969663103771815556360044783682, 785891965799662350416025183293746171228, 406962437460195647825202118404722518057, 785896630868276720869493610111373124353, 406976449034700563994216060004331893057, 785887317099709784771165417622847733728, 1427957338324908580424217506773299307, 785891982168324155224633844440474686853, 406962453828857452633810779551451033682, 785896647236938525678102271258101639978, 406976465403362368802824721151060408682, 785887333468371589579774078769576249353, 1427973706986713389032878653501814932, 785891998536985960033242505587203202478, 406962470197519257442419440698179549307, 785896663605600330486710932404830155603, 406976481772024173611433382297788924307, 785887349837033394388382739916304764978, 1427990075648518197641539800230330557, 785892014905647764841851166733931718103, 406962486566181062251028101844908064932, 785896679974262135295319593551558671228, 1427987491122970069966488040220564932, 2757499308892818402168758274947343103, 406976431517360737795529598075376814932, 785887299582369958572478955693892655603, 406976447886022542604138259222105330557, 785887315951031763381087616840621171228, 15153154414426179689026082035, 408301312152517846681528019294824463278, 787221510354760050943608876812925643057, 408305977221132217134996446112451416403, 787226175423374421397077303630552596182, 1432606038275352936171387408838135153, 2762150593373053463785626201353377432, 408301328521179651490136680441552978903, 787221526723421855752217537959654158682, 408305993589794021943605107259179932028, 787226191792036226205685964777281111807, 1432622406937157744780048555566650778, 2762166962034858272394287348081893057, 408301344889841456298745341588281494528, 787221543092083660560826199106382674307, 408306009958455826752213768405908447653, 787226208160698031014294625924009627432, 1432638775598962553388709702295166403, 2762183330696663081002948494810408682, 408301361258503261107354002735010010153, 787221559460745465369434860253111189932, 408306026327117631560822429552636963278, 787226224529359835822903287070738143057, 1432655144260767361997370849023682028, 2762199699358467889611609641538924307, 1432636191073414425713657942285400778, 2762180746171114953327896734800643057, 408301311003839825291450218512597900778, 787221509206082029553531076030699080557, 408301327372501630100058879659326416403, 787221525574743834362139737177427596182, 53171350890643449576014611, 11105708047986590854111561486, 53173831930469771473280236, 11106417625376918916729530236, 99977512849565714459512188102288708028, 101171869605408444648175911018831738601, 355005442054218390559114062978425725 , 99982194344477313250986162211155895528, 4369434148687380290045807648142, 28493572502016598759482047595904759504036, 659571461863148936600185493324051340620304597928, 53171786160468795823738285, 15153152325129483839007332035, 53171786160468795828368110, 15153152325129483839011961860, 186567670738487002858510, 53168955526770118733327260, 53171786160468795814478635, 15153152325129483838998072385, 53171786160468795819108460, 15153152325129483839002702210, 21491861090314518, 6141332174538183691, 6588731294562548285, 6588706725470548833, 6588697324032158208, 248758600679489706907882, 152274473958529208251698303, 20368751938998440068309917382, 152274473958636760706886996, 20369456563014518386508416762, 5056084265420866693, 5056074837592473568, 248758600679473734208111, 75615465551660, 498873107489294803921923, 6125153743526528285, 498873720540182909261904, 23118336554199785, 6588706725678890958, 23118178214512833, 535167703793267918091187, 535166326576558075434937, 21492085637640410, 5353481787381919318, 434836558180096396552786, 2296802013207601693, 1438688280410096224488, 654588573764166482613, 6117113620660432083, 1743377381888223143755, 654588573764142845851, 1873958425378849315638, 186557743522780710626457, 53168956903992502528556596, 53168956903992502528589200, 186557743522780710626632, 43380497833898155163612557273, 43380497833898155163612524728, 1525742309271780111604, 53171304693530178977575429, 53171313368387803697382979, 51530398569404701449842659501, 27358583425616403, 7797196276300674952, 7810501059844841403, 747439519846843680739882, 749911884815539534051705, 4191417517769448477613526287147887, 213020263156350448996487257, 186565990746593313596457, 3220177787356020792174852740971, 15327907107497849740241836075, 14706757183412216479310541429148, 4191417517769448477613527602018244, 213724887172428767199616405, 186565990746593318210094, 3219976969511438471489590690693, 15329326262278505866792627516, 14706355547723051837938702360822, 8049942246458479, 18784504600874104, 8157118644111604, 5353579951593720979, 8264295041764729, 5353687127991374104, 2294233460953125979, 5353583731961579104, 2324778734284266604, 1525770286124922938479, 2355324007615407229, 1525800831398254079104, 53109497099255859142731679, 123930778941614416589997304, 53816593449757599863434804, 35320247074724076044931794179, 54523689800259340584137929, 35320954171074577785652497304, 123928210450134665648856679, 7810508613983057028, 7810491691393953903, 633328031174355601487082, 180806431199767231450720512, 1438688280317614331818, 53109366335252818943606743, 53111847313881417776308168, 53168954756160518260661182, 1229435358533720093002553212944307, 4314009798026491144383769393057, 479749036862658704368, 136728475505857730744128, 1873988038062572532493, 1230814779769704351903135451981807, 1230814780476800702297699770401925, 6588680764745828958, 6112394586919456255, 6588697687334932083, 186349272032295675861007, 56581768600788, 4589849954104460188, 1308107236919585716438, 496862553838189871477571, 372810562522075192545313, 141605827843878465794580696, 323189766000532639483879, 106251010319872661381332881, 53168957303769906923666254, 53168957214287036137348506, 53172266031020631945551631, 78013747732030461176631, 92109083309615154722832004, 186569294793762133030504 , 53171438190651715760764879, 4973892, 26409911093856, 33931201103526, 26390101211564, 20749348318271, 7526824661180471, 7526857764023096, -1559, 5375775557974046, 7526857764997796, 8058972464579696, 6987188695546571, 417176415446, 7526857764997815, 2145152549563508940, 2604948756334460565, 2603875428750281190, 698577375480809553690, 1532096034022603209, 1532096469457644459, 1532094595767466959, 2145154462746582459, 2604941208678488709, 2604948756219203709, 436647369696441914726, 611369021961946008476, 5906016683694082, 5913544431907207, 7081613676052957, 8063077568933332, 1532096034022603207, 2145154463024371957, 2296809065610950191, 8064639857084191, 8062746351255691, 7526859293331691, 2145154463024374816, 2145583557867524191, 654620702140388245066, 2297883092599643191, 8062747855948816, 8059350143126941, 2296914764237910691, 8162792355426316, 2296914744445408816, 2298418598507224066, 8057516061102316, 2296382662640652316, 1685482836880874191, 515184218214926661691, 1532205532740479191, 6985686109564816, 7085361149007316, 567259612780556261941, 654896036379488940691, 785784678011644110316, 611369657439664407316, 1991454516396441691, 2758209111357346816, 1991454522970793191, 7083520423183816, 567564528127649260066, 654896671936516648816, 186645551501907104796691, 567564539046535943566, 1991454536188943566, 186689078516397382686691, 655076739612505621066, 2298514908867646066, 654924022653885809191, 186653343775060488996691, 186645551515069118543566, 186653374320333820137316, 188795881954090662387316, 186653404865607151277941, -1628, 186653435410880482418566, -1630, 186653342703296512465441, 53196202667758209086027941, 53193982178041637841762316, 53196202698303482417168566, -1634, 186653373248569843606066, 53196211373161108461106066, 53193982208586911172902941, 186653403793843174746691, 53193974081400677136434191, 611369559631717641691, 2143643133971202316, 186689050641132554483566, 223948633229491834663441, 223948633765373822929066, 223904522643329690869066, 9665115750795450, 2296922311801771950, 8059376533126575, 1532096033953155825, 1990818550231095450, 6985328247238575, 5375775558462825, 18842560985325, 1991356332532254704, 2298418592096135954, 2604410974568664704, 786088523145359636579, 742257661713837461579, 2604403413832948454, 742103329489139630954, 785937410006154259079, 223948634837210558379704, 2449533901879219079, 1684930045638620954, 2756062159742512829, 785477715427306084079, 1684930025846119079, 4939992633384704, 480205057313016369704, 2758214779050624046, 2757675110096999671, 786091211943543541546, 786119185016318510296, 9774205655530921, 786119183136030832171, 36573952529347171, 224043967191835602682171, 36574328586882796, 224043967299012000335296, 9774581713066546, 786119290312428485296, 36681128927000296, 224043997737108933822796, 36681504984535921, 224043997844285331475921, 224035842141588576061546, 786091211936946040921, 786118647254042566546, 224035870548994609675921, 224035842139708288383421, 224035842140084345919046, 224035995401943737350921, 224043812857822982182171, 793755610532098820296, 224043812964999379835296, -1694, 224043813072175777488421, -1694, 224043813179352175141546, 63850215009813048717110296, 63850215009813028924608421, 63850215009813404982144046, 186654107408780791992796, 786091211930348540296, 224035995400083242174671, 786091210050060862171, 224035842137847793207171, 224035995400439507208421, 224043690676729657619671, 224036022841384271767171, 224043690783906055272796, 10147059444929395921, 224043690674849369941546, 63850222982670910996113421, 10147166621327049046, 224043690782025767594671, 63850222982778087393766546, 10147273797724702171, 224043690889202165247796, 63850222982885263791419671, 63850258689126321635197171, 223956636643981928982796, -1724, 619525260520897186546, 223956636751158326635921, 619525367697294839671, 2752473303010219664671, 224043201416474371104046, 786116496574398826546, 224043201523650768757171, 786116496950456362171, 224043201630827166410296, 786116497326513897796, 224043201738003564063421, 749617045616732019046, 63850266020425145987487796, 63852312403158132706972171, -1738, 63852312403158508764507796, 63852312403264556989554046, 63850266020425522045023421, 63852312403265309104625296, -1744, 63852312403265685162160921, 63852312403371733387207171, 63850266020425898102559046, 63852312403372485502278421, 63852312403372861559814046, -1750, 63852312403478909784860296, 63850266020426274160094671, 63852312403479285842395921, 226046057454606522978421, 63852312403479661899931546, -1753, 63850258687408484214961546, 224043201413083255782796, -1758, 18197323725911417935172230921, 63852312402620739891063421, 18197325815820629912836375921, 18197323725911418311229766546, 63852312402727164173645296, 18197325815820736337118957796, 63852312402727540231180921, -1764, 63850258687408860272497171, 18197323725911525111569884046, 18197323725911525487627419671, 63850258534680250466581546, 63850258687406603927283421, 18197323725910882053183965296, 18197323725910882429241500921, 18197323725910882805299036546, 18197323725910883181356572171, 63850215007665720603687796, 18197323725910876412320930921, 18197323725910876788378466546, 18197323725910877164436002171, 18197323725910877540493537796, 18197323725910876405723430296, 5186237261884599775565085824671, 5186237261884599775941143360296, 18193777928714653324183317796, 5186237261884599776693258431546, 18193777928714759768258401546, 5186237857464924017483892565921, 5186237261884599883117541013421, 5186237857464924232212745407796, 18190838027286708451234539046, 5186233713997648349617986288421, 18158421121197432608154920221546, 223557046767141792291558421, 785937502173237177796, 57339713898611421998840296, 18197323725758259102350559046, 18197323725758259478408094671, 18197323725758259854465630296, 18197323725758260230523165921, 5186237261841103842223529840296, 4944588449004136641972916199671, 5185226101654687328955685734046, 17871455259598949187554464314046, 655050372391431236264, 654896694599210401889, 654895622835233870639, 174240171259154612251889, 655076752827555330014, 186689383986106319158139, 186696869721600401673764, 53206474431206048092689389, 186696900266873732814389, 53206474461751321423830014, 186696930812147063955014, 53206474492296594754970639, 186696961357420395095639, 53206474522841868086111264, 2605039459191545639, 742436228913754483139, 742466774187085623764, 211585583380589614530014, 60301891262915202316764389, 5376140064422346, 9674172591312762, 8057072408120262, 5913544455057762, 1685360169691134237, 2298416685417721737, 5906453901706737, 2296801973529755487, 2143537851195609237, 5370136478318637, 5370512535854262, 1685360545748588637, 2296801953737172387, 2296801973529674262, 610908285670736646762, 480327648361973272182, 1530078993630144057, 654588562455980328432, 480327648362066259702, 786088515697012922202, 785629798834769869077, 10883368857774384702, 1683339362079422202, 224035073694411358678452, 436072501863275353452, 136893379783162377941577, 136729725175119973925952, 224035842166144705691577, 186514061094972846144702, 124280663031006969660327, 60289878878159121541691577, 53168955982260400695519702, 63850214553802013040191577, 18197261309427685821336941577, 124280693576280300800952, 63825360721767763150363452, 11105834606272446794925613452, 1700311778712477522702, 136893379783162382571402, 3101485216979217930777, 436072513184591055777, 224035720520933374024527, 136729694629846647415152, 786121345559462618277, 186514061094972850774527, 124280663031006974290152, -1866, 1685360169691462275, 480327648295859356650, 480327755478854510400, 1683322379880916650, 1530607294951282275, 1685360611724004150, 480327236539247849775, 480327772421236115400, 480327648361973257650, 136893379764319823154525, 436223077180734279525, -1882, 136893410311473441973275, 436223079061021957650, 1530614875618395150, 741644607118122045150, 741489842519623254525, 136893415674053899985775, 136928237285651400298275, 480363253489446232650, 136893415781230297638900, 211324574555857028801400, 136893379771840973867025, 480327244100122460775, 480449425193447023275, 480418879920115882650, 1685490411090195150, 39014613232819828194476400, 21497527555873022, 172952577001, 26339269346665461, 26333647349193261, 26314764955168512, 92233318437012, 9674154118309872, 26333567739353252, 92233318437002, 9674154118311292, 7505089494519103911, 2137438850955301125844, 6588731294585210061, 81263041995616, 26333647349924286, 21469197426023027, 9666600188437795, 6576900366383672176, 26339335345146602, 6588731294562142161, 23105379086284741, 7505089494520079489, 2138950505937944614739, 2139408685038004320614, 21497739695839364, 9674152821958587, 2757133554258197401, 2757133554258193977, 2757133554258194832, 785783062963585527226, 2757133554258197575, 9666600420338143, 785783062963585283725, 2754981119795361793, 9674152821958577, 2757133554258194545, 2757133554258194551, 2757133554258194542, 2757133553794804219, 2757133917120728359, 785783062831519199959, 9674484433582330, 7506663169931254203, 2757133917120729211, 6118728820323285453, 2757133553910549844, 5048029053746096719, 124595681393359, 64430387882014594, 124971738928984, 94975661213155219, 125347796464609, 125520934544295844, 785783062864506700234, 1439148602945557734334, 223948172916384409564234, 7493266087352856078, 7506668837300036703, 2135580834895563982330, 2757124548669841702, 2757133553933698962, 2757124555267344901, 2757124555267341477, 6576907887441786452, 2757124555267342051, 2757124555267342042, 9657601429482672, 5906427511623297, 1439148602952155232672, 223948172918264697405376, 49436830096827472881970619817, 34321917890337, 9666600257883462, 785783062917286705227, 2752425762542214901, 1683344963125149901, 5906473694130526, 2752425762542214958, 1683344963125149958, 5906473694130583, 7491650920422539702, 2135120512320423815167, 1743377381848545299545, 17712382645947525, 5906480291956050, 2757133554259497862, 785783062963609408237, 2296801887762168139, 223948172906982971173039, 1743377381762777791703, 653854406012321097668, 785783062864506701078, 223948172916384409807043, 785783175780846213586, 785169590904282072961, 785783175780846213643, 785169590904282073018, 3330426795093139, 1683320460007827514, 223948172906883892593139, 63825229278461909389042159, 186557733305244525760909, 53168953991983374849682414, 186557733305244525110539, 53168953991983374854312239, 186557733305244529740364, 223948172906883892591703, 63825229278461909388635168, 186557733305244525354211, 136727704352820797191711, 270513905116447582336, 186566135951743119457336, 186557733305244525354268, 136727704352820797191768, 270513905116447582393, 186566135951743119457393, 2757133554258194544, 785783062963585444569, 785783062963585445146, 223948172944625833547001, 63825229289218362505285626, 785783062838116700292, 223948172908863258851442, 2757229943859130201, 223948172908863259583326, 785783062838116698294, 223948172908863259013319, 223948172908863259029564, 785783168259695420146, 785783062897494205917, 785169600305720952076, 223948172925785847954567, 63825229283848966667051701, 8172226943768919, 2296801953737172669, 2757246866447663319, 479751701203839075819, 1683339361963350819, 2135578691400598422669, 608639927049111056720169, 608639927049487114255794, 40368317219345606548873940521, 75429831499338, 24142966505131878, 2757133554258600952, 785783062963701271422, 6880745453962585336, 223948172944654862321634, 63825229289226635761614954, 63825229289226635761616664, 18190190347429591192060212864, 579623315, 393961852, 317004948037, 37731245398725, 92601640650, 99972925817907, 33917982633957, 5913544455137844, 133716031344, 8064593558912845, 25760066665255345, 9138270926370980, 9677939972591855, 23078690668740980, 2909322152063685935, 99939408484107, 20749278789957, 28296935656707, 26390124360957, 2294120636978942844, -2058, 10751526294541344, 7523070707612845, 18837537706720, 10215695465841970, 10753464316137220, 25760061595596970, 8064997789343487, 118961439092862, 3062591928270264980, 410787908480, 9677881914586355, 9677875340234855, 8064593558912855, 2757139194796814855, 2604412821566760230, 2758195910222067185, 2756588732679814685, 2756595792005483435, 3064737389476613435, 873450155908353015935, 873451763554317812810, 2604413237533797185, 101800200694473, 75310724785563, 92398413448188, 24152394449352436, 324322172538, 323741733293, 1300338441 ], arraytails := [ 518, 1118, 1166, 614421, 542, 622521, 3470, 1627245, 9230, 512, 584, 536, 350, 1020531, 513957, 344, 8031, 6411, 1112, 3230, 26211, 230, 3416, 3422, 590, 241318, 3464, 224, 5217, 5541, 6344, 3224, 1022577, 9224, 126879, 6224, 1160, 4040, 1712, 36644513669, 920, 1040, 6920, 1616, 1736, 4616, 2312, 73265607419, 3344, 3920, 1136, 4016, 6351, 20121, 958630, 120561, 6027, 19797, 120382630, 20181, 38301, 926, 514281, 38325, 1899310, 383530, 514221, 513897, 17205, 240088, 515355, 9105, 7971, 464, 320, 440, 560, 3320, 1016, 31845, 522321, 511791, 39897, 38349, 11697, 1024197, 1914184, 512601, 5313, 5301, 17241, 58599, 19635 ], regtails := [ [ 1 ], [ 3131 ], [ 20014498, 784449, 13793 ], [ 206522409, 532 ], [ -2, 210770971, 342964 ], [ 98832256, 53770146, -2, 67114748 ], [ -2, 12553194, -95, 10581930, -51 ], [ 862629, 147895131, 100716390, -6, -81, 107212 ], [ 470883, 41636743, 129886893, 61653669, 31777299, 208745861, 237979686, 108644580, 172802 ], [ 471184, 41637094, 129886893, 22074193, 59425009, 216488354 ], [ 12227660 ], [ -37, 61227959, 110290834 ], [ -3 ], [ 3137515 ], [ -1, -22 ], [ -43, 10207566, 15696977, 20409533, 40750 ], [ -63, 11774443, 15304474, 20020160, 40123 ], [ -3, 4706905 ], [ -43, 9400 ], [ -63, 8773 ], [ -4, -13, 22 ], [ 59252904, 60836710, 12152066, 97787 ], [ 69457331, 2493560 ], [ 10349163, 59582205, -23, 254687 ], [ -1 ], [ -43, 13721950, 43159630 ], [ -63, 13329447, 42767127 ], [ -3, -120 ], [ -2, -27 ], [ 198697409, 162088208 ], [ -9, 198728809, 162178208, 228346577, 191615933 ], [ 198697409, 162088208, 58965713, 175 ], [ 1568757, 4388 ], [ -35 ], [ 11381332 , 20005739, 22370162, 58 ], [ -1, 4 ], [ -1, 19988810, 21194534, 2746943, 3924402, 4347627, 5494414, 38827 ], [ 138552931, 140514818, 157370501, 158963086, 162101856, 226473453, 228435491, 233140511 ], [ 20033 ], [ -1, -61 , -10, 12166965, 36 ], [ -3, -17, -10, -55, 46 ], [ -1, -99, -41, -55, 46 ], [ -1, -61, -10, 12166965, 18051998 ], [ -1, -61 ], [ -1, -61, -17, 41602809, 47489723 ], [ -10, 69472259, 70649912, 74964933, 196 ], [ -1, -61, -17 ], [ 2744385, -34, 61619835, 60837337 ], [ -6, -56, 68999640, 69478669, 75357436, 197 ], [ -2, -21, 13789 ], [ 2744385, -34 ], [ -1, 1965018 ], [ -1, 1961892 ] , [ -1, 3921894 ], [ -4, -34 ], [ -7, 88570245, 89882559, 136197798, 137375422, 173878201, 210324550, 211558489, 540 ], [ 243697313, 244089816, 244482319, 244874822, 245267325, 143609048, 144001551, 144394054, 144786557, 145179060 ], [ -2, 41160142, 47097220, 32967163, 38854657, 24724549, 10626418 , -24, 47 ], [ 33341433 ], [ 46257733 ], [ -1, -105, 3924402, 5494414, 8632557, -10, 12558841, 13736977, 15306989, 18445132, 177803231, 179372616, 180550752, 182120764, 185258907 ], [ -4, -62, 8146 ], [ -4, -62, 10196922, 12556965, 12949473, 38 ], [ 74520 ], [ 3529389, 13341964, 19229507 ], [ 60444833, -22 ], [ -108, -104, 10191930, 21313 ], [ -1, 3134 ], [ -2, 1972542 , 12530 ], [ -2, 1188790, 14406 ], [ -2, 1580666, 8773 ], [ -2, -27, 10654 ], [ -99 ], [ -3, 51415284 ], [ 14127069, -49, -116 ], [ 14127069, -49, 16447 ], [ -50, -35 ], [ -101, 49398943, 61227313, 2744545, -56, 59647911, 65544861, 172 ], [ -3, 10193791, 11773835, 29 ], [ -101, 49398943, 2744535, -56, 95279 ], [ -100, -24, 59644701, 10977539, 16874489, 60037204 ], [ -1, 12164438, -8 ], [ -1, -7, -8, 59192708, -49, -116 ], [ -1, -7, -8, 10269660, 61227213, 67114873 ], [ -2, -13, 7058779, 108252428, 110214939, 112177450, 114139961, 116102472, 161315593 ], [ -1, 12164438, -8, 81509 ], [ -2, 2745012, 5101908, -8, 10270285, 22567 ], [ -29, -34, 10596959, -41, 49847259, -86, 59274218, 60444834, 73002397, 69864906, 112859 ], [ -29, -34, 41573943, 20002033, 10628329, 30238356, 40396434, 21179536, 11805838, 31415865, 53455523, 261 ], [ 3142527, -70 ], [ -1, -99, 49395810, 51416011, -117 ], [ -1, 10195668, 11381959, 14126972, 20802031, 21979540, 61 ], [ -3, -6, 12568869, 52202271, 49461020, -64 ], [ -3, 12164443, 18051998, 49847155, 59258543, -49, 95323 ], [ -2, -21, 10202565, -98, -24, 47 ], [ -9, -87, -30, 51446710, 80839918, 12152143, 63177228, 92615008, -94 ], [ -19, 108252328, 118064903, -82, 70964893, 129761968, -78, 112177583, 33896208, 49994449, 157770406, 216426881 , 110607696, 218545771, 238092546, 230226711, 290241 ], [ -19, 108252328, 118064903, -23, 120027418, 129839993, 112177553, 141661983, 59879531, 216505006, 81232796, 101549 ], [ 49392653, -15, 49785156, -54, 67064 ], [ -4, 3136893 ], [ 91048151, 50162243, 20865234, 178 ], [ 8632557, 23 ], [ -2, -39, 50246022, 10270285, -98, -24, 21977029, 22369545, -53 ], [ -37, 16412 ], [ 12165711, 49397066, -64 ], [ -39, 50246022, 10270285, -98, -24, 21977029, 22369545, -53 ], [ -3, -17 ], [ 49380133, 98910005, 19432 ], [ 49414593, -44 ], [ -39, 10346779, -18 ], [ -3, 4315651, 8150 ], [ -7, 149465143, 4408798, 53303286, 200490533, 286 ], [ -2, -39, -86, -6, -40 ], [ -96, 16089484, 20409524, 24334554, 44512 ], [ -2, 10596930, -41 ], [ -96, 16089484, 20409524 , 24334554, 29827088, 33752119, 37677779, 41602809, 47489723, 122 ], [ 1189417, 7061914, 23 ], [ 12151913, 14114478, 1313 ], [ -2, -21 ], [ 12622671 , 159670221, 2410 ], [ 790644, -65 ], [ 3134 ], [ 13015174, 160062724, 3037 ] , [ 13407677, 160455227, 3664 ], [ -11, 51339563, 61152318, 70964893, 49769810, 20472731, 51732191, -115 ], [ -5, 14114453, -16 ], [ -11, 49769555, 59582306, 69394881, 51732316, -115 ], [ -9, -15, -94, -16 ], [ -9, -15, -94, -16, -65 ], [ -16, -62, 3168214, -70 ], [ -5, 10581915, 52 ], [ -16, -62, 33206 ], [ -16, -62, 3168214, 11366921, 5491952, 21571965, 9400 ], [ -4, -6, -56, 29464 ], [ -1, 3921894, 12164447, -45 ], [ 210378468, 210770971, 118297640, 120495290, 102440143, 102832646, 170539 ], [ -4, 7 ], [ 211555977, 118298894, 124414065, 119326545, 121672799 ], [ 793769, 9015033, 1968148, -121 ], [ -4 ], [ -1, 3921894, 9809435, 10600084 ], [ 210378468, 210770971, 118297640, 120495290, 312 ], [ -4, -65 ], [ 8233153, 6669406, -26, 7451282, -20 ], [ 6276903, 6666276, 9018159, -33, -20 ], [ -11, 51508683, -23, 50101064, -75, 110607841, 71654871, 112817401, 117474 ], [ -11, 2524183, -82, 208340593, -32, -75, 51732541, -115 ], [ -5, 31777043, 20394560 ], [ 1880 ], [ -90, 44337114, 34945257, 35337814 ], [ -5, 31777043, 10582010, 52 ], [ -11, -76, 51340038, -23, 4643448, 63114708, 210303108, -32, -75, 51732541, -115 ], [ -11, -76, 51340038, -23, 4643448, 63114708, 210303108, 16155198, 163202748, 57227583, 116102388, 1125969, 157879 ], [ -108, -46 ], [ -58, 4706915, 13789 ], [ 2507 ], [ 22777689, 14958979, 44337139, -92, 28637114, 30992106, 42767127, 44729642, 36879582, 38842097, 23562695, 25540885, 37272130, 39234600 ], [ 24347701, 36094621, 32586502, 26702719, 32963375, 29042107, 47035 ], [ -34 ], [ -17, -25 ], [ -17, -25, 9024429, -104, 5884424, 15670 ], [ 32590264, 34524634, 36487149, 38449664, 40804681, 34945282, 36879652, 38842167, 41197184, 35337785, 47084705, 49047175 ], [ 209518327, 180221452, 238956052, 172371492, 231105992, 203768497, 184146582, 242881082, 225281022, 244843597, 217823465, 210032970, 239411130, 241373645, 245311215 ], [ -52, 21179581, 65183 ], [ 36879582, 29029617, 11834003, -91, 23534480, 68945 ], [ -108 ], [ -52, 30992037, 32954552, 25104587, 17313997, 19260837, 11818328, 13765795, 43159630, 35309570, 37272085, 39234600 ], [ 12965114, 14943304, 16905819, 18868334, 21179531, 32954552, 34917067, 19245162, 21572034, 33347055, 17675150, 29422070 ], [ 111392452, 82095702, 140830302, 113354967, 84058217, 56580097, 76208157, 95755157, 117279997, 97717547, 70634840, 62844345, 92222505, 84372445, 68700540 ], [ -11, 12152063, 22121118, 975489, 147895131, 161384 ], [ -5, 818839 ], [ -2, 4715674, -70 ], [ -5, 10581935, -54, 24319486 ], [ -5, 14114453, 2760036, 4738226, 1214477, 12936944, 14899484, 63 ], [ -5, 4345723, 821974, 12544441, 14506981, 10974468, 22749474 , 24711989, 3545042, 5523232, 1999483, 13721950, 15684490, 65 ], [ -26, -33, -20 ], [ -9, 2414558, 41589618, -16, 2807061, 41982121, 20786959, 3199564, -90 ], [ 106289813, 18352838, 214228138, 53769771, 75344876, 57757481 ], [ -2 , -27, 8631921 ], [ 102364783, 14427808, 210302983, 104327298, 16390323, 212265498, 106289813, 18352838, 214228013, 110670166, 140107871, 106757676 ], [ -11, 12321083, 22121118, 80777343, 157600839, 228342816 ], [ -33, -20 ], [ -9, 12211458, 41589618, -94, 853324, 30207031, 12544516, 67039 ], [ -2, -27, -25 ], [ 1879 ], [ -26, 7454412, 3921914, 12535 ], [ 7061909, -42, 1971288, 7846920, -69 ], [ -26, -42, 1974423, 7846920, -69 ], [ 173407826, 183142501, -48, -72, 106682316, 67729841, 214620641, 224433091, 136120041, 145932616, 1565497, 197350509, 158100084, 69787634, 216975659, 177646984, 89412784, 3434589, 199234649, 110999849, 71750024, 218938174, 130624999, 140359674, 54459979, 15134439, 211087989, 171837814, 132509739, 44650539, 240447464, 154096804, 114925354, 26987904, 222784829, 134550029, 144363079, 58385009, 19059469, 214934769, 175762719, 87450269, -73, 195309619, 623 ], [ 59252153, 69002378, 78814953, 137612028, 12308543, 70964768, 80777468, 90590043, 14192683, 72927408, 82739983, 141615308, 16233448, 74889923, 84702498, 94515073, 18195963, 76852313, 86665013, 145462088, 98832256, 10895281, -47, 118457406, 226395606, 187145431, 100717116, 12857796, 208654721, 218545546, 228358121, 140045071, 102757286, 210695486, 220508061, 132195011, 191070336, 55657646, 16782826, 212658001, 124344951, 183220276, -48, 8929631, 155745191, 67432616, 28479541, 224433216, 136120041, 194917116, 99225378, 59974934, 70084859, 216975659, 226709734, 236522309, 150171774, 111000324, 23062874, 218859799, 228672249, 189500449, 152212664, 211009614, 220822189, 181650389, 191384589, 105034649, 114847104, 124737929, 85487629, 95597554, 9322134, 68122219, 28872044, 224825594, 185575419, 244372369 ], [ 147424253, 108252803 , 117987003, 100402813, 110136943, 119949643, 129840468, 90590168, 4690473, 14427683, 73224758, 33974583, 229928133, 190677958, 98832256, 157708056, 69395131, 198920521, 159591846, 169404421, 228358246, 140045071, 151741786, 161554361, 220508186, 132195011, 191070811, 50162618, 11209409, 70084859, 150434989, 111000324, -79, 179531724, 140438049, 201119259, 211009739, 220900439, 132587514, 240291189, 148680137, 60367562, 168149137, 199548777, 160455102, 170267677, 140830052, 5867982, 15526942, 25339517, 133199217, 93730192, 148916624, 60760065, 168619640, 101972825, 72832380, 33660455, 141285280, 202198485, 25731895, 35466220, 231498270, 143185095 ], [ 196487003 , 118283978, 78815078, 137690528, 100324488, 110215318, 70965018, 178903218, 53674598, 14349433, 73224883, 33974583, 239662558, 153311798, 114140348, 231655748, 57443253, 116243463, 125837188, 184790413, 243665613, 147816756, 118441731, 79207581, 187145781, 51732616, -74, 130216821, 90982671, 200883036 , 122366761, 92929511, 104719801, 26595401, 242095676, 204808066, 28479416, 234245891, 145932616, 21100084, 79600209, 40647134, 72047569, 32797074, 140657024, 64197314, 24947014, 132806964, 142400564, 163972079, 124737929, 134550504, 242488104, 77700269, 38762869, 97560069, 99539381, 158492937, 129274062, 89805162, 101502122, 62329952, 170268152, 140751802, 54480012, 162418092, 181871067, 56736372, 203630557, 213286382, 58404667, 38826922, 21865928, 129510190, 90495015, 170660280, 82347730, 162716665, 74497670, 182357245, 204023405, 174569660, 233461010, 59013265, 176469950, 137297550, 391750 ], [ 10346028, 29971528, 149309113, 110215318, 53518223, 24240233, 239506058, 123858998, 231656123, 204475128, 28087038, 184790763, 196957875, 167426231, 2885311, 159654546, 238170996, 63804811, 44179386, 124251221, 85095126, 165558086, 136104366, 197190472, 216881609, 52262814, 81844124, 238563299, 220728739, 142400564, 134550504, 77935114, 38684619, 109336506, 40789312, 13564427, 34885837, 115518022, 134848957, 156433487, 127076797, 195608547, 207947940, 200097950, 219629130, 84341215, 76801300, 96382560, 225610575, 225 ], [ 206284028, 90887568, 83037378, 99135574, 2760411, 189107796, 181257736, 197350368, 189406449, 93634764, 131061242, 123430407, 2187833, 180516620, 84400560, 490 ], [ 235643853, 227793793, 55434063, 20610064, 169482941, 153654286, 38085256, 62059714, 154266014, 139086706, 136777177, 15791055, 12685 ], [ 214350168, 78395284 ], [ 1569383, -46 ], [ 1568757, -46 ], [ -2, 2756294, -25 ], [ -2, -27, 8628791 ], [ -2, -27, -13 ], [ -1, -46 ], [ 30976362, 32954527, 25088937, 27067102, 38826517, 11759534, -91, 33331380, 15684540, 45122145, 27459510, 19609570, 49047175 ], [ -26, -42 , -57, -20, 20 ], [ -26, 3529406, -57, 7846920, -69 ], [ 7061914, -42, -57, 7846915, -69 ], [ 7061909, -42, -57, 7843785, -69 ], [ 175684469, 87450269, -73, 146325119, 50555131, 237508 ], [ 25889498, 18039558, 47477163, 30207031, 102 ], [ 26282001, 18432036, 47869666, 30599509, 103 ], [ -92, 18824564, -89, 30976362, 104 ], [ 36879557, 19217067, 48654672, 21571965, 105 ], [ 185889547 , 97655347, 244843372, 100009765, 12072790, 158885215 ], [ 27852013, 10582025 , -51, 32169546, 107 ], [ 28244516, 10974503, 40412109, 32562024, 108 ], [ -52, 11367031, 40804612, 32938877, 109 ], [ 38842072, 25164 ], [ 147502503, 59190053, 206378078, 167049403, 127877953, 39940503, 186752928, 51340113, 12465293, -31, 70965143, -93, 227965743, -78, 6649853, 153390173, 114139873, 75187398, 222078198, 133765023, 94515323, 241703348, 155352688, 67040113, 214228138, 174977713, 86665263, 47712188, 194602988, 49770125, -30, 157707581 , 69395131, 216583156, 177254481, 138083031, 3120461, -77, 61545071, 22670371 , 169482796, 81170221, 42295396, 238170821, 102757286, 14820311, 210617236, 122382436, 34445461, 181257886, 190992086, 55657646, 202845551, 114532376, 75282551, 222470701, 183220401, -48, 50546737, 197350509, 109037334, 21100359 , 216975659, 128662484, 40725509, 236600684, 199234524, 72047249, 81859949, 140359674, 152134289, 112962839, 25025389, 220822314, 132587514, 44650539, 191462964, 105112304, 114847104, 26987904, 173800329, 134550029, 95597554, 242488354, 107074819, 67824994, 77934919, 224825719, 136512544, 48575569, 244450869, 148601762, 109430312, 21492862, 217289787, 178117737, 89805287, 236993312, 101579777, 111314577, 23455377, 170267802, 180002002, 91767802, 238955827, 103542292, 64292467, 74402392, 221293192, 132980017, 93730317, 240918342, 174036282, 242802582, 156530072, 68217622, 29264547, 225218097, 185967922, 97655347, 53294258, 200098030, 111784855, 121519655, 33660455, 180472880, 190207080, 103857140, 15997820, 162810245, 172544445, 133372995, 45435545, 241232470, 154881810, 115710360, 27772910, 223569835, 184397785, 96085335, 10107140, 205907200, 166735150, 78422700, 39469625, 235423175, 196173000, -114 ], [ 147502503, 59190053, 20236978, 216190528, 176940353, 88627778, 2727833, 198527893, -31, 70965143, -93, 227965743, -78, 53302503, 14427683, 210303108, 121989933, 82740108, 92850033, 239740833, 155352688, 67040113, 28165288, 224040713, 135727538, 96477713, 3132374, -77, 159591846, 120420396, 32482946, 228279871, 189107821, 102757881, 14820311, 210617236, 171445186, 83132736, 44179661, 240133211, 153782551, 65470101, 26517026, 222470576, 183220401, -48, 9007881, 204807941, 165557766, 77245191, 38370366, 234245791, 145932616, 99225253, 11287784, 207084709, 167912659, 79600209, 40647134, 236600684, 150250024, 61937574, 22984499, 218938049, 179687874, 91375299, 7434734, 203159679, 163987629, 75675179, 36722104, 232675654, 193425479, 58012664, 19059469, 215013019, 175762844, 87450269, 48575444, 244450869, 148601762, 109430312, 21492862, 217289787, 178117737, 89805287, 3827092, 199627152, 160455102, 72142652, 33189577, 229143127, 189892952, 54480137, 15526942, 211480492, 172230317, 83917742, 45042917, 240918342, 86005157, 50947504, 11994415, 207947965, 168697790, 129369715, 139182290, 65038750, 8066450, 204022935, 213835510, 125522460, 135257260, 96085210, 10107140, 205907200, 215719650, 127484975, 186282400, 147110600, 391750 ], [ -19, 59189928, 69299853, 30127928, 225924853, 186752803, 149465143, 61152568, 22277743, -93, 178902868, 237778193, 151427533, 63115083, 24162008, 82958958, 229928258, 239662333, 153311798, 114140348, 75187398, 36015348, 231890773, 192562098, 147895006, -80, 69395006, 79504931, 40333006, 236129931, 200804536 , 161632611, 73320161, 34367086, 93164036, 240133336, 153704301, 163516876, 124345426, 85392476, 46220426, -72, 204729691, 116494891, 126229691, 38370491 , 48104691, 244058241, 99224759, 108959559, 69787509, 30834559, 226788109, 236600684, 101187274, 159984699, -79, 32875449, 228672374, 238484824, 152212664, 112884589, 122697164, 34837964, 181650389, 191384589, 156059319, 116887869, 77637694, 38762869, -73, 195387869, 131142652, 238799552, 152526792, 162417742, 123089667, 132902242, 93730317, 56736622, 17567707, 213443132, 174114457, 183927032, 193817982, 50947629, 61057290, 21885365, 217682290, 178510240, 188322815, 107782060, 117594500, 78422575, 88532500, 98344950, 391625 ], [ 198449643, 159277593, 169090168, 178824493, 139653043, 102287128, 161162208, 170974908, 82740233, 43865408, 55559113, 16390323, 26202773, 36015348, 182827898, 241703223, 204337063, 76914788, 135727888, 145462338, 147816756, 157629331, 216504781, 226317356, 187145306, 198842146, 208654721, 169482671, 179295246, 238170696, 202845426, 212658001, 222392201, 232204776, 192954601, 204729566, 214542141, 175291966, 185104541, 243979991, 148287509, 79662284, 52262814, 111000199, -79, 130547224, 140359674, 201197509, 162025114, 171837689, 230713139, 240525714, 66081204, 75972404, 36800479, 46612929, 7832880, 17567707, 174114807, 183927507, 144677332, 58405167, 215249247, 225139722, 234952297, 195702122, 198057140, 207869715, 31541065, 41432015, 4219470, 13956930, 72754005, 131410355, 141223055, 610 ], [ 151349283, 210224733, 220037308, 43708658, 55558988, 16390198, 26124523, 84921598, 143577948, 106212158, 165087238, 174899938, 233775263, 194602863, 196957881, 206770456, 216504656, 226317231, 3041836, 12857671, 22670246, 32404446, 91201521, 14585781, 73538886, 141929561, 77464016, 185323991, 5484132, 63899839, 171759789, 93634789, 56422369, 114925229, 222785179, 46456179, 107291134, 116809619, 175606569, 97481569, 1958000, 11680162, 168227262, 227024462, 58767982, 117499347, 127014697, 185811647, 4231383, 62722455, 219566780, 229457255, 55088110, 113747845, 123482170, 182357020, 306980 ], [ 10502653, 117986878, 176862328, 235737428, 163046098, 172936948, 45827798, 57599878, 214071738, 223962338, 47633688, 100717010, 71576246, 179217346, 238092796, 63726311, 220430161, 230242261, 50465102, 216897484, 56337824, 212972604, 36643604, 193347454, 18980969, 175684819, 146544319, 148524131, 70398862, 227102712, 52733092, 209440077, 33111077, 189814927, 15997695, 172466420, 94341545, 154804155, 76678910, 233382760, 231740 ], [ 114359073, 123874673, 94733923, 106212033, 77071288, 233696888, 1172869, 157629681, 128489181, 138004781, 208655071, 91201621, 112884339, 83743839, 240369439, 163909729, 134769229, 144284829, 11680162, 80211312, 236836912, 195905772, 13878430, 82410180, 55244860, 211716720, 45278895, 490 ], [ 108471528, 117987128, 8527823, 165087238, 135946738, 12857785, 169326396, 238155021, 36800204, 107290884, 150776930, 33268052, 55165733, 25810495, 7987850, 76444260, 231840 ], [ 108174303, 88689853, 159199693, 139715243, 122601861, 240871365, 223616610, 205829395, 62675 ], [ 32074518, 112099178, 107769266, 525 ], [ 3171 ], [ -3, 12164443, 12556970, -95, -40, 22415860, 50199067, 28295893, 53769774 ], [ -7, 51341400, 52594774, 16411 ], [ 21964469 , 49427188 ], [ 10195668, -98, -24, 21977029, 22369545, -53, 33752118, 34144621, 39640290, 40040944, 45919711, 51414754, -84 ], [ 71027343, 81263144 , 63177384, 92615008, 251 ], [ -15, 12606469, 14114459, 43552133 ], [ 49392653, -32, -75, 12152439, 14114553, -117 ], [ -11, 12152063, 71027343, 53317683, 900349, 59582181, -47, 12622671, 159670221, 53695056, 112569861, 6998466, 65469726, 212658126, 18510216, 165557766, 547 ], [ -11, -76, 50162532, 109037334, 1898435, 60367187, 207555587, 11837665, 158885215, 49770034, 51732041, 53694556, 55657071, 57619586, 47 ], [ -2, -87, -30, 51732145, 198920521, 53694660, 200883036, 55657175, 202845551, 57619690, 204808066, -6, 59582205, -47, 61544720, -74, 63507235, 210695611, 65469750, 212658126, 67432265, 214620641, -40, 69394780, 216583156, 71357295, 218545671 , 73319810, 220508186, 75282325, 222470701, 77244840, 224433216, 33752118, 79207355, 226395731, 81169870, 228358246, 83132385, 230320761, 85094900, 232283276, 87057415, 234245791, 43564693, 89019930, 236208306, 90982445, 238170821, 92944960, 240133336, 94907475, -72, 96869990, 244058366 ], [ -14, 53769771, 10280940 ], [ -60, 3136898, -70 ], [ 3986 ], [ 1258 ], [ -88, 59189679, 4392648, -117 ], [ -2, -102, -68 ], [ 1176886 ], [ 12230168, -32 ], [ 862629, 50162133, 2445808, -118 ], [ -32, 100402268, 12465293 ], [ 10270788 , 59582205, 95806 ], [ 2368160, -18 ], [ -4, 49408328, 50239761, 110327 ], [ 198998389, 149540658, 401 ], [ 49395788, -64 ], [ -7, -68 ], [ 197428381, 199390896, 147973154, 149935516, 251409 ], [ -1, -7, 31952 ], [ 200565893, 198996512, 201353408, 147690828, 147979269, 150328018, 157385551, 426 ], [ -4 , 49392659, 49853519, 59259170 ], [ -2, -14, 10268280, -66 ], [ -14, 59253531 , -4, 16279 ], [ -4, 49408328, 59252909, 176 ], [ -1, 20001958 ], [ 49395788, -44 ], [ 10193160, -119 ], [ -4, 31952 ], [ -2, -102, 23 ], [ -12, -97, 31808368 ], [ -12, 11773835, 12151941, -67 ], [ 3908 ], [ -50, 128 ], [ 51352660, -84 ], [ -3, 147662633, 10597309, 19434 ], [ -1, 16282 ], [ 259791 ], [ 333659 ], [ -2, -102 ], [ 150868 ], [ 832056, 3139393 ], [ 10582006, 30238982, 82 ], [ -96, 56 ], [ -16, 32197761, 83 ], [ 237964662, 179765898 ], [ 108252304, -18 ], [ -12, 3807 ], [ -4, 10600084, 28 ], [ 41997189, 50782 ], [ 59190204, 12559590, 35738 ], [ -4, 10596935, 12559466, 13736977 ], [ -5, 10581915, 49383895, 51446083, 55346048 ], [ -1, -10, -22 ], [ -2, 12164434, 16938 ], [ 628 ], [ -8, 16407 ], [ -106, -10, -18 ], [ 16411 ], [ 10190656, -14, -66 ], [ -8, 10597059, 19434 ], [ 16533 ], [ -37, -68 ], [ 12164559, 128 ], [ 25800 ], [ 28931 ], [ -4, 3139393, 8150 ], [ -6, 49393931, 12952071 ], [ -2, 6675054 ], [ -43, 2507 ], [ -1, 5101911, 9404 ], [ -4, 51414658, 94653 ], [ -1, 49392658, 49878579, 82134 ], [ -3, 3531899, 49392662, 51809765, 52987277, -66 ], [ 9040084, 3529412, 14 ], [ 7454447, 9806314 ], [ -3, -10, 12166340, -37, -81, 60444834, 98910033, 110290188, 109115216, 175559 ], [ -5, 2744415 ], [ -3, -38, 59258543 ], [ -4, 10196295, -119 ], [ -4, 20001959 ], [ -1, 49392658, 51446083, -84, -64 ], [ 3139392, 6269 ], [ -109, 3921898, 5638 ], [ 3137515, -70 ], [ -3, 5015 ], [ 2357521, 9397 ], [ 3924398, 8770 ], [ 2745012, 5099408, 3927533, 15 ], [ -9, -60, 69064828, 55339783, 51807280, -83 ], [ -9, -15, 8628791 ], [ 216253453, 200958400, 149556158, 382 ], [ -5, 59252159, 49850434, -85, 147 ], [ 100493283, 147512775, 149935539, 206440789, 198998439, 324154 ], [ -3, 3531899, -121 ], [ 2745012, 5101908 ], [ -4, -71 ] , [ 31384540, 10192011, 39627103, 20394464, 5942069 ], [ 30992037, 11758888, -91, 20001961, 5549566 ], [ 1968780, -35 ], [ 25104492, 5949593, 38802704 ], [ 1582537, 631 ], [ 393756 ], [ -26, 9 ], [ -26, 9419440, 5893804 ], [ -21, 5108177, 3535656 ], [ -108, 3531899, 5494414 ], [ 3924398, 11900 ], [ 6669406 , 11912 ], [ 9809435, 19622010, 29434585, 34147138, 49059735 ], [ 1975050, 11787625, 21600200, 36109653, 41225350 ], [ 19596955, 21600160, 33359640, 35711498, 41225307 ], [ 19204452, 21207657, 48642177, 41215318, 41610956 ], [ -3, 4706905, 8146 ], [ -2, 2756294, -25, 9024429, 9811943, -6, 12568869, -95, 18837004, 19624518, -40, 22381444, -53, 28649579, 29437093, 33752118, 32194019, 38069651, 38462154, 39249668, 43564693, 42006594, 47882226, 48274729, 49062243 ], [ -4, 10196295, 20409505 ], [ -9, -60, 12 ], [ -5, 7 ], [ -5, 17 ], [ -5, -65 ], [ -5, 4384 ], [ -10, 20802031, -2 ], [ -20, -35 ], [ -33, 631 ], [ -21, 5108177, 7456926 ], [ 36125851, 34119571, 27472718 ], [ -5 , -36 ], [ -12, 49395788, 98910005 ], [ 100402268, 12387168, 208262218, 784784 ], [ -99, -50, 59659809, 100942 ], [ -28, 4388 ], [ -43, 60822190, 90259990, 52925180, 82409930, 235 ], [ -63, 60429687, 89867487, 52532677, 82017427, 234 ], [ 51355168, 784534 ], [ 12164434, 51414659, 51024135, 61227311, 60052341, 96559 ], [ 2351908, 4384 ], [ -97, 160387 ], [ -101, -45 ], [ 49380133, 12164563, 71027363, -32, 152 ], [ -100, 12949468, 11386344, 34 ], [ 41539583, 90664838, 102 ], [ 4314494, -27, 90274335, 91060067, 92237577 ], [ -3, 49392659, 51809765, -81, 73002418 ], [ -3, 10596935, 51807260, -83, 69064833, 63205498, 186 ], [ -2, 793789, -13, 16298 ], [ -5, 1176911, 2760687 , 12951948, 49412741, 61214813, 57314818, 65139853 ], [ -3, -38, 94657 ], [ -1, 2353765, -38, 50633512, 69064833 ], [ -3, 16307 ], [ 393756, 12164438, -8 , 59254160, 71027343, 99302631, 108317035, 120090218 ], [ -12, 19412 ], [ -12 , -97 ], [ -3, -38, 50633512, 94657 ], [ -1, 2353765, -6, 49405213, 51024135, 59255411, -49, 98910049, 99696387, 110290188, 116177748, 148365506, 149542390 , 161315593, 196593838, 198212760, 206444036, 212340983, 546 ], [ -12, 51339539, 69064828, 49894304, 79269906, 227 ], [ -2, 793789 ], [ -3, 7 ], [ -100, 13344474, 35 ], [ -3, 4709405 ], [ -63 ], [ -100, 12949468, 11777593, 35 ], [ 2493359, 92881730, 8380904, 89364251, 14253425, 95251772, 20140970, 91734269, 26013491, 97621814, 31886012, 94104311, 37773557, 847854, 30207031 ], [ 423828, 2746890, 49486703, 57299163, 51807275, -83 ], [ 29796369, 30203920, 30611471, 31019022, 31426573 ], [ -20, 4326306, 12 ], [ -33, 5893183, -120 ], [ -107, 3139394, 6269 ], [ 37664588, 10202043, 39627103, 21964484, 9079585 ], [ 35702073, 18036428, 47477163, 20001969, 7117070 ], [ -107, 3139394, 10586296, 11383212, 12955102, 15304486, 25075 ], [ -2, 793789, -13, 22 ], [ -1, -105, -38, -86, 94658 ], [ -1, -105, 49392664, 50632259, 53769774, -66 ], [ -3, 4315651, 10196926, -37, 53378526, 59259801 ], [ -1, -105, 6278164, 49392676, 50632259, 52986022, 58477928, 110327 ], [ 12151913, -17, -21, 49390165, 53392923, 49859789, -85, 147 ], [ -9, -15, 850189, 59252155, 61214838, 90652493, -64 ], [ 2398833, 23911353, 8302028, 2744430, -25 ], [ -9, -15, 850189, -34 ], [ 12151913, -17, 22341316, 6669486, 51414654 , 55339808, 51807280, 55732361, 149540279, 153465558, 149933030, 151942526, 248914 ], [ -2, -21, 7061909, 7451282, 9803165 ], [ 12227784, -22 ], [ 12152039 ], [ 10193164, -45 ], [ 2822010, -45 ], [ 862654, -22 ], [ 196879631 , 65074084, -116 ], [ 79533 ], [ -12, -50 ], [ 49850384, -68 ], [ 2368309, -118 ], [ 90652493, 49785156, 152 ], [ 235580703, 2665510, 41935220 ], [ 2806986, -25, -103 ], [ 12155048, 18051998, 41966446, 43928961, 45891476, 47853991, 244099216 ], [ -3, -38, -18 ], [ -3, 21964469, 10255213, -119 ], [ -3, -17, -18 ], [ -3, -6, -8, 81509 ], [ 49395808, -44 ], [ 19533 ], [ -12, 61227213, 49552558, -44 ], [ 108864031, 92985941, -23, 120027418, 129839993, 130217296 ], [ -110, 198449643, 156 ], [ 67114748, 79529 ], [ 9026300 ], [ -110, 51339539 ], [ 49377159, 82012 ], [ -82, 61619811, -74 ], [ -110, 49847155, 18117713, -116 ], [ -32, 49377154, 2445808, -82 ], [ 1963137, -121 ], [ -54, 2418320, 49803339, 79269906, 59252379, -110, -45 ], [ 803785, -13, 51414654, 55339808, 51807280, 65532321, 52199783, 56140444, 52592286, 58479807, 52984814, 58872310 ], [ -14, 53769771, -6, 14914482 ], [ -40, -24, 16874503, -6, 45919711, 46312228, 43564693 ], [ -21, 405665, -113 ], [ 28244516, 10974503, 48881 ], [ -42, -57, -20, 20 ], [ 3921914, 12535 ], [ 38057091, 30599534 ], [ -52, 30992037, 32954552, 25104492, 17254527, 19260837 , 11818328, 13765795, 15728310, 7893925, 37272085, 39234600 ], [ 20830222, 22749544, 24712059, 26674574, 38449639, 23170192, 25104562, 27067077, 38842142, 23562695, 35309615, 37272085, 62675 ], [ 111533427, 170268027, 189955652, 162417967, 133121092, 154705722, 174193057, 193880682, 176218147, 195843197, 168760590, 151173195, 180535680, 182498195, 186435765 ], [ -19, 50082254, -30, 197350509, 198213263, 207240956, 209985969 ], [ 23534480, 88632921, 89882559 ], [ -14, 51819169, -83, 58087304, 58874818, 102440143, 100882044, 106757676, 107147044, 104018928, 151503018, 149944919, 155820551, 156213049, 155038048, 200565893, 199007794, 204883426, 203313414, 200179033, 65544861, 65937378, 68292391, 175 ], [ -85, 59659825, 112218815 ], [ 36103355 , 43177840 ], [ -58, 4403 ], [ 3142527, 1265 ], [ 10268404, -18 ], [ 59177664 , 69472380, 88690629, 227 ], [ 69065479, 3933 ], [ -50 ], [ 784409 ], [ -3, 59252283, 88689978 ], [ -96, -8 ], [ 82033 ], [ -55, 49847174 ], [ 12152544, 68990866, 79284955, 142328 ], [ 69067983, 1433 ], [ 12164434, 29817683, 41602163, 82132 ], [ 153387033, 100647549, 151581273, 208409683, 339202 ], [ 153387033, 108485069, 117987003, 78815078, 235659528 ], [ -3, 10596939, 22567 ], [ 12940053, 24331407 ], [ -1, 2509 ], [ -11, 100324163, 12544441 ], [ 49944189 ], [ 2445808, 12308543, -31, 59582585, -47, -77, 507 ], [ -11, -76, 12152438, -31, 14114953, 161240233, 16077468, 163202748, 18039983, 165165263, 49770050, -13, 5174519, 50566420, 50958918, -121 ], [ 59189678, 12308543, -31 , 59582056, 100794771, 110607346, 1509067, 3230814, 13093549, 160062724, 11367441, 52517172, 62329827, 209518102, 60759565, 101972280, 111784855, 335320 ], [ -58, 2744405, 1186282, 9024429, -33, 3933803, 12535 ], [ 59189678 , 61152338, 14114703, 6449213, 114139873, 116102388, 6669531, 7062034 ], [ 59189678, 12152188, 14283598, 6449213, 114139873, 116102388, 50174027, -122 ] , [ 100402388, 12465293, -31, 169090168, 129762218, 41903018, 188715443, 157629306 ], [ 130624999, 91375174, 238563324, 3779942, 199627152 ], [ 180080377, 91767802, 238955827, 4094195, 200098030 ], [ 184790288, 145462338, 50157494, -30, -80, 69395131, 216583156, 128269981, 89020156, 52104961, 61763921, 218545646, 228358121, 4926226, 200804661, 161554361, 73320161, 220508186, 181257886, 92945311, 153626521, 65470101, 26517026, 173407826, 85095251, 144189426, 9008006, 18745341, 28479541, 175370341, 136042266, 146152066, 50549997, 11287784, 20943609, 167912784, 79600209, 187459784, 52125119, 61937574, 71750024, 81781574, 91672399, 103366104, 112962714, 181713089, 154175649, 114847104, 124737929, 134472254, 193269204, 106997164, 165794119, 126700444, -73, 195387869, 197664637, 207398837, 129055087, 89805162, 101580247, 62330077, 131002302, 91767677, 152449012, 113277092, 132901867, 240918342, 19529972, 136889722, 195780847, 197979384, 70634740, 90338265, 200098250, 33425305, 239348305, 15997445, 231419870, 17960430, 184397885, 495 ], [ 4408443, 4806589, -46 ], [ 67108603, -122 ], [ 5893183 ], [ 61293038, 59582335, -47, 61544571, 71654746, 32482946, 179295371, 189108296 , 607 ], [ 100324138, 110826796, 22670371, 189248896 ], [ 50713520, 256043 ], [ 130924052, -46 ], [ 61371418, 218153143, -80, 101042436, 382 ], [ -15, 20443989, 77 ], [ 33723883, 10582015, -51, -54, 14507031, 43944636, 36094576, 18432061, 47869666, 20786959, 3199564, 32562049, 34524539, 16862049, 18883984 , -89 ], [ 33723883, 10582015, -51, 32169546, 14507031, 43944636, 36094551, 18432061, 1236422, 30599534, 12937019, 5162054, 34524564, -92, 18824564, -89 ], [ 33723883, 10582015, -51, -54, 24303906, 6732091, 45891476, 38057091, 10974528, 40412109, 32562024, 24712084, 7124594, -92, 28637019, 123 ], [ 51339638, 198528018, 159199343, 70965143, 3091619, -77, 110529571, 71654871, 218545671, 130232496, 42295521, 238092446, 101187274, 62234799, 209125599, 120812424, 130547224, 42688024, 189500449 ], [ 5098772 ], [ 3142522 ], [ 5096278 ], [ 48638972, 31384540, 105 ], [ 38041416, 10974528, 40412109, 22749474, 14899509, 44337139, 26674504, 18824539, -89 ], [ -104, 3921914, 9809435 ], [ 36078901, 18432061, 47869666, 20786959, 3199564, -90, 24711989, 7124594, 46299654, 28637019, 77096 ], [ -33, 3921909, 15670 ], [ 38057091, 20771428, 64556 ], [ 27067007, 19217067, 48654672, 21571965, 13781470, 43159630, 25496995, 7909600, 47084660, 29422025, 78350 ], [ 20158478, 127799453, 100540083, 22199593, 129762093, 188715318, 14349433, 121911908, 131724608, 190521683, -80, 118457406, 40176256, 2963711, 198920521, 159591846 , 71357646, 81170221, 91201646, 5082851, 112789311, 24632886, 220429811, 181257761, 92945311, 305224 ], [ 150171774, 61937574, 23062749, 169875299, 179687874, 189344299, 103072134, 63899964, 74009889, 34837839, 191462939, 60367671, 70179887, 79992462, 3592317, 199627152, 111392352, 219330677, 229064752, 238955577, 201589542, 113354867, 172151942, 132980492, 143012042, 60760174, 70572390, 80384965, 90197540, 151035155, 160847730, 121519655, 33660455, 43473030, 239269955, 103934795, 113669595, 74497670, 84529095, 94420045, 241310845 ], [ 206377953, 30127928, 226003103, 235815678, 149386768 , 208340468, 218152918, 90589793, 151271628, 161161858, 33974458, 239740583, 212030973, 221921448, 45827798, 241703223, 18117713, 28165163, 224040588, 233853038, 59582300, 69692356, 30520306, 177332856, 138004781, 100795366, 110826796, 22670371, 32404446, 90982546, 5004601, 200883036, 112569861, 73320036, 83429961, 44258036, 6888741, 16704326, 163595251, 36407601, 95204926, -72, 106682316, 165479866, 126229691, 87354991, 97167566, 11284022, 158100209, 118849909, 79897434, 138694384, 3512964, 13250299, 209125474, 120812424, 81562724, 189500674, 54087634, 15212689, 211088114, 34602839, 93635039, 56422494, 203238054, 213050504, 232660104, 144362604, 205043819, 165950144, 175763194, 136434769, 97262719, 21414237, 168305287, 178039487, 138789787, 3905467, 13642802, 209439727, 170267802, 229064877, 189892827, 201590137, 113354867, 123089667, 83917742, 44964667, 240918217, 203552182, 213443132, 223255582, 184005407, 242802357, 156530072, 166343122, 127014697, 234796147, 195702122, 109822340, 530 ], [ -16, 12544516, 14550801, 43944636, 45907151, 38041416, 10974528, 12996464, -90, 24711989, 26658949, 9087109, -52 , 30992012, 13329522, 15351457, 44729642, 36863907, 19217067, 11818328, 3968895, 33347055, 25496995, 17647055, 29406470, 78350 ], [ 206377953, 167127653, 88846628, 235815803, 71246318, 227965493, 188637068, 200334378, 210224608, 180849583, 6496588, 163124473, 36015473, 241687673, 106289813, 86883838, 47790438, 108566800, 20707856, 167520281, 128269981, 89020281, 51732491, 61763921, 22591996, 32482821, 228358121, 238092321, 200804661, 112569861, 171289161, 132117236, 92945186, 7045491, 202845551, 212501376, 222470701, 232283151, 193032851, 204807816, 214620391, 175370341, 87057766, 48104691, 243979991, 109037334 ], [ 47477113, 2791386, 41982121, 34116386, 16469546, 18491481, 10974478, 12996464, 5162079, 7124569, 46299654, 28637019, 11367006, 23126397, 15351482, 17313972, 19276512, 2037103, -91, 33347055, 25497090, 17647030, 9872090, 78350 ], [ 199705527, 160376852, 72142652, 33267827, 180080377, 189892952, 103464637, 64292467, 74402392, 221293192, 132980017, 142714817, 56442527, 17567832, 164380257, 174192707, 85880257, 95989932, 242880857, 156530197, 117280372, 78030072, 87842772, 146639722, 12147403, 119775865, 31697940, 227494865, 188322940, 63019555, 72832255, 131410355, 239113680, 152997545, 162810595, 84372345, 241154320, 154960185, 164616610, 76460185, 233226010, 10028640, 156922700, 215719650, 186204150, 147110600, -114 ], [ 127799203, 71262368, 90730643, 151427878, 73146733, 141834158, 69535481, 40019856, 51732241, 22670121, 81388946, 188951546, 151820631, 24319986, 34445336, 93164036, 11356127, 118771759, 128662484, 3277839, 199313024, 110999849, 218938049, 42688024, 54087509, 63899964, 73712414, 230634989, 240525839, 21335987, 31148687, 40961262, 52517372, 13564427, 23455252, 180002477, 189815052, 54480137, 15605192, 162417742, 221293192, 231105767, 191777092, 70634740, 80384965, 53125595, 14035305, 23691130, 219723180, 131410005, 239348205, 64825445, 25732020, 84607470, 143107195, 615 ], [ 226065778, 12308418, 122237473, 229693733, 114061693, 125805408, 10656994, 206692206, 118457406, 226239331, 149995336, 61545071, 120342021, 81170221, 189107946, 102757881, 112491961, 73320161, 34445461, 141929561, 55657521, 163517101, 124267176, 183142501, -48, 204729911, 165557641, 136260991, 96870216, 157944178, 216897284, 226788234, 236600559, 13171799, 23062624, 179688099, 5475579, 15212689, 83822189, 93556664, 56344119, 17175329, 213050629, 36800479, 144362829, 116949969, 28950419, 87450144, 195309969, 109430431, 168149012, 227024462, 236914937, 199548777, 160455227, 33267702, 43002152, 5867982, 15605067, 25417767, 84058217, 45043042, 105799497, 164302232, 125130432, 242786682, 205593072, 215327147, 225217972, 136905047, 195702122, 207947840, 217760415, 90495015, 150878875, 209832230, 170660305, 82347730, 141222580, 64685095, 172622920, 182435270, 241310720, 66944835, 76459935, 233460660, 243194860, 156844325, 29735425, 137516750, 196094975 ], [ 137831228, 180721323, 65434488, 125927728, 59582675 , 69395006, 177176456, 138004781, 100717116, 61544946, 71654746, 32482946, 91280021, 5004601, 161554461, 171445186, 230164486, 6888741, 114751576, 75579901, 36407976, 183220401, 242017351, 116635966, 126229691, 48026316, 244058241, 207084584, 118849909, 177647334, 187538284, 101109619, 159906449, -79, 130625474, 238563074, 152212664, 112884589, 171681664, 83525239, 93337564, 105034524, 66159829, 26909529, 232519379, 242331604, 205043819, 165950269, 126700444, 136434769, 48575569, 11676400, 168305262, 41039862, 3826967, 13642802, 82174052, 238877552, 64589442, 25417892, 132901867, 191777442, 17411082, 27302032, 232911632, 107467792, 215249247, 136827147, 244765347, 207948090, 217682290, 41432015, 102266720, 160769830, 170660305, 229457255, 239191580, 15997820, 74638145, 182357245, 143107320, 154804030, 27537785, 37585235, 145147835, 108154515, 29657275, 88532500, 147032100 ], [ 167112103, 176862453, 88627778, 198371613, -31, -93, 90887393, 53302503, 210225083, 170974433, 141756033, 16449888, 75187398, 84999848, 241703323, 213993363, 37899363, 96477588, 206770331, 187286256, 159732796, 169483146, 238092321, 63804686, 34288811, 190992086, 16782826, 26438651, 242017451, 214463866, 38135366, 146073691, 108959553, 79897434, 236444284, 199234524, 160062724, 169796924, 238469274, 24947114, 181791214, 17019024, 173721954, 144582054, 106997164, 224825444, 146246969, 119164637, 227102587, 150858592, 72205227, 33267827, 140971027, 152527262, 25261017, 35230467, 94027417, 56442527, 213443107, 86177482, 144677207, 19295222, 78249047, 137124372, 244608722, 158806840, 31697815, 237151290, 13956805, 209832230, 190348255, 103857140, 64685095, 221451045, 94263295, 154882155, 164773110, 37350835, 96085085, 107781920, 215798150, 176547725, 98109950, -114 ], [ 12779171, 169404646, 4926451, 122586211, 93085661, 202767176, 26517026, 85094876, 57914131, 199078288, 120734524, 54381329, 24868739, 142384514, 213034704, 107369609, 126684769, 97262719, 111392452, 219173927, 42845402, 238955827, 211245967, 221136442, 231105767, 240918217, 164301882, 125052182, 184005632, 144677332, 117201997, 225139847, 185889547, 146717622, 62863055, 219723405, 239269805, 172622670, 182435745, 192169595, 76600535, 184397910, 166656875, 78422700, 196094825 ], [ 159810921, 32404446, 189029571, 14820531, 190914311, 222361446, 192954826, 18589061, 52337152, 120718849, 238328799, 64118939, 93322114, 222847279, 58228259, 38762844, 13564427, 91986877, 15605412, 93933242, 56442402, 213443132, 144677207, 234858722, 150879019, 111785330, 219723280, 229457380, 54872265, 113747845, 221748395, 8066125, 115631735, 125741910, 96382310, 59170015, 19844475, 127485325, 137219650, 391625 ], [ 61763796, 120341896, 4832651, 171429736, 240117661, 134220101, 193174051, 38213966, 145932966, 238547324, 122696764, 230713264, 213050854, 36643729, 107134734, 38684494, 52517516, 111611802, 121205402, 229143252, 201649107, 211480367, 123167442, 142933417, 154489777, 37192982, 144817807, 156530197, 29342797, 88139872, 97655222, 13957294, 33504055, 92379155, 202060890, 74794770, 84310120, 27678735, 86569860, 10185615, 225454175, 186360300 ], [ 22576196, 91201496, 200804536, 142227036, 153704771, 222392551, 87182666, 209110013, 91375274, 122978339, 34837964, 75643574, 166013039, 3682605, 170267752, 201806057, 240683567, 164223857, 184146232, 200075383, 170503905, 239113430, 182357195, 213820305, 186357265, 235350 ], [ 208732821, 151785676, 210617111, 153686066, 143970451, 77213961, 96870066, 13172163, 113181884, 183644174, 150642766, 64633657, 221136667, 107761537, 111825458, 16041710, 8113250, 194194860, 156850 ], [ 169090518, 112299948, 72927658, 229771733, 67393518, 184712388, 110741399, 42295496 ], [ 238154821, 40574227, 150466214, 42609824, 171822014, 173690674, 156181934, 97387494, 80211287, 111611897, 43002152, 162418187, 230933817, 125176982, 68201542, 146921147, 119634890, 53203845, 92300830, 201982045, 221685420, 8207325, 37585560, 117578695, -114 ], [ 236098931, 93211061, 124251126, 224289356, 238622783, 178039487, 190002277, 103542887, 172371492, 115239107, 135083707, 78029892, 158728884, 41432140, 200079220, 153198135, 223723050, 470 ], [ 167520131, 12901686, 200707676, 132116986, 65610671, 57726381, 11346722, 20943609, 226631959, 22734169, 103334629, 44494139, 119587752, 285 ], [ 226285881, 103035901, 126432866, 60538610, 31289762, 236758787, 209502427, 172321332, 37099002, 29092217, 156198 ], [ 218721702, 73740754, 46456324, 93726971, 419 ], [ 238217796, 88149275, 9884975, 600 ], [ 124969389, 131057725, 166464957, 113853785 ], [ 33380206, 65 ], [ 193284674, 78694808 ], [ 43941501, 14470 ], [ 21605842 ], [ 5873275, 144 ], [ 1637673 ], [ 3139 ], [ 130107330 ], [ 40019581, 20787068, 23170221, 40 ], [ 210365703, 174896403, 148644 ], [ 65402858, 160165000, 563 ], [ 179727640, 298 ], [ 65140243, 165758335 ], [ 230631683, 84013750 ], [ 3132 ], [ 162027757 ], [ 471504, 12544440, 6669461 ] , [ 20002604, 30222080, 455829, -60, 12 ], [ -21, 3138 ], [ 59801406, 216583131, 169623871, 130232971, 73582901, 181257986, 111090714, 83615754, 231196702, 133463455 ], [ 98804014, 100102013, 169420420, 180771575 ], [ 10597059 ], [ 502203, 790644 ], [ 196879631, 14193430, 107212 ], [ -2, -39, -86, 10666546, -24, 12164479, 22369520, -53, -40 ], [ -14, 49859789, -68 ], [ -107, 2746892, 3924402 ], [ 2351908, -109, -122 ], [ -59, -35 ], [ -3, 4709405, 23939523 ], [ 39611428, 20395107, 30614583, 22401512, 24727058, 28257707, 14519517, 43957132, 16488327, 45925907, 118 ], [ -1, -7, 10195045, -55, 14519490, 14920752, 17272635, 31349 ], [ -28, 6669407, 8629417, 18 ], [ -2, 3142527, 1176893, -23, 120027418, 129839993, 24005453, 141615283, 108864031, 167442381, 71654596, 148694 ], [ 1176906, 4707527, 2351895, -120 ] , [ -9, -87, -30, 2462210, 51370843, 80839918, 14114653, 63177233, 92615008 ] , [ 10600084, 78904 ], [ 49853519, -85, 108252449, 329677 ], [ 78877403, 20002178, -3, 6283173, -13, 22 ], [ -19, 108252328, 118064903, 61152318, 70964893, 129761968, -78, 112177458, 82880583, 49994574, 59801406, 216645731, 208733071, 81467446, 140045296, 132195486, 255836 ], [ -2, 2756294, -25, 9021294, 5893178 ], [ 161629075, 110559844, 113337 ], [ 49552683, 50632259, 130 ], [ -13, 7061928, 9416941, 16301 ], [ 80980743, 113040236, 181829 ], [ 111083987, 216105515, 222153558, 220583565, 219025447, 221377325, 354264 ], [ 169560514, 170738177 ], [ 3145662, 9414 ], [ 98481205 ], [ 10346028, 20158603 , 12336758, 22121118, 31933693, 90730768, 24083633, 49994549, 157629806, 208823886, 53816776, 162 ], [ 32143909, 107 ], [ 4704397 ], [ 27826993, 26328 ], [ -7, 5101911, -1, -10 ], [ -5, 6283173, -16, 12603961, -95 ], [ -9, -87, -30, 79269906, 12152139, 14114478, 18039503, 16077003, 66 ], [ -20, 1583174, -104, 24 ], [ -14, -81, 98468088, 108321418, 114215233, 51807430, 61619821, 67507376, 102832646, 54162274, 63974849, 99253094, 109106424, 115000239, 52592436, 101655027, 111467702, 117355257, 54947280, 64759855, 100038100, 109891430, 115785245, 300 ], [ 13356365, 24320783, 19243910, 72 ], [ 65211813 , 120033903, 94649538, 100801380, 75416891, 130238981, 56261992, 111006334, 85621969, 140444059 ], [ -103, 4706910, 3145672, 7068179, -1 ], [ -3, 94652 ] , [ -101, 2744415, 20059 ], [ -12, 78907 ], [ 12152043, 14114558, 79628 ], [ 784405, -22 ], [ 395658, -36 ], [ 51355168, -8 ], [ 12951971, -29, -71 ], [ 395658, 1880 ], [ 12149409, 78902 ], [ -12, 12151963, 49847184 ], [ -3, 51414663 ], [ -59, 59174529, 49461643, -44 ], [ -6, 398768, 51430284, 49847264 ], [ -3, -6 ], [ -9, 847054, -15, 49442813, -44 ], [ -88, -6 ], [ -88, 12164559, 61227218, 67114873 ], [ -2, -27, 10597054, 28 ], [ 2352008, -109, 16284 ], [ 10597054, 2351910, -109, -122 ], [ 408278, -60, 5011 ], [ -111, 10192535, -119 ], [ 20002078, -29, -71 ], [ -111, -7, 20063 ], [ -28, -7 ], [ -111, 10195668 ], [ 10283428, 398768, -36 ], [ -14, -6, 398768, -36 ] , [ 395758, 10581930, 17531 ], [ -112, -22 ], [ -19, 2665258, 197427906 ], [ -56, 79628 ], [ -10, -113 ], [ 51414783, -84, 98533779, 104402658, 10346799, -3, -120 ], [ -111, 10596931, -41, -7, -18 ], [ 20158 ], [ 866259, 10596931, -41 ], [ -28, 49380135, 3229541, 78772886, 141486 ], [ 869019, 10596931, -41 ], [ -112, -58, 49862799, -67 ], [ 12619565, 50572790, 13797074 ], [ 2351884, -17, 49456029, 55339783, 146 ], [ -112, -58, 21 ], [ 408278, -106, 5015 ], [ -28, 2746891, 3533152 ], [ -28, 61227188, -37 ], [ -28, -22 ], [ -28, 1570637 , -22 ], [ -29, -71 ], [ 49470908, 51416011 ], [ -19, 1097754, 51352035, -117 ], [ -29, 16279 ], [ 78877403, 20002178, -8, 52202271, 476520, -106, 5015 ], [ -7, 398145, 1880 ], [ -1, -7 ], [ -59, -88, 51416011, 61227318, 161 ], [ -8 , 59254160, 61217923, 73002403, -59, -35 ], [ -59, 59174529, -14, 49859789 ], [ -4, 12164435, 49393931, 50239761, 59662959, 153 ], [ -11, 12230213, 20394510, 53 ], [ -1, 49849758, -10, 60052331, 2448440, 14114453, 6298833, 12544455, 8644446, 16469481, 5115054, 18824484, 26936 ], [ -9, -15, 49380760, 51809765, 61242983, 181 ], [ 786883, -113 ], [ -3, 20001959, 49411463, 69064832 ], [ 11760664, 12556969 ], [ 49849758, -10, 59195843, 59588346, 59980849, 60373352, 60765855 ], [ 147659253, 157471828, 167284403, 196879631, 206692206, 216504781, 60193784, 167834759, 197273384, 109820185, 2996564, 6669436, 24322641, 67 ], [ -4, -13, 51022778, 20005108, 69064758 ], [ -4, -13 , 12164454, 29817683, 41602163, -8, 59254785, 88689978 ], [ -4, -13, 12164454 , 29817683, 41602163 ], [ -43 ], [ 470778, 4314394 ], [ -112, 51339638, 8314543, 55264678 ], [ 815704, 2430133, -118 ], [ 815704, 49380133, -118 ], [ 59252178, -1, -7 ], [ 69064828, 10330453, -103, 4706910, 3145672, 7068179, -1 ], [ 206832910, 197836535, 208010939 ], [ 98439778, -2, -102 ], [ 98439778, -2, 6675054 ], [ -29, 1570637, -10, 20003860, 21586410, 30222082, 31008362, 40427181, 65209 ], [ 12152038, -1, -10 ], [ 1176906, 394385, -113 ], [ -19, 59487278, -7, 790021, -71 ], [ -19, 59487278, 68973934, 78773965, 88573996, 13151 ], [ 2750024, 5099408 ], [ 49847279, 98910154, 51809794, 100872669, 53772309, 102835184, 55734824, 104797699, 57697339, 106760214 ], [ -12, -18 ] , [ 395658, 51430284, -8, 80884 ], [ 2367658, -35 ], [ 20002078, -29, 1570637 ], [ -5, 49377659, 61214813, 51024135, 129 ], [ 10189528, 803164, -45 ], [ 10189528, 803164 ], [ 549128, 12151938, -36 ], [ 10346028, -55, 395678, -107, 4 ], [ 10190034 ], [ 12227784 ], [ -3, 51414688 ], [ 10192534, -67 ], [ 10596930, 98289 ], [ 2367534, -67 ], [ 98769034, 256 ], [ 12151914, -67 ], [ 51414659, 3758 ], [ 59177034 ], [ 2461583, 1278 ], [ 1283 ], [ 10192534 ], [ 8622551, 647 ], [ -74, 49850916, -18 ], [ 2357518, 19433 ], [ 59255309, 176 ] , [ 4314394, 13162 ], [ 32558 ], [ -103, -65 ], [ 59255408, -36 ], [ 16283 ], [ -97 ], [ 20080228, 78814828, 49517953, 12227660, 156 ], [ -39, 59659705, 4392648, 61152198, 16167738, 67039758 ], [ 10596930, 12559445, 14115081, 23825 ], [ 51732145, 17053 ], [ -23, 110841844, 111234347, 209518351, 60444834, 79657 ], [ 118379381, 89082381, 120639371, 228358246, 16383 ], [ 21977013, 39630258, 90664938, -36 ], [ 10974433, 3155047, 13329451, 21920 ], [ -12, 94557 ], [ -3, 49392663, 53377269, -66 ], [ -106, 10193791, 49850409, 79004 ], [ 783 ], [ -3, 59252904 ], [ 490314 ] ], regsegms := [ 1176881, 4314393, 2352509, 787509, 2367533, 14126968, 3139396, 50239756, 20001953, 10989456, 10267653, 10190029, 6669411, 53377268, 21964468 , 20394456, 8239423, 31, 98439753, 5884405, 4706896, 6, 110214843, 16481986, 8631926, 5099399, 796914, 784404, 784384, 196958006, 159277718, 10660156, 5491902, 1961887, 1253, 2, 51415384, 49847154, 49847130, 23939543, 11774462, 3529411, 784383, 127, 27, 5, 206770581, 94907826, 65152358, 49847159, 40019606, 38449594, 28257076, 22356971, 16089483, 14519471, 9416932, 6276908, 4314418, 2744390, 2354390, 1183147, 395010, 80255, 7519, 151, 126, 26, 25, 13 , 3, 242095851, 234638294, 208733096, 157707706, 157315203, 149857646, 139652568, 120812899, 108644831, 63189843, 61152193, 57694801, 57302298, 55732286, 51024762, 49769630, 49377629, 48262169, 42374624, 41197115, 36487079, 32090318, 23926983, 18444501, 12165084, 12151939, 10603219, 10596934, 10585036, 10192533, 8634434, 8236288, 7454417, 2746266, 2353136, 1961260, 1569384, 1180012, 800029, 784504, 393154, 6892, 625, 257, 171, 136, 131, 51, 11, 10, 8 ], pntr := [ 1, 1, 2, -1, 3, 4, 5, 6, -2, -3, 7, 8, 9, 10, 11, 1, 12, 13, 13, 14 , 13, 15, 16, 15, 17, 18, 19, 20, 18, 19, 20, 21, 22, 23, 24, 25, 26, 25, 27, 1, 1, 28, 29, 30, 31, 32, -1, 1, -4, 33, -5, 34, -6, 35, 36, -7, 2, -7, 1, -7 , 1, -8, 37, -9, 38, 34, 1, 28, 39, 40, 28, 41, 42, 43, 15, 44, 28, 45, 46, 47, 15, 15, 15, 15, 48, -10, 49, 50, -11, 51, 34, 51, 34, 52, 34, 53, 34, 54, 34, 55, 34, -12, -13, -11, 56, 57, 58, 59, 60, 61, -14, 62, -15, 63, -16, -16 , -17, -16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 64, 1, 34, 65, 66, 67, 68, 69, -18, 70, 50, 71, 72, 73, 13, 74, 75, 76, 77, 78, 79, -19, 80, 81, 82, 83, 84, 85, 86, 87, -20, 88, 89, -19, 90, -19, 90, -19, 90, -19, 90, -19, 91, 92, 91, 92, 93, 94, 95, 6, 96, 97, 98, 99, 100, -21, 101, -21, 102, 103, 104, 105, 106, 107, -22, 108, -23, 109, 110, 111, -23, 112, 113, 114, -5, 115, -24, 116 , -25, -26, 117, 118, -23, 1, -23, 1, -27, 1, -27, 119, -28, 120, 121, -28, 21, -29, 122, -30, -31, 1, -32, 1, -27, 1, -27, 1, -27, 1, -27, 1, -27, 1, -27, 119, -28, 120, 121, -28, 123, 121, -28, 124, 121, -28, 21, 125, -32, 126 , -32, 127, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 129, -33, 130, 125, -32, 126, -32, 127, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 129, -33, 130, 131, -32, 128, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 25, -32, 132, -32, 25, -32, 25, -32, 133, 131, -32, 128, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 127, -32, 25, -32, 128, -32, 25, -32, 25, -32, 132, -32, 25, -32, 25, -32, 133, 134, -11, 135, 136, -11, 137, -28, 138, 53, 139, 140, -18, -34, 141, 142 , -18, -34, 143, -11, 144, -11, 53, 145, -11, 146, 147, -32, 25, -32, 147, -32, 25, -32, 148, -32, 149, -35, 150, 151, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 148, -32, 149, -35, 150, 152, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 151, -32, 25, -32, 153, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 153, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 154, -27, 155, -36, 154, -37, 156, -38, 157, -39, 158, -40, -11, 154, -27, 155, -31, -41, -34, -42, 68, -37, 159, -38, 160, -43, 161, -44, 154, -45, 122, -46, 162, -47 , 163, -48, -11, 154, -27, 154, -49, 164, -32, 165, -43, -37, 166, -38, 166, -50, 167, -51, 149, -52, 168, -19, 169, -11, 154, -27, 155, -31, -41, -34, -42, 68, -37, 159, -38, 160, -43, 161, -44, 154, -45, 122, -46, 162, -47, 163 , -11, 154, -27, 154, -49, 164, -32, 165, -43, -37, 166, -38, 166, -50, 167, -51, 149, -52, 168, -19, 169, 170, 171, -23, 172, 173, -30, -31, 173, -30, -31, 174, -53, -34, -11, -53, -34, -11, -53, -34, -11, -53, -34, -11, -53, -34, -11, -53, -34, -11, 175, -54, -55, 175, -54, -55, -29, 176, -28, 154, -27, -28, 154, -27, 1, -23, 1, -23, 1, -23, 1, -23, 1, -23, 1, -56, 1, -56, 177, -28, 178, 179, -28, 180, 181, 143, -12, -53, -34, -11, 143, -12, -53, -34, -11, -57, 182, -12, -53, -34, -28, 36, -34, 183, -31, 184, -31, 185, -23 , 185, -23, 34, -23, 149, -23, 34, -23, -28, 186, -28, 187, -28, 188, -28, 189, 190, 191, 192, 193, 194, 195, 196, 25, -32, 197, -27, 198, -27, 199, -31 , 184, -31, 179, -31, 200, -31, 201, -31, -28, 154, -34, -28, 197, -34, -28, 198, -34, -28, 202, -34, -28, 36, -34, 202, -27, 154, -27, 197, -27, 198, -27 , 200, -31, 201, -31, 199, -31, 203, -28, 204, -28, 205, -28, 206, -28, 207, -28, 208, -32, 209, -32, 210, -32, 211, -32, 212, -32, 213, -36, 214, -36, 215, -36, 216, -36, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, -13, 233, 232, -13, 234, 235, 236, 236, 236, 236, 237, 238, -58, -59, -58, -59, 174, -53, -34, -11, 239, 240, -11, -53, -34, -11, -53, -34, -11, -53, -34, -11, -53, -34, -11, -53, -34, -11, -11, -60, 13 , 241, 242, 1, 243, 244, 241, 245, 246, 247, 243, 1, 248, 1, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, -10, 34, 140 , 25, 34, 265, 266, 267, 253, 254, 268, 149, -2, 269, 270, 254, -10, 271, -10 , 253, 254, 25, -19, 25, 272, 68, 34, 273, 119, -2, 262, 34, 34, 34, 1, 274, 34, 275, 25, 1, 68, 34, 1, 34, 1, 34, 1, 68, 25, 34, 276, 277, 278, 279, 280, 281, 282, -2, 283, 68, 1, 284, 285, 286, 287, 287, 287, 287, 287, -61, 288, 289, 290, 291, 1, 15, 292, 293, 294, 295, 296, 1, 297, 298, 245, 1, 15, 1, 15 , 299, 1, 300, 34, 301, 1, 302, 1, -11, 303, 304, 34, 149, 34, 149, 34, 149, 34, 305, 1, 306, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 307, 1, 308, 252, 309 , 309, 310, 311, 312, 313, 314, 315, 316, 316, 317, 318, 318, -1, 319, 21, -11, 320, 321, -5, 322, 25, 323, -5, 322, 324, 25, -10, 319, -12, 325, -12, 325, 151, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 25, -32, 326, 327, 328, 329, 330, 331, -25, 332, 333, -19, 149, -19, 332, 334, 333, -19, 149, -19, 332, 335, 336, 337, 338, -62, -63, -32, 339, -62, -63, -32, 339, 340, 341, 342, 343, 68, 68, 344, 345, 343, 346, 347, 348, 349, 350, -64, -65, -66, 351, 352, 353, 354, 140, 355, 356, 357, 358, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 358, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, -28, 319, -28, 319, 359, 25, 25, 360, 25, 361, 362, -12, -67, -12, -67, -12, -67, -12, -67, -12, -67, 363, 34, 364, 365, 366, 367, 368, 34, 369, 34, 370, 371, 372, 34, 34, 373, 25, 374, 375, 376, 377, 378, 29, 379, 380, 381, 382, -68, 383, 384, 385, 386, 387, 387 , 387, 388, 389, 390, 391, 322, 322, 392, 393, -10, 394, 1, 1, 68, 1, 395, 34 , 396, 34, 68, 1, 395, 34, 166, 34, 28, -19, 149, -19, 149, -19, 28, -19, 149 , -19, 149, -19, 28, -19, 149, -19, 149, -19, -60, -69, 397, -10, 398, 399, 19, 20, 400, 401, 402, 21, -11, 403, 404, 405, 79, -19, 406, 407, 140, 408, 409, 410, 411, 410, 412, 413, 414, 415, -11, 154, 416, 417, -11, 1, 418, 419, 420, 421, 422, 423, 424, 425, 423, 426, 427, 1, -70, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 68, 442, 425, 423, 443, 444, 445 , -71, 446, 137, -11, -69, -72, 100, -32, 25, -10, 447, -10, 448, -10, 68, -28, -22, 34, -11, 449, 450, -73, -28, 451, -32, 25, -32, 452, -54, -11, -12, -54, -11, 453, -11, -74, 454, -49, 36, -75, 455, -76, 456, -77, -76, 457, -78 , 458, -51, -79, 459, -39, 460, 461, -11, 462, 463, 464, 465, 466, -27, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, -28, -80, 483, -19, 484, -11, 485, 486, 487, -27, 34, -16, 1, -11, 1, -11, 34 , -16, 1, -11, 1, -11, 488, 489, 490, -81, 491, 492, 493, -11, 149, -16, 494, -32, 495, -32, 496, 497, 498, 499, 500, 501, 502, 503, 504, -27, 505, -27, 1, -28, 506, 1, -28, 507, 1, -28, 508, 509, -28, -34, 154, -74, 154, 1, -11, 510 , -11, 511, -11, 512, -11, 149, -67, -74, 513, -27, -74, 514, -16, 515, -11, -16, 516, -11, -16, 517, -74, 518, -27, 36, -32, 519, 520, -23, 521, 522, -31 , 523, 524, -36, 525, -27, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 1, 1, 552, 156, 553, 554, 555, 556, 557, 558, 559, 1, 560, -82, 561, 98, -12, -67, -12, -67, -12, -67, -12, -67, -12, -67, 562, -27, -36, 563, 564, 15 , 565, 566, 567, 568, 569, 570, 571, 572, 573, -19, 574, 575, 571, 576, 577, -16, 578, 579, 580, 581, 1, -10, 582, -11, 583, 584, 585, -18, -34, 586, 587, 588, 589, -11, 590, 591, 592, 593, 1, -16, 594, -11, 595, -18, -34, 596, 579, 96, -83, -5, -19, 597, 598, -84, 579, 599, -32, 600, -54, -11, -16, 601, 602, -85, -12, -12, -86, 603, -87, -88, -16, -16, 604, -55, 605, 34, 606, 607, 608 , 609, 610, 611, 612, 613, 614, 13, 615, 34, 616, 617, 572, 618, 619, 620, 13 , 621, 622, 623, -19, 624, 625, 626, 627, 628, 629, 630, 629, 630, 631, 632, 633, 631, 634, 635, 636, -5, 637, 638, 639, 640, 641, 1, 1, 1, 1, 1, 1, 642, 643, 644, 645, 646, 647, 648, 649, 650, 613, 651, 652, 653, 654, -19, 655, 656, 657, 34, -89, 658, 659, -10, 660, 659, -10, 660, 661, 662, 663, 664, 333 , 665, 665, -90, 666, 667, 668, 669, 669, -91, 670, -91, 670, 25, -19, 671, 672, -92, -58, -93, -58, -93, 673, 674, 675, -20, 676, -24, 675, -20, 676, -24, 677, 677, 678, 679, 680, 681, 682, -1, 683, 677, 684, 685, 686, 687, 688 , 689, 690, 34, -91, 691, -11, -1, 692, 692, 692, 308, 693, 694, 695, 696, 697, 698, 699, 700, 701, 475, 140, 702, 703, 242, 704, 705, 706, 34, 707, 708 , 709, 710, 711, 712, 713, 424, 423, 714, 715, 716, 717, 718, 719, 424, 424, 720, 721, 1, 722, 1, 723, 724, 424, 725, 726, 423, 727, 728, 729, 730, 731, 732, 733, 734, 471, 735, 736, 737, 738 ], index := [ 1279, 2810, 4063, 5381, 6264, 9893, 13517, 17690, 19925, 20821, 22216, 23632, 25959, 30231, 32813, 34297 ] );