s = 11235813213455891442333776109871597258441816765109461771128657463687502512139319641831781151422983204013462692178309352457857028879227465149303522415781739088169632459861023341551655801412679142964334944377014087331134903170183631190329712150734807526976777874204912586269025203650110743295128009953316291173862675712721395838624452258514337173654352961625912867298799567220260411548008755920250473078196140527395378816557470319842106102098577231716768017756527777890035288449455702128537272346024814111766903046099419039249070913530806152117012949845401187926480651553304939313049695449286572111485077978050341645462290670755279397008847578944394323791464144723340246762212341672834846768537889062373143906613057907216115919919485309475549716050064381636708825969549691112258542019614072748967367989163763861225811000877783661019311779979416004714189288006719437081612046600466103755303097540113804746346429122001604151218767381974027421986822316731940434634990099905516807088548583230728362114348984842297713530185234470674604921892299583455516902635422484817926191507557314784401381708410192737269219307899917615005205362068960832772427893228399975082453392841376460687116573063563069930068462481831028472075761371741391316641027750620563662096269257485082342810760094356677625885484473810570492524767089125814114114059301025943970552219184551825793033096366333298611126818977066918552483162952612010163284885781774079430987230203437126493703204299739348832220467111114739846236917593311648143516982017180081535835925499096664087184086700073985079486580519211402836665349891529892376122698374052006863956975682367267407055057792558994435942511475751264321287512596151855463018422468774568155576970220531065681649693251728825683549488150424261407305795904080553832073954659034621587630041982498215106634041749171059581457216917253750390793406377970703842791715456571051233611642553451709049565039187140871293773088059522214431050203554901182589644787183497642906842719134702400093278081449423917309605988479651130578784923445009530124805839113932791626181055900096023504197206408605131151201344081895336534324866212207101440105399533740733471343358302784187294870275058337555565404224292694404015791808898923707008479989274290850145145448911123277268367830664195323534128182412526729525974920983807901929474025356630904134051616131474771527802958350162614999692166771893033862144057602001613053142490458141579790738634926099748102093884802012313146549422302795269984662178102205328986833002762909235101982253367944711056030715609081723763275421234517889033478518316825745528789179228945064194127398549508804210413746834097672645715375254332999592975779161866773113924763137210006612261325953941882930001747020959951983924214061919432247806074196061321005680945610772524798077629205651939810235180271574957868504881178404037832974134882743767626780173135980188564921620402395544772682902200205668946629692298332210404846335600075545958458963222876581316753576021322354247558862061986853652169320220778138321484942907526668196915080434001680797073563527395204718524400654779819118558506434921872915439481088781499915632069962317077633963881743561319034190576397238950549310336283234281894982264635955602818321672445759041379840132227567949787325270607408246956933835869116351006915743785198415109491784909187314598564827084593923980518516849609894969925639114631137654914676953405286264297821211854770768947198621219013852139970776030010821454963453907530667147829489881485585291444354401197208056692291976417856935059939889402725147281705868752212712787974383433414697227848628788516320569723034323322817422375130334657268533282511008706756232119602978963445784853852234043030079049541978109298103053387134745051736835281661581088261548838114098697909476691433120355919755965189142281217241465037496128651402858212007295369108703241270663944068699483380852620959723042738777441355693383976920205335049663391306290450775010025392525829059713156356955801681949105793637902178495932172529908688645864568558938918274367865293040934782466626840596168752972961528246147662338693530854862817581421557052068990771071686518197123268779268951286667351452241734025211727978131596850372843719420443012805711729925101400376119324130386771895254539736941653079531972969696974106192338267345448671578180932349089021104492964233511188518561323126046432205871807859915657177192306342848094413966711477391830921208052831115819898040701860993206457261691277377055034645418285014325766435419644478339818233814622740808908451186575606537064746755593813180872826374098837632191485015125807374171213271002344631833494979475503857732749301093450797306083728218713013903540089908230428055835073295300465536628086585786672357234389903430463561377477237582256211875714395386691461781196514382132603863122069742437967730582365211660075759609841445378281618152363117273826992856590141742445308500351360590330847856192204516665901352286753878632978742693965121001919737325604309473206237898433933302481297162114018899219444470188162576173180757187780926230599263177987541750878636601657408743591064244200115309993198876969489421897548446236915686726004162779195305205735308206328932059602111111460156937785151929026842503960837766832936179787201985655771049810841955860241270874289572909018035550336225691011103808998496485426189347068900554068939361891195233676009091941690850761590809095723016188013062717659940567959527431232279814636412409806925015054420031487376435931993870623732135425994938077772079972055335963363226150438368547835801863092826500003542712399295220021062100683261796801170598579975598048362658446171500469231097598664263425079979140760761941366619256256991435939546543402365995473880912459221123640630391454569941296974487399338795698865335778556625609059816389595131472399888618379011125789092068864820527338372482892113982249794889765936694773142572650897733199603935397111163279087715156039800290547036315704478931467953361427680642245229875317162735452930364749708219244730604715193967902733200682058160874095390228987783448815216164202014863723094126901777428873111802307548623680103881042195729914708510518382775401680142036775841168083057059453008835412295811648513482449585399521271964099255182923543922814194423915162591622175362440047156314635932379335110006072428645041207574883712011255569818855923257924200496343807632829750245115205841188445478830259303420656877245267403732512818640696674542736442258509584070651162603068670753733016128079338728432528443992613633888712980904400501488019774679300207675429495102069900497328777147587478963258261317305092827389436343328936862686758763751277652357292473258603703389465503189865955644735224920672849399056463095319772838289364792345825123228624334493729719811956813568067329443966910053815705808735412222237103765877667657957123376148335120669380949787571595343018854458033386304178158174356588264390370141693817714056513234709965875411919657707794958199867229265413057075367692743352179590077832064383222590237370959230771131880927453318055001997489772178180790104600224643828207248620196670234592075321836561403380341971183874599339129547649988289594072811608739584170445157140851842754637816784665852418614813344530098755078625425923930268855077154966468137802209450540405717212314114000911454431885883343305337966369078499341559272017665659330448131739359883995215174659002355338213099324810770594215935749279482183257489712959102052723690265265174271875204170666730810232096414595491256061058212585132819778173635281595256320646713117250822765882951152377845624969256769882625644229676772632057353264935332782291738227509931226985782074361439038045655809237648443060691194477202498925812038516658206764366229341887001770883601932704712430152797820591019645802411885151124650213944293127181914929078609859107677852566778114493011651984827895059886627359231407679698697498369189999644136302198772188187068542288310017538806375350935968114137147954183600071324695516964754142521850507284930515811378128425638237225214340237119358514427573114482002411262279184322105659723234680978881583392867975816521049546284341699716466948344575611500259351924431073312796924978741056961814867751431689907959814751026371787089444902993336949113178651444626614614691098406862188148944207245954912110548093601382197697835237706965543724518668151016949848454800392253878966439639813846179496123464001575930894093975759058731898927884166181662232491515607091882574410635924603070626544377175485625797100694286476841731898333719576864360661213863366454327287613162926777992448823780908130212788963731840407743629812913410263621064469290555679241849789653324393054271110084140201023426547842461739379460149980002442288124894678853713953114433690168906931029935139391829792095612517948949963798093315456111671674939276931459954180979453790064284362881751204642988918068856563237992497389336395866335131607925787813101397453452923602405716568564338475449381171413803636207598822186175234473048806204036781407740908896780492696442878638013232592057976540904677569363784158845383489763407680649939789545120958131238457852979730419249329362731678126773249378035908683801639220038668997554240570909178165665757608500558774338041350112205324232475273515447634024717929825388762330525546971281881285975246191652490578533431164995864829648473361132903516953824080284885164052257330097714121751630835360966663883732297726369399137347080577163115432025771710279131845700275212767467264610201222232244629420445529739893461909967206666939096499764990979600359579325206583560961765665172189099052367214309267232255589801581811569836004006491505558634099066259034153405766997246569401941390895042587567453271223806288165311401367715034229502159202152320246487859157394477678244038723157043552112080122674872860324645933599211791413980480062466753968818368888358354562508878053987795824799770715342824788687062628452272409956636682999616408645238918472094985674087279493373802533410929879247213925050421310440185009520720572083697583620800653786381708749108822250120621168925741942416704288245703785545386791204910075415809615006248342733275920376239100090826796217533933290687271629068978375074545544225333398004061429732838340729878012027363723832270745251370289715580926017664524306411063029052173449342364401229605290021157441157834259997705138603739446436350953569616001639552312742534860331873415186015369662910150509465403127018958366040781918032556017773031249446013074801513889955901754080588574367680334230775090878104904664632028444464424040465367157207607532733721116148807646895877935914078041519265937930421268911288196107101401450379582737773971284057871006996373036197088663606849580363983512256652839038466984207764927881114829962999013079049797839997469365240169079731224438133617071498181446726661872194541048279803386771646583436363507113655439356428629292972296177350244602806380313370817060034433662955746880106357844743764496236456969870763436065204798171837807001366711114240420007076730617258541919943310440740965418798778412503676622857230414835855241682622209064896420180751016174667804967905736902899683728190359260089887947944840958532851584258288557927520307736691282560323387178125067141700354899227346590944200352359771993651057202793976052907707259660211798033088126751067867832379390471967284241156181579286779488510331628801582080400216977309835902988191903794813184112555339687195769991840599615168526968045177668282378663871079054340294134626466684280323469401197248927185022487504185366855774873867524406689966153880050315310000812417454153067665172467745519645952921864691082459262056433063877940200966638133809015267665311237542082678938909175145587744443809540894028220838354911578178491208578950667797112537828339151395008711592868804831750216829247970525773970270487606500642874585371016945309254695820765383405232040578837489482816555438621189665741928615644618041398270124855842691496537589006687984360419927125395212004657173391489668678522013941832147005954727556362660159637892443617194239433298376700826612232625002590619713306176232425037638371636975693142860050322915975133974527644209120897728534517960516392347505614118650852543833066829834000968538942350270948615962802847667687312219838755822811443362959895853407138153844414799259013079824528316107872759799411331336881693628194193416823543267917508745172707853004992980994958186962154148325056588090046823961697112332308004185787677533309088867717986373485485206750216284240240785240380249816749358495530538302069862676173335639633531806804374287064746937492582124753544283208071611158730394159709125118738557020658527305532177872831941502902778738609913228593070333031476475227036382503281437027911536541406625644706194668152438732346449273238898710089208456913416758112932382460077593498406852914376159165348257638654623279284670724156046090408603660074015796902631972962003239999318496254449428820551641549772190170184190608177514674331726439961915653414425101199117567490187139653767992110445566155790943645949237361622396533462741637436118556957035551514898938122874722375660903892665017612415530676069926494272942318589069480525788592273303839335703403521573912286394960106973428686341278881594249956747779735020510630923124424482240884105502668676726936290707020674849447620056656577535490242801584596979800069694522697464511223154119809490791947187534453927740596552032828841802208910749549384231718159444826830165641394807591110505276086794834413438782008980444072081696229382598946639656433341995125564433016683346867242280584217891193621465927947542043773469822074736802716674938292770141701655719366226871637693547624176924642720109478508078797842239371309453488568897999950444762831315013552012446668649357930058281560055891430960222363027055371931667163446900856117612013913292136887790908943984011536809116771188394517192671163973003235747281325858015707268079673709998960067990513900749110005438583788031769332135904252724934492095685876460439736122167142557786794945715785090442906965571063238531073606282249384383143963212896619394786170594625964346924608389878465365138035670554918179720291879368251133336505648500891975428559688990864355716882233464066177406735641233190003800995304535102068382350720289350747631403705336138207717265885328441519836863123286695915870773021050058862406562749608741584728483790399526848538517369011332397412668914568445572617559140390636457949461105609630583801329537157376425652643718276222986560732061832060181325453515308390447534579069814922331066538976617844965368671016458237423464087690032924769496057165162871144459488442964629261563241591657577190299255524269015486440077886504699741940959381819509503605879408206960328593648536678988356705519364847382561864904812103841307952468235140971448551986170838835934512625721005710492526906656464675306322312746197184102037965551231476448737261350098242652501697726516284295515651670644354144400761613511040643009353262085480136081475307274697920694994198318230287562876411917181730759576615699813581161514590574055744447057232342374988339735199829085199334308186364091663513978970952819872158647191684930184179482016276395611672639105248126232175323349533708710427892956421116363906534184169808502499155945811590386789448685844897009316058057098801722851882807558360259646286652631120625379814392707110075981305046531451613777312870630464466237021013443716776226800834957182606015969344302751396920321847653300991492925418206236099065833025380070887553265330870701041158018622348379854264296977975700805764462335030007876480792371250913910303944841855325915515983307973068812904954987826823325688338130281501246783567219010955253435512138999781850616038520880655793591285660718346006762293618034481129314900095290838054515765158589107333785610781418108986406684137043794864818048348325855348726350193515547009205145854666266575009394647125030143806088482852529477640755444017188248031312167794253188451877356427503633531714280849883347670577825966610792743538441546859176999398914311814393143689828065674442465597183052310730360736623676072668957817134479365202315700212878644019141884587055058551781936851295739770295042651311250305217930509374688165219301300194845203130161827008716792433181343266264991820703201866586702960625818650716570210903366183566768218691047756275532029576925695182823238837975389809463517264670023038788649658295091956272699959366635620342487725314342549664567158720453823363270441291252680149719138253774755869198385780350572435966664334621052568150889960099706716791391767326700578165017554628647419837754496891100898312667241553554281937324111297039185688238919607027651133206312776412602212507675416588777672350631815383211784649531033615059253886778266794927869747901471814186843997154491087886174634756452897619922890497448449957054778126990997512027493939263598163042261760236806450139664682269453924112507703843833044921918867259928965753450442160196752848122981084896117579889376814609956153800887823048909864771956459692714040323239014608359787535035782262158830738722463857644720867970828732031885425446164482483435767456482768619931899842048207553332420011445608691019738596803841885138878522806674771206484255615496768210420703829205488386909032955899056732883572731058504300529011053195213253247748995819462552458453873038805359382500103059256395691957239215280967853031586167880929867264050462284137442187749626267809000873254475296506308964533386895835110749320570476684599671752998282949163016220605901117918011486570203288606148368113826936610866346341100471798141202716793797884738680120524345901622083418505948705769613380115429233940095604389734410310117100995067992702323161470502791037473665635425809216494815378974035066091077158223372850389739153795035284049295190118716587251224835053502959696713134360221349745023264740213996898337220585156640002180290913239075790931456679078505028747108822605166054984687178942898751709379971329540814780791115880392819917086754721600907110361026162876320893189118821239152315377295626176899235066383021331483877539771888378198587077823426167764978547808756246115090591034324707146225186949522400964294493489285308948103986302488658167666629995398430467886660501606381291569970853884841834265377663507535181809728656423146214438751644545558477694826313527516756920376285806128758866948816483285796031145081313881068747042976026364355327919908808326891221017064796302424461232401846760575980150446009550749868752158484205015423343632508381159164564540917831115611405017534017909465857739765762457304976112064054821533451334107028126627102054807356173464520221007550748090234072083744418019196048455636386781458494514404308355614659046773460502197440934169467600804865999014851680725486111854012659190521721697106582013978239080695421954168924427662421207437345665360033033167549269080503997316111279421434798829164267456416982623413744225016940372471505281055817787346703464230494882182504872549386115550744106365243126580208492290147459281588813861494628393942692704680432952990868973744071934186705350693607176507424595511839966416244196725018609773350096292547780395944676052274416277690031248729785923474969864327823043828116713025492002771430968773103046344134929937581447435381848015509977209249827274872062700839632115897362723938931250907005790895452681744224335694335313369211958948470553102500982006762370817390438248612024010052135030382619325671771076183328879189168198297827974563682846394486714753162187543274917057925925835301069896106770518642248401127146768381077064664853156857532143600436155298927110060956217920395567877846701971127590295345066209051628347699551344246896762623698573844167986882053221465463984617220613375991422491834590128693012552708201779040363059841387277127804783827114186103186246392258450358171783690079918032136025225954602593712568353224466154460347203243633264958470811431978795731403287353893090143728049677478049774887433736319386724082558595505187527709545065782383154858165636188489335733057227293830914614426905876600217011727891986851402355662620898026272799849437157779835010586219504163589210317027950853888941998375153737015512661712747626458828566600077662876858389194223354668067175971715385139106431711643524221557482279748374290861085515437934408603594478161737710269882076744248936779958516953950615917126088968758505554493711814387110373721783701039712569505538364614027881710228340703858581327009117662422484631045669687664544597577284826570896722043591320565172495098135102433647404982700073500075401759827878315356483347951218369680224170989749666105451312200418509472233218252791250124300248070284575192001929323724066635389191391425662871170623807298553611905880623235491323624375649830112453507358412671675285005069415562415412537276075119498972121378113841488282573748675897900397028699360341995399351640458606953841075408446698926797525733283994464723773897373051547730509482206718754667074636645528022516256487945722774046296497854662108306212056471121727445630906510906079096662473988285986629470097563353116947297309402358794610277093583036849477899336141599311279785132954862493151465198635405129818922470193905214426082110771478868396165064389923225040188769479920226132175012814564516146513061719992484545030554313848083717208111285432353738497131674799321571238149015933442805665949495396701187506647316252492523160404772779187134606100115055174731359385136651721489925728060080156870043596115037168387733153212558390773036997994982822265466351650895155331483420629465491296965401623467797687936369854692530356686917504586049943277829394875894088205036324132022714920985341020594289480596202471862246559405946478745659997715004840583924030397583511583383173698339549950368289674574755661704091718629728156537915204971477831345326829712796338748247034008475494033605742325693807176864227141842237876213253718049486278797511660700167721738640808657454588895331094252224395547334812680590285351577786328700992010571109649289972956851261232789975392143835667151675481333619103454952008707730339918865881486873359084765896974634068647640876549937232730998245927705729166438267632598993081917705194582478883930194415186947590919908873666525329376566665397603187062785541722584607700812257624060463965757289279181083922224988556514543075266609297663643530892791951979990217206693894175329255046444641219473596270869815908465388209600595985864329041134079854737521712801814394706432953315510410398508752777354792040897021902752675861159516199268466497264668950170301902108860060828257055685503972822637362566185680548729096227645625810263217257990525014270234158208354833070412358860672654382369791509804538977025091937149523174176188314410464025148116525118839856571907649518456624120477965205524606115754507996484677228773675721463613626307764954354853466069205521469075434269138591620218467558656965221050567839218109010933402950546727102797660073653500548627122340272799315506394167390200192685406718502163069409863176906175866829901804472036221881612406823370310271420068923103695748757792550589290078414615909532862402053722971728324486369584166178930945937129994132239870453696507597194046564751000453100081646314638123912707463692067318029823029991796402327083329291014906539951751195524576517845992591769749386586611424247469369310138714848193012557736270246516897194435050277231359902240278505235925851212532967850551322106289983319013078492930521759541079809807343500449794743315148005456965161843541961919554461975569575659293457727926685943079495811326326704537935500071974675050245735470397769393174452522312526891681949276776741005178873601255352406136511881435949866717990198251192435559612935136372076774502461257608570234468931864816680751163732463216419371449938692665248496927905957382328310824599087029352939557847011209937043690282006516138599728300807399805410655446748120341516995251344719667586153181419716641724567886890850696275767987106294472017884974410332069524504824747437757217580212749485611671367242642568888059521972447641960096626730209862495495139761419931685889913728235205217950810092981333890681502567674860704207521875880725617741165099293617296837238216836465750395696323922575865414847061494575945648081290145228607189038829076215134884313127297923138542545712321921684571765687471298045056272620241556736056598079477711139085033164481367485698164696022619228736014913169640232740127827512057302148063648650711209401966150219926546779697987984279570098768737999681
len = 24299
init = [1,1]
[l1 = 1,l2 = 1,n1 = 1,n2 = 1,left_len = 24297]

