diff --git a/solver/puzzle.cpp b/solver/puzzle.cpp index eac6636..3f1f56b 100644 --- a/solver/puzzle.cpp +++ b/solver/puzzle.cpp @@ -15,6 +15,7 @@ uint8_t BoxStart(uint8_t id) { return row + col; } +constexpr std::array kBoxStarts{0, 3, 6, 27, 30, 33, 54, 57, 60}; constexpr std::array kBoxOffsets{0, 1, 2, 9, 10, 11, 18, 19, 20}; } // namespace @@ -80,9 +81,38 @@ bool Puzzle::ApplyNextStep() { for (uint8_t v = 1; v <= 9; v++) { if (cells_[i].IsPossible(v)) { AssignSquare(i, v); + return true; } } - return true; + } + } + // Search for a hidden single in a box. + for (int box = 0; box < 9; box++) { + uint8_t boxroot = kBoxStarts[box]; + // FIXME: We should be able to check all of the numbers at once. + for (int n = 1; n <= 9; n++) { + int8_t found_loc = -1; + bool exit = false; + for (int cellind = 0; cellind < 9 && !exit; cellind++) { + Cell cell = cells_[boxroot + kBoxOffsets[cellind]]; + if (cell.IsSolved()) { + if (cell.value() == n) { + // This number is solved in this box, we can exit. + exit = true; + } + continue; + } + if (cell.IsPossible(n)) { + if (found_loc != -1) { + exit = true; + } + found_loc = boxroot + kBoxOffsets[cellind]; + } + } + if (found_loc != -1 && !exit) { + AssignSquare(found_loc, n); + return true; + } } } return false; diff --git a/testcases/unsolved/00_kaggle1m.csv b/testcases/unsolved/00_kaggle1m.csv index 207e60c..4fc4f61 100644 --- a/testcases/unsolved/00_kaggle1m.csv +++ b/testcases/unsolved/00_kaggle1m.csv @@ -1,329 +1,2 @@ -068700900004000071030809050300080100040005007007304092602001005000020600059030028,568712943924653871731849256395287164246195387817364592682971435473528619159436728 -000700084895000000104960520300040107050000068280005400706200000010030000040080316,623751984895324671174968523369842157457193268281675439736219845518436792942587316 -090020710003000580700530000075000000000003076940018020400280001100609000089001402,594826713263197584718534269375962148821453976946718325437285691152649837689371452 -000690570003000002000702489002910000308406010050083090026008001840500036700100000,284691573973845162615732489462917358398456217157283694526378941841529736739164825 -600523000027009000400007080000014290050230010001050063706800000040602001580001074,698523147127489536435167982863714295954236718271958463716845329349672851582391674 -061020000040605900392000508820009007400003000000480003007002100010070000980014602,561928734748635921392741568823169457479253816156487293637892145214576389985314672 -402000060390020700000043005680500010005900203237018090010060054006004070000089002,452791368398625741761843925689532417145976283237418596913267854826354179574189632 -700090026306240070000063008090002830530400000000508410900107000052000190870020000,745891326386245971219763548194672835538419762627538419963157284452386197871924653 -006003005050602100904701020000000570037020400618005900000030004092100600075009803,126893745753642189984751326249316578537928461618475932861537294392184657475269813 -150307090008090000003840600700000021491002036000950008060000400000503079509070200,156327894248196357973845612785634921491782536632951748367219485824563179519478263 -004000900930210500650007023000000010075800040400006007080701090009640052200003100,724365981938214576651987423863479215175832649492156837586721394319648752247593168 -020900600000851900870000000200508396000607451004030027500010080060302100091000003,125974638346851972879263514217548396983627451654139827532416789768392145491785263 -703500120006003000095040000000015000200800050000600804400000030502109006031086270,743568129126973548895241367684315792217894653359627814468752931572139486931486275 -300706000920000607001080050540000210013600705890002000030907804002100006600008530,354726198928351647761489352546873219213694785897512463135967824482135976679248531 -002100049400900800800060320700080005050000001063004700201050670006719050080002000,672138549435927816819465327724381965958276431163594782291853674346719258587642193 -060207000059300400040080031093106280002000907084090000025000006000670109100004300,361247895859361472247589631793156284512438967684792513925813746438675129176924358 -080010009000207400006300108520071340630008010090600000401009620000703080800060004,785416239319287465246395178528971346634528917197634852471859623962743581853162794 -701500300006023901090800000200650009907000514080000030300078006002009403610400200,721594368856723941493816725234651879967382514185947632349278156572169483618435297 -004080000100000589009301200400006810680910004002007050003000602060720100070005090,724589361136472589859361247497256813685913724312847956543198672968724135271635498 -020801509500070800400000702950010000002004350803006001746000000009705130000092008,327841569561279843498653712954317286612984357873526491746138925289765134135492678 -100000970000405306009102085070000508400001030002540700210080604798000020040003000,154836972827495316369172485671329548485761239932548761213987654798654123546213897 -003056400000800600500071089938020005000014090000000273090140028870090560100000000,783956412419832657562471389938627145257314896641589273396145728874293561125768934 -000090013132070000000002756201005009070080600540000001050623080800049000007100030,765894213132576498498312756281465379379281645546937821954623187813749562627158934 -360002490000300002907001000010009380050000004402800007004670050000004130005008006,368752491541396872927481563716249385853167924492835617184673259679524138235918746 -400005208100600095098037600070428006200010000060903001052040700080009000000702040,436195278127684395598237614971428536243516987865973421352841769784369152619752843 -007050004600040032025009010700060901850403706102000000200700360000301040080004009,317256894698147532425839617734562981859413726162978453241795368976381245583624179 -008400000352800000009053700000001024401500003700680090010030046500702901986040000,178496352352817469649253718895371624461529873723684195217938546534762981986145237 -040120000075000013080605009000000026807063054501000300004070600200000900090018005,943127568675894213182635749439751826827963154561482397314579682258346971796218435 -004030006032900107900205000006007089850006000070510000300109064000000301700840900,584731296632984157917265438146327589853496712279518643325179864498652371761843925 -000830017070605290009000400000504039100002500008106000057000000200000300800017060,425839617371645298689721453762584139194372586538196742957463821216958374843217965 -403600000010000280520100490000940007054003820790021000000030645609000000000000018,483692571917354286526187493362948157154763829798521364871239645649815732235476918 -401008000600500380003006027905030860060090030080010700109000000040780000070100549,421378956697521384853946127915437862762895431384612795139254678546789213278163549 -508000400000350002000901700604700300800060001051000049107290050036080910000006034,518627493479358162362941785694715328823469571751832649147293856236584917985176234 -600904007800167000000008910407500803020000500030709004000320050049800102003000760,651934287892167345374258916467512893928643571135789624786321459549876132213495768 -075900031000070060800410200032007580016039004980204600700608005054000000100000390,275986431341572968869413257432167589516839724987254613793628145654391872128745396 -000500060010020090790060243001600030006000574084005100860173009000009002450080007,243597861618324795795861243571642938326918574984735126862173459137459682459286317 -002905000030000409060800010390000140700203000501000603674082500089500300000109006,412965837835721469967834215398657142746213958521498673674382591189576324253149786 -600105090090000170801000200000401008504360020023009007040080710059700400000002065,632175894495238176871694253967421538584367921123859647246583719359716482718942365 -096070020000000030207501090060009004470003109002400085000000748001602000530090600,396874521158926437247531896863159274475283169912467385629315748781642953534798612 -090002670068100405200070009007001050004603002020050103080000504015024000009300068,593482671768139425241576839837241956154693782926758143382967514615824397479315268 -600005409008020006540600701002160000730000010060308500007000200080450030310070090,623715489178924356549683721852167943734592618961348572497831265286459137315276894 -000508000061090708902170400050009600000200840014005902608402507070003000400900310,347528169561394728982176453253849671796231845814765932638412597179653284425987316 -904008010060092007001040802243900080090000206006030700000405000009000068705610304,924578613368192457571346892243967185197854236856231749632485971419723568785619324 -000400000600708100090600085063080000000360542700091000017000206324000801850030009,578419623632758194491623785263584917189367542745291368917845236324976851856132479 -020046080000079053009801000700000010010700806603004005860095047070020100900000060,327546981186279453549831672758962314214753896693184725861395247475628139932417568 -008520300200000056040003902304800701605079204000006098007000000030200405009645000,968521347273984156541763982394852761685179234712436598457318629836297415129645873 -002005180006702300359006004600031042003060900580400007130000070700900460000000008,472395186816742395359186724697531842243867951581429637138654279725918463964273518 -205004090100230700080100600300070805068040010510003060009020000000095036057006002,275864193146239758983157624392671845768542319514983267639428571821795436457316982 -400020007002075080063000920900400000005010306007008140010002860080360501000040000,458923617192675483763184925921436758845217396637598142319752864284369571576841239 -970018000406007038035060007500600070004700609200001300609000400008900150020084090,972318564416257938835469217593642871184735629267891345659173482748926153321584796 -000001703410036000065000090240000070006080002050020834089057020570100048000090100,892541763417936285365278491248315679936784512751629834189457326573162948624893157 -008000400010008603300029007405000010062050800000496050800000000070985240090107530,728613495519748623346529187435872916962351874187496352851234769673985241294167538 -000051040004000307781000009090820000607300800200017050400006092102009700050070036,936751248524968317781243569395824671617395824248617953473586192162439785859172436 -009030700300165000640000350010008007050610020078093560734000005100970200000000604,589432716327165849641789352216548937953617428478293561734826195165974283892351674 -030002000906314002150090000807000060003860700000507490704100059009200000080000043,438652917976314582152798634897421365543869721621537498764183259319245876285976143 -005720000063008020070004601780000100050090064490063800000200089034000502000081700,145726938963518427278934651786452193351897264492163875617245389834679512529381746 -005000038031000720746002900908400005020090010004683007000014600080050070002300000,295167438831549726746832951978421365623795814514683297357914682489256173162378549 -090210000020040509601057028200504006180360007004000030370000050400178000800600400,598213764723846519641957328237594186185362947964781235376429851452178693819635472 -430090050620018700001750400068500200070004030000020019000860002700300980300070560,437296158625418793891753426168539247279184635543627819914865372756342981382971564 -019000830030090050806000020380900670004056100900320080000700900600430200057100000,519274836432698751876513429385941672724856193961327584143782965698435217257169348 -501040090000600317037020000005100000004700620620800009050008703400036000008009002,561347298249685317837921456795162834184793625623854179956218743472536981318479562 -008000106040690200600080703050708600070305024010260000000100570080003001500074900,798532146143697285625481793352748619976315824814269357439126578287953461561874932 -006204008400700001012390040609500700530007420000030080320000095060008000900450100,756214938493786251812395647689542713531867429247139586324671895165928374978453162 -001400603004700850290060000000000540409001200038504090600270001080090002000806070,871459623364712859295368714126937548459681237738524196643275981587193462912846375 -327000000001400070059001060208070003003802000170054009600000200000608540000035008,327569184861423975459781362298176453543892716176354829685947231932618547714235698 -012030008603090020000601040000500034700900800058017000005079000080050371200403600,512734968643895127897621543129568734736942815458317296365179482984256371271483659 -090002005054070302008105000400069200003000507600708040000000690061090003079013020,796382415154976382238145976417569238983421567625738149342857691861294753579613824 -000274600000008730012060008030607109180000200006090045063900504907000013500080000,358274691694158732712369458435627189189435267276891345863912574927546813541783926 010000034000079500029300600030607420086100090000050000940205870800060200670084003,718526934364879512529341687135697428486132795297458361943215876851763249672984153 -058740630090080000301290800000005001060008027002670380030402500105000046680100000,258741639496583172371296854847325961563918427912674385739462518125839746684157293 -050000000001300090090064080280040035030906104000000000000002001803005260406819007,358297416641358792792164583289741635537986124164523978975632841813475269426819357 -001000023042500689806000007060080000200009050058006004000310900084090700037004160,571968423342571689896423517469285371213749856758136294625317948184692735937854162 -407002809100004062000900030020360008008007000300010047009041000005803270071000400,467132859193584762582976134724369518918457326356218947239741685645893271871625493 -000053107610080000405600200080040070002000950000305040009000000000200680073010409,928453167617982534435671298586149372342768951791325846269834715154297683873516429 -100000600000061309080004750006005072207900000900030416000650040723019800005800003,139578624574261389682394751346185972217946538958732416891653247723419865465827193 -080963050046800009300000200908701000025000006007000802650000930703050080010009700,281963457546872319379415268968721543425398176137546892652187934793254681814639725 -075109004300050620008400007807002006000001050950030008000970200094008000006245010,675129384349857621128463597817592436463781952952634178581976243294318765736245819 -407600000000005038000400006080092300076084902005010807043007051602000090000203004,417638529269175438538429176184792365376584912925316847843967251652841793791253684 -005609400000030200180005900400003009069400073018000620930100006040370500706020010,275689431694731285183245967427863159569412873318597624932158746841376592756924318 -200360040090000600300400510060530007000080160007019035701800000950071480040050020,215367948894125673376498512162534897539782164487619235721846359953271486648953721 -070310900009208000860000004510090400032080506400700030120069000900001068007400050,274316985359248617861957324518693472732184596496725831125869743943571268687432159 -007064000004780063800093000000520307005300002020017940500400029010000506930008000,357164298294785163861293754149526387785349612623817945576431829418972536932658471 -800007000004920005600841000030400160087050020400002500003179082020000901006000370,891537246374926815652841793235498167187653429469712538543179682728364951916285374 -703500000010000006592001400009000008200703000450002700000014590008600170140200800,763548921814927356592361487379456218281793645456182739637814592928635174145279863 -500037000000602091000180700028000006009001504060240800900070200051009407047500083,512937648784652391693184752428795136379861524165243879936478215851329467247516983 -038070000090500072200043506005000400709600008800057620180000003000304800002109004,538276941496518372271943586625891437749632158813457629184765293967324815352189764 -008000000900100340072635090034000780091004206207000050080546070600870003000002500,318497625956128347472635891534261789891754236267983154183546972625879413749312568 -060900100150200070078400020000786000230000810009003045800390000601070300007015084,462957138153268479978431526514786293236549817789123645845392761691874352327615984 -007106089009350001400000600900214800300000016082700000005000930008007004601030007,527146389869352741413879652956214873374985216182763495745621938238597164691438527 -000074080087020030569300700106500840090402007020018600002000400000009561650100090,231674985487925136569381724176593842895462317324718659912856473748239561653147298 -000300009018050306000100580090000001003065020006080900051024000030000840002609007,564378219918452376327196584895243761173965428246781935751824693639517842482639157 -032410500094087000000900670400050060070104300520008000069070005800002910001600703,732416598694587231185923674413259867978164352526738149369871425857342916241695783 -001720050600034017500900002100483000037050608900000004009002500018000040200370086,841726359692534817573918462126483795437159628985267134369842571718695243254371986 -720000035080704600001006080095000078300050200264300001009400106630098000010200000,726819435583724619941536782195642378378951264264387951859473126632198547417265893 -250080000004700000016000742090007006360090820408010350000020600020605190005100004,257481963934762581816953742592837416361594827478216359149328675723645198685179234 -910503700020000304006040020690071500003200000052006940380104000000058090700000601,914523768827619354536847129698471532473295816152386947389164275261758493745932681 -000340805200000130090178062907006004405000020060500070750801000804029000326000008,671342895248965137593178462937216584485793621162584379759831246814629753326457918 -800506400609000001200004800030408910000300006400090000006800004357100080180027590,873516429649782351215934867732468915598371246461295738926853174357149682184627593 -007003416200050000863901000400290060000000945008000003050030801100602030020080090,597823416241756389863941752435297168672318945918564273756439821189672534324185697 -034080090200601534960002001520700069000000850000209000008070103070813000000005600,134587296287691534965342781521738469793164852846259317458976123672813945319425678 -008569021000300090050010400300001780000600040021008003080907605009003800704050000,478569321216384597953712468345291786897635142621478953182947635569123874734856219 -000000012109070508208094000090006000084000030013005709030740100005031024000059800,347568912169273548258194367792386451584917236613425789836742195975831624421659873 -025000168000002070000960400060035700409186350050090000300800290700003501008700004,925374168684512973137968425861235749479186352253497816346851297792643581518729634 -108090005000200040270030061019006800502000000003008079031000600000951004850703092,148697235396215748275834961719546823582379416463128579931482657627951384854763192 -006025003030908010900000007702001049003460000008209600405700830087010004010080050,876125493234978516951643287762851349593467128148239675425796831387512964619384752 -400003800802400010060205090004701900000062051080000760056308070709100503000090200,495613827832479615167285394624751938973862451581934762256348179749126583318597246 -019002030080605204006930007052800009000106573007000000900000046340507000200090710,519742638783615294426938157152873469894126573637459821975281346341567982268394715 -910000600000020405050608030040000000203010009060970200085430010300009004700001062,917345628836127495452698731549283176273516849168974253685432917321769584794851362 -000000040070100030089065172500004000000023501360090080026007300007409800004010009,213978645675142938489365172591784263748623591362591487926857314157439826834216759 -004760000306000045090402380000000007730080000042005690051036200900200150008009000,584763912326198745197452386615924837739681524842375691451836279963247158278519463 -004200900900040701703008200670500000095400060001003000000700650100084000040000019,514237986982645731763198245678519423395472168421863597839721654156984372247356819 -007001000060008900209460078700080009005000006020140730530000000001530400080290100,857921364364758921219463578743685219195372846628149735532814697971536482486297153 -006000000380000104094052700013004000400307900260000080000100007700045608821063009,576431892382976154194852736913684275458327961267519483645198327739245618821763549 -408052001006804300050000070807020430060093200200700009609007020001600008030001900,478352691916874352352916874897125436165493287243768519689547123521639748734281965 -002073500910002006037010048000001800001060052040300970400000000096780300703206004,862473519914852736537619248279541863381967452645328971428135697196784325753296184 -070000090002800006300094800000906051100700309030000764000080020090657030740020615,874562193912873546365194872487936251126745389539218764653481927291657438748329615 -000730620004001309010090070050109040203046800107080500900000700870020054005800002,589734621764251389312698475658179243293546817147382596921465738876923154435817962 -008205009091000070000013850800702600102086030067400500000057004005000083079100200,638275419591864372724913856853792641142586937967431528286357194415629783379148265 -906007003500000400004200980070036000013040000400709062000084107802000000000903050,986457213521398476734261985279836541613542798458719362395684127842175639167923854 -006028100903000502000007008000030700050270009390000040020610905500800017038009600,476528193983461572215397468842936751651274839397185246724613985569842317138759624 -600008507740000290009120040400806700026709004000300001080030009000004150300000600,632498517741563298859127346493816725126759834578342961285631479967284153314975682 -030920000051004200029800050045000370807210605100007000902070000000000906006340082,438925167651734298729861453245698371897213645163457829982176534374582916516349782 -170024009000016520000300070920060340806030000045000090054200010201007800090001004,173524689489716523562398471927165348816439752345872196654283917231947865798651234 -061300050000750000709020130305008020206000014040090000003804005080005640010060002,461389257832751469759426138375148926296573814148692573623814795987235641514967382 -040000632102000957090650000704030006620008000905100400810407300003800104000200080,548971632162384957397652841784539216621748593935126478819467325273895164456213789 -000053000069000005080001607230045000056008120000060700890000512007804390003020000,472653981169487235385291647231745869756938124948162753894376512527814396613529478 -000350000007024809000009020800093005060000241504060300041000500028007000650180007,296358174137624859485719623812493765963875241574261398741936582328547916659182437 -002480150450000609900030070007000801001027005520160040000700000180950036030000402,672489153453271689918635274367594821841327965529168347296743518184952736735816492 -400780900030000000060900421005301040040000176800200009090025030000147000600830005,451782963239416587768953421975361248342598176816274359197625834583147692624839715 -008105207002080016060903000201708004089306000070000530000002073410500000700004009,348165297952487316167923845231758964589346721674291538895612473413579682726834159 -001385270602007010000200409100000030570000984090004600405600800208049003000830000,941385276652497318387216459124968537576123984893754621435671892218549763769832145 -000693000090280045008401000020000006000129074879000000304000580080010002006070390,542693718193287645768451239421738956635129874879546123314962587987315462256874391 -408006390970003080000800002002509100100200034006000050010600740050072003600045008,428756391971423586563891472342589167195267834786314259219638745854972613637145928 -208065000000007040000903015080006307030720860004000090001004030006050029093000500,218465973359217648647983215982146357135729864764538192521894736876351429493672581 -060000700905030000000504006090810407002003080040005390708206000010040005456900020,364129758985637214127584936593812467672493581841765392738256149219348675456971823 -001600879800040060050097000029400057000005132063700004000284000016000000070506093,341652879897143265652897341129438657784965132563721984935284716416379528278516493 -900200084100435000000000375290063001007040200006508090500010008080950040020607009,935276184178435962642891375294763851857149236316528497569314728781952643423687519 -600592700039800004007000002050600000000050803100704906000401280790060000810005040,641592738239817564587346192958623471476159823123784956365471289794268315812935647 -200010700090240056051000003400005897006000005003198020700069030000004000040000962,234516789897243156651987243412635897986472315573198624725869431169324578348751962 -470208000035000060006000140060704500200180009000305680100030000000042308003809075,471268953935471862826953147368794521254186739719325684182537496597642318643819275 -005030009020000014900007500400000706800600050050104080009000008317208605206043090,165432879728956314934817562491385726873629451652174983549761238317298645286543197 -009700000560000009072800500100006400008190050604200031400020093016080000020005840,849751362561342789372869514197536428238194657654278931485627193916483275723915846 -000090702008034000030000068000001023805700906340956000900400210071000050400072080,164598732728634195539217468697841523815723946342956871983465217271389654456172389 -680400010203000700401009058100600000007021090000080040306094820050006409000005071,685472913293158764471369258139647582847521396562983147316794825758216439924835671 -000890016200073050980200300000300420001006507507000900003010740700608000050040080,374895216216473859985261374698357421421986537537124968863519742742638195159742683 -005600000048090200000030051807002600920000840150009000070086020090703104003400067,215674398348195276769238451837542619926317845154869732471986523692753184583421967 -000854006230000009005000080000070060053206100710500400070102604000009013320400007,197854326238617549645923781482371965953246178716598432879132654564789213321465897 -106500002000002800002060019000043091070601000480070500023900640090305007700020030,136598472947132856852764319265843791379651284481279563523917648694385127718426935 -800409300300700900064000082050300190080902074007051000041000030020008067000690200,875429316312786945964513782256347198183962574497851623641275839529138467738694251 -000100050600002008071635400097000201140000385306200040050403070200010800000006004,429178653635942718871635492597384261142769385386251947958423176264517839713896524 -430078500085100000020090030860500007510000460700306100009830004040050300000902610,436278591985163742127495836863514927512789463794326158659831274241657389378942615 -049010002000000030050009600060730000210800904087000560800007006034080200600092305,749613852126548739358279641965734128213865974487921563892357416534186297671492385 -030280769600009080000070100940000205065003000000790040097001400820000030106040800,531284769672139584489576123943618275765423918218795346397861452824957631156342897 -120000058800003900095040700500009000000730001460820007600304009030070460001050200,124697358876513924395248716517469832289735641463821597652384179938172465741956283 -003000007057000080068250004704010800020300006000048100600700050082590013300084060,943861527257439681168257394794612835821375946536948172619723458482596713375184269 -008000029900100000004027380400005200709060003581200400200001804037004060006090500,318546729972183645654927381463715298729468153581239476295671834137854962846392517 -400600008200430090175002000832540069000260350006000001001009430709300010050080000,493617528268435197175892643832541769917268354546973281681729435729354816354186972 -060380004001240008004009300005010000080420760090000150056730040309050800710600000,967381524531247698824569317675913482183425769492876153256738941349152876718694235 -050702000709400628000300100010907000000024500082000014003209000594000006100000057,851762493739415628246398175415987362367124589982536714673259841594871236128643957 -003890100600000985005021740037002000040006390000504000890073600700000008052100400,473895126621347985985621743137982564548716392269534817894273651716459238352168479 -090153006060840000002006040005430902801060073000507000086010200030000018700320050,498153726167842395352796841675431982841269573923587164586914237239675418714328659 -080000060109023500034900070050480030608070450000001006000010023095800600403092700,782145369169723548534968172951486237628379451347251896876514923295837614413692785 -600070000790060050045009080001008034080004920000230500009080300023000401010700092,632875149798461253145329687251698734387514926964237518479182365823956471516743892 -040100090200008050070520003700300005906007000012090800890030007400950030120084060,548173692239648751671529483784362915956817324312495876895236147467951238123784569 -800700002210040500593000000730009604080060093006100080000954000001030926070010008,864795132217348569593621847732589614185462793946173285628954371451837926379216458 -060700020078030460305069000009400600007825000020000053406080590800190000002004130,961748325278531469345269781589413672637825914124976853416382597853197246792654138 -004003200600080000307600005050010000000096020200800970070050390130700008509402006,814573269625984137397621845953217684748396521261845973476158392132769458589432716 -300206009000075006054000000090038000270050400006009100030910800420007003009380752,317246589982175346654893271591438627273651498846729135735912864428567913169384752 -901700002003010047080002000200000500068400070370650010006805300000076050140290008,951784632623519847487362195214937586568421973379658214796845321832176459145293768 -008000930170490002096008070000073006010200080059060400700004200205107000080650013,528716934173495862496328571842573196617249385359861427761934258235187649984652713 -007536094508020030040010000065200043000070902809100000000800000306090005971050260,217536894598427631643918527765289143134675982829143756452861379386792415971354268 -034050090907000002000300004328470006010000020706080035050107000609020048140060500,234758691987614352561392784328475916415936827796281435853147269679523148142869573 -120700009805160040030000800000500086000010570600820300001000005270004100040930260,124783659895162743736495821312547986489316572657829314961278435273654198548931267 -400008009001300506086190402300715090200009070010080300600040007005070160040002050,432658719971324586586197432364715298258439671719286345693541827825973164147862953 -000056080096000207037240010010020034004003569050007000080030400309100850102008006,421756983596381247837249615618925734274813569953467128785632491369174852142598376 -002600034080701000960000050875030200000507009300000800701205000600900520029070013,152698734483751692967324158875439261216587349394162875731245986648913527529876413 -590003100000500600600420309070100004302004000000602090100000405807050003230901067,594863172723519648681427359976185234312794586458632791169378425847256913235941867 -050690007709020080000400200060902800803047000004030005098001402040000176000360000,452698317739125684186473259567912843823547961914836725698751432345289176271364598 -901400002087906400030710000000000048000205079620007051000060830560320000093100000,951483762287956413436712985375691248148235679629847351712569834564328197893174526 -004620005023500860000007100009072050560090000000800301800006200400300008790000040,174628935923514867658937124389172456561493782247865391835746219412359678796281543 -830000964900076030005000010100009400003080700750460028004000082300102009600040500,837215964941876235265934817186729453423581796759463128514697382378152649692348571 -009000700400000608800103290090005400600200000010846020100504007065701040702080310,529468731431972658876153294298315476654297183317846529183524967965731842742689315 -703105009000000700185000006009000430200601008050249001800020500092004060060598000,743165289926483715185972346619857432274631958358249671831726594592314867467598123 -000200090170600004008075300900014203005720600030000010500080006004007000300009108,653241897179638524248975361986514273415723689732896415591382746864157932327469158 -005700002310004870608010000004009006530002007000530010120800740006090028050000030,495783162312964875678215493284179356531642987967538214123856749746391528859427631 -080000002000670180609001040300050010000409620760028500040207000200003074801090000,187945362435672189629381745392756418518439627764128593943267851256813974871594236 -000300802030005007060007040200004900010900050507108004100502089050001203409800010,745319862832645197961287345286754931314926758597138624173562489658491273429873516 -000607040900100030758004090009260000800010320035700000002500971601000400004030800,123697548946158237758324196419263785867415329235789614382546971691872453574931862 -062000500300000017701050400005190000080060200000700841004600008800502390900087020,462971583358246917791853462245198736187364259639725841524639178876512394913487625 -030070450071020060400500000905300006060901083008002700000090007004068035026100048,632879451571423869489516372945387126267941583318652794853294617194768235726135948 -001000520780000409000906010030820070075003002040510300006040900004780001390005080,961478523783251469452936718639824175175693842248517396816342957524789631397165284 -405006009720030800130870020090060000500007301210003060600700008000084200052601070,485216739726439815139875624397168542564927381218543967643752198971384256852691473 -010000060900402008023890000600900805250004370009005006400070000000601090070230401,814357962965412738723896154647923815258164379139785246491578623382641597576239481 -008204000030000086102700950810300490200081000600452100350620010000095600000000007,598264371437519286162738954815376492243981765679452138354627819721895643986143527 -000850609000300170046100020000601007070004300608230500150000480807060000300900052,713852649982346175546179823435681297271594368698237514159723486827465931364918752 -048190603001002000000050470107000006950600017003720900800569000300078050000000804,548197623671342598239856471187935246952684317463721985814569732326478159795213864 -002500008000073240500008607080000009400000370300194080640009000050080106091305020,762541938918673245534928617185732469429856371376194582647219853253487196891365724 -602010308080500010050023004060950007003080900205001006000047090070200500401600002,642719358387564219159823764864952137713486925295371486528147693976238541431695872 -702000000010000805508610790080490030003580004970003500020050000030174602601900300,792835461316749825548612793185497236263581974974263518427356189839174652651928347 -076002905100000206500930040867000304004800190000005000639028000000090420001503000,476182935193754286528936741867219354354867192912345678639428517785691423241573869 -060004701200100835009050026830920007005300060020006080000015004000003900781400000,568234791274169835319758426836921547945387162127546389693815274452673918781492653 -060700008103000509270000040000156000009004052400900307000039400380400060600015720,965741238143268579278593146732156894819374652456982317527639481381427965694815723 -028100034000500800030042160001723085650008900000009000075960040004005390012000000,728196534146537829539842167491723685653418972287659413375961248864275391912384756 -000040031400007680006209000000082400080600215305010007560008009100400308740090000,257846931439157682816239754671582493984673215325914867563728149192465378748391526 -201000503000130270050070008003501840060800700002600005000004080908006010126300400,271468593689135274354972168793521846465893721812647935537214689948756312126389457 -007300604503042800010090000025000300006105007900038020000257090000000006159004070,297381654563742819418596732825479361346125987971638425634257198782913546159864273 -860000005502600010190003008003780094000056301740001020080010407400200000059070000,864197235532648719197523648613782594928456371745931826286319457471265983359874162 -700005020009000046300060107900001802650004031003070090000103400507400360400090005,761845923829317546345269187974631852652984731183572694296153478517428369438796215 -008002640572060100000730080000403908030590700009000000810907560004001372260005000,398152647572864139146739285625473918431598726789216453813927564954681372267345891 -004060108080005097702010056370600005000900700008070209050028000600300084040190030,534769128186235497792814356379642815265981743418573269953428671621357984847196532 -600902805000040900078600000080100006000065201300200090804000000250008073061509400,643972815125843967978651342582194736497365281316287594834726159259418673761539428 -700800134412003009000000000040070090500906800071030200200100000006704503807009060,765892134412653789389417652648271395523946817971538246234165978196784523857329461 -081400007300006400004570108050080070006390012208000030400602000060100590070900006,581429367327816459694573128953281674746395812218764935439652781862147593175938246 -601870005084000000590200403000010048060030092108005076052040030300006007000009200,631874925284953761597261483973612548465738192128495376852147639349526817716389254 -000003890020006075700290000000601000103000400076085200310700608209030051080100040,641573892928416375735298164892641537153927486476385219314759628269834751587162943 -009604703603900002050070089000308004200006050060000100700002006900005420130400800,829654713673981542451273689517398264298146357364527198745812936986735421132469875 -010704050809300000500062010308025000000608302020000700704013069050907034002000008,213794856869351427547862913378425691195678342426139785784213569651987234932546178 -400800009020900540067051000006003700090208030800070206309010070000002061000040308,453827619128936547967451823246193785795268134831574296389615472574382961612749358 -040060800007450210106007005010900008602010700090026051075000002800004069000508030,549162873387459216126387945713945628652813794498726351975631482831274569264598137 -029070000036800005500000670900207810100400093307600002070309081408000000000140050,829576134736814925541923678954237816162485793387691542275369481418752369693148257 -050674001000032400000100000700803000004059200020060097006005830805900610192000040,253674981981532476647198523769823154314759268528461397476215839835947612192386745 -003800010801050403790360200170000095609200800430007000205130907900008006040070000,563842719821759463794361258172684395659213874438597621285136947917428536346975182 -203000000506712008800004700005490001098200400360008000401006307000300590000080600,273859146546712938819634725725493861198265473364178259451926387687341592932587614 -006300207002096045000105900204070050850010400900000002049061000001009700300800006,596384217132796845478125963264978351853612479917453682749261538681539724325847196 -006098040030010006000705200842070009010930000970000150300200000004000680058000031,126398547537412896489765213842571369615934728973826154361289475794153682258647931 -010007650500041080040860900320000000001900007005038210200700300008024570090000060,812397654569241783743865921324176895681952437975438216256719348138624579497583162 -000002080001049705056003104000010073600005200024060510065008000903001002700430000,479152386831649725256783194598214673617395248324867519165928437943571862782436951 -006805020200301060090040000003002100580060904701500680008004507010700000400023800,136875429254391768897246351963482175582167934741539682328614597619758243475923816 -020000400100060038070009560905071000061080074048920003000004200000610387002800009,526738491194265738873149562935471826261583974748926153687394215459612387312857649 -067200800400060009030408005090070542004300100056020900001000003820040600300001087,567239814418567329932418765193876542284395176756124938671982453825743691349651287 -016000500700200804200030000500409003003050291007000005008096072001708306000020940,316874529759261834284935617562419783843657291197382465438596172921748356675123948 -040007890580413000601002000705100020094020070030000605007304900400075086000080003,342657891589413267671892534765138429194526378238749615817364952423975186956281743 -002100004710003005006040230300817006078090000000006500020300009050970018100084070,932158764714623895586749231345817926678295143291436587827361459453972618169584372 -050020000008030724030071809300000206000250040480000100170090068006700500000400307,957824631618935724234671859395147286761258943482369175173592468846713592529486317 -609500002070008000001040970324100500000620300050090087800000450010700000040006093,639571842472968135581342976324187569798625314156493287867239451913754628245816793 -050200138408000900000001000003100087600058409002000050709010240104620000060809703,957264138418735962326981574543192687671358429892476351789513246134627895265849713 -800000300002000049103250070500069200000510090010003805300070001048020000920400580,874691352652387149193254678537869214486512793219743865365978421748125936921436587 -075000460000205900030010007006002000040060009009540300400086700100903050802007010,275839461614275938938614527386792145541368279729541386453186792167923854892457613 -000206350905074000000010089060300002104905607800060005001420000680000903450008201,718296354935874126246513789567341892124985637893762415371429568682157943459638271 -007503006900820100150070040208001004013200000600348000009000300000760025560000970,847513296936824157152976843278691534413257689695348712729485361381769425564132978 -570420000302060900019080020100000030200091047067003001450070380003500270000008400,578429163342167958619385724194756832235891647867243591451672389983514276726938415 -100400085500020360090003000060050002003906400007018000079000030000001806640030209,132467985584129367796583124968354712213976458457218693879642531325791846641835279 -070200541500030802008700000917000080080009230000064000000543107002900006005007300,376298541591436872428715963917352684684179235253864719869543127732981456145627398 -500100040970050602146090003403600000050003070680520904090208500800037020001000000,532186749978354612146792853413679285259843176687521934394218567865937421721465398 -080019450700030008109850070031600020050000804900000760070094002000300000300207610,283719456765432198149856273431678529657921834928543761576194382812365947394287615 510070000039004507060800021073659080400230900006080700000912600000000003005000490,512376849839124567764895321273659184481237956956481732348912675697548213125763498 -060700000000059004470000082300802000001030005809070300600500270000640031530008609,962784153183259764475361982356812497741936825829475316614593278298647531537128649 -140090700000080012039000405000045600016008050402001007800210079000360000704009030,148592763675483912239176485387945621916728354452631897863214579591367248724859136 -008001005002670000130280000090040060010500093387000200073800041000750000540090082,768431925452679318139285476295348167614527893387916254973862541821754639546193782 -070060080250048600000103004006090407840000020100300000009057800003001905080400071,374965182251748693968123754536892417847516329192374568419257836723681945685439271 -030000000001802045085034007010040603094600080000080070600001008002500410003790050,437956821961872345285134967718245693394617582526389174659421738872563419143798256 -207004030000000000649013208004080620590026000000705809800002060000860104010059000,287694531351278496649513278734981625598426317162735849875142963923867154416359782 -400037050800100000060000720281400300005006092930000405090802003000614000007000046,419237658872165934563948721281459367745386192936721485694872513358614279127593846 -600075100030000490071008050840009001060300205003600970005004006000093020402710000,624975183538162497971438652847259361169387245253641978395824716716593824482716539 -803001060600000004140050820000905010009020300270400098006078050402000709050200031,823741965695832174147659823364985217589127346271463598916378452432516789758294631 -600079008850306910037100006080502340090084050001000600025900000000000173370001000,614279538852346917937158426786512349293684751541793682125937864469825173378461295 -800070301062500904470920056020090000040200605301004000630045082710000000008060700,895476321162583974473921856526397418947218635381654297639745182714832569258169743 -800040500150000000000105209004309075587006031300008000010600092000007068002900007,829743516156892743473165289264319875587426931391578624718654392945237168632981457 -620007500030028700004000190500600019402000300007000048700240030300085900058900006,621497583935128764874563192583674219462819357197352648719246835346785921258931476 -040097586080000900002000013608030051400501020003700600800342007910006004000100000,341297586586413972792685413628934751479561328153728649865342197917856234234179865 -008001300030042007050860002002000410060075080800030006901007005047006021000000040,298751364136942857754863192572698413463175289819234576981427635347586921625319748 -407000000062403701000009030100025803020908540086007090050000260609100007000030400,437861925962453781815279634194625873723918546586347192351794268649182357278536419 -030000042400270600067305000090000078102630090000810000806900030375400800041000200,538196742419278653267345981693524178182637594754819326826951437375462819941783265 -054000081371008009006020705020300500010970306000000900600100204700504060009063000,254739681371658429896421735927346518518972346463815972635187294782594163149263857 -100709600006030000500080340060103070089002060014800059400900007008010930002045000,143729685826534791597681342265193478789452163314876259431968527658217934972345816 -100002045005806030020900000607090200008503006034021070400000107000360800800045009,189732645745816932326954781657498213218573496934621578463289157591367824872145369 -201806000007004030480100000006700540050209003003040079690080002070091804000300900,231876495567924138489153726926738541754219683813645279695487312372591864148362957 -702908000103056000000300016400000000000129030098005070200890400070032001005401708,762918345143256987589374216421783569657129834398645172216897453874532691935461728 -200190038050800200060034070000006083480000009006300521940021000007000000005700006,274195638351867294869234175512976483483512769796348521948621357637459812125783946 -400080300650020080071306900010000027000400690302700100205061000098503000046000008,429187365653924781871356942914635827587412693362798154235861479798543216146279538 -010000076094060052203000048300057080100003690085010004800420000000306000072080010,518234976794168352263795148346957281127843695985612734839421567451376829672589413 -150089020360000400000700015014003600080005002900860030000010004090042068200650090,157489326368521479429736815514293687683175942972864531836917254795342168241658793 -209000703006890014580040002030008040160035008007100000090210000005080361703400000,249561783376892514581347692932678145164935278857124936698213457425789361713456829 -010900600500002043063700900095240007120090000084007050040028736000630421000000000,412983675579162843863754912395246187127895364684317259941528736758639421236471598 -001590803300608045400072001500040300030000700008109020050006009002900000016000050,261594873397618245485372961529847316134265798678139524753426189842951637916783452 -008500170140030080095000006006050003004089510070020060700001028002870300010900700,638594172147236985295718436986157243324689517571423869759341628462875391813962754 -008000092705200800300400500001902367020180009040056000000060030200000980089500000,418635792765291843392478516851942367623187459947356128574869231236714985189523674 -030806140000005008047930000100340060060008020080700905300200000050190730204000590,532876149916425378847931256125349867769518423483762915391257684658194732274683591 -530809200000730180000046700302500064000600900001008020400000000903100058750400001,537819246264735189189246735392571864875624913641398527418953672923167458756482391 -030000080009080050000905600906021073004579120000300000800004501091002000600013400,537146289169287354248935617956421873384579126712368945823794561491652738675813492 -008190020300704000090083570056040000000001403001508097000060200100002048807000030,578196324312754869694283571756349182289671453431528697943867215165932748827415936 -000032600086100005070500184009080060310700040000900032060001003702054900490370000,154832697986147325273569184529483761318726549647915832865291473732654918491378256 -120079006800000050090048001000730600057000140030090008406003000500060809000027500,123579486864312957795648321248731695957286143631495278486953712572164839319827564 -200000768090803000016000500083500090670080000002307001400108050960004023050020100,234915768795863412816472539183546297679281345542397681427138956961754823358629174 -000000002047301060865000090089056000603048007000900100712069540000004000400000708,931685472247391865865427391189756234623148957574932186712869543358274619496513728 -806070010009084052000300600605100070200005004401200900030017500507000890108900030,846572319319684752752391648685149273293765184471238965934817526567423891128956437 -500300002690050078000047001700090000021030604038601000009200030870009006000000105,517386942694152378382947561765498213921735684438621759159264837873519426246873195 -170032450004870300200056010059000000000095074630008200080000931000003002000600748,178932456564871329293456817459267183812395674637148295786524931941783562325619748 -300840000015002003498005600007003006050907100000050409006320080100006004820070900,362841597715692843498735612987413256254967138631258479546329781179586324823174965 -100020009008004006002610300040190005030000280000805070600907000004000803021000460,165328749398754126472619358847192635539476281216835974683947512754261893921583467 -800970004300006200009000081020108030450020000000030706080064590007500103600010042,862971354314856279579243681726198435453627918198435726281364597947582163635719842 -960700500500090084130000000403500002600009700002080059000028106070030400000906235,968743521527691384134852967493567812685219743712384659359428176276135498841976235 -008005900003890002070004060007080009300002050054709386000300500700006020092107004,428675913563891472971234865617583249389462751254719386146328597735946128892157634 -070304601960100835008059040001760020090003000800900056500007000000210000687400900,275384691964172835138659247451768329796523184823941756512897463349216578687435912 -601020000080901706920084003000300045090040000065002008000000860040095100012800900,651723489384951726927684513178369245293548671465172398539417862846295137712836954 -002900005030804010010500708007000063000718000400056120800097050063000900005402600,782961435539874216614523798157249863326718549498356127841697352263185974975432681 -200900007300160800406007002001050000670401090000608300005800269900035000184000700,258943617397162845416587932821359476673421598549678321735814269962735184184296753 -006090050000017004073008102018004003057031090000800006500700600400500709002089300,146392857825617934973458162218964573657231498394875216589743621431526789762189345 -007950030450300060600010200000702190060000780012080006300100074009003500500048003,287956431451327869693814257834762195965431782712589346328195674149673528576248913 -385090041400000020900605007001032960030000010270906003008070400590004000000800205,385297641467183529912645387851732964639458712274916853128579436596324178743861295 -800040016300009704020701000000306902210070000003400080076020045085960030100004009,897245316351689724624731598748316952219578463563492187976123845485967231132854679 -006200500000059126080400000008307609600000040031500070005020703009008060703090408,196273584374859126582461937248317659657982341931546872865124793419738265723695418 -084005000100790060070032000002800100369041000000200905001050003090006701650080490,284615379135798264976432518542879136369541827817263945721954683498326751653187492 -005010200082090006109300070000051008016402039094800020003005012000040387700000600,475618293382597146169324875237951468816472539594863721643785912951246387728139654 -040000375000428900000053002904861000700009800100000650070692130019000207006080000,248916375537428916691753482954861723762539841183274659475692138819345267326187594 -405710090000800002170060500000080465007104030003009200368070004000090080501030006,485712693936845172172963548219387465657124839843659217368271954724596381591438726 -000002010340800700700030058800710400090600070050004600600027009010500000402009030,568972314349851726721436958836715492294683571157294683685327149913548267472169835 -030090680002003050006420007079610300040050060100704800308000000000371090500206400,431597682782163954956428137879612345243859761165734829318945276624371598597286413 -060020907800006000070800001002407503081900000540063290900030172026045000700010050,463521987819376425275894361692487513381952746547163298954638172126745839738219654 -000420060083907001060001804070054020920003406308000005002380007050706900700009500,519428763483967251267531894671854329925173486348692175192385647854716932736249518 -900014028100290047007030500009050872820060000004000105006070003080300010030900450,953714628168295347247638591619453872825167934374829165496571283582346719731982456 -080000700007009104300520080200400060713000500050038009800270000109000000000904032,982146753567389124341527986298451367713692548456738219834275691129863475675914832 -600100040809600205020000003700081096008070100500002804000530901410007000300000020,653128749879643215124759683742381596968475132531962874287534961416297358395816427 -208069003600100200030700806000810907019240600004070000003050000096000010075002430,248569173657138294931724856362815947719243685584976321823451769496387512175692438 -300000450090408307050002006072905604900060018000103000010030005405006800060019200,328671459691458327754392186172985634943267518586143972219834765435726891867519243 -000040108000902400057830600600084005080070046100205079002000000701500003098607000,923746158816952437457831692679384215285179346134265879562493781741528963398617524 -098702000020010007015300008009040602300976000000008070080600120001400583204005009,498752316623819457715364298879541632352976841146238975587693124961427583234185769 -040075300701060900800030010024800697080009020600400003006000209100702000003090400,942175368731268945865934712524813697387659124619427853456381279198742536273596481 -923010000000020005006084100007005400000100030405800960080600703570002008609000010,923517846148926375756384129397265481862149537415873962284691753571432698639758214 -502000000000901000000400506008200074600013050357000100780046900040389017000002030,592638741476951283831427596918265374624713859357894162783146925245389617169572438 -400020000080100006326008900050700800902005060800003024005304070010570009740001080,471629358589137246326458917154762893932845761867913524695384172218576439743291685 -090005610036200400005000008002079040700302105040068092000700803980000570007001060,298435617136287459475916238812579346769342185543168792651794823984623571327851964 -400906050060074030090800204730040006004709001621080900103000070208001400000000005,412936758865274139397815264739142586584769321621583947153498672278651493946327815 -060003201300900040075120006007200493180000000900040500010080350008000060040562009,469853271321976845875124936657218493184395627932647518216789354598431762743562189 -700205049009000800000680201004930600300007508607000000800720490540000063000503102,768215349129374856435689271254938617391467528687152934813726495542891763976543182 -009700100500396004006008000004050230000601470083029001210000040008570906000080003,839745162521396784476218395164857239952631478783429651215963847348572916697184523 -900005032302007601040010000000500043853000200000098700060000500007406098490020070,971685432382947651546213987719562843853174269624398715168739524237456198495821376 -000002010140760500002004360000840900390600850060003007420930600070000000005000148,659382714143769582782514369217845936394627851568193427421938675876451293935276148 -906008070012700080038600024081000209090030007370020640000560401000094800060100050,946218375512743986738659124681475239294836517375921648823567491157394862469182753