[ [ 16, 4, 32, 3, 7, 0, 3, 3, 3, 3, 3, 3 ], [ 74623419734208570693472573166194485927717375883040405298122837810991329181696, 62301460109105650353210680871441324639782084738179306513163144144342896082944, 114954830581610027450807109681089247645489253496617159231921971997891677388800, 2431180053725091043843141141171839040062879439730747979656600629643628048722, 3488900813017943696648459873978826163087994781143617386286397036949084337139, 2083268183803488137239580370021731770773966548982894924990510130325829018869, 2424606686753004709988058633548037537699023948272875272464280482884714184131, 484419795660999621407349110410020433008974396671313637833167434545023661837, 1634194697076593492413625806277348191808096686622418536274416041833281901170, 3130081790618281498050130289842928762619295992610766843846341095808343010752, 2039110725306700294230766322227020679092937683668674356102954961519773483197, 144973899495332195603421161907923297972087495890210840837334334054898419355, 3250586029686122364706050803713650133213618350685700176713729634497971586295, 2079729014070482761054035083864950246188242000484573170436560975110075963126, 2416173542346795558463188171964904612458933598426932919708112381977144061866, 1105484824092281810016795655949309305827003998285523093519518330806822569815, 562864523828594586388808682043298605525462601300280309527587497080720712944, 3305029099952651074594726871722282355883319378364171993892132492884556237909, 1122467509050113142742069488001726384748009719275413003473202616379932736872, 3551138075653498644257101233265530061505616842854133649296174907803447006862, 555067650053205311427281327890768308017460021832662042769165360224658650349, 853710234397721248210863941714243952598988110400747513836851191102392955237, 1846053735936108269884794805512130999868425335078426181434751288256744221725, 1509421992054249478453309962885698775236684118036595266162387890496305326537, 3199109860736771920960058171624483978891734828450866613787475496495804324931, 3166129055926214834341843523073044234991778382059632826768669270834710917452, 2190641377434879378339841103799855955864878548141021388594942216391072002157, 620077498713791113018373720862852379498384822208605684477798092173739207296, 2322978084696699701501875931701648226621606515619167526686963774273531564407, 3082520294145586400564429466744310198242632474265009967046421266770716782004, 1614576699846816398212495254938417517888029129180882307850796181861340549479, 892889688394888820138434213807362138615264969455542569567627728678620400899, 1000147996836136312379090044542851116682872742938588380346972329601995762945, 1826659237850250352568940488948852883833400441644968520066399215447852367153, 2759441123457459349216903955296649589178796123734569991515910796615608276451, 2662761571078858276231743625885362513821613854563032194621584103537153491055, 2837991541992349382132298298224861760976217459036540721127040732427794677338, 87055961149720537753573411830419029980427615518721731400737748913339841132, 1725113217248750603036801516867533698602230336763264535160128207089464804995, 537486379186667192992378691945739206619772144115748930680942263380012976747, 614558618922736228504234938652991803125006899507983511033817216115746554744, 3061668473793866427594238238174181107809473449093132316128814982551201626141, 2435411560061646197387555476404166065982667541074590617163602859490042186352, 1547500038866503716335941553346109183660378945304720087054840239925408247127, 3315325913002896278426444765641288800039672224394546439494335128841013461205, 3095305962828000982526910964639786038882000115907885723990090924105776800980, 2657929196401733373458900169452392675402622898937139570922409745340798593764, 3128386194755511679833913857392111662458998284717261669864039623894234661192, 1372476078883086661045559158534284900311238176177814445737988420665439832280, 2056438883601665592001654121646338639371511897138391802967736189197115688487, 3601479080768816348668068877667641489888949561431216149324949722711032843864, 573584280804075679982824441129354127986193775739850734253370691960781899870, 1305206050661474564401198394287792773356308432891753699383340112514511263007, 2042771742870772958349866144404460800016294853606631710423839274457775389652, 3471327735741442666670944791434304850502973207386022308859428749319768516589, 3454427760880139966486517314872266123070856654532276650721937639952080779827, 2883705256657075118046428985835944712344527150877002166697290358279985461693, 2028937838861594196160263637090518637267062327759954358089605115464416003141, 2759876115467086656850120509366324604094367450340486306786427115225230693205, 1125917500623520943489667711984185128587569398326148565417687349213590847144, 2567984235478766176624589552077887222804184268036797990375755227186809232823, 62451545637713562571827256612862707963225095122350385546224686274829058995, 3444279573197784687387102627994948008515089415045727867515331806349315761781, 3604435238466289056122779896063007417159000742963379561713588088580160219308, 328247546523081133985783331588988090292890758608494052507765136544975740452, 3289013110729328959796228021099436566904630047027349361198787165668444048173, 3144156373291083843469676262126149695018016238504263159172272168891301792864, 335237103589285830993992089837677027227994588323277971049232337956391500473, 1850603788956127311621020455301317961809987111931303251704527887359706968755, 1635364563717797753986620108384114045088611741951200315688918602089547200561, 1772315660575531041315518287665050908263606425238564796692376828916645986876, 1692157168167464752774013501741087621574800306775401213522643486642582077509, 1069193404478643951890481385674174004399588707389611356249229711706998367193, 193042971830667283752050605895400608751132068080218693813611525182063734307, 3085469873781353697777310357161752799749212283492561525754681874024482144984, 1226968928362128162047478549735819112686423855482578982308238847108069944470, 1370661386808783301767077786835442054455880018139231406670265922862846173572, 1271087639737699367068585706961872158192847726425780401248458534704118703555, 3597938139252571178975694735837902481652968391637666372081656191907190536547, 3165590385711242176834327396365688568802201290756217281439267288241134987196, 1648326579612581723006384150820559438221141243152440962263549488682707632650, 57837310813557237348790553425189839192694769397051770990560946509029636124, 1350764055629571818840340800684755092025070580159663392971067659169840258611, 1932377122831614365890011473174490007239978562583866240932926595926112556044, 2707326849529924516552806761680445655949321717403536412449293076147243713102, 2994975697370057448272721027872611756740266940196137519617761311023823099243, 1637077280288190521672590033106412061002661892033192106383487385420634011754, 2998955863010785482393353115815549241127428542110458001127076922607443706105, 3522238757828403765809206634796969250648473083982118942002716938926600084655, 1244397416415642973284706867981223018606169376234800249332621163445722987508, 3313238730652362748910522288661590306758076222960861182298951164735405547140, 2842401831247273631048399925671312577996972729473189657156170184940852254007, 1819716761963945523454733653665004435409528048390444623601709001412013285711, 110753025596970801402416681077053337198148506597597439974749518661688985457, 1905137058676162870892493822594992419360156871646613261169907785385533469043, 1263157100537050987861928893629432928921803828290963754154286399913273320988, 3247106465308863109496481525560724739601177829099965112371345617816936851861, 3462228515825623998100084772523319575230187397890424793676614061792775810984, 3397715236776952483922842356806041517788870544795364814064480348102532418984, 229218285287308968330887960407185703659814458550842623635071244959670818537, 3207759479892010274808503121351749033049791106865447172370213146680062005895, 881054647449466542877192380947394058313210388385733104212757986238123489691, 3058248169137565110302862457705237509571861825170037625143994055631627095987, 2416001350248829270094136615983773845894858578614830016843847416950490967156, 783164406313317206136505283326418560606221237261918632045066424659448791014, 2077169438516362912839928961394316844978543339728183169341746496841389659526, 2072554743242263128886050834823225932137610102228042722142169381092712605583, 601312638316903113338996075126548794542718614334800553669754391323364462908, 2466250422671598290553287677499948374252362961947417314001801755118985700316, 92010330666911545667867310771295260025539730935369828763296762888740476745, 1826939475333744766044467152473210382991764179720018547679629375787344809068, 516654806372894178247374484818381737674706459939237110938803182154130570311, 2970464687250712043367804519033896692697939167466450584117936108068486137325, 2840571153469303961924524661941059180005761015594891612924770889180634262822, 3341987730454764839074559527530032304629656913574223505431793350968786208506, 2885980400203349402161327578669900356693307502850003208980810399871839425979, 1046173448892120418122476191119892673366874363635676237201472573527948411076, 257608543327526062754303149204767397714911382860649599600405259063413550078, 3033165245215521758833872855545170193866317778781599186232817823441773608262, 2164732609169442404574442659671867762154370320317726957909440466110424712632, 2044228061435906992236637449275401046381687724831385809373726758026618518032, 2543304818315781833723914681193918352765888555730233141636176636676225496569, 1155739216302479781236991850763769716849461725450943603186447448533272141182, 270531788132914281972637696408737451779740917855295621046289120171238959951, 1043302214241267332438044116485581692989233632437450943217743400311588464277, 2700881077189648100481502606902285439200697076433604197355108946637809569194, 46975045861483432317587113382676252847586264876037716690571676415258723305, 3550068097839527010688242489083696423161414568910315370686408897779278111402, 1769154313846246708996475034219084866424689970693093314366544739070096225329, 2952362773487001620014421075189330293495225755492131301473344472215967609681, 1285626123742250492689224001359871955066606031184171003322270917784295303214, 2015689758384762773749915938984820099839243628724693159183847069088678018768, 2198549200951804037873404469440964026303358101297007729770127984526837996096, 458398112051510629466207479057556370525940451015740747978527772302222286645, 3500003003311077592327785069771688300730193557285773061210762149509190065924, 1524283690810384967431334618281489226294901360502478467866458085748626458419, 1662065592885552778518334127011614734836906789168550102497626544877885892419, 1178545251791948318032829555034038853416070561961591586377342040796285518748, 1837169436514123475561028231605572575207699323833283842068068655325954256989, 1049227898501701060871858473621751266142112826703168822142834167565445424559, 995061577840515732029160973735694097543180367443125988257892260808748569127, 374512271284922887023606868656789671197959410940217110002125708833955677741, 868715590571585568789714475684146232814030116654051893474152656542679339200, 2347094201354593642399681763590826798511225446007594520602903542515512763792, 1750539941648175581004664277341173237399290626088483587707870833271615449102, 2718712392883569368891794962971845844787506525447161187782436208182958676124, 550723434387385896632202464478397674856709868847710772592992895276079452930, 3593583141058916322835616363016950551736175798890718920713828838820131224354, 589114782946096400564572540023884834226686113215688863046337845022522323517, 2860861888240073981522245711287469679447786426429476122617503622740248650910, 1709663270233480605383415269780545097243672306104962831169995877497684919426, 2242303765876734002746940442262099805548999723980964058128134070904314131438, 1673244114312000023997495555454447294344972590752794738299145187354689974638, 3013294492547544004680643153425835701147064162832483345139068405422227190527, 1096540291232479079922987058774491039730493437178921711350838010600862688868, 3443090308326742723421350428787985873583577479816183693347043261836377559865, 309443640088713177627481113759319731874525346398899741140981855851029914908, 2869429783549389403749979402119627122962608189255916235231183296671879634272, 3507928686396726664930118467906391040303411448033693535093845299591429296770, 2803461670678926855060217887474165245741864152089668985670488089044521946387, 3062146609401307386066090057576773972600103637264756190692951763195192674080, 1377888680832832035962470154189202696328832645496743958151022495911052254642, 1746357492816949268182506101391982200904164225344565449591702421414609632306, 974204897232424988240951191426478009366150103827068131119711772490238507443, 2719543115075500287598434944701336050109648003757779645422698595507603180383, 40455335149073426663889255292029652143287090286911893670018699088121939364, 1637852075647215766406573869177171287767257009265196842653279143055528128703, 899708928692062592984318860528189440729610119276578216767728841335487388557, 1149067304647746576949188243946953749986449725484223485336036562565319531910, 1313327937098809311514676318575415551195422553259178222779271550109996007744, 2066613115152256142213165408085374733261768995925829235216592299194137560293, 566695726272662602675677081512582408560985329841580344903659322156133725086, 3396828064598692978297555778740902870496615721757371177270835807197490217521, 2529005700513374794584631051529468222505776777416287262384736896719375040415, 3034720903704144021575091445060066044885273169620353515102681914742931531457, 1255810443388897041166260835246848823016881726774559107764760444970180770053, 2217380423660988696413038036871191711785439787408159993951294168516606277442, 3589778729026186871562087382253004721771280650033354381574992943789461153761, 2269844470930761498529035117242835818198826227945867086826332635864502368256, 1592036157666136846655033299940114506201093782017024601709034051036222911177, 2787304279599355823990911660206142484514446946820444288522783542711975719415, 431468595851624372152787527906836105860744805599846250081202126827558133357, 297990308526325846562316830424254454688718016959188706533774064197335345124, 3175557035167693265109702974552206348716828910248350153361676625933444133169, 3094872168993412402582924851981116629007908140419211413719667516042116359518, 377068925227976926222204052231759265101608432914646170907828569888873287368, 124708683794342951917619977711621051421023759094014665226231136808525171778, 804696980523872094889177225427131383956207020471831819742863571891864974579, 2855583924301751891387935087845504592929877113532970761518071809407196509439, 1931188324365668410787343213459517579102007839600910704490749848419266168966, 1351709361078070554882746767669931629292904036983331653050777012145800852663, 19047129576920470878631562856804472844865102153035751782220886011933098543, 361454520572919363321766503523681163629593331540774872144560953788383170308, 1784953439229837644119958493346337914230186626513805032226903526145219428754, 114760662622688597951485475137546026814737621404568976647899863620719325562, 1292976015461493606886011321771692800188342710209380891250611750723195394719, 3128325762535655157911379192173310576296127993039250612241020466574590821958, 183896097096243330941586648468997704047804275330604269500679577059842318117, 3535546021174743476248526165524219385210510791100374830952350379546868473862, 2125681852134229940338118219554953506811177510677288574687816371292167786740, 3066796245914573816967302647631660726827896970288802342410993338283682949642, 3575481549583511934473125194702491530017030014034479422777641607060333956431, 1661136101495735105898052156394734454068657438761589024640173233985994256176, 898338369569127691944499705922613593684105215321236590447909720606010656258, 3197551476142076674847725233719674429076445210331280331126891750589841242049, 3557471827563251896012925483716172156575499819227331527007491242093294712005, 2611082527021412818707544887559233742416313101289625170830756890207734020866, 2867862408567822037707347024225258296765935513411763119920543645159838141789, 3055084319312964694280458152453409455376690188423621431890502137175769214983, 1335543438364777314365060364086973274270463041066599022984433435275904413167, 2997364824833312975021427660763207899492540354565401486526441531820818432063, 916567109837704540441471831557231854064934064772884192570304164532728222003, 1191669377150885075698960588167070462335785660668672725092977042708679848215, 740050064445075878480557366921531016434336063040281344554970484735696033655, 1705882806517572679027546550449277840555465257879339431036120990042984544647, 3601364803628088208541849267552485576648687473736126664630837378749462063273, 678249698647185907254571799778241021407815394777627453861168300975448784075, 419362709357091938216824963319870699868920783045430655246188486580424089238, 2662310920219909656954708564745638398580832094251470497912431135276996699763, 526082525623807158451206764909072821452294795803710750907892666553549586306, 1448478118054135841178645038226838299862592745253762425430608635961074363772, 1648901764452774371903977405956600543866977691248706174637165440574132214006, 2569532797249140083968884510319779728783118202935660155044992021620239108557, 3123008206834036852437345126338817270812368103342252479141494223810436351828, 385262863919546525738481374582840954245335501630160610949808953121866064580, 3330252973888752795570741518738121311463111797562336383754790367545446375002, 1849106982280954220178922575798893220674398672340370340716645894925186278746, 3293716111550163919761467610887412250357623673714616152072155795787424484609, 1444528309331539424849707664585067501156594456682313871692830661759939482444, 3612772906978438039827622646675252389422649981821342420991280677314277829125, 355364549799395050896466582291131574445924252718253796760139537218548548980, 2805560299660032543467377788825216703913709276155559159830418556286164830402, 2947564966974211815700773625150617366843232362533306192559807137818086510036, 1445116828488677181785900493383272665737200268205679462442599258306491201413, 1490591754482118743111743420964491374820450421606668759349931063615166550991, 1705030214567243606375670004186349313113318701306955942261124831832030137219, 65410814992421621533993401876400632516427517708786512011296395155619652181, 393670561236068365959733423000279304958194187335689041417806607621919654385, 873172227543074415760539438510073266823803552137960794376664866747557341200, 2816209672687881871921491483534347356788019779763525682206575010508886753352, 176364040720647295962329584231117420683666741187409829602684531527692418734, 374915341685056354800045977597611055597855722179999443538899984195536458596, 3562988370074861338597454167380554631332524771719084734866642447107627029959, 2804977058866202718088747010581969469615086003485961360764793199322484352719, 3204309245752498131199499102049330908990759828806718008339342994110725912063, 1188946593830648265454749590604131201148508010237195045274349559379715806261, 2508920921029972705077872921492905274502364800752835407627807938650434979341, 2436942545867272375457153726703196026542024008870599210347118732887993194545, 1448859968770023889986460685881306970014631865005123123601239860270773315415, 1283717506469999544222037602833718751439539491706175414333643312270922989438, 2612292090158724534638274491916456379835613261305199351296588803139343289889, 2494176342164523006634339450688448166801355805963136618593208312434676040826, 1748128649482965262875420594317342033990298807858246908128030533996178988015, 1965630450772560993994540676129488488261756558355083026878569917257620977158, 1527107776828255711816118691138230674817882303295291334219730849304960875386, 2337712134727037547049661000004585927367746143687394873465207789837355737032, 1551325389961149320661916121336619516976115603095038995262563328524549198176, 89031114925320119914287822246679975503365691218336737166042136084921740781, 2537252310936795668184486234758853536938908815508868041246261303482641265323, 3223594825516438767082412009281486494925526360572043953174998296331872572278, 795656232302433152119926280210863948836422153926125204803992158995515493445, 3376677681336265989283079462112733831453448120664626544355118794512395042788, 830241216991361366187879655634993116927188628248833300629661279584285271935, 7828356701240468080474040459190403174206215089443824897395364313629801527, 3058745814476838378702353057451425762315934193621263378269822307088691069176, 3429351555192740969725998486101799451707243176230030314916263283476021376697, 1294649224644395727081843599215388421116614478698835312245638526203278878278, 652956434085733235841050158481246598039228643342374954057006104507027085099, 3285151912004274210137210269529076167807927502741759261853809974050131138319, 179296943996982113721145159319236660752036060167899349765163673158688585339, 1064833861055674785250554102389906575760332103471256182943736647438801933765, 1282978439571893976319148170891128048555194905320801034478324024183164773428, 2940914609122167012441636463139824103957599158998097227641553937914871208970, 3032201460927451034965053975738523050463877250912885549329744790072654291077, 99730130167788328016864768279507565638573179201061368749898547305060470095872, 90629446086240135355032990764747671978023183653715720694793034413103026012160, 42672668366124278769309007836506021081797351909513474584597230236440004132864, 64008752830255194206359573954050181706211267729698878945296967778171837480960, 45348846976076621517236204095161661828220788703914366507322609913571003334656, 94886187936114932132497949682335003753740861711586807098764356473342931238912, 2945778137110847236479517333028249092212289684438547381316425832235466966875, 1766312913525448501785234817861489782601393872448951956921876035871081059782, 2640056126644473103174238822489095385277858926424473545429767158670627487114, 1686015102406268182620495942596250037046015003878935136548159894004478251757, 617621459025687563844386813074392085710431225218512339383510730952931789974, 3220160014411739861975606710121493740852466781618877193479364097024971637311, 2805063190132813987093289990206086902654165223567647821042591916920918084742, 500248978367897505323797570440199366980536610999365428939359365111967434, 10855508368454310002753148361047694162425463151760230589051990925482870940977, 55887366353326828247043123172601144383077070151636995941504222757894236237400, 31819512311458857216342078309525218640385844830417317795728008497467988789664, 19292691900626838559078313519313190025996039542247753336228855420888634407685, 60199163932861447095790922581909849517448573593921289270786317360869705037909, 58878552021249466602044363121270091711800373853741728036641791808243940613702, 61084362781715179375416195403578152633807312935255212900377153541085810061205, 26539906456677351328246343564542020332920365357890257765204445950091635494201, 2581113573343880577956396270636556611248591956936932629221460433138254955088, 111929313285617388819505890033688431538618437947756153225157624953210663313798, 76742628475113258812726541945239496008723733845989703856111088581640699965517, 88584499890512117445647711063160902033360050202631198137001403654355056080122, 75416759624894984387143230637078110955318029882777388830590345301456843020809, 108787972056425491697740017972978064192509205385479035264198465748364186729008, 89246788597575544743827713081745675170443980827752490212145289744347077126668, 44595006038786227837643346288309553740732243370873809215260293104872624010475, 115635737804219230093138831071359614120005138681367439045434829289868303175523, 11760546542176104710313758465213578924758810843433272776173605890897717540719, 16209107250890130322294725566538332651729271498493864701099261492508084650657, 5402067033977667965747373736820322653644466319848434113847360952028585135629, 1208199728001781295213665818231264047824781972320362118077485389396043010349, 21936867588450699168309101168132268036810493261521187143410890740788544465349, 89703453113923664519815014772953414984438561148618690233544018103576041752942, 1807557371881174105430512677610764325487921773799323916896264793503209426826, 94340787629210318143306922571019645790631834373210605181633662696867185957206, 1007995971257320462691580508759216992467934511339685732700418019410454877933, 88374753610513904839377626102067499654027594123839657747043393650285507201659, 4627866135229363538377584363442332769537302572208586243212305680994327113115, 11996323938486824523620404470678873193758493031199681891925281054950387656907, 83723422837250109070921043839261851886565470242492409557624969744992094137691, 11065999787345111754042356515158555029829008737554835133459535103157990417033, 97978766471083314270070011764110131172403016137511146487984468070748960856263, 46540032253353502737821990814529541040035913152186813679500241319655545074227, 99288768059686601526683361575097680509886487122874136013694657791993365442238, 108465024977691169040050323170540470109342231564457757081817953986974329655765, 30040915333858941243518866722400980312425062420377647251596918370525585241303, 65378116886544827130663877741301023018051272266741842465454518567422407089187, 5295314125830297575709741780783521550312243285323518216216719265543070915606, 45266609121200941135517229482443472368138396734345619686415332036783941472028, 64296351894763321510062037626259991728578269317218834849948074675239788261278, 50368472283009634988768179375884550764235374902797175929989972988992673261873, 30864035635415522910215094864820638573850716921477802941571455700164439498579, 90829083549278350628358751822137139013302511290393907553747719075340144514711, 87654287359114793049883820946874662007779277091935802978420098382178394797172, 34681536385332661553539355723854847957838530137797758666322232922620305175090, 41036164123874034077328364660451005333551065061764352426533328267419124805183, 19585532411667045703443939800349875627077245173857025680305897381845551286134, 63756355564562470796765388830039453766352119984796949061334519184498444120659, 9076499926083913853592070518594495830569465386168855094013959158237293999820, 46159742736966781383467095620242347378144826912433014927733110154283649358713, 62123285012924855836322271889947482978689259061913400595587779733469675920040, 22429761504848582233309625289716584049490032732090934579078902658845504010392, 57008777385609019305863070362412247003518188905046605356621646798045306689246, 27346339305015678352125739241000538626407333755624590618619081842260617527685, 49822659925090199849383263453542767174291173645650460078760033412188553251748, 89293548387183356655948454667752106510065096948838889816088266995317664595558, 21724301231160884480247695531551785848047559711068721608388963010097191540717, 56779837611593352374474001517436672401794310572347174655179790760634483092605, 83342173935726801213866578528289415241372354480563352268155887349539856090180, 113271653214896637460341066406769350900655428316957302214365035014987570076615, 52616006332607970321497418908996291290316205455135320958301021970887404946807, 57314162615938494377019520556131884240478037642567220333638016693508647196384, 33892633197480611505430323188366696884755800269453301787432862239069370934993, 20393680655964502615644033641811258321864010684625309164816733396994521751428, 63441344452178158928449248957262002380994571545876196112377046585765168707424, 25366413403569952923351234627945788470162752305824857945887352939089663757925, 50984965714697361480129263704208123480766044940383817253734447331067014814815, 67498540348717297557549973359813647128503621431573702656459853916389187587386, 72119560863026739977998757233235859421383533526937527430048237737261512136919, 27024589561787891588223861287986196779261750945722234846475921650946665453175, 12950234136578801768065888813068822874401737003953603154736207286632410428707, 9361625687481651942965582619918897442974986904844057117290665944679755556388, 3177834286451567616437271527339655886452805252917103949117126270763212891104, 2795145065390938364768882809536058679144599335221009010807131032938692732170, 31086996684585278239751260278258906550752416520396266613211125585702192695297, 105000143449233692796035000023180531076748768638278906799771052973951634189946, 3672273823912318565637075862803751773061501100267111893934919810734244466650, 114599023362016053266164930337499384662944458860049544961013916204135748095834, 101209275593957232585039209863225881546348909254800004710078875674281369237892, 39314537359547335154781493918488097424859165461298686135407813793935248038814, 21376111229819558843877134993421401202078252612385620277971776727918648227855, 19432159613578052008335292483733196370595764914655208022368800944348665416213, 50376072124935009132290591557651176551276985721990118250777043095724865740013, 42558090230082532522081373211735729908040125384157033376793703673891574896552, 2511665102387261357631584355912773963447269242791612985910747252911426207068, 71092448343060648248869110240076503805055597822636811164867401337282809575185, 94313082688845045924233394503535200214147453769898197502096754566919292468519, 59347411658703993112094850583311868222621202126986778792300534303881258966013, 50559989616194762279986632456871285638795073534783354281966459142122189562399, 74939712395395614681177199678859619462307626164059900168536614031771616375267, 60677431982641192577072936805535337052269958050400941908772628626594030219883, 2449623763355605554231226515613158272738000946558681545774341725570521943307, 66567813248583421078220860715667977312509603039461769517455325857166621883680, 106142253991884743817398846795881329885699889117255124556635493461835235610876, 104914387511552154068575466793421760765681994603630010597357953111416004679039, 99444032800917456386884009405456278738435390836511504933134548479810786610408, 91020766382989336957189776477219537516283849331106013296874499500122813143801, 43602218424168248875424919698155721201749708166828458574500079158704649512884, 48666537786161834140000652783849408255752559391600491373091277055269962346665, 30696352744263324404426422044627762165452604642713408922936774905973082509973, 110219679580589245906010395238171838403274391224430740638615953657300119646735, 21015518431026793940634673183901266966653097129053339221710288343700666085640, 62012988306866079055429432910551061642724059327547483885080273248669627156758, 77783563731904123558335944443452982135986746355784693356058327110624964369979, 105574919216613774396810583202521524164908463058964295342761590387761861707836, 59314157895515228648156649032797720959345400959727183820010883920767936554140, 7414147596251050790095268531248291166071400442636641952963278368477704968975, 39650634963267095242749941345191792681811530398619591154344686832489292959558, 9991841655899463550209516107377050522474971235015739686140545149782058378010, 29445748453886865544768759907655628611706366320537392414864683397604947242295, 242769941195688507030167460698317422917751167126225364094716106288326137978, 27840645219979974813067469541368474280281916927700575897250310257078879365614, 13623079719446387548272968773680881080532209572324327390991284047365108451113, 39145260902102695479023278854367989029470485871196274507383655962109451477874, 104196643261540460223491785370535849507295710637402827401310011303727445306190, 73304144722752585858833735410744849385822333478366986091214045257655511042316, 90528403459637631262991586015152638531426286629011159931388653062240028718290, 101024296913951724382826492066742811205034153097596203176329240105951936857536, 106216767788945268103740736767049171654876461107175771492335575811159231203942, 86333229606194594265012219965706587811463627292432360376072941975557448341505, 78794381149172785009466931376712817200997411891467516669753812626230288573847, 72627821469154034723380581400170798672549436549546245735439831188743438249727, 76233016693791105222886956779049494440440463241895541816985584129321412801938, 48756025652284839260360038666161672147158182762259033368613475004951192027563, 5349275193362614588220599312156957993572800944192674430920940518259227675862, 23653587979341693357263408026817058986903906546950828666286933053390531889937, 42634413904523968660453098352288497148714841895105075803894366099503742358593, 113160576852501639025662313219404318448624264963470939443094158592536533896250, 12841859312486580608272556655844456081283661562422643996215167134156740952428, 24538427490819565227391213090367443544501192069474871149328293430214335854450, 36919641873358931333546358565587589410578427607660563073436991982845868698267, 54869146818981813062136843130407406977312046667074274852958487934836074650663, 34336046588909722017489734065881625961599533195341381450965217157230106708822, 22027555795534494185044083417423730057858470792663302865747824981469850082352, 90633436669401037438601705408278051799334322913995894270231810060835018732289, 61523977549141274989464571340439559423184020696199520008052463955220468600724, 40451795255796921078317968743170637544834223300728939289188061269455274348413, 65401485655952788203003128380074769951180131138813226143298870235299601585343, 9854281654671336502991532294369812223470943417177208965707328508791438436480, 4509942596780268645826730226732747059062085985680647428016587462714179126365, 77006970606490427108972777602658856466688295523128107099938950498617654974887, 29988966709703497247683051579291747102931473464814998685774197890557414378091, 57869022855007912511810661035753589703183300413576535557788740861057098067393, 55987862835505152013577766084417421876061947842808672413367317731603203762923, 106716376347843631299768302000494219823188242899840716479459332301661613860805, 113563945961456824262984787904869418008522068830951416631799947915251424472613, 99299050244074067537353011593124053331381543159699627256745396864623034272509, 16210331333219147588566434124480243413032330978879380610415396992407972276502, 109346921464433669524876938157956201873432520857779365331414773844928751943539, 63487253296202634568927942708973675381745902212832076045705938743310601789681, 63517087081149574505662103959530132071984230397932195235793756106712575903822, 107438279327263929358497292725671013965801579271708035550494484904724699002695, 104899910633404126829845936211781405567237392091173976825625543476770002129545, 114816384575132490358150910041070923914411624258297196834552233220370641468319, 6023231683386252727353575771097235246395064029760599738123241892639920168509, 3763830655419923564893215255642843644321662569594016259366340148719182668641, 67956193458945666725110958810641899150895327133296650951045200594196403274250, 90399505639376007506484357980973072750837415735203357259391852706352375525289, 90023666483576512145113452488379012383295240493905428960490241916254818885742, 58626279232412735383056831868660298794480353388116656637935667592704809994267, 92004746867985540609597314162533893260963394814452414674513847427427138485521, 113592727928357075182135501818724539362557013867162156686479413166779223418634, 40125429700913713621520457534412289896193173699915879102618573668196286770703, 91065524618311890226938199501085032109672496035554579553272890892063979730268, 69425140743528165855859970972923119421038118862996321509630374382237949305687, 82136675379968048691190507771167128443603105127087944266311663747067552416989, 30445461735641080891872138174995624430402460319258668562019550233145185282407, 100819406262342432628139774380785440067816954900442144233979405990502344169992, 19121405547552826903555632201561301144096363274701653824653764514953600622881, 115460597114713917491649919252568693721514182076817458374868802847572827792401, 2786469404735077895095049195987280646664314501237077127256929709816685485618, 23553211886768890024429011742242532951620197671455875007254980697140710098317, 733131700721034824925448343701790005720959080821193319657925495707731506103, 42680835926888476496857202714857413256405945088321745751605154363280478882831, 94957194319346177649491348118439772531321044107508738088730751698754478475217, 33391102640692357531487600021468584562390643771028051545137141123398305065105, 96183147592985201096611039850780659261717145259478129728162062977114700790371, 28952836405299958730173867903696452270085236515684335106953734954931093293132, 52532662382092964948325911983235644702569533595419021025360597933101690754825, 59404842164573931716481653531829823990849171593067334148641889653813941755477, 311321995109811346515748837568386009550395282286809083645229512151573000964, 112338253490404412672889225378645214728475797605326702794538412353283133747311, 57437428007038889549542148570240688838864349560931828785072408372082093375641, 13343066899899267580035864132972374899423708469858484600851255912080271738128, 38915603061037151749553312476686038958020731531373417429402323083569168851149, 89082001020263228040865321039622573737071214500604219554015451164574278224986, 89725562520144545587714948966054929994288128639871925291986699812765458490417, 104861412383407105478312439700385478055256414961753900074919805285188976477147, 8743772192572849761582438918675964013281457344241425115722064578970621653099, 114886734319569921957371433161623433297082023503345114758928019232119359233150, 42111858373367903874064594203313327597085053346795549190649482893525269130173, 7912446797284485737970164914078865835455585547811270170505196293545720154387, 34165347186407670727470978076726939676133989958554734092217548661138839412499, 11000424513567934104150434312336506735058040188653389301680023164924681352881, 67387463623601427354434145223374867107698956350113733598869870718160197364635, 82867410602156282528184833460724787021547195659181602157163738001487482809890, 2349163208660363342519179711523429570158829798207620004126117503166102771369, 65341033630559749111808596336403232187897282899048975432229787001548743639040 ], [ 0 ], [ 17, 32758, 32793, 8319381555716711796, 1, 5, 565, 1193, 1193, 1196, 1196, 1214, 13484, 13484, 21676, 21676, 21804, 21804, 32044, 32044, 32940, 32940, 1, 290341444919459839, 1, 583, 74502864951344026823085807576431018346872942674044683327598186528706567049681, 1397711393502837434740828172442185606406764267954108891181182944732441718706, 1455281397157421365072417051203807070853384894380360125874307649813836940923, //z 2729831914778958086103142263693340308637954140715952629374672445270327171386 //alpha ] ]