Skip to content

Instantly share code, notes, and snippets.

@aoisensi

aoisensi/gist:4224726

Created December 6, 2012 14:13
Show Gist options
  • Save aoisensi/4224726 to your computer and use it in GitHub Desktop.
Save aoisensi/4224726 to your computer and use it in GitHub Desktop.
Download ZIP
5342の階乗
Raw
gistfile1.txt
; SLIME
user> (apply * (range 1 5343))
4528693938353035459639069858664117046152717116509109159972723106079646071123870962497900999214855212898764709371559162646881385151241216793135199399366764919816457202369460535753920298458275656867710453827734421207566261006218600740373577652444973600648760281809477862908504684038965143608879438552004332103600325432630548557856124485170342279213547190370111032616673744921850612652355568399832649746470587076859972087430035938284736828201585240337885066885969689050203701994450943162624138694924849177161429272757427610283345167353117042444877790560872542430755385501252847059026066550471744795208038417803747020735930157777894805784985585244161706297289535376450765029618127858614456792721237650296724009771078174419381052278059264348739260021435603048357885396173925229309952755498187910947717563416266640420806728493280134378655936642487461078031530216840566255549342686430043257865281361214792723564233045568386594156349497293849644592033526655613938410979993572667874820976021645078080058767030887813676480655816844484812494321096482725752132065334048906900413903750242900891820374115797779902494509696981448447479484789638656859699946794515718863750802551569304246072305885580969652054553455601937750086246452791584193646521457040072938706453132533609116262953336148635730530406559307515462445440411064504537210150149958330134963040735265841200540012942869351338960772134460130586707821297060006519434088531232520481783991507343268899326726123720594168119350980481948591282792436408295173399468750081033545680826499174740221278626444517788629471913770690694899971498100199832937929669945361556376593065533047496952920681699026270578398980754900347325858009928434363387792571949038351418655606461533741050466370787566973426521324125625216412084232345623824413768931043482811139476330939635770659257864521518895807909492660958520059434028079258664394759857623312377969035836822384389619701590048561485519693168411660985049393812034335317483043072833409738414552782103351523970052346032549176628868725361356295377499763772587046384574248171110938320699258004672363654944280492923671196035819338557955579947469055142240357442996386119656402915356024249806879288770143417094631596930048513026084970634498902331969733270525689501679673920641783017795324985207373105090507695566692728152946821186861072537034522172929184842003353332102257024787423053729390368576038276698604450918638658261543218519925776724621726361893108678056460231375300542383659451361081772874052641922877543399289357761664061865280271380342883879423213502192430611890152539573524465656567228444844098301640659177638937206232123210915166418923974150386585288009960676782587509777963962542098771344800575903735353826483851118849722404636713400335916764169137750550282067321991375811489518369733967237937208276855756394288613066087881550080904411281339284744888470724577708354693921337570076979781055423616916933980622229609682849883048326390240761987685442543287255864111001456312266743642155784027551910277080362762084011826720467237096912893456374129770088113037439701018571796680770541738022952241488761053323188828629653120658361163945162629097547114535792569751683200008065184056090827075316531693485992438635494874597368698695822874240319681815886480235451665407508347120716772666447370756987738988471587164964851005211761943063782866904203139337464399345480332023540035347125768273633183069267241141563588102805311491469496444925499449306490194457879819352539960491034868608825971377456704798072897762235731594570040231001420227468998894610680726561830501378316157228053967898459424557929647266746091232006598197737213306655426008894135430386229555846333098047185227839291765891025371824922726342073822911212095744920631972155229647166727784630682098121123843253726212628152223833180975441792775720286431104262433383772416056327820926940321569430546290804085378554296260763683945726429025242094350647445107071246113056706647060126235162808190609152292618298678014624189402939335712908693750845493577408590057671670969282547570007975068457606083453665180600212150266378527453066086345636924625369144961007537448580874840792981542114926254936045854509403768878305003296213445784338018600632881610242134609902976415640251107890013756933573466774877493433540308381949170848457592362554647174310550785697087618260169818904502063669872407792087453384707581522692585670425798163953871672024243409737971602657554095243940844249107548833989219290728714070437814370822059099454051471482129500106593550935725074379644713000948289857284259636480903781444019689664504558544927141985906959492297401112230279546770608494790518677102140755576194191727614375870181694793555331864269437788330956883984265473883311291358376656680542515290158388386544057669186221046601487534203047712327159327470598718541020136947740205004992330756531161948002454198966318394375331949790778385015679162668967530306827488636602695405996190715714024209880459681232582729762442192517984036459896187695407517537158412100043717326890910529812825189840702813557328488259018925671285383184214787579025300559013283224140110937448818970172282945618723604136100750821537396181916927409747996861667968978274307298670502596738433108042501038895914700272185406024791487905982131910444389563808177914979583028929856926741523643443847545095728636243077716171139184142979033069330161647229013062883360368300203154559193678151843696438118729260933096372486704411181297534366263311134370702519978683719460291700697580728203416866768092158671253292552618176910262933737457963022522099885948970276962276766396420609786633391210355306988371055780874069985172606326749782617071089320156606473164101345255505487180687502785130244599966472762492264069286822646291958922580142870607980881171096464530721629633220840214679496791418062856441205192071652315634225121467674130235659946726890036270168532951229626794964280533127717592159062564211827528790138680417274432723853910596417905414271103924610280200457891372703664232107410593506632230633169598508432542323704034008650974315664932075825748107953091578548238101900079937084948579017633899060714599478444582103482762873340516239619874144361118262963921957691153670259483953025850806436302324477561940936378792369912817841097228282590049913468327289257022563000105913986442081301878153354642658163315845689657830519720430667110014772458588965463353322632111881199048891509750368756034625755948871457932299365627559966887209607363149669835119040995923218233549702327979557495673287954942149529900862085821124713186662782038354996547028614836075119165931222488530328624363548136953350155503211199434299073270011894556818190724455993825355287324613188118222828550862731206262292083558771084788258196641476762291844066697850234837375797448619885257698724496367221100569579075174946884084094132502587192027859211841465857952408712332692710574297161885148672804275195870310249627233544471106758639599295377599061050217098216265289770867830589734683912726949496721750690533478281094494451050976547933382043137332564519049911311008706098443429526380442530282175673276280585909167148699827949050639781308628645922788079918626902903683272243880408506112417079698209117987859448608074829386182897396953525241049169938718537856215230319991944007322449059222245553614752132896245234062890240203025691563918618356575798663277980302481837452806540013369460293279418781000397983845031281882911185277795173950434270087170029190010667996390363776273608296971423046464624534051058319313066881812715185099995359919672845547658250653700118722860696163261548136444605373683393167753744944106007507450214633227347281831609979938810778800364942675035974811411892029944382407373788042499423557432938519068650793310662738244179882475444376857347997410826687035039513776772005361203188900328451831873460669341172282193502573962500102211193120239712128649864923728744800491803755353467932250476462734004868573366728353468926422354228504371321701256661317817806803183856168772867479571413782673929925178619719044630134832209223907609602908468728614736047223331629096966233180785243524606025094191601384490311040734077891450265742273562311554384053029967259245404912446583266701289683657428739927815016006869410063360420166330403009216319769473700059665256049799306573717272972089357080381112473808408532986391224787671826432630470778653050349083912460139717009345722148260218328173359250825032289181930621416287776589270188754905459192983964172937502007222326885587071515857836413358034184699057999478403720928464009627473524688810541811147930226156696204262527372027677187789428695824346230629011765437874788096155117497558927341409051632482417521472867497228543320994466788560438836041313427548256184136848381084823307190399946088532927433054718859933931829052467490165671777415999227662246523565341196755983691448485162072431675992786578434734572373059813753174429645236641402515542298160071754488009501637706720871956818778440444497979944911558179266984674564304266166921090677294060651875747370457930347584768055268664987779897751220922729976305488485911678835697305851321840828549643241292565480623828835294327376205573062767197764911883021333437623100013962456055934631855593222789696281451960590312710261323691258941886311252524691852608661003372141588649467016229501988831583479425436775280452718702890697792504982312509325366572626978815006479044466936985606191861164365602461333470333100166034320959131324104642219930252352484355196261083152669273412531678143010151285436236814172948015653365941473199903336276176325187986559534545879984418776011933822355409872465471565221394401773334698132951994544530966640824522504434006445426518877134045199643241997683142405297432686435600551265357024280272189076159142612431129452803830145148250026296315127765253620601278526027480094516446124486906249041291557874003178091184583012480822532995840626207032210662851658942132151123156344177164954887463482231993652209412018678811418069318782394469678970757832208397569646727764038317428718766061400091413383324607398111215860819057738446480015526487987912885082160079413682602170854939913201086023117474399560492379813800374622258109707088894259641601172706437061921361733111944916658428132251504244629742229449880152916390095214848926715301542603362500372036019457889110491000677194794929335179182137827236586717623333050662273286887132300135568222587665057306279878541193097366610641931823712552582528566011200186449613580652295271895368471082945559252422325887336115773336637733250821036982946616562578096149586354246224787279064653270139392877010064287232082155048342549689317390426973921143141854528944000765602132052601456498302293181085666076412056309872730362382196584634862898828667975752469292747998777440620507029934711960854881584319452598496376835350027063174148959475064352739101495967793796465659296453639641188863292824774592324217507145745833886770196687698380237592644008307487087820398172926920665610216509928053289078131850449246544712350725861677776628302675630970855471436675740065629162851836372508605428627111981034708851108715355875460547580010251049238768869032069250002431600835975500167664988533082784253036209102403552410499922881685227977854371115536137822631731365136968578794648610068246584185404478412976175722248622848372481588542747678852702700532457960091476263573398914406002544295200073795441662406916330047212687671015606424519007530220555170002532117531429629717121784837589571589247220776899951549342971792455072552611416271638013271047503125850138616790569824883210677162628667594172251325674594844805936247508166389901510760841619952311063601716442463184646818629907748343816410249958379501398369423189577549357024292255441240380084006089371836147580890732702729634509069402869705779995301489134227401380269613976966456624890107968357349626608254074655310051872224714500944127587203935245450890482267017436831487517737357357217933782911145755969705502461356045683667603766055912121633172226269379087699963705753065486052439599029518063212237930384904488296234967490473308867141717017419598341319916861680357812121542966715934675975437893369522724125042549237225455369082491001882578293583230989905664103018872820626925619195989297587809401894748507202309326682882929134874466614637508757730439475967690054664161342006400504424181255225770255564899185495897831581032763762087742394198705040305526261864105216576803387445846756770726422103192558421112584950329957617918193964315678846983036300268559616942698441146916916062499233799927350968892778307291060384062113516787553322559200970968399202204083457867145845185126497547233094595708279929489025129432001087617243092729940491708639911397931369187090797813778132949683679635945212348631994657841324126068284250502506346264698406228313641758804154772307997228622583126884170269769120368004727078391550434567531635132903946120707419467483248682183487187082766556308164417894220048353545212783170841305712503608295952756939194027110824628269979116080855332820249233907224821637348565300125039528545330869136733374904880955601815131163538850788818046660964525125639752942797574704406101569646506756843991571430399616106424680268148080146450962408762474732245671015062613931715304871891133285700165680736228866830614591567486115412901669809634109184201855743916742528005217174904275989958314037462200941734391955395799861614127005319213825281900103764844606571229005555483228808402272141146550007344748866486545615101013881433839868711560041655976652879382157671363268605743362336578330076132355139136828455449979545397820481153088396417260697077398961925992188801689458702797298394974617009140652887529028021712631717136772545688002385072997809172835012761875332907536605864826160996625381649868385856220964508099018257027774412918239212441097112110498971513517444215623751531539970268485319884110324548232486845856320750598142976480061456238449956121037870166381512328257360942839264069501806718109449132751923411749683566517537204578494230657189906605919511101393611145516064556555142554409143798770443510132548885159408466736611546111759270739912255540533249081108048378997596683283562958441705801107268634738833428054176915633247126179306225719516091171152451906308196825411564161221317285608856740349684217468143942395849600351381518808787523719168122296061692422869995594040433472592637087399236907668621194142007840521538644753476419729516852613492660925413385545163587380309324221914481907991881257275783656483675798328595719002894378960810274697466243189463801997183027624200262158804619981462320685439046847544388305912997520501779269179784043380394806110567270632922251462909448693348859640748328965633162722894567269242515551096169211524741805887032344882518600286516674207240757590518036396912199627310005350253074338876791430382911378404294525593165498929903433587893486558198931159297852360113159239928159378063587610313274920931686025278382214565016903401998140992328762943193482964556816687092870188633892205703845252151335605131261916682290553813580965653299075156953513494465301406916496986859590960732258967956643227526326446463759327048832140979138645427227807898037228741908224932948060153973660280190346430301404159604989234550718332990093001525761670511409973738166611410163324809897621917078593116374890239870252043261323843947716426654791302587138017603948808835745166240397203148882209233929972645279881857547544048012003878139999469329852529621063325640372322387231734031109977997220714007771895584594226032150262136104771549636822481311256936071018943519609681563316056311769403702745219820399263879944102124279558221518531644149390115095721166201651084330042094692395776367136592433200153293875177236887007121182516738221326614299260730788622783234583482312930221005869549565280114460177852687114271774137212602230794034891939718984573325616318753400397486230531594824578062711217945683587585041176207166098438024429315950879842086849996367512945411400416868611083849400328649558535369364292703861047234172647290962047702889639057675981525030758378064954213094449065033742995087481017591917981906213851419701261147066368067990156956657261206674969375189350513447848117613855343902129224795823259221588603921994347406180135746728864403005721531067190674385327502852141010558172718028770402380540233486678661592069512052591890183855042695469863854922757973849807191299003701536250484207920858900105825091584000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment