Advent 2021, day 15: fix part 2.

- p2.rkt: going left and up is allowed, so add these moves to graph.
  This fixes our results
- p.py: correct implementation of p.rkt (that one is still broken)
- test4.txt: pre-expanded test input

2021/day15/p.py

@@ -0,0 +1,26 @@
+import networkx as nx
+
+vector = []
+with open("test6.txt", "r") as f:
+    for line in f:
+        vector.append([int(c) for c in line if c != '\n'])
+
+l = len(vector)
+g = nx.DiGraph()
+
+def gindex(x, y):
+    return (x,y)
+
+for x in range(l):
+    for y in range(l):
+        if x > 0:
+            g.add_edge(gindex(x,y), gindex(x-1,y), weight=vector[x-1][y])
+        if y > 0:
+            g.add_edge(gindex(x,y), gindex(x,y-1), weight=vector[x][y-1])
+        if x < l - 1:
+            g.add_edge(gindex(x,y), gindex(x+1, y), weight=vector[x+1][y])
+        if y < l - 1:
+            g.add_edge(gindex(x,y), gindex(x, y+1), weight=vector[x][y+1])
+
+print(g)
+print(nx.shortest_path_length(g, gindex(0,0), gindex(l-1,l-1), weight="weight"))

2021/day15/p.rkt

@@ -0,0 +1,28 @@
+#lang racket/base
+(require racket/string)
+
+(require graph)
+
+(define (char->number c)
+  (string->number (string c)))
+
+(define (make-line t)
+  (list->vector (map char->number (string->list t))))
+
+(define sv (for/vector ([t (in-lines)]) (make-line t)))
+
+(define v (vector-length sv))
+(define h (vector-length (vector-ref sv 0)))
+
+(define (access x y)
+  (vector-ref (vector-ref sv y) x))
+
+(define g (weighted-graph/directed null))
+(for* ([x (in-range h)] [y (in-range v)])
+  (let ([p (cons x y)])
+    (when (< x (sub1 h))
+      (add-directed-edge! g p (cons (add1 x) y) (access (add1 x) y)))
+    (when (< y (sub1 v))
+      (add-directed-edge! g p (cons x (add1 y)) (access x (add1 y))))))
+(let-values ([(vs ed) (dijkstra g (cons 0 0))])
+  (hash-ref vs (cons (sub1 h) (sub1 v))))

2021/day15/p2.rkt

@@ -0,0 +1,57 @@
+#lang racket/base
+(require racket/match)
+(require graph)
+
+(define (char->number c)
+  (string->number (string c)))
+
+(define (make-line t)
+  (list->vector (map char->number (string->list t))))
+
+(define sv (for/vector ([t (in-lines)]) (make-line t)))
+
+(define v (vector-length sv))
+(define h (vector-length (vector-ref sv 0)))
+; part 1: extra=1
+; part 2: extra=5
+(define extra 5)
+
+(define (access x y)
+  (vector-ref (vector-ref sv y) x))
+
+(define (new-pos x y ex ey)
+  (cons (+ x (* h ex)) (+ y (* v ey))))
+
+(define (fix-value x y)
+  (let*-values ([(ex x) (quotient/remainder x h)] [(ey y) (quotient/remainder y v)] [(val) (+ (access x y) ex ey)])
+    (if (> val 9)
+        (remainder val 9)
+        val)))
+
+(define g (weighted-graph/directed null))
+(match-let ([(cons h v) (new-pos h v (sub1 extra) (sub1 extra))])
+  (for* ([x (in-range h)] [y (in-range v)])
+    (let ([p (cons x y)])
+      (when (> x 0)
+        (add-directed-edge! g p (cons (sub1 x) y) (fix-value (sub1 x) y)))
+      (when (> y 0)
+        (add-directed-edge! g p (cons x (sub1 y)) (fix-value x (sub1 y))))
+      (when (< x (sub1 h))
+        (add-directed-edge! g p (cons (add1 x) y) (fix-value (add1 x) y)))
+      (when (< y (sub1 v))
+        (add-directed-edge! g p (cons x (add1 y)) (fix-value x (add1 y))))))
+  (let-values ([(vs ed) (dijkstra g (cons 0 0))] [(pos) (cons (sub1 h) (sub1 v))])
+    (define (explore pos)
+      (display pos)
+      (display "\n")
+      (unless (equal? pos (cons 0 0)) (explore (hash-ref ed pos))))
+    ;(explore pos)
+    (hash-ref vs pos)))
+
+; print expanded grid
+(when #f
+(match-let ([(cons h v) (new-pos h v (sub1 extra) (sub1 extra))])
+  (for* ([y (in-range v)] [x (in-range h)])
+    (when (= x 0)
+      (display "\n"))
+    (display (fix-value x y)))))

2021/day15/test1.txt

@@ -0,0 +1,10 @@
+1163751742
+1381373672
+2136511328
+3694931569
+7463417111
+1319128137
+1359912421
+3125421639
+1293138521
+2311944581

2021/day15/test2.txt

@@ -0,0 +1,100 @@
+9211721995398984823216199411311153152823357222811429112119221712176869272771135219495921176931988996
+6632171351773132146884416975191918371137224144193771793912898863217419114196131892432139894169918218
+9479521581911111241635179421411251317118763198279239927245149311971162612514425931183828668218451615
+2799883538791161712421321215469831181832839573641299118119399389191992134461723567119512463934372862
+7282911193661181886222521419365211346192563458259817925831313772244927912198535916963121911143145294
+7614421564771345699136125411336941242471217736129198182121166939992929134242129115972131543886852442
+5941872221148212759291291116631761153795991497256619169111283211161754939313151921885442411736928569
+9123357419994724953111348498171371612472182316614117126994541982319998172331519248231238156111672964
+1793111433116111717139179889917339411911111781137459123542929732221323213243778444994114521418912211
+9599488259943918112119511324131313758145149481139556171281917832677986918336221981132216419838826923
+2956771922813182998122434294185999481631267125112943151717238532359271953669798373246231149549677717
+1412599822261914692793521648113911618413619921546893663539972268573129829791355399119114442113137199
+8578722132131828966612211194992693171143881911161114661199811619919233226399886114799711223242215442
+5165649652429116569861462312372874823923822319291648113938659182588595925492121359142594262829395934
+9541911493899653531495338864629491794698697898463521358598137418158192457261911822927812111471292349
+7429364138518115763191312177152451298513693393118832839735519284624151128122957386811151669127948794
+8615934214181734643172613319995512889281941991712169211863647721437113142128248586189624229381111374
+2918418921229288328473992115143932731885921143239762144164311299189511181119111816152915855462568719
+9119293772519511337882218617499212262121549564512722927988491234712227611914618111722981319829398499
+4523541192833191177596112643924111598741511593332131543471973928281591121833919113121113198575625411
+2998335296491912914371431631267299259415579179432348119789614296272999149411624311372549422611551899
+9781146981221224189368891714257919186915814674711926718622116212431743929137867427861146671217961671
+4124157586349536791324361421921314652151419819192366661388828719114692811895131921247315241211165111
+8312487711455414177171141322364274232517711292241491412117382831949485128118146253221922376492141411
+5541292237521217379624533691549722937891724771281199981763812212729941439637585818256199172782121118
+5892271515541571911791711285991668421294361671614413691194611219391547761238621922221611286751295712
+7382862881885721433838891311918128792952948179179822729213156879721543855226626428885917574219561272
+9839266152518315917619293212421333429254911438632476892451116219228214741161295361918211692241811482
+2915171145993822142447377583731791967444691921247791113138538692255243121982881219311719149747627679
+1116281733911412767756115128135192564845238215387575193132878198132325415992918423124212142512193195
+4814779112928892321922261812164451519357735431712369239545111184425323125233741153613799832939226339
+1117597897548248261215551422339772941193111312335591735412544412683393937219156322242649743814239512
+1294311137922178121411292381743429423451324655517338821297957266781164724369143122232318226348238118
+9211262511644444692263486213297465387978199213375652933173212711251264471911947442665428571922117196
+8154419379395691912143138575212134632218165647199439491999193762894616911141948429362112433442818849
+2693981111123246187211284584528492482381731919914642689987915119272994213579734791474599111668193727
+8159681921121984956281438821919281979115987197988136918256661949612119943185322419132233852118921283
+9728195912573151196721531117911992937943931292171313112411934614211189951712582391212157812794143114
+7378834631134314416159385516195582151652733965543193162113919839984599175821851542141863572211111273
+3151252721819924983938992611192712434847937474196654719921249841113214115925481558819918212361213672
+2197231399528959498167971798141171427942329522292962597897439719799147494139685511272852288391619111
+9239667496116398826282351159399496182684931155125231298461513623824278571715145996988766119111234592
+8166169286339958612835714698635367616115726469152242374393117832112521117398977979611156158781211694
+3277615115712627939151384361339466619681719141299119191262117381511591442175835999293318191354112855
+1319383697112152117312211393165991922319793917392922519263185117332282587449137112171146379115823211
+3224192125166826331311792711698225545724988966166298862931412221853197226178112799923155261414446462
+9936716682982571861999825941741584429199369512534569689213213149153189195142772456239622191671912867
+3153336496418879367193131154761212141283694427935991849778818281811722967199499172941221818111193611
+1196468712323116135516296192189314642529119318142152521384124849688249812115184672951228312711221761
+4925614148261211315916119899961216123721113991498437411349225811983592125346193217948711492474311911
+9546593259361575284647351161813916122957412819937128343983211334341715474979629251311891811372281521
+8712315781148329488379124111171869293612911668114216128122891432633667852327324137844197192111581737
+2791296111783727899149416171612591431717951469517191622511943612233411185685854161415627528999621398
+5592192631435182821111896841831991117451211597129221184472911984798115698822717683497316525145738648
+1589332661372311511822246978921271411428674275516193113211829934295111231218559721211191142145244114
+8678433291412349113791319411172216793485999141149413241612189114126529295726861669246641531222663392
+9131881713726999839182449211771899568199152869311929135892545734183183733466371291419225151256232892
+1417993118992128127151821611691327642589411512825913769229369496299491711613185333679683281838832118
+1799111753291769233338642727891568212541892824711241151961311652161421175396935991411171933334217441
+6113151991918271919273998811187396531375776181552289275813223372249117378431112429593632321853919411
+8183276792153288631275188332915889418667212384194265918162325219229515375941394222512149148924613296
+1416118913612978261561481631519185368359811592342789978956488163931243582535932496126511518184513511
+1142897483426589738325146644691151577211287851444741442829261239154228233254339757462151935175431165
+7671239318932121152252923935948533915134624338621119225913629391449531196712211881582629414969261199
+2767953181951127327217681258592284293483391141118859279287791545924711322997681997143397121111482951
+7121539121913947129691178729388513517893262952213199268231113828321266333238819115216162971219168818
+8291923195939181843196238173691311211297177786591891164198218238296232464272431339297236811338113218
+7149925296699481183346264814126163921317597184167216935912325139284193791194311496229182334581647511
+1463121249711691914518682732461711316522678991282959595519524411629196171169217916517774284581961826
+1912981254399292912114814228236312932141917815313812342661811819494533372112232181896643773835197251
+2821196211341211176641216813891699772713812119918364838911391156469125511653148712626438931882423395
+1133287984916171253816577183143349322793831996344418415232531945812829841487911417163237188711272537
+7182492671863824212961115819127964197836819231178517872121831117991753344798926814137455714618229318
+1311278161515249225291813119973962368169152197141156188615617338132177254373476795516816511118491642
+1123193391558563483912311144713996192161482179923628873142817365231579492341196319155111156168193841
+1411557115971111732257814212895353833613322537241328128171642119157925321161931117193135847535135597
+7673549322277127386191411329155691119966925819881985154131998963918291711941825522349492791571286232
+5191217791229527141374656855569411475547219947649119711229374137995414187829119359338917351211111391
+4971631622187692488669761366711739321571717213122391951494694114111549812595111269215634117216712914
+1311927358495122389571311912223238178181111688122629142846181374224667157199191137922411127243335952
+3912591252312323974688146894541186511814832111935171228312991951161296436797111729722469146166144916
+4163211151732959355115825912591228141213188722626981511412891119588297199473617415632819941651313832
+2154117611375111597994783729212581114383729819171173455183344169513649171262112811817211144861213814
+9915439694676431596885727544191155621598225166241725118552371413974734757639112995141917119141211711
+3711453282797862299328182251929728336131381289267666123219858997317675991639421358364851863911454293
+6614991938832137119182917221419119746181149219823693688941311344216335114145119199586533322874129522
+3532112184179229497816318987467147511242172444389195861228313161741232149119964299131161236286933729
+8765996448871489229112222919155591895145293543119522149917711313197239146198271266196947716712221617
+4196622453197923474135732511346986817911188941119364282922941391338441291532786526299255451956951383
+4623151772181827336112418794171595518137211529999296841259255111914817641418371335929675961457596912
+3538242183751962911117966962315961446223121321368184734136224485119661738352274469281315256211175191
+6639257518919164884271788811918189113368317882126621444656192186653625742218863881289611599985712871
+2635156288199864445822545919165222128111493192326149782751738697642117516713351357132199118674292239
+1646911331119821598241623452291251954723411141691328852829612997978613518131989239672231311226174731
+1633111149692637121852427281623518481796158919325138939764915131718134261629971227883951556717531827
+3922823175378757992171657356259729139333211179596169224374212246865456139147114722129842381149641211
+6414123578648949375269599975911354889411927442231426151121151494531512239927351649956896214388958251
+9627871171972922874152123416193689719289946935988174889999521225157114783814418341136678516112142142
+1341114328117517394181175811132754116211655987121153834243689118151649774381424693462372627451331821
+1632919311883994217232352862953438319333462223123468212213816241414949812219219618811481527563624821

2021/day15/test3.txt

@@ -0,0 +1,50 @@
+11637517422274862853338597396444961841755517295286
+13813736722492484783351359589446246169155735727126
+21365113283247622439435873354154698446526571955763
+36949315694715142671582625378269373648937148475914
+74634171118574528222968563933317967414442817852555
+13191281372421239248353234135946434524615754563572
+13599124212461123532357223464346833457545794456865
+31254216394236532741534764385264587549637569865174
+12931385212314249632342535174345364628545647573965
+23119445813422155692453326671356443778246755488935
+22748628533385973964449618417555172952866628316397
+24924847833513595894462461691557357271266846838237
+32476224394358733541546984465265719557637682166874
+47151426715826253782693736489371484759148259586125
+85745282229685639333179674144428178525553928963666
+24212392483532341359464345246157545635726865674683
+24611235323572234643468334575457944568656815567976
+42365327415347643852645875496375698651748671976285
+23142496323425351743453646285456475739656758684176
+34221556924533266713564437782467554889357866599146
+33859739644496184175551729528666283163977739427418
+35135958944624616915573572712668468382377957949348
+43587335415469844652657195576376821668748793277985
+58262537826937364893714847591482595861259361697236
+96856393331796741444281785255539289636664139174777
+35323413594643452461575456357268656746837976785794
+35722346434683345754579445686568155679767926678187
+53476438526458754963756986517486719762859782187396
+34253517434536462854564757396567586841767869795287
+45332667135644377824675548893578665991468977611257
+44961841755517295286662831639777394274188841538529
+46246169155735727126684683823779579493488168151459
+54698446526571955763768216687487932779859814388196
+69373648937148475914825958612593616972361472718347
+17967414442817852555392896366641391747775241285888
+46434524615754563572686567468379767857948187896815
+46833457545794456865681556797679266781878137789298
+64587549637569865174867197628597821873961893298417
+45364628545647573965675868417678697952878971816398
+56443778246755488935786659914689776112579188722368
+55172952866628316397773942741888415385299952649631
+57357271266846838237795794934881681514599279262561
+65719557637682166874879327798598143881961925499217
+71484759148259586125936169723614727183472583829458
+28178525553928963666413917477752412858886352396999
+57545635726865674683797678579481878968159298917926
+57944568656815567976792667818781377892989248891319
+75698651748671976285978218739618932984172914319528
+56475739656758684176786979528789718163989182927419
+67554889357866599146897761125791887223681299833479

2021/day15/test4.txt

