|
#############################################################################
##
#W factorial.g GAP4 Package `FactInt' Stefan Kohl
##
## This file contains a database of factors of numbers of the form k! +/- 1.
##
#############################################################################
BindGlobal( "K_FACTORIAL_M1_FACTORS", MakeImmutable([
1006789331, 1073916751, 1111658113, 1134403433, 1140656443, 1146407887,
1146874411, 1167142577, 1184888071, 1195064903, 1260687781, 1269496727,
1314341617, 1323864427, 1326314777, 1326485929, 1519309147, 1573991401,
1581808471, 1587322951, 1588747723, 1675932179, 1784928997, 1836539387,
1874664751, 1927941391, 1979383639, 2030928391, 2044151323, 2091600221,
2168466907, 2270692909, 2289242413, 2342979451, 2343324817, 2348024137,
2427406477, 2476204039, 2536803211, 2541520987, 2564865707, 2712325789,
2805982951, 2810244233, 2830081459, 2838173633, 2906354783, 2929069651,
3097410157, 3167088391, 3339546779, 3343239143, 3474441923, 3570539239,
3584315851, 3696858643, 3785410639, 3827823253, 3890907859, 3987488293,
4237207577, 4354131499, 4472952371, 4626856337, 4875172153, 4900818037,
4904875259, 4931514821, 5407085213, 5495266979, 6000724511, 6154980127,
6234836827, 7041393449, 7798078091, 7995547907, 8196568201, 8378865041,
8799516533, 8851503527, 9021572407, 9313474991, 9504224399, 9629463887,
9659979101, 9746348431, 9939771559, 9952080601, 10621559197, 10627433371,
10787966999, 10972949233, 10977774421, 11201620673, 11324858029,
12154743613, 12209084533, 12441402821, 12548932379, 12746512267,
12795919133, 13257525451, 13506494051, 14655461033, 15077562611,
15444976889, 15502016963, 15560760827, 16887428617, 16894558517,
17371134509, 17436317323, 18692511599, 18697855199, 20197507147,
20805961087, 20816187017, 23114065957, 23495749393, 23660535601,
24000245081, 24131217133, 24233257271, 24823473209, 25257305039,
26714341469, 29009496401, 29020183861, 29888872129, 30695366231,
31243237523, 31301668907, 32719722509, 32901714691, 33127531693,
34021254611, 36325750231, 38141331083, 40748019047, 42216582329,
43124771101, 48877962521, 49354237393, 51535300067, 52222291063,
53851038977, 56398361989, 60951605441, 65627747849, 66375876337,
70110259679, 72813468997, 74545641397, 80324620333, 84084558541,
93759515797, 95076270827, 95460461669, 96189985121, 99950129179,
101330948519, 107095026893, 108407812369, 111730091441, 114564984229,
121167937399, 135862406567, 136333209433, 138213297641, 140253792647,
142056047801, 146368074299, 148257413069, 148779362717, 150555419957,
155166770881, 160494745883, 164521736549, 165231130837, 165535904147,
176062931743, 178221766267, 192303711139, 196864545347, 197098973711,
197439697451, 198718853819, 202116191549, 216117826229, 219395312527,
223517205259, 223734517427, 227871571163, 230052862909, 231302080099,
236120113597, 264221937731, 265523263303, 287282678119, 288728583067,
295574889899, 315760606303, 316793888197, 339404803993, 341584667447,
342861418069, 361217753579, 388784807461, 388797000863, 395446396669,
399276571717, 403438838941, 414299629571, 432094955297, 438543326009,
439414027069, 443063400071, 446854608469, 450688111583, 467334334487,
473054048333, 486676665551, 497441582569, 502186962769, 514724827367,
558388863607, 560267903057, 587254335823, 612038098439, 619056193159,
625793187653, 631520442803, 730595866267, 732219025067, 743094098309,
745463053889, 758543185067, 788285821153, 792329436403, 794401079561,
805510115129, 807281173211, 851379151213, 901233060773, 946837147351,
951628008911, 988346028049, 997983975851, 1048668380909, 1077300360571,
1123071567053, 1143789334777, 1187061746609, 1279408655593, 1285780181453,
1298793158431, 1300178958359, 1342445005361, 1359199868881, 1362150039223,
1398352561537, 1412350716341, 1443808738433, 1446675116203, 1512996890927,
1524646829711, 1552786459153, 1597009693297, 1638982174979, 1656315766873,
1721213906371, 1723434462179, 1762720434721, 1927076456633, 2077614339113,
2085067923919, 2101520955571, 2107298586989, 2225381414233, 2364377252749,
2681632306217, 2809464566891, 2902738834753, 2927200169659, 2940651566779,
2986021249553, 3044347452863, 3058087446013, 3069708199541, 3157311100123,
3312000043153, 3346712988797, 3388509309973, 3425955554953, 3496116532331,
3526480315301, 3707847587683, 3897810954551, 4043346666763, 4113534101221,
4159660695629, 4224758601013, 4283936619037, 4467102688073, 4523280465751,
4725431264929, 4781081718713, 4945200627833, 5622569042819, 5845361496371,
5864920585847, 5985310609393, 6584290605943, 7222312856047, 7541323172041,
8120743270259, 8561211498167, 8890241971657, 9637359160553, 11144298156709,
11548602744761, 11744158405019, 11932900842851, 12115241068937,
12525383884927, 13421883768091, 13840355860511, 13922748239921,
13952770586273, 14564948326339, 14623142881637, 14877883952779,
14926539009247, 15321587850461, 16475410387661, 16484738626289,
16852182574309, 16991946017023, 17306892623939, 17455923993043,
17510656134809, 17650207775171, 18149085244573, 18602391770999,
18664734014999, 19592941030043, 19893007793377, 19949663277967,
20349161688719, 20460120498313, 21510218535451, 22358253673153,
22413264518063, 22548701843911, 23672912537221, 23860691807737,
24679808464859, 24839854441067, 25184168062957, 27045534180607,
27551227906667, 27676045866773, 28213797706441, 28250028921871,
28785367609811, 29117630649803, 29695723986343, 31727482666973,
32442129901367, 32711166360407, 34037981588441, 34931956380023,
35793181936373, 35877993249463, 37566735285011, 39081142224667,
40046322031343, 40366054858583, 40458298391029, 40586955883343,
41908554250691, 43245492056743, 45353623723271, 47422667053241,
49253955870377, 51898094889863, 64196736426947, 64942321565593,
78529877697311, 81146381643311, 81904764252911, 84597893773559,
98730324628679, 105462119061287, 107782618631003, 107832727526633,
112799762189713, 119723002603481, 119987758039453, 124842886328861,
134258645360209, 139815142111087, 140125939686871, 144152084971871,
146319770634229, 149269157792597, 159610989730649, 165944464269889,
168175527933731, 168763482038611, 169785678706073, 175077967898027,
175665895092419, 181871750999083, 198861627411613, 210471601552013,
211996344974251, 234884242999577, 237329570395553, 266448203286383,
268210536369731, 278695265308189, 279601504065761, 295643814828559,
316717622835763, 320370730031239, 320577203500987, 321560129211533,
333434996390401, 349374718915279, 350127943929857, 359072460921533,
370071375566251, 374912712025207, 388335263096857, 429407758526771,
458476324671361, 460986220451957, 461023921783541, 466754445505463,
494803144423249, 550401729150319, 550979186802929, 565310453158799,
571521933856259, 614101605827977, 706669690971983, 745200121750489,
893736200671451, 911944012355599, 947993335296017, 1018930285985147,
1051008693821299, 1133342478315709, 1144940673278267, 1174419608468209,
1192423201745527, 1239197991955867, 1248379806881269, 1323429807384907,
1407416468600333, 1455180020327963, 1476418473811349, 1492781071753919,
1498131033897203, 1502204898703819, 1576070489916983, 1844246613604511,
1848194882238359, 2275708464286597, 2283061147818331, 2698030203176081,
2720176003025891, 2809840902017321, 2887178599039477, 3123866068176899,
3129641389936669, 3215201016169297, 3724863291360811, 3742124538336017,
3892024936038887, 4308230742051329, 4522527920462053, 4835000796590581,
5061408382152539, 5510773981943033, 5727742836680257, 5740845665127577,
5974618380812329, 6300377987396303, 6358883880600169, 7070144983415467,
7403513695136827, 7932928462469011, 8035604011121317, 8134498095345247,
8152967347575527, 8224307090981803, 8375728533102409, 10074237079293679,
10596188107801343, 10903117886205647, 11442710659245161, 11483646638935817,
11917504529976889, 11957283597371929, 12141426851181493, 12194579365296637,
12874964001231931, 13777345688887723, 14592408208775933, 14691726049973503,
14732039495173139, 15544967201478593, 15824252755580629, 16174223568402499,
16539572570406217, 18973588498936879, 19522979183488271, 19586675156018723,
20225690517265213, 21295292468844473, 22501799575209259, 22647447907677007,
23201995004074693, 24133874316950701, 25089189765479779, 26725241181275099,
26923083954138371, 28335195733469837, 29299310136713411, 33040622219332757,
33064392258202969, 34968116649159559, 35846727323392523, 36755232554995601,
37736359639980919, 37799309610253967, 40109775810479693, 40157953729306943,
42801409792933403, 43045617443870827, 43859456780098367, 47301243848126071,
47953545047771551, 53354685457192289, 54106663006768609, 57340754815612159,
58595462036840653, 59888119631523367, 60604273845335477, 63539098100897207,
65092398534211571, 69949547102918459, 71907484857881021, 78958785391722157,
80494926344051173, 83643448721801743, 89907499708983113, 93445346740399729,
93865764202585703, 95639570878986613, 102747780263888119,
116389619971193759, 126378077141514719, 134727069360646123,
139999471220739881, 141059753123416151, 171832839817277819,
187949671045778309, 189088178519923097, 198068268136236629,
223670204279816989, 260216856712221527, 264154566134488903,
266924337639576941, 270943026262599013, 279971603362503361,
314264884421286209, 321159920984703967, 345469640097637333,
370589411702702197, 396459994504174187, 411748451800548169,
437544327517951211, 439441248600867599, 485418322264128403,
776158097768544581, 809790959365397593, 822842342741267531,
901733359958261951, 1087140629648762261, 1092482278925623501,
1193084064348628981, 1309854409490156443, 1312828587662078099,
1318261066252095131, 1371622366097666677, 1425961793639733169,
1556151131905519619, 1583408834147007349, 1662730817761212263,
1666209404233585481, 1780667644614097259, 1990086482671125913,
2038657125518667569, 2107480277612688661, 2152879768607654267,
2245487026689079181, 2537446583448425113, 2654065788714484499,
3267492651488172853, 3750739280809981511, 3830341806212863309,
4537719798691874303, 4585424368280928581, 5509779922364202473,
6355471504979475751, 7249738248311668783, 7533609175373352257,
7638975719360340847, 8891741073127615621, 9190813196017748117,
10398560889846739639, 11185255518896394101, 11305508112732584383,
13210505732145368923, 14122094717737943227, 20897600016486249247,
22529893994454165269, 22943901481158506593, 23468454787850270617,
23862796437610661581, 25218905278415549413, 25364313702509976239,
26409149443379471407, 28973742784428485783, 31657510341133088431,
32010160310911274413, 35790323995816331771, 36129068964388425967,
36348936816005974711, 36921163006591641509, 38190731685970173883,
40663529837104749779, 43221082155858466877, 44361961346484528259,
49158367373238186979, 59594742963566784257, 66033127812014946343,
88902066312168844499, 94689872102275152179, 100549402395474111271,
118349159505769453321, 130983315743694305501, 132583107488749965329,
140708169568951154801, 183056051892809313193, 194062104589314875897,
230874293223685545059, 256352639355042596057, 266856054895217005577,
291374596607656314829, 352849571868724688689, 383137403257740611717,
404314271339551874089, 566161495146584181973, 638258216950674387043,
775491359190074471981, 831435487847486304157, 872092004687031460727,
897062791930953117683, 1050367912600481955097, 1070009678973364956793,
1144360138649852039189, 1371619964001615151511, 1396740384923923950601,
1527606049769594294477, 2069557541381533209959, 2238857186428827118669,
2393584415705844388207, 3154953482573531076029, 3466171374603296979227,
3778952010993188878441, 4750460202351791890073, 5185403074803305790881,
5414503393501601524553, 5764382871580968999181, 5782864881255013236481,
5815404884437230485237, 6064256761153617866563, 6392714043061860543581,
6944561254864622437303, 7197081152989978879903, 7392722058214769338943,
9151559565316253797499, 10576808395865566718629, 14484345050024627874587,
15190118190232448309303, 15612666904592494195997, 16996272005282757867739,
19510558483198104942761, 19967303570082360959561, 20238900353203095546743,
20798857002105676635599, 22924381295670006234749, 25653335447178545559259,
29461962998038961261801, 34181038656975270781829, 35341167267147184648349,
55353226459576651599997, 59033973135730750777079, 83613553193212565055629,
89292099039066404446583, 93860151591549156672389, 124282359925223680805887,
134013277989741695639179, 137608045645814756168459,
150152322348158556906709, 165851838256379679726541,
170250573323403564401591, 240242690178602150114729,
243800986741054776663727, 269356684872488049450827,
278113772233834559378887, 281620179905648264831321,
334414801195030793616283, 459439053228143696956349,
460713667599673925267213, 464525701797917844740221,
546815577555057568609561, 714204699750929602600171,
790772324341378194783917, 833929275025094822440549,
1463348036079038481046361, 2160499552482447506852701,
2228107695632279991764789, 2441600989787695967962441,
2467564474920700877403677, 2504633659284554189705323,
3337973490264797713585777, 3774138932421844131426311,
3852306482810075242089227, 3968111331194553575695891,
4139884411675565479171577, 4699350260900869065321689,
5418404432286059811819647, 7092462956505000296082799,
7663267780838454174128897, 8943890733288215088458017,
8949328514076098620099633, 10502584489655682791887103,
15130181417131447991224699, 15195214207315167261442867,
28656802589260197773510623, 40453931486458937516189119,
48377627659132602412103759, 78083223787608575156942093,
85568927763063037127562433, 141044441574147019511887247,
148625605503332322988141969, 180094353979644925715106937,
229184842415932720503291253, 240559684028943110677535629,
257396657487670398440079539, 380612210868192436431787361,
382175392991761188822260633, 405787355833376578700460301,
431709910692326954350968533, 433483282454071499630228513,
549585323219368602369820121, 789210120777811500568846679,
935089819076008155381317399, 991422492725805588154223383,
1114817850008199657493434253, 1430382185042605361124441721,
1634021415472007266366210817, 1698561722424352389575067749,
2007083736859170236448088811, 2136787525465699346260623731,
2287818360282984294502441853, 2380509486478171757596001707,
4379937280700739249520414229, 4975560684609281103633431477,
7101079502353532063312054917, 12873166338171907607087583217,
18056085329836675547166722819, 27540617119625946118459403939,
37272934189201737869016720929, 46592495579025763749447076981,
62477556064267688755099251557, 81574205967622462911640355351,
107696815311379729531745838349, 541871045755985600524776694391,
546438722226889371614324889973, 572501857609087746044781729557,
593016762123272567713327930159, 623013311490263028295153743673,
629568685143887122306747853927, 650188895082938496133384569571,
767761264702576031559515348521, 833497448239434461315360317121,
1443754424824480405672165207097, 3464771911687901539424860777427,
8219124367748699129845858634653, 14811418309867156086978569321161,
14926206558364500381330548427173, 16393439386673188319925898958293,
16735979398325746609543853499929, 27346357482680319232157163552689,
38197980429736991738205655885367, 96219075145726707178129001299019,
135075706114535316950231097516031, 221624479389787622076772042626649,
809394310478457594898676919366517, 859898093417486999252052249867649,
1186226926103899822371879437051237, 2723700285362100042230547527778317,
2954276561663726731348533829152043, 3531765816278468901225791666230489,
3592592306440326131928694995391829, 5397554794221433215092107232321743,
5857782783722908444648891741552991, 41321451466032581613501320111901299,
67451412775987097229456759114365147, 80480454695883671927072158689953459,
86931787124894025899613982958574289, 135094134046186960540571260475926499,
265533834722777978804737399584403667, 314013920358759969538584440207708159,
365912109763230734114664196329916163, 569018285138785743945090436740972589,
993292639325978587222572893472381397, 1593995949106763801004032952259869019,
1733598256793782223024375220367920953, 4498990032296049864443764715000903587,
28562816824104372591745915524850476013,
45340834916399427401941254087564552901,
67713346982387980795461394231203640841,
419790526928647246447760544140764445623,
10498667669119496541246764547364394150767,
17952190519544154606653037740279886064447,
50967329609794872813828672909815236088381,
60142427312522623487250730465114097841091,
174568885579274269812937093465102210976297,
190178327955607364367559372040479613565547,
2714664409368913077909931272340767694810709,
4119842702492043412032706962320115960832703,
6362530125276957881204501556485777224877737,
21289796287569735866708594882309656982337071,
156548140613622977981626666310401198875601601,
188688334348298185613260389556326587556468251,
1361598929624984516434347590715335332503841981,
14380211646881467415803462581621417951534002839,
10651838022424183034932542865787273875648790960999,
51442741042891005984634751109466441839162295178987,
649887067848818772887462916835461246603936294119701,
7517596214490051335825344881028792801065608068512131,
12567987371175933926362928813184833422003421176616583508547 ] ) );
BindGlobal( "K_FACTORIAL_P1_FACTORS", MakeImmutable([
1046344171, 1095267869, 1118138237, 1135090301, 1158774269, 1243653599,
1258309163, 1258996199, 1304507671, 1316506057, 1421860537, 1462030301,
1487583221, 1496221073, 1566883541, 1607544403, 1637925011, 1677089539,
1723028641, 1757072171, 1775516983, 1895672717, 1927662679, 1929398957,
1959671477, 2058883427, 2065257401, 2078913559, 2135347189, 2309628001,
2334988919, 2365477817, 2626189057, 2626395763, 2693823973, 2711686639,
2719484587, 2783893447, 2966991389, 2998746313, 3011917759, 3106931083,
3118860791, 3119705669, 3119969417, 3184003111, 3239258303, 3295970423,
3386274469, 3583441613, 3589406731, 3678300341, 3694069667, 3740177143,
3755842159, 3802549117, 3868855709, 3929552503, 4103566837, 4111591543,
4183450489, 4651897559, 4706925101, 4815777089, 4976007893, 5041540333,
5057025803, 5111936677, 5752198817, 6384426751, 6543983717, 6546486007,
6571145513, 6574062137, 6641780083, 6666834089, 6842386513, 6868495901,
7390061603, 7500502393, 7583423483, 8083719599, 8258559109, 8544120307,
8642830961, 8708445929, 8765484173, 8906328727, 8908692253, 8942374379,
9226549903, 9396685567, 9474445051, 9955626281, 10148059367, 10377321839,
10384399063, 10384939757, 10595304667, 10690025113, 10730168549,
11205887579, 11213112151, 11393549729, 11921175641, 12170448127,
12336712319, 12891916633, 12955105817, 13150377943, 13200348101,
13207611751, 13314898747, 13819659097, 14275287197, 14554582949,
14858314567, 14871104803, 15325756339, 15350200727, 15660353287,
15976053859, 16319436799, 16391209501, 16628899487, 17053120373,
17124870541, 17392780213, 17435835751, 18336410683, 18671377561,
19236668797, 19685850917, 20200705061, 20543213659, 21386061271,
22715736289, 22791510179, 23012387071, 23078670211, 23794812343,
24058242503, 24273593917, 24424612831, 24686170547, 24939120931,
28437820009, 28840185821, 29400647321, 30728104307, 31847327389,
32227138313, 32611429849, 33072178127, 34882071611, 35128568467,
35451513187, 36362256319, 39688194769, 40717051411, 41053793579,
41229338881, 43332403549, 43339400309, 43399023821, 47580631069,
47709469211, 48432621947, 49929947471, 50220716303, 51433647469,
52107800761, 53249896591, 53344797047, 54730514387, 54823153507,
55546200643, 55921523591, 56250422461, 56553646267, 57554485363,
57636116003, 60663370591, 62068649807, 63088141777, 66581425853,
66663848987, 69084535147, 71818563253, 72028785431, 73226805419,
74195127103, 75293920783, 81232044577, 84301016461, 84793423927,
86285506597, 88952230021, 89001585557, 90271784567, 93155815513,
93167960719, 97981351889, 98362712671, 103673209049, 107067562961,
108871061489, 109799165627, 114014275747, 114095267189, 115120190797,
125351338457, 126004596449, 127555592683, 127888353091, 128758682077,
129990645377, 135490469159, 137482695401, 138588122899, 141959761283,
142410167827, 143754173441, 146305688687, 147329442191, 152694556367,
154303935647, 156355801633, 157621549979, 162862637417, 166091902343,
171788550517, 174679093529, 177447146119, 187624774903, 194768835907,
201494820647, 204693813523, 208715842981, 214900167401, 222222674183,
241580277689, 242627134829, 247273307689, 258847257209, 259856122109,
260513294411, 264889440727, 265037039629, 274175006321, 291866396539,
294922118587, 296181610559, 320570466499, 322270265477, 325485855571,
327377369261, 336303660527, 349913622161, 351900745811, 354044526083,
355171842139, 360868320707, 439938735473, 447221745547, 463056129743,
471628828379, 484062961519, 486353434961, 486902694637, 550723870271,
551607133513, 554410179437, 570823386283, 580521735671, 641527690229,
743672261039, 743773819721, 751691839937, 816244881983, 817117435423,
817145546489, 847522380283, 850784174021, 851571097141, 877130437537,
886818484597, 894460090273, 896248630313, 898695642583, 910472243897,
919777136903, 979568260963, 988410582463, 1055374177153, 1192566201259,
1271172188317, 1276825789439, 1278982861469, 1310125217081, 1324498970453,
1324807032607, 1328656547983, 1330559707369, 1341880306969, 1381173038633,
1395759991303, 1403883526961, 1452486383317, 1498153334239, 1548681413393,
1646679849623, 1648696990771, 1742266870067, 1777805410583, 1780080797569,
1785361459333, 1946094264251, 1946411739593, 2026696351723, 2274352665379,
2292174356839, 2428055186059, 2492041997867, 2530101183179, 2752827316973,
2828502026173, 2835571220017, 2936932166293, 3081568164487, 3282216032279,
3385356428401, 3477221520127, 3696014416243, 3814287091207, 3855332667341,
3945404121097, 4067284180951, 4072733291999, 4226251464829, 4236633769031,
4277341908869, 4361803863709, 4458534821399, 4466516456789, 4470193460263,
4735705057253, 4812798521767, 4879852783453, 4942133994913, 5233964404939,
5509076767613, 5708427502619, 6081598914023, 6141050269801, 6164890522139,
6173959948889, 6199456000921, 6340154089427, 6551497519393, 6684964554781,
6854870037011, 7949451849197, 8346520835249, 8380252582399, 8724384750233,
8757563510467, 8926952911003, 9078021409757, 9335557556599, 9340789617659,
9561906969931, 9653787379949, 9695887267973, 9936338092981, 10038918425429,
10533868207883, 10707248594177, 11005452216991, 11511397466677,
11929325797309, 12273305526799, 12562672650179, 12648210155831,
12726419259881, 13310016019393, 14335186652077, 15010601015359,
15115228577879, 15117740710621, 15239855980621, 15653342060959,
15982628105567, 16501856050969, 16588684519453, 17638349411383,
18208374651703, 18331561438319, 18582647601521, 18827541672307,
19048838601613, 19399349052647, 19477101004681, 19789544034049,
19802919388669, 20454945767189, 21115292881211, 22630765103561,
22828994898839, 23194589525207, 24775201578731, 25171760610077,
25375861885043, 25443798229961, 26059529425733, 26434181119037,
26544504844153, 27377391590959, 28496777005157, 30036970425139,
30289915906337, 31167897957799, 31298841057233, 31657587871873,
31730713097767, 33220000350617, 34083569542031, 34952079265361,
34954962110191, 37853581108223, 38656057636013, 39791036138857,
41590604426681, 42652664176963, 44901982139761, 45035312629079,
45547456427729, 46329408456281, 52695757786081, 58414920333409,
58764571837577, 59852621142437, 60068561450273, 61753031863051,
64108549439189, 65114626128593, 65403222906493, 69502233883213,
70552493296669, 70701680136817, 71312053273847, 71642315496047,
78519207813139, 78763198154867, 79256035378517, 80618555072051,
81542460968239, 82536905255821, 85968128856133, 93700476148943,
93904932028759, 96412071224951, 97507227518611, 101887242342077,
113701871882491, 126143416636813, 127862403804493, 133445457482563,
140270832085507, 144163959445217, 144756182656661, 146102648914939,
150621536169857, 157784049069817, 160915710745351, 162200673314527,
169331303105227, 176447888794157, 176852426053921, 178699627101137,
195451382945129, 202595398081729, 206829061191811, 215605356188297,
219390398685179, 219704789898053, 225167181698311, 246839731790087,
267284835213083, 270206650058131, 281345933294341, 294090818893343,
304804776725359, 314274975117541, 321279196895563, 333682675875893,
341050591440617, 365909462224567, 379383044256961, 399633080785751,
409108931058731, 431165757615499, 438607920369103, 451443932248237,
476712601045271, 499528974434761, 520727914120247, 554197431705509,
557262536830523, 563740616188273, 582503850997121, 582705808652777,
584985188940407, 591710678598089, 626478760127929, 656994688644251,
657560396620187, 678693628100561, 694363571415781, 695546278466779,
746379341089409, 759199839990847, 768246446694437, 773395662146759,
787937119761829, 797293147906819, 803877707976017, 826959652541843,
868717256799409, 894386218559287, 924054689605679, 928984360322321,
948401055165427, 995121825812791, 996359956218647, 1003437822208369,
1003874788568233, 1006654567853171, 1021662592367327, 1033982154442711,
1069935431547487, 1079939773637903, 1098482930441153, 1155191001879997,
1246063546987271, 1275514688705909, 1298165055168341, 1300841676258797,
1329776244115133, 1331538589577401, 1364319064734841, 1374851388985363,
1380858783878923, 1436540050269293, 1481642905697771, 1552138748541317,
1609470815909687, 1623746399423809, 1770361663926671, 1774595402976059,
1802945647246951, 1810222523523497, 1922404172927657, 2029138804448269,
2037843288027319, 2113832237878903, 2116417692027883, 2122948167441349,
2152369476494477, 2223698632082071, 2319764509398403, 2331840575628217,
2396398255928539, 2505426087389711, 2508538123820657, 2651275094538673,
2679435367215001, 2715352749106453, 2905573860801323, 2913103722409631,
2946946751670443, 2957248655959781, 3142315448367541, 3593119949698231,
3909669044842609, 4199462222045947, 4599366044814199, 4599813308163659,
4635258713421893, 4877175603887243, 5058961282338853, 5315930613579673,
5736584190981331, 5840210284405579, 5842727520019769, 6106801435083487,
6139292873646461, 6491531829446767, 6944977549527497, 7337927510181227,
7370054660853779, 7957994138419777, 7961420162814473, 8122360639053607,
8380033955470129, 8515115894538293, 9386601058365187, 9439214827211399,
9921481064186891, 10434410573948503, 10991980648873547, 11269232785451087,
12026485665701581, 12126008126464867, 12785987509177583, 12956049231530749,
13450257837648283, 13544526741953411, 14111119959702373, 14565592238871503,
14843936037776927, 15080721976539103, 15115349969637833, 15143915885748341,
15832330474370783, 16944704811657991, 17462673395397331, 18837173718032209,
19350292674071519, 19483238411054153, 19491981924157013, 19889554357012861,
23532383278507603, 23691863033806937, 23800068335307427, 24179441795615719,
25071046250763017, 25596367633007579, 27500136871811311, 27712267198206959,
28043309755772791, 28477458387050053, 34784125138808041, 36698175466381703,
41888848388208329, 44137623422121847, 44272136244444961, 46039217366584301,
46300711406670733, 47294112319101827, 47552364360511181, 49029373569907037,
49293254223754561, 51630101246200793, 53753346090831433, 54149650132469467,
61430315347417333, 61629487117839103, 66943074411872459, 67300557166608481,
71232670773614093, 72320536324405771, 79364263007522231, 89822351853733553,
89894966121867217, 100814801609838887, 105369579589326443,
108610809560600461, 110399893651537267, 112766922183063713,
113057505976248797, 115205557790605547, 118522021069990673,
126141828049825589, 127954156877266381, 133403596162614637,
139213424967033163, 157869151259266217, 162302127201412721,
167268601486949177, 179487469781911331, 198779387050971271,
224171016214185221, 225392405559686759, 239880133018958501,
261717170102854633, 263778366547103761, 274569569465793893,
290903132861599201, 295739827152442091, 295972589013743503,
304166964302087533, 307883722266255367, 320119107489059239,
322976302754792509, 323379374047223909, 329947295725192757,
364422320266623133, 397810018960115681, 415446287119121737,
417956954991809297, 447425217775901921, 457574010176946323,
493449654266852837, 498026058379136387, 524762490375597611,
564141264681777437, 587892172742050177, 635798107383668497,
641215530901436189, 650965830822802981, 664001141994484183,
702354976168145203, 734140009408353869, 786373083093177571,
813017841795883651, 895911257016940391, 936888347579770721,
1142003401149069257, 1144070669415534281, 1214911313309752699,
1250617424841820223, 1311489401499009659, 1443116048472199187,
1459515881523894913, 1507876994465748059, 1649567850960629711,
1775386857811331449, 1791611275815862913, 1835661872189408083,
1859195747707500523, 1904426589387842059, 1924505699999384797,
1998507866225632169, 2020307322325988347, 2355059403980707531,
2424850188142442429, 2567507718327197341, 2963989424744056573,
3016967791739373991, 3129381319967565077, 3301788665471711293,
3376268584648698491, 3568985552459051029, 4220826953750952739,
4574099198556980723, 4705801256594682847, 4751100816187922899,
5097418736761350157, 5120808509810710051, 5609013585175824617,
5976291610245829141, 6539371068918768053, 6581413466856721523,
6650818840744861163, 6764059584759631663, 7698401613564085871,
8625122129041099687, 9003289924974471563, 9309685292572646351,
10133258140454408041, 12108877123078340303, 12403684965449472883,
12563517995397696529, 12932464116949825523, 12939044249130906451,
13686210555334536389, 13745595325215292093, 14086460577231833809,
16197232051022158649, 16484611802737540073, 17051956721294852831,
17381792686236943103, 17968492046338767673, 17981537786312392277,
18603450098901619459, 19728149221312874101, 20694764667058858841,
20974531799668937507, 21154320865805720609, 21444880872789987871,
21454284800820495479, 21474662518048000231, 21940922682828238189,
23347755292237008313, 23438011100526639347, 23453798339574919867,
29430394182212396381, 31204249893153690701, 32638870151507409467,
33616321498949973551, 41833348875739446209, 44155228334067028427,
44303005942331324899, 47207269733386954921, 48360852575473077217,
48795702665964504883, 50299260712376544821, 61054781894566792613,
71240255485761981823, 72474815723662517929, 120277120315198246817,
126427382526107739991, 126784637507890832609, 127070557050740789579,
127337973516879732517, 145401001239259327061, 157021120327565960029,
163715789681726250313, 171954628603532399459, 175477953678874427143,
180274615053826152589, 186123579006337117921, 228275984971476559303,
235945585899158604727, 241353246113589737671, 268662306503771535067,
270408744521692830167, 285046734138881270141, 358066589458806339103,
380265607840356469213, 382087513530514690553, 385466418346987649983,
408531864697409235631, 462623104173532518631, 492534867926502020183,
550778451381850383581, 619416095227609996133, 713082932116282056929,
737985056615935663259, 826066607206532782007, 877167566015174706017,
895804124599619535929, 930472532752519640131, 1001797798761657686197,
1029601993375725300599, 1051380949933556068451, 1117490459207715872597,
1147286180292128189021, 1296238218260332636063, 1398129310580516973467,
1409005833721935025433, 1728402088249959964693, 1891548004136643904823,
1959205192755837155497, 2020697876469751527317, 2057674630293318346691,
2074588029330518396809, 2217171747715476312877, 2478692437087370832767,
2800878497484787157587, 2805277443704144485757, 3042895483776066444059,
3668376682437673551073, 4048352161007925129407, 4241620476446042963257,
4341002003006228933393, 4757108478032284831087, 4782133477751116767227,
4830677288084819457683, 4917668026521356425883, 5274902442374828316091,
6367901113521220244987, 6611674458824017943221, 6995647380933218140799,
7355609804724074078173, 7615282629332804654587, 7757984413066237612169,
8237223658509175872277, 9245226412016162109253, 9633730634920157115491,
10792833950516035537109, 10972448627919161710883, 11727664549827402745519,
12013869187537953727813, 13077072927379857340523, 13470741897425488899173,
14029308060317546154181, 14238070307903903004493, 14465780836616162702969,
16381668639660705087277, 18057624081136493013373, 18306076235546040483727,
20424710069897360255687, 21064304899912663562717, 24190200603120400079593,
25519450219963448560891, 30939152362013003943937, 31522365649017503479993,
32275143806331677841719, 33194658402572018837993, 36822601822560211836163,
38146243296934299524801, 39343769423125418657311, 52452084584619418138757,
53892214199563783393997, 62314442378923476275791, 63596541737899691902099,
78931648251814403737907, 80389382161939340579779, 89997055369709074595213,
91412476146715394577617, 91980528997116072737371, 109698627130297645731737,
114697501279471776003433, 122508808173429896519927,
135543171494417594284739, 137507352943171566330791,
162344150185473447056639, 217640094668562309185747,
220271570718309001994143, 222266313681834078177613,
225377192789914071606361, 233757583317928963753753,
237430898828085532833919, 262823325782950107438149,
310193517716903336653259, 310439227475072061579151,
348675928452141398135899, 398795893065946527508607,
466144592726124094738093, 470126189850078457480753,
494773752852444988003703, 603369288241988624750263,
605856062095140566497327, 636663095531045424832409,
705963525227330621847091, 1068809383597185812792467,
1075309368973977828941431, 1228948704637542812523661,
1463394178882315886497777, 1491857041379164672451399,
1534386522073430899029679, 1629014524899130438316549,
1954111510779966363730739, 1978676207535835392038299,
2718709806707182336711829, 3460085765481958659380053,
3940902338255886178554161, 4344848349583764329518859,
5918693953990816495232959, 6894400277313729488352203,
6906986766519639105975269, 10921693285778448839607223,
18225815335165829492338871, 36176855520798829161476147,
38897317050631716686218801, 47109351493963301285166961,
47268349888329447484475123, 47319662120394656536200323,
58206589363289319336158713, 63262821205921446730130177,
78221891579426352148145471, 83268086882148293619308083,
125178725248599444788290087, 145231317391341933365258111,
159138408328588807223026973, 257250158683781558436609107,
350433007170616328107072379, 421253711938605020303598673,
1131669878120932220109197009, 1201834235405915894123195599,
1744502186874309020303267203, 1975135224685858368186607277,
1986204701950991877920928169, 2047060370044133876870089307,
2295722240441894186972320001, 2336016954269730709999017397,
2768446785196186864654741163, 3338337807236121363383999021,
4167455364191470864079444113, 4300885662707238430686864529,
5895030461694531071447805791, 7627511386363984619071229527,
10811609604036317029608459617, 11294645177647665140920980967,
12311660872660805991388223033, 12318573951317236818169524329,
12365412673468289639313600923, 15757561600158505123106686297,
21817665100657487402784047413, 68428636341940746996456551633,
68466861653843453337981917419, 80075971917165875585023393357,
112556388889794980413000342489, 149946479044181757451779865339,
290391049934253427466419213861, 403371297210091448866432099433,
848561853483930998057196746597, 940712050190319319825141209859,
2135211841921729708835308779667, 2914982678571778853567990110381,
3574685026014398552934345648209, 4554665692949825778957079924193,
5589740040117928890400907674537, 5727297780783502552028823218833,
7608449170252404294833488675127, 9222775638826859871832806582289,
9769626895044196025426395684739, 10696722701430914857180234507939,
13123375977389407161588919694549, 14390547767773598982217841964761,
25829710930321439085184019803339, 36081361813429082138183080340753,
42607422767369562012435736497443, 132787400175997821332658450198547,
138588539704770388589769630082891, 172016541999068516095714768113163,
213749061182918881280504944217119, 800671054190905012623951381513587,
1153852426073539399073807161189601, 1853160025084147305290124353091229,
2865377874799768383026107550148227, 3434232859614593339639579824505129,
4962905867602370674248656033468461, 7132885373707342182361401607765717,
40921789605490466372108793694261247, 45713088500098075280333234449873453,
56639907596588806107088534913492329, 119130723970730205599999675130136357,
135308276130383772314018942122772279, 440329859646244565885691592803661547,
719950701284037307483851521802927511, 2630232086261680856228655500947297717,
7001254410846736563763702929325048987,
14841043839896940772689086214475144339,
16183254660187426238247314936912852351,
28558602337007288107981957410138152713,
41927653694528092712617642634906412451,
97090839750280792098055480829286160009,
274686811290564587615329470624434615983,
724471637873847058596951440954292527159,
1664835665209676257030094220458373596437,
4639987070654210193824486852510861647843,
5651878146949530735523997358628882351147,
97376044141589614099244742802905649039609,
145560053920124375316287092261860812171017,
161785206248676056929457299898406991572743,
984858384210167262655808345015050645243243,
3784674494385908337626818372613017901830141,
542832179611019786166595777851145909637004301,
31661111864542058504602102525015097735381342593,
87412028241538313796066638390601052517731154371,
7173093502131087209793006965238189223456495955047,
11888627126804025025004652051467258556118244612927,
103022186552539453299876565634446293492396727184849,
14037273880994239756842328675178099106162296456088197,
42025070023047325132446149666132026718715669472074383,
10647562554019124667478091293300587259958291268234001823,
229758023927584562777368125832724248866067995638905559798117,
366490840976610304104746977769369661622517455940520616223381,
2002896480650155684677061635571976457061002571505493757461762604981 ] ) );
#############################################################################
##
#E factorial.g . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