CPU time 0.145 seconds.

n = [1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,17711,28657,46368,75025,121393,196418,317811,514229,832040,1346269,2178309,3524578,5702887,9227465,14930352,24157817,39088169,63245986,102334155,165580141,267914296,433494437,701408733,1134903170,1836311903,2971215073,4807526976,7778742049,12586269025,20365011074,32951280099,53316291173,86267571272,139583862445,225851433717,365435296162,591286729879,956722026041,1548008755920,2504730781961,4052739537881,6557470319842,10610209857723,17167680177565,27777890035288,44945570212853,72723460248141,117669030460994,190392490709135,308061521170129,498454011879264,806515533049393,1304969544928657,2111485077978050,3416454622906707,5527939700884757,8944394323791464,14472334024676221,23416728348467685,37889062373143906,61305790721611591,99194853094755497,160500643816367088,259695496911122585,420196140727489673,679891637638612258,1100087778366101931,1779979416004714189,2880067194370816120,4660046610375530309,7540113804746346429,12200160415121876738,19740274219868223167,31940434634990099905,51680708854858323072,83621143489848422977,135301852344706746049,218922995834555169026,354224848179261915075,573147844013817084101,927372692193078999176,1500520536206896083277,2427893228399975082453,3928413764606871165730,6356306993006846248183,10284720757613717413913,16641027750620563662096,26925748508234281076009,43566776258854844738105,70492524767089125814114,114059301025943970552219,184551825793033096366333,298611126818977066918552,483162952612010163284885,781774079430987230203437,1264937032042997393488322,2046711111473984623691759,3311648143516982017180081,5358359254990966640871840,8670007398507948658051921,14028366653498915298923761,22698374052006863956975682,36726740705505779255899443,59425114757512643212875125,96151855463018422468774568,155576970220531065681649693,251728825683549488150424261,407305795904080553832073954,659034621587630041982498215,1066340417491710595814572169,1725375039079340637797070384,2791715456571051233611642553,4517090495650391871408712937,7308805952221443105020355490,11825896447871834976429068427,19134702400093278081449423917,30960598847965113057878492344,50095301248058391139327916261,81055900096023504197206408605,131151201344081895336534324866,212207101440105399533740733471,343358302784187294870275058337,555565404224292694404015791808,898923707008479989274290850145,1454489111232772683678306641953,2353412818241252672952597492098,3807901929474025356630904134051,6161314747715278029583501626149,9969216677189303386214405760200,16130531424904581415797907386349,26099748102093884802012313146549,42230279526998466217810220532898,68330027629092351019822533679447,110560307156090817237632754212345,178890334785183168257455287891792,289450641941273985495088042104137,468340976726457153752543329995929,757791618667731139247631372100066,1226132595394188293000174702095995,1983924214061919432247806074196061,3210056809456107725247980776292056,5193981023518027157495786850488117,8404037832974134882743767626780173,13598018856492162040239554477268290,22002056689466296922983322104048463,35600075545958458963222876581316753,57602132235424755886206198685365216,93202207781383214849429075266681969,150804340016807970735635273952047185,244006547798191185585064349218729154,394810887814999156320699623170776339,638817435613190341905763972389505493,1033628323428189498226463595560281832,1672445759041379840132227567949787325,2706074082469569338358691163510069157,4378519841510949178490918731459856482,7084593923980518516849609894969925639,11463113765491467695340528626429782121,18547707689471986212190138521399707760,30010821454963453907530667147829489881,48558529144435440119720805669229197641,78569350599398894027251472817058687522,127127879743834334146972278486287885163,205697230343233228174223751303346572685,332825110087067562321196029789634457848,538522340430300790495419781092981030533,871347450517368352816615810882615488381,1409869790947669143312035591975596518914,2281217241465037496128651402858212007295,3691087032412706639440686994833808526209,5972304273877744135569338397692020533504,9663391306290450775010025392525829059713,15635695580168194910579363790217849593217,25299086886458645685589389182743678652930,40934782466626840596168752972961528246147,66233869353085486281758142155705206899077,107168651819712326877926895128666735145224,173402521172797813159685037284371942044301,280571172992510140037611932413038677189525,453973694165307953197296969697410619233826,734544867157818093234908902110449296423351,1188518561323126046432205871807859915657177,1923063428480944139667114773918309212080528,3111581989804070186099320645726169127737705,5034645418285014325766435419644478339818233,8146227408089084511865756065370647467555938,13180872826374098837632191485015125807374171,21327100234463183349497947550385773274930109,34507973060837282187130139035400899082304280,55835073295300465536628086585786672357234389,90343046356137747723758225621187571439538669,146178119651438213260386312206974243796773058,236521166007575960984144537828161815236311727,382699285659014174244530850035136059033084785,619220451666590135228675387863297874269396512,1001919737325604309473206237898433933302481297,1621140188992194444701881625761731807571877809,2623059926317798754175087863660165740874359106,4244200115309993198876969489421897548446236915,6867260041627791953052057353082063289320596021,11111460156937785151929026842503960837766832936,17978720198565577104981084195586024127087428957,29090180355503362256910111038089984964854261893,47068900554068939361891195233676009091941690850,76159080909572301618801306271765994056795952743,123227981463641240980692501505442003148737643593,199387062373213542599493807777207997205533596336,322615043836854783580186309282650000354271239929,522002106210068326179680117059857997559804836265,844617150046923109759866426342507997914076076194,1366619256256991435939546543402365995473880912459,2211236406303914545699412969744873993387956988653,3577855662560905981638959513147239988861837901112,5789092068864820527338372482892113982249794889765,9366947731425726508977331996039353971111632790877,15156039800290547036315704478931467953361427680642,24522987531716273545293036474970821924473060471519,39679027332006820581608740953902289877834488152161,64202014863723094126901777428873111802307548623680,103881042195729914708510518382775401680142036775841,168083057059453008835412295811648513482449585399521,271964099255182923543922814194423915162591622175362,440047156314635932379335110006072428645041207574883,712011255569818855923257924200496343807632829750245,1152058411884454788302593034206568772452674037325128,1864069667454273644225850958407065116260306867075373,3016128079338728432528443992613633888712980904400501,4880197746793002076754294951020699004973287771475874,7896325826131730509282738943634332893686268675876375,12776523572924732586037033894655031898659556447352249,20672849399056463095319772838289364792345825123228624,33449372971981195681356806732944396691005381570580873,54122222371037658776676579571233761483351206693809497,87571595343018854458033386304178158174356588264390370,141693817714056513234709965875411919657707794958199867,229265413057075367692743352179590077832064383222590237,370959230771131880927453318055001997489772178180790104,600224643828207248620196670234592075321836561403380341,971183874599339129547649988289594072811608739584170445,1571408518427546378167846658524186148133445300987550786,2542592393026885507715496646813780220945054040571721231,4114000911454431885883343305337966369078499341559272017,6656593304481317393598839952151746590023553382130993248,10770594215935749279482183257489712959102052723690265265,17427187520417066673081023209641459549125606105821258513,28197781736352815952563206467131172508227658829511523778,45624969256769882625644229676772632057353264935332782291,73822750993122698578207436143903804565580923764844306069,119447720249892581203851665820676436622934188700177088360,193270471243015279782059101964580241188515112465021394429,312718191492907860985910767785256677811449301165198482789,505988662735923140767969869749836918999964413630219877218,818706854228831001753880637535093596811413714795418360007,1324695516964754142521850507284930515811378128425638237225,2143402371193585144275731144820024112622791843221056597232,3468097888158339286797581652104954628434169971646694834457,5611500259351924431073312796924978741056961814867751431689,9079598147510263717870894449029933369491131786514446266146,14691098406862188148944207245954912110548093601382197697835,23770696554372451866815101694984845480039225387896643963981,38461794961234640015759308940939757590587318989278841661816,62232491515607091882574410635924603070626544377175485625797,100694286476841731898333719576864360661213863366454327287613,162926777992448823780908130212788963731840407743629812913410,263621064469290555679241849789653324393054271110084140201023,426547842461739379460149980002442288124894678853713953114433,690168906931029935139391829792095612517948949963798093315456,1116716749392769314599541809794537900642843628817512046429889,1806885656323799249738933639586633513160792578781310139745345,2923602405716568564338475449381171413803636207598822186175234,4730488062040367814077409088967804926964428786380132325920579,7654090467756936378415884538348976340768064993978954512095813,12384578529797304192493293627316781267732493780359086838016392,20038668997554240570909178165665757608500558774338041350112205,32423247527351544763402471792982538876233052554697128188128597,52461916524905785334311649958648296484733611329035169538240802,84885164052257330097714121751630835360966663883732297726369399,137347080577163115432025771710279131845700275212767467264610201,222232244629420445529739893461909967206666939096499764990979600,359579325206583560961765665172189099052367214309267232255589801,581811569836004006491505558634099066259034153405766997246569401,941390895042587567453271223806288165311401367715034229502159202,1523202464878591573944776782440387231570435521120801226748728603,2464593359921179141398048006246675396881836888835835456250887805,3987795824799770715342824788687062628452272409956636682999616408,6452389184720949856740872794933738025334109298792472139250504213,10440185009520720572083697583620800653786381708749108822250120621,16892574194241670428824570378554538679120491007541580961500624834,27332759203762391000908267962175339332906872716290689783750745455,44225333398004061429732838340729878012027363723832270745251370289,71558092601766452430641106302905217344934236440122960529002115744,115783425999770513860373944643635095356961600163955231274253486033,187341518601536966291015050946540312701895836604078191803255601777,303124944601307480151388995590175408058857436768033423077509087810,490466463202844446442404046536715720760753273372111614880764689587,793591407804151926593793042126891128819610710140145037958273777397,1284057871006996373036197088663606849580363983512256652839038466984,2077649278811148299629990130790497978399974693652401690797312244381,3361707149818144672666187219454104827980338677164658343636350711365,5439356428629292972296177350244602806380313370817060034433662955746,8801063578447437644962364569698707634360652047981718378070013667111,14240420007076730617258541919943310440740965418798778412503676622857,23041483585524168262220906489642018075101617466780496790573690289968,37281903592600898879479448409585328515842582885579275203077366912825,60323387178125067141700354899227346590944200352359771993651057202793,97605290770725966021179803308812675106786783237939047196728424115618,157928677948851033162880158208040021697730983590298819190379481318411,255533968719576999184059961516852696804517766828237866387107905434029,413462646668428032346940119724892718502248750418536685577487386752440,668996615388005031531000081241745415306766517246774551964595292186469,1082459262056433063877940200966638133809015267665311237542082678938909,1751455877444438095408940282208383549115781784912085789506677971125378,2833915139500871159286880483175021682924797052577397027048760650064287,4585371016945309254695820765383405232040578837489482816555438621189665,7419286156446180413982701248558426914965375890066879843604199271253952,12004657173391489668678522013941832147005954727556362660159637892443617,19423943329837670082661223262500259061971330617623242503763837163697569,31428600503229159751339745276442091208977285345179605163923475056141186,50852543833066829834000968538942350270948615962802847667687312219838755,82281144336295989585340713815384441479925901307982452831610787275979941,133133688169362819419341682354326791750874517270785300499298099495818696,215414832505658809004682396169711233230800418578767753330908886771798637,348548520675021628424024078524038024981674935849553053830206986267617333,563963353180680437428706474693749258212475354428320807161115873039415970,912511873855702065852730553217787283194150290277873860991322859307033303,1476475227036382503281437027911536541406625644706194668152438732346449273,2388987100892084569134167581129323824600775934984068529143761591653482576,3865462327928467072415604609040860366007401579690263197296200323999931849,6254449428820551641549772190170184190608177514674331726439961915653414425,10119911756749018713965376799211044556615579094364594923736162239653346274,16374361185569570355515148989381228747223756609038926650176124155306760699,26494272942318589069480525788592273303839335703403521573912286394960106973,42868634127888159424995674777973502051063092312442448224088410550266867672,69362907070206748494476200566565775354902428015845969798000696945226974645,112231541198094907919471875344539277405965520328288418022089107495493842317,181594448268301656413948075911105052760867948344134387820089804440720816962,293825989466396564333419951255644330166833468672422805842178911936214659279,475420437734698220747368027166749382927701417016557193662268716376935476241,769246427201094785080787978422393713094534885688979999504447628313150135520,1244666864935793005828156005589143096022236302705537193166716344690085611761,2013913292136887790908943984011536809116771188394517192671163973003235747281,3258580157072680796737099989600679905139007491100054385837880317693321359042,5272493449209568587646043973612216714255778679494571578509044290696557106323,8531073606282249384383143963212896619394786170594625964346924608389878465365,13803567055491817972029187936825113333650564850089197542855968899086435571688,22334640661774067356412331900038009953045351020683823507202893507476314037053,36138207717265885328441519836863123286695915870773021050058862406562749608741,58472848379039952684853851736901133239741266891456844557261755914039063645794,94611056096305838013295371573764256526437182762229865607320618320601813254535,153083904475345790698149223310665389766178449653686710164582374234640876900329,247694960571651628711444594884429646292615632415916575771902992555242690154864,400778865046997419409593818195095036058794082069603285936485366789883567055193,648473825618649048121038413079524682351409714485519861708388359345126257210057,1049252690665646467530632231274619718410203796555123147644873726135009824265250,1697726516284295515651670644354144400761613511040643009353262085480136081475307,2746979206949941983182302875628764119171817307595766156998135811615145905740557,4444705723234237498833973519982908519933430818636409166351397897095281987215864,7191684930184179482016276395611672639105248126232175323349533708710427892956421,11636390653418416980850249915594581159038678944868584489700931605805709880172285,18828075583602596462866526311206253798143927071100759813050465314516137773128706,30464466237021013443716776226800834957182606015969344302751396920321847653300991,49292541820623609906583302538007088755326533087070104115801862234837985426429697,79757008057644623350300078764807923712509139103039448418553259155159833079730688,129049549878268233256883381302815012467835672190109552534355121389997818506160385,208806557935912856607183460067622936180344811293149000952908380545157651585891073,337856107814181089864066841370437948648180483483258553487263501935155470092051458,546662665750093946471250301438060884828525294776407554440171882480313121677942531,884518773564275036335317142808498833476705778259666107927435384415468591769993989,1431181439314368982806567444246559718305231073036073662367607266895781713447936520,2315700212878644019141884587055058551781936851295739770295042651311250305217930509,3746881652193013001948452031301618270087167924331813432662649918207032018665867029,6062581865071657021090336618356676821869104775627553202957692569518282323883797538,9809463517264670023038788649658295091956272699959366635620342487725314342549664567,15872045382336327044129125268014971913825377475586919838578035057243596666433462105,25681508899600997067167913917673267005781650175546286474198377544968911008983126672,41553554281937324111297039185688238919607027651133206312776412602212507675416588777,67235063181538321178464953103361505925388677826679492786974790147181418684399715449,108788617463475645289761992289049744844995705477812699099751202749393926359816304226,176023680645013966468226945392411250770384383304492191886725992896575345044216019675,284812298108489611757988937681460995615380088782304890986477195645969271404032323901,460835978753503578226215883073872246385764472086797082873203188542544616448248343576,745648276861993189984204820755333242001144560869101973859680384188513887852280667477,1206484255615496768210420703829205488386909032955899056732883572731058504300529011053,1952132532477489958194625524584538730388053593825001030592563956919572392152809678530,3158616788092986726405046228413744218774962626780900087325447529650630896453338689583,5110749320570476684599671752998282949163016220605901117918011486570203288606148368113,8269366108663463411004717981412027167937978847386801205243459016220834185059487057696,13380115429233940095604389734410310117100995067992702323161470502791037473665635425809,21649481537897403506609107715822337285038973915379503528404929519011871658725122483505,35029596967131343602213497450232647402139968983372205851566400021802909132390757909314,56679078505028747108822605166054984687178942898751709379971329540814780791115880392819,91708675472160090711036102616287632089318911882123915231537729562617689923506638302133,148387753977188837819858707782342616776497854780875624611509059103432470714622518694952,240096429449348928530894810398630248865816766662999539843046788666050160638129156997085,388484183426537766350753518180972865642314621443875164454555847769482631352751675692037,628580612875886694881648328579603114508131388106874704297602636435532791990880832689122,1017064796302424461232401846760575980150446009550749868752158484205015423343632508381159,1645645409178311156114050175340179094658577397657624573049761120640548215334513341070281,2662710205480735617346452022100755074809023407208374441801919604845563638678145849451440,4308355614659046773460502197440934169467600804865999014851680725486111854012659190521721,6971065820139782390806954219541689244276624212074373456653600330331675492690805039973161,11279421434798829164267456416982623413744225016940372471505281055817787346703464230494882,18250487254938611555074410636524312658020849229014745928158881386149462839394269270468043,29529908689737440719341867053506936071765074245955118399664162441967250186097733500962925,47780395944676052274416277690031248729785923474969864327823043828116713025492002771430968,77310304634413492993758144743538184801550997720924982727487206270083963211589736272393893,125090700579089545268174422433569433531336921195894847055310250098200676237081739043824861,202401005213503038261932567177107618332887918916819829782797456368284639448671475316218754,327491705792592583530106989610677051864224840112714676838107706466485315685753214360043615,529892711006095621792039556787784670197112759029534506620905162834769955134424689676262369,857384416798688205322146546398461722061337599142249183459012869301255270820177904036305984,1387277127804783827114186103186246392258450358171783690079918032136025225954602593712568353,2244661544603472032436332649584708114319787957314032873538930901437280496774780497748874337,3631938672408255859550518752770954506578238315485816563618848933573305722729383091461442690,5876600217011727891986851402355662620898026272799849437157779835010586219504163589210317027,9508538889419983751537370155126617127476264588285666000776628768583891942233546680671759717,15385139106431711643524221557482279748374290861085515437934408603594478161737710269882076744,24893677995851695395061591712608896875850555449371181438711037372178370103971256950553836461,40278817102283407038585813270091176624224846310456696876645445975772848265708967220435913205,65172495098135102433647404982700073500075401759827878315356483347951218369680224170989749666,105451312200418509472233218252791250124300248070284575192001929323724066635389191391425662871,170623807298553611905880623235491323624375649830112453507358412671675285005069415562415412537,276075119498972121378113841488282573748675897900397028699360341995399351640458606953841075408,446698926797525733283994464723773897373051547730509482206718754667074636645528022516256487945,722774046296497854662108306212056471121727445630906510906079096662473988285986629470097563353,1169472973094023587946102770935830368494778993361415993112797851329548624931514651986354051298,1892247019390521442608211077147886839616506438992322504018876947992022613217501281456451614651,3061719992484545030554313848083717208111285432353738497131674799321571238149015933442805665949,4953967011875066473162524925231604047727791871346061001150551747313593851366517214899257280600,8015687004359611503716838773315321255839077303699799498282226546635165089515533148342062946549,12969654016234677976879363698546925303566869175045860499432778293948758940882050363241320227149,20985341020594289480596202471862246559405946478745659997715004840583924030397583511583383173698,33954995036828967457475566170409171862972815653791520497147783134532682971279633874824703400847,54940336057423256938071768642271418422378762132537180494862787975116607001677217386408086574545,88895331094252224395547334812680590285351577786328700992010571109649289972956851261232789975392,143835667151675481333619103454952008707730339918865881486873359084765896974634068647640876549937,232730998245927705729166438267632598993081917705194582478883930194415186947590919908873666525329,376566665397603187062785541722584607700812257624060463965757289279181083922224988556514543075266,609297663643530892791951979990217206693894175329255046444641219473596270869815908465388209600595,985864329041134079854737521712801814394706432953315510410398508752777354792040897021902752675861,1595161992684664972646689501703019021088600608282570556855039728226373625661856805487290962276456,2581026321725799052501427023415820835483307041235886067265438236979150980453897702509193714952317,4176188314410464025148116525118839856571907649518456624120477965205524606115754507996484677228773,6757214636136263077649543548534660692055214690754342691385916202184675586569652210505678392181090,10933402950546727102797660073653500548627122340272799315506394167390200192685406718502163069409863,17690617586682990180447203622188161240682337031027142006892310369574875779255058929007841461590953,28624020537229717283244863695841661789309459371299941322398704536965075971940465647510004531000816,46314638123912707463692067318029823029991796402327083329291014906539951751195524576517845992591769,74938658661142424746936931013871484819301255773627024651689719443505027723135990224027850523592585,121253296785055132210628998331901307849293052175954107980980734350044979474331514800545696516184354,196191955446197556957565929345772792668594307949581132632670453793550007197467505024573547039776939,317445252231252689168194927677674100517887360125535240613651188143594986671799019825119243555961293,513637207677450246125760857023446893186481668075116373246321641937144993869266524849692790595738232,831082459908702935293955784701120993704369028200651613859972830080739980541065544674812034151699525,1344719667586153181419716641724567886890850696275767987106294472017884974410332069524504824747437757,2175802127494856116713672426425688880595219724476419600966267302098624954951397614199316858899137282,3520521795081009298133389068150256767486070420752187588072561774116509929361729683723821683646575039,5696323922575865414847061494575945648081290145228607189038829076215134884313127297923138542545712321,9216845717656874712980450562726202415567360565980794777111390850331644813674856981646960226192287360,14913169640232740127827512057302148063648650711209401966150219926546779697987984279570098768737999681]
len = 481
ok
[init = [1,1],string_len = 24299,solution_len = 481]


CPU time 0.162 seconds. Backtracks: 0