(7,157,307,457,607,757,907)
(7,2767,5527,8287,11047,13807,16567)
(7,3457,6907,10357,13807,17257,20707)
(7,9157,18307,27457,36607,45757,54907)
(7,14197,28387,42577,56767,70957,85147)
(7,20047,40087,60127,80167,100207,120247)
(7,21247,42487,63727,84967,106207,127447)
(7,63607,127207,190807,254407,318007,381607)
(7,76717,153427,230137,306847,383557,460267)
(7,117427,234847,352267,469687,587107,704527)
(7,122347,244687,367027,489367,611707,734047)
(7,134257,268507,402757,537007,671257,805507)
(7,184477,368947,553417,737887,922357,1106827)
(7,184627,369247,553867,738487,923107,1107727)
(7,189697,379387,569077,758767,948457,1138147)
(7,237067,474127,711187,948247,1185307,1422367)
(7,274837,549667,824497,1099327,1374157,1648987)
(7,312007,624007,936007,1248007,1560007,1872007)
(7,337537,675067,1012597,1350127,1687657,2025187)
(7,379417,758827,1138237,1517647,1897057,2276467)
(7,477637,955267,1432897,1910527,2388157,2865787)
(7,498907,997807,1496707,1995607,2494507,2993407)
(7,514747,1029487,1544227,2058967,2573707,3088447)
(7,678757,1357507,2036257,2715007,3393757,4072507)
(7,707857,1415707,2123557,2831407,3539257,4247107)
(7,1014547,2029087,3043627,4058167,5072707,6087247)
(7,1168537,2337067,3505597,4674127,5842657,7011187)
(7,1180087,2360167,3540247,4720327,5900407,7080487)
(7,1234537,2469067,3703597,4938127,6172657,7407187)
(7,1251697,2503387,3755077,5006767,6258457,7510147)
(7,1263487,2526967,3790447,5053927,6317407,7580887)
(7,1523527,3047047,4570567,6094087,7617607,9141127)
(7,1690597,3381187,5071777,6762367,8452957,10143547)
(7,1733827,3467647,5201467,6935287,8669107,10402927)
(7,1887217,3774427,5661637,7548847,9436057,11323267)
(7,1932397,3864787,5797177,7729567,9661957,11594347)
(7,1941187,3882367,5823547,7764727,9705907,11647087)
(7,1959697,3919387,5879077,7838767,9798457,11758147)
(7,2090497,4180987,6271477,8361967,10452457,12542947)
(7,2093527,4187047,6280567,8374087,10467607,12561127)
(7,2170537,4341067,6511597,8682127,10852657,13023187)
(7,2266777,4533547,6800317,9067087,11333857,13600627)
(7,2272537,4545067,6817597,9090127,11362657,13635187)
(7,2464597,4929187,7393777,9858367,12322957,14787547)
(7,2824387,5648767,8473147,11297527,14121907,16946287)
(7,3535237,7070467,10605697,14140927,17676157,21211387)
(7,3702757,7405507,11108257,14811007,18513757,22216507)
(7,3826177,7652347,11478517,15304687,19130857,22957027)
(7,4363267,8726527,13089787,17453047,21816307,26179567)
(7,4435477,8870947,13306417,17741887,22177357,26612827)
(7,4752577,9505147,14257717,19010287,23762857,28515427)
(7,5333407,10666807,16000207,21333607,26667007,32000407)
(7,5348887,10697767,16046647,21395527,26744407,32093287)
(7,5373847,10747687,16121527,21495367,26869207,32243047)
(7,5406217,10812427,16218637,21624847,27031057,32437267)
(7,5436757,10873507,16310257,21747007,27183757,32620507)
(7,5853217,11706427,17559637,23412847,29266057,35119267)
(7,6027067,12054127,18081187,24108247,30135307,36162367)
(7,7112437,14224867,21337297,28449727,35562157,42674587)
(7,7232947,14465887,21698827,28931767,36164707,43397647)
(7,7504807,15009607,22514407,30019207,37524007,45028807)
(7,7624657,15249307,22873957,30498607,38123257,45747907)
(7,7964137,15928267,23892397,31856527,39820657,47784787)
(7,8176687,16353367,24530047,32706727,40883407,49060087)
(7,8207347,16414687,24622027,32829367,41036707,49244047)
(7,8639227,17278447,25917667,34556887,43196107,51835327)
(7,8966257,17932507,26898757,35865007,44831257,53797507)
(7,9835117,19670227,29505337,39340447,49175557,59010667)
(7,10153447,20306887,30460327,40613767,50767207,60920647)
(7,10368187,20736367,31104547,41472727,51840907,62209087)
(7,10373017,20746027,31119037,41492047,51865057,62238067)
(7,10638457,21276907,31915357,42553807,53192257,63830707)
(7,10705537,21411067,32116597,42822127,53527657,64233187)
(7,10836487,21672967,32509447,43345927,54182407,65018887)
(7,10926907,21853807,32780707,43707607,54634507,65561407)
(7,11236447,22472887,33709327,44945767,56182207,67418647)
(7,11660497,23320987,34981477,46641967,58302457,69962947)
(7,11761117,23522227,35283337,47044447,58805557,70566667)
(7,12023467,24046927,36070387,48093847,60117307,72140767)
(7,12161167,24322327,36483487,48644647,60805807,72966967)
(7,12175957,24351907,36527857,48703807,60879757,73055707)
(7,13445347,26890687,40336027,53781367,67226707,80672047)
(7,13789387,27578767,41368147,55157527,68946907,82736287)
(7,14051647,28103287,42154927,56206567,70258207,84309847)
(7,14067187,28134367,42201547,56268727,70335907,84403087)
(7,14241397,28482787,42724177,56965567,71206957,85448347)
(7,14777197,29554387,44331577,59108767,73885957,88663147)
(7,14843977,29687947,44531917,59375887,74219857,89063827)
(7,14920777,29841547,44762317,59683087,74603857,89524627)
(7,15039667,30079327,45118987,60158647,75198307,90237967)
(7,15049807,30099607,45149407,60199207,75249007,90298807)
(7,15053107,30106207,45159307,60212407,75265507,90318607)
(7,15079297,30158587,45237877,60317167,75396457,90475747)
(7,15169597,30339187,45508777,60678367,75847957,91017547)
(7,15286867,30573727,45860587,61147447,76434307,91721167)
(7,15437407,30874807,46312207,61749607,77187007,92624407)
(7,15863257,31726507,47589757,63453007,79316257,95179507)
(7,16316857,32633707,48950557,65267407,81584257,97901107)
(7,16814407,33628807,50443207,67257607,84072007,100886407)
(7,17198947,34397887,51596827,68795767,85994707,103193647)
(7,17566807,35133607,52700407,70267207,87834007,105400807)
(7,17611267,35222527,52833787,70445047,88056307,105667567)
(7,17742037,35484067,53226097,70968127,88710157,106452187)
(7,18118777,36237547,54356317,72475087,90593857,108712627)
(7,18664417,37328827,55993237,74657647,93322057,111986467)
(7,19418767,38837527,58256287,77675047,97093807,116512567)
(7,21407377,42814747,64222117,85629487,107036857,128444227)
(7,21682987,43365967,65048947,86731927,108414907,130097887)
(7,22467307,44934607,67401907,89869207,112336507,134803807)
(7,22549567,45099127,67648687,90198247,112747807,135297367)
(7,23252917,46505827,69758737,93011647,116264557,139517467)
(7,23728267,47456527,71184787,94913047,118641307,142369567)
(7,23798287,47596567,71394847,95193127,118991407,142789687)
(7,23801857,47603707,71405557,95207407,119009257,142811107)
(7,24178447,48356887,72535327,96713767,120892207,145070647)
(7,24587887,49175767,73763647,98351527,122939407,147527287)
(7,25866397,51732787,77599177,103465567,129331957,155198347)
(7,26109607,52219207,78328807,104438407,130548007,156657607)
(7,26129557,52259107,78388657,104518207,130647757,156777307)
(7,26185417,52370827,78556237,104741647,130927057,157112467)
(7,26588257,53176507,79764757,106353007,132941257,159529507)
(7,26924707,53849407,80774107,107698807,134623507,161548207)
(7,27274417,54548827,81823237,109097647,136372057,163646467)
(7,27395107,54790207,82185307,109580407,136975507,164370607)
(7,27546577,55093147,82639717,110186287,137732857,165279427)
(7,27856417,55712827,83569237,111425647,139282057,167138467)
(7,28343977,56687947,85031917,113375887,141719857,170063827)
(7,28438987,56877967,85316947,113755927,142194907,170633887)
(7,29944477,59888947,89833417,119777887,149722357,179666827)
(7,30353647,60707287,91060927,121414567,151768207,182121847)
(7,30947677,61895347,92843017,123790687,154738357,185686027)
(7,31279327,62558647,93837967,125117287,156396607,187675927)
(7,32107477,64214947,96322417,128429887,160537357,192644827)
(7,33187057,66374107,99561157,132748207,165935257,199122307)
(7,34212697,68425387,102638077,136850767,171063457,205276147)
(7,34475887,68951767,103427647,137903527,172379407,206855287)
(7,34665097,69330187,103995277,138660367,173325457,207990547)
(7,34816657,69633307,104449957,139266607,174083257,208899907)
(7,34939087,69878167,104817247,139756327,174695407,209634487)
(7,34960477,69920947,104881417,139841887,174802357,209762827)
(7,35009167,70018327,105027487,140036647,175045807,210054967)
(7,35685337,71370667,107055997,142741327,178426657,214111987)
(7,35781727,71563447,107345167,143126887,178908607,214690327)
(7,35905447,71810887,107716327,143621767,179527207,215432647)
(7,36233347,72466687,108700027,144933367,181166707,217400047)
(7,36596587,73193167,109789747,146386327,182982907,219579487)
(7,36602557,73205107,109807657,146410207,183012757,219615307)
(7,36836707,73673407,110510107,147346807,184183507,221020207)
(7,37918477,75836947,113755417,151673887,189592357,227510827)
(7,38018917,76037827,114056737,152075647,190094557,228113467)
(7,38366137,76732267,115098397,153464527,191830657,230196787)
(7,39014377,78028747,117043117,156057487,195071857,234086227)
(7,39481147,78962287,118443427,157924567,197405707,236886847)
(7,39781657,79563307,119344957,159126607,198908257,238689907)
(7,40210837,80421667,120632497,160843327,201054157,241264987)
(7,41132137,82264267,123396397,164528527,205660657,246792787)
(7,41264107,82528207,123792307,165056407,206320507,247584607)
(7,42220777,84441547,126662317,168883087,211103857,253324627)
(7,42425707,84851407,127277107,169702807,212128507,254554207)
(7,43151587,86303167,129454747,172606327,215757907,258909487)
(7,43225537,86451067,129676597,172902127,216127657,259353187)
(7,43522867,87045727,130568587,174091447,217614307,261137167)
(7,43682887,87365767,131048647,174731527,218414407,262097287)
(7,43695097,87390187,131085277,174780367,218475457,262170547)
(7,43973437,87946867,131920297,175893727,219867157,263840587)
(7,44426257,88852507,133278757,177705007,222131257,266557507)
(7,44915467,89830927,134746387,179661847,224577307,269492767)
(7,45302557,90605107,135907657,181210207,226512757,271815307)
(7,45310597,90621187,135931777,181242367,226552957,271863547)
(7,45376657,90753307,136129957,181506607,226883257,272259907)
(7,45638347,91276687,136915027,182553367,228191707,273830047)
(7,45916447,91832887,137749327,183665767,229582207,275498647)
(7,46144807,92289607,138434407,184579207,230724007,276868807)
(7,46326727,92653447,138980167,185306887,231633607,277960327)
(7,46406197,92812387,139218577,185624767,232030957,278437147)
(7,46445527,92891047,139336567,185782087,232227607,278673127)
(7,46859467,93718927,140578387,187437847,234297307,281156767)
(7,47438617,94877227,142315837,189754447,237193057,284631667)
(7,47819467,95638927,143458387,191277847,239097307,286916767)
(7,48143317,96286627,144429937,192573247,240716557,288859867)
(7,48232747,96465487,144698227,192930967,241163707,289396447)
(7,48317287,96634567,144951847,193269127,241586407,289903687)
(7,48581077,97162147,145743217,194324287,242905357,291486427)
(7,49137457,98274907,147412357,196549807,245687257,294824707)
(7,49204447,98408887,147613327,196817767,246022207,295226647)
(7,50142847,100285687,150428527,200571367,250714207,300857047)
(7,50670757,101341507,152012257,202683007,253353757,304024507)
(7,50894707,101789407,152684107,203578807,254473507,305368207)
(7,51009037,102018067,153027097,204036127,255045157,306054187)
(7,51668377,103336747,155005117,206673487,258341857,310010227)
(7,51940597,103881187,155821777,207762367,259702957,311643547)
(7,51986797,103973587,155960377,207947167,259933957,311920747)
(7,52081927,104163847,156245767,208327687,260409607,312491527)
(7,52656907,105313807,157970707,210627607,263284507,315941407)
(7,52755247,105510487,158265727,211020967,263776207,316531447)
(7,53169187,106338367,159507547,212676727,265845907,319015087)
(7,53810257,107620507,161430757,215241007,269051257,322861507)
(7,54359527,108719047,163078567,217438087,271797607,326157127)
(7,55028947,110057887,165086827,220115767,275144707,330173647)
(7,55753627,111507247,167260867,223014487,278768107,334521727)
(7,55899517,111799027,167698537,223598047,279497557,335397067)
(7,55953487,111906967,167860447,223813927,279767407,335720887)
(7,56582917,113165827,169748737,226331647,282914557,339497467)
(7,56898277,113796547,170694817,227593087,284491357,341389627)
(7,57653887,115307767,172961647,230615527,288269407,345923287)
(7,57666997,115333987,173000977,230667967,288334957,346001947)
(7,59036587,118073167,177109747,236146327,295182907,354219487)
(7,59173627,118347247,177520867,236694487,295868107,355041727)
(7,60081457,120162907,180244357,240325807,300407257,360488707)
(7,60644107,121288207,181932307,242576407,303220507,363864607)
(7,61228207,122456407,183684607,244912807,306141007,367369207)
(7,62272807,124545607,186818407,249091207,311364007,373636807)
(7,63523687,127047367,190571047,254094727,317618407,381142087)
(7,63533377,127066747,190600117,254133487,317666857,381200227)
(7,63581587,127163167,190744747,254326327,317907907,381489487)
(7,63796867,127593727,191390587,255187447,318984307,382781167)
(7,63896197,127792387,191688577,255584767,319480957,383377147)
(7,64192837,128385667,192578497,256771327,320964157,385156987)
(7,64553077,129106147,193659217,258212287,322765357,387318427)
(7,65825917,131651827,197477737,263303647,329129557,394955467)
(7,66452887,132905767,199358647,265811527,332264407,398717287)
(7,66496987,132993967,199490947,265987927,332484907,398981887)
(7,66614137,133228267,199842397,266456527,333070657,399684787)
(7,66827557,133655107,200482657,267310207,334137757,400965307)
(7,67303657,134607307,201910957,269214607,336518257,403821907)
(7,67476337,134952667,202428997,269905327,337381657,404857987)
(7,67786087,135572167,203358247,271144327,338930407,406716487)
(7,67969687,135939367,203909047,271878727,339848407,407818087)
(7,68414617,136829227,205243837,273658447,342073057,410487667)
(7,68432677,136865347,205298017,273730687,342163357,410596027)
(7,68656417,137312827,205969237,274625647,343282057,411938467)
(7,69418927,138837847,208256767,277675687,347094607,416513527)
(7,69598657,139197307,208795957,278394607,347993257,417591907)
(7,70592527,141185047,211777567,282370087,352962607,423555127)
(7,71404087,142808167,214212247,285616327,357020407,428424487)
(7,72184207,144368407,216552607,288736807,360921007,433105207)
(7,72214237,144428467,216642697,288856927,361071157,433285387)
(7,73203727,146407447,219611167,292814887,366018607,439222327)
(7,73479277,146958547,220437817,293917087,367396357,440875627)
(7,73635787,147271567,220907347,294543127,368178907,441814687)
(7,73942717,147885427,221828137,295770847,369713557,443656267)
(7,74577697,149155387,223733077,298310767,372888457,447466147)
(7,75237517,150475027,225712537,300950047,376187557,451425067)
(7,75472567,150945127,226417687,301890247,377362807,452835367)
(7,76131277,152262547,228393817,304525087,380656357,456787627)
(7,76418347,152836687,229255027,305673367,382091707,458510047)
(7,76752397,153504787,230257177,307009567,383761957,460514347)
(7,77279677,154559347,231839017,309118687,386398357,463678027)
(7,78101887,156203767,234305647,312407527,390509407,468611287)
(7,78390427,156780847,235171267,313561687,391952107,470342527)
(7,78750547,157501087,236251627,315002167,393752707,472503247)
(7,78882217,157764427,236646637,315528847,394411057,473293267)
(7,79411207,158822407,238233607,317644807,397056007,476467207)
(7,79866877,159733747,239600617,319467487,399334357,479201227)
(7,79897777,159795547,239693317,319591087,399488857,479386627)
(7,80862697,161725387,242588077,323450767,404313457,485176147)
(7,82908817,165817627,248726437,331635247,414544057,497452867)
(7,82935547,165871087,248806627,331742167,414677707,497613247)
(7,83170567,166341127,249511687,332682247,415852807,499023367)
(7,83172997,166345987,249518977,332691967,415864957,499037947)
(7,84316777,168633547,252950317,337267087,421583857,505900627)
(7,84319747,168639487,252959227,337278967,421598707,505918447)
(7,84960097,169920187,254880277,339840367,424800457,509760547)
(7,85244737,170489467,255734197,340978927,426223657,511468387)
(7,85497637,170995267,256492897,341990527,427488157,512985787)
(7,86066557,172133107,258199657,344266207,430332757,516399307)
(7,89093197,178186387,267279577,356372767,445465957,534559147)
(7,89192647,178385287,267577927,356770567,445963207,535155847)
(7,89746957,179493907,269240857,358987807,448734757,538481707)
(7,89791837,179583667,269375497,359167327,448959157,538750987)
(7,90314197,180628387,270942577,361256767,451570957,541885147)
(7,90644737,181289467,271934197,362578927,453223657,543868387)
(7,90793177,181586347,272379517,363172687,453965857,544759027)
(7,91120177,182240347,273360517,364480687,455600857,546721027)
(7,92094697,184189387,276284077,368378767,460473457,552568147)
(7,92541817,185083627,277625437,370167247,462709057,555250867)
(7,93381367,186762727,280144087,373525447,466906807,560288167)
(7,93479047,186958087,280437127,373916167,467395207,560874247)
(7,94300387,188600767,282901147,377201527,471501907,565802287)
(7,94927597,189855187,284782777,379710367,474637957,569565547)
(7,95650507,191301007,286951507,382602007,478252507,573903007)
(7,95854357,191708707,287563057,383417407,479271757,575126107)
(7,96525157,193050307,289575457,386100607,482625757,579150907)
(7,97826437,195652867,293479297,391305727,489132157,586958587)
(7,98276137,196552267,294828397,393104527,491380657,589656787)
(7,98525257,197050507,295575757,394101007,492626257,591151507)
(7,98567047,197134087,295701127,394268167,492835207,591402247)
(7,99226537,198453067,297679597,396906127,496132657,595359187)
(7,99248767,198497527,297746287,396995047,496243807,595492567)
(7,99798757,199597507,299396257,399195007,498993757,598792507)
(7,100040497,200080987,300121477,400161967,500202457,600242947)
(7,100791697,201583387,302375077,403166767,503958457,604750147)
(7,101185927,202371847,303557767,404743687,505929607,607115527)
(7,101192677,202385347,303578017,404770687,505963357,607156027)
(7,101735197,203470387,305205577,406940767,508675957,610411147)
(7,101888167,203776327,305664487,407552647,509440807,611328967)
(7,102192757,204385507,306578257,408771007,510963757,613156507)
(7,102509887,205019767,307529647,410039527,512549407,615059287)
(7,103293217,206586427,309879637,413172847,516466057,619759267)
(7,103922407,207844807,311767207,415689607,519612007,623534407)
(7,104088427,208176847,312265267,416353687,520442107,624530527)
(7,104296417,208592827,312889237,417185647,521482057,625778467)
(7,104743237,209486467,314229697,418972927,523716157,628459387)
(7,104840677,209681347,314522017,419362687,524203357,629044027)
(7,105018817,210037627,315056437,420075247,525094057,630112867)
(7,106123177,212246347,318369517,424492687,530615857,636739027)
(7,106375627,212751247,319126867,425502487,531878107,638253727)
(7,106630057,213260107,319890157,426520207,533150257,639780307)
(7,107009557,214019107,321028657,428038207,535047757,642057307)
(7,107295037,214590067,321885097,429180127,536475157,643770187)
(7,108815017,217630027,326445037,435260047,544075057,652890067)
(7,108939427,217878847,326818267,435757687,544697107,653636527)
(7,110467297,220934587,331401877,441869167,552336457,662803747)
(7,110537737,221075467,331613197,442150927,552688657,663226387)
(7,110716117,221432227,332148337,442864447,553580557,664296667)
(7,111384727,222769447,334154167,445538887,556923607,668308327)
(7,111453127,222906247,334359367,445812487,557265607,668718727)
(7,113210077,226420147,339630217,452840287,566050357,679260427)
(7,114027457,228054907,342082357,456109807,570137257,684164707)
(7,115265317,230530627,345795937,461061247,576326557,691591867)
(7,115532467,231064927,346597387,462129847,577662307,693194767)
(7,116785687,233571367,350357047,467142727,583928407,700714087)
(7,117853807,235707607,353561407,471415207,589269007,707122807)
(7,118433047,236866087,355299127,473732167,592165207,710598247)
(7,118536007,237072007,355608007,474144007,592680007,711216007)
(7,118669777,237339547,356009317,474679087,593348857,712018627)
(7,118923097,237846187,356769277,475692367,594615457,713538547)
(7,119004937,238009867,357014797,476019727,595024657,714029587)
(7,119464957,238929907,358394857,477859807,597324757,716789707)
(7,120037327,240074647,360111967,480149287,600186607,720223927)
(7,121061737,242123467,363185197,484246927,605308657,726370387)
(7,121339627,242679247,364018867,485358487,606698107,728037727)
(7,121958257,243916507,365874757,487833007,609791257,731749507)
(7,122454337,244908667,367362997,489817327,612271657,734725987)
(7,123812167,247624327,371436487,495248647,619060807,742872967)
(7,124079287,248158567,372237847,496317127,620396407,744475687)
(7,125551807,251103607,376655407,502207207,627759007,753310807)
(7,125563507,251127007,376690507,502254007,627817507,753381007)
(7,125902177,251804347,377706517,503608687,629510857,755413027)
(7,126156307,252312607,378468907,504625207,630781507,756937807)
(7,126506977,253013947,379520917,506027887,632534857,759041827)
(7,127480117,254960227,382440337,509920447,637400557,764880667)
(7,127601377,255202747,382804117,510405487,638006857,765608227)
(7,127948507,255897007,383845507,511794007,639742507,767691007)
(7,128239117,256478227,384717337,512956447,641195557,769434667)
(7,128551747,257103487,385655227,514206967,642758707,771310447)
(7,128694187,257388367,386082547,514776727,643470907,772165087)
(7,129740077,259480147,389220217,518960287,648700357,778440427)
(7,129892897,259785787,389678677,519571567,649464457,779357347)
(7,130767037,261534067,392301097,523068127,653835157,784602187)
(7,132053797,264107587,396161377,528215167,660268957,792322747)
(7,132905767,265811527,398717287,531623047,664528807,797434567)
(7,132910927,265821847,398732767,531643687,664554607,797465527)
(7,133336417,266672827,400009237,533345647,666682057,800018467)
(7,133793797,267587587,401381377,535175167,668968957,802762747)
(7,134036557,268073107,402109657,536146207,670182757,804219307)
(7,134723977,269447947,404171917,538895887,673619857,808343827)
(7,135157567,270315127,405472687,540630247,675787807,810945367)
(7,135794257,271588507,407382757,543177007,678971257,814765507)
(7,136702417,273404827,410107237,546809647,683512057,820214467)
(7,136930117,273860227,410790337,547720447,684650557,821580667)
(7,137720347,275440687,413161027,550881367,688601707,826322047)
(7,138564817,277129627,415694437,554259247,692824057,831388867)
(7,140840197,281680387,422520577,563360767,704200957,845041147)
(7,140886367,281772727,422659087,563545447,704431807,845318167)
(7,140977477,281954947,422932417,563909887,704887357,845864827)
(7,141367297,282734587,424101877,565469167,706836457,848203747)
(7,141395437,282790867,424186297,565581727,706977157,848372587)
(7,141719647,283439287,425158927,566878567,708598207,850317847)
(7,141754477,283508947,425263417,567017887,708772357,850526827)
(7,142279747,284559487,426839227,569118967,711398707,853678447)
(7,143051647,286103287,429154927,572206567,715258207,858309847)
(7,143836447,287672887,431509327,575345767,719182207,863018647)
(7,145452787,290905567,436358347,581811127,727263907,872716687)
(7,145710787,291421567,437132347,582843127,728553907,874264687)
(7,146161627,292323247,438484867,584646487,730808107,876969727)
(7,146178727,292357447,438536167,584714887,730893607,877072327)
(7,147210367,294420727,441631087,588841447,736051807,883262167)
(7,147461767,294923527,442385287,589847047,737308807,884770567)
(7,147822757,295645507,443468257,591291007,739113757,886936507)
(7,148326697,296653387,444980077,593306767,741633457,889960147)
(7,148666447,297332887,445999327,594665767,743332207,891998647)
(7,148852027,297704047,446556067,595408087,744260107,893112127)
(7,149500357,299000707,448501057,598001407,747501757,897002107)
(7,149730367,299460727,449191087,598921447,748651807,898382167)
(7,150268267,300536527,450804787,601073047,751341307,901609567)
(7,150374527,300749047,451123567,601498087,751872607,902247127)
(7,150968017,301936027,452904037,603872047,754840057,905808067)
(7,151472257,302944507,454416757,605889007,757361257,908833507)
(7,151800127,303600247,455400367,607200487,759000607,910800727)
(7,152078317,304156627,456234937,608313247,760391557,912469867)
(7,153011377,306022747,459034117,612045487,765056857,918068227)
(7,153216607,306433207,459649807,612866407,766083007,919299607)
(7,153500647,307001287,460501927,614002567,767503207,921003847)
(7,155474677,310949347,466424017,621898687,777373357,932848027)
(7,155809447,311618887,467428327,623237767,779047207,934856647)
(7,156517927,313035847,469553767,626071687,782589607,939107527)
(7,157482547,314965087,472447627,629930167,787412707,944895247)
(7,157932727,315865447,473798167,631730887,789663607,947596327)
(7,158281777,316563547,474845317,633127087,791408857,949690627)
(7,158848057,317696107,476544157,635392207,794240257,953088307)
(7,159466807,318933607,478400407,637867207,797334007,956800807)
(7,159682867,319365727,479048587,638731447,798414307,958097167)
(7,160529107,321058207,481587307,642116407,802645507,963174607)
(7,161226727,322453447,483680167,644906887,806133607,967360327)
(7,161460007,322920007,484380007,645840007,807300007,968760007)
(7,162531517,325063027,487594537,650126047,812657557,975189067)
(7,164309917,328619827,492929737,657239647,821549557,985859467)
(7,164392297,328784587,493176877,657569167,821961457,986353747)
(7,165175177,330350347,495525517,660700687,825875857,991051027)
(7,165754867,331509727,497264587,663019447,828774307,994529167)
(7,166347877,332695747,499043617,665391487,831739357,998087227)
(7,168026767,336053527,504080287,672107047,840133807,1008160567)
(7,168085507,336171007,504256507,672342007,840427507,1008513007)
(7,168780637,337561267,506341897,675122527,843903157,1012683787)
(7,169138327,338276647,507414967,676553287,845691607,1014829927)
(7,169876747,339753487,509630227,679506967,849383707,1019260447)
(7,170096197,340192387,510288577,680384767,850480957,1020577147)
(7,170419267,340838527,511257787,681677047,852096307,1022515567)
(7,170938597,341877187,512815777,683754367,854692957,1025631547)
(7,172222537,344445067,516667597,688890127,861112657,1033335187)
(7,173691997,347383987,521075977,694767967,868459957,1042151947)
(7,173976457,347952907,521929357,695905807,869882257,1043858707)
(7,174056797,348113587,522170377,696227167,870283957,1044340747)
(7,174232207,348464407,522696607,696928807,871161007,1045393207)
(7,175064257,350128507,525192757,700257007,875321257,1050385507)
(7,175156207,350312407,525468607,700624807,875781007,1050937207)
(7,175277467,350554927,525832387,701109847,876387307,1051664767)
(7,175538887,351077767,526616647,702155527,877694407,1053233287)
(7,175661257,351322507,526983757,702645007,878306257,1053967507)
(7,175905757,351811507,527717257,703623007,879528757,1055434507)
(7,175938127,351876247,527814367,703752487,879690607,1055628727)
(7,175973167,351946327,527919487,703892647,879865807,1055838967)
(7,176076457,352152907,528229357,704305807,880382257,1056458707)
(7,176233537,352467067,528700597,704934127,881167657,1057401187)
(7,177691807,355383607,533075407,710767207,888459007,1066150807)
(7,177837937,355675867,533513797,711351727,889189657,1067027587)
(7,179190997,358381987,537572977,716763967,895954957,1075145947)
(7,180113467,360226927,540340387,720453847,900567307,1080680767)
(7,180788017,361576027,542364037,723152047,903940057,1084728067)
(7,181061047,362122087,543183127,724244167,905305207,1086366247)
(7,182655127,365310247,547965367,730620487,913275607,1095930727)
(7,183338257,366676507,550014757,733353007,916691257,1100029507)
(7,183731047,367462087,551193127,734924167,918655207,1102386247)
(7,184131037,368262067,552393097,736524127,920655157,1104786187)
(7,184755127,369510247,554265367,739020487,923775607,1108530727)
(7,185350237,370700467,556050697,741400927,926751157,1112101387)
(7,186001867,372003727,558005587,744007447,930009307,1116011167)
(7,186202657,372405307,558607957,744810607,931013257,1117215907)
(7,186566287,373132567,559698847,746265127,932831407,1119397687)
(7,187191187,374382367,561573547,748764727,935955907,1123147087)
(7,187236067,374472127,561708187,748944247,936180307,1123416367)
(7,187696657,375393307,563089957,750786607,938483257,1126179907)
(7,187999597,375999187,563998777,751998367,939997957,1127997547)
(7,188048647,376097287,564145927,752194567,940243207,1128291847)
(7,189227767,378455527,567683287,756911047,946138807,1135366567)
(7,189396517,378793027,568189537,757586047,946982557,1136379067)
(7,189680947,379361887,569042827,758723767,948404707,1138085647)
(7,189897187,379794367,569691547,759588727,949485907,1139383087)
(7,189937597,379875187,569812777,759750367,949687957,1139625547)
(7,190621657,381243307,571864957,762486607,953108257,1143729907)
(7,191088967,382177927,573266887,764355847,955444807,1146533767)
(7,191711677,383423347,575135017,766846687,958558357,1150270027)
(7,191740387,383480767,575221147,766961527,958701907,1150442287)
(7,192319867,384639727,576959587,769279447,961599307,1153919167)
(7,193115917,386231827,579347737,772463647,965579557,1158695467)
(7,197770987,395541967,593312947,791083927,988854907,1186625887)
(7,199211017,398422027,597633037,796844047,996055057,1195266067)
(7,199230907,398461807,597692707,796923607,996154507,1195385407)
(7,199529557,399059107,598588657,798118207,997647757,1197177307)
(7,200097397,400194787,600292177,800389567,1000486957,1200584347)
(7,200623417,401246827,601870237,802493647,1003117057,1203740467)
(7,201058267,402116527,603174787,804233047,1005291307,1206349567)
(7,201331027,402662047,603993067,805324087,1006655107,1207986127)
(7,202139137,404278267,606417397,808556527,1010695657,1212834787)
(7,202548547,405097087,607645627,810194167,1012742707,1215291247)
(7,202724107,405448207,608172307,810896407,1013620507,1216344607)
(7,202832527,405665047,608497567,811330087,1014162607,1216995127)
(7,203582287,407164567,610746847,814329127,1017911407,1221493687)
(7,203758627,407517247,611275867,815034487,1018793107,1222551727)
(7,204081037,408162067,612243097,816324127,1020405157,1224486187)
(7,205846327,411692647,617538967,823385287,1029231607,1235077927)
(7,206675317,413350627,620025937,826701247,1033376557,1240051867)
(7,207753967,415507927,623261887,831015847,1038769807,1246523767)
(7,209107267,418214527,627321787,836429047,1045536307,1254643567)
(7,209221897,418443787,627665677,836887567,1046109457,1255331347)
(7,209811967,419623927,629435887,839247847,1049059807,1258871767)
(7,210848047,421696087,632544127,843392167,1054240207,1265088247)
(7,211316437,422632867,633949297,845265727,1056582157,1267898587)
(7,211394977,422789947,634184917,845579887,1056974857,1268369827)
(7,211597327,423194647,634791967,846389287,1057986607,1269583927)
(7,211716457,423432907,635149357,846865807,1058582257,1270298707)
(7,211938127,423876247,635814367,847752487,1059690607,1271628727)
(7,213256387,426512767,639769147,853025527,1066281907,1279538287)
(7,213474697,426949387,640424077,853898767,1067373457,1280848147)
(7,213520507,427041007,640561507,854082007,1067602507,1281123007)
(7,213600697,427201387,640802077,854402767,1068003457,1281604147)
(7,213704047,427408087,641112127,854816167,1068520207,1282224247)
(7,213981577,427963147,641944717,855926287,1069907857,1283889427)
(7,218339827,436679647,655019467,873359287,1091699107,1310038927)
(7,218657287,437314567,655971847,874629127,1093286407,1311943687)
(7,218664517,437329027,655993537,874658047,1093322557,1311987067)
(7,219146857,438293707,657440557,876587407,1095734257,1314881107)
(7,219179407,438358807,657538207,876717607,1095897007,1315076407)
(7,219590167,439180327,658770487,878360647,1097950807,1317540967)
(7,220433737,440867467,661301197,881734927,1102168657,1322602387)
(7,220438147,440876287,661314427,881752567,1102190707,1322628847)
(7,220819447,441638887,662458327,883277767,1104097207,1324916647)
(7,220924567,441849127,662773687,883698247,1104622807,1325547367)
(7,221521897,443043787,664565677,886087567,1107609457,1329131347)
(7,222059557,444119107,666178657,888238207,1110297757,1332357307)
(7,222944317,445888627,668832937,891777247,1114721557,1337665867)
(7,223097947,446195887,669293827,892391767,1115489707,1338587647)
(7,223148917,446297827,669446737,892595647,1115744557,1338893467)
(7,225543907,451087807,676631707,902175607,1127719507,1353263407)
(7,225783487,451566967,677350447,903133927,1128917407,1354700887)
(7,226429117,452858227,679287337,905716447,1132145557,1358574667)
(7,227137957,454275907,681413857,908551807,1135689757,1362827707)
(7,227790757,455581507,683372257,911163007,1138953757,1366744507)
(7,227824357,455648707,683473057,911297407,1139121757,1366946107)
(7,227932477,455864947,683797417,911729887,1139662357,1367594827)
(7,228143857,456287707,684431557,912575407,1140719257,1368863107)
(7,228771667,457543327,686314987,915086647,1143858307,1372629967)
(7,228803797,457607587,686411377,915215167,1144018957,1372822747)
(7,229097467,458194927,687292387,916389847,1145487307,1374584767)
(7,229996747,459993487,689990227,919986967,1149983707,1379980447)
(7,231895957,463791907,695687857,927583807,1159479757,1391375707)
(7,232197367,464394727,696592087,928789447,1160986807,1393184167)
(7,232303837,464607667,696911497,929215327,1161519157,1393822987)
(7,232697347,465394687,698092027,930789367,1163486707,1396184047)
(7,233853787,467707567,701561347,935415127,1169268907,1403122687)
(7,234393067,468786127,703179187,937572247,1171965307,1406358367)
(7,235345597,470691187,706036777,941382367,1176727957,1412073547)
(7,236808007,473616007,710424007,947232007,1184040007,1420848007)
(7,237997267,475994527,713991787,951989047,1189986307,1427983567)
(7,239620057,479240107,718860157,958480207,1198100257,1437720307)
(7,240350137,480700267,721050397,961400527,1201750657,1442100787)
(7,241317577,482635147,723952717,965270287,1206587857,1447905427)
(7,241655857,483311707,724967557,966623407,1208279257,1449935107)
(7,242255227,484510447,726765667,969020887,1211276107,1453531327)
(7,242458717,484917427,727376137,969834847,1212293557,1454752267)
(7,243466567,486933127,730399687,973866247,1217332807,1460799367)
(7,243744187,487488367,731232547,974976727,1218720907,1462465087)
(7,244942777,489885547,734828317,979771087,1224713857,1469656627)
(7,245895337,491790667,737685997,983581327,1229476657,1475371987)
(7,246397087,492794167,739191247,985588327,1231985407,1478382487)
(7,246594067,493188127,739782187,986376247,1232970307,1479564367)
(7,246600007,493200007,739800007,986400007,1233000007,1479600007)
(7,246702307,493404607,740106907,986809207,1233511507,1480213807)
(7,248539987,497079967,745619947,994159927,1242699907,1491239887)
(7,248561617,497123227,745684837,994246447,1242808057,1491369667)
(7,251071087,502142167,753213247,1004284327,1255355407,1506426487)
(7,251929267,503858527,755787787,1007717047,1259646307,1511575567)
(7,254464477,508928947,763393417,1017857887,1272322357,1526786827)
(7,255013597,510027187,765040777,1020054367,1275067957,1530081547)
(7,255013777,510027547,765041317,1020055087,1275068857,1530082627)
(7,255513847,511027687,766541527,1022055367,1277569207,1533083047)
(7,256644127,513288247,769932367,1026576487,1283220607,1539864727)
(7,256969597,513939187,770908777,1027878367,1284847957,1541817547)
(7,257602747,515205487,772808227,1030410967,1288013707,1545616447)
(7,257695177,515390347,773085517,1030780687,1288475857,1546171027)
(7,257963107,515926207,773889307,1031852407,1289815507,1547778607)
(7,258395287,516790567,775185847,1033581127,1291976407,1550371687)
(7,258833677,517667347,776501017,1035334687,1294168357,1553002027)
(7,259116337,518232667,777348997,1036465327,1295581657,1554697987)
(7,259353217,518706427,778059637,1037412847,1296766057,1556119267)
(7,260665507,521331007,781996507,1042662007,1303327507,1563993007)
(7,261296587,522593167,783889747,1045186327,1306482907,1567779487)
(7,261473347,522946687,784420027,1045893367,1307366707,1568840047)
(7,261613117,523226227,784839337,1046452447,1308065557,1569678667)
(7,261654607,523309207,784963807,1046618407,1308273007,1569927607)
(7,262837567,525675127,788512687,1051350247,1314187807,1577025367)
(7,263320357,526640707,789961057,1053281407,1316601757,1579922107)
(7,263735497,527470987,791206477,1054941967,1318677457,1582412947)
(7,263767687,527535367,791303047,1055070727,1318838407,1582606087)
(7,264509857,529019707,793529557,1058039407,1322549257,1587059107)
(7,264787177,529574347,794361517,1059148687,1323935857,1588723027)
(7,267625837,535251667,802877497,1070503327,1338129157,1605754987)
(7,267853357,535706707,803560057,1071413407,1339266757,1607120107)
(7,267932227,535864447,803796667,1071728887,1339661107,1607593327)
(7,267974107,535948207,803922307,1071896407,1339870507,1607844607)
(7,269024827,538049647,807074467,1076099287,1345124107,1614148927)
(7,269575807,539151607,808727407,1078303207,1347879007,1617454807)
(7,270308557,540617107,810925657,1081234207,1351542757,1621851307)
(7,270391777,540783547,811175317,1081567087,1351958857,1622350627)
(7,270975127,541950247,812925367,1083900487,1354875607,1625850727)
(7,272242567,544485127,816727687,1088970247,1361212807,1633455367)
(7,272722507,545445007,818167507,1090890007,1363612507,1636335007)
(7,273029917,546059827,819089737,1092119647,1365149557,1638179467)
(7,274540117,549080227,823620337,1098160447,1372700557,1647240667)
(7,275004637,550009267,825013897,1100018527,1375023157,1650027787)
(7,275575207,551150407,826725607,1102300807,1377876007,1653451207)
(7,275944147,551888287,827832427,1103776567,1379720707,1655664847)
(7,276040837,552081667,828122497,1104163327,1380204157,1656244987)
(7,276665227,553330447,829995667,1106660887,1383326107,1659991327)
(7,276779497,553558987,830338477,1107117967,1383897457,1660676947)
(7,276831547,553663087,830494627,1107326167,1384157707,1660989247)
(7,277369447,554738887,832108327,1109477767,1386847207,1664216647)
(7,277594297,555188587,832782877,1110377167,1387971457,1665565747)
(7,277734397,555468787,833203177,1110937567,1388671957,1666406347)
(7,278336017,556672027,835008037,1113344047,1391680057,1670016067)
(7,278390467,556780927,835171387,1113561847,1391952307,1670342767)
(7,279602887,559205767,838808647,1118411527,1398014407,1677617287)
(7,279956827,559913647,839870467,1119827287,1399784107,1679740927)
(7,279994597,559989187,839983777,1119978367,1399972957,1679967547)
(7,280245367,560490727,840736087,1120981447,1401226807,1681472167)
(7,280380127,560760247,841140367,1121520487,1401900607,1682280727)
(7,282361987,564723967,847085947,1129447927,1411809907,1694171887)
(7,282493027,564986047,847479067,1129972087,1412465107,1694958127)
(7,282535117,565070227,847605337,1130140447,1412675557,1695210667)
(7,283121857,566243707,849365557,1132487407,1415609257,1698731107)
(7,283173937,566347867,849521797,1132695727,1415869657,1699043587)
(7,283593997,567187987,850781977,1134375967,1417969957,1701563947)
(7,283909477,567818947,851728417,1135637887,1419547357,1703456827)
(7,283923007,567846007,851769007,1135692007,1419615007,1703538007)
(7,285798727,571597447,857396167,1143194887,1428993607,1714792327)
(7,286085857,572171707,858257557,1144343407,1430429257,1716515107)
(7,289290697,578581387,867872077,1157162767,1446453457,1735744147)
(7,292336237,584672467,877008697,1169344927,1461681157,1754017387)
(7,292523167,585046327,877569487,1170092647,1462615807,1755138967)
(7,292546117,585092227,877638337,1170184447,1462730557,1755276667)
(7,292891747,585783487,878675227,1171566967,1464458707,1757350447)
(7,292986817,585973627,878960437,1171947247,1464934057,1757920867)
(7,293850727,587701447,881552167,1175402887,1469253607,1763104327)
(7,294234757,588469507,882704257,1176939007,1471173757,1765408507)
(7,294516247,589032487,883548727,1178064967,1472581207,1767097447)
(7,294817717,589635427,884453137,1179270847,1474088557,1768906267)
(7,295604887,591209767,886814647,1182419527,1478024407,1773629287)
(7,296609857,593219707,889829557,1186439407,1483049257,1779659107)
(7,296718427,593436847,890155267,1186873687,1483592107,1780310527)
(7,297127297,594254587,891381877,1188509167,1485636457,1782763747)
(7,299564257,599128507,898692757,1198257007,1497821257,1797385507)
(7,300971347,601942687,902914027,1203885367,1504856707,1805828047)
(7,301027927,602055847,903083767,1204111687,1505139607,1806167527)
(7,301852597,603705187,905557777,1207410367,1509262957,1811115547)
(7,302683867,605367727,908051587,1210735447,1513419307,1816103167)
(7,302750407,605500807,908251207,1211001607,1513752007,1816502407)
(7,302957737,605915467,908873197,1211830927,1514788657,1817746387)
(7,303343177,606686347,910029517,1213372687,1516715857,1820059027)
(7,304234747,608469487,912704227,1216938967,1521173707,1825408447)
(7,304935097,609870187,914805277,1219740367,1524675457,1829610547)
(7,305407867,610815727,916223587,1221631447,1527039307,1832447167)
(7,305526877,611053747,916580617,1222107487,1527634357,1833161227)
(7,306093607,612187207,918280807,1224374407,1530468007,1836561607)
(7,306586507,613173007,919759507,1226346007,1532932507,1839519007)
(7,307128517,614257027,921385537,1228514047,1535642557,1842771067)
(7,308520577,617041147,925561717,1234082287,1542602857,1851123427)
(7,308657077,617314147,925971217,1234628287,1543285357,1851942427)
(7,310097857,620195707,930293557,1240391407,1550489257,1860587107)
(7,310224997,620449987,930674977,1240899967,1551124957,1861349947)
(7,310531987,621063967,931595947,1242127927,1552659907,1863191887)
(7,311001697,622003387,933005077,1244006767,1555008457,1866010147)
(7,311610427,623220847,934831267,1246441687,1558052107,1869662527)
(7,311914597,623829187,935743777,1247658367,1559572957,1871487547)
(7,312497287,624994567,937491847,1249989127,1562486407,1874983687)
(7,312661477,625322947,937984417,1250645887,1563307357,1875968827)
(7,312693067,625386127,938079187,1250772247,1563465307,1876158367)
(7,313480537,626961067,940441597,1253922127,1567402657,1880883187)
(7,313811107,627622207,941433307,1255244407,1569055507,1882866607)
(7,314584297,629168587,943752877,1258337167,1572921457,1887505747)
(7,316235977,632471947,948707917,1264943887,1581179857,1897415827)
(7,316319197,632638387,948957577,1265276767,1581595957,1897915147)
(7,316359037,632718067,949077097,1265436127,1581795157,1898154187)
(7,317796277,635592547,953388817,1271185087,1588981357,1906777627)
(7,318428137,636856267,955284397,1273712527,1592140657,1910568787)
(7,319651027,639302047,958953067,1278604087,1598255107,1917906127)
(7,320651767,641303527,961955287,1282607047,1603258807,1923910567)
(7,320875957,641751907,962627857,1283503807,1604379757,1925255707)
(7,321511867,643023727,964535587,1286047447,1607559307,1929071167)
(7,322957627,645915247,968872867,1291830487,1614788107,1937745727)
(7,324398587,648797167,973195747,1297594327,1621992907,1946391487)
(7,325198087,650396167,975594247,1300792327,1625990407,1951188487)
(7,325588717,651177427,976766137,1302354847,1627943557,1953532267)
(7,326056177,652112347,978168517,1304224687,1630280857,1956337027)
(7,326523247,653046487,979569727,1306092967,1632616207,1959139447)
(7,326883757,653767507,980651257,1307535007,1634418757,1961302507)
(7,327964057,655928107,983892157,1311856207,1639820257,1967784307)
(7,329919727,659839447,989759167,1319678887,1649598607,1979518327)
(7,330022387,660044767,990067147,1320089527,1650111907,1980134287)
(7,330514957,661029907,991544857,1322059807,1652574757,1983089707)
(7,330701827,661403647,992105467,1322807287,1653509107,1984210927)
(7,330796537,661593067,992389597,1323186127,1653982657,1984779187)
(7,331345897,662691787,994037677,1325383567,1656729457,1988075347)
(7,332277457,664554907,996832357,1329109807,1661387257,1993664707)
(7,335673187,671346367,1007019547,1342692727,1678365907,2014039087)
(7,335907577,671815147,1007722717,1343630287,1679537857,2015445427)
(7,336895267,673790527,1010685787,1347581047,1684476307,2021371567)
(7,336933757,673867507,1010801257,1347735007,1684668757,2021602507)
(7,337877767,675755527,1013633287,1351511047,1689388807,2027266567)
(7,338422597,676845187,1015267777,1353690367,1692112957,2030535547)
(7,339382177,678764347,1018146517,1357528687,1696910857,2036293027)
(7,340533757,681067507,1021601257,1362135007,1702668757,2043202507)
(7,340791907,681583807,1022375707,1363167607,1703959507,2044751407)
(7,341489887,682979767,1024469647,1365959527,1707449407,2048939287)
(7,341576857,683153707,1024730557,1366307407,1707884257,2049461107)
(7,341792677,683585347,1025378017,1367170687,1708963357,2050756027)
(7,342467197,684934387,1027401577,1369868767,1712335957,2054803147)
(7,343749907,687499807,1031249707,1374999607,1718749507,2062499407)
(7,344160457,688320907,1032481357,1376641807,1720802257,2064962707)
(7,344633977,689267947,1033901917,1378535887,1723169857,2067803827)
(7,349650307,699300607,1048950907,1398601207,1748251507,2097901807)
(7,351064507,702129007,1053193507,1404258007,1755322507,2106387007)
(7,351836587,703673167,1055509747,1407346327,1759182907,2111019487)
(7,353273257,706546507,1059819757,1413093007,1766366257,2119639507)
(7,354089917,708179827,1062269737,1416359647,1770449557,2124539467)
(7,354436177,708872347,1063308517,1417744687,1772180857,2126617027)
(7,354474607,708949207,1063423807,1417898407,1772373007,2126847607)
(7,355235017,710470027,1065705037,1420940047,1776175057,2131410067)
(7,355404667,710809327,1066213987,1421618647,1777023307,2132427967)
(7,355488127,710976247,1066464367,1421952487,1777440607,2132928727)
(7,357709117,715418227,1073127337,1430836447,1788545557,2146254667)
(7,359412727,718825447,1078238167,1437650887,1797063607,2156476327)
(7,360074137,720148267,1080222397,1440296527,1800370657,2160444787)
(7,360331537,720663067,1080994597,1441326127,1801657657,2161989187)
(7,361914877,723829747,1085744617,1447659487,1809574357,2171489227)
(7,362021827,724043647,1086065467,1448087287,1810109107,2172130927)
(7,362358067,724716127,1087074187,1449432247,1811790307,2174148367)
(7,362716867,725433727,1088150587,1450867447,1813584307,2176301167)
(7,363316747,726633487,1089950227,1453266967,1816583707,2179900447)
(7,365300227,730600447,1095900667,1461200887,1826501107,2191801327)
(7,365372167,730744327,1096116487,1461488647,1826860807,2192232967)
(7,365657647,731315287,1096972927,1462630567,1828288207,2193945847)
(7,367416067,734832127,1102248187,1469664247,1837080307,2204496367)
(7,367737817,735475627,1103213437,1470951247,1838689057,2206426867)
(7,367861687,735723367,1103585047,1471446727,1839308407,2207170087)
(7,370536367,741072727,1111609087,1482145447,1852681807,2223218167)
(7,370800007,741600007,1112400007,1483200007,1854000007,2224800007)
(7,371811337,743622667,1115433997,1487245327,1859056657,2230867987)
(7,373131667,746263327,1119394987,1492526647,1865658307,2238789967)
(7,373520647,747041287,1120561927,1494082567,1867603207,2241123847)
(7,374125207,748250407,1122375607,1496500807,1870626007,2244751207)
(7,374879797,749759587,1124639377,1499519167,1874398957,2249278747)
(7,375543097,751086187,1126629277,1502172367,1877715457,2253258547)
(7,376617037,753234067,1129851097,1506468127,1883085157,2259702187)
(7,376769587,753539167,1130308747,1507078327,1883847907,2260617487)
(7,379215817,758431627,1137647437,1516863247,1896079057,2275294867)
(7,379948417,759896827,1139845237,1519793647,1899742057,2279690467)
(7,380922457,761844907,1142767357,1523689807,1904612257,2285534707)
(7,383552527,767105047,1150657567,1534210087,1917762607,2301315127)
(7,384442537,768885067,1153327597,1537770127,1922212657,2306655187)
(7,385267747,770535487,1155803227,1541070967,1926338707,2311606447)
(7,386334577,772669147,1159003717,1545338287,1931672857,2318007427)
(7,386511787,773023567,1159535347,1546047127,1932558907,2319070687)
(7,387556297,775112587,1162668877,1550225167,1937781457,2325337747)
(7,389559067,779118127,1168677187,1558236247,1947795307,2337354367)
(7,390188167,780376327,1170564487,1560752647,1950940807,2341128967)
(7,391595107,783190207,1174785307,1566380407,1957975507,2349570607)
(7,393284917,786569827,1179854737,1573139647,1966424557,2359709467)
(7,393361897,786723787,1180085677,1573447567,1966809457,2360171347)
(7,394140907,788281807,1182422707,1576563607,1970704507,2364845407)
(7,394388437,788776867,1183165297,1577553727,1971942157,2366330587)
(7,394860997,789721987,1184582977,1579443967,1974304957,2369165947)
(7,395752507,791505007,1187257507,1583010007,1978762507,2374515007)
(7,396314767,792629527,1188944287,1585259047,1981573807,2377888567)
(7,396521857,793043707,1189565557,1586087407,1982609257,2379131107)
(7,399700117,799400227,1199100337,1598800447,1998500557,2398200667)
(7,400361077,800722147,1201083217,1601444287,2001805357,2402166427)
(7,401250877,802501747,1203752617,1605003487,2006254357,2407505227)
(7,402044557,804089107,1206133657,1608178207,2010222757,2412267307)
(7,402333157,804666307,1206999457,1609332607,2011665757,2413998907)
(7,402428077,804856147,1207284217,1609712287,2012140357,2414568427)
(7,402468247,804936487,1207404727,1609872967,2012341207,2414809447)
(7,403102867,806205727,1209308587,1612411447,2015514307,2418617167)
(7,403556347,807112687,1210669027,1614225367,2017781707,2421338047)
(7,403608817,807217627,1210826437,1614435247,2018044057,2421652867)
(7,404075047,808150087,1212225127,1616300167,2020375207,2424450247)
(7,406431127,812862247,1219293367,1625724487,2032155607,2438586727)
(7,406541857,813083707,1219625557,1626167407,2032709257,2439251107)
(7,407980117,815960227,1223940337,1631920447,2039900557,2447880667)
(7,408595597,817191187,1225786777,1634382367,2042977957,2451573547)
(7,408863317,817726627,1226589937,1635453247,2044316557,2453179867)
(7,409030057,818060107,1227090157,1636120207,2045150257,2454180307)
(7,409377877,818755747,1228133617,1637511487,2046889357,2456267227)
(7,409603927,819207847,1228811767,1638415687,2048019607,2457623527)
(7,410773357,821546707,1232320057,1643093407,2053866757,2464640107)
(7,414505687,829011367,1243517047,1658022727,2072528407,2487034087)
(7,417575737,835151467,1252727197,1670302927,2087878657,2505454387)
(7,417898297,835796587,1253694877,1671593167,2089491457,2507389747)
(7,418025197,836050387,1254075577,1672100767,2090125957,2508151147)
(7,419163517,838327027,1257490537,1676654047,2095817557,2514981067)
(7,419184817,838369627,1257554437,1676739247,2095924057,2515108867)
(7,420262057,840524107,1260786157,1681048207,2101310257,2521572307)
(7,420464797,840929587,1261394377,1681859167,2102323957,2522788747)
(7,420951217,841902427,1262853637,1683804847,2104756057,2525707267)
(7,422051857,844103707,1266155557,1688207407,2110259257,2532311107)
(7,422507857,845015707,1267523557,1690031407,2112539257,2535047107)
(7,423272467,846544927,1269817387,1693089847,2116362307,2539634767)
(7,423390907,846781807,1270172707,1693563607,2116954507,2540345407)
(7,423485977,846971947,1270457917,1693943887,2117429857,2540915827)
(7,424247797,848495587,1272743377,1696991167,2121238957,2545486747)
(7,424930897,849861787,1274792677,1699723567,2124654457,2549585347)
(7,425007127,850014247,1275021367,1700028487,2125035607,2550042727)
(7,426279937,852559867,1278839797,1705119727,2131399657,2557679587)
(7,427687537,855375067,1283062597,1710750127,2138437657,2566125187)
(7,428804647,857609287,1286413927,1715218567,2144023207,2572827847)
(7,429074497,858148987,1287223477,1716297967,2145372457,2574446947)
(7,429173167,858346327,1287519487,1716692647,2145865807,2575038967)
(7,429567877,859135747,1288703617,1718271487,2147839357,2577407227)
(7,431072857,862145707,1293218557,1724291407,2155364257,2586437107)
(7,432234157,864468307,1296702457,1728936607,2161170757,2593404907)
(7,432293317,864586627,1296879937,1729173247,2161466557,2593759867)
(7,432454777,864909547,1297364317,1729819087,2162273857,2594728627)
(7,432905497,865810987,1298716477,1731621967,2164527457,2597432947)
(7,434874667,869749327,1304623987,1739498647,2174373307,2609247967)
(7,435352657,870705307,1306057957,1741410607,2176763257,2612115907)
(7,435528637,871057267,1306585897,1742114527,2177643157,2613171787)
(7,437104597,874209187,1311313777,1748418367,2185522957,2622627547)
(7,437401957,874803907,1312205857,1749607807,2187009757,2624411707)
(7,439634917,879269827,1318904737,1758539647,2198174557,2637809467)
(7,440369077,880738147,1321107217,1761476287,2201845357,2642214427)
(7,440377237,880754467,1321131697,1761508927,2201886157,2642263387)
(7,442161337,884322667,1326483997,1768645327,2210806657,2652967987)
(7,442224547,884449087,1326673627,1768898167,2211122707,2653347247)
(7,442398247,884796487,1327194727,1769592967,2211991207,2654389447)
(7,443034577,886069147,1329103717,1772138287,2215172857,2658207427)
(7,443516377,887032747,1330549117,1774065487,2217581857,2661098227)
(7,445148227,890296447,1335444667,1780592887,2225741107,2670889327)
(7,445618057,891236107,1336854157,1782472207,2228090257,2673708307)
(7,446296897,892593787,1338890677,1785187567,2231484457,2677781347)
(7,446585047,893170087,1339755127,1786340167,2232925207,2679510247)
(7,447135727,894271447,1341407167,1788542887,2235678607,2682814327)
(7,447137287,894274567,1341411847,1788549127,2235686407,2682823687)
(7,448679017,897358027,1346037037,1794716047,2243395057,2692074067)
(7,450038947,900077887,1350116827,1800155767,2250194707,2700233647)
(7,450295177,900590347,1350885517,1801180687,2251475857,2701771027)
(7,451661377,903322747,1354984117,1806645487,2258306857,2709968227)
(7,452613727,905227447,1357841167,1810454887,2263068607,2715682327)
(7,452772547,905545087,1358317627,1811090167,2263862707,2716635247)
(7,452997277,905994547,1358991817,1811989087,2264986357,2717983627)
(7,453133477,906266947,1359400417,1812533887,2265667357,2718800827)
(7,455050327,910100647,1365150967,1820201287,2275251607,2730301927)
(7,457301077,914602147,1371903217,1829204287,2286505357,2743806427)
(7,460281607,920563207,1380844807,1841126407,2301408007,2761689607)
(7,460522717,921045427,1381568137,1842090847,2302613557,2763136267)
(7,460673737,921347467,1382021197,1842694927,2303368657,2764042387)
(7,461279857,922559707,1383839557,1845119407,2306399257,2767679107)
(7,461727337,923454667,1385181997,1846909327,2308636657,2770363987)
(7,462781057,925562107,1388343157,1851124207,2313905257,2776686307)
(7,463403167,926806327,1390209487,1853612647,2317015807,2780418967)
(7,464317417,928634827,1392952237,1857269647,2321587057,2785904467)
(7,465866857,931733707,1397600557,1863467407,2329334257,2795201107)
(7,466084357,932168707,1398253057,1864337407,2330421757,2796506107)
(7,467108347,934216687,1401325027,1868433367,2335541707,2802650047)
(7,467929057,935858107,1403787157,1871716207,2339645257,2807574307)
(7,468843997,937687987,1406531977,1875375967,2344219957,2813063947)
(7,469058857,938117707,1407176557,1876235407,2345294257,2814353107)
(7,470168947,940337887,1410506827,1880675767,2350844707,2821013647)
(7,470334727,940669447,1411004167,1881338887,2351673607,2822008327)
(7,470412637,940825267,1411237897,1881650527,2352063157,2822475787)
(7,470814637,941629267,1412443897,1883258527,2354073157,2824887787)
(7,471477427,942954847,1414432267,1885909687,2357387107,2828864527)
(7,473574217,947148427,1420722637,1894296847,2367871057,2841445267)
(7,477338557,954677107,1432015657,1909354207,2386692757,2864031307)
(7,477340837,954681667,1432022497,1909363327,2386704157,2864044987)
(7,478460197,956920387,1435380577,1913840767,2392300957,2870761147)
(7,480244987,960489967,1440734947,1920979927,2401224907,2881469887)
(7,480530107,961060207,1441590307,1922120407,2402650507,2883180607)
(7,481612717,963225427,1444838137,1926450847,2408063557,2889676267)
(7,482484997,964969987,1447454977,1929939967,2412424957,2894909947)
(7,482770357,965540707,1448311057,1931081407,2413851757,2896622107)
(7,483264697,966529387,1449794077,1933058767,2416323457,2899588147)
(7,483707347,967414687,1451122027,1934829367,2418536707,2902244047)
(7,483732157,967464307,1451196457,1934928607,2418660757,2902392907)
(7,483911797,967823587,1451735377,1935647167,2419558957,2903470747)
(7,484289857,968579707,1452869557,1937159407,2421449257,2905739107)
(7,484712377,969424747,1454137117,1938849487,2423561857,2908274227)
(7,487856077,975712147,1463568217,1951424287,2439280357,2927136427)
(7,488592397,977184787,1465777177,1954369567,2442961957,2931554347)
(7,489777097,979554187,1469331277,1959108367,2448885457,2938662547)
(7,490227697,980455387,1470683077,1960910767,2451138457,2941366147)
(7,492169507,984339007,1476508507,1968678007,2460847507,2953017007)
(7,492320737,984641467,1476962197,1969282927,2461603657,2953924387)
(7,492453877,984907747,1477361617,1969815487,2462269357,2954723227)
(7,493535047,987070087,1480605127,1974140167,2467675207,2961210247)
(7,494237827,988475647,1482713467,1976951287,2471189107,2965426927)
(7,496604257,993208507,1489812757,1986417007,2483021257,2979625507)
(7,497058217,994116427,1491174637,1988232847,2485291057,2982349267)
(7,497310157,994620307,1491930457,1989240607,2486550757,2983860907)
(7,498193417,996386827,1494580237,1992773647,2490967057,2989160467)
(7,499802827,999605647,1499408467,1999211287,2499014107,2998816927)
(7,499955527,999911047,1499866567,1999822087,2499777607,2999733127)
(7,501656227,1003312447,1504968667,2006624887,2508281107,3009937327)
(7,502245277,1004490547,1506735817,2008981087,2511226357,3013471627)
(7,503064217,1006128427,1509192637,2012256847,2515321057,3018385267)
(7,504087487,1008174967,1512262447,2016349927,2520437407,3024524887)
(7,505502827,1011005647,1516508467,2022011287,2527514107,3033016927)
(7,506053957,1012107907,1518161857,2024215807,2530269757,3036323707)
(7,508446307,1016892607,1525338907,2033785207,2542231507,3050677807)
(7,508512307,1017024607,1525536907,2034049207,2542561507,3051073807)
(7,508892617,1017785227,1526677837,2035570447,2544463057,3053355667)
(7,509109397,1018218787,1527328177,2036437567,2545546957,3054656347)
(7,509279257,1018558507,1527837757,2037117007,2546396257,3055675507)