It may appear that the following Mathematica execution took just over an hour. In fact, it has taken me many weeks to be able to write it.
PrimeQ[3329!-7607]
True
DateString[]
NextPrime[3329!-7607]
DateString[]
Thu 14 Aug 2014 08:03:36
15015905410377990189612669728734416983623305863211194173984549864118912388614580813647063124137997910538082896578696443428869585291166176049551725545323619613247036490118670691372109371002766714784994640066135388162033055349621680311652435317541931644391114409952234156263908956775470653899105140924947400093330839839804546566886098947871580704800358703875896032243051062750594829590002645279915900517541293263702329765087215432815094241693060954235337839299957090323969065518806385266477265191459751472884324532373143637717234024009643597958281320271908345806890456895205227477366523110847604195929204092016300135023471997451803585110949233566181466735581417716495791896633922227547993640135431551957261121432488358580658859446738751102266955127145501461655564274215743921329774164182560773883535928923859928623997161281386873450899829022827207791609975077260505038324222182602036918649148183767166658704803906524987613581466322117907848171936943276831821376964038916006583422499204626298527081536155227098013942804257772011873945707081139954946428432796314243287864539867192889002088474220653113939262767909977843118614065596100525158318722437297244808511563252129894837185130204981906967470241971751053802841530211141663068662899843720213079867239111965654743779578216120280795733607532383934869566829618551012793251273877554076724502727685976158947950141105949105998628073350927074843754946373489924711282077736360892286369244279778940154812080055330072889475133632730945251644798926678264994198497000992008367717165132808168934785538022596478905028659057420416930567628708103579201145411632305879571078004102460653446380420754587421340701976673333458052068783677292030907456781166992041033853227604884045593985070171656690841917913386767434663058479118452860681284187827048282376831904398605646930051779380911926083051243238455870789275047464245298483271273587903898933743766245002439773172881419876698965849052031018467593963443053676700228214015169134222272062806393035636579926552904633221081761721750145823969767215320529290268701195654553582118809223232013064682937219611566989489148341352831033573418489718988963993993805180906729957424383324212800307148720599750226879494934765856972359660969425261751184149927233027360180134302879130697258875023207844329486751133716567025046003583124738472466899864638004330782854059337089289407398001945157970833338691320373787690787404398358801973738667634465389535587594564920681405752736888311729288272246605928966188557205785691991582812355266808177731327720417562922628147355990730291178024360246732978013628772377136439127156873731248096049600312044261976700965111637819443213683959071375872377007385562407517901374496065791398470908123128307172951685673964210294957748278324201913124374729962664204986302046111534390117942176782243884596262173616164570288711883087828143613585969830142617917940280965919462026407378592510796009217969597008566076229766572343218297868592522669735483527148243498594849361994602293289198078993889348199637296250334805245579058462482111308107426699517465259358792026716200140417484585776804584548583314915343968927754960036162463616241901324430769887203952214802182627959756314445982649524058545311882983999817506462539579403054799862166728589699965459595870991990477454573070360170460041592709595638178559759526185045600203679707267061923408643032494471030635862149983001990503501730690328336124960551908452915041292337581166837138829730178563626402194012313680409767407365529282594987058251861780629567748915228518807383123318556374750937396657975083779591327967943714152154031708084505572098305967040376312526574836658064336135383885522606380468729894197273977828913752002803865934866466084285902953586411476778976985089899167264960569336939422398346244930852202019983334892586386495084115977657343620760816749779886343559438100565067398263630336285623236852512608584848800379595081341663186071192321151990086732363604874257861770988096320978938181949641606264428409380443332636396632465601760606345384780029194243703020573863877365494050356895128710868090837593220445107522893493893198071574776656427848807860183960389256911014990675661921782737633755328058787385898107233714759984556019501248961899288732375240085754014381488919202762095781925676758015829258479348139284759396510731176651509365584251387608639622431879559280845192290535282131606838274408367717288414369423342336700514311757285373699847184742654453078953299536663552867918172295641752756713068488207022447052731729114606154499330438421861227323385195220807906861290851518445313496084054556664268969785557013526231921070169876121224039336072475628070498166383135566735553162710572353048006929601597922923678245925639836253997969994846638653526816282355145653404011655683832008197770593435993335541862133880574772037525994988372621711297467288289070241202104972328279553278766035547237128167481050565685242649901692721364948881010613778779764033462123023908305073504835838647614690148099964153342227610659482874003358958411030166863606333262359230010511414191735468234817789298299655171928196995652083706341602660994563356314563482447617122379444370396377537929940948943284135871627476372041785984642322674872063758150499414983096445898722389677015586120979386071623238828897879018447602678967115989388961580673958960353851953433108660066698782325086103340568317567863379912544991516964358719586166890584022907716850567396482823811305526500274714494823325430440489179915720913708027898605580898001782376135543697199628430250858299583512037323773762134873570178584745428726250067179357758688705471887887340263385809439614198507753509900053792709821032425020442492536061212010052574437999625236827609795616198698955317541733906805476934753109445521190489388898476029253408150796277324255727000715046119075269401005306203179253641183018599648293331481334451610657373443031874105456901651875560389740902489261909475317601748404884775848793928252941780192340629850819962793163719390462904696923653270142951544693921548899645371151446071853260388953858838912554886345142041091103703822537368197553699592787585376909605535184290553858424329285664124954530633276749531640696247026422910688771913845137286096682754378765797072978525725971407205786293126053789628927365143692269415482971848132504731559702300392115922940567975304709764534746902865988529083393164785117813703620050845256694572182265960766806821713334259078038698921260354869190273247794870205915573287232328271335855076808072868989105578918884309150349274618965786543145618641219347442103494344423615422695085566652655304407088966987003350369050977288276766098522076770509757000041629387371795109571031697768434711050344533679821242034304150394622556358508575005536999394583896809130886674299375938628340372955412877085389058708096721364596024598634419843448396023494076636712671663147082745251333041933684554871103672835200733397475262464797864670794327822431189491241991844260236761220168967942851201723618129124654198294786705835543487079739735133737466465885085428002985210591261115415468332160567273208057994002806366384062123980294737608213350854700544550565804605622534310791675823445881462313767804980349173692532089220245260034368870103980082401944808396759774604060034431904809942399841784105822015397364396327055358894228911084444427798509181351268617148251236507817110908420040416801396135488632319106032661019708225522052681804815557704010070519285345354931446658229747318327636876042435176184053210980244599543966016635547921864062761063434195581928872851202888548064785370683969198555943562246542332658232084433351964256995204113375501920994424921221086278575103163858456599485041898228231295007593149099859745519137105113837426596224033383540179805494236996713974190729340726564508987351680369283478195552760622681652902109787935962286137417305340439997381672637424838508336326020461172922655986121065696769800540042179494917051931014830771629021157942344483179023261898923584241875436279585468041564399563093799264109073735917912017025075763988680731407929737194233976971333821965366929862475565379529307098109171259250859715355290579028935884671613130497431737162360626179703375256450069401672873280990624453648337028611319079865701346093542976061721058851603039038548222576781716251357701827481725296775801819099076740489324210092642074165467706442989923207483835083609496224970162085305357358969429982605463619314334330666557450489264257582086129144972908985501166548296361536443127789225567942185691911913402140777248400230715242443889236237295209082857034558320518140409980460634618126961581507301324221831889048996674708217156248685693298910854257802185723089449727073830174839178273871036262811420993356420678446902348431648187544400758978674818271298284996546704182461408199447970238558473309119358992735027659785062624673188867990941662669528150907948091620434453418825328248212892669222833124705638431069541983473983279852845261484466297488902684500492231394565972777350649301143215200728660386509645288471650199245674745628606998779833647643355886217512954103443147753673954711720985748686945659036835297743469701425399689564453479321532924542869703352964606178915774358081298811157034793270928766896933701700199004069298128847125423036988322237569145696666313316174832133059472424262574593803401211044014225967221297648882868953851847590931780595972638382849961827312004523030017428073406850761813192384311813515865598497296541694942338706020190980104389963420665952768169245938942762017327989803136972639943891353600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007607
Thu 14 Aug 2014 09:12:03
No comments:
Post a Comment