@@ -0,0 +1,500 @@
+92117219953989848232161994113111531528233572228114291121192217121768692727711352194959211769319889961322832116419195934327211522422264263934468333922531223221332823287971383882246321516132287142199117243394322752121614543832263353337537414557944413364233433244393439818249499335743262724339825321122835441543386323272565494337446444864852566815552447534454435541454192935151144685437383544193643223394655265449743438367651544855755597596367792666355864556554665256521314626225579654849465521475433441
+66321713517731321468844169751919183711372241441937717939128988632174191141961318924321398941699182187743282462884243257995527186212129482248335255214882814123919974328521225217242913543241915271129329885439357399535436811663829732323159335944636632599392523412118543963233632835312465435212638223143199654146841164654792277493184343426144615574774361141363452322965417434474394642357654632374933425421176525795227576581338851429545453725572668588547225247456343317652854558541575346876574348514453653
+94795215819111112416351794214112513171187631982792399272451493119711626125144259311838286682184516151581632692122222352746281532522362428229874219381341138356251422182273723625536142294939779329562726269274371323333346385739264363347353933198532149245224946736253329338483473664725331514188143167383737138548243444445749684137547445846414421964325135633515784736443144959458477583644262529925427849484824965935455555685179524865855695752553217543624674462689584755425516156958869475537363113653895159
+27998835387911617124213212154698311818328395736412991181193993891919921344617235671195124639343728623811994649812272823532432326571942292943941684752311229221411491212113245572834678221623574145483973492211575192338393464354343768215331315415279586342233133252251232322435668394578933273468525659418451332268621344941457546545487932644242652638169745334424436336234343354677941568914438457963676152956244337973245515256865765659814375535376374927185644553554744734545446578815267912554956817478726316
+72829111936611818862225214193652113461925634582598179258313137722449279121985359169631219111431452948393122214772292997333632521476322457213674569361928136942424883355138123219646127174232122254256315941423332588331311844474363258743356832478567147213924715353599446624923432175723828534323336536742615253444369944242295558547436985446794358967825832413582646461155773513454328683493964543444764785372636455547115535331666965854719655781546917893694352469375757226688462456543979451417565455587589648
+76144215647713456991361254113369412424712177361291981821211669399929291342421291159721315438868524428725532675882456711247236522447152353582328847231219293232277141113131245353231226183242654997963553983664378699356782235834763355826346469343995834232131434338825222424235646434233729435376511817466419477548971146789334694587446693745757145411694534324254544993633353534675754534483154648762292857752158865918225789144571569855771485686825652271564543536565511474446464578686564559426575987331396886
+59418722211482127592912911166317611537959914972566191691112832111617549393131519218854424117369285696152983332259323861312312227742872264816112518367721271222394322272865141424262132996553522847139671726319444336143497242342333885398337592722362947883238233341543338397625253537324311766463395824178283742155544725451835345344499641944861383347315899434934445265444941873636464843542287757441693528939485326665583656294645645551175215597249445842691154514555637655515298474757595465339886855271463914
+91233574199947249531113484981713716124721823166141171269945419823199981723315192482312381561116729641234468521115835164222459519282482723583293427725228237115652193421119283442621359342349267222783175234557963222694627533356162139359383469431453883633934822676321453222139455373246145345137833389428634566817433371573864446727324146149457154256499474414593378743256433324156648435725645624894449153974567792854448268497555783843525725156826536751158552561448985436754443526775954683675673591555126418
+17931114331161117171391798899173394119111117811374591235429297322213232132437784449941145214189122112814222544227222828241281991128441522122222892248561234653131843332434324354889555115225632529123322392533365533833393935239211223955263323333391335967234576424295444354543546599166622633674363123443341364447664494441414634132233416637443444441244617834568753531655546565465761127773374478547423455445247555877551555252574524334452774855455555235572894567986464276665767657687223888448558965853456655
+95994882599439181121195113241313137581451494811395561712819178326779869183362219811322164198388269231611599361154129223221622435242424869256251592241667282392128943788197129447332192243327521949937134272261147226523133433273354635353597136736261335277839341323915489921823155844321335443863215114824538337225833763424454438446574646461824784737244638894145243412659113293426695543244655497432622593564944833694487453556554955768575757293589584835574991525635452376122431453771665435576651854373361467
+29567719228131829981224342941859994816312671251129431517172385323592719536697983732462311495496777173167882133924293119233545315296111592742378236223154262828349643461382164771819484357342251651788828427899324413531422134465642631722261385348934733426537393945175457249327588292159546845336276289993953891143552464253324557675374283337249645914584453764841415628656835143869931326165795644738739111416491225466357536443566878648539444835175612569556487595252673976794625497114243727681675584984122252
+14125998222619146927935216481139116184136199215468936635399722685731298297913553991191144421131371992523611933372125713814632759224122729524721132657914774641183379684231931812466411221225553224248211363472214448323682492574386133523383163583224376812588575229448179534214292357752233233666433535932247458332555943479351368549724463449427469433548792369968633155928164532531346886334434477754464614335856944366615458146247965183557455153857154465981347117974426613927564364245799744554558886557572544
+85787221321318289666122111949926931711438819111611146611998116199192332263998861147997112232422154429689833243242939177723322215113714282254992122272225772211922721121344337411997225811822334353326553179194435435314128883443332622482539336511323338333688332213383223245544852211833692293344546443766428121554654642523999455444373359364144762243444944479944332449433435665596332294471331445565755487753923266576575363411156655548446147525587335455515558115544355154454677661744331558244255667686659886
+51656496524291165698614623123728748239238223192916481139386591825885959254921213591425942628293959346276751763531227671972573423483985934134933421312759224149761293699616136513232461253615373931416145738786287464233878218368453459419614524514453242386133525187231471172724762434357236472648414252725684989739857534498932947956456152172563562556435349724463629834258228383587354546834758375952536383679519184196864551914315816756726328367467366754645183557473194536933949469846565794586948616364749478
+95419114938996535314953388646294917946986978984635213585981374181581924572619118229278121114712923491652122514911764642516449975731512815719718919574632469619248529269213568372122933138923222582313451276323362512287575362755118684262392682182912168574357172135963137132467948323314424913433369342456238743447362339868647386622979537341379329312327968546828324617424824357815943442553512454447145356734985455847344197975849773318164845248143142343817965793943572853593546892615455366462356555825646784
+74293641385181157631913121771524512985136933931188328397355192846241511281229573868111516691279487948531475249629226874212423288263562319624714414229943941846621395735262239233168497922262771238159815964258635173133798532353439937467342173582552533115415295773241684637334134427951813337388234926192617536974628424481964346454114857845328469366364422652631688435279574844524553816292444849934513721372864718573953559217545756522596895643957147747553376374279954638168595563566492731355595114562483248
+86159342141817346431726133199955128892819419917121692118636477214371131421282485861896242293811113749726145325292845754283724421116623991392152112823271322974758832548224253239359697291735331492222485183725643631395686539483553222773411241326322393438243318586994365933536434146171831284644251333359629483675474241679764159466433388452235243743341454935442969711547614464754525728294239575536244446173159478658535278187526157754449956334635485445256514655317182265872557586563683931534168664735555728
+29184189212292883284739921151439327318859211432397621441643112991895111811191118161529158554625687193129529132331399439584113226254143842996132254341873255275422311291622292221222927263126966573679821423163124344241154169522433736525495311724336545298436638653342231273331333233313837423717768478193253427423545535226527163354484763651642283544765631954774976445334238444244434442494853482887958921436453853465664633763827446559587476275339465587674216588518755644534955535554555351596459399816913254
+91192937725195113378822186174992122621215495645127229279884912347122276119146181117229813198293984991221314883621622448993329728511323373232651675623833138199512345823338722125729222833192421931419511233242599473273355911443183962243448434376278673494424921162345693444983323683133394421353214252162234435361158438446612255429417335455954548738978451553513227345671455519443479424441553246432536327334554647226954955772336653152844656616565984918956266462433845678256662155458153555266435754364743844
+45235411928331911775961126439241115987415115933321315434719739282815911218339191131211131985756254115634652213944212288617223754135222619852622614443242654582184139392612232944121224232224219686736522674576332415532339972833486524633372196373372555435376569329524141372334315523233534333532179784763378568744352664344118394459763574448321748448366654648767143163525248344542663434464544464328189587448967985546377545522941556187468555943285955947776575987825427463635945565377454557565557543929169855
+29983352964919129143714316312672992594155791794323481197896142962729991494116243113725494226115518993119446317512123125482542742378311361526681281543459221891725317383111251522735422483651533722662911422155742862323423659365385348942247263779239265456133291283642849422236263384653359476264483377312253326685397343453476147649645915335837488134137656724431239475395153334737449576446158737559448842336443779641845456458725875175612644694859924524876783554234158641626444584855168755726984866155995344
+97811469812212241893688917142579191869158146747119267186221162124317439291378674278611466712179616711892257192332335291479912825368121297126925785822137829733227323542854131248978538972257782328172782291336821344344631258112393647923231823713689693324893184433843465396524235918964918336889343928389331244793245545574236922341475813434293482479171443591429554495457641763534612917512944799145413949144235581435665668534713345258692454531459358128255461253166551656875287464572312862315581125652415125
+41241575863495367913243614219213146521514198191923666613888287191146928118951319212473152412111651115235268697451647812435472532132425763262521921213477772499939821225713922916242132358426352322276222634637971856275892354658364324353687437363213232458888351114193233682413312735324346953746343338733374574818296738691346576947543546479854847432434356999946222521434479352442384643545716485745444984448568592931784971245768715865465758196595854354546711115733363254558146355349575465682759685655519555
+83124877114554141771711413223642742325177112922414914121173828319494851281181462532219223764921414119423598822566525288282252433475385343628822313352512523228493942151596239229257364332133487513252522153461993367763639939336354458649645473993342446362363433951415326261734133136847544324459862436363326457211447887474114144746556975175658411445355747347454416252643737284524424795865543556197354747443756832255899858522525585766718628676952255646685845856552736375484839563553581697665466721846585855
+55412922375212173796245336915497229378917247712811999817638122127299414396375858182561991727821211186652313348632328481735644712651833148912835882392211192874923323831152541748696929367211283893232229776342445974343959284675582376294425912394699341332221398513443494226365285971713147832239491434333188745355618545416139578669348731553612341571145244333241962455451533747639618282425894334151254544429985646672965652724168977145984266472345268225635544435217356656264485874172939353691544526236565553
+58922715155415719117917112859916684212943616716144136911946112193915477612386219222216112867512957126913382626652682122812822396112779532315472782725524712215722321412658872349732133332722397862316823712449373776379323392393341722388164342658389383663582332683343252376998345184324444383341897342793482355148488748143441341445283349927545376949149477469344379445436348711945629543555549445291845381459346625959985925455245255639445113865648715125158857145548155654745982215673165466665155631295649256
+73828628818857214338388913119181287929529481791798227292131568797215438552266264288859175742195612728493973992996832544949912422129239813163159281281933831324267981832654966337737539996128685321672383951418411311794365515112353323134192427426139239214494243537819294376517744884864111723979643278349416252952242281547662622346443424521353853724134132551535464892131548762885599597522283418175438945152736316335339265877373345755453563246496483524524366264657591324265987399661161863339452928654915626
+98392661525183159176192932124213334292549114386324768924511162192282147411612953619182116922418114821941377263629426128721314323532444531365122549743587913562227321339325852272316472129322713352922593215248837473153723983242543464355564247623365185469812467333843244143696338342758323143382446313361432635994858426483419435365457546667535873447629657192357844495435525471744945386943425449355742447254374611596953759452154647656865777864698455873176821346895551654663658285515649715453655146685355836
+29151711459938221424473775837317919674446919212477911131385386922552431219828812193117191497476276793126282256114933253558488694842812178555712132358812224249649713366354232193992321422821251858738781423739336722514436466959971595392328966682324346992333535175182447746534321411343253393236296984989253484144783362554757716118261641343917779343545711344464628629355885764543252245436441434731719519136459525589447366586882722937275245412888145465682245557573973146699687565436335654755254584282162124
+11162817339114127677561151281351925648452382153875751931328781981323254159929184231242121425121931952227392844122523878867226239246213675956349326498686214243989219243436526113129534235323253623214216333841395523363498997833734135732478616745143751979732535419132135454763722423164534643436473432532744495241663447451911894484524684358972785625486218184364652124324656587483353427564575454758454364385551635277455856212291559563579546918389673659732929547576323543576769859446453867568656586956547549
+48147791129288923219222618121644515193577354317123692395451111844253231252337411536137998329392263395925881223139913432133372923275562621468846542823471341656222295536434236344852264724811943141337441613699233424112454324448313438667373257995765393458245276733331664754534745596337583592215425244855272471134453522356543555942454977848436811687641456935638784444277586564585661744869461332653635596638358224556463346765466615356518895954792279875256714674989555538869767569677285597157244376474661774
+11175978975482482612155514223397729411931113123355917354125444126833939372191563222426497438142395122228618918659359372326662533441883152214222423446612846523655523794414148321267433353751854925341623333972912976146148343777364455299426332533353455772395763476663481552525943237854446486296513645273444418312318725725945488847556631153744364446456688341687458777459266363615434896555759731762475638455552942342983683615659995866774226485547555756779945279856988856137747472654591766686184287358674956
+12943111379221781214112923817434294234513246555173388212979572667811647243691431222323182263482381182315422248133289232522313492854531534562435766628449932318168377892275835471254233343429337459349229342653335924439134363342451396564264567354687773955114342927948891338694658236534445453144856145133145376444613554124547445356241767537567846579888416622545313815991244971576934764555656425596725624425648755572466523565855646735287864867895768199952773365642492611235518268714587566676753661783673553
+92112625116444446922634862132974653879781992133756529331732127112512644719119474426654285719221171961322373622755555713374597324318576498189211324486763144284323822362375582122158553776539682133228217243348473386666682448561843542968751929132243559787425539543493347348669323326966488764179324433932835445958449777779355967295465317986213124335466189853664165451445845977143443717759987528143554414394655616955188888146617831657642819732423544657729196477527656255695618825455482886119863925466552541
+81544193793956919121431385752121346322181656471994394919991937628946169111419484293621124334428188499265521481416712123254249686323245743329276758211541512111214873915727122252159531473223544553929951137663259252782323436535179743435685443138786932265262322232598412683823336326164258433465566413116224877436136389343454764628185454679655424989714337637343334361952379493444743727536954457667752422733598854724749145456587573929656578176653519182544874845444547216348151455585483864716556877886353384
+26939811111232461872112845845284924823817319199146426899879151192729942135797347914745991116681937273714192222234357298322395695639513593492842121125753791198126221383115324681845812585611222779214838482521333334546831943341671674162461451395323223686481221923733249422643579295692369672233388132594959363244444565794215445278278527357256241643433479759233213484435153375468131671347178334449924361516147435555567681532655638938963846836735275454458186134432459554626448657924278245828944555113547262
+81596819211219849562814388219192819791159871979881369182566619496121199431853224191322338521189212839261792132232195167392549932121392181226198218199247129367772151723221154296433521243344963229132394137281324334321627841365114323241329233721932921135823147888326283433226531754463235445517433124341524839243544543273895247622543435243134483214313224693425899943739454433764286557434655662854423545263594135465565438491635873365454635424559432542433571453691115484156554487539766854576677396553465637
+97281959125731511967215311179119929379439312921713131124119346142111899517125823912121578127941431141839216123684262217832642228122113148154142313282424223522145725322291162823693412323268923815254225294132723479537332894375333923322425926525342439353533463325683643331227393471452343437913492636533631524383458164844391548644413443353613763645354146464457443679475444233841458256345454812451374764474263549456927595541265975552455446472487475646525757556855478158655534495256936745656592356248587558
+73788346311343144161593855161955821516527339655431931621139198399845991758218515421418635722111112738489945742245425527261496627216693262763844176654214273224121941195611286932962653252974683322222384959115685335653663837251773832771437387495528776532538433523215221672239714317376436318579443333349516122679644676477494836288494388254849851663988764364954463432633278334182542848754742968155444445162723378175578758851594739951549936595196277419987547516557454374438944529365395986585317926655555627
+31512527218199249839389926111927124348479374741966547199212498411132141159254815588199182123612136724262363832921135194149113722213823545958148585217765821132351952224325226136592669921129323472324783537347494313224621525122483332493465616925969632887693224346216333543633724761377113223143458343589464845851542433573263623359444351457672713617174399871433545732744465474483587248822433425456945469157595696265354468437473446155546256878382472828541198254465684385557658559469835993354453656715657126
+21972313995289594981679717981411714279423295222929625978974397197991474941396855112728522883916191113218342411639161519278182819252282538153431633313173618918541821811258515241796622383963399412721222432945352274127262138929392136339364926454274442428472912965293292236962635281773349417441152383233354315646338523837324913141324744147513756538555353958312317631431334717374639288445152855226349434446542675744963494843512425243585525862486764966646416942342874254244582848574139955626396633745154555
+92396674961163988262823511593994961826849311551252312984615136238242785717151459969887661191112345921341778517227419937393462261411517293795142266236342319572624734935389682826256117199877221222345613245288962833852114841457337252262831481625337734745342168373584514649179393736722821198833233345672435639917394496322595256844836337394259273644884585645327948469562575128141484783393221994434445678354674112841551743361636795594744841536138475599569675643815957167368623925259589441433211554555678946
+81661692863399586128357146986353676161157264691522423743931178321125211173989779796111561587812116949277271397441169723946825719746478727226837571263353485414228943223632228419188181722267269892322715138838241855227183415793682185758983833794868237446459652533915433474333952129929283337837191343382624994935296633829452681479329686919494481597934855756176364412654458544416323113139444894821245449373511514631774493156379258143179712151559261814596686728747552376556965552743422424155591593235655148
+32776151157126279391513843613394666196817191412991191912621173815115914421758359992933181913541128554388726226823738141262495472441577721792821252311221212373228492622612553286946111314429212465223966549983733793484925237351658355268883281393236342233232348433951373372366439715722242553132357633417765119484481459513634846276946637999439241434745334434345954416248448347754182683335366424346874452887622159559256162474595738715774811154135254585644554545616552735955945886529379444647753545798556399
+13193836971121521173122113931659919223197939173929225192631851173322825874491371121711463791158232112421494718223263228423322414276112133421814128413133621374296228443393698551248223282257481226934322353251582933437433953443352538722324453292523952424473248531733955441471966235933439336859233714543346436269314454854416455446364983343556431363416353558435964284416655258217734614454144796134482565445754737142556596552756655747519445466754247452746466954617539552776636932884572556525581724559367655
+32241921251668263313117927116982255457249889661662988629314122218531972261781127999231552614144464624335213236277937442422813822719336656835199177277319973142523332964218337289223811134266372525557573544632434738814855353392493382144776794621128838842118425363444317532944839133492224537748363666868465574354584992596646441351449325588781573223994995322953647455542864315594124451333564885947477797957668546569511361775755246255143669989268433411511643316475856665397542661523556244467599615858881816
+99367166829825718619998259417415844291993695125345696892132131491531891951427724562396221916719128671147827793193682972111936152852695531211471623645671791324324251264291216253883567341733212782123978225893881421479318322214726396371664232258273475678281243543536237531232736499467845284432389323418933691499253258142943332583741748277534336938458678939235465464734864234384751157895639554349143452914471251136436925315444369485285938864544714956978914134657657584597534549586226891674166545125456312
+31533364964188793671931311547612121412836944279359918497788182818117229671994991729412218181111936114264447517529981478214242265872323252394715538146112951889929392922833178211511283152332929222214722537555862863119258932535337698343436341582664925722316299113141313394428932262239426344313133332583364866697397422136914364644871945454745269377513683342731122425242441553914337334153745542424444369447597771841853324712547575598215656585637148862479445384223353635355266412544844526485665353555547155
+11964687123231161355162961921893146425291193181421525213841248496882498121151846729512283127112217612217579823434227246627317213291425753631221429253263632495235951799351923226295783162339423822332872332868193454533835773842832431253686474233253136437474351634616281146213433731689427344153493344398344397921456564494688495394354236479758534436424754858546274572739225732454484279153845526451445541945541813256767551579951641546534758186964554753586596965738568384133684356559538126495663756255665215
+49256141482612113159161198999612161237211139914984374113492258119835921253461932179487114924743119115136725259372322426127221911172327234832224112519548522451336922194613236457214328159822513585422122624783636148343353723833212228343834594333522362165963356244713321572434756832543926193362469653323373589474725945446483494432333945494561544463347327617446735582443268354586794365413721447357176443448469158583615655759451554344415651567265557445843872855784669355437946569781547652483255846828755455
+95465932593615752846473511618139161229574128199371283439832113343417154749796292513118918113722815211657614361472686395758462272924127233168523921148239454194322445452826585181731362422912922483392632276872547258379741686957338313523834427963413225934156521543355656393769629284247353312313359441374338798365836948185279716844942463494553817452433614526763265446676741487173139535846442342446155248544981947694715929638182795515357451566492856354472563787437655778785259828424164695755345355726635965
+87123157811483294883791241111718692936129116681142161281228914326336678523273241378441971921115817379823426892259431599481235222282971314723122779225327239233912543744778963438435248955218213222692848193453791336154261159234633339318242583423388133643834134412365485588917454954635916632932433371395921456481244726537226134574444142935369453449924475494524552347659669912856516574612774314354448241613256759235583764833724568555525314647156455113558651563566345876177112396762768572388542546555935272
+27912961117837278991494161716125914317179514695171916225119436122334111856858541614156275289996213983812317222894838911251527282723612542828162571628212733622154723344522296796965272526738639111732419492342833391594912236263839383472365393927368273932384473326583445563331781717638363784974122284352151345394441261512334737494149458347641413847938414349558443769455667444289282874947489518523339546326245641555237262344584851525156945875252495814952545166955487156677855539139398515859162963444165743
+55921926314351828211118968418319911174512115971292211844729119847981156988227176834973165251457386486613213742546293932222917952942112228562322618231332295583122195819226719933828794518427636256849759772432485365731414333312816315322333967343372934244331669423321692133782114493981562953874736795186188354359647684252544442392742643344417845448314535544277153443271324489322551419267316498584781629729946546175879536365555341385375445552895655942564665538826455438243559143366252137842751969589273183
+15893326613723115118222469789212714114286742755161931132118299342951112312185597212111911421452441142691443772483422622933357189132382522539785386627214224322931145316222342329661832322212253256355225371255488359453373314446829124349363364189649773832533543314225642733345343177294343332336436746633648236659946156448442555793123545147447529175188494364465442533675384445645428831545444344754785774475934776115726755955366681423465625855863128629951547557655364478649555675653994265655545586589688558
+86784332914123491137913194111722167934859991411494132416121891141265292957268616692466415312226633929789544312523451224812421522283327814596111252251524352723291225237631316837972771357752642333774413189165542363456233592353263339443892561722236336263546383431233634874242794818388246886375344488552429127665347456734461346437444155491367283334744737465749454234474598535381592949935799748645559966353123877645856784557245754855526651247839444585584857685156534558561964649261315114681185975666117746
+91318817137269998391824492117718995681991528693119291358925457341831837334663712914192251512562328921242992824837111941293551322882911679211263971422131246913656845294294844577482312521336262367343913235311393594822215231466243399312278132237418253324235712476795631531595568859342363244737347845412434642241461593332634257735441142338924334852936443534682358781674264261667996145347435584845895652354575335257261444374536884655225344913544596314755464579346989278537537277811725645854669595691676346
+14179931189921281271518216116913276425894115128259137692293694962994917116131853336796832818388321182528114229113239238262932722712438753691522623936124871331471517311512822724296444781794392949943229363922533122434134937314383382354986471263373414723598244258262842262393383531755589281541315115433147413364423354524514842549449346519758237448452583461935536937395337341449464286669139265242622654425852447553446563562595365155145762186934855956369457214664714841644845255157539777124137635373376553
+17991117532917692333386427278915682125418928247112411519613116521614211753969359914111719333342174412811222864312871344449753838912679323652913935822352262172422763272532286417146112522282144445328552392233397542398245555186494912378143476312414693346337328353387438364339752825722363339325555643966341334441865341935666629751512348925458742352571445744843946449854947544186393683347444143666675417745244555297645214677773186262345913656985346368255685595415755196515865529741479445855525477778652885
+61131519919182719192739988111873965313757761815522892758132233722491173784311124295936323218539194117224262112129382121384119922298417642486887292663391386924334483351228489542223531614743432964121522833537322323149323249522113331952875359799831377441249713544559446233959165333464272585454317523263394464843343425143435163322444216398646181194248855235182465566155734416127644457538369656542863437441557595445453625454627443355532741975729221535996634629357667726684552723875556864947176765397454855
+81832767921532886312751883329158894186672123841942659181623252192295153759413942225121491489246132969294387813264399742386299443126991529778323495215376129273436321331626486152415333623251259135724317131549892437541185349731155423711263188943451632648723138454743244273759726352644473436236124683542824265191354865229645184226653482237429915456274375983424956585435538486183746375558454734723579465393537621246597633175629533776459334853112656738548619453516769654664959729485748666956584583468157641
+14161189136129782615614816315191853683598115923427899789564881639312435825359324961265115181845135112527229124723189372672592742621296479461922613453891189167599274142354693646143517237622629295624622363833123583429148378361385373231758157213372456491229127861138525346571475725462834873373131673573347494423469453125948947249648434286926832448356751233123897224963645768258683657394598448424278468445851553457156423615915835175954539713794355946786234423491833517475687936979476841561955953538957955
+11428974834265897383251466446911515772112878514447414428292612391542282332543397574621519351754311652253918594537691849436257755712262688322398962555852553931372341265339344365441868573262146286542276336412961564871295154736886682337379943341917366696366414248345237644145547655297968437325739765338744752317267598231626584799779344848115445212847771747752535945634875525665876631817954843684187644985586342837861934273769581188145595922655632395888285886364615674598663677698774292816595479529875519
+76712393189321211522529239359485339151346243386211192259136293914495311967122118815826294149692611998782341429143232263363134146159644126245735449732221336124731412551642217823322992693731525171372211989345253125434337447424525726175523735684655184333244723584252366275332893443311371484263628248332219145636423654544855853563683728663484679576629544435583469536347738644391455442248259537473935944332125674753476565596696467479483977459578168773165554669457164745884975541256655335936164858414615544
+27679531819511273272176812585922842934833911411188592792877915459247113229976819971433971211114829513878164292162238438328792369613395314594412252229961381398812656135822433118792118254418232222593162498927531327334954943981347172441642561552336333117249241992376724693354422981322936552934333361427351913864243844516515419245828355275367266344744422835135211348783571446553319243314766314544447253846212497535495562762652135693946638647837745585553394624632245989468255766442135442587742565555836495
+71215391219139471296911787293885135178932629522131992682311138283212663332388191152161629712191688188232641232124158231712289831499624628914373163324211379342224939432377444349921226327273182321279929934375234323526934282339194251173573912548427443532248145333514154348855545113233743838429343238113114548634543463714539344121536228468412365953855464335925644462526545996665622434485494953145434922422565974565457482564145523264733957952347616496657544613675557363765611777673354559651516425654513353
+82919231959391818431962381736913112112971777865918911641982182382962324642724313392972368113381132189312134216141292954217349284712422322318288897612912275219329349317343575383542441318347922449224329142324532725231316532845139582353343342939991872312338632143145142845468649465355242945813355133543125343564383634242764395624169346445445314111298342344974325425625395657975157646635315692446624465423645467549474535387541673527145755655642522231945345518543653673641676818626875774642671355773557653
+71499252966994811833462648141261639213175971841672169359123251392841937911943114962291823345816475118251136317711592294457375925237274132428618295278327146123436241395214812215422517331293445692758622936224742882261331556848613634838524353972931638943825723454735241632592332653362844231455671386973314733585399337244266795972474594963546418314274915493683456584635274361344376447395534256678249718442584469641144835537781618358561517465752942538512651479456769574638547245548755841664536778935182955
+14631212497116919145186827324617113165226789912829595955195244116291961711692179165177742845819618262574232351822712125629793843572822427633789112393161616621635522731217282271328127628885395692172937368534346293382323673181495468393353874489122341427272773274663384232839338243923873999641671328314847964545731449343478429251657941446498559123345253838388438577449534394144935413498411175278243942595817565684255145458953136276815255751966123445636494949954968855164541525514652451952228638935415361
+19129812543992929121148142282363129321419178153138123426618118194945333721122321818966437738351972512123192365411313123225925339347423143252128926424923453772922921515644483223343292917754884946218362323421347652242423433613644145853425436323913753513456488313313262675559433445431312886599515732947343453245876335353454472475525696453654743412486462456759942442437378666154455654242399761162684315845456435698744646456558358663671756476585452359757356786115355354848977726556676535341187227379542695
+28211962113412111766412168138916997727138121199183648389113911564691255116531487126264389318824233953932217322452322287752327924912711883824923221129475949122412267571236622764259823737549142993534416414332843356343339886343813512382299493513433223158615123352337868234773387536193484865125311464552752544395446745444199745492462349331151462454433426972623446344897934588449864721459597623642257566386365541655785655521185651357345144226257356554453718373455745591814569955197583256161873475336867749
+11332879849161712538165771831433493227938319963444184152325319458128298414879114171632371887112725372244398195127282364927688294254451433814942117455529526343642156923931952598122528274348299822383648335541921623839347513879931536556254492515322856663163745475326713414216361923363938545931193349475944665213273494145862498114264766736551362643396777427485658643782452532747213447414965614221445158615577632438451525697351922537587784766247375441788853859676975489356364385832455852517672533255626972
+71824926718638242129611158191279641978368192311785178721218311179917533447989268141374557146182293188293513782974935323172226921238175218947921342289628983232942228112864455819137925248566825729331429931462489318514643428333713234928632915813245339173919434315333922397556692124813635967793683144253114257359142962575453944482434513974312692435644128412154542644413341866771323592474617881479425536422536846125317368656415559354562418542371354675523952326565375552445297788243461358572899258153664753
+13112781615152492252918131199739623681691521971411561886156173381321772543734767955168165111184916422422389272626351336312924221184173479271263218252267299726728449243288365484587816627927622229512753353349138373746244742313533229528458138237432936337831183783955135439947659569892773813873333162386446445124948485735585342464433163956924934854314744894229489416624654115876167191388492498444427349755755623515959684669645357554427416713514596542585591533159152773576522698727821249951351955553845186
+11231933915585634839123111447139961921614821799236288731428173652315794923411963191551111561681938412234214412669674594123422255824117213272593281134739984253928476342681513452217421266222267279214952334532552377178561523453336693522832438361439224584119536413958745379262456332853237733337838132516344564366348828967263456444771463394354947254133569522164752416985648137356744396434884444894924362745567547745993917837456755588257441546515836524467163327586352719675924846785541754599555591513547385
+14115571159711117322578142128953538336133225372413281281716421191579253211619311171931358475351355972522668226182222843368925323916464944724433648352439239282753221268136432272142228214246958646246618363377933729333395447913643412757515583554475946354134139386433237924754338325333932535716975735772947448814483144441655812475452386862669466558615746524524149754434813586544943644414364682718684688315855992559425555276692358656349797377157766972685763563525186554592469765515475552547579382979579942
+76735493222771273861914113291556911199669258198819851541319989639182917119418255223494927915712862328784651433388238497212522431266712221177136921992196265242119174129312822152936633451513812682397343989576254449934951832363354237782333228824713211321737635322128523142393326314774456262492379341845419168736555114516294347446534889344433993582432243284874643323963425341443742588556737351348145295652127984766622562731545855764599145554411469354335439598575443417453645255485369966784846245925631676
+51912177912295271413746568555694114755472199476491197112293741379954141878291193593389173512111113916212328812331638252485767966671522586658321158751221822331485248116525298931221461449128462322222412732343992344274936359687817778263369776943226986233293344259635922763631914233257255123957343333352384345411345538514746179892888937447188715433719734431445536174613387474212534436836623416845444446349545652245664962585728191399914855829982654482184554255664728572449858532364554794773452795655555745
+49716316221876924886697613667117393215717172131223919514946941141115498125951112692156341172167129145182742733298713599771872477822841432682828324233412162515715225222651923616222371326745228327823125629385384431982461188298358893395254379393943534452327362682633633376213472733348243785633943893423673149649554219357229931946991441636548141415464556343847379374474448732458384445935489674415491453478425175166532146833114215711255274765925252657566745495848148558555984356949555614659178552651256458
+13119273584951223895713119122232381781811116881226291428461813742246671571991911379224111272433359522422138469516233491682422123334349289292222799233731253957292485335778268211212248133522238354446163353324957162734451279353323444545139131333381134484236416831359644688937932232335924463334946555727446443516827384556238146443455565624124244449224559534752794246175579914814334344613557444515766683855755462793849566734925755456667673523535555133566164586381535728668112592544545572466855562687779496
+39125912523123239746881468945411865118148321119351712283129919511612964367971117297224691461661449164123612363423434185799257915652297622925943222146282339423112162272317547818222831833571257277255127523472347453454529681136812676331873313615433325739344153422327338342865892933394294468236838836623863458345856456563179224792378744298442472654443684145526453343844945397691314441531557934794994773497456945696756767428133581348985531955358376555479525663756445495515641871242555264266814581511588451
+41632111517329593551158259125912281412131887226269815114128911195882971994736174156328199416513138325274322262843161466226936123612339252324299833737192622523912221699318211584728526743921152762424943638543337395427257733714723472344136343531194484821373363412333271142932269583963785413226387353515474965444841653836884482583458345524745464221559593248447452344438225314337169417489652433749846462658517655595276494799559369456945663585657533266161435955856345554933642544827152859176354485195757376
+21541176113751115979947837292125811143837298191711734551833441695136491712621128118172111448612138143265228722486222618115894831323692225494831921282284566294455271624751282373223922928322255972324925437633983359733372922691594243471333651594213239339567731556638273586239348433413313943336618343513654874419446184448313371261535458244476261532434144167884266774938469734145954452442415444772945462476598552155729555942448237264656935558737264354525527899537788514957184525616556355352655588315657358
+99154396946764315968857275441911556215982251662417251185523714139747347576391129951419171191412117111126541715787542617996838655212266732619336277352836229663482524185845868741223116252128221252322822223765282689865372811794976632337784372144738846394733177459363529695697985233422736323933236343393333487639379197648392281518774344889548325584995741584428856147463171671819634453384743414434745441444459874148121875941339262988545599165943669511685269553996725857428278292174556449585452554585655255
+37114532827978622993281822519297283361313812892676661232198589973176759916394213583648518639114542934822564393818973311439293362131839447242492391378777234321969118428786112741532469475962974122565314593367541492918442254131447324294155835351341248988834543217122953989722385264357158617318523367642561447865251312955336524255843531526694646245235919994565432823316419183349637546826972842963447875367255897636242316644763536695464263771575735634612111567654393442752129445174865793718395317455898647
+66149919388321371191829172214191197461811492198236936889413113442163351141451191995865333228741295227725112149943248221293128332521221857292251321934714799152422455327446225256221211697644433985231633883622325115435933231423944363233296831336243214582581126353356643855733636733232271875554419634274499473343622654614434253415547434431794244735432569369223746446775496684474784434338298666552174538551158445473376572554536452665854554281535584654367147133485755788651779558589554544931977766328564966
+35321121841792294978163189874671475112421724443891958612283131617412321491199642991311612362869337294643223295281331518927429198578258622353283555491216972339424272852343251221175311242272347397144831575433431639244262913853121968936973346439466651232718344153538396345436233228642235338345841825594268654454274135537312496423217914718445754157776234382945526464941745654734433975334644945695293661537976556538524664842351753432812582955686526888734549315663757515285676584554418644575515671631477264
+87659964488714892291122229191555918951452935431195221499177113131972391461982712661969477167122216179876117559982591331223333121266612916256314654221633251128822424218341257219382377217158827823332728198722866119361244233444423237772312736742576533274436223993353532945236832149348832826993893444383921983397722147235534455553434888342384785368764438554733411446464315634794325145994393711491455549413219441883325834664556666454599945349589647987554966584452255757542674581543625611541482251256665152
+41966224531979234741357325113469868179111889411193642829229413913384412915327865262992554519569513835217733564218134585246843622457197928122299152221475393133152412449552312643897637311366562167162494632884467532924569635795473356821813923331126333258641424426352355166342375491874842247767327827351574399557864313567174681658446793292413444223744436975253553746346627745348651298595335887843893846268541166897542467828579276955781431352455533485554718636466485745773885645976231961644699895491495737
+46231517721818273361124187941715955181372115299992968412592551119148176414183713359296759614575969125734262883292938447223529815282616629248322631111317952361366222125928752529482446131786172568617123684537399431314955833463192639372773135943374222242816347247733323613986363159355724289728367972823479564841154242516694457421374148388424615448533335392745835884443472419747426146683539183947818393458167595226535362771556853248525949953572655964444641385694699555458352185853725779464129415892941456
+35382421837519629111179669623159614462231213213681847341362244851196617383522744692813152562111751914649353294862173122228177173426172557334232432479295845247335596221772849463385571392426367322286212575146431597328423333928828453728366844534354358131695635844661733288395157449668241353747843339732368625754261843953444413993956483947795564546546924271674695577284439941626855177935246485895444184347973686537295416455552411416759415881667565765713538278571668839554115273796628814635759691655529545
+66392575189191648842717888119181891133683178821266214446561921866536257422188638812896115999857128717741368629121275995382899922129291224479428993237732555767213297764736853329974992391722611196823982885247973123238611649391113323131233558153911434884366687832431887584796443118511341283372221793419399635818423434972275141222443424234466926412254599547779894354299869581755422962245239448333281452141174692953454518338625233355453534557713752336561165888191546531197169286653317335634155944439256325
+26351562881998644458225459191652221281114931923261497827517386976421175167133513571321991186742922393746267399211975556933656121276333239222514213437251893862849718753228627824462468243211229785313341485737841132218666714476723238744434133362532454836291497395182986433973893557357935432233189642445259684895224332977782558783434985554524447364356594731251841629319754418491466846814654334429175355636179591633544318889366989454519666563555847546761584236295273142186552951257795792576544553128646674
+16469113311198215982416234522912519547234111416913288528296129979786135181319892396722313112261747312757122442221932619352734563312362165834522252712439963931723118189724629242191341783342422337285842386823355333214372146384567442347327694563336382354117414283422929183573135321245289445353344839695349793446644432548325749567855345843871567444749346522852539453313129468424643235639155646445594171645181455775554365943685167896645695498267855585145763396364156442423157953575434674126675755661528275
+16331111496926371218524272816235184817961589193251389397649151317181342616299712278839515567175318272744222251713748232963538392734629592817269121436249141875126242829245372731182338994162667828642938385533336282485934317464941384573161392837123254735125298623735393135648384229344911527377893975314949664444739359614542857515249568427241394823436584623631973484641424675949533145512263848891418642515177555584146172565396862635167953835241593454769573474218459575253578615164425662337495991252975362
+39228231753787579921716573562597291393332111795961692243742122468654561391471147221298423811496412114133934286489868113282768467361831241444322281617271335485323357976567241258225833231953492251752322524414539759197922439387957847294235255543339272838244659643446818767835236933694434216451336286343363552564186121813354149816895831534636665444138394935576175455792987894634714471554532756244739745447466367529723292446525192791694264574777655524941514668728656681319891574582558266564386735584185655
+64141235786489493752695999759113548894119274422314261511211514945315122399273516499568962143889582517525234689759151486371611186122465991522138553342537262232262515642623341138462751167917325499169362863634579186126259748272229723357611263324966445364837334337362675373445224957386227812843651127147397474568129723736185938333183446872237443517755647594844544847378648455633516849733892395476223825841858567923183484729614944429455798334855462886675861595565595848975956674462795184491341658733493695
+96278711719729228741521234161936897192899469359881748899995212251571147838144183411366785161121421421738982282183133985263234527214791821391157146199285991111632336268225894925529452247789627223253253284919339329424419637434563832581293241226825721139611222274344737933691513663156335889173833436436439512144143153552174854567494369231435233793683224172233338545584814471262477426744699128494454754754162325525426466328596567851547134254634481479433528334444965669592558237358853785571123951556586586
+13411143281175173941811758111327541162116559871211538342436891181516497743814246934623726274513318212452225439228628415292286922243865227322766198232264945354791229262751885492535714573483738562442932356333654133973952631339713335497633843387721934337515646581233137386299651364682568459484967355314346744476524418416374244182444651874495449883214544862675769234424849731176247579367956159517846642545785558763552952748535529355576298551655199432565597378687134553595184228735868147816726162895775365
+16329193118839942172323528629534383193334622231234682122138162414149498122192196188114815275636248212743121422994115328343463973164549421444573334234579323324927352525151923321321729922592638674735932385423253311522643945457418427565153255568444534568143443513846363626213443243283113361374978584614349653436442263375415656852953867626436667955564567925455462495747473732455435439422447248518969572545176454755337448652676796316497873754777816667567813656657351685858484356654654153355835962917168365
+13228321164191959343272115224222642639344683339225312232213328232879713838822463215161322871421991172433943227521216145438322633533375374145579444133642334332443934398182494993357432627243398253211228354415433863232725654943374464448648525668155524475344544355414541929351511446854373835441936432233946552654497434383676515448557555975963677926663558645565546652565213146262255796548494655214754334415766376551854549478762655966866618617478813777466975667665776367632425737336681765951576632586544552
+77432824628842432579955271862121294822483352552148828141239199743285212252172429135432419152711293298854393573995354368116638297323231593359446366325993925234121185439632336328353124654352126382231431996541468411646547922774931843434261446155747743611413634523229654174344743946423576546323749334254211765257952275765813388514295454537255726685885472252474563433176528545585415753468765743485144536532287636816338687692449962531656564836683779699658336358567454428763965669652686457987685459625564764
+15816326921222223527462815325223624282298742193813411383562514221822737236255361422949397793295627262692743713233333463857392643633473539331985321492452249467362533293384834736647253315141881431673837371385482434444457496841375474458464144219643251356335157847364431449594584775836442625299254278494848249659354555556851795248658556957525532175436246744626895847554255161569588694755373631136538951595935176146566666796281635976966716863664328654735785573791695866536627267169971586648474224764916261
+38119946498122728235324323265719422929439416847523112292214114912121132455728346782216235741454839734922115751923383934643543437682153313154152795863422331332522512323224356683945789332734685256594184513322686213449414575465454879326442426526381697453344244363362343433546779415689144384579636761529562443379732455152568657656598143755353763749271856445535547447345454465788152679125549568174787263167355448184356626367976876761925486646487485138296755664665855845656557689926378123665167928589837427
+83931222147722929973336325214763224572136745693619281369424248833551381232196461271742321222542563159414233325883313118444743632587433568324785671472139247153535994466249234321757238285343233365367426152534443699442422955585474369854467943589678258324135826464611557735134543286834939645434447647853726364555471155353316669658547196557815469178936943524693757572266884624565439794514175654555875896483747566658226646442777176965821766892657128914715463571486868337799573567654181562528676566698691759
+87255326758824567112472365224471523535823288472312192932322771411131312453532312261832426549979635539836643786993567822358347633558263464693439958342321314343388252224242356464342337294353765118174664194775489711467893346945874466937457571454116945343242545449936333535346757545344831546487622928577521588659182257891445715698557714856868256522715645435365655114744464645786865645594265759873313968863269976129336891255682671966882596797936763382675654647676622585557575689797675661537686198442417997
+61529833322593238613123122277428722648161125183677212712223943222728651414242621329965535228471396717263194443361434972423423338853983375927223629478832382333415433383976252535373243117664633958241782837421555447254518353453444996419448613833473158994349344452654449418736364648435422877574416935289394853266655836562946456455511752155972494458426911545145556376555152984747575954653398868552714639141596437776694767315756756662286326618351556953712265625666748766626319585868616576441997966382574125
+12344685211158351642224595192824827235832934277252282371156521934211192834426213593423492672227831752345579632226946275333561621393593834694314538836339348226763214532221394553732461453451378333894286345668174333715738644467273241461494571542564994744145933787432564333241566484357256456248944491539745677928544482684975557838435257251568265367511585525614489854367544435267759546836756735915551264185678813965559379518666894954636836267937647862269663672559196547865554637886165794786784612666237529
+28142225442272228282412819911284415221222228922485612346531318433324343243548895551152256325291233223925333655338333939352392112239552633233333913359672345764242954443545435465991666226336743631234433413644476644944414146341322334166374434444412446178345687535316555465654657611277733744785474234554452475558775515552525745243344527748554555552355728945679864642766657676576872238884485589658534566556358666988662666363685635445563885966566666346683915678197575387776878768798334999559669176964567766
+16115993611541292232216224352424248692562515922416672823921289437881971294473321922433275219499371342722611472265231334332733546353535971367362613352778393413239154899218231558443213354438632151148245383372258337634244544384465746464618247847372446388941452434126591132934266955432446554974326225935649448336944874535565549557685757572935895848355749915256354523761224314537716654355766518543733614675155944715598564667665166879686868314691695946685112636746563487233542564882776546687762965484472578
+31678821339242931192335453152961115927423782362231542628283496434613821647718194843573422516517888284278993244135314221344656426317222613853489347334265373939451754572493275882921595468453362762899939538911435524642533245576753742833372496459145844537648414156286568351438699313261657956447387391114164912254663575364435668786485394448351756125695564875952526739767946254971142437276816755849841222527512336577468647554677989759641555946286723671667598616363784187815736518225354838792786695195233363
+25236119333721257138146327592241227295247211326579147746411833796842319318124664112212255532242482113634722144483236824925743861335233831635832243768125885752294481795342142923577522332336664335359322474583325559434793513685497244634494274694335487923699686331559281645325313468863344344777544646143358569443666154581462479651835574551538571544659813471179744266139275643642457997445545588865575725446967155477726569257358176294668566264968265576192458228185537724138675475356811855665669997668683655
+96898332432429391777233222151137142822549921222722257722119227211213443374119972258118223343533265531791944354353141288834433326224825393365113233383336883322133832232455448522118336922933445464437664281215546546425239994554443733593641447622434449444799443324494334356655963322944713314455657554877539232665765753634111566555484461475255873354555155581155443551544546776617443315582442556676866598864134377687686474522267766659557258636698446566626669226655466265565788772855442669355366778797761997
+62767517635312276719725734234839859341349334213127592241497612936996161365132324612536153739314161457387862874642338782183684534594196145245144532423861335251872314711727247624343572364726484142527256849897398575344989329479564561521725635625564353497244636298342582283835873545468347583759525363836795191841968645519143158167567263283674673667546451835574731945369339494698465657945869486163647494781621295217975662125426927867837439478578477865756294668584215647144151571957676815697159727475851589
+16521225149117646425164499757315128157197189195746324696192485292692135683721229331389232225823134512763233625122875753627551186842623926821829121685743571721359631371324679483233144249134333693424562387434473623398686473866229795373413793293123279685468283246174248243578159434425535124544471453567349854558473441979758497733181648452481431423438179657939435728535935468926154553664623565558256467845196566958455218186951884429275956359254253454928176814154683964614657913726566477573467666936757895
+85314752496292268742124232882635623196247144142299439418466213957352622392331684979222627712381598159642586351731337985323534399374673421735825525331154152957732416846373341344279518133373882349261926175369746284244819643464541148578453284693663644226526316884352795748445245538162924448499345137213728647185739535592175457565225968956439571477475533763742799546381685955635664927313555951145624832483975829684164661328656867633617916754168258858664487485381165749279616674677513842466616225673594359
+97261453252928457542837244211166239913921521128232713229747588325482242532393596972917353314922224851837256436313956865394835532227734112413263223934382433185869943659335364341461718312846442513333596294836754742416797641594664333884522352437433414549354429697115476144647545257282942395755362444461731594786585352781875261577544499563346354854452565146553171822658725575865636839315341686647355557284261589769646389298637268865551167445746596556367625766428293376983668697674794142645279775846666839
+31295291323313994395841132262541438429961322543418732552754223112916222922212229272631269665736798214231631243442411541695224337365254953117243365452984366386533422312733313332333138374237177684781932534274235455352265271633544847636516422835447656319547749764453342384442444344424948534828879589214364538534656646337638274465595874762753394655876742165885187556445349555355545553515964593998169132547564964576775744874938557661698587386441576698785327699629866755645166646665666462617561411927124365
+12213148836216224489933297285113233732326516756238331381995123458233387221257292228331924219314195112332425994732733559114431839622434484343762786734944249211623456934449833236831333944213532142521622344353611584384466122554294173354559545487389784515535132273456714555194434794244415532464325363273345546472269549557723366531528446566165659849189562664624338456782566621554581535552664357543647438445665758337165166883447764263955767727676195129167377573544956789367773266569264666377546865475854955
+56346522139442122886172237541352226198526226144432426545821841393926122329441212242322242196867365226745763324155323399728334865246333721963733725554353765693295241413723343155232335343335321797847633785687443526643441183944597635744483217484483666546487671431635252483445426634344645444643281895874489679855463775455229415561874685559432859559477765759878254274636359455653774545575655575439291698559178196657488656633152667298579666154396166158887686198936538574746156676488565668676668654131271966
+31194463175121231254825427423783113615266812815434592218917253173831112515227354224836515337226629114221557428623234236593653853489422472637792392654561332912836428494222362633846533594762644833773122533266853973434534761476496459153358374881341376567244312394753951533347374495764461587375594488423364437796418454564587258751756126446948599245248767835542341586416264445848551687557269848661559953447554881752956567569836986286723755715961135635987894665345269752737555695966279866837195977266116455
+18922571923323352914799128253681212971269257858221378297332273235428541312489785389722577823281727822913368213443446312581123936479232318237136896933248931844338434653965242359189649183368893439283893312447932455455742369223414758134342934824791714435914295544954576417635346129175129447991454139491442355814356656685347133452586924545314593581282554612531665516568752874645723128623155811256524151255346692546776779645824456369713565642561469239366572364277662767986398575683423973426692236763526236
+52352686974516478124354725321324257632625219212134777724999398212257139229162421323584263523222762226346379718562758923546583643243536874373632132324588883511141932336824133127353243469537463433387333745748182967386913465769475435464798548474324343569999462225214344793524423846435457164857454449844485685929317849712457687158654657581965958543545467111157333632545581463553495754656827596856555195559679613142895182356879826976576869217616965465657822226844474365669257466451686576793861796766621666
+94235988225665252882822524334753853436288223133525125232284939421515962392292573643321334875132525221534619933677636399393363544586496454739933424463623634339514153262617341331368475443244598624363633264572114478874741141447465569751756584114453557473474544162526437372845244247958655435561973547474437568322558998585225255857667186286769522556466858458565527363754848395635535816976654667218465858554867943366911969633636696877829739787163366757796956967663847486595941674664692718776577832957696966
+66523133486323284817356447126518331489128358823922111928749233238311525417486969293672112838932322297763424459743439592846755823762944259123946993413322213985134434942263652859717131478322394914343331887453556185454161395786693487315536123415711452443332419624554515337476396182824258943341512545444299856466729656527241689771459842664723452682256355444352173566562644858741729393536915445262365655531196757783176763835279188256195377583456379336746655546328467767375596985283141464712655637347676664
+69133826266526821228128223961127795323154727827255247122157223214126588723497321333327223978623168237124493737763793233923933417223881643426583893836635823326833432523769983451843244443833418973427934823551484887481434413414452833499275453769491494774693443794454363487119456295435555494452918453814593466259599859254552452556394451138656487151251588571455481556547459822156731654666651556312956492561457736161196136566356366741556224976759826236269968256659266765856193326784276577776266742316751367
+84939739929968325449499124221292398131631592812819338313242679818326549663377375399961286853216723839514184113117943655151123533231341924274261392392144942435378192943765177448848641117239796432783494162529522422815476626223464434245213538537241341325515354648921315487628855995975222834181754389451527363163353392658773733457554535632464964835245243662646575913242659873996611618633394529286549156263847427446441376988484456866564674357517594635635477375768612435376198411772272974441563139765126737
+19413772636294261287213143235324445313651225497435879135622273213393258522723164721293227133529225932152488374731537239832425434643555642476233651854698124673338432441436963383427583231433824463133614326359948584264834194353654575466675358734476296571923578444954355254717449453869434254493557424472543746115969537594521546476568657778646984558731768213468955516546636582855156497154536551466853558365485722617164861563265758767976888975719566984287932457916662765774769396626751826564766257796466947
+31262822561149332535584886948428121785557121323588122242496497133663542321939923214228212518587387814237393367225144364669599715953923289666823243469923335351751824477465343214113432533932362969849892534841447833625547577161182616413439177793435457113444646286293558857645432522454364414347317195191364595255894473665868827229372752454128881454656822455575739731466996875654363356547552545842821621247561636691558477697993833148386356523999256576793356668684184257711798676547446765866365695393273235
+22273928441225238788672262392462136759563493264986862142439892192434365261131295342353232536232142163338413955233634989978337341357324786167451437519797325354191321354547637224231645346434364734325327444952416634474519118944845246843589727856254862181843646521243246565874833534275645754547584543643855516352774558562122915595635795469183896736597329295475763235435767698594464538675686565869565475496662746388566967323312661674681657129491784761843131658687434654687871961557564978679767697167658651
+59258812231399134321333729232755626214688465428234713416562222955364342363448522647248119431413374416136992334241124543244483134386673732579957653934582452767333316647545347455963375835922154252448552724711344535223565435559424549778484368116876414569356387844442775865645856617448694613326536355966383582245564633467654666153565188959547922798752567146749895555388697675696772855971572443764746617749469335667574457876577726467629916165813381986367825785191666649971878671788396618268355487585772885
+22286189186593593723266625334418831522142224234466128465236555237944141483212674333537518549253416233339729129761461483437773644552994263325333534557723957634766634815525259432378544464862965136452734444183123187257259454888475566311537443644464566883416874587774592663636154348965557597317624756384555529423429836836156599958667742264855475557567799452798569888561377474726545917666861842873586749566663153453194794726761116977885337596658666867881156381967199967248858583765612877797295398469785167
+23154222481332892325223134928545315345624357666284499323181683778922758354712542333434293374593492293426533359244391343633424513965642645673546877739551143429279488913386946582365344454531448561451331453764446135541245474453562417675375678465798884166225453138159912449715769347645556564255967256244256487555724665235658556467352878648678957681999527733656424926112355182687145875666767536617836735536759866683577634676966757846398975978916879211163884476753513722346629379825698677787864772894784664
+13223736227555557133745973243185764981892113244867631442843238223623755821221585537765396821332282172433484733866666824485618435429687519291322435597874255395434933473486693233269664887641793244339328354459584497777793559672954653179862131243354661898536641654514458459771434437177599875281435544143946556169551888881466178316576428197324235446577291964775276562556956188254554828861198639254665525415766727166299999257728942768753921843534655768831217588638767366716729936566593997221974136577663652
+92655214814167121232542496863232457433292767582115415121112148739157271222521595314732235445539299511376632592527823234365351797434356854431387869322652623222325984126838233363261642584334655664131162248774361363893434547646281854546796554249897143376373433343619523794934447437275369544576677524227335988547247491454565875739296565781766535191825448748454445472163481514555854838647165568778863533844619965835851256567698684131767689287764621293655985956555658327459262566696594975827667988997464495
+37141922222343572983223956956395135934928421211257537911981262213831153246818458125856112227792148384825213333345468319433416716741624614513953232236864812219237332494226435792956923696722333881325949593632444445657942154452782785273572562416434334797592332134844351533754681316713471783344499243615161474355555676815326556389389638468367352754544581861344324595546264486579242782458289445551135472627258546666678792643766749149174957947846386565569297245543561665737559768135389356939155666224658373
+92617921322321951673925499321213921812261982181992471293677721517232211542964335212433449632291323941372813243343216278413651143232413292337219329211358231478883262834332265317544632354455174331243415248392435445432738952476225434352431344832143132246934258999437394544337642865574346556628544235452635941354655654384916358733654546354245594325424335714536911154841565544875397668545766773965534656374615246576676549512746984476565746535661543653544682564712226595267665598641877965687788417664576748
+18392161236842622178326422281221131481541423132824242235221457253222911628236934123232689238152542252941327234795373328943753339233224259265253424393535334633256836433312273934714523434379134926365336315243834581648443915486444134433536137636453541464644574436794754442338414582563454548124513747644742635494569275955412659755524554464724874756465257575568554781586555344952569367456565923562485875585374651567138616652376186663566557583598586757636868667966589269766645516367147856767613467359698669
+84899457422454255272614966272166932627638441766542142732241219411956112869329626532529746833222223849591156853356536638372517738327714373874955287765325384335232152216722397143173764363185794433333495161226796446764774948362884943882548498516639887643649544634326332783341825428487547429681554444451627233781755787588515947399515499365951962774199875475165574543744389445293653959865853179266555556273834489286689869962615841162651147616217388521198658627668565485549155631476416197696428137766666738
+42623638329211351941491137222138235459581485852177658211323519522243252261365926699211293234723247835373474943132246215251224833324934656169259696328876932243462163335436337247613771132231434583435894648458515424335732636233594443514576727136171743998714335457327444654744835872488224334254569454691575956962653544684374734461555462568783824728285411982544656843855576585594698359933544536567156571268616717376465579548584557266657367989493583939652219365576795496668769661571946114465564767826768237
+32183424116391615192781828192522825381534316333131736189185418218112585152417966223839633994127212224329453522741272621389293921363393649264542744424284729129652932922369626352817733494174411523832333543156463385238373249131413247441475137565385553539583123176314313347173746392884451528552263494344465426757449634948435124252435855258624867649666464169423428742542445828485741399556263966337451545557653786855174515954623536354696636973597875177757527153453985365355693959685241166737417744856265666
+13417785172274199373934622614115172937951422662363423195726247349353896828262561171998772212223456132452889628338521148414573372522628314816253377347453421683735845146491793937367228211988332333456724356399173944963225952568448363373942592736448845856453279484695625751281414847833932219944344456783546741128415517433616367955947448415361384755995696756438159571673686239252595894414332115545556789465785223952662854472747816615855952647249586611671786754926168278479734136361691552544322665666789157
+92772713974411697239468257197464787272268375712633534854142289432236322284191881817222672698923227151388382418552271834157936821857589838337948682374464596525339154334743339521299292833378371913433826249949352966338294526814793296869194944815979348557561763644126544585444163231131394448948212454493735115146317744931563792581431797121515592618145966867287475523765569655527434224241555915932356551484622625742885514267481369254281823262661372925617797839858663487667176663854533535266612614346766259
+43887262268237381412624954724415777217928212523112212123732284926226125532869461113144292124652239665499837337934849252373516583552688832813932363422332323484339513733723664397157222425531323576334177651194844814595136348462769466379994392414347453344343459544162484483477541826833353664243468744528876221595592561624745957387157748111541352545856445545456165527359559458865293794446477535457985563998733261661367273585616849826885922265246365696755665656727663846166156997631481555758864656819667411
+24214947182232632284233224142761121334218141284131336213742962284433936985512482232822574812269343223532515829334374339534433525387223244532925239524244732485317339554414719662359334393368592337145433464362693144548544164554463649833435564313634163535584359642844166552582177346144541447961344825654457547371425565965527566557475194454667542474527464669546175395527766369328845725565255817245593676556865848253667617663867766858621556577865358563857577165728641663887747143995683667636692835661478766
+43352132362779374424228138227193366568351991772773199731425233329642183372892238111342663725255575735446324347388148553533924933821447767946211288388421184253634443175329448391334922245377483636668684655743545849925966464413514493255887815732239949953229536474555428643155941244513335648859474777979576685465695113617757552462551436699892684334115116433164758566653975426615235562444675996158588818168779657671622472886866357366254771191379544522622754427586967776418653772634667355578611726969992927
+11478277931936829721119361528526955312114716236456717913243242512642912162538835673417332127821239782258938814214793183222147263963716642322582734756782812435435362375312327364994678452844323893234189336914992532581429433325837417482775343369384586789392354654647348642343847511578956395543491434529144712511364369253154443694852859388645447149569789141346576575845975345495862268916741665451254563125582362247547136426555471596396149975655825167189125245768768695618645651697337912785277656236567423
+42644475175299814782142422658723232523947155381461129518899293929228331782115112831523329292222147225375558628631192589325353376983434363415826649257223162991131413133944289322622394263443131333325833648666973974221369143646448719454547452693775136833427311224252424415539143373341537455424244443694475977718418533247125475755982156565856371488624794453842233536353552664125448445264856653535555471558618882952964435823658686619326767696748259973581556495334464746466377523655955637596776464666658266
+22175798234342272466273172132914257536312214292532636324952359517993519232262957831623394238223328723328681934545338357738428324312536864742332531364374743516346162811462134337316894273441534933443983443979214565644946884953943542364797585344364247548585462745727392257324544842791538455264514455419455418132567675515799516415465347581869645547535865969657385683841336843565595381264956637562556652156652924367878662681162752657645869297175665864697617176849679495244795467661649237516774867366776326
+51367252593723224261272219111723272348322241125195485224513369221946132364572143281598225135854221226247836361483433537238332122283438345943335223621659633562447133215724347568325439261933624696533233735894747259454464834944323339454945615444633473276174467355824432683545867943654137214473571764434484691585836156557594515543444156515672655574458438728557846693554379465697815476524832558468287554559571269694726766861562665455526762678376668556954983966895771466548157671892658763594366957939866566
+16576143614726863957584622729241272331685239211482394541943224454528265851817313624229129224833926322768725472583797416869573383135238344279634132259341565215433556563937696292842473533123133594413743387983658369481852797168449424634945538174524336145267632654466767414871731395358464423424461552485449819476947159296381827955153574515664928563544725637874376557787852598284241646957553453557266359655192158715826131749293816626468562677513967465583674898548766889896361939535275716866456466837746176
+98234268922594315994812352222829713147231227792253272392339125437447789634384352489552182132226928481934537913361542611592346333393182425834233881336438341344123654855889174549546359166329324333713959214564812447265372261345744441429353694534499244754945245523476596699128565165746127743143544482416132567592355837648337245685555253146471564551135586515635663458761771123967627685723885425465559352724367861346694875944835679666636425758267566224669762674677456987288223417873879683499653657666146383
+38123172228948389112515272827236125428281625716282127336221547233445222967969652725267386391117324194923428333915949122362638393834723653939273682739323844733265834455633317817176383637849741222843521513453944412615123347374941494583476414138479384143495584437694556674442892828749474895185233395463262456415552372623445848515251569458752524958149525451669554871566778555391393985158591629634441657437356752666348373455695962636267156986363516925163656277166598267788966641241419626961273174555276854
+66132137425462939322229179529421122285623226182313322955831221958192267199338287945184276362568497597724324853657314143333128163153223339673433729342443316694233216921337821144939815629538747367951861883543596476842525444423927426433444178454483145355442771534432713244893225514192673164985847816297299465461758795363655553413853754455528956559425646655388264554382435591433662521378427519695892731831157657286981647476666452496486556663916766153675776649937566549354661254477363248953862171691384294
+26914437724834226229333571891323825225397853866272142243229311453162223423296618323222122532563552253712554883594533733144468291243493633641896497738325335433142256427333453431772943433323364367466336482366599461564484425557931235451474475291751884943644654425336753844456454288315454443447547857744759347761157267559553666814234656258558631286299515475576553644786495556756539942656555455865896885586145887226837866166477792534576736966974239731162658668766475589751666786764115376766656697691799669
+97895443125234512248124215222833278145961112522515243527232912252376313168379727713577526423337744131891655423634562335923532633394438925617222363362635463834312336348742427948183882468863753444885524291276653474567344613464374441554913672833347447374657494542344745985353815929499357997486455599663531238776458567845572457548555266512478394445855848576851565345585619646492613151146811859756661177464234988756967895668356865966637762358941555696695968796267645669672175751372426225792296186777228857
+12429928248371119412935513228829116792112639714221312469136568452942948445774823125213362623673439132353113935948222152314662433993122781322374182533242357124767956315315955688593423632447373478454124346422414615933326342577354411423389243348529364435346823587816742642616679961453474355848458956523545753352572614443745368846552253449135445963147554645793469892785375372778117256458546695956916763465686446368372555485647995766336455124655617425866575681457191389648648388922836756965771616712787457
+25281142291132392382629327227124387536915226239361248713314715173115128227242964447817943929499432293639225331224341349373143833823549864712633734147235982442582628422623933835317555892815413151154331474133644233545245148425494493465197582374484525834619355369373953373414494642866691392652426226544258524475534465635625953651551457621869348559563694572146647148416448452551575397771241376353733765536963558664557674673616476266256873297145966167471568325775825952755956366268641888235248746484487664
+28112228643128713444497538389126793236529139358223522621724227632725322864171461125222821444453285523922333975423982455551864949123781434763124146933463373283533874383643397528257223633393255556439663413344418653419356666297515123489254587423525714457448439464498549475441863936833474441436666754177452445552976452146777731862623459136569853463682556855954157551965158655297414794458555254777786528856355666318756325788884297373456124767196457479366796616526866217626976631852581556966636588889763996
+72242621121293821213841199222984176424868872926633913869243344833512284895422235316147434329641215228335373223231493232495221133319528753597998313774412497135445594462339591653334642725854543175232633944648433434251434351633224442163986461811942488552351824655661557344161276444575383696565428634374415575954454536254546274433555327419757292215359966346293576677266845527238755568649471767653974548552668616556564736565738554466643852186831332646117745731468778837795663834986667975158287876418565966
+92943878132643997423862994431269915297783234952153761292734363213316264861524153336232512591357243171315498924375411853497311554237112631889434516326487231384547432442737597263526444734362361246835428242651913548652296451842266534822374299154562743759834249565854355384861837463755584547347235794653935376212465976331756295337764593348531126567385486194535167696546649597294857486669565845834681576414648732357618744286731644887561445964223767849659721564627871765775161831596859777167695694579268752
+25272291247231893726725927426212964794619226134538911891675992741423546936461435172376226292956246223638331235834291483783613853732317581572133724564912291278611385253465714757254628348733731316735733474944234694531259489472496484342869268324483567512331238972249636457682586836573945984484242784684458515534571564236159158351759545397137943559467862344234918335174756879369794768415619559535389579556962664568267534726126946286165641824815466157897345534512944628586798147181587952672166164649168166
+22539185945376918494362577557122626883223989625558525539313723412653393443654418685732621462865422763364129615648712951547368866823373799433419173666963664142483452376441455476552979684373257397653387447523172675982316265847997793448481154452128477717477525359456348755256658766318179548436841876449855863428378619342737695811881455959226556323958882858863646156745986636776987742928165954795298755196697453948972145384871692299256616133766743416999396997475726785619774788719885313927616581631986621
+87823414291432322633631341461596441262457354497322213361247314125516422178233229926937315251713722119893452531254343374474245257261755237356846551843332447235842523662753328934433113714842636282483322191456364236545448558535636837286634846795766295444355834695363477386443914554422482595374739359443321256747534765655966964674794839774595781687731655546694571647458849755412566553359361648584146155443236785864587676617717578581594188561689279884276665771568275856995186652367766446147275969525726655
+38781642921622384383287923696133953145944122522299613813988126561358224331187921182544182322225931624989275313273349549439813471724416425615523363331172492419923767246933544229813229365529343333614273519138642438445165154192458283552753672663447444228351352113487835714465533192433147663145444472538462124975354955627626521356939466386478377455855533946246322459894682557664421354425877425655558364957323518646516673873763246714157749758948856696664415735743356191579366877553246553698853676666947516
+82326412321241582317122898314996246289143731633242113793422249394323774443499212263272731823212799299343752343235269342823391942511735739125484274435322481453335141543488555451132337438384293432381131145486345434637145393441215362284684123659538554643359256444625265459966656224344854949531454349224225659745654574825641455232647339579523476164966575446136755573637656117776733545596515164256545133533676185676568593675256634375844168163458727517768655724786668474876722888784465661762627536765624464
+93121342161412929542173492847124223223182888976129122752193293493173435753835424413183479224492243291423245327252313165328451395823533433429399918723123386321431451428454686494653552429458133551335431253435643836342427643956241693464454453141112983423449743254256253956579751576466353156924466244654236454675494745353875416735271457556556425222319453455185436536736416768186268757746426713557735576534756578651585646498652784638256866766753633342156456629654764784752787929737986885753782466884668764
+82511363177115922944573759252372741324286182952783271461234362413952148122154225173312934456927586229362247428822613315568486136348385243539729316389438257234547352416325923326533628442314556713869733147335853993372442667959724745949635464183142749154936834565846352743613443764473955342566782497184425844696411448355377816183585615174657529425385126514794567695746385472455487558416645367789351829553695571752255946648892729469672628576863153649623762581567871685749658356659866952775647889146293166
+25742323518227121256297938435728224276337891123931616166216355227312172822713281276288853956921729373685343462933823236731814954683933538744891223414272727732746633842328393382439238739996416713283148479645457314493434784292516579414464985591233452538383884385774495343941449354134984111752782439425958175656842551454589531362768152557519661234456364949499549688551645415255146524519522286389354153616928676795366256569164247387926366862177234556747515151165179966275652636625763562163339749146526472
+21231923654113131232259253393474231432521289264249234537729229215156444832233432929177548849462183623234213476522424234336136441458534254363239137535134564883133132626755594334454313128865995157329473434532458763353534544724755256964536547434124864624567599424424373786661544556542423997611626843158454564356987446464565583586636717564765854523597573567861153553548489777265566765353411872273795426956567546719855757567669469774782867587696563461868467897226466465959188837667787646452298338481653716
+39322173224523222877523279249127118838249232211294759491224122675712366227642598237375491429935344164143328433563433398863438135123822994935134332231586151233523378682347733875361934848651253114645527525443954467454441997454924623493311514624544334269726234463448979345884498647214595976236422575663863655416557856555211856513573451442262573565544537183734557455918145699551975832561618734753368677497476652766896766632296762468456255337368467665564829484566856612925671166218694367272984586447978851
+22443981951272823649276882942544514338149421174555295263436421569239319525981225282743482998223836483355419216238393475138799315365562544925153228566631637454753267134142163619233639385459311933494759446652132734941458624981142647667365513626433967774274856586437824525327472134474149656142214451586155776324384515256973519225375877847662473754417888538596769754893563643858324558525176725332556269726688743549562636718462133648698895877358486552899964961787186591467475496943566963628783644366737183
+82935137829749353231722269212381752189479213422896289832329422281128644558191379252485668257293314299314624893185146434283337132349286329158132453391739194343153339223975566921248136359677936831442531142573591429625754539444824345139743126924356441284121545426444133418667713235924746178814794255364225368461253173686564155593545624185423713546755239523265653755524452977882434613585728992581536647533647957236428479767526661465673529653482465786634163437676486663556318899354572469683911369264775864
+24223892726263513363129242211841734792712632182522672997267284492432883654845878166279276222295127533533491383737462447423135332295284581382374329363378311837839551354399476595698927738138733331623864464451249484857355853424644331639569249348543147448942294894166246541158761671913884924984444273497557556235159596846696453575544274167135145965425855915331591527735765226987278212499513519555538451866866734626161795771756468665538527824625617653696612644261263884687633719838932351162462166664956297
+22342144126696745941234222558241172132725932811347399842539284763426815134522174212662222672792149523345325523771785615234533366935228324383614392245841195364139587453792624563328532377333378381325163445643663488289672634564447714633943549472541335695221647524169856481373567443964348844448949243627455675477459939178374567555882574415465158365244671633275863527196759248467855417545995555915135473856678658856114128948567866699368552657626947635578274438697463821786135957896652865611666612624658496
+25226682261822228433689253239164649447244336483524392392827532212681364322721422282142469586462466183633779337293333954479136434127575155835544759463541341393864332379247543383253339325357169757357729474488144831444416558124754523868626694665586157465245241497544348135865449436444143646827186846883158559925594255552766923586563497973771577669726857635635251865545924697655154755525475793829795799426966113661536666387713469767451818488268877183796874674636297665613571876626586663658681493181681153
+87846514333882384972125224312667122211771369219921962652421191741293128221529366334515138126823973439895762544499349518323633542377823332288247132113217376353221285231423933263147744562624923793418454191687365551145162943474465348893444339935824322432848746433239634253414437425885567373513481452956521279847666225627315458557645991455544114693543354395985754434174536452554853699667848462459256316763238195877733673842656966875611256665522571465446541619686554528564756366596471177895957356136742787
+62123288123316382524857679666715225866583211587512218223314852481165252989312214614491284623222224127323439923442749363596878177782633697769432269862332933442596359227636319142332572551239573433333523843454113455385147461798928889374471887154337197344314455361746133874742125344368366234168454444463495456522456649625857281913999148558299826544821845542556647285724498585323645547947734527956555557451656763356775173696839212411125966931193765593295665366775839683551969643475665815884563816766666856
+51827427332987135997718724778228414326828283242334121625157152252226519236162223713267452283278231256293853844319824611882983588933952543793939435344523273626826336333762134727333482437856339438934236731496495542193572299319469914416365481414154645563438473793744744487324583844459354896744154914534784251751665321468331142157112552747659252526575667454958481485585559843569495556146591785526512564589536286277643257944225326822366385876136363768677856516959259669666195467151666725761289663762367569
+24221384695162334916824221233343492892922227992337312539572924853357782682112122481335222383544461633533249571627344512793533234445451391313333811344842364168313596446889379322323359244633349465557274464435168273845562381464434555656241242444492245595347527942461755799148143343446135574445157666838557554627938495667349257554566676735235355551335661645863815357286681125925445455724668555626877794966866573814951677845136866567778784634646666244677275697492646839779223613655656683577966673798881517
+41236123634234341857992579156522976229259432221462823394231121622723175478182228318335712572772551275234723474534545296811368126763318733136154333257393441534223273383428658929333942944682368388366238634583458564565631792247923787442984424726544436841455264533438449453976913144415315579347949947734974569456967567674281335813489855319553583765554795256637564454955156418712425552642668145815115884518567156717867878539244692459196642166469487666581636774867556516626752982353666375377925692622699562
+52743222628431614662269361236123392523242998337371926225239122216993182115847285267439211527624249436385433373954272577337147234723441363435311944848213733634123332711429322695839637854132263873535154749654448416538368844825834583455247454642215595932484474523444382253143371694174896524337498464626585176555952764947995593694569456635856575332661614359558563455549336425448271528591763544851957573769628766616387515811661471567156774696768644377272546166967456665144753655938263961287465596216868487
+32652287224862226181158948313236922254948319212822845662944552716247512823732239229283222559723249254376339833597333729226915942434713336515942132393395677315566382735862393484334133139433366183435136548744194461844483133712615354582444762615324341441678842667749384697341459544524424154447729454624765985521557295559424482372646569355587372643545255278995377885149571845256165563553526555883156573587619663266831666153559348375767146669848375465636638911648899625168295636727667466463766699426768469
+11265417157875426179968386552122667326193362773528362296634825241858458687412231162521282212523228222237652826898653728117949766323377843721447388463947331774593635296956979852334227363239332363433933334876393791976483922815187743448895483255849957415844288561474631716718196344533847434144347454414444598741481218759413392629885455991659436695116852695539967258574282782921745564495854525545856552555561985259232986152441373199656611276154771622796371664117836968539389313285667551696563665696766366
+48225643938189733114392933621318394472424923913787772343219691184287861127415324694759629741225653145933675414929184422541314473242941558353513412489888345432171229539897223852643571586173185233676425614478652513129553365242558435315266946462452359199945654328233164191833496375468269728429634478753672558976362423166447635366954642637715757356346121115676543934427521294451748657937183953174558986478366918747353427755874647716575374882686846745723222678765414553863231556285976814829416428566919758
+77251121499432482212931283325212218572922513219347147991524224553274462252562212116976444339852316338836223251154359332314239443632332968313362432145825811263533566438557336367332322718755544196342744994733436226546144342534155474344317942447354325693692237464467754966844747844343382986665521745385511584454733765725545364526658545542815355846543671471334857557886517795585895545449319777663285649662269556584487683665647563776965665392646695765478258244596866899762881669691665655142188877439675177
+46432232952813315189274291985782586223532835554912169723394242728523432512211753112422723473971448315754334316392442629138531219689369733464394666512327183441535383963454362332286422353383458418255942686544542741355373124964232179147184457541577762343829455264649417456547344339753346449456952936615379765565385246648423517534328125829556865268887345493156637575152856765845544186445755156716314772648187667649635775953462864543923693166797637999845651426774868626396787695665529755686626782742588375
+98761175599825913312233331212666129162563146542216332511288224242183412572193823772171588278233327281987228661193612442334444232377723127367425765332744362239933535329452368321493488328269938934443839219833977221472355344555534348883423847853687644385547334114464643156347943251459943937114914555494132194418833258346645566664545999453495896479875549665844522557575426745815436256115414822512566651524321552994436945775667777565611156451691758198665177695563366868653785692654736722652593362367776263
+52177335642181345852468436224571979281222991522214753931331524124495523126438976373113665621671624946328844675329245696357954733568218139233311263332586414244263523551663423754918748422477673278273515743995578643135671746816584467932924134442237444369752535537463466277453486512985953358878438938462685411668975424678285792769557814313524555334855547186364664857457738856459762319616446998954914957379652277918653578939681387166892542463566644596665829747577596856884996756187342172755711916512516848
+57342628832929384472235298152826166292483226311113179523613662221259287525294824461317861725686171236845373994313149558334631926393727731359433742222428163472477333236139863631593557242897283679728234795648411542425166944574213741483884246154485333353927458358844434724197474261466835391839478183934581675952265353627715568532485259499535726559644446413856946995554583521858537257794641294158929414569278616337646473882667964359636151164683766175555752496715711666569463296964836881575231526913152567
+46493532948621731222281771734261725573342324324792958452473355962217728494633855713924263673222862125751464315973284233339288284537283668445343543581316956358446617332883951574496682413537478433397323686257542618439534444139939564839477955645465469242716746955772844399416268551779352464858954441843479736865372954164555524114167594158816675657657135382785716688395541152737966288146357596916555295458184797648316527566663522527861526992778676876824649389682779941665226384817739925746861712766631656
+77413686291212759953828999221292912244794289932377325557672132977647368533299749923917226111968239828852479731232386116493911133231312335581539114348843666878324318875847964431185113412833722217934193996358184234349722751412224434242344669264122545995477798943542998695817554229622452394483332814521411746929534545183386252333554535345577137523365611658881915465311971692866533173356341559444392563252285713164565629449736344466564645668824863447672276999212657642218271397764428446745266155541367436
+37462673992119755569336561212763332392225142134372518938628497187532286278244624682432112297853133414857378411322186667144767232387444341333625324548362914973951829864339738935573579354322331896424452596848952243329777825587834349855545244473643565947312518416293197544184914668468146543344291753556361795916335443188893669894545196665635558475467615842362952731421865529512577957925765445531286466747281612744655429991477191565621777674666958657872695347316384253297663162368816813687655664239757785
+27571224422219326193527345633123621658345222527124399639317231181897246292421913417833424223372858423868233553332143721463845674423473276945633363823541174142834229291835731353212452894453533448396953497934466444325483257495678553458438715674447493465228525394533131294684246432356391556464455941716451814557755543659436851678966456954982678555851457633963641564424231579535754346741266757556615282756292566886665476154796278917756716519378966696256874417475267553534268164686545785237786866772639386
+27442222517137482329635383927346295928172691214362491418751262428292453727311823389941626678286429383855333362824859343174649413845731613928371232547351252986237353931356483842293449115273778939753149496644447393596145428575152495684272413948234365846236319734846414246759495331455122638488914186425151775555841461725653968626351679538352415934547695734742184595752535786151644256623374959912529753626288666695257283676417973746278164946352614565871684585329561686364689726275536773448516112363186473
+41339342864898681132827684673618312414443222816172713354853233579765672412582258332319534922517523225244145397591979224393879578472942352555433392728382446596434468187678352369336944342164513362863433635525641861218133541498168958315346366654441383949355761754557929878946347144715545327562447397454474663675297232924465251927916942645747776555249415146687286566813198915745825582665643867355841856558577478631834313557636213812715375685888766635152625779839767792421912685693669377675497846695296766
+75252346897591514863716111861224659915221385533425372622322625156426233411384627511679173254991693628636345791861262597482722297233576112633249664453648373343373626753734452249573862278128436511271473974745681297237361859383331834468722374435177556475948445448473786484556335168497338923954762238258418585679231834847296149444294557983348554628866758615955655958489759566744627951844913416587334936952969678134294595831725155531566819445966573997786972616676616959186167785573816295512452769844514716
+17389822821831339852632345272147918213911571461992859911116323362682258949255294522477896272232532532849193393294244196374345638325812932412268257211396112222743447379336915136631563358891738334364364395121441431535521748545674943692314352337936832241722333385455848144712624774267446991284944547547541623255254264663285965678515471342546344814794335283344449656695925582373588537855711239515565865865273436636537577439617678962658245365745592581544639445555176771613669348469964896682234162667697697
+24522254392286284152922869222438652273227661982322649453547912292627518854925357145734837385624429323563336541339739526313397133354976338433877219343375156465812331373862996513646825684594849673553143467444765244184163742441824446518744954498832145448626757692344248497311762475793679561595178466425457855587635529527485355293555762985516551994325655973786871345535951842287358681478167261628957753656896669874663163859646631466687319662766211543676618489798245664616295339846979258927837273916886476
+27431214229941153283434639731645494214445733342345793233249273525251519233213217299225926386747359323854232533115226439454574184275651532555684445345681434435138463636262134432432831133613749785846143496534364422633754156568529538676264366679555645679254554624957474737324554354394224472485189695725451764547553374486526767963164978737547778166675678136566573516858584843566546541533558359629171683656287565866448559763787817427518984865888927778678924767768462796969595467765765264466946173128279476
+24339432275212161454383226335333753741455794441336423343324439343981824949933574326272433982532112283544154338632327256549433744644486485256681555244753445443554145419293515114468543738354419364322339465526544974343836765154485575559759636779266635586455655466525652131462622557965484946552147543344157663765518545494787626559668666186174788137774669756676657763676324257373366817659515766325865445526877487662965651589873766177977729728589924888577186778776887478743536848447792876162687743697655663
+88543935739953543681166382973232315933594463663259939252341211854396323363283531246543521263822314319965414684116465479227749318434342614461557477436114136345232296541743447439464235765463237493342542117652579522757658133885142954545372557266858854722524745634331765285455854157534687657434851445365322876368163386876924499625316565648366837796996583363585674544287639656696526864579876854596255647643398747927449798713551173642767675947794881711769447469678565539874176771763797568198796561736675875
+26927437132333334638573926436334735393319853214924522494673625332933848347366472533151418814316738373713854824344444574968413754744584641442196432513563351578473644314495945847758364426252992542784948482496593545555568517952486585569575255321754362467446268958475542551615695886947553736311365389515959351761465666667962816359769667168636643286547357855737916958665366272671699715866484742247649162616146287257677777817392746187177827974775439765846896684812716977647738378271182697759585335875127372
+49221157519233839346435434376821533131541527958634223313325225123232243566839457893327346852565941845133226862134494145754654548793264424265263816974533442443633623434335467794156891443845796367615295624433797324551525686576565981437553537637492718564455355474473454544657881526791255495681747872631673554481843566263679768767619254866464874851382967556646658558456565576899263781236651679285898374278466559295467737478187987872136597757598596249317866775776966956767668791137489234776278139691948538
+94142333258833131184447436325874335683247856714721392471535359944662492343217572382853432333653674261525344436994424229555854743698544679435896782583241358264646115577351345432868349396454344476478537263645554711553533166696585471965578154691789369435246937575722668846245654397945141756545558758964837475666582266464427771769658217668926571289147154635714868683377995735676541815625286765666986917594858677769337757553888287176932877913768239125826574682597979448811684678765292673639787677719712861
+98366437869935678223583476335582634646934399583423213143433882522242423564643423372943537651181746641947754897114678933469458744669374575714541169453432425454499363335353467575453448315464876229285775215886591822578914457156985577148568682565227156454353656551147444646457868656455942657598733139688632699761293368912556826719668825967979367633826756546476766225855575756897976756615376861984424179974371187231447912366793782177993617818147874493786765758787733696668686791818786772648797219553528118
+72631944433614349724234233388539833759272236294788323823334154333839762525353732431176646339582417828374215554472545183534534449964194486138334731589943493444526544494187363646484354228775744169352893948532666558365629464564555117521559724944584269115451455563765551529847475759546533988685527146391415964377766947673157567566622863266183515569537122656256667487666263195858686165764419979663825741252617548887715878426867867773397437729462667164823376736777859877737421696979727687552118177493685236
+23455796322269462753335616213935938346943145388363393482267632145322213945537324614534513783338942863456681743337157386444672732414614945715425649947441459337874325643332415664843572564562489444915397456779285444826849755578384352572515682653675115855256144898543675444352677595468367567359155512641856788139655593795186668949546368362679376478622696636725591965478655546378861657947867846126662375296789924176661481629777915165747947378148758973371774783661217658976665748997276815897895723777348631
+39253336553383339393523921122395526332333339133596723457642429544435454354659916662263367436312344334136444766449444141463413223341663744344444124461783456875353165554656546576112777337447854742345544524755587755155525257452433445277485545555523557289456798646427666576765768722388844855896585345665563586669886626663636856354455638859665666663466839156781975753877768787687983349995596691769645677667469777199773777474796746556674996177677777457794126789218686498887989879819445111661771287175678877
+27226114722652313343327335463535359713673626133527783934132391548992182315584432133544386321511482453833722583376342445443844657464646182478473724463889414524341265911329342669554324465549743262259356494483369448745355655495576857575729358958483557499152563545237612243145377166543557665185437336146751559447155985646676651668796868683146916959466851126367465634872335425648827765466877629654844725786266155826619675778776277981797979425712716157796223747857674598344653675993887657798873176595583689
+42789932441353142213446564263172226138534893473342653739394517545724932758829215954684533627628999395389114355246425332455767537428333724964591458445376484141562865683514386993132616579564473873911141649122546635753644356687864853944483517561256955648759525267397679462549711424372768167558498412225275123365774686475546779897596415559462867236716675986163637841878157365182253548387927866951952333638623447688579758665788191861752666157397834782778619727474895298926847629336465949813897716216344474
+36347221444832368249257438613352338316358322437681258857522944817953421429235775223323366643353593224745833255594347935136854972446344942746943354879236996863315592816453253134688633443447775446461433585694436661545814624796518355745515385715446598134711797442661392756436424579974455455888655757254469671554777265692573581762946685662649682655761924582281855377241386754753568118556656699976686836557178266588837671368469287315779677375179376687213569339296648835249786586467922966776771118779794766
+17919443543531412888344333262248253933651132333833368833221338322324554485221183369229334454644376642812155465464252399945544437335936414476224344494447994433244943343566559633229447133144556575548775392326657657536341115665554844614752558733545551555811554435515445467766174433155824425566768665988641343776876864745222677666595572586366984465666266692266554662655657887728554426693553667787977619975245488798797585633378877761668369747719557677737771337766577376676899883966553771466477889818872118
+73878628746423387821836845345941961452451445324238613352518723147117272476243435723647264841425272568498973985753449893294795645615217256356255643534972446362983425822838358735454683475837595253638367951918419686455191431581675672632836746736675464518355747319453693394946984656579458694861636474947816212952179756621254269278678374394785784778657562946685842156471441515719576768156971597274758515892732316328186773236537138978948541589689588976867315779695326758255262682168787926718261838586962691
+27632336251228757536275511868426239268218291216857435717213596313713246794832331442491343336934245623874344736233986864738662297953734137932931232796854682832461742482435781594344255351245444714535673498545584734419797584977331816484524814314234381796579394357285359354689261545536646235655582564678451965669584552181869518844292759563592542534549281768141546839646146579137265664775734676669367578956217677169566329297162995531386167461365364565139287925265794175725768124837677588684578777147868916
+96425863517313379853235343993746734217358255253311541529577324168463733413442795181333738823492619261753697462842448196434645411485784532846936636442265263168843527957484452455381629244484993451372137286471857395355921754575652259689564395714774755337637427995463816859556356649273135559511456248324839758296841646613286568676336179167541682588586644874853811657492796166746775138424666162256735943594186931795275772439767978744728127865279369969775598596492276851381727785788624953577727336784615461
+18372564363139568653948355322277341124132632239343824331858699436593353643414617183128464425133335962948367547424167976415946643338845223524374334145493544296971154761446475452572829423957553624444617315947865853527818752615775444995633463548544525651465531718226587255758656368393153416866473555572842615897696463892986372688655511674457465965563676257664282933769836686976747941426452797758466668395372691871757491319748379976662278556857617667478736877539314487194779718785815253756381886957777941
+42316312434424115416952243373652549531172433654529843663865334223127333133323331383742371776847819325342742354553522652716335448476365164228354476563195477497644533423844424443444249485348288795892143645385346566463376382744655958747627533946558767421658851875564453495553555455535159645939981691325475649645767757448749385576616985873864415766987853276996298667556451666466656664626175614119271243658675175687886855985149668772719698497552687719896438711731977866756277757776777573728672522138235476
+23324259947327335591144318396224344843437627867349442492116234569344498332368313339442135321425216223443536115843844661225542941733545595454873897845155351322734567145551944347942444155324643253632733455464722695495577233665315284465661656598491895626646243384567825666215545815355526643575436474384456657583371651668834477642639557677276761951291673775735449567893677732665692646663775468654758549556776869448276277994558875374166878838787216231278488684655167891478884377671375777488657976586965166
+67457633241553233997283348652463337219637337255543537656932952414137233431552323353433353217978476337856874435266434411839445976357444832174844836665464876714316352524834454266343446454446432818958744896798554637754552294155618746855594328595594777657598782542746363594556537745455756555754392916985591781966574886566331526672985796661543961661588876861989365385747461566764885656686766686541312719661289217768599767744263778319681777265417277269998797219147649685857267787599676779787779765242382177
+42215574286232342365936538534894224726377923926545613329128364284942223626338465335947626448337731225332668539734345347614764964591533583748813413765672443123947539515333473744957644615873755944884233644377964184545645872587517561264469485992452487678355423415864162644458485516875572698486615599534475548817529565675698369862867237557159611356359878946653452697527375556959662798668371959772661164558665992863167678671947197397834866826172246746198915776456371863848666716177381977948216188377227566
+29133682134434463125811239364792323182371368969332489318443384346539652423591896491833688934392838933124479324554557423692234147581343429348247917144359142955449545764176353461291751294479914541394914423558143566566853471334525869245453145935812825546125316655165687528746457231286231558112565241512553466925467767796458244563697135656425614692393665723642776627679863985756834239734266922367635262366457713657887881756935567471824676753672571341477683475388773878197419686794534184537713347874637347
+63463797185627589235465836432435368743736321323245888835111419323368241331273532434695374634333873337457481829673869134657694754354647985484743243435699994622252143447935244238464354571648574544498444856859293178497124576871586546575819659585435454671111573336325455814635534957546568275968565551955596796131428951823568798269765768692176169654656578222268444743656692574664516865767938617967666216661781724253916293467981937187687971328727176576768933337955585476771368577562797687814972817877732777
+15346199336776363993933635445864964547399334244636236343395141532626173413313684754432445986243636332645721144788747411414474655697517565841144535574734745441625264373728452442479586554355619735474744375683225589985852252558576671862867695225564668584585655273637548483956355358169766546672184658585548679433669119696336366968778297397871633667577969569676638474865959416746646927187765778329576969665978154477122171744747717988931841898274477868817167178774958597616152785775713829887688943168717177
+77634244597434395928467558237629442591239469934133222139851344349422636528597171314783223949143433318874535561854541613957866934873155361234157114524433324196245545153374763961828242589433415125454442998564667296565272416897714598426647234526822563554443521735665626448587417293935369154452623656555311967577831767638352791882561953775834563793367466555463284677673755969852831414647126556373476766642217868894287874946381299367216488694567481447857766657439578878486617196394252575823766748458787775
+71244937377637932339239334172238816434265838938366358233268334325237699834518432444438334189734279348235514848874814344134144528334992754537694914947746934437944543634871194562954355554944529184538145934662595998592545524525563944511386564871512515885714554815565474598221567316546666515563129564925614577361611961365663563667415562249767598262362699682566592667658561933267842765777762667423167513672568847272217247677467477852667335187861937347371179367761377876967214437895387688887377853427862478
+95141841131179436551511235332313419242742613923921449424353781929437651774488486411172397964327834941625295224228154766262234644342452135385372413413255153546489213154876288559959752228341817543894515273631633533926587737334575545356324649648352452436626465759132426598739966116186333945292865491562638474274464413769884844568665646743575175946356354773757686124353761984117722729744415631397651267374958538557552487199595567977675785468628615746746588486879723546487219522883383185552674241876237848
+21524883747315372398324254346435556424762336518546981246733384324414369633834275832314338244631336143263599485842648341943536545754666753587344762965719235784449543552547174494538694342544935574244725437461159695375945215464765686577786469845587317682134689555165466365828551564971545365514668535583654857226171648615632657587679768889757195669842879324579166627657747693966267518265647662577964669476596833728275972674376869878187999186821677195398143568127773876885871417737862937675877368817577158
+42373933672251443646695997159539232896668232434699233353517518244774653432141134325339323629698498925348414478336255475771611826164134391777934354571134446462862935588576454325224543644143473171951913645952558944736658688272293727524541288814546568224555757397314669968756543633565475525458428216212475616366915584776979938331483863565239992565767933566686841842577117986765474467658663656953932732358672747712669588718114944259497467634111367687814467779795295368822819787658557876977476716414384346
+33384139552336349899783373413573247861674514375197973253541913213545476372242316453464343647343253274449524166344745191189448452468435897278562548621818436465212432465658748335342756457545475845436438555163527745585621229155956357954691838967365973292954757632354357676985944645386756865658695654754966627463885669673233126616746816571294917847618431316586874346546878719615575649786797676971676586517773857499677178434423772785792768231512895872954242769798545765798982172668675189781878718278769762
+61369923342411245432444831343866737325799576539345824527673333166475453474559633758359221542524485527247113445352235654355594245497784843681168764145693563878444427758656458566174486946133265363559663835822455646334676546661535651889595479227987525671467498955553886976756967728559715724437647466177494693356675744578765777264676299161658133819863678257851916666499718786717883966182683554875857728851571446778685568987688837578731127276924492197478936896212777751182989782899417729379466598696883996
+33397291297614614834377736445529942633253335345577239576347666348155252594323785444648629651364527344441831231872572594548884755663115374436444645668834168745877745926636361543489655575973176247563845555294234298368361565999586677422648554755575677994527985698885613774747265459176668618428735867495666631534531947947267611169778853375966586668678811563819671999672488585837656128777972953984697851677774264564215815837872227188996448617769777978992267492178211178359969694876723988818316419571896278
+34265333592443913436334245139656426456735468777395511434292794889133869465823653444545314485614513314537644461355412454744535624176753756784657988841662254531381599124497157693476455565642559672562442564875557246652356585564673528786486789576819995277336564249261123551826871458756667675366178367355367598666835776346769667578463989759789168792111638844767535137223466293798256986777878647728947846647861977794688745787177868957419186189127981322274995587864624833457731481936719788898975883915895775
+24334847338666668244856184354296875192913224355978742553954349334734866932332696648876417932443393283544595844977777935596729546531798621312433546618985366416545144584597714344371775998752814355441439465561695518888814661783165764281973242354465772919647752765625569561882545548288611986392546655254157667271662999992577289427687539218435346557688312175886387673667167299365665939972219741365776636526877838277311111368839153879864132954645766879942328699749878477827831147677614118332185247688774763
+13766325925278232343653517974343568544313878693226526232223259841268382333632616425843346556641311622487743613638934345476462818545467965542498971433763734333436195237949344474372753695445766775242273359885472474914545658757392965657817665351918254487484544454721634815145558548386471655687788635338446199658358512565676986841317676892877646212936559859565556583274592625666965949758276679889974644955721176946962367678719795242878791398875732314766196167666769438561373677717615186938778199118575516
+48252133333454683194334167167416246145139532322368648122192373324942264357929569236967223338813259495936324444456579421544527827852735725624164343347975923321348443515337546813167134717833444992436151614743555556768153265563893896384683673527545445818613443245955462644865792427824582894455511354726272585466666787926437667491491749579478463865655692972455435616657375597681353893569391556662246583738369657777789813754877851251285168158957497676671318356654672776848661879246491467141266777335769484
+13728132433432162784136511432324132923372193292113582314788832628343322653175446323544551743312434152483924354454327389524762254343524313448321431322469342589994373945443376428655743465566285442354526359413546556543849163587336545463542455943254243357145369111548415655448753976685457667739655346563746152465766765495127469844765657465356615436535446825647122265952676655986418779656877884176645767485726357687787651623857195587676857646772654764655793675823337616378776619752988176798899528775687859
+29413272347953733289437533392332242592652534243935353346332568364333122739347145234343791349263653363152438345816484439154864441344335361376364535414646445744367947544423384145825634545481245137476447426354945692759554126597555245544647248747564652575755685547815865553449525693674565659235624858755853746515671386166523761866635665575835985867576368686679665892697666455163671478567676134673596986696485762678249727763487297774677668694619697868747979778177691371877756627478258967878724578461719771
+95911568533565366383725177383277143738749552877653253843352321522167223971431737643631857944333334951612267964467647749483628849438825484985166398876436495446343263327833418254284875474296815544444516272337817557875885159473995154993659519627741998754751655745437443894452936539598658531792665555562738344892866898699626158411626511476162173885211986586276685654855491556314764161976964281377666667384945591397791971173726952273762258727328499632219769738779676596651266742587527218717539248877777849
+53734749431322462152512248333249346561692596963288769322434621633354363372476137711322314345834358946484585154243357326362335944435145767271361717439987143354573274446547448358724882243342545694546915759569626535446843747344615554625687838247282854119825446568438555765855946983599335445365671565712686167173764655795485845572666573679894935839396522193655767954966687696615719461144655647678267682379727828487576681659695668377768478191514694141763321476687816517779871772682157225576675878937879348
+43294535227412726213892939213633936492645427444242847291296529329223696263528177334941744115238323335431564633852383732491314132474414751375653855535395831231763143133471737463928844515285522634943444654267574496349484351242524358552586248676496664641694234287425424458284857413995562639663374515455576537868551745159546235363546966369735978751777575271534539853653556939596852411667374177448562656668764897966285626165734647465717747184618986288868638264564196476466714161796352277848528855967376777
+24528896283385211484145733725226283148162533773474534216837358451464917939373672282119883323334567243563991739449632259525684483633739425927364488458564532794846956257512814148478339322199443444567835467411284155174336163679559474484153613847559956967564381595716736862392525958944143321155455567894657852239526628544727478166158559526472495866116717867549261682784797341363616915525443226656667891576896334163773965583858927726966163758351697722782897865137279389581845247472712663655433776777891268
+13883824185522718341579368218575898383379486823744645965253391543347433395212992928333783719134338262499493529663382945268147932968691949448159793485575617636441265445854441632311313944489482124544937351151463177449315637925814317971215155926181459668672874755237655696555274342242415559159323565514846226257428855142674813692542818232626613729256177978398586634876671766638545335352666126143467662595733736853996625378592471365392934373772483136728818941969774598778287774965644646377723725457877361
+54998373379348492523735165835526888328139323634223323234843395137337236643971572224255313235763341776511948448145951363484627694663799943924143474533443434595441624844834775418268333536642434687445288762215955925616247459573871577481115413525458564455454561655273595594588652937944464775354579855639987332616613672735856168498268859222652463656967556656567276638461661569976314815557588646568196674119844372772478384696727951937996133376357476717866776767838774957277267118742592666869975767921778522
+35325158293343743395344335253872232445329252395242447324853173395544147196623593343933685923371454334643626931445485441645544636498334355643136341635355843596428441665525821773461445414479613448256544575473714255659655275665574751944546675424745274646695461753955277663693288457255652558172455936765568658482536676176638677668586215565778653585638575771657286416638877471439956836676366928356614787667976959364778728774978877969732667688976469674968688276839752774998858254116794778747713946772589877
+54463243473881485535339249338214477679462112883884211842536344431753294483913349222453774836366686846557435458499259664644135144932558878157322399499532295364745554286431559412445133356488594747779795766854656951136177575524625514366998926843341151164331647585666539754266152355624446759961585888181687796576716224728868663573662547711913795445226227544275869677764186537726346673555786117269699929279881768782733583997977468477365882212481655633733865538697178887529764883745778466689722837171113138
+22589388142147931832221472639637166423225827347567828124354353623753123273649946784528443238932341893369149925325814294333258374174827753433693845867893923546546473486423438475115789563955434914345291447125113643692531544436948528593886454471495697891413465765758459753454958622689167416654512545631255823622475471364265554715963961499756558251671891252457687686956186456516973379127852776562365674236693473358658247537666582617417251186766936278291236356879879716729756762718448123896388767347678534
+53755586286311925893253533769834343634158266492572231629911314131339442893226223942634431313333258336486669739742213691436464487194545474526937751368334273112242524244155391433733415374554242444436944759777184185332471254757559821565658563714886247944538422335363535526641254484452648566535355554715586188829529644358236586866193267676967482599735815564953344647464663775236559556375967764646666582669729993163175546934769797721437878717859361184692667516445575857577488634766166748617887575777769377
+33286819345453383577384283243125368647423325313643747435163461628114621343373168942734415349334439834439792145656449468849539435423647975853443642475485854627457273922573245448427915384552645144554194554181325676755157995164154653475818696455475358659696573856838413368435655953812649566375625566521566529243678786626811627526576458692971756658646976171768496794952447954676616492375167748673667763267763135478989773792273863768756971318286776975718728287951781516355816578772751348627885978477887437
+62478363614834335372383321222834383459433352236216596335624471332157243475683254392619336246965332337358947472594544648349443233394549456154446334732761744673558244326835458679436541372144735717644344846915858361565575945155434441565156726555744584387285578466935543794656978154765248325584682875545595712696947267668615626654555267626783766685569549839668957714665481576718926587635943669579398665661682371715837877972673776566637873789487779667165194177916882577659268782913769874615477168141977677
+27687254725837974168695733831352383442796341322593415652154335565639376962928424735331231335944137433879836583694818527971684494246349455381745243361452676326544667674148717313953584644234244615524854498194769471592963818279551535745156649285635447256378743765577878525982842416469575534535572663596551921587158261317492938166264685626775139674655836748985487668898963619395352757168664564668377461766213269826937242851314927737579673788624178576694785919659877991917472141646386827977567577948857287
+19345379133615426115923463333931824258342338813364383413441236548558891745495463591663293243337139592145648124472653722613457444414293536945344992447549452455234765966991285651657461277431435444824161325675923558376483372456855552531464715645511355865156356634587617711239676276857238854254655593527243678613466948759448356796666364257582675662246697626746774569872882234178738796834996536576661463835478972457715986155946781777747536869378677335771873785788567198399334528984981794511764768777257494
+49234283339159491223626383938347236539392736827393238447332658344556333178171763836378497412228435215134539444126151233473749414945834764141384793841434955844376945566744428928287494748951852333954632624564155523726234458485152515694587525249581495254516695548715667785553913939851585916296344416574373567526663483734556959626362671569863635169251636562771665982677889666412414196269612731745552768548467863777459484566716173747378267197474627136274767388277619378899177752352521737172384285666387965
+77243248536573141433331281631532233396734337293424433166942332169213378211449398156295387473679518618835435964768425254444239274264334441784544831453554427715344327132448932255141926731649858478162972994654617587953636555534138537544555289565594256466553882645543824355914336625213784275196958927318311576572869816474766664524964865566639167661536757766499375665493546612544773632489538621716913842942268768397192758587777563517597667774127877264786887751148677651465772365588474359164973282712495315
+37125548835945337331444682912434936336418964977383253354331422564273334534317729434333233643674663364823665994615644844255579312354514744752917518849436446544253367538444564542883154544434475478577447593477611572675595536668142346562585586312862995154755765536447864955567565399426565554558658968855861458872268378661664777925345767369669742397311626586687664755897516667867641153767666566976917996697256998337948977277588813645687847177185341842273769779877586691862777897875226487877767718712811771
+18916554236345623359235326333944389256172223633626354638343123363487424279481838824688637534448855242912766534745673446134643744415549136728333474473746574945423447459853538159294993579974864555996635312387764585678455724575485552665124783944458558485768515653455856196464926131511468118597566611774642349887569678956683568659666377623589415556966959687962676456696721757513724262257922961867772288575345199867178916779467976177748873469152666717716179817378756771783286862483537336813317297888339968
+23531139359482221523146624339931227813223741825332423571247679563153159556885934236324473734784541243464224146159333263425773544114233892433485293644353468235878167426426166799614534743558484589565235457533525726144437453688465522534491354459631475546457934698927853753727781172564585466959569167634656864463683725554856479957663364551246556174258665756814571913896486483889228367569657716167127874576797557479483666596758116877447566235766728536977686792568212491759759499133947867176882727823898568
+36392253312243413493731438338235498647126337341472359824425826284226239338353175558928154131511543314741336442335452451484254944934651975823744845258346193553693739533734144946428666913926524262265442585244755344656356259536515514576218693485595636945721466471484164484525515753977712413763537337655369635586645576746736164762662568732971459661674715683257758259527559563662686418882352487464844876647174669775668785784727587377367984318256177278582679436886936163866167477379752999346359857595598775
+39223339754239824555518649491237814347631241469334633732835338743836433975282572236333932555564396634133444186534193566662975151234892545874235257144574484394644985494754418639368334744414366667541774524455529764521467777318626234591365698534636825568559541575519651586552974147944585552547777865288563556663187563257888842973734561247671964574793667966165268662176269766318525815569666365888897639967466777429867436899995318484567235878217568581477817727637977328737187742963692667177747699991874117
+83353732232314932324952211333195287535979983137744124971354455944623395916533346427258545431752326339446484334342514343516332244421639864618119424885523518246556615573441612764445753836965654286343744155759544545362545462744335553274197572922153599663462935766772668455272387555686494717676539745485526686165565647365657385544666438521868313326461177457314687788377956638349866679751582878764185659663779727667675847676849665577754963297942443757228856842579889948816774945197778186269398987529676177
+13154989243754118534973115542371126318894345163264872313845474324427375972635264447343623612468354282426519135486522964518422665348223742991545627437598342495658543553848618374637555845473472357946539353762124659763317562953377645933485311265673854861945351676965466495972948574866695658458346815764146487323576187442867316448875614459642237678496597215646278717657751618315968597771676956945792687525759843468729855397842755998672556175334878951761832675738982876886272942617961888278716715681379863
+36383312358342914837836138537323175815721337245649122912786113852534657147572546283487337313167357334749442346945312594894724964843428692683244835675123312389722496364576825868365739459844842427846844585155345715642361591583517595453971379435594678623442349183351747568793697947684156195595353895795569626645682675347261269462861656418248154661578973455345129446285867981471815879526721661646491681667173775679378645837237157397276752935926577268918456645623155739697819258292698163783277275751279277
+33641296156487129515473688668233737994334191736669636641424834523764414554765529796843732573976533874475231726759823162658479977934484811544521284777174775253594563487552566587663181795484368418764498558634283786193427376958118814559592265563239588828588636461567459866367769877429281659547952987551966974539489721453848716922992566161337667434169993969974757267856197747887198853139276165816319866217718564159183256495982713311367727244877854527111417118586837896721885899821996424138727692742197732
+98934525312543433744742452572617552373568465518433324472358425236627533289344331137148426362824833221914563642365454485585356368372866348467957662954443558346953634773864439145544224825953747393594433212567475347656559669646747948397745957816877316555466945716474588497554125665533593616485841461554432367858645876766177175785815941885616892798842766657715682758569951866523677664461472759695257266554347896975698787728828689692615299672791381995387776882679386967116297763478877557258386171636837766
+49892753132733495494398134717244164256155233633311724924199237672469335442298132293655293433336142735191386424384451651541924582835527536726634474442283513521134878357144655331924331476631454444725384621249753549556276265213569394663864783774558555339462463224598946825576644213544258774256555583649573235186465166738737632467141577497589488566966644157357433561915793668775532465536988536766669475168434629757627784984874357825268851869159967717775526846854467212681477988664357664719964787777158627
+93437523432352693428233919425117357391254842744353224814533351415434885554511323374383842934323811311454863454346371453934412153622846841236595385546433592564446252654599666562243448549495314543492242256597456545748256414552326473395795234761649665754461367555736376561177767335455965151642565451335336761856765685936752566343758441681634587275177686557247866684748767228887844656617626275367656244644787296787679614786367745486955279274569838628879766835897779585987833999895576772873738647876735575
+14232453272523131653284513958235334334293999187231233863214314514284546864946535524294581335513354312534356438363424276439562416934644544531411129834234497432542562539565797515764663531569244662446542364546754947453538754167352714575565564252223194534551854365367364167681862687577464267135577355765347565786515856464986527846382568667667536333421564566296547647847527879297379868857537824668846687645867689762696757519763895749367977877864744453267567731765875895863898131848197996864893577995779875
+93622474288226133155684861363483852435397293163894382572345473524163259233265336284423145567138697331473358539933724426679597247459496354641831427491549368345658463527436134437644739553425667824971844258446964114483553778161835856151746575294253851265147945676957463854724554875584166453677893518295536955717522559466488927294696726285768631536496237625815678716857496583566598669527756478891462931664716682863366157759913831571783739687974264751734873692678982796851769467761977163886758991257314277
+36853434629338232367318149546839335387448912234142727277327466338423283933824392387399964167132831484796454573144934347842925165794144649855912334525383838843857744953439414493541349841117527824394259581756568425514545895313627681525575196612344563649494995496885516454152551465245195222863893541536169286767953662565691642473879263668621772345567475151511651799662756526366257635621633397491465264727139787816477367671275358498137477973288345667858626262276281177386763747736874673274441851257637583
+32342134765224242343361364414585342543632391375351345648831331326267555943344543131288659951573294734345324587633535345447247552569645365474341248646245675994244243737866615445565424239976116268431584545643569874464645655835866367175647658545235975735678611535535484897772655667653534118722737954269565675467198557575676694697747828675876965634618684678972264664659591888376677876464522983384816537167678657821966868678771571885893978698717674572979578918337577576161299948778898757563319449592764827
+41433284335634333988634381351238229949351343322315861512335233786823477338753619348486512531146455275254439544674544419974549246234933115146245443342697262344634489793458844986472145959762364225756638636554165578565552118565135734514422625735655445371837345574559181456995519758325616187347533686774974766527668967666322967624684562553373684676655648294845668566129256711662186943672729845864479788518587763877917877743317873579567366448479578776675931595677967723136782277329715478383195697558189962
+33554192162383934751387993153655625449251532285666316374547532671341421636192336393854593119334947594466521327349414586249811426476673655136264339677742748565864378245253274721344741496561422144515861557763243845152569735192253758778476624737544178885385967697548935636438583245585251767253325562697266887435495626367184621336486988958773584865528999649617871865914674754969435669636287836443667371837799854651673747829573244759719916988469597663911175172898297612578586517154677174739894755477848294
+93146248931851464342833371323492863291581324533917391943431533392239755669212481363596779368314425311425735914296257545394448243451397431269243564412841215454264441334186677132359247461788147942553642253684612531736865641555935456241854237135467552395232656537555244529778824346135857289925815366475336479572364284797675266614656735296534824657866341634376764866635563188993545724696839113692647758644758168347539581878637772576784631764593576897745274548787597774667429911465683571794122471375886975
+35334913837374624474231353322952845813823743293633783118378395513543994765956989277381387333316238644644512494848573558534246443316395692493485431474489422948941662465411587616719138849249844442734975575562351595968466964535755442741671351459654258559153315915277357652269872782124995135195555384518668667346261617957717564686655385278246256176536966126442612638846876337198389323511624621666649562977977845737272816882867579776649638935736728764717723755372374995798744821949143462273573277775167318
+33453255237717856152345333669352283243836143922458411953641395874537926245633285323773333783813251634456436634882896726345644477146339435494725413356952216475241698564813735674439643488444489492436274556754774599391783745675558825744154651583652446716332758635271967592484678554175459955559151354738566786588561141289485678666993685526576269476355782744386974638217861359578966528656116666126246584967789769967225239159678977711479663768737158746689385549718574932897246168917763976722777723735769517
+36337793372933339544791364341275751558355447594635413413938643323792475433832533393253571697573577294744881448314444165581247545238686266946655861574652452414975443481358654494364441436468271868468831585599255942555527669235865634979737715776697268576356352518655459246976551547555254757938297957994269661136615366663877134697674518184882688771837968746746362976656135718766265866636586814931816811537177224772647777498824571878562929599379988294817985785747318776724682987737697774769792514292792264
+98957625444993495183236335423778233322882471321132173763532212852314239332631477445626249237934184541916873655511451629434744653488934443399358243224328487464332396342534144374258855673735134814529565212798476662256273154585576459914555441146935433543959857544341745364525548536996678484624592563167632381958777336738426569668756112566655225714654465416196865545285647563665964711778959573561367427874349216988844784953767177986722367776633682576557652721797665639675867477617582288916168467247853898
+73234399234427493635968781777826336977694322698623329334425963592276363191423325725512395734333335238434541134553851474617989288893744718871543371973443144553617461338747421253443683662341684544444634954565224566496258572819139991485582998265448218455425566472857244985853236455479477345279565555574516567633567751736968392124111259669311937655932956653667758396835519696434756658158845638167666668562767874467886284717941323522236177142214876614316776477886941794662171754586776926995674927877777967
+62938538443198246118829835889339525437939394353445232736268263363337621347273334824378563394389342367314964955421935722993194699144163654814141546455634384737937447444873245838444593548967441549145347842517516653214683311421571125527476592525265756674549584814855855598435694955561465917855265125645895362862776432579442253268223663858761363637686778565169592596696661954671516667257612896637623675691647397388754368155336437933477496987247474879788967627161361771777216578262777836872391774873478671
+35332495716273445127935332344454513913133338113448423641683135964468893793223233592446333494655572744644351682738455623814644345556562412424444922455953475279424617557991481433434461355744451576668385575546279384956673492575545666767352353555513356616458638153572866811259254454557246685556268777949668665738149516778451368665677787846346466662446772756974926468397792236136556566835779666737988815177977684925162788956247977678889895745757777355788386718513757941881334724766767794688177784819992628
+52347234745345452968113681267633187331361543332573934415342232733834286589293339429446823683883662386345834585645656317922479237874429844247265444368414552645334384494539769131444153155793479499477349745694569675676742813358134898553195535837655547952566375644549551564187124255526426681458151158845185671567178678785392446924591966421664694876665816367748675565166267529823536663753779256926226995629678267828978989641355713561217753277571598777692747885978667627737863193464777486488136713733711673
+63854333739542725773371472347234413634353119448482137336341233327114293226958396378541322638735351547496544484165383688448258345834552474546422155959324844745234443822531433716941748965243374984646265851765559527649479955936945694566358565753326616143595585634555493364254482715285917635448519575737696287666163875158116614715671567746967686443772725461669674566651447536559382639612874655962168684871739877727498626922772582678267885717879755488383657277178567776255864766149374172398576617327979598
+43763398335973337292269159424347133365159421323933956773155663827358623934843341331394333661834351365487441944618444831337126153545824447626153243414416788426677493846973414595445244241544477294546247659855215572955594244823726465693555873726435452552789953778851495718452561655635535265558831565735876196632668316661535593483757671466698483754656366389116488996251682956367276674664637666994267684698721774377942777264661459486878257771959486576747749122759911736279316747838778577574877711537879571
+22376528268986537281179497663233778437214473884639473317745936352969569798523342273632393323634339333348763937919764839228151877434488954832558499574158442885614746317167181963445338474341443474544144445987414812187594133926298854559916594366951168526955399672585742827829217455644958545255458565525555619852592329861524413731996566112761547716227963716641178369685393893132856675516965636656967663666672196361343197263552484211767722387265882733817482775228947179641491424396778662717674776717877477
+59336754149291844225413144732429415583535134124898883454321712295398972238526435715861731852336764256144786525131295533652425584353152669464624523591999456543282331641918334963754682697284296344787536725589763624231664476353669546426377157573563461211156765439344275212944517486579371839531745589864783669187473534277558746477165753748826868467457232226787654145538632315562859768148294164285669197589477129858464538866985758827686485993797957856834333789876525664974342667396187925931527539677121869
+88362232511543593323142394436323329683133624321458258112635335664385573363673323227187555441963427449947334362265461443425341554743443179424473543256936922374644677549668447478443433829866655217453855115844547337657255453645266585455428153558465436714713348575578865177955858955454493197776632856496622695565844876836656475637769656653926466957654782582445968668997628816696916656551421888774396751773371667695598794776758674887176776413757716876589369355617977911873992771712776766253299988541786288
+57543343163924426291385312196893697334643946665123271834415353839634543623322864223533834584182559426865445427413553731249642321791471844575415777623438294552646494174565473443397533464494569529366153797655653852466484235175343281258295568652688873454931566375751528567658455441864457551567163147726481876676496357759534628645439236931667976379998456514267748686263967876956655297556866267827425883759298778751746886164573975654134714277818748111956762537885979737417898716776631866797737893853699486
+19872286611936124423344442323777231273674257653327443622399335353294523683214934883282699389344438392198339772214723553445555343488834238478536876443855473341144646431563479432514599439371149145554941321944188332583466455666645459994534958964798755496658445225575754267458154362561154148225125666515243215529944369457756677775656111564516917581986651776955633668686537856926547367226525933623677762635432663115547156886778888676722267562712869219776288716674477979764896713765847833763614473478887374
+63288446753292456963579547335682181392333112633325864142442635235516634237549187484224776732782735157439955786431356717468165844679329241344422374443697525355374634662774534865129859533588784389384626854116689754246782857927695578143135245553348555471863646648574577388564597623196164469989549149573796522779186535789396813871668925424635666445966658297475775968568849967561873421727557119165125168481763388129764689141792498277913653574677755617776931858688617967995117867298453283866822127623627959
+68453739943131495583346319263937277313594337422224281634724773332361398636315935572428972836797282347956484115424251669445742137414838842461544853333539274583588444347241974742614668353918394781839345816759522653536277155685324852594995357265596444464138569469955545835218585372577946412941589294145692786163376464738826679643596361511646837661755557524967157116665694632969648368815752315269131525671389727448757584993778175461747262275794877286666863517826822777671574317175947992686342637124263678
+57514643159732842333392882845372836684453435435813169563584466173328839515744966824135374784333973236862575426184395344441399395648394779556454654692427167469557728443994162685517793524648589544418434797368653729541645555241141675941588166756576571353827857166883955411527379662881463575969165552954581847976483165275666635225278615269927786768768246493896827799416652263848177399257468617127666316569295818759427638677774633638972637113889787987935751491793881152776337495928841136857972823877742767
+88524797312323861164939111332313123355815391143488436668783243188758479644311851134128337222179341939963581842343497227514122244342423446692641225459954777989435429986958175542296224523944833328145214117469295345451833862523335545353455771375233656116588819154653119716928665331733563415594443925632522857131645656294497363444665646456688248634476722769992126576422182713977644284467452661555413674363396824275676731551847455577675756779935974558783387111323768753329382418875539557856377266652478547
+48573784113221866671447672323874443413336253245483629149739518298643397389355735793543223318964244525968489522433297778255878343498555452444736435659473125184162931975441849146684681465433442917535563617959163354431888936698945451966656355584754676158423629527314218655295125779579257654455312864667472816127446554299914771915656217776746669586578726953473163842532976631623688168136876556642397577858392723855766531112588212676732888785777169768983716458427495364318774273479927924798766775341868896
+38682335533321437214638456744234732769456333638235411741428342292918357313532124528944535334483969534979344664443254832574956785534584387156744474934652285253945331312946842464323563915564644559417164518145577555436594368516789664569549826785558514576339636415644242315795357543467412667575566152827562925668866654761547962789177567165193789666962568744174752675535342681646865457852377868667726393867313677997776587265817389128867827621489177717367985528586378664645379275797656896348897977883741497
+38553333628248593431746494138457316139283712325473512529862373539313564838422934491152737789397531494966444473935961454285751524956842724139482343658462363197348464142467594953314551226384889141864251517755558414617256539686263516795383524159345476957347421845957525357861516442566233749599125297536262886666952572836764179737462781649463526145658716845853295616863646897262755367734485161123631864737399777716368394787528184857389275157463725676982795696431672797475791837386647884559627223474297584
+52441453975919792243938795784729423525554333927283824465964344681876783523693369443421645133628634336355256418612181335414981689583153463666544413839493557617545579298789463471447155453275624473974544746636752972329244652519279169426457477765552494151466872865668131989157458255826656438673558418565585774786318343135576362138127153756858887666351526257798397677924219126856936693776754978466952967669688589742945424668747324923826486796999877746263736881941878813532123796714771488786518957716317877
+86363457918612625974827222972335761126332496644536483733433736267537344522495738622781284365112714739747456812972373618593833318344687223744351775564759484454484737864845563351684973389239547622382584185856792318348472961494442945579833485546288667586159556559584897595667446279518449134165873349369529696781342945958317251555315668194459665739977869726166766169591861677855738162955124527698445147163171789245315616942836266642677921556177684118897183727787727161297278896684927316623563871955625827
+28491933932942441963743456383258129324122682572113961122227434473793369151366315633588917383343643643951214414315355217485456749436923143523379368322417223333854558481447126247742674469912849445475475416232552542646632859656785154713425463448147943352833444496566959255823735885378557112395155658658652734366365375774396176789626582453657455925815446394455551767716136693484699648966822341626676976976384547747648688541728789173769356476856613692655741556666287882724771459571175917793345273778718718
+35633365413397395263133971333549763384338772193433751564658123313738629965136468256845948496735531434674447652441841637424418244465187449544988321454486267576923442484973117624757936795615951784664254578555876355295274853552935557629855165519943256559737868713455359518422873586814781672616289577536568966698746631638596466314666873196627662115436766184897982456646162953398469792589278372739168864767917771985774274961757742577798421773877322654787729591819356775727316441957181369138948384127997587
+38542325331152264394545741842756515325556844453456814344351384636362621344324328311336137497858461434965343644226337541565685295386762643666795556456792545546249574747373245543543942244724851896957254517645475533744865267679631649787375477781666756781365665735168585848435665465415335583596291716836562875658664485597637878174275189848658889277786789247677684627969695954677657652644669461731282794767398676977559661874898928538629195976999138889789135878879573817171616578876876375577157284239381587
+35441543386323272565494337446444864852566815552447534454435541454192935151144685437383544193643223394655265449743438367651544855755597596367792666355864556554665256521314626225579654849465521475433441576637655185454947876265596686661861747881377746697566766577636763242573733668176595157663258654455268774876629656515898737661779777297285899248885771867787768874787435368484477928761626877436976556637988598773176762691984877288188831839691135999688297889887998589854647959558813987273798854718766774
+99654146841164654792277493184343426144615574774361141363452322965417434474394642357654632374933425421176525795227576581338851429545453725572668588547225247456343317652854558541575346876574348514453653228763681633868769244996253165656483668377969965833635856745442876396566965268645798768545962556476433987479274497987135511736427676759477948817117694474696785655398741767717637975681987965617366758754419858138551819824662284753878786158815992822871558571789676641985287882874818679219817672847786986
+37138548243444445749684137547445846414421964325135633515784736443144959458477583644262529925427849484824965935455555685179524865855695752553217543624674462689584755425516156958869475537363113653895159593517614656666679628163597696671686366432865473578557379169586653662726716997158664847422476491626161462872576777778173927461871778279747754397658468966848127169776477383782711826977595853358751273727257398368788888928413857298288938185886541876957917795923827188758849489382293718861696446986238483
+51332268621344941457546545487932644242652638169745334424436336234343354677941568914438457963676152956244337973245515256865765659814375535376374927185644553554744734545446578815267912554956817478726316735544818435662636797687676192548664648748513829675566466585584565655768992637812366516792858983742784665592954677374781879878721365977575985962493178667757769669567676687911374892347762781396919485389577661316578848589298198983247618868619617351428977886887177167878779812248591345887389241712159649
+15253444369944242295558547436985446794358967825832413582646461155773513454328683493964543444764785372636455547115535331666965854719655781546917893694352469375757226688462456543979451417565455587589648374756665822664644277717696582176689265712891471546357148686833779957356765418156252867656669869175948586777693377575538882871769328779137682391258265746825979794488116846787652926736397876777197128615969788871448868664999398287143988124879341236937685793618181559922795789876313784741898788821823972
+19477548971146789334694587446693745757145411694534324254544993633353534675754534483154648762292857752158865918225789144571569855771485686825652271564543536565511474446464578686564559426575987331396886326997612933689125568267196688259679793676338267565464767662258555757568979767566153768619844241799743711872314479123667937821779936178181478744937867657587877336966686867918187867726487972195535281185482298342558123477814893288114728929258985514897876869898844717779797812929897883759818321664639229
+83742155544725451835345344499641944861383347315899434934445265444941873636464843542287757441693528939485326665583656294645645551175215597249445842691154514555637655515298474757595465339886855271463914159643777669476731575675666228632661835155695371226562566674876662631958586861657644199796638257412526175488877158784268678677733974377294626671648233767367778598777374216969797276875521181774936852363728659998826989537978978884418548831573778275934487847888961988848532717181838798663229288514796347
+34566817433371573864446727324146149457154256499474414593378743256433324156648435725645624894449153974567792854448268497555783843525725156826536751158552561448985436754443526775954683675673591555126418567881396555937951866689495463683626793764786226966367255919654786555463788616579478678461266623752967899241766614816297779151657479473781487589733717747836612176589766657489972768158978957237773486317891135287772592731888126276858158489259869184482885894772328769187776859118387926918916834888459742
+41364447664494441414634132233416637443444441244617834568753531655546565465761127773374478547423455445247555877551555252574524334452774855455555235572894567986464276665767657687223888448558965853456655635866698866266636368563544556388596656666634668391567819757538777687876879833499955966917696456776674697771997737774747967465566749961776777774577941267892186864988879898798194451116617712871756788778571888211884888585817857667785117288788888568815237891329797519998191981921556222772882398286789988
+38337225833763424454438446574646461824784737244638894145243412659113293426695543244655497432622593564944833694487453556554955768575757293589584835574991525635452376122431453771665435576651854373361467515594471559856466766516687968686831469169594668511263674656348723354256488277654668776296548447257862661558266196757787762779817979794257127161577962237478576745983446536759938876577988731765955836897377266937721786889887388192818181536823827268817334858968785619455764786114998768819984287616694791
+53891143552464253324557675374283337249645914584453764841415628656835143869931326165795644738739111416491225466357536443566878648539444835175612569556487595252673976794625497114243727681675584984122252751233657746864755467798975964155594628672367166759861636378418781573651822535483879278669519523336386234476885797586657881918617526661573978347827786197274748952989268476293364659498138977162163444749734558799681869776899212972863777268418945893889721838585916319137958731447576151924918827327455585
+47458332555943479351368549724463449427469433548792369968633155928164532531346886334434477754464614335856944366615458146247965183557455153857154465981347117974426613927564364245799744554558886557572544696715547772656925735817629466856626496826557619245822818553772413867547535681185566566999766868365571782665888376713684692873157796773751793766872135693392966488352497865864679229667767711187797947668289377699948782479571398426881788486281487798324671441317759946351897697578133177887882229881815877
+28121554654642523999455444373359364144762243444944479944332449433435665596332294471331445565755487753923266576575363411156655548446147525587335455515558115544355154454677661744331558244255667686659886413437768768647452226776665955725863669844656662666922665546626556578877285544266935536677879776199752454887987975856333788777616683697477195576777377713377665773766768998839665537714664778898188721186356599819818696744489988872779471858821668788848882448877688487787911994177664882577588991929983229
+84989739857534498932947956456152172563562556435349724463629834258228383587354546834758375952536383679519184196864551914315816756726328367467366754645183557473194536933949469846565794586948616364749478162129521797566212542692786783743947857847786575629466858421564714415157195767681569715972747585158927323163281867732365371389789485415896895889768673157796953267582552626821687879267182618385869626913843427439297884347648249189159652691791699187978426881716437869366373793279898137829372949697173712
+38743447362339868647386622979537341379329312327968546828324617424824357815943442553512454447145356734985455847344197975849773318164845248143142343817965793943572853593546892615455366462356555825646784519656695845521818695188442927595635925425345492817681415468396461465791372656647757346766693675789562176771695663292971629955313861674613653645651392879252657941757257681248376775886845787771478689167328788271677431318273116642497278572476475676241398136376815286836879235948788699795689888258979127
+17536974628424481964346454114857845328469366364422652631688435279574844524553816292444849934513721372864718573953559217545756522596895643957147747553376374279954638168595563566492731355595114562483248397582968416466132865686763361791675416825885866448748538116574927961667467751384246661622567359435941869317952757724397679787447281278652793699697755985964922768513817277857886249535777273367846154615297142816386883541878189855839238976381471171886619617513387962492838896899735164688838447895726572
+29483675474241679764159466433388452235243743341454935442969711547614464754525728294239575536244446173159478658535278187526157754449956334635485445256514655317182265872557586563683931534168664735555728426158976964638929863726886555116744574659655636762576642829337698366869767479414264527977584666683953726918717574913197483799766622785568576176674787368775393144871947797187858152537563818869577779416483712982868512421859481187773389667968728778589847988641425598215881829896926364867492997168888152
+53427423545535226527163354484763651642283544765631954774976445334238444244434442494853482887958921436453853465664633763827446559587476275339465587674216588518755644534955535554555351596459399816913254756496457677574487493855766169858738644157669878532769962986675564516664666566646261756141192712436586751756878868559851496687727196984975526877198964387117319778667562777577767775737286725221382354769786286798997966196251779883821719518663798821917549822842188977867388868887888684839783633249346587
+34435361158438446612255429417335455954548738978451553513227345671455519443479424441553246432536327334554647226954955772336653152844656616565984918956266462433845678256662155458153555266435754364743844566575833716516688344776426395576772767619512916737757354495678936777326656926466637754686547585495567768694482762779945588753741668788387872162312784886846551678914788843776713757774886579765869651667887971559387388115669986485277989949898327342389599795766278912589995488782486888599768187697176277
+78568744352664344118394459763574448321748448366654648767143163525248344542663434464544464328189587448967985546377545522941556187468555943285955947776575987825427463635945565377454557565557543929169855917819665748865663315266729857966615439616615888768619893653857474615667648856566867666865413127196612892177685997677442637783196817772654172772699987972191476496858572677875996767797877797652423821772391328879611878855374889421792888376528388371119818321258751796968378898611787881898881876353493288
+53326685397343453476147649645915335837488134137656724431239475395153334737449576446158737559448842336443779641845456458725875175612644694859924524876783554234158641626444584855168755726984866155995344755488175295656756983698628672375571596113563598789466534526975273755569596627986683719597726611645586659928631676786719471973978348668261722467461989157764563718638486667161773819779482161883772275669776113974278789782158218418945977937283357857219126887567482974959777827288492188159327299488338677
+31244793245545574236922341475813434293482479171443591429554495457641763534612917512944799145413949144235581435665668534713345258692454531459358128255461253166551656875287464572312862315581125652415125534669254677677964582445636971356564256146923936657236427766276798639857568342397342669223676352623664577136578878817569355674718246767536725713414776834753887738781974196867945341845377133478746373477568824768998992867146678582935787864783682452588794586499884989218521797815645295648824458985748458
+74574818296738691346576947543546479854847432434356999946222521434479352442384643545716485745444984448568592931784971245768715865465758196595854354546711115733363254558146355349575465682759685655519555967961314289518235687982697657686921761696546565782222684447436566925746645168657679386179676662166617817242539162934679819371876879713287271765767689333379555854767713685775627976878149728178777327772892835364127314578192148298798182439838287687879144448166696587882479688673818798925183928988843888
+26457211447887474114144746556975175658411445355747347454416252643737284524424795865543556197354747443756832255899858522525585766718628676952255646685845856552736375484839563553581697665466721846585855486794336691196963363669687782973978716336675779695696766384748659594167466469271877657783295769696659781544771221717447477179889318418982744778688171671787749585976161527857757138298876889431687171776189265588233282855858828199142952919385588979928278289885169618727263896886824931998799154279828288
+88745355618545416139578669348731553612341571145244333241962455451533747639618282425894334151254544429985646672965652724168977145984266472345268225635544435217356656264485874172939353691544526236565553119675778317676383527918825619537758345637933674665554632846776737559698528314146471265563734767666422178688942878749463812993672164886945674814478577666574395788784866171963942525758237667484587877753328979915398985157492311478327599715678592558968877768541689989597728217415363686934877859569898886
+82355148488748143441341445283349927545376949149477469344379445436348711945629543555549445291845381459346625959985925455245255639445113865648715125158857145548155654745982215673165466665155631295649256145773616119613656635636674155622497675982623626996825665926676585619332678427657777626674231675136725688472722172476774674778526673351878619373473711793677613778769672144378953876888873778534278624783679958383328358788578588963778446298972148458482281478872488987178325548916498799998488964538973589
+16252952242281547662622346443424521353853724134132551535464892131548762885599597522283418175438945152736316335339265877373345755453563246496483524524366264657591324265987399661161863339452928654915626384742744644137698848445686656467435751759463563547737576861243537619841177227297444156313976512673749585385575524871995955679776757854686286157467465884868797235464872195228833831855526742418762378485169649668663598211616678188786896579739726857857699597981834657598321633994494296663785352987348959
+32635994858426483419435365457546667535873447629657192357844495435525471744945386943425449355742447254374611596953759452154647656865777864698455873176821346895551654663658285515649715453655146685355836548572261716486156326575876797688897571956698428793245791666276577476939662675182656476625779646694765968337282759726743768698781879991868216771953981435681277738768858714177378629376758773688175771587617944839386183785487971989298111297932788216419254679238884987996982528848973148786988479928688269
+53484144783362554757716118261641343917779343545711344464628629355885764543252245436441434731719519136459525589447366586882722937275245412888145465682245557573973146699687565436335654755254584282162124756163669155847769799383314838635652399925657679335666868418425771179867654744676586636569539327323586727477126695887181149442594974676341113676878144677797952953688228197876585578769774767164143843469783858823771699829225155361518578745222478798925578881816316479933921898769668987188587827525495457
+44495241663447451911894484524684358972785625486218184364652124324656587483353427564575454758454364385551635277455856212291559563579546918389673659732929547576323543576769859446453867568656586956547549666274638856696732331266167468165712949178476184313165868743465468787196155756497867976769716765865177738574996771784344237727857927682315128958729542427697985457657989821726686751897818787182787697628884968511788289545534883896813879342623916983165353871819656876819193283779786291892989829389871873
+72471134453522356543555942454977848436811687641456935638784444277586564585661744869461332653635596638358224556463346765466615356518895954792279875256714674989555538869767569677285597157244376474661774946933566757445787657772646762991616581338198636782578519166664997187867178839661826835548758577288515714467786855689876888375787311272769244921974789368962127777511829897828994177293794665986968839962682557889796679198799948689842238387135513218589147917323888862293191893911528831481577619717994117
+44418312318725725945488847556631153744364446456688341687458777459266363615434896555759731762475638455552942342983683615659995866774226485547555756779945279856988856137747472654591766686184287358674956666315345319479472676111697788533759665866686788115638196719996724885858376561287779729539846978516777742645642158158378722271889964486177697779789922674921782111783599696948767239888183164195718962788885375675326926948983338299117559728871888189113378513289322289461171715987834199929427521682917389
+45376444613554124547445356241767537567846579888416622545313815991244971576934764555656425596725624425648755572466523565855646735287864867895768199952773365642492611235518268714587566676753661783673553675986668357763467696675784639897597891687921116388447675351372234662937982569867778786477289478466478619777946887457871778689574191861891279813222749955878646248334577314819367197888989758839158957758972188815799856898288979168521297291238192433385116698975735944568842592147821899919186994126916886
+35445958449777779355967295465317986213124335466189853664165451445845977143443717759987528143554414394655616955188888146617831657642819732423544657729196477527656255695618825455482886119863925466552541576672716629999925772894276875392184353465576883121758863876736671672993656659399722197413657766365268778382773111113688391538798641329546457668799423286997498784778278311476776141183321852476887747637988949388422222479941264981975243165756877981153439711851989588938942258788725229443296358799885874
+24877436136389343454764628185454679655424989714337637343334361952379493444743727536954457667752422733598854724749145456587573929656578176653519182544874845444547216348151455585483864716556877886353384461996583585125656769868413176768928776462129365598595655565832745926256669659497582766798899746449557211769469623676787197952428787913988757323147661961676667694385613736777176151869387781991185755166832287157173478789821816353989812419986843425877217278777871549672484788828726297149889211229686627
+59363244444565794215445278278527357256241643433479759233213484435153375468131671347178334449924361516147435555567681532655638938963846836735275454458186134432459554626448657924278245828944555113547262725854666667879264376674914917495794784638656556929724554356166573755976813538935693915566622465837383696577777898137548778512512851681589574976766713183566546727768486618792464914671412667773357694849471768888891924865988962362396279269168518787782429467765783887959772981357512578252377888446871595
+24839243544543273895247622543435243134483214313224693425899943739454433764286557434655662854423545263594135465565438491635873365454635424559432542433571453691115484156554487539766854576677396553465637461524657667654951274698447656574653566154365354468256471222659526766559864187796568778841766457674857263576877876516238571955876768576467726547646557936758233376163787766197529881767988995287756878596837468798898762734968216698787968757883765875766814786934448727489887721863199287819911639886798961
+31524383458164844391548644413443353613763645354146464457443679475444233841458256345454812451374764474263549456927595541265975552455446472487475646525757556855478158655534495256936745656592356248587558537465156713861665237618666356655758359858675763686866796658926976664551636714785676761346735969866964857626782497277634872977746776686946196978687479797781776913718777566274782589678787245784617197717596873789351838874598318885788779715721718979858181889288712482988867738589369178989835689572821882
+16122679644676477494836288494388254849851663988764364954463432633278334182542848754742968155444445162723378175578758851594739951549936595196277419987547516557454374438944529365395986585317926655555627383448928668986996261584116265114761621738852119865862766856548554915563147641619769642813776666673849455913977919711737269522737622587273284996322197697387796765966512667425875272187175392488777778495156612418812182284837163384873369838439511743321871849881787617762377853698638329828641359988888951
+64845851542433573263623359444351457672713617174399871433545732744465474483587248822433425456945469157595696265354468437473446155546256878382472828541198254465684385557658559469835993354453656715657126861671737646557954858455726665736798949358393965221936557679549666876966157194611446556476782676823797278284875766816596956683777684781915146941417633214766878165177798717726821572255766758789378793481838939598687792761716779488879589212625715252874432587798927628881982883793268336687786989148981459
+54315646338523837324913141324744147513756538555353958312317631431334717374639288445152855226349434446542675744963494843512425243585525862486764966646416942342874254244582848574139955626396633745154555765378685517451595462353635469663697359787517775752715345398536535569395968524116673741774485626566687648979662856261657346474657177471846189862888686382645641964764667141617963522778485288559673767779875918177396737276845758576828858295729197399979749375675217587577825272817463388959639966178487888
+35639917394496322595256844836337394259273644884585645327948469562575128141484783393221994434445678354674112841551743361636795594744841536138475599569675643815957167368623925259589441433211554555678946578522395266285447274781661585595264724958661167178675492616827847973413636169155254432266566678915768963341637739655838589277269661637583516977227828978651372793895818452474727126636554337767778912687917445274884176694969138837177274869462718833893918976248381491692956358583823774766544887888912379
+24994935296633829452681479329686919494481597934855756176364412654458544416323113139444894821245449373511514631774493156379258143179712151559261814596686728747552376556965552743422424155591593235655148462262574288551426748136925428182326266137292561779783985866348766717666385453353526661261434676625957337368539966253785924713653929343737724831367288189419697745987782877749656446463777237254578773616844847964117736489613582476413145484883594247839929152171885619889398885176755757488834836568988472
+65119484481459513634846276946637999439241434745334434345954416248448347754182683335366424346874452887622159559256162474595738715774811154135254585644554545616552735955945886529379444647753545798556399873326166136727358561684982688592226524636569675566565672766384616615699763148155575886465681966741198443727724783846967279519379961333763574767178667767678387749572772671187425926668699757679217785221955483883589495717838162148117244487468587828977887878949885168388378229853613777971186878132889633
+46436269314454854416455446364983343556431363416353558435964284416655258217734614454144796134482565445754737142556596552756655747519445466754247452746466954617539552776636932884572556525581724559367655686584825366761766386776685862155657786535856385757716572864166388774714399568366763669283566147876679769593647787287749788779697326676889764696749686882768397527749988582541167947787477139467725898778187161475889839885189988171843778799187571785179799387941863885119969365227815889858824157883691988
+65574354584992596646441351449325588781573223994995322953647455542864315594124451333564885947477797957668546569511361775755246255143669989268433411511643316475856665397542661523556244467599615858881816877965767162247288686635736625477119137954452262275442758696777641865377263466735557861172696999292798817687827335839979774684773658822124816556337338655386971788875297648837457784666897228371711131381992879893844694118188579588476993323592766744844976649718289998631875994856889577791833948282224249
+33691499253258142943332583741748277534336938458678939235465464734864234384751157895639554349143452914471251136436925315444369485285938864544714956978914134657657584597534549586226891674166545125456312558236224754713642655547159639614997565582516718912524576876869561864565169733791278527765623656742366934733586582475376665826174172511867669362782912363568798797167297567627184481238963887673476785347714584469769358648777693728528362297877147389312347467981981827831867873829559234917499878458789645
+64866697397422136914364644871945454745269377513683342731122425242441553914337334153745542424444369447597771841853324712547575598215656585637148862479445384223353635355266412544844526485665353555547155861888295296443582365868661932676769674825997358155649533446474646637752365595563759677646466665826697299931631755469347697977214378787178593611846926675164455758575774886347661667486178875757777693771831114274286657145871818832548989828961472295713778627556686968688599745877277859728998686888871488
+44397921456564494688495394354236479758534436424754858546274572739225732454484279153845526451445541945541813256767551579951641546534758186964554753586596965738568384133684356559538126495663756255665215665292436787866268116275265764586929717566586469761717684967949524479546766164923751677486736677632677631354789897737922738637687569713182867769757187282879517815163558165787727513486278859784778874378874246589191884813384974879867182429397887186829839398162892627466927689883862459738996189588998548
+73589474725945446483494432333945494561544463347327617446735582443268354586794365413721447357176443448469158583615655759451554344415651567265557445843872855784669355437946569781547652483255846828755455957126969472676686156266545552676267837666855695498396689577146654815767189265876359436695793986656616823717158378779726737765666378737894877796671651941779168825776592687829137698746154771681419776772793482826948988183784887677748984891598881778276215288127993688761379893124871985726588279252188788
+38798365836948185279716844942463494553817452433614526763265446676741487173139535846442342446155248544981947694715929638182795515357451566492856354472563787437655778785259828424164695755345355726635965519215871582613174929381662646856267751396746558367489854876688989636193953527571686645646683774617662132698269372428513149277375796737886241785766947859196598779919174721416463868279775675779488572877324371937148353962425138848681784899735289687715896121761988112128583252757497938188678688159968398
+21456481244726537226134574444142935369453449924475494524552347659669912856516574612774314354448241613256759235583764833724568555525314647156455113558651563566345876177112396762768572388542546555935272436786134669487594483567966663642575826756622466976267467745698728822341787387968349965365766614638354789724577159861559467817777475368693786773357718737857885671983993345289849817945117647687772574946589183568826197266157892888858647971489788446882984896899678219411445639195192815622875879888368515
+51345394441261512334737494149458347641413847938414349558443769455667444289282874947489518523339546326245641555237262344584851525156945875252495814952545166955487156677855539139398515859162963444165743735675266634837345569596263626715698636351692516365627716659826778896664124141962696127317455527685484678637774594845667161737473782671974746271362747673882776193788991777523525217371723842856663879659578974888561595677827284858489378218585738247385878499388721489911288863463632848283495396777498176
+88354359647684252544442392742643344417845448314535544277153443271324489322551419267316498584781629729946546175879536365555341385375445552895655942564665538826455438243559143366252137842751969589273183115765728698164747666645249648655666391676615367577664993756654935466125447736324895386217169138429422687683971927585877775635175976677741278772647868877511486776514657723655884743591649732827124953153379879418213869698888674628618778885238988375897998862259788762576883476699585461275184393823516426
+48236659946156448442555793123545147447529175188494364465442533675384445645428831545444344754785774475934776115726755955366681423465625855863128629951547557655364478649555675653994265655545586589688558614588722683786616647779253457673696697423973116265866876647558975166678676411537676665669769179966972569983379489772775888136456878471771853418422737697798775866918627778978752264878777677187128117718367119448159188388699924756798958288296452953384871881988697712973888918986337598988878829823922882
+29127665347456734461346437444155491367283334744737465749454234474598535381592949935799748645559966353123877645856784557245754855526651247839444585584857685156534558561964649261315114681185975666117746423498875696789566835686596663776235894155569669596879626764566967217575137242622579229618677722885753451998671789167794679761777488734691526667177161798173787567717832868624835373368133172978883399686456211978289127881578187288859984571263777828827281928489867882894397973594648447924428318999441179
+34642241461593332634257735441142338924334852936443534682358781674264261667996145347435584845895652354575335257261444374536884655225344913544596314755464579346989278537537277811725645854669595691676346568644636837255548564799576633645512465561742586657568145719138964864838892283675696577161671278745767975574794836665967581168774475662357667285369776867925682124917597594991339478671768827278238985687818668581594777617869227988558677346877839647188797813679323512861861511244158978287993838934919679
+47413364423354524514842549449346519758237448452583461935536937395337341449464286669139265242622654425852447553446563562595365155145762186934855956369457214664714841644845255157539777124137635373376553696355866455767467361647626625687329714596616747156832577582595275595636626864188823524874648448766471746697756687857847275873773679843182561772785826794368869361638661674773797529993463598575955987758285771886779896895838698488478195429367288389693781547997147274977278588481863111457461968616619886
+41334441865341935666629751512348925458742352571445744843946449854947544186393683347444143666675417745244555297645214677773186262345913656985346368255685595415755196515865529741479445855525477778652885635566631875632578888429737345612476719645747936679661652686621762697663185258155696663658888976399674667774298674368999953184845672358782175685814778177276379773287371877429636926671777476999918741178577888531978547911116429595678346989328679692588928838748188439848298853174713778288858711112985228
+94464843343425143435163322444216398646181194248855235182465566155734416127644457538369656542863437441557595445453625454627443355532741975729221535996634629357667726684552723875556864947176765397454855266861655656473656573855446664385218683133264611774573146877883779566383498666797515828787641856596637797276676758476768496655777549632979424437572288568425798899488167749451977781862693989875296761774881838778786958787951776688865174318153554868339967953681991159927885156218889297371419198631787288
+24265191354865229645184226653482237429915456274375983424956585435538486183746375558454734723579465393537621246597633175629533776459334853112656738548619453516769654664959729485748666956584583468157641464873235761874428673164488756144596422376784965972156462787176577516183159685977716769569457926875257598434687298553978427559986725561753348789517618326757389828768862729426179618882787167156813798636861954579831966418953866119783667286445989162872943786849193987997383153728172999389827826792481974
+47494423469453125948947249648434286926832448356751233123897224963645768258683657394598448424278468445851553457156423615915835175954539713794355946786234423491833517475687936979476841561955953538957955696266456826753472612694628616564182481546615789734553451294462858679814718158795267216616464916816671737756793786458372371573972767529359265772689184566456231557396978192582926981637832772757512792778284886781489756948348268418387863146137688379129567756734266841718921369313719274894388386862381388
+44752317267598231626584799779344848115445212847771747752535945634875525665876631817954843684187644985586342837861934273769581188145595922655632395888285886364615674598663677698774292816595479529875519669745394897214538487169229925661613376674341699939699747572678561977478871988531392761658163198662177185641591832564959827133113677272448778545271114171185868378967218858998219964241387276927421977328829675261294367516193824422478838355988965638222528229697948917832996911932117535249838713853218843
+19145636423654544855853563683728663484679576629544435583469536347738644391455442248259537473935944332125674753476565596696467479483977459578168773165554669457164745884975541256655335936164858414615544323678586458767661771757858159418856168927988427666577156827585699518665236776644614727596952572665543478969756987877288286896926152996727913819953877768826793869671162977634788775572583861716368377665458917186719898839939791713726311783812492116498887993781497178227318874589988668369497282747948877
+51913864243844516515419245828355275367266344744422835135211348783571446553319243314766314544447253846212497535495562762652135693946638647837745585553394624632245989468255766442135442587742565555836495732351864651667387376324671415774975894885669666441573574335619157936687755324655369885367666694751684346297576277849848743578252688518691599677177755268468544672126814779886643576647199647877771586279545731868738895195985468936379962971261178828886637957965578323792588199775468775821175898888269738
+14548634543463714539344121536228468412365953855464335925644462526545996665622434485494953145434922422565974565457482564145523264733957952347616496657544613675557363765611777673354559651516425654513353367618567656859367525663437584416816345872751776865572478666847487672288878446566176262753676562446447872967876796147863677454869552792745698386288797668358977795859878339998955767728737386478767355755898317898781725897478856597166381385671949739981877946918881696198944111916687883984849758987846686
+25343564383634242764395624169346445445314111298342344974325425625395657975157646635315692446624465423645467549474535387541673527145755655642522231945345518543653673641676818626875774642671355773557653475657865158564649865278463825686676675363334215645662965476478475278792973798688575378246688466876458676897626967575197638957493679778778647444532675677317658758958638981318481979968648935779957798756978791873717868621874916851478188988975855564378678842876986916974919242959218117975914688116881986
+14733585399337244266795972474594963546418314274915493683456584635274361344376447395534256678249718442584469641144835537781618358561517465752942538512651479456769574638547245548755841664536778935182955369557175225594664889272946967262857686315364962376258156787168574965835665986695277564788914629316647166828633661577599138315717837396879742647517348736926789827968517694677619771638867589912573142775827793974477268861124942682894841798185375862845984713789193817962871578872188274997869112368425388
+47964545731449343478429251657941446498559123345253838388438577449534394144935413498411175278243942595817565684255145458953136276815255751966123445636494949954968855164541525514652451952228638935415361692867679536625656916424738792636686217723455674751515116517996627565263662576356216333974914652647271397878164773676712753584981374779732883456678586262622762811773867637477368746732744418512576375838241898927588478782386469519248588184399456778969737373387392288497874858847985784385552962368748694
+43453245876335353454472475525696453654743412486462456759942442437378666154455654242399761162684315845456435698744646456558358663671756476585452359757356786115355354848977726556676535341187227379542695656754671985575756766946977478286758769656346186846789722646646595918883766778764645229833848165371676786578219668686787715718858939786987176745729795789183375775761612999487788987575633194495927648278789768932177979789882682996914189719828785683181689129448688687272311159889919868674421551613875938
+52544395446745444199745492462349331151462454433426972623446344897934588449864721459597623642257566386365541655785655521185651357345144226257356554453718373455745591814569955197583256161873475336867749747665276689676663229676246845625533736846766556482948456685661292567116621869436727298458644797885185877638779178777433178735795673664484795787766759315956779677231367822773297154783831956975581899629698874988128988854428984681678477559581689887786142616788178834247893388431826589494216718669291173
+44665213273494145862498114264766736551362643396777427485658643782452532747213447414965614221445158615577632438451525697351922537587784766247375441788853859676975489356364385832455852517672533255626972668874354956263671846213364869889587735848655289996496178718659146747549694356696362878364436673718377998546516737478295732447597199169884695976639111751728982976125785865171546771747398947554778482948811965762784858931684355861821127199571618774122286283919318723689697628265788285841915866588959315
+14257359142962575453944482434513974312692435644128412154542644413341866771323592474617881479425536422536846125317368656415559354562418542371354675523952326565375552445297788243461358572899258153664753364795723642847976752666146567352965348246578663416343767648666355631889935457246968391136926477586447581683475395818786377725767846317645935768977452745487875977746674299114656835717941224713758869755869279458641692989748883687895742875614687918856385659898618885778531122576794682815233582486997186
+46445124948485735585342464433163956924934854314744894229489416624654115876167191388492498444427349755755623515959684669645357554427416713514596542585591533159152773576522698727821249951351955553845186686673462616179577175646866553852782462561765369661264426126388468763371983893235116246216666495629779778457372728168828675797766496389357367287647177237553723749957987448219491434622735732777751673188188956848383927993978681887751749146847839875828834866483485116819855932151254573384684388886278429
+44564366348828967263456444771463394354947254133569522164752416985648137356744396434884444894924362745567547745993917837456755588257441546515836524467163327586352719675924846785541754599555591513547385667865885611412894856786669936855265762694763557827443869746382178613595789665286561166661262465849677897699672252391596789777114796637687371587466893855497185749328972461689177639767227777237357695178891871178336341261789188822581774879848269857791496651829685143918357279128874187833888834846871628
+47448814483144441655812475452386862669466558615746524524149754434813586544943644414364682718684688315855992559425555276692358656349797377157766972685763563525186554592469765515475552547579382979579942696611366153666638771346976745181848826887718379687467463629766561357187662658666365868149318168115371772247726477774988245718785629295993799882948179857857473187767246829877376977747697925142927922648288335883758888519935682989673131611481199315928196896858429887835793198848718885871813625313813375
+19168736555114516294347446534889344433993582432243284874643323963425341443742588556737351348145295652127984766622562731545855764599145554411469354335439598575443417453645255485369966784846245925631676323819587773367384265696687561125666552257146544654161968655452856475636659647117789595735613674278743492169888447849537671779867223677766336825765576527217976656396758674776175822889161684672478538985451327199955895164878288197833478887744793687668763832818776741786978588728693399127279578358964919
+84345411345538514746179892888937447188715433719734431445536174613387474212534436836623416845444446349545652245664962585728191399914855829982654482184554255664728572449858532364554794773452795655555745165676335677517369683921241112596693119376559329566536677583968355196964347566581588456381676666685627678744678862847179413235222361771422148766143167764778869417946621717545867769269956749278777779673878985578997395828152434633347288253325987725427887588997152815773282865697887137116785138988888178
+73149649554219357229931946991441636548141415464556343847379374474448732458384445935489674415491453478425175166532146833114215711255274765925252657566745495848148558555984356949555614659178552651256458953628627764325794422532682236638587613636376867785651695925966966619546715166672576128966376236756916473973887543681553364379334774969872474748797889676271613617717772165782627778368723917748734786712758418499865479266447548144588517198358585981899178738272472882888327689373888947983412885984589782
+46443516827384556238146443455565624124244449224559534752794246175579914814334344613557444515766683855755462793849566734925755456667673523535555133566164586381535728668112592544545572466855562687779496686657381495167784513686656777878463464666624467727569749264683977922361365565668357796667379888151779776849251627889562479776788898957457577773557883867185137579418813347247667677946881777848199926288188795136273899167358188789991916856868888466899497829624868152992445835877878815799288895921113739
+63458345856456563179224792378744298442472654443684145526453343844945397691314441531557934794994773497456945696756767428133581348985531955358376555479525663756445495515641871242555264266814581511588451856715671786787853924469245919664216646948766658163677486755651662675298235366637537792569262269956296782678289789896413557135612177532775715987776927478859786676277378631934647774864881367137337116731789378939189191752466824672328864388682619888713858996189778738848974214575888597599247824844822784
+74965444841653836884482583458345524745464221559593248447452344438225314337169417489652433749846462658517655595276494799559369456945663585657533266161435955856345554933642544827152859176354485195757376962876661638751581166147156715677469676864437727254616696745666514475365593826396128746559621686848717398777274986269227725826782678857178797554883836572771785677762558647661493741723985766173279795982841988838519737133883693789378996828981866599494768388289678887366975877251485283419687728438181619
+54874419446184448313371261535458244476261532434144167884266774938469734145954452442415444772945462476598552155729555942448237264656935558737264354525527899537788514957184525616556355352655588315657358761966326683166615355934837576714666984837546563663891164889962516829563672766746646376669942676846987217743779427772646614594868782577719594865767477491227599117362793167478387785775748777115378795719832885488153888375772561597989368882161597687858851233861122847381427858949889688685988822648981682
+33487639379197648392281518774344889548325584995741584428856147463171671819634453384743414434745441444459874148121875941339262988545599165943669511685269553996725857428278292174556449585452554585655255556198525923298615244137319965661127615477162279637166411783696853938931328566755169656366569676636666721963613431972635524842117677223872658827338174827752289471796414914243967786627176747767178774777783217472454218374663595322878833498376993844928593886339158281752512535417889773828785887828988588
+61447865251312955336524255843531526694646245235919994565432823316419183349637546826972842963447875367255897636242316644763536695464263771575735634612111567654393442752129445174865793718395317455898647836691874735342775587464771657537488268684674572322267876541455386323155628597681482941642856691975894771298584645388669857588276864859937979578568343337898765256649743426673961879259315275396771218691588231969575649977196869938797596114818168967945444891987636775185453778417298136142638641788232971
+99473343622654614434253415547434431794244735432569369223746446775496684474784434338298666552174538551158445473376572554536452665854554281535584654367147133485755788651779558589554544931977766328564966226955658448768366564756377696566539264669576547825824459686689976288166969166565514218887743967517733716676955987947767586748871767764137577168765893693556179779118739927717127767662532999885417862884482778716619815887869785998287887524868827987691471466728188122984113882823887877364311199652897399
+68654454274135537312496423217914718445754157776234382945526464941745654734433975334644945695293661537976556538524664842351753432812582955686526888734549315663757515285676584554418644575515671631477264818766764963577595346286454392369316679763799984565142677486862639678769566552975568662678274258837592987787517468861645739756541347142778187481119567625378859797374178987167766318667977378938536994861319889862857997275684186765245825388929859222167873648996181848528919827887742977818848914964711597
+21983397722147235534455553434888342384785368764438554733411446464315634794325145994393711491455549413219441883325834664556666454599945349589647987554966584452255757542674581543625611541482251256665152432155299443694577566777756561115645169175819866517769556336686865378569265473672265259336236777626354326631155471568867788886767222675627128692197762887166744779797648967137658478337636144734788873746543774226658267997889999787833378673823971321887399827785588181875917824876958944874725584589998485
+74399557864313567174681658446793292413444223744436975253553746346627745348651298595335887843893846268541166897542467828579276955781431352455533485554718636466485745773885645976231961644699895491495737965227791865357893968138716689254246356664459666582974757759685688499675618734217275571191651251684817633881297646891417924982779136535746777556177769318586886179679951178672984532838668221276236279592874499231875791252813519388124764685788866728887142969799728178116228978319564394977933238734738161
+79564841154242516694457421374148388424615448533335392745835884443472419747426146683539183947818393458167595226535362771556853248525949953572655964444641385694699555458352185853725779464129415892941456927861633764647388266796435963615116468376617555575249671571166656946329696483688157523152691315256713897274487575849937781754617472622757948772866668635178268227776715743171759479926863426371242636782491838559868695114889286572858373386815988397777974628937933888782685428286158113797453748235374789
+68625754261843953444413993956483947795564546546924271674695577284439941626855177935246485895444184347973686537295416455552411416759415881667565765713538278571668839554115273796628814635759691655529545818479764831652756666352252786152699277867687682464938968277994166522638481773992574686171276663165692958187594276386777746336389726371138897879879357514917938811527763374959288411368579728238777427671316929861538749788885744749183748224991898198146862512814992263887448516139952247968183934988853878
+99635818423434972275141222443424234466926412254599547779894354299869581755422962245239448333281452141174692953454518338625233355453534557713752336561165888191546531197169286653317335634155944439256325228571316456562944973634446656464566882486344767227699921265764221827139776442844674526615554136743633968242756767315518474555776757567799359745587833871113237687533293824188755395578563772666524785474417935386787842662958566688786867881146185669894498222434879864431493529986641668967488377763589658
+59684895224332977782558783434985554524447364356594731251841629319754418491466846814654334429175355636179591633544318889366989454519666563555847546761584236295273142186552951257795792576544553128646674728161274465542999147719156562177767466695865787269534731638425329766316236881681368765566423975778583927238557665311125882126767328887857771697689837164584274953643187742734799279247987667753418688969413834966877642223699323787843999896888271879194827569538516475429885384581138135819877886452979917
+49793446644432548325749567855345843871567444749346522852539453313129468424643235639155646445594171645181455775554365943685167896645695498267855585145763396364156442423157953575434674126675755661528275629256688666547615479627891775671651937896669625687441747526755353426816468654578523778686677263938673136779977765872658173891288678276214891777173679855285863786646453792757976568963488979778837414978424788118887698376928491239978938732591288828478196639697489775756481386818767917459918188994852518
+49664444739359614542857515249568427241394823436584623631973484641424675949533145512263848891418642515177555584146172565396862635167953835241593454769573474218459575253578615164425662337495991252975362628866669525728367641797374627816494635261456587168458532956168636468972627553677344851611236318647373997777163683947875281848573892751574637256769827956964316727974757918373866478845596272234742975848411888827479415898639295968491386268574836787193816717542783818586812948497758995661738334585318695
+63552564186121813354149816895831534636665444138394935576175455792987894634714471554532756244739745447466367529723292446525192791694264574777655524941514668728656681319891574582558266564386735584185655857747863183431355763621381271537568588876663515262577983976779242191268569366937767549784669529676696885897429454246687473249238264867969998777462637368819418788135321237967147714887865189577163178771799691853156535779858435134937597817111988857374847992152989924643234817825882599897629168827428988
+97474568129723736185938333183446872237443517755647594844544847378648455633516849733892395476223825841858567923183484729614944429455798334855462886675861595565595848975956674462795184491341658733493695296967813429459583172515553156681944596657399778697261667661695918616778557381629551245276984451471631717892453156169428362666426779215561776841188971837277877271612972788966849273166235638719556258274282891356426727153947377753788132667288795229918294838898838272318389917795138427734674982166736938
+39512144143153552174854567494369231435233793683224172233338545584814471262477426744699128494454754754162325525426466328596567851547134254634481479433528334444965669592558237358853785571123951556586586527343663653757743961767896265824536574559258154463944555517677161366934846996489668223416266769769763845477476486885417287891737693564768566136926557415566662878827247714595711759177933452737787187187495658858759799652839891284871467587967724713766852667777398993835882561682286128814456384889829829
+46744476524418416374244182444651874495449883214544862675769234424849731176247579367956159517846642545785558763552952748535529355576298551655199432565597378687134553595184228735868147816726162895775365689666987466316385964663146668731966276621154367661848979824566461629533984697925892783727391688647679177719857742749617577425777984217738773226547877295918193567757273164419571813691389483841279975878128882196885385172868853688819532884988433765898831612921467886838427552168292471249159495238118698
+49653436442263375415656852953867626436667955564567925455462495747473732455435439422447248518969572545176454755337448652676796316497873754777816667567813656657351685858484356654654153355835962917168365628756586644855976378781742751898486588892777867892476776846279696959546776576526446694617312827947673986769775596618748989285386291959769991388897891358788795738171716165788768763755771572842393815878419787188661772985919139649731216187111249991891246989981684928282727689987987486688268395341492698
+46552654497434383676515448557555975963677926663558645565546652565213146262255796548494655214754334415766376551854549478762655966866618617478813777466975667665776367632425737336681765951576632586544552687748766296565158987376617797772972858992488857718677877688747874353684844779287616268774369765566379885987731767626919848772881888318396911359996882978898879985898546479595588139872737988547187667748199619884287873712195988399299942941712246111799318991998119691965758161669924198384819965829877885
+11765257952275765813388514295454537255726685885472252474563433176528545585415753468765743485144536532287636816338687692449962531656564836683779699658336358567454428763965669652686457987685459625564764339874792744979871355117364276767594779488171176944746967856553987417677176379756819879656173667587544198581385518198246622847538787861588159928228715585717896766419852878828748186792198176728477869865521969249662921935773395864989897269926113933982669682891787752196398993985929781321928783958897197
+48249659354555556851795248658556957525532175436246744626895847554255161569588694755373631136538951595935176146566666796281635976966716863664328654735785573791695866536627267169971586648474224764916261614628725767777781739274618717782797477543976584689668481271697764773837827118269775958533587512737272573983687888889284138572982889381858865418769579177959238271887588494893822937188616964469862384838368419479899999139524968319399149296997652987168128816134938299869951591493314829972717557197349594
+62443379732455152568657656598143755353763749271856445535547447345454465788152679125549568174787263167355448184356626367976876761925486646487485138296755664665855845656557689926378123665167928589837427846655929546773747818798787213659775759859624931786677577696695676766879113748923477627813969194853895776613165788485892981989832476188686196173514289778868871771678787798122485913458873892417121596491688772427689959691319219194358729979721728462539188997998288278989881923359612456998491352823261751
+26364555471155353316669658547196557815469178936943524693757572266884624565439794514175654555875896483747566658226646442777176965821766892657128914715463571486868337799573567654181562528676566698691759485867776933775755388828717693287791376823912582657468259797944881168467876529267363978767771971286159697888714488686649993982871439881248793412369376857936181815599227957898763137847418987888218239726171899982559979775111419398254199235981452347148796814729292661133816891987424895852919899932934183
+21588659182257891445715698557714856868256522715645435365655114744464645786865645594265759873313968863269976129336891255682671966882596797936763382675654647676622585557575689797675661537686198442417997437118723144791236679378217799361781814787449378676575878773369666868679181878677264879721955352811854822983425581234778148932881147289292589855148978768698988447177797978129298978837598183216646392296593319453669234588925914399225839131369196625918987971919955828881818923131918994861929432775741331
+94853266655836562946456455511752155972494458426911545145556376555152984747575954653398868552714639141596437776694767315756756662286326618351556953712265625666748766626319585868616576441997966382574125261754888771587842686786777339743772946266716482337673677785987773742169697972768755211817749368523637286599988269895379789788844185488315737782759344878478889619888485327171818387986632292885147963474839761119937191648189189995529659942684889386145598958999172199959643828292949819774331399625817458
+45677928544482684975557838435257251568265367511585525614489854367544435267759546836756735915551264185678813965559379518666894954636836267937647862269663672559196547865554637886165794786784612666237529678992417666148162977791516574794737814875897337177478366121765897666574899727681589789572377734863178911352877725927318881262768581584892598691844828858947723287691877768591183879269189168348884597428912246398883613842999237387969269591361971295593996915883439871298887961229498137129127945999561853
+52475558775515552525745243344527748554555552355728945679864642766657676576872238884485589658534566556358666988662666363685635445563885966566666346683915678197575387776878768798334999559669176964567766746977719977377747479674655667499617767777745779412678921868649888798987981944511166177128717567887785718882118848885858178576677851172887888885688152378913297975199981919819215562227728823982867899889682999322995999696928968778896228399899999679926348912431818621119212192132667333883993419397891199
+49448336944874535565549557685757572935895848355749915256354523761224314537716654355766518543733614675155944715598564667665166879686868314691695946685112636746563487233542564882776546687762965484472578626615582661967577877627798179797942571271615779622374785767459834465367599388765779887317659558368973772669377217868898873881928181815368238272688173348589687856194557647861149987688199842876166947918488377148832897991998499213929292647934938379928445969179896721566875897225119879921195398727715812
+64912254663575364435668786485394448351756125695564875952526739767946254971142437276816755849841222527512336577468647554677989759641555946286723671667598616363784187815736518225354838792786695195233363862344768857975866578819186175266615739783478277861972747489529892684762933646594981389771621634447497345587996818697768992129728637772684189458938897218385859163191379587314475761519249188273274555851845669811792971887911323183974888379529156914991832949696127421248169842558687262135129938438566696
+58569443666154581462479651835574551538571544659813471179744266139275643642457997445545588865575725446967155477726569257358176294668566264968265576192458228185537724138675475356811855665669997668683655717826658883767136846928731577967737517937668721356933929664883524978658646792296677677111877979476682893776999487824795713984268817884862814877983246714413177599463518976975781331778878822298818158779391488711159893581682419537992899597392598819435782552428861157462918718689244288998993331992926988
+39232665765753634111566555484461475255873354555155581155443551544546776617443315582442556676866598864134377687686474522267766659557258636698446566626669226655466265565788772855442669355366778797761997524548879879758563337887776166836974771955767773777133776657737667689988396655377146647788981887211863565998198186967444899888727794718588216687888488824488776884877879119941776648825775889919299832297467611921929717855591199983881582969932779899959993559988799598898122115288775993688699112131194331
+95191841968645519143158167567263283674673667546451835574731945369339494698465657945869486163647494781621295217975662125426927867837439478578477865756294668584215647144151571957676815697159727475851589273231632818677323653713897894854158968958897686731577969532675825526268216878792671826183858696269138434274392978843476482491891596526917916991879784268817164378693663737932798981378293729496971737124954538541318995458759351291261763712812711298189537992827548971477484814381919248931483151718284823
+49854558473441979758497733181648452481431423438179657939435728535935468926154553664623565558256467845196566958455218186951884429275956359254253454928176814154683964614657913726566477573467666936757895621767716956632929716299553138616746136536456513928792526579417572576812483767758868457877714786891673287882716774313182731166424972785724764756762413981363768152868368792359487886997956898882589791278439899382788542429384227753518389683587586787352419247487926397947981346159899711816791999369181238
+28647185739535592175457565225968956439571477475533763742799546381685955635664927313555951145624832483975829684164661328656867633617916754168258858664487485381165749279616674677513842466616225673594359418693179527577243976797874472812786527936996977559859649227685138172778578862495357772733678461546152971428163868835418781898558392389763814711718866196175133879624928388968997351646888384478957265726318253927497994652989291966941349187492582282997721728624498173513949917911846275799949558916837683
+31594786585352781875261577544499563346354854452565146553171822658725575865636839315341686647355557284261589769646389298637268865551167445746596556367625766428293376983668697674794142645279775846666839537269187175749131974837997666227855685761766747873687753931448719477971878581525375638188695777794164837129828685124218594811877733896679687287785898479886414255982158818298969263648674929971688881527594823193979623532961592298884491778179839889691958199752536619326992931917137475978513118279999263
+64538534656646337638274465595874762753394655876742165885187556445349555355545553515964593998169132547564964576775744874938557661698587386441576698785327699629866755645166646665666462617561411927124365867517568788685598514966877271969849755268771989643871173197786675627775777677757372867252213823547697862867989979661962517798838217195186637988219175498228421889778673888688878886848397836332493465871897397819118177217362881994932821629774819932128651933953299188978499979998999795941894744351457698
+45546472269549557723366531528446566165659849189562664624338456782566621554581535552664357543647438445665758337165166883447764263955767727676195129167377573544956789367773266569264666377546865475854955677686944827627799455887537416687883878721623127848868465516789147888437767137577748865797658696516678879715593873881156699864852779899498983273423895997957662789125899954887824868885997681876971762778998182661498499226771197596388191151919438453491611816877389123691116599893597999611879298718287388
+89679855463775455229415561874685559432859559477765759878254274636359455653774545575655575439291698559178196657488656633152667298579666154396166158887686198936538574746156676488565668676668654131271966128921776859976774426377831968177726541727726999879721914764968585726778759967677978777976524238217723913288796118788553748894217928883765283883711198183212587517969683788986117878818988818763534932883412439981722989966485991532813999487639499482221929432369862817179489919722898992919992987464514399
+64437796418454564587258751756126446948599245248767835542341586416264445848551687557269848661559953447554881752956567569836986286723755715961135635987894665345269752737555695966279866837195977266116455866599286316767867194719739783486682617224674619891577645637186384866671617738197794821618837722756697761139742787897821582184189459779372833578572191268875674829749597778272884921881593272994883386771887224185389891893269329529156188148394468968321237998678593185161888938399513299261438311599449788
+42355814356656685347133452586924545314593581282554612531665516568752874645723128623155811256524151255346692546776779645824456369713565642561469239366572364277662767986398575683423973426692236763526236645771365788788175693556747182467675367257134147768347538877387819741968679453418453771334787463734775688247689989928671466785829357878647836824525887945864998849892185217978156452956488244589857484588679935879119113978257789693146898975894793563699815697511995191329632818926756316759935569196859569
+85685929317849712457687158654657581965958543545467111157333632545581463553495754656827596856555195559679613142895182356879826976576869217616965465657822226844474365669257466451686576793861796766621666178172425391629346798193718768797132872717657676893333795558547677136857756279768781497281787773277728928353641273145781921482987981824398382876878791444481666965878824796886738187989251839289888438883913946475238425689213259319819293541949398798981255559277717698993581799784929819136294139199954999
+37568322558998585225255857667186286769522556466858458565527363754848395635535816976654667218465858554867943366911969633636696877829739787163366757796956967663847486595941674664692718776577832957696966597815447712217174474771798893184189827447786881716717877495859761615278577571382988768894316871717761892655882332828558588281991429529193855889799282782898851696187272638968868249319987991542798282887291376699344393966969939211253163121496699181139389391996271729838374917997935142119811265381939399
+99856466729656527241689771459842664723452682256355444352173566562644858741729393536915445262365655531196757783176763835279188256195377583456379336746655546328467767375596985283141464712655637347676664221786889428787494638129936721648869456748144785776665743957887848661719639425257582376674845878777533289799153989851574923114783275997156785925589688777685416899895977282174153636869348778595698988864439181126419196268513422589438611826789613669179988879652791191618839328526474797145988961671919997
+93466259599859254552452556394451138656487151251588571455481556547459822156731654666651556312956492561457736161196136566356366741556224976759826236269968256659266765856193326784276577776266742316751367256884727221724767746747785266733518786193734737117936776137787696721443789538768888737785342786247836799583833283587885785889637784462989721484584822814788724889871783255489164987999984889645389735894781169494439469899689699174889557319183259569593392589983599198289436659127519811119599175649184691
+27363163353392658773733457554535632464964835245243662646575913242659873996611618633394529286549156263847427446441376988484456866564674357517594635635477375768612435376198411772272974441563139765126737495853855755248719959556797767578546862861574674658848687972354648721952288338318555267424187623784851696496686635982116166781887868965797397268578576995979818346575983216339944942966637853529873489596271751779774619322727789299897917681841837968968711618192945768619432744115515317774896463198459161
+43746115969537594521546476568657778646984558731768213468955516546636582855156497154536551466853558365485722617164861563265758767976888975719566984287932457916662765774769396626751826564766257796466947659683372827597267437686987818799918682167719539814356812777387688587141773786293767587736881757715876179448393861837854879719892981112979327882164192546792388849879969825288489731487869884799286882698728155941497294896598182191319222318143899327521365781349995198117193639959184259897199581139799371
+64595255894473665868827229372752454128881454656822455575739731466996875654363356547552545842821621247561636691558477697993833148386356523999256576793356668684184257711798676547446765866365695393273235867274771266958871811494425949746763411136768781446777979529536882281978765855787697747671641438434697838588237716998292251553615185787452224787989255788818163164799339218987696689871885878275254954571894969934882711931336266472629689856333589819136689992927427581144132919871779198299698938636516568
+55516352774558562122915595635795469183896736597329295475763235435767698594464538675686565869565475496662746388566967323312661674681657129491784761843131658687434654687871961557564978679767697167658651777385749967717843442377278579276823151289587295424276979854576579898217266867518978187871827876976288849685117882895455348838968138793426239169831653538718196568768191932837797862918929898293898718739995179622899391656645994917924981453734127194276464982921767987921214394881897312913191931491982984
+83582245564633467654666153565188959547922798752567146749895555388697675696772855971572443764746617749469335667574457876577726467629916165813381986367825785191666649971878671788396618268355487585772885157144677868556898768883757873112727692449219747893689621277775118298978289941772937946659869688399626825578897966791987999486898422383871355132185891479173238888622931918939115288314815776197179941173793668991817781219811159791953349498246624329691258128434999973314212914122639942592688721828115228
+55529423429836836156599958667742264855475557567799452798569888561377474726545917666861842873586749566663153453194794726761116977885337596658666867881156381967199967248858583765612877797295398469785167777426456421581583787222718899644861776977797899226749217821117835996969487672398881831641957189627888853756753269269489833382991175597288718881891133785132893222894611717159878341999294275216829173899996486786437137159194449311228661839982999291224489624391433391572282826198945211131538632793128491
+56487555724665235658556467352878648678957681999527733656424926112355182687145875666767536617836735536759866683577634676966757846398975978916879211163884476753513722346629379825698677787864772894784664786197779468874578717786895741918618912798132227499558786462483345773148193671978889897588391589577589721888157998568982889791685212972912381924333851166989757359445688425921478218999191869941269168869183299926811967919399181279632318312349213544496227719186846155679953613258932911121297115237127997
+46556169551888881466178316576428197324235446577291964775276562556956188254554828861198639254665525415766727166299999257728942768753921843534655768831217588638767366716729936566593997221974136577663652687783827731111136883915387986413295464576687994232869974987847782783114767761411833218524768877476379889493884222224799412649819752431657568779811534397118519895889389422587887252294432963587998858748199151499533333581152375192186354276867988192264541822962191699149153369899836331554317469811996985
+35988547247491454565875739296565781766535191825448748454445472163481514555854838647165568778863533844619965835851256567698684131767689287764621293655985956555658327459262566696594975827667988997464495572117694696236767871979524287879139887573231476619616766676943856137367771761518693877819911857551668322871571734787898218163539898124199868434258772172787778715496724847888287262971498892112296866277943398268284589891932927464191923521197954536988328389888982651783595899939837318251991322331797738
+61474355555676815326556389389638468367352754544581861344324595546264486579242782458289445551135472627258546666678792643766749149174957947846386565569297245543561665737559768135389356939155666224658373836965777778981375487785125128516815895749767667131835665467277684866187924649146714126677733576948494717688888919248659889623623962792691685187877824294677657838879597729813575125782523778884468715951582879999912135976199173473417381371279629898893531578876894998161883192468623689363488999557982616
+35941354655654384916358733654546354245594325424335714536911154841565544875397668545766773965534656374615246576676549512746984476565746535661543653544682564712226595267665598641877965687788417664576748572635768778765162385719558767685764677265476465579367582333761637877661975298817679889952877568785968374687988987627349682166987879687578837658757668147869344487274898877218631992878199116398867989617948579819919873845179327719898179868994876986877925897145559838591998832974211398921122741997819172
+42635494569275955412659755524554464724874756465257575568554781586555344952569367456565923562485875585374651567138616652376186663566557583598586757636868667966589269766645516367147856767613467359698669648576267824972776348729777467766869461969786874797977817769137187775662747825896787872457846171977175968737893518388745983188857887797157217189798581818892887124829888677385893691789898356895728218828617984891462949985619429996899881826832829181969292991399823593199978849691471289191946791683932993
+27233781755787588515947399515499365951962774199875475165574543744389445293653959865853179266555556273834489286689869962615841162651147616217388521198658627668565485549155631476416197696428137766666738494559139779197117372695227376225872732849963221976973877967659665126674258752721871753924887777784951566124188121822848371633848733698384395117433218718498817876177623778536986383298286413599888889516267723529923293395948274495984471949541622854432982951992898728873488964719749431939752461199999162
+75956962653544684374734461555462568783824728285411982544656843855576585594698359933544536567156571268616717376465579548584557266657367989493583939652219365576795496668769661571946114465564767826768237972782848757668165969566837776847819151469414176332147668781651777987177268215722557667587893787934818389395986877927617167794888795892126257152528744325877989276288819828837932683366877869891489814592949141619798813872827881599981691323736826363985543698819138739992193994814379447798897191259192561
+65426757449634948435124252435855258624867649666464169423428742542445828485741399556263966337451545557653786855174515954623536354696636973597875177757527153453985365355693959685241166737417744856265666876489796628562616573464746571774718461898628886863826456419647646671416179635227784852885596737677798759181773967372768457585768288582957291973999797493756752175875778252728174633889596399661784878881986129288417848387956869687939969316831218411181851486786328698688936383928574499161741177289598999
+46741128415517433616367955947448415361384755995696756438159571673686239252595894414332115545556789465785223952662854472747816615855952647249586611671786754926168278479734136361691552544322665666789157689633416377396558385892772696616375835169772278289786513727938958184524747271266365543377677789126879174452748841766949691388371772748694627188338939189762483814916929563585838237747665448878889123798128556385995287715171249948288385971573829944914129187359492512713167469694934885877655998999123481
+35115146317744931563792581431797121515592618145966867287475523765569655527434224241555915932356551484622625742885514267481369254281823262661372925617797839858663487667176663854533535266612614346766259573373685399662537859247136539293437377248313672881894196977459877828777496564464637772372545787736168448479641177364896135824764131454848835942478399291521718856198893988851767557574888348365689884727955958175228847591724693587524256595994615358941131263282996721991419996287866868599945947679199583
+76221595592561624745957387157748111541352545856445545456165527359559458865293794446477535457985563998733261661367273585616849826885922265246365696755665656727663846166156997631481555758864656819667411984437277247838469672795193799613337635747671786677676783877495727726711874259266686997576792177852219554838835894957178381621481172444874685878289778878789498851683883782298536137779711868781328896332166594994691516828949273259228355598579698939188998989151996279499489331964724888182297989243991744
+57547371425565965527566557475194454667542474527464669546175395527766369328845725565255817245593676556865848253667617663867766858621556577865358563857577165728641663887747143995683667636692835661478766797695936477872877497887796973266768897646967496868827683975277499885825411679477874771394677258987781871614758898398851899881718437787991875717851797993879418638851199693652278158898588241578836919889298272586991941996291199282954889811298682896281811498152974996221171476338926991969935268994712199
+76685465695113617757552462551436699892684334115116433164758566653975426615235562444675996158588818168779657671622472886866357366254771191379544522622754427586967776418653772634667355578611726969992927988176878273358399797746847736588221248165563373386553869717888752976488374577846668972283717111313819928798938446941181885795884769933235927667448449766497182899986318759948568895777918339482822242492113981914955715229299681699587114434613877855955187751829391119742986115967991688812944159393335351
+44712511364369253154443694852859388645447149569789141346576575845975345495862268916741665451254563125582362247547136426555471596396149975655825167189125245768768695618645651697337912785277656236567423669347335865824753766658261741725118676693627829123635687987971672975676271844812389638876734767853477145844697693586487776937285283622978771473893123474679819818278318678738295592349174998784587896458825695571871469759888714839639473318988258491423458578192192938942978984931661345128511989569891756
+75977718418533247125475755982156565856371488624794453842233536353552664125448445264856653535555471558618882952964435823658686619326767696748259973581556495334464746466377523655955637596776464666658266972999316317554693476979772143787871785936118469266751644557585757748863476616674861788757577776937718311142742866571458718188325489898289614722957137786275566869686885997458772778597289986868888714882942225385397768256982929943659191939172583316824889738667797179799611856988388961839119797999982599
+55418132567675515799516415465347581869645547535865969657385683841336843565595381264956637562556652156652924367878662681162752657645869297175665864697617176849679495244795467661649237516774867366776326776313547898977379227386376875697131828677697571872828795178151635581657877275134862788597847788743788742465891918848133849748798671824293978871868298393981628926274669276898838624597389961895889985489985357691212995924495185981978293531418998297931941419273913738577138791994973561849117291699119659
+84691585836156557594515543444156515672655574458438728557846693554379465697815476524832558468287554559571269694726766861562665455526762678376668556954983966895771466548157671892658763594366957939866566168237171583787797267377656663787378948777966716519417791688257765926878291376987461547716814197767727934828269489881837848876777489848915988817782762152881279936887613798931248719857265882792521887883814593937159199294895998788859195912619992889387326399238114799872481914235982196837699381363299899
+49819476947159296381827955153574515664928563544725637874376557787852598284241646957553453557266359655192158715826131749293816626468562677513967465583674898548766889896361939535275716866456466837746176621326982693724285131492773757967378862417857669478591965987799191747214164638682797756757794885728773243719371483539624251388486817848997352896877158961217619881121285832527574979381886786881599683988435482148259464173536249959792895911846391798826917232872199223239694363868518149299789799261179419
+32567592355837648337245685555253146471564551135586515635663458761771123967627685723885425465559352724367861346694875944835679666636425758267566224669762674677456987288223417873879683499653657666146383547897245771598615594678177774753686937867733577187378578856719839933452898498179451176476877725749465891835688261972661578928888586479714897884468829848968996782194114456391951928156228758798883685157691294679937218377268913999969758182591899557993195917911789321522556741216213926733986981999479626
+62456415552372623445848515251569458752524958149525451669554871566778555391393985158591629634441657437356752666348373455695962636267156986363516925163656277166598267788966641241419626961273174555276854846786377745948456671617374737826719747462713627476738827761937889917775235252173717238428566638796595789748885615956778272848584893782185857382473858784993887214899112888634636328482834953967774981761689185999672616788938395969591489329696849358496989511499832591122399974574743959394516417888519287
+99465461758795363655553413853754455528956559425646655388264554382435591433662521378427519695892731831157657286981647476666452496486556663916766153675776649937566549354661254477363248953862171691384294226876839719275858777756351759766777412787726478688775114867765146577236558847435916497328271249531533798794182138696988886746286187788852389883758979988622597887625768834766995854612751843938235164264481981529324971719999785739729889996349199486918119973361899873687994587711696572386295414934627537
+59347761157267559553666814234656258558631286299515475576553644786495556756539942656555455865896885586145887226837866166477792534576736966974239731162658668766475589751666786764115376766656697691799669725699833794897727758881364568784717718534184227376977987758669186277789787522648787776771871281177183671194481591883886999247567989582882964529533848718819886977129738889189863375989888788298239228829478221559261299499711135867819169399317563164495982992199718823184999129197448619199989931934133993
+31238776458567845572457548555266512478394445855848576851565345585619646492613151146811859756661177464234988756967895668356865966637762358941555696695968796267645669672175751372426225792296186777228857534519986717891677946797617774887346915266671771617981737875677178328686248353733681331729788833996864562119782891278815781872888599845712637778288272819284898678828943979735946484479244283189994411797567322189391238992689298399961195682374888939938392139591978993915418184615759558135539429111552281
+45753352572614443745368846552253449135445963147554645793469892785375372778117256458546695956916763465686446368372555485647995766336455124655617425866575681457191389648648388922836756965771616712787457679755747948366659675811687744756623576672853697768679256821249175975949913394786717688272782389856878186685815947776178692279885586773468778396471887978136793235128618615112441589782879938389349196798929779692615888728971338199669788457988941758299818924781434623972972622355269189398114949145121781
+58524475534465635625953651551457621869348559563694572146647148416448452551575397771241376353733765536963558664557674673616476266256873297145966167471568325775825952755956366268641888235248746484487664717466977566878578472758737736798431825617727858267943688693616386616747737975299934635985759559877582857718867798968958386984884781954293672883896937815479971472749772785884818631114574619686166198869396882997881917916949719599589216531478399491714892658118258385188389699592974222568572179727721997
+52445552976452146777731862623459136569853463682556855954157551965158655297414794458555254777786528856355666318756325788884297373456124767196457479366796616526866217626976631852581556966636588889763996746677742986743689999531848456723587821756858147781772763797732873718774296369266717774769999187411785778885319785479111164295956783469893286796925889288387481884398482988531747137782888587111129852289688999642189658122227531616789457191439781713699139949859299541959319964285824889399969822223196339
+15575954454536254546274433555327419757292215359966346293576677266845527238755568649471767653974548552668616556564736565738554466643852186831332646117745731468778837795663834986667975158287876418565966377972766767584767684966557775496329794244375722885684257988994881677494519777818626939898752967617748818387787869587879517766888651743181535548683399679536819911599278851562188892973714191986317872885992949889897169898162887799976285429264665979441178164792112261138996267329991318482521219742898399
+35376212465976331756295337764593348531126567385486194535167696546649597294857486669565845834681576414648732357618744286731644887561445964223767849659721564627871765775161831596859777167695694579268752575984346872985539784275599867255617533487895176183267573898287688627294261796188827871671568137986368619545798319664189538661197836672864459891628729437868491939879973831537281729993898278267924819747972165681942177529164977221894778397556191273983154897951214198118494264839283111491938937813592185
+58515534571564236159158351759545397137943559467862344234918335174756879369794768415619559535389579556962664568267534726126946286165641824815466157897345534512944628586798147181587952672166164649168166717377567937864583723715739727675293592657726891845664562315573969781925829269816378327727575127927782848867814897569483482684183878631461376883791295677567342668417189213693137192748943883868623813889395997892591867159459379529498974257248799481231678867845377952829132471424821385915499497973492499
+55863428378619342737695811881455959226556323958882858863646156745986636776987742928165954795298755196697453948972145384871692299256616133766743416999396997475726785619774788719885313927616581631986621771856415918325649598271331136772724487785452711141711858683789672188589982199642413872769274219773288296752612943675161938244224788383559889656382225282296979489178329969119321175352498387138532188439931786372315478627214935533589949466199176749333639331718159128943117122143228646351949824964329954
+21256747534765655966964674794839774595781687731655546694571647458849755412566553359361648584146155443236785864587676617717578581594188561689279884276665771568275856995186652367766446147275969525726655434789697569878772882868969261529967279138199538777688267938696711629776347887755725838617163683776654589171867198988399397917137263117838124921164988879937814971782273188745899886683694972827479488776569128297821919941141812824837422894923513227519998114892518289338429985691199779471518393858159988
+62124975354955627626521356939466386478377455855533946246322459894682557664421354425877425655558364957323518646516673873763246714157749758948856696664415735743356191579366877553246553698853676666947516843462975762778498487435782526885186915996771777552684685446721268147798866435766471996478777715862795457318687388951959854689363799629712611788288866379579655783237925881997754687758211758988882697381656842979849916216196579147481173182372289939997748168176689434813699211886579886932286919999371849
+25659745654574825641455232647339579523476164966575446136755573637656117776733545596515164256545133533676185676568593675256634375844168163458727517768655724786668474876722888784465661762627536765624464478729678767961478636774548695527927456983862887976683589777958598783399989557677287373864787673557558983178987817258974788565971663813856719497399818779469188816961989441119166878839848497589878466866919428919892836918589967618277492496782151841192988157129992717219155222127798994195951869198957797
+36454675494745353875416735271457556556425222319453455185436536736416768186268757746426713557735576534756578651585646498652784638256866766753633342156456629654764784752787929737986885753782466884668764586768976269675751976389574936797787786474445326756773176587589586389813184819799686489357799577987569787918737178686218749168514781889889758555643786788428769869169749192429592181179759146881168819867189812984828979732985127962589299199186966675489789953987197127185121353161329228186125799227992197
+25844696411448355377816183585615174657529425385126514794567695746385472455487558416645367789351829553695571752255946648892729469672628576863153649623762581567871685749658356659866952775647889146293166471668286336615775991383157178373968797426475173487369267898279685176946776197716388675899125731427758277939744772688611249426828948417981853758628459847137891938179628715788721882749978691123684253886938814185588379972235153793915952819296486973956195824891214928173982689983299385118971223479536499
+58175656842551454589531362768152557519661234456364949499549688551645415255146524519522286389354153616928676795366256569164247387926366862177234556747515151165179966275652636625763562163339749146526472713978781647736767127535849813747797328834566785862626227628117738676374773687467327444185125763758382418989275884787823864695192485881843994567789697373733873922884978748588479857843855529623687486949352919138699589893497571621359699295411567889171848484498413399518985969958196895496663173479859715
+54564356987446464565583586636717564765854523597573567861153553548489777265566765353411872273795426956567546719855757567669469774782867587696563461868467897226466465959188837667787646452298338481653716767865782196686867877157188589397869871767457297957891833757757616129994877889875756331944959276482787897689321779797898826829969141897198287856831816891294486886872723111598899198686744215516138759389891879143288181891993793117125291821939896794292791231559799798383422261991121979785532662724986149
+63655416557856555211856513573451442262573565544537183734557455918145699551975832561618734753368677497476652766896766632296762468456255337368467665564829484566856612925671166218694367272984586447978851858776387791787774331787357956736644847957877667593159567796772313678227732971547838319569755818996296988749881289888544289846816784775595816898877861426167881788342478933884318265894942167186692911731719985199239199965539195792789588661692791998897253727899289945358914499542937691515327829771312284
+55776324384515256973519225375877847662473754417888538596769754893563643858324558525176725332556269726688743549562636718462133648698895877358486552899964961787186591467475496943566963628783644366737183779985465167374782957324475971991698846959766391117517289829761257858651715467717473989475547784829488119657627848589316843558618211271995716187741222862839193187236896976282657882858419158665889593159922176873895969142795466972932238211682729885233397394121429834791718739376899396952126977699161426
+25368461253173686564155593545624185423713546755239523265653755524452977882434613585728992581536647533647957236428479767526661465673529653482465786634163437676486663556318899354572469683911369264775864475816834753958187863777257678463176459357689774527454878759777466742991146568357179412247137588697558692794586416929897488836878957428756146879188563856598986188857785311225767946828152335824869971866971381569752713191859994798916853986725798129967496761919729996889642233687815793926344693597118297
+57556235159596846696453575544274167135145965425855915331591527735765226987278212499513519555538451866866734626161795771756468665538527824625617653696612644261263884687633719838932351162462166664956297797784573727281688286757977664963893573672876471772375537237499579874482194914346227357327777516731881889568483839279939786818877517491468478398758288348664834851168198559321512545733846843888862784299299167959494138114189792998862851257958941986939945977594596227921966143262365684495795499997389531
+55675477459939178374567555882574415465158365244671633275863527196759248467855417545995555915135473856678658856114128948567866699368552657626947635578274438697463821786135957896652865611666612624658496778976996722523915967897771147966376873715874668938554971857493289724616891776397672277772373576951788918711783363412617891888225817748798482698577914966518296851439183572791288741878338888348468716289912982289447452372891299933692885981959371968812517762931796254129468381239985298944999945957982739
+58559925594255552766923586563497973771577669726857635635251865545924697655154755525475793829795799426966113661536666387713469767451818488268877183796874674636297665613571876626586663658681493181681153717722477264777749882457187856292959937998829481798578574731877672468298773769777476979251429279226482883358837588885199356829896731316114811993159281968968584298878357931988487188858718136253138133759399446994869999621146793191784242722592211426139217917969531998946814219959829996982924736424924486
+21279847666225627315458557645991455544114693543354395985754434174536452554853699667848462459256316763238195877733673842656966875611256665522571465446541619686554528564756366596471177895957356136742787434921698884478495376717798672236777663368257655765272179766563967586747761758228891616846724785389854513271999558951648782881978334788877447936876687638328187767417869785887286933991272795783589649196562438211166916275989399218944589998855814798779874943929887852897189699839714411238381689469175121
+95456522456649625857281913999148558299826544821845542556647285724498585323645547947734527956555557451656763356775173696839212411125966931193765593295665366775839683551969643475665815884563816766666856276787446788628471794132352223617714221487661431677647788694179466217175458677692699567492787777796738789855789973958281524346333472882533259877254278875889971528157732828656978871371167851389888881784989196689118416939263545744458399364436198836538998699118263926884393976718998248227896249199999289
+84251751665321468331142157112552747659252526575667454958481485585559843569495556146591785526512564589536286277643257944225326822366385876136363768677856516959259669666195467151666725761289663762367569164739738875436815533643793347749698724747487978896762716136177177721657826277783687239177487347867127584184998654792664475481445885171983585859818991787382724728828883276893738889479834128859845897823869529511976581377558659255699628219469696192911289849383583993999438791484999158194523996195691893
+57554627938495667349257554566676735235355551335661645863815357286681125925445455724668555626877794966866573814951677845136866567778784634646666244677275697492646839779223613655656683577966673798881517797768492516278895624797767888989574575777735578838671851375794188133472476676779468817778481999262881887951362738991673581887899919168568688884668994978296248681529924458358778788157992888959211137399299816247384911278469299891112127967979999577911518931735979263113556946988989926811399916132224841
+74569456967567674281335813489855319553583765554795256637564454955156418712425552642668145815115884518567156717867878539244692459196642166469487666581636774867556516626752982353666375377925692622699562967826782897898964135571356121775327757159877769274788597866762773786319346477748648813671373371167317893789391891917524668246723288643886826198887138589961897787388489742145758885975992478248448227842891489141291212863577935783439975499793721999824969117291889849959185325686999618611358935955933895
+85176555952764947995593694569456635856575332661614359558563455549336425448271528591763544851957573769628766616387515811661471567156774696768644377272546166967456665144753655938263961287465596216868487173987772749862692277258267826788571787975548838365727717856777625586476614937417239857661732797959828419888385197371338836937893789968289818665994947683882896788873669758772514852834196877284381816193952199949621848244994714891489117939192977611515879499391789998477186988362596394521798839549292721
+65985521557295559424482372646569355587372643545255278995377885149571845256165563553526555883156573587619663266831666153559348375767146669848375465636638911648899625168295636727667466463766699426768469872177437794277726466145948687825777195948657674774912275991173627931674783877857757487771153787957198328854881538883757725615979893688821615976878588512338611228473814278589498896886859888226489816821943996599264999486883672618191479993272618798969962344972233958492538969151991799796199933759192793
+44598741481218759413392629885455991659436695116852695539967258574282782921745564495854525545856552555561985259232986152441373199656611276154771622796371664117836968539389313285667551696563665696766366667219636134319726355248421176772238726588273381748277522894717964149142439677866271767477671787747777832174724542183746635953228788334983769938449285938863391582817525125354178897738287858878289885888894328583565329485774616433989944519487114955139614997441269392863623646528991884939896998939199699
+72558976362423166447635366954642637715757356346121115676543934427521294451748657937183953174558986478366918747353427755874647716575374882686846745723222678765414553863231556285976814829416428566919758947712985846453886698575882768648599379795785683433378987652566497434266739618792593152753967712186915882319695756499771968699387975961148181689679454448919876367751854537784172981361426386417882329712699342171686751188217971149818617225929279178156555912198747886296564889528319247253749752899343182
+11584454733765725545364526658545542815355846543671471334857557886517795585895545449319777663285649662269556584487683665647563776965665392646695765478258244596866899762881669691665655142188877439675177337166769559879477675867488717677641375771687658936935561797791187399277171277676625329998854178628844827787166198158878697859982878875248688279876914714667281881229841138828238878773643111996528973995593889827721926998971896119398998635979938198712582577839299233195224993934998988475422211763918411
+79765565385246648423517534328125829556865268887345493156637575152856765845544186445755156716314772648187667649635775953462864543923693166797637999845651426774868626396787695665529755686626782742588375929877875174688616457397565413471427781874811195676253788597973741789871677663186679773789385369948613198898628579972756841867652458253889298592221678736489961818485289198278877429778188489149647115972421991973968118386795297876356936499131961333278984759117292959639121938998853188929959125175822618
+32194418833258346645566664545999453495896479875549665844522557575426745815436256115414822512566651524321552994436945775667777565611156451691758198665177695563366868653785692654736722652593362367776263543266311554715688677888867672226756271286921977628871667447797976489671376584783376361447347888737465437742266582679978899997878333786738239713218873998277855881818759178248769589448747255845899984857654885337769378118991111898944489784934182432998411938896699292986128935987169155985836695691119596
+85411668975424678285792769557814313524555334855547186364664857457738856459762319616446998954914957379652277918653578939681387166892542463566644596665829747577596856884996756187342172755711916512516848176338812976468914179249827791365357467775561777693185868861796799511786729845328386682212762362795928744992318757912528135193881247646857888667288871429697997281781162289783195643949779332387347381613985511342986812363924621499235875796899977839998253171811839289227339189421675415188144349845849272
+81675952265353627715568532485259499535726559644446413856946995554583521858537257794641294158929414569278616337646473882667964359636151164683766175555752496715711666569463296964836881575231526913152567138972744875758499377817546174726227579487728666686351782682277767157431717594799268634263712426367824918385598686951148892865728583733868159883977779746289379338887826854282861581137974537482353747893512949661979716225991397683969484497926199418888185739148144999893796539397269224818564859346485891
+79736865372954164555524114167594158816675657657135382785716688395541152737966288146357596916555295458184797648316527566663522527861526992778676876824649389682779941665226384817739925746861712766631656929581875942763867777463363897263711388978798793575149179388115277633749592884113685797282387774276713169298615387497888857447491837482249918981981468625128149922638874485161399522479681839349888538782427131972649851899996855851294859335112919219257973623925113374998559627241163358179294145199964989
+11746929534545183386252333554535345577137523365611658881915465311971692866533173356341559444392563252285713164565629449736344466564645668824863447672276999212657642218271397764428446745266155541367436339682427567673155184745557767575677993597455878338711132376875332938241887553955785637726665247854744179353867878426629585666887868678811461856698944982224348798644314935299866416689674883777635896585528146497898953773169677799897978992257296771915519333545981975542514631197752779178599488874691769
+61795916335443188893669894545196665635558475467615842362952731421865529512577957925765445531286466747281612744655429991477191565621777674666958657872695347316384253297663162368816813687655664239757785839272385576653111258821267673288878577716976898371645842749536431877427347992792479876677534186889694138349668776422236993237878439998968882718791948275695385164754298853845811381358198778864529799171524945177988753334711434898954111917999382981215938671649627586531996495692249246921988997563181128
+51814557755543659436851678966456954982678555851457633963641564424231579535754346741266757556615282756292566886665476154796278917756716519378966696256874417475267553534268164686545785237786866772639386731367799777658726581738912886782762148917771736798552858637866464537927579765689634889797788374149784247881188876983769284912399789387325912888284781966396974897757564813868187679174599181889948525189535899229998719487139512341189149843612399939589217741718591886867592497929878128561129299115963629
+51775555841461725653968626351679538352415934547695734742184595752535786151644256623374959912529753626288666695257283676417973746278164946352614565871684585329561686364689726275536773448516112363186473739977771636839478752818485738927515746372567698279569643167279747579183738664788455962722347429758484118888274794158986392959684913862685748367871938167175427838185868129484977589956617383345853186959522999938581526919741316179512497379685947898214927828653894929697923159518869116772849445696429716
+74663675297232924465251927916942645747776555249415146687286566813198915745825582665643867355841856558577478631834313557636213812715375685888766635152625779839767792421912685693669377675497846695296766968858974294542466874732492382648679699987774626373688194187881353212379671477148878651895771631787717996918531565357798584351349375978171119888573748479921529899246432348178258825998976291688274289882811712964267646881969546245148618928222199968485958113263191135754345928936993611918731279938539199
+18585679231834847296149444294557983348554628866758615955655958489759566744627951844913416587334936952969678134294595831725155531566819445966573997786972616676616959186167785573816295512452769844514716317178924531561694283626664267792155617768411889718372778772716129727889668492731662356387195562582742828913564267271539473777537881326672887952299182948388988382723183899177951384277346749821667369385393912467537838264158488864899243778399816331129315949919949383429491128816249538845785193277847149
+41623255254264663285965678515471342546344814794335283344449656695925582373588537855711239515565865865273436636537577439617678962658245365745592581544639445555176771613669348469964896682234162667697697638454774764868854172878917376935647685661369265574155666628788272477145957117591779334527377871871874956588587597996528398912848714675879677247137668526677773989938358825616822861288144563848898298298516769969861811763941912395982578698178835824877963778888419114946993672793397239925567495991931931
+57855587635529527485355293555762985516551994325655973786871345535951842287358681478167261628957753656896669874663163859646631466687319662766211543676618489798245664616295339846979258927837273916886476791777198577427496175774257779842177387732265478772959181935677572731644195718136913894838412799758781288821968853851728688536888195328849884337658988316129214678868384275521682924712491594952381186989239993217996496283979964799921643995199544876919942723132578997949538663279313582351261516349229719
+51764547553374486526767963164978737547778166675678136566573516858584843566546541533558359629171683656287565866448559763787817427518984865888927778678924767768462796969595467765765264466946173128279476739867697755966187489892853862919597699913888978913587887957381717161657887687637557715728423938158784197871886617729859191396497312161871112499918912469899816849282827276899879874866882683953414926989521898299772883196121241751842327298222351112912357191192795139393838791198198597799379416452513719