Author Topic: How High did the original Developers think we could go?  (Read 993 times)

0 Members and 1 Guest are viewing this topic.

Offline KongTower

  • Jr. Member
  • *
  • Posts: 35
Re: How High did the original Developers think we could go?
« Reply #15 on: February 06, 2018, 07:53:32 PM »
There is a theoretical max score to the game, but the only way to prove what that theoretical maximum is is pretty complex.

Even if you press the start button at the first opportunity for the start button to be pressed, you can calculate the maximum game time given the bonus in each stage and the number of stages.

So let's just assume that the maximum play time is 180 minutes, 10,800 seconds, or 648,000 poll samples where it looks at the controls each frame.

Each frame, let's assume nothing affects the game except the joystick and the jump button.  Let's also assume that you can only activate one of the four directional joystick positions at any given moment.  That means you have 9 different input values for each of the 648,000 samples that the inputs are polled.  That's 9 to the power of 648,000 maximum ways to feed inputs to a game that lasts 180 minutes.

SHA256 is excruciatingly simple in comparison.

You will also have an unlimited number of moments that the game could be started.  An expert may weigh in here and state whether the game uses any timer registers for randomness, or if the game outcome is purely dependent only on the inputs in that game and not the state of the machine when start is pressed.  Usually games have randomness based on some form of entropy besides the player's input.  But I could imagine DK being an exception to this rule based on how it plays, I just don't know.

But if we restricted the quest for the highest possible score to ONLY consider the 9^^648,000 (for example if you required the initial state to be provided for the frame when the credit and subsequent start button is pressed) you could at least know that it is, if only in theory, a problem that is confined, yet confined to a very large space.

Simple brute force could solve the high score for the initial barrel level by creating all possible input files for the duration of that single level and determining which input file yielded the highest score.  Hacking MAME would enable you to automatically restore state to the best known score at that simulation moment to try different inputs.

This is just to illuminate the brute force approach leveraging features in MAME to save and restore state.

But my final point is that it's possible to agree on a moment to start the game, and challenge DK experts to create an .inp file with the highest known score at each of the possible in-between "HOW HIGH CAN YOU GET" screens.  Getting good scores in early stages could, yet only in theory, sabotage higher total scores.  But a bruce force solution would yield results confirming the suspicion that you always want the highest possible score per intermission point with some standard score-weight for remaining lives that makes sense to maximize the score.

Let's get started, there are only 9^648000 input files we need to test, each one of them lasting at most 3 hours.

