From 46b7edb98dd6677fc3924e48f775acc14a65a149 Mon Sep 17 00:00:00 2001 From: Andreas Grois Date: Sun, 22 Dec 2024 23:18:47 +0100 Subject: Add Day 17 Input --- Day17.lean | 2 - inputs/day17.input | 141 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 141 insertions(+), 2 deletions(-) create mode 100644 inputs/day17.input diff --git a/Day17.lean b/Day17.lean index 539baaf..4bddc1c 100644 --- a/Day17.lean +++ b/Day17.lean @@ -389,8 +389,6 @@ decreasing_by have : closedSet.size < (Finite.cardinality (ClosedSetEntry heatLossMap)) := Std.HashSet.size_lt_finite_cardinality_of_not_mem closedSet ⟨_,h₂⟩ omega - - ------------------------------------------------------------------------------------ private def testData := "2413432311323 diff --git a/inputs/day17.input b/inputs/day17.input new file mode 100644 index 0000000..66e1bc1 --- /dev/null +++ b/inputs/day17.input @@ -0,0 +1,141 @@ +454435452325161656443156366147224431523152541177615655417257213551444313623454643176163562525461376627657142147437154465561125214212365264551 +442333645552331645563143254131145675324452271262557667146771327372416446335171371337266363167466312354341666413464526315666311365415632333662 +553615461133514322112616666326517723456124755427713125514467725788278642523335674835566715364237353134374734177177213321411235531146121661116 +454364531366341465243361342717346674415673345474764342136333853466645527858758855667657375157765465376111265513347425272166443364216425333212 +666214643532254566551761776753513266613617467542377655872525872776776755832646366458637543647561767632573265673536233362572423146455226423326 +362654116422414543155557547761724565275371726111387448676286827537468783452628773247538828836777141416533472752357532215253652164642163164233 +516423444556461542537574464423552731527314567282476666768626353453235765756375856652626445773873573241215123255672456747366312456255646642654 +322213524554656644116126771221127516746241256432472375468264868733448743522448225882557772235424324542173661337127522267467474463415226546322 +126266133256236377431644463177643242616644335253586542333353483344483456732663424452867667484265354264476322621361664675412174641123632355131 +665435434115322735273271274611166214532236728724276777464637738354485732648444777344474283373877363258424724115324131513735574631441454651641 +554465552641167412711736312541346511588476684442752638433368557586227773648527444546653738762258778675234275761311572723625346612355136334244 +255663234546137337777326336612766445757564777878225645538826253526826477528244465836433854264264456265384428515511756274713537211712365434646 +411661236531161213242324265352262585768468738574486282655748483687636388584527224736372558265687346563763568757776123452535357551426461246425 +143426125313546172715755336264663565725766562445335524772625553854773884257654845832778344467838858568843777347261735343216636534177214223536 +361615341432235547762427524237425886745847535665372534357345738467284437333253248775875335874753282235734373474217643435557713547367545613142 +655413212475661745514175261121276254587886676363458247433457485244445428458728556438458436735677722446753652246233273622512343672562175252235 +252264664547725356431567353542728484557366446888532647484787646583737787957976976362765874243384844466453272766425561161164513425741627324241 +134435673117513622546644251872634454828332355558455373543964369354555894339696984987452275563225425287674875624833561556267762742162216434116 +236345177766413637422427166355787524532448836465364387445773889897554758635934338474659884587778885632268532877662348554315434747533331225611 +452315162166417737124235645775738885544462888732627395574858678483433854659496948674485645388883287762322426744272787816431777631277443666636 +215547153433714452651325358627868827762827645827996479648555598569747587544377938998547577877654242233258365745224482261235276655375676223651 +435562436332357551113335845576865548826484246599874555396534879783596335347677765466674573394764375344588765228868624322465552172744535275164 +164111344165744332235543337572867583745322869588579943848876977676584796844995887457555879573485595247275447326355766523276425772656335266254 +215742122217774756546744362383555854746838244443454986844565369563554584646643687369797685999373984637757564553487437884737211764553217522624 +643644115125374227263728778846227448463265758678479374479733773976635468955359963995836378844657678969338738375668477826338126272614743565213 +657775312214631636176772474327548823783237697778937769387773838343865345653697996478639988777486356355524567857333547732823426413766652753527 +253467516275641177328673482546488828258956934974377856563699898843438866987743969697595784576343553673666365273724435534465761536355367574762 +176111272153347732633782767673784478885667999879498373736953643778567994659488677679884897976477557765687427658628436765354826461514216465516 +742566656261437138352355255558836632547864688894484476459788397949756873984434543858557985973433536678637595447568532678887267537732276567713 +212641253756276336223565284632872573778899597837833378957468337566676387843868677469944385537944996585754335872373322823847788615171752622113 +512352547777227555232288445832575783647844646899435446636374558956589649694654744498334868584539875574476745474285468374222457552457322575564 +553636542656377876867836355454238965573596973845976794477757847476478668496874578975545676533873556765937344948447227754438623872463556166463 +316735725116738464878864468235876756948849634445845775746965486789589467574766468784646759966434487554973399665478248365367568456345575211161 +336251412427283742722882384553984839433453756369584495797587669665697484898696698997976948687376737839386636546766674344684844827643764111542 +767627617334263467856633377535486869535477848678347349948797496984497477945667567954954475967964888463935687555847262263675756532782351246351 +246125367172644265534843572759457955597699346384954745777469986578855466498589785657584846458458494489436779473598572575823884284524464676221 +416427676654822882857766774375965667896877588775685585498787548456667798896459454985586864498957639686365975877736858387667248266686372362561 +276724432775367855444485442445373689496437476558456544698867854464668855788688964667985599694856595733675773456839345447335843485673847374727 +326235252276563663833885526558595367744785695485879876887548759596947569577687885779669986795788779595883477377588698352268527472355242525665 +121442147273878523336743647936784843559353899654898576948467558899565778847668854946895478798455466864976983769654848582473358288752352273645 +753664312473486777826484478893797758459535385587755688968794654884474876699996984599568577767865649448949555698376587855638325432753834632343 +546326517737773245456478485959648498867493899678965768998564466668585474444554747858545648495799658465538355445955646493233286368223735516341 +363562467275478552557662487958574436646975448946564599679548556745796894496897485848947994857969567665834553377585946785347544348288735611721 +755633734673583536353683394983368834779674898948556578877468854774884564867664594799556958567658889885778379853343653763483842845373744212251 +436642127866853672545564995377556488464556464775588758664799797776556979757977544549468487877597957855799395677397346689586824228624386335774 +215755124368458623345363588876436745893796854445846586745477658875669569868598985665688978697458986654754974588968669656468665377573725557362 +456237738554272565787796474958498559968676587588754567475546796569888758967975556888684564777884964648969895895956336869898885753333552562411 +124761587775644753625893657734958988768855847497657595654698986996798758677886796575869785749857667477757769774694667945666866434665355267156 +563277264856862886355763488668999956577885965759757989579679669666667789665987898986686695784748787458847793935694637839747522832545224783675 +124677565544746272833663496786893594776556756969946674896555969797858998877767857559696998559749446986447997888359647475483765256873766647752 +425445356858784242274354736598443955897697954787988549968989769678955887885887785766567875496495646768899974496966366644438467227782528223473 +344168867453222778573845366965667686797799497949787887886669898699678568757796989779888989995747779795966679765583399383454365362567356773317 +336584436486624223355349365795934345768455846986844568697698586768766896979875686997857777989877479479746675873497758338494878867365238345231 +376348436226273238954343745376789884945765585465795666597768597859778985656669997567976697988757575565489685935953435457338885476564327826312 +642163328625272386788484455669857676498657948889965856685795878987895567889775895885558579858857675495575579887347798486336587627252773556245 +572534268785558475785535568595748467956576578495689869975879975787897865798759886856956765875856646549569997656747384448867778567777778542841 +336577782727437252464579835486336975677545968794985895978657658976566998895786687775787878586558965778496545548354449637869637433842647876347 +175478266487322659856885984755664645849955448485686996769886999775855778598965958585796795857987464755955979599976544345889375656584557622275 +254852484427676526489973468668384576698989995785767565596787698566666988978898869765868699585598956486787976446343433486977839323747866225645 +375366677426456383594776446577585695544555977876656666567978776987887866876899689665755997699985955449748497986974469363665376644468788764253 +774385638567275244664456368579697968545496495865986597585987786989687677888969965899967959698975654794465456655493549449537935477575324323437 +228557275885772798539974959664885499864485476665865785986899968769989987999698789755668797689886859989694875464865776693584483444674657627245 +215385274374467448737974396333768957894898448559858576668798699879966686998998666996557659985985665576969767695665836744794939367352784747438 +612323752883742268485554556677577974478988794986869796887775988988698998998978667687666658896699554445856456948954967649594568646546552455372 +652857276548684558338396464963454954765586767959588895765599877866699979966769789677599675988598686579959597566976576933739939835427676427454 +757576668234658267593773589944776577645699698797975556966869868987678868898896887799696959666699798688745498677485763886859859547488347663773 +472562764246223886998968683846768567565564475597878789676777878888777687788988789969988568597895785655879948455594855774636595865322573733757 +168854487484424655447573676963699846587698647566565555775766787796987796966798697977767587975889586489875957547655745448653938476756238678656 +316255478767374498845598653346464899887775558967897686877998869999787698869786676777668565757797889468945855855587385975343877366632322328774 +157245522374247478453749679795899685554746577678577856779876786878986967968677969679795685559787796448886776746474468474534393726665224543348 +713436377285865677553596956475564674457744885798578776675888687798688998886979967689995967895795659474668696895456544579874767865278575634378 +245464245425457844765974879945976854798874985798565677756969997896766688796888899998968888895595687749456856655686499359987885325455226847764 +152262238526576248878866763568895774777775946958999858675687696876879766979969879999776867588757566967859775895756458954486783747466846846774 +115325775325722899369369535775955675688496946796796796656766877688667969667896887799685569876698688984595557576954644896373688678585364762545 +756227458538373787397484477347474597479989656657878958997798896876988867679799768688988759559589755776698584465449853446785764847372564225742 +547348264274338595893834364696576576685574896585965957896696669879699899976997778789665596759896688479555995659469994669956749726267666567562 +124232586267544633778488597579789754778494889585966578869966687879989967678898868679997695786965778549766786466597396466638487426858837732657 +658266247663524344339845336777894874546564868666957687559666867876879799667769799686697689785775775845696446798658787738997569738766577353743 +655555885728338698549585685398896495646968449997695969586966679887877999799987976987875698655855796454687447874999496459333645363588644473584 +527222442445623353556379334995645748649997878755878598868999989677896766686889989779889985699566698966885756677596635845899639775745483467776 +374476744347475883833967347564954644948687977879869779766679966976679678967767889985685579966597654568887555798648576375863695968722574844275 +666766882753642363536848943637384695858865774578785878985876798989986688878669889688988855957579887767768985454549439948684645974346757566226 +716256355458662368763773549753545858894669897887796955895695568669888889877677765596668685578967766848949484548536378987475685787768878648685 +477867447734788425945586748549449665999498687977899969758779566966699696698866759679767857577757957495948746866554846453483735748386588634386 +427828268253756534758989533395999486488895485467666698559999576785896697988699675785865776586599677497858785688364349653539465437274484774481 +736654876778788236636989443587646668657475958545868576956867757666757566696667855896879665687975774475747556885847848994759797623248228722741 +647365466352722664395743488655797684578767699984879595695977657988875669989798786998559998875759476647884594468674944457333384327832435644747 +517768638627485634598358365566768778899645788676579855765759886799677558755557666655956595899745698888944559996784876538533984868435887328856 +277438364324748665788375687884566769899467955669956889997576557588967978559887756675558867885789575999968479587683694494774732884674756654565 +745458565535283388635867397358534576854795897954547555558958878989656677758787768897766779697864574989854859883739848599495982274672562473234 +631264584624734483848576697437359396998985664975877987688665998976888689975657775555785777675988966567977685563385368449987687732783734766333 +575136786236736552875835989654573968955876949577584458567887596869597887976766989766855696859899494487686598697568976393359545538823678274374 +243227575457384324548563875877468894889555479969656677676856875787657798568875956965576967787578595658568598733794595356797433757355828674653 +431455725556485437463894375685639595697659866656499994877959867856678555575997987877776657856458884786984773587565957336449623588484826473273 +316563622373522652678669786378886479749898649998974447577556699899996898755665669989579989944969468697495787376367494975879365344672254348443 +112656784584644754248688744495756573995469968845944477754655575885579676689797999695569466656545487684568837896954464393642372325688224725236 +523375728685552358232564435885645568537845947566486979875578777576867879597585988555988957459944595494879489998883587779785764584675487784376 +112374546663534868833268759784987463396494956455885659667796989666776886958799896686866995569658789877457834845969839356638462455486377776627 +375474757764544655532278384645573737396996798748987889866675679657699695869969775447697898784545788866874637584885779897548372544546656254324 +735234382242765767262725869486839793598475574488766655958599488789599576755988894854469968986747467767775368867539569845372643255784625642425 +732413413367276574222683735978374668345675897745956846645877987977999956489985574798849878746969744895585384473833935482328273245435283272347 +167416476242223248343436439844837968956895855447769849594658855944598979447888974855577569577757744663788467564594436788775847744343428221454 +615341223874648756744636353545336347896967369656849888788579965785545489645765959778584486448945986557477387934495736625454742437662846674162 +447634353485776425256638545654444644669837348549658878599477469648797679586895849588645864688594757367378454353936379386774778266448856153345 +541511714646225544268577239967368456538844745879496747689659885846685645758766899697654595447684975734545875493863957585738386427888534152273 +476253615622436368722562738557566758637884788337794984986675496544785845759467969568686599965465585765964574689787677388324322336727526222144 +536117445266637586575738885593684568364986767798449674898899796466444766998955665995968954779873737765896447386473548263344575763863163563471 +776517773734537788755632458378935353473346977359677887776875578575678798497478466587594879589897688994954636664765584383648546583633553133733 +215416131644322473665748534687379976768459349744498564877847885785576956979868599997989567943877597337336659679337546568533664633366334543246 +111352271363173236774337224658689886796699859576688957656444767764768588795679686846996555885436887759666695576566862488755762557865162321777 +164574647324486784578277276242277543789887596438946896636695875558889898495666774576684488458336753574538455484753647775254657332611244772553 +365654312356263734386435484262676844959333363654738547765938845944455549766995766895895337899686359679773647965775653666867246423345452332611 +311362716735142478354364755837442339344639344478676744338648635774896645664475469779463634496996437337578495655633334226558266233771435633731 +276356353116321332845488443632652559558856773799855764479353448636973737558574797769599735449983733635647357753348537224465348474763664165775 +137665737523366563873274754573745478997694953636963339334479758739386653448336737346949784343937447634574567342288256423478647341567734661444 +627243733722552637684777865378858748598858336533357546335758969784878497556478969589855683574789949373745768463642884883643528352324262262127 +235154716335532751587643823456423726724388749933739866667984853968983378675783483384733998956647879678736264352872538668687284272245323335762 +431721376547363476255278736376823525447873393457476559649883994597534955356799454543739667999688537848448328867654442758457525353137376414714 +121343441611364267146548733387455576647784868839857497447558548664775547383966354477997597553655647597833654474882532882386753343653766665615 +626437225431377473341283272457357766454476468443944946477874896354638784979643994874874433997545485962562246335862427348583214244723243232562 +525152564262161743324277467747664462637385229338987788637634435548343686367473367554548355389765399563358747688587378477536747264666362571246 +164317142564172644131565235878228632335544442399553944534796889393665433975757983455545558367575977322336386726532562278371664453721764212524 +646362111231766674424575838257587575455354453753966795696465373364647849977764878584374547975592882565858534462554838823562121444432433525332 +663461377422327443675142438377262563726327233583737395745589897794759746735978477744749574736863884553565835284367276344523331474666653511242 +111366235337751627336533115663853686752343464474778356937574533833994777564496578784799888436746875585382683642227786732132524536272511751215 +442224171547464454444435316765726428424547442434768478834956645875693659996585738889365885644582328763258265884462843531725416552562175226544 +214536143377565246635353375165528564856784782862475765538357646656973654698954783767436667643455235324454664844343226512617447375513653125611 +643444323576643276652747747717888367746835777322646634246673756533887753345428538265852272828466485256432753248224731355665125355471452524544 +621541216623537463164632176732542878444854738528247688867672537732653578726786236723268624378343523486765434686273636534611167642541443423314 +654651123621377422147511254167213742482678247242843822358243343526574767854326786353888867655488328473253724552674564742562127273451655246431 +556452536243354131151737124755514532732734556373224275442376444654475378354244772436867334327548824288326424621363446267662327475233153416155 +642643526221144324432727445742631573382437637724768666258537238478288536675465738546666756644324844558226334525625222232621527454411623251661 +225324154316637171236522331115175617343262274455328625377857636537867477225346633623874736665585622553267273644277313551261121366133551445656 +334122266664162237323132343525566543355825644252474632534782244575672276675248657874286268578858684255336334256557477112644324152653443112466 +444654633336644166124573251751236332253568252572882347455768862633766223564527782383733687745544772332323635773531411641521412662235553445256 +455453233416312446513767613171517221676556776355847888266276557737853447526485856874738245478673667262117731224276411613712673424142214616632 +555146645466464264676347727262437766467216266223422675426447337288333577685735727685436455236567564752771541333456337312463376265153553464664 +515662626363453616314122716721674462336137217411438258732466763624685726845762435873423255553854345741275154146547342267354335315311162215623 +426251434524213213122375547633464773325335415662172523553745326638486763263646466273477256585557263143231652657676766664755231314161343124455 +265226414351252524236565744252475545222611555755242317255322323426334276676823665876564262246351122527771536211717355265624612225356621315544 +516136155526663626451551453352644372437465127411751566363561536637634376863645257745455722525136536175116646325323437742421562133334232326634 -- cgit v1.2.3