This is 9 to the power of 648,000 by the way (according to https://apfloat.appspot.com/)

139996340221620053923496794981421241955005000824639114647227958538209265212043851284174248899913277098523764392877956054404914548636446920830338176536250133231859227029934656856272668894255658512346948296830828796033131735260315186498073136299236508640370183910386549631357550372065636674966954065004896623862133446965499494534862998080526427761710903916674737344439243587242845039611798027871330408207140724592798921843584811850865287266196772516686509445807519039664159788697698134114898701488164335679746246002056392142096868311972112771963004848942669294701309205051854049191424179977771057846326769532682426727953509034851553333118117850613967906879522605870747576806890573798516000079059378680213275407267689809308133883255861550810735680251021746065131305897288860226202910576541506806751018500707527820033818978679957720092388612355442535189731201142073911921056148595201503828202594141465649601113825153912270735514597988514317380197755047399390708072093223688156866327114254758318806962101581990988074075712305393868804459927228788515432233389372126596311150413480320794232236868968645948771329598829072792093700638600732076520397484940420106764355423319115709197877801438654563701656306863633273970708894896123063461948031618657430664975876739890245474670080534881554597713431720157510811434673506664992111657841058599132248164183246867869002472529132070384973104373346512473310193540838405014713321836728185883305180810319470126001487557062039172343720508120073950369615443407686140525079253400903559848570631257332781690891436767412086598139605175335391828362146654460101725608163114090021744522833003118991531152763606063416378507568168731523253125394540373668684071161330746794584135563007168299628282503043877718967296093073297844641494620666166587639693647665546791298271733449466889140280091098672802313143606134692689938752614754838890673952114681142532237388736784034485833993855934044503756300815348322372769341173231896948554991131584082068761980044787022301769130713402810688153984218823248504501486375643391748607946523939935324887966468421968323587955934118696019431380261606827921739889631365975563342309321732491380130684273477815655786649305140452199047893210580391735921354361451444687192038313376001248956917881585026994376170553647238839276236821621022139313160943553969939495198997979947852990540137984142263200177989498816046242559132924797210084770066173252102483487375556750424130641043075278997071284474416072532392624119977379151769066345455697184628055404172109407008463636012140854792449073590287521896560854787199462386510769641890653940696995518917607998564237202542418932841126577018536773747163820118971188375582414746333383175182447217752649828576442544545033316292343603334054425254359448823341500461070462016702630266381605992766375748649185544040002342519186742165896715261647941673665331216377160225630121532121513678198103236729691147733880873572651171270722309634789915280850657105899067474587743788537656714644540553688663717537394845907365792322609535339617807963835761572294121597217050162479163453365218576343957862758057374411345556067882884493369407640284199726064664712864313696472309972889441890169194375037867217654878241855912936692937636513260536094493552524935423100719180108016326190998316752117209124572871418160669422018107078189830552374175361580625112160490472393649411321514853544335689350775792212967680238566583126773660338198414971925468370476690841373982815070902193026186716121323671616021412692611338262094808194421920966631887027999476738664807907130488671176444618085792350766846280116560194678379597027713232677321458223062509746263299375811477471572217591471991401991075016259111209482606947590932596731343550918295462756628869805453817146947340480123099827409531908092291230276113683081655519012625252501311623962384757702557145551293009162417040640822499314475246065234988100310579649771906050083585306483414230321716737156186868027675226063707014939892072838225275321959192788060959062424734020586272825007945314597234229424924867953015871549688998315448026581270820955683665912676446457190349540851379304781124237929495246718994182707596904215507174076915755768525718890047306487364391914987256209596638343892697551405359140495291588543634665953778067328543791200071595733961240974637395340386277248460075703630948501416455515451770776588726719517534829803024015613100822423048526068928450109135485935648554652438920739126675702076684667311044920783479411720548258936025327711873033725409493960429122797767953103930585650472108079900154235390738809572132788849325434881000645025483979079172872088788950624296410737655946269259167932904645345269471593936231685763751902355467677867388979805592703583288431028477050356112461183609677277461906666753590171015530352997077709885448081824525203576874971781922389285539716416293673852874303467696724020327850834259943290531630511095321102848726704143354181465431918914541698391608653381479441789083838558285082098579476464054155967947028818909341623161530433968009359488792629619398959394114111440063979637794154262718272716312217926811428291141726147539176151996857243554471212193520020200891591939900462910535657784821957485357821174758527763481444732356878877024807294599788569396877490031736945895753555085500474652259263205795304375159282509517155713347804417290596837400177288273279581590136497735953084125292006251626926040272181166936522555557113489987477560497254756570355349410207367156048516341141760187546661837300365257563672945184914109794990424880740306525967981775036927751059424131423648872302430769832646988524737965797845380119409673775400303212357061088129231089484503520835818816033461330788509420235744468318949411656704971391202775064968005941623485529958161248515260325681613257419330703898296377683268772532100957929750387021019034144664050459249831264554454201648583922559360915671674022174240266081986287403857048926869216075066849627994948256825807493786841884811747627612760798282291883384467943679147286628589918597550809776120540822045295235888866441582682544663509142447924481237479430582046159644475338359447758428195046961288286063799089882381831018402391504371524557166814150631796092215959096986131862639800237481241872260499873127437857036270130577924868987200786822252899498054690782352079491756898360537782926580691484031551465275559738776859545976321676574427711765234543797085761563221922344085009320245651759912000810176850426039022228124895958205236060942484195335800441916042619949483645001582120439029834863012561776596113878812173370679363680713308630038201507457335962784586017497142343629579447490968047361513413030128551846737726648138657841224306944050560027561387475009775115710031454176511763599675521215706012231292622903280866398441969465161275955733298924344758227074865802833567656974899550962783532781056770117838462551285112069175672115779536021041412004288610042265945153370971739615958013764914705558600620339920019199168808654626584636350217738969855133966934667088331793023479137813799167786533839621982891303975122651846220759881757110700710025073068186546537428764258039918530064810645199357046199223310522319370184533875364910075041473598610364306054619521988423498918831667450260996224149815803826257544878271819885917913284384040810714883620139883176395272465306316593735000597733315216908969979093390264618716429382504273300150634336815831703576056947651979910822902390606048514290358106864149176059993809312744415258193299600237350350344967439941286399453090772832636192450624977758852566175730521583644720076938752599344017907282180808956793846633620470778402618564661880832551047698270000004778464323938821941039349902827145215781705083887199178828950478084653139361971775164677667544462487100281867874571925696697405930479108511613028296852931233119512606174280164936704282704402953581520150875385997414173584516907885168798766576816307361470569235320138163009140778527501994877620866876015599042183294081372751546552502938825173563089873323368963905264583597449311704378676715600978608001196320264581400935327727409621426296590571658902091116395166050644027317351877544531669434449655631402678043470467284854233193308470366783107887301244232162394028678984063312000809711199131475360585968871377108818439924071172627286657374555922735966380151791591522789560288874741578602074320708115428943010394793457506827070732819335246549103066160265232386407074228443442762069237863407259942863729372262791909443377828650584757315670043760569404676503754813919684476260296077643898432925616511627868284751271518439757690748712316972767822210167539923703057668844584701447659349355942461507693978770574130326835179578932638639532051895826123254528703598697017256319932458724489269880340924890535229028827095925219933823539625718903703438493613840742777610932387532072071763677574347601342645260504755731210686911976889969984922788695925145830632049348870911951335828805640233589029803093480971549201941555166431256550521654996189406408119663436540520940480144247265126105170705615001492067986344539007457535408150697605751820334453607817824569633378318626934175151321630089792568644788538250073269076325786008794362439056480714608901415422706657123602499339458434409351909279751333382871763404333575257860523547345392368942668967749664620432185906831846453119408081621798927528059271987703362936521600080141047075796593953193087166275519925213761149318961407535884026072443150038693753236001389227878925259517877919336681129277472495640428971871257474224754555668118330128139103456105076299966303428755737215739783874703776129692721949963871129238539315165700980018124748774821022847931102533686701326331182346327687862489712975992123634205947127999302650189247004048600031947122791255415512576957811075507606178177706804308754501766660826991928723237696445669109736476394314636274977185529894594159011767421322514633570917548010611531781672159129545886350813483698088561970068345776849291814948549987886944623107312998045635222117495991060938291117416937419330470318494746445902537368078962369520974251134278184038542557285509316003032993385263708714226737252109219559790729083980765650710829637366846927789180879383380049189990666701759219569525431904100392062842101924524186927304037694491069934548571345343762016244128231327078672769935976020192260610597549521082701639792134815688860633262767394702741760644022352964560069383573053018579811153647099282929315625954413915083859215447209502121868144992257105971299402661671959874645536945682646566826187652641901966982437902691948262013294092634061495045031499922412911317454932639897337480478699456356523358755577612253788391599341552108524202972835651447127033923057069424446732152508728424898942848636180914766443047797027748941210547429086973165153206584432997277006414892539898657794937264370593591034316765641780489846664391643315051258195436192078990785686202201296932944205457732539724937685615856877715341549573088274618038725928805421638255915701456642152945736781582878216642743748240681996140253390713798992359919227980144601516764387969273279062518452738120749341935371217146709728019693958101866011040899332881855420152530000607609152963725181811777315084786600034927580958156652137773833619711889674277301410436673840081582031373406903414780781935954786497086984495438721014553191998126621790538167283413783976214109448632004991700206702298737524742676886155653771206044476767039366961556711833824540868833708131085778603750163529653848898311022504588634747385338164012127166797832170670492083989377143634341890513058415672098494683762493769664221783342209217558022684942584186684192593167580488764204783140293447802240310471246067639609726064126927329617754668563355881923060237442433197122637726063201527225670513850877449152957164950859175364329085989200843937742664022079053106660942769644684035441109223765791798866717396553037888925421841913548188345568439943259508355590123360243593187458540306937042937033223290041269548072908379757973017212376207303247522043043627983428219629734650999926637041212567994903114895319057449563668237946323513111722457759678247063962203622083699465648289179871452473326116260485194637643925159908147333947351224497511330578146037358814311594560376991453845549235201447800086614077053091333890165050666658753929799703035272338126879629457457424089823805202051138967631687495581509964469553784869670626776325314632192225502201666740552391511732275585930281884762228242380733966585207402660601362077572493169374812758507256708794078389714611709079683068506175134466387665566652138679715856555511974656967062836415151513258277872563865988730861615285703798278218113784963316175827726046265192646867806166692088298455139893871178107988727208563006782210800884064360781362334934658548691881563601213022804639548309913706543537725084793999741555375689135578170197684255520129819231603410124760577802802641325857223227166021390963805366324535037394720135466469027064951745697788775905817134817629734595932477861256607228955565359207380973727586401433951034335714194121275449809090557741491427509579139589588472787997170516185474167084591415017957753801020813751200796069870649105771772562190058209208369825469599789837263587279532676380602233470838747867532813720514841480461095506120749176792019713651398816930825315068560918330206760547491642893494959235267815261215091749299586599700836569310087441684358276875474488300712843498323473400715287530158662759230992288034950590391662521270164274640586130271927639356482971876993214744371233946748764169864617247824023942994332744452003479140428229617567784920522080008365522568837340315714388281422540609413916169167504108286735901151730281960976485768253903753337504699753373903932186050099532407867465900560859965270058279435901239587723806358762286574917368720188410931563605609501187817023636278174625359800058245454137455562867051736128925175199970453103545461174443685680648522873400228770320221139821668132792088472483846166194135066502623812196522598341699051312746300808210508054229084340433555629969521193696235955365201007420344957972808972431223621861222150533688173166399504025927912215552795451213503693678434494671938741769674475331774752329899773447336570418165318261792126026202185140221332727766788917232366235353876921214814107037447595422001452209409833544082999709420167092348144646100422401910988056607656990906331208797025512611545137259099318234607274736905274886956877075506510147396774390305459475843694217267628766653135885357823090988376923165194974129625481868786290899234351974730752515245246449498602034870714086072371662183743348292580193870201104786634017009311196879743071520214741645375985211917476806828404734773340726418133664732732437709651363921648203430804244159792524638578197751782983438542595202219059434720289836488975911593810211439326683870261180659920192627651960661486547357977390014978279229719586517851402705596561036882575079511758921299200086520630636004320682636613802014433493035356406437897299369498066108649213288407296702414512087169666552006787743561113160149313314236477505798007378333737662924009244692254208163875694214732437340018293078365315237418509436993408236693528802120015054594584067357464853597730324387549577257149630676088201320443521331032271517922411290364101493669446509280215062367014732408003894427192804147081830841923921302360229640756626608564606727538697209241020662584014051828740962123247269173486690514941304855264349995184866183139164560383008456371970019811134095044330145015097398929147374980852215074419863879575912834881909499602173064268746954606848164871393869687853047408150133159695336508045210668760538083004542254549411445618083520909094497820839936184611577174685540652122108204906267899351733895823089039374115605773614011245715246504774519164319556502362379404702828891033953473823990345212991573669963824973315378970990134124633607898910732114316822046498216187876798332153462260630867222839313262615848805383250358563879617105938559481629526586195018335728686854976888218719068500940188205576190671446696904062974086915564561499659781850541574912185676119268756805239182420942366213028587363903970138119017335605375255936544521211580303375017673459345009101321761264600504271454550302972302882690446582512506474827686386666058013991031440584533630024871197317023766930940098501920686314459856668549153675372714673422813588253223414389310386462997523643489488835880786998912312366939082514307510562406701985022145878415501156298289584426977650540725286102387401936481030055805011002609290290165452781699915192191035761279506571778220697824673485161627423242146477397853648308847828434189344164575258585561451502155718005440112746580319791462975400290606138846685943739818825430588489299869956663536298088484535425181415694470574704816864893852943354672807860605188272581232707834158813491961352955979220587152410086830665337324135736976934090354907865945358291618887527342931403903592827336210270683622979995377558955433024143624732839761117846439560127108619031592805166411754597030045405018033904202375133197695923835016536862055266398952245614985409914601827728896633125796832970210041402261228379240163770315588735198633168694315870750396290920814848897076859699309081790305856668300075495500809381740073267200181848200945139556282404579738142843913369670740228734568753806658160653858070056581988109871947031590017404907027911002003958692982468775284242962492908696204216031660258504980479332373422658661187683793059469270152083443403525848664514417211243973432477690989049866179884502738974091149758943770337660714925696780884252979897745613502483005206331901954873327099904742810078731489103966986177416328741606826298955893643529438013693385716414737434218465401257708918253102763221071936206705041765542036044918175143506208935516992076018032552144065414496478075067383196231438905197608155045983214743832680505623145244359914047010193911254188028233388174838264156987918535180556269236576809536480641982996340398792406322540534381084369919970560415784465495944642658344839069078919387406670910442041647723048705008792703453192182158858528142241607953659263866488541922131076731350463899384029095608734766557603648018059222837708863140088274774517207526170994372195267891240820821327839747087427226874509772237671849697641051078049724604496211955020629422418061642045408809481490150308304447595718756161571700669589223863867754826868305080699339484874766931705140253292134346764142123290956611578824665619893157678613210204156772164164962286053376866553125833852519621723202970704101813365140490801027096155103215848698040021687947472899100983647460240476383847843685699621155077853810046311513849007050928426086739108006835553842697429309854761362658380617746058911952177602891480081916945843710685214739273253178909000158258447930223452201476455175231618732684728471368013439493458829247947925703516589317671105713614333576810089763190023254732220125189380019097565516507134047105087063664870581981712786290381083663398187169582686896167796253640289195297770584773659982781154604487108901484264077726690506636291401093984021709105639945828194719924105543705138842651463045263846594752421263258317308194976599106245498742802246696926641236715711103586832256453463257812207482432576548419189147123211413978550825496512034188600350359912860861842273854403099450950555804922218428992876199093460956417787103870682506743919940285780304312449016377726956584629990908726066880105053904468414709905313348691782260388897764001205005794459644725158587002984123780296918248672321777136972760142061034493062505447877483983828574391995151862290265254169320696467234690056048156627176753930113787300438362723944737842211253942762966501089533834879946253428214055825055306300822720347953030991150691687657704892843770839162114994811376426013553391622794470582052710553388996912921983449241216425582441078474899562467043991647374795338538848857010243351120926444314991949174020295522644153906303470715561232406795626258753327427019720267751185400329422102470629092885180975540233348288705397942151887155693015836050062317805940949253027635531559412194788908723306195742814525308293752758360932918614900705889553631644208305933378066998042470627050164708773943351332567068461591616089725438889322941867052068321996792850515509377608469999446897951126394585929555036988104097353105828196281420420832904814776177526745207911058378377715967804773287643755550157307869731759780710718216057757516646328570726712289910219466279396036227310561845157962643189464972813452062458098086020102895004735076087288183801155622051201071076181752589665509334400490936843357427148137170197028702700465622393106104357482175497306760028622768219129955479714052490288355353204000627706953310780829626563740249827034600127070263323853721659645268148959377350746034901579445581965980374878599654506314764366060381512891433144665225237939914112110326914219192330494413748857241116721065865530076993375259749679215678876951368258615717005938002515577535977448402140818903415338460735277864049803151357215273306190851930464850596992261991527054281652967005405331702591193361886771854901434362245824354502047227693548636797138989660994954153994369455779577621772403767519811947165319594827140224969556147330178324652639795170548362015737880679372714620793095529927380304204848724791009590731034866528046597667308529650905568645012388565347708822365774159218607797578602798262703737988390043690774563726668765613705731126760174963757952231296616451178385325756669655347525612387937393708814779042233650300985786994401551429898873277250931857919764771732866305075265824417984916636117597066908907788199966648491844937500322883526831370844708899708402842885926826305425738172231990863228752914387694829994188583796430826469163209248869038554255318530767304945878615146707823993933395681804644950438127487695754352910990046042926816439677897205205977606665879281171469939834733220455469172864039959695359061017778497615361811619430036420966250137411911425643446251306219544259679494534744074586566978086685797898435152498770462913798060951026743987061744639433370031563775209314533210874928388140587694992981197727749034658537304260554706651361300533952031024533873738396413373984312601755837224233424378260240285426981691303436023437762153617591598984008975370339496249099896038851270278487234366643845034908941500837213432338598414344243996526804543379973993967869539007918282877750978306791946198564798365538536311526572553400151007475598305754499055532644237265840810256756069165729236231069539889638011119387348105997230022964607754279679310779110893965093758333802918086636505297192238476966272865858485328159829307640148369019475112725672293491207946784126093048857580873395563951439416090112626029748890707156189763447286386836198517363680833040238835214668076868832742845652367511909398011237330655304017805956876897999555729822662375812996052958226516854631766129818152641726211328183418386432231501060166322150043893245371634759265463841699207728796313107011724697064664171636768146107704586720060508470382990745645998491581173238247432049756959467741530890370130286433798138970303847257970813160693779088344479986485260777667295860427838703983552487020729935956791378120336839750362934059548629982113325783749750989460705157852962710290795725810339275875264202763507814386823005313681198568416285143600355387137318994599202941830714669294902167085366588354953405294745102203792055932171498855701810635730959461755201976276794839367629459871228515397115994594477496296129963430010701294992623664336714571955998264441769352297776329577956718096686738121268556322086705405827726434677435510409672876350577758612356868088675077114367133242365044284755833293101500474591159327754642788727404377990378649165159635400801441935465457349449168310960118609003222207216319849015414926244027194748883519974709653850400061327421137658952904609229550565034818182889185226168246706084837122813744718931548288474073321409431278635460977190229202852631157226921995325267201715009106445454320092548184747625468310103257008766717013601807659425385044313989629451684147454373437993266795484817258843029906767102160852474363228439545936872543121750400198080001778604169816248453238534920569704625992415446936550758694733847152069970370447370574239933212338924614165154928914679368248817469493283016099162700150210589238177261913168245828004754371958264965907728589480326058376566563747414883239536470238534676091839549791702917075165613073036588321844667373152352950340530320812396225514264400022061592775437256114620413547224376152057828833496120133944271067305641098829199975927594539113678629421287808704357075224876236830830584201573393209807835059223060279661278032399054548240255762970499339352630988925949116911691894949768037119932670338947327709190621225388093051666752494911253113198311125445766038802377539996912734775016583409914931763412362602119604018514053778855426331482164687260849829890747003483986723209101028283216921554858179768579052740059712890055445691709445248260817784523661148903639225776630268838562024637700934806688040432501519071036860017571886223691184845199896165539617088526570691815487696646063565959590733258457572283325085652409645569083311151510682904343389788277510610418481199432657164454858179541424395968639782004802900690936972808021194777291424437735439252277940753868505387166142137203698421650700817197319657438695617154230873307297447043583526018661222240429236113771755222523274290803640469291071371063217378001739380175578420281197541729434052050324606250250871782171204691188994183777912624195665841379916774523295031067576362306542990364435758061098283393155203644082437348963479394215567106758773498795311258938186938420000016665219160295894392157304363923390531942046811490871064897792634723339749449382715118723739517008275239382868736027373211701208653344107156038484335494109037613970661340150528314415542136310727097231213278043525453403818741984797351130090016415990111269628327538979326255583918994172574408184704169938729439747767581987901485482816091572193135983882373007408058046933342802928769193472332680628257149737425584633216723198410221283705266338629189843772145234665268272068114176221346606688544122370069717488277975048378910788487947302497974459144703034887699850495235021136619652232512831709024016199131919970809568442573899348968915999958305663323637564879938395600076225907846532654614235697486238395006928726937297350763055449436960662159243123238316354139861361143896683928437587929839796124502148324847461141134613579694523562106988538082028458048050415617461812368451345053451147684449997535687438204524231309095456574594485510403419245103577638383895810299175788010967313833140300226977736613233592952822088013558824673402607182927183727132263515076412586092788344779995842212844295048369246622973249552581521299414526476592271872078931841636246685619804697099355006917359570358948310142076052836048646183125660591649220939340634788191155283200259848660035035821440921083837726302676041827693425334107651667089931713177268426526889012690920360772839465160717067878500665112361236504224700518467613441747624808976359303765842616340703558059093980541784587604613464405485450796024850329142470221408364067377812122335019650361382714802089141266181512258571369977801528489802039157466046187030491252019309372902965707335054636200510228698202155295013702929774624309062675410332424488269832356701357104449492279224483598076181387925950505381426547367250335695890591281195093437751153291529349399918001893558319245950693374430345850822343546823347886604622398593010640384893755970888394282763266710920740055366727663728583239122228053089435459648047786788967963102048326787025886543836214936724522547413381431803783307571106720378612332396161569736169996669496835731741200394168318616116956699570569409763059655184674840244570525964369619338802530748986306152229315862861199472587534483143042599253403497741341138309369623431508957192828278011876126527262602019852034470506304925132150273285761604620368667686707197112664164576298321239992365057793136637285362004484100727700986703342237772921701301688144953193994928619390177044758128267736332948344752848993993736442431476857830797508068879206670631529767912201949326866972052842294060421823159685031603363489087471402185717208432580870532429231455532985814755788047615021837988963963822204549437671012488175475352392699125769818404396050358153247972032061038430136949399832283770510261774384641007378432931417234034298055781804742346041068145730985330073552987293015078043192085344967059735809756079741445095291413871685277542083049937446881047442640445806087075352456796593721061085668045990611160625050463020668679959642203898175080626353895920376410649674436046163214100860014451118659317615424652065225789199091417571736456448691477370508341194312220986983034100902974887149849293114592136601713954271955118844605153753249680873354149569162215011101652460282605932827716659416283239885929425327754696035571209085480438871384586748957283869515749066804660986876572423604720503610917328002804307213806030215002621969238218443267928438905392896424161597357354392953495978122053236712181819094726600039145481260576336012669401902550512131343952252791729918580692687233844941803370916726355047949361697348903298103670627761876928940363586550386106408570184746909282482687061853697543794658834696128919516419324936840088835393238229742465532377237102667909047846623799712123534675996046985634840438270261841918872634496579159905112389037328361854736265932483422747564191611248666808469387997093623016012834445723571907891973460712276250341080643974101997622657189824792700012405237377141953243875350247778516803203446913149564486314613266939135012069092616931020025118960879411615404996581777491317090785063405281463263195999306600822322322658761690016310531360590066749665755449389039525135702373166994256654256149627855844559940103341123073342133374043479013315410990645529082743603551551344919069678915197042361621298390364103593235998740108783737649949201358256570840621340238206271703112571669177622661995616575991118864082824601459965654497230543021450471320851785316098863171158036147301137258678269216797272054880889307419902504058912223250745554026461134877066355353116562271778440776923770813424475156090286963191867554103242620291452862380487845157246433240618195203844121855201379843917427197008837767591893783655306968052243399699088198311455306113798726493417718546391857505527618052855029681948796901111427891843989883108873489032414551035435337863344616147731535364318309745035276936309691718789864613670610537585839173634354662502232445000542761515135129908769946781483706410231030116810538330501665248727655026391256867932224239695221214417789589427916758399439957498464014450621487067377864269376620258966999409929602819290511561069626974326981847408708011707083638721266379277710103995567499674444276889137284885540281691018424839176957423701163770121941884666092725536596468311576988632437360664023063949351614629245324201986917646190560765613421005115042197579057663970126807405946123350254575205277569330545301090400384437680468489542461088123712506852307746657903081177871419091887220313441466406236447154419848159063195715644843658835264334912382794491613673071874582441620770398907472534991789711920275725927405373206995739817808452166998297355627645334836721733284206366401453157142807010889772563292142670444964706884928028703410409921209421362287736832234697054807433603107989613251657104385788114501112269198449355630556661193279019611678701463117062569609904812949124533387000235565361837769296674428116399614825845611986666730099668937697380061681398409583861266351725220518340252102990399599434979106982330843363866049470090592277496109444597081272251897097348276974159764238603891567943950161815699716209256391590740886185821084751401829156877895320939219810901679832243645736128685135754786016521581353549485114853067724428743807669923456348682056161454897340637649748064242524445955688152269007776821168119948988732515892963864223080922415644335367377920878206401704232018000313697573259360704978040461277388589572632076629232550792927257722794854204443094963376253875373403969675982629579759918414132028340866181006681998446480383398610302134403344080076291111555447871183565184801709016075131623450809116086444930547882031525399194039464803103916537051057696711961561288119133586677636535593769855192525189294664540001989606072041736555129048596224382692450742167763491965018314311959991193218788899756857964309730483182943361794645054842588440550059823279947324167895548801204828245027668874489256328771869033974437593368129990952539375814416322944845366963460338873494661987377208616234801844410800681409577412253578159321358207511293340689880092091707176222993839290754035790813144623733478469303203317771251532709964290619833023540941121180840966697210749705709599766622370697017529854407792894481263232080527691103999930488265329228265039172315362245209609489553297939721375682824240095180803085073113400445105765225798391616288723443957007219931962380977142057718571131094502133426272991761292582047081776121504181591171620765366925047788759895962037120589252640116869541172362545486212427394978770213130841953895580608637936576455641025393236465326912466936740504189175929663491031474877737875619511820502203378290655840019487327791913110872108241641452767381705517778253646980000459314838874585915963972098013250921918167000366737045092304103707820520853609210923738140586937450335060598867445537457416495591985432901973891443089893765527804494604253726930348240114887599755712176570210738229054713528070675746846565235323527527298538379638378141673453828820840997793141907663240129103725503824178459776200305937538219055610938104380163582557768956577160580039176880860562939009811807233123292087870514911044134534919070716582194583942965013764917768897945789894575517130878151607747003712230689742922957428038579856046188304036200608459124284510986627418671286850938687021510513062010221226992015586656352457224123673420298387971055096106458666782315098445133342471305186078577908136120928677092216585248553142216723874963985016794014481748421747113887454368240930653337474901116232858893369568662102753129527570835775150415481017995598632157422957032400983419125677777554099077673730000451684144033399783628401602903845972899940802070557403731709536681499336241042407764156700272973274482865120264478737419220567927100168098500769751966242837128904564346881030806949372006631511754659444581321186042111074777152321041353190370439498361187714842139187764159502819462154320626022158024683655683428766431097355690633769029699124570770851766205748063441751896690232621438596093567373356261030248643302805904605873091100657892764367388690446295977850185411698946586393689732283585849891276577047460625971649245338903861344327918232992447014233192481163940038351681868464306651908393835895127793976176227431387736651168261051007962433551713242949861585212505809366497379932421548818563834162209800616849510966331666943678600726926757969614767640176755043175819601183056025177547355269127577771616206174000270922548986502952487361377981915559597381589250377239879260506651803216652777954810388248389394266932605791340857515789246025433934501523532111867208434075837413237082117121549705991280576126829146547859690633820280179915358689592012643361026296066234247901080451231170393024684743560192910857527366250099725407556793483881120400933658636865847099935743294981946031046110261664667517897048507645317251416217547711071060615550109189578705878438989878760030983454239936757968071956618032014502559441836030151876582477834490118798890777848018187774410561125529887334612755288721400422597519244508060077740004377305649914501541679210779975223487213403576369492841944590275541039601844120366607343213971077861137036428240040814996489418166535857560911269337051580247998103251050858014034239154902086651375682363770596028505149289227779543712913372325383993681221189037336123862928278762253411714841390908966926505870253131714983758615909622566415880565179634842834744473934986142479063357734459818059032220341147729308203589120643180909544894184258945450618511596243247263124495019649497175553063224077258742466022346274908201733570537130605147154897576389082661055794383921009031220643833110550382366443527065612239740709634322242562833090603958034444140630286501268697177706865832586079934522931272413058368879556959763392732482374628636543334952265596655536860710607330130568537361245113977088727525101369022274553939706826750594886274122531266099954410323490554155730767608920729136244952047724330732980962438693041300677736333594620067256072063726853127641073784626833780320619216245204201042669525231098777650563962497652777647488953743277156164272213184864153332534655459200297645641758722136107973878786766910417300615304284395835673519133792050998262213444576521523154801091395570533956322316261667780377888488108039543555314210374526731890134188450965358985201881880516464569036357795505927985281523243195606244592518441532223101185353445843772132282842131779925960438616377667070689082760636544118040702859715412087513613216775678775721513105044654828695039619967374585859375009753055069895771186593767304515260582670710983134386385143121550116206870388993942035447903164299191132503557020030602779121633621405532888960709660126668665135709569283228860463052600842205119557093587344568779608534225633579598261344279038941923772603024737861567345577439262584270761780547482785096862225048984682732826569294508657930751691176265707199174414346812629809815946566197087003628951260705253882260977532311885849520696196095456260372752248291830969294281485403671997700494236246411040949031206134311826837955517433095558240661551056202911920438177724621843593815953354632887141554587847264185915943429447750087179635849474292656511359889963401498611718121501432526472497256098629567411401709358749128288356632547401973490961989676031106335699287528623933770904480641173190170406484474986702648970618811150564912127250326937397066215469889393097124333140888277000409719845319821599597172786019564368076036988283502105987113791842766273923752542232910691226938062751622972624673757429563818318914001858059457439601669561199217660998533434270761637974386072445041117186692205523821964949069673639400271885137220186514873369535268341670120278309551269400849560709552638195276411530501421864480657601679656608036930741486345765950738462936037638078312273620990734663798198355536271425503154726844784439643667375783915721939277558547930770868461351440594851983428031867338251421146512616383585226230031139351415306168869326001342542973530154707897213227189478924234465468599084240552916748619279218915323477231221567910754714750055105788753681932623446926957166355119774488476979566900551861000915253254420224976438815561240664563930720589626810003344578746231051417865385610923746759146142473570154748135139619784853438106114545286113717699410430615484106563147427743495827876529414323731181787870090746341845690633394246957391814815036148421616346075359707403846067816604384507300560002888646025792047239983362903495409105215226809639639415458474997703711543220782270448474337670162753262818029757101954041424166947322026590373495312665910905437293289396201303045038299525581769740780368142279070403223149120277199049619072293994476580278047838992128420243731673841670408248058874135483058995403707356884380141600484491684411740789210487197276588936015449357719666545064404748167464556372282922428067586907164905255450073294688603153175577018731242803523142299574120644696569784214414108100511134992058301575504163083952262980384670447374259476127171132307094290489206741816024102617261057415611625180236055053933967058684731199285797052029740775342624386949783274299714465013418662749399259468688965992203385667677840115110693877416881786066189143563899832429718027401195965155501285977037154744697975570524246032472956992962927310450864867497482459679486252042258083170340538581824176087115684048888340389640509918103893399399632247005126350433011996207868258393322494237727289804929453700553303831013341590446342379650528204305907581221847748851643452534285598887126037646439275100245379922310600154356707052918720289217823069626273252485545416768864676762467902460320224999621568163236092785798915283160891914545545708568750659274147464664763186033845162475232694332643925812291879558757995129882419033767312056820964343731537739418914788348621854121083270658188429878020991420568097663463829695863548209044740779320871426596900250441653047543726932121776479335567143688488630922586711018681620058752851502377210716384143332170032777142922455362930081538611646674844433690569350821536569376732442023795441028349900052715211261199557616684912381036648087818541750896385323175238708441218077663885682210535239981238763875401517266998270953114308046955391678067240095883997929393512025262700853702447937332740383997686250340132993399301629425682390676146028564514866945042455623729637576574475537322860265656430861307995773873784970050783383427286311054132431633976524375092373325652092187578796906248260236756665353062975671619497259376137926894222211099599318349306859489913761204399585181165176110180364453541224486592467893348601522910616400538228505856341868913445378725708605522412734761481717020704484274995224489443028194282994032348248842616284929681737291351475014113542391338459654115117389260827524918419142698785480219464592612162932241275319302715941166716995043000963990199416488051654593001504053482869910841170918061138262146051738234499873722087982320640923024236474672538342712749391222922737092247524728929325104267738810015468350782070568230157244255273566152240211022421849767133201126722966941794242460187284378192314577048469325420138665330318064352161979250521417435846779760691922006632371422801074404994735557719589484599606590175833782604862158628112281780867944335093926430792943747012975308465557825120713130950471746782757788713696450383157625155390166251959843819417638923093985042319078374032523731438831058158272420862176399217447278581600666103063769440564706524198454965804716639935305196305319696716455975842894170380323934128512704489127142791015134128371117150566966644441421666734397976637565118527379540450529768616275564006482538674021334933155324565225423406763766636592054384184976250377757220588293600829616645083958902704028682115424435834074312589260434814747199438480949496464971383266121905628782315304451762611454518807375967902076448889788652515829495296605223858255976920604405599480010531060573504552980574670671420260158897768280289616437252882498336212810023825717939200563435858339077696430116832874466682602717023410692983883710127902097807101409952206074822014364815100929560186310597051846919815975754683139140962527604555517669747314684134719634154104198566472455418620419070032659010296521111377204338206677941456547128000598733278896600633026458796345958993606424628090355125184579848344982894892876624743150425277186675779977369362007465831173307830852984791746584229431250162398261796781212000355229832894314019558618078624490714701831319302225080425427448249164337061950297898060254795235476088987802298081553684978673629596761667049989420428608794068681142362617858970565391718805800479794925894862848604430587305732640820660566784341593001495982506293789815596835132273445216277125191628545115310364140127747620662871157024178366556632312047201590050395447885977401234295375542483218946010989306093590825450071952477210801824643887636171940238795934251617216429836813257978528605138845284809171025706304436903314731985282516781893465057284243183040603706790717769062561018874163168386284885977286365721577424576468353274566517798335651054562853610192442650315973370249698763284255977956431033562839812371101369186121584544404634333567041121169209555785160485185884483838479736718742424187004965864143442126026096696608267378433001888483063017379798780042031678679820529705577758965786094792814272223392006902732296868277673696337310786544009773686526162160281675660031389749250882998145810475444845899724508619140875908492628849541241876707212395652846078245210568488590026530141005117958919049702135349155418713111856744133519577760161151018900850072640974728747604545202909998777867836398032000330812882450139474278172251107233827926604975559477427373851191874368245516149179399927169868912149999969349036585805233317083710961996747461527385767604083447792784895584041367690042845166610673064983118388459364377958700714250881526852993833745042767282319965788399784701187962944866654610044394743273686981665004260959913383839913993528051779481227941054582886005989524538160026228851086033844791156479897203038733908687934323015568470919166478388467110958251822876576767877674344533818239273867171112712069270769636758076262995059876747046166912234645902778210176821589833119937875208777805543272949873706448811350321981454020192474180350335364569801500489427310040249056802246311406871545490100464643140233256019435648229726278713274943211849830887519560320652498029257338995628214724522260522493119157345026784008714136054308971389605219056737554940394081141216803359350543603617806661643800291623647299350760413606113515344681327365161345400088051842114023046689534614392426579546611671077494945660134593090634424653722593659770011544727604440923131730544484966081163519641150102286273810096285942440742404208903161411002784460148391948342461248810670027886263516154036502029821434401039581657826333110276234009461085172512135541559716894057378433836474558514546498658292426126307978263578962458060119891646760286760230859477661288357482684208510410507689877552824018226585410950941325175822096605488212437883154723456501603713643180788318306129781358324125760495608098717288956638319598057172677783529528842963702850096845363822728778682084287129687196874869017383092395634264792280157187478324143327203173422582354437265592990856615927643427491282962158339672441575888502295188060786085038281669132472492511883605183654246811993508914081867449627940757949461813028754957247383330106968995692516947802334445251906681751673887536905335773712967989997901694383286839171308838921757707381766766749832669796044627637490389175758960489873045174113773696380041112820535334091899676454844509062815425166750867673568501976906418376051322258822518109527463967935382491321685278732601859415198222615452553786741209594105286176799406523133676815898252218751925717363179313687460913291428329757132175242033897161863915952574553001558658779995834505675707992292531078715461863030333271397086045027276369003871757801563805844951701657944298961689345423311552163254301433390626231431795660285328564632823347106448040886693914659397779770266209296639497553133186205380441796063947765860468374599875950994645729381351560599936524424138922462905523894183567117038784832038404400685874770418792008388349647912963248608270022119771054033470273515919762784657381220989064655960206603392142165389144384732432217811648535445456496403953707281512764639509822515739564922191729231227391353312617159219133177388253486080029121223999582062816258212916576561392997008033390676150636665321873341017055161173303915855817308039009921165956121892389643623625673427671687090324700208219658737114449652625968616394568723196199096398077023544142616645235506658740357924611527697174968503707321724280659923406587975897775021635464539821281982737925110598766175113405908380248445187713845970174018553502035125866293345899966200198775681173352868250538036600281966507428474612501768452073817426492173393587910322193650245824206667008587789781887051713486723257600434722672668007266911447857574330520393862883158251696087581312754928280134100632501300336378194023164788341629986372013907385312408982574027187959661241945436009610304476206591798274453564200484816968328058877552029457570024126941925404494599345767741640091217288204167323996343791883983022834507725094110687522974545150442156970433146824244178223701529986328227094118263127409735061891136576956752035649752161534742073923294432730302073053674064571178035368192270071388511131718281253175119648181218922468093806191308444590601878549962981554847023244172516622467462838490235604747419511206595268277944809420950132030115850904608985798761729817969459785974853696331013528786991549423349047476590541115295773813639163354745714723838361934057391606696096246983333198189538359507769063313910961970422808554851378875913343057505218723947315974073370922682339195553374462305258057574346780078302618992150738266148696864118151407368139325079426302746457773401122759688978847468378868875072381043364587873890632153330438389721056884421619493133435171092525194111011633351510438240688067552726843371265217251861442241553331347781248424703635735015138111572776382333280066845846583229844559074540888436168746059260692725505142421974281081455371247589674061398713607000048928499083011811483531294545203618301457527169534730109494929126773040616420282703712334147355672220129833376532419511771379540265119400938117213957571068045209550302411142432048083941429088242365586121107742361481005732708123704046696984619060731246373394651214341698664897255560783478453510008741278170599222649181674846059157965183458929846703877448619325039022268551578441328610864869448074556747332099776522803714298930289702910646163973467619784045543830460517399314646520424900360673551097823963075010638084044315909705738988337200799601837224201982138332430457576497640677890466086520157836798352264616674387549486020402593587556243677819771466075996782982860404680855319456077236548486419773964382067003787720243769886030150770890244164247151119254955281526263672656956389013034238568749583654194079800685714834215741746521586876871940418029484130370320238616854168386135704381721793919090290393909974160027449768595350085158337658990112329531098771764590499229024136814099275902222592433609635404541746759498855536170480257630899213372791881096760280763763826172111638211580089548582190724836144131841499609486224555976451709891672556671868468942832215553962563513884925840995914422542980202523460513750692585421970900890140004701935056115783031172405123583978621565940436493112258144977074740223136049532686600386270532387987591300628288856279201314543737923968358662433410532489117872797476265625675885729992093744346986661214533141286240902729199338679670773137593646374255793074444257188231542606460707996790042461203488908702409166077762312894486899491701363017442182423324773395994946763153282990460920389700385752377807540649959500494295790877858692507396226396799122114860789081055924364073649137403947303457410203215054759831410170401213788252285501356896204892812276190754324248663867571616828698705945768088406502649530971049357873844016964413837049701076127953147552278682637626073235336838832502564373691194990445359714595793407556892328877861000234645343556085387154849040451642605504733628596576441066531241732264045055278850693840075381789334795157545749805043513454434138972024068849271468334267768061012756725992814237669030952410389006497269252640973847193974373188969018666165981422255406666584742994134251022555456356457972693850416437788807871189762461598906811009640076134228019596414940004596192264345884776096775808542268834489135553036371952377550999044802222160468834569238672176380786291920680814160871576905829181735879149582860485426307641100546474130066501881413838947255417483746340902327948514905220013802828722782429677980248511671041797188557807499407800297727999727791510193013124692432761132763622901819306345378049585816557301419924421154568341599736298533146695185947216472506904972060998644497442175470621020918046017870981704058961049273829563720409061634287601584832061215544118979261551683779950618791003791608423096868530722137217976631897970897941779360059041528058374331666770248213503231581607524333889062324405298264322579649628773758267992341538032761458386214670756774784270308107650454930648615871948127469489962246781666815437451830765562992612398044575641027574032409311381976148293966789711867062998477817766123770904950068418408325044940731886988282687664256324347807939416405728659563451275233546686787009433067409873436945935911624686368342996171849486629850176617626628922837822058152537853231801454711193846983166508128533131806514970413568468537706627977756206531166070436541935820422298197473211078742757030086323181834110357080085798099088773647933184680006173805405654623633590160508605777975098344461216898296220075545242276331577568246987983904136945073912663124485539074249616004796963238396849455157385727486351333655036984045562713533528382066824387536739539669564327791072072158582757375282185852572255798385180055608132187640375254159469890358360795890033194655113750289364349492642200897045164384736105679649214421534251179643042155454135864200414036367507637560553940914578866522632083706495292665804960806420862930992194083385648577791130254541010052135466790679009322575206343845217182179275207518619914528614759330500782354193357334722795098738559848176393326343307591737857672358446588935893281139522936059750438480700976562340907599372263563561200361752761058937536381344130943882355350420704144415747194523026567787248993900090054024110839184689918486052019762114619814093932343671725622623587997366989491316781704850301226942604030736340842116308436052345386929327031167852708770651969930784182894182670181546137946019275890055048039311310058100092195243950651130149394517976540781069594918340209499815614983752642639643689217878959666459001881301384500275259673834529427775112406555517657262123641812939774436150593108835063185586948941601571467959506571401107603158352242271696617080982538487548174412073014875725999475155634086974528119871647650463927234918749267813958079954051736642897877660702981466784616624549265521930101759356628529990900105680099358471861708714109461114086480455471424951910038360555982112142420660295674933063546169909008830440481729598413343181117306683773542628022484331439799840723937193224361063703692454203890118917087083890540932822897692564107669942878921937052889000084453268282026527866284753952864367232284422354855685418281135572695193636627436850055302798691805335265957054863392935850161505265108751490290472867469346518990215483848168615265317710199725228645676268897929520681265656106864728446064658936224621929312112322993089810873957523447461409661981675687390048148210652421908732831070769586827958102099193054702599067081831908114133233333671811822576573004927950087304892453481105791273079011810531786860759798992158217850133374912931180388035843412939652927519635340875234307632882566531296193019922292554438775220153041195341938580760335874007837465633386802616260339233428875663844542177158651841497967688265146728479916549350371540143292551509845251569420290327677382431706273305468580188743593986899797226876734649292665699035994411111347739287158338609113601528183386781259000728024849926918204401533725223042641976073974849845560362707736512719716274573039053855755104893209759351174850339300367290529550035395977173768736742108441235156075886039400262373228685669910159601456636878331814124782525111789080192868017196788027156108631354812562564234681261414165885899398279722872893099855000882879101372631721300264387916297115984876633036654680058648578930072079179807790226030444097540878107754951302066241241026892337664344383451925480040934634493458577946405176981341095443597169081125142045660686957893482561613029115387859526153574360490698095614919713739862454029665405154035701624649089942827437683557978606526344713306430897799567109495436406647474212823264422891876257213746344837130894877409520361676123908108829625107025350703587329627637496114205823000790237667238439437828973068737969074570078520612965346840022745820750115130685226930339315181934562878429323052720106079019729999978870961251340659331378289094505921676802135127797682747312968879088787012178349296244260565138848516522959434153191568740933136148278656176333001347127814704699693490940513429924486221772727190107121679304890418594752579972140235982588324587948558525432128432064208125054743155307195571629616817127354468802382460056092656997355572115968893125239285686124945569271335218307520676609694590544898930546418190769107944641452013019053725117029887951000765291168584428461938884835889184479581863134804556031603118046669310138141645492632225013835312318276735917997706781815421791407843607106786496965784336154702606210856767539376032632393639598493230143607161544219909795033160359603088879776338744765203934115973328258511248647259589273705021452735317166906291699624056802084692750855123979273807745294282039303692898277519232934113202189376240163921078474161011808567029082134056498214429402114100747384041832414346168553864691700003148717132452445468817454253097016326460350956346855288199536775181833570438635524286969586487019397617778157367569173634992814941929086215583594764726051106135631482168093891548870915950603184559990008649610892250009208760388596899948013406370130981147359473104937027343185599085447761461666098568128836831257872502921150083778490887500573283491280065476820990549797782626408771674205161042886971404560249428483267416938418911399278473186281741234262354226919714460824276407996550272597538514884530500716398060404616494971055337256357258894403407937860259264331912151935201422471051740311018600024918072392709876008837725933528343009194047167351544273769382262316202936943774337226428520072561876404163871016024614924577770478249978134332464436960087117679882055192026793910203797557582523757164200578715400594902591841959529587540077006616080675122385452123486435293341179919031892678264676003940200563005797812968161995532998984153690118713269728096532112071032514193236622835103209659689268863300895002041387089716326371010766731256481314679129431527999600131629602308483720709833675561242768164946188849374695519191353791413886162630574528028692303482222315360401390173403975068227029229894849504961361622438703867528021667501160322144023919433305762171126032296294022771990551063979298104267625158020365720310018973869538977113035327310358974317782166270898264290159227137712744659350338799247771329580994390359515926803126614316848912327032887547841345013351788405875448558395916000539678181609792476902541145456383226767028455248473648154539435854591497241020555784072778017708405644999140418031040065235607851887158341205575884107404550575614350717093776325102581650716172608427555089816912288172281992146511610231348239017712676567128334712223190768483903614943256229801734423713239659275202919921891976950012724202098418354637092391453418926442198268545343763518721775107428008767843200996521474659723231266898385528142159089374456681153094648362900828425081275709479900599308190784225665873657787820890500947328098200055825482147223543132682785588804212808338472232279282109278123745267413486705136296318687168487212993593886165870577908747721749771979715743207850184813928794169300253208023330304880480147394173799040731682469288036709431191898949639807828535274809926027861775415556461582966997759798791406130180195861088681103813280756923690204628221693556027946183397906744966439047283756617473223178916915821161778997949101193288568833324095047290220947105607397187568425303470468363923036356097162929386906787467138950951493445801845634819130632434667614915971590892093574813215509968994163274613982892137238813772171792461784214057124285467981627011180709789935172707960000651642661772133401544289818633494980599342543998942289095011039961772908959663588690299613668681921252758290951603674987419110293828705340523232274755349135423641976997710869890185526310998702802608953569697320886601821341326621651145059629344325122408975074236205739423821938811622731766292224813237454914975800523665243697140837895117548965075507058676182407849257685879457687507919174473840584834155246274890750444931824459924719292979994261149182320478265232216478673897626860612084677945218783970380913585546537393956745118568304747242717966637114846572652239979876762055261760867765308336671899724463542212645213602945705929551922471932989763914268826632222464977345030494086390644905300732026633000912062879406876369719898128656460728403283459383326786960528826367431975129532160855505848229337399708807456128962992770875390789974540002246907804700652883189276510669229635048617508504122025738092025544151143304527871509264686153273223756713743825954623842605826008476983836739064592988958282688305695700687063097803664435634039498807594579021440733464457100501851376488826140819301291531649699981025605245576118703294278920655875266476924108026266356523711825603453150445402933777433607440282601227131748006849361467613451456317403337448825528165879666375365555731122335717721563238003701684922300925900840208747873146766852616729032604291367362436878194288755764196050051753929412866669373735810361891512562561796634809050180417957835796138261505409694301598787299349674092423635324948007209596524270581333068341569095309426912872967519892851623503923973571844457901785428689846054457614031791081176477351138681410714661267961671904468260174336971111029490337233299999339826900949867583541947350826683478935540438753135432202111877588622027254456752660142859833455377287537473222253451234424333696084957808771506738951876202916112855121600675160220223148678218944274080543448878104549055631492344010610617157789056051056600328454578371190555752941981037079134523772044274320714488667462209780068141965736663414247698351095496465291221285977582456589845962036431864215632925127159445479349924783274153119914447979506157476941692274864114896970795329345907853820776041497831296169412251653698664087025356559390632414208888375596704385947816087565460619437611786512000709803014059947957175033313200283107137998793858399315692278647039098138690916007500328299607845588069372734740305178214079712593467720320521018360021355508800050829936640517587393558764267555446886020545731055404231711358632091144243044524285736099483419993436590294037032600866480642854829284853555655491824669836245961349040660461058688288700056229469988657929519103363938977125541573503973927803025315381028880042596812124984925011651712451896485065451615302314320455907579685843092830278839638288531076974456231717420474791303697519900103799233348839934908091488424095565276837156635965901163919863712509964620466111334682438861592896250442583501052636692453503744424264043006048561937293679617709052418908397078339621531866923759237009405961122382489896617977715047939497682396695

Offline KongTower

  • Jr. Member
  • *
  • Posts: 35
Re: How High did the original Developers think we could go?
« Reply #16 on: February 06, 2018, 08:03:03 PM »
Brute force is time constricted.  Human play is restricted by collective human knowledge, emotions, and physical limitations.  Long term, machine learning will yield the highest donkey kong score.

I'm pretty hopeful everyone agrees here.

All that's required for the machine learning to beat the humans is a little bit of economic incentive.

But I agree that we are getting high enough now that we're going to quickly venture into machine learning land to advance the score.

I hope that I can participate in that somehow assuming that the human players don't take offense to it!

a reference:

https://www.techrepublic.com/article/google-ai-beats-humans-at-more-classic-arcade-games-than-ever-before
« Last Edit: February 06, 2018, 08:04:46 PM by KongTower »

Offline xelnia

  • Global Moderator
  • Spring Jumper
  • *
  • Posts: 1490
  • Stop using 0.106
    • Twitch
Re: How High did the original Developers think we could go?
« Reply #17 on: February 06, 2018, 08:09:07 PM »
Brute force is time constricted.  Human play is restricted by collective human knowledge, emotions, and physical limitations.  Long term, machine learning will yield the highest donkey kong score.

I'm pretty hopeful everyone agrees here.

All that's required for the machine learning to beat the humans is a little bit of economic incentive.

But I agree that we are getting high enough now that we're going to quickly venture into machine learning land to advance the score.

I hope that I can participate in that somehow assuming that the human players don't take offense to it!

a reference:

https://www.techrepublic.com/article/google-ai-beats-humans-at-more-classic-arcade-games-than-ever-before

I would very much like to see someone work out a similar system as MarI/O, but for Donkey Kong. I think that video says the program is coded in Lua, and MAME has Lua support now.
"Do not criticize, question, suggest or opine anything about an upcoming CAG event, no matter how constructive or positive your intent may be. You will find nothing but pain and frustration, trust me. Just go, or don't go, and :-X either way!" -ChrisP, 3/29/15
Twitch TV  Streamer DKF Blogger DK Killscreener Crazy Kong Killscreener Snek