| Author |
Message |
|---|
John Honorary cruncher
Send message
Joined: 21 Feb 06
Posts: 2875
ID: 2449
Credit: 2,681,934
RAC: 0
                 
|
|
Welcome to the Factorial Prime Search
In order to define a factorial prime, we must first define factorial. The factorial of a positive integer (denoted as n!) is the product of all the positive integers less than or equal to it. For example,
4! = 4*3*2*1 = 24
6! = 6*5*4*3*2*1 = 720
Factorial primes are prime numbers of the form n!±1. Using the example above, we would look to see if 4#+1 and 4#-1 are prime.
4! = 4*3*2*1 = 24
4!+1 = 25 is not prime
4!-1 = 23 is prime
Therefore, 4!-1 is a factorial prime.
To date, the largest known factorial prime is 34790!-1 with 142891 digits, found in 2002 by Leon Marchal, Phil Carmody, and Nuutti Kuosa.
n!+1 is prime for n=1, 2, 3, 11, 27, 37, 41, 73, 77, 116, 154, 320, 340, 399, 427, 872, 1477, 6380, and 26951 (107707 digits).
n!-1 is prime for n=3, 4, 6, 7, 12, 14, 30, 32, 33, 38, 94, 166, 324, 379, 469, 546, 974, 1963, 3507, 3610, 6917, 21480, 34790, 94550, and 103040 (471794 digits).
A list of the top 20 factorial primes can be found at The Prime Pages: The Top 20
Mark Rodenkirch's (in collaboration with Geoff Reynolds) fsieve program will be used to sieve and Chris Nash and Jim Fougeron's PFGW program will be used to primality test. EDIT: fsieve has been combined by Geoff Reynolds into a single program with psieve...thus fpsieve is what we'll use.
Additional information can be found here:
Factorial prime - The Prime Glossary at the Prime Pages
Factorial prime - Wikipedia
Factorial prime - Wolfram MathWorld
-----------------------------------------------------------------------------------
A previous ongoing effort can be found here: Factorial Prime Search. As of 2009, n!-1 has been tested for n<37000 and n!+1 for n<35500 with additional non-continuous ranges to n=71000. For the completed work, PrimeGrid's Factorial Prime Search will be a doublecheck. The ongoing effort is testing up to n=100,000. Therefore, once PrimeGrid has double checked all the completed work, the search will continue at n>100,000. PrimeGrid's current sieve file is for n<1M.
-----------------------------------------------------------------------------------
To participate in the sieving effort, see here:
- Factorial Prime Search Sieving
To participate in the primality testing effort, see here:
- not available at this time
____________
|
|
|
HonzaVolunteer moderator
Volunteer tester
Project scientist
Send message
Joined: 15 Aug 05
Posts: 1860
ID: 352
Credit: 2,848,723,284
RAC: 1,040,405
                            
|
|
I wonder what are completion limits on Factorial?
Some sources says n<37000.
I'm getting some n=51500 taks now...
____________
My stats
Badge score: 1*1 + 5*1 + 8*3 + 9*11 + 10*1 + 11*1 + 12*3 = 186 |
|
|
|
|
|
Should be around 50,000 with some untestet ranges at above 37,000. |
|
|
|
|
|
Using Phil's sieved data I've tested to 70000 +/- (except fo a couple of smal ranges done by others)
here is the results for 38500-70000 plus (except for 41501-4200)
I'll post the minus results sparately
cheers
Ken
38506!+1 is composite: RES64: 7F525614E7BC8E0E (7070.0031s+0.3655s)
38509!+1 is composite: RES64: 71D04B468101436A (7537.6957s+0.4924s)
38525!+1 is composite: RES64: 3471581934A828F1 (7609.7692s+0.5135s)
38530!+1 is composite: RES64: 16991C698A75D661 (7547.4277s+0.5001s)
38531!+1 is composite: RES64: 1DBA00CA1810D45D (7466.8241s+0.5016s)
38532!+1 is composite: RES64: 57ACC03E6433A667 (7684.1367s+0.5107s)
Resuming at bit 328416
38533!+1 is composite: RES64: 54C917E571CFD4C8 (4249.6606s+0.5213s)
38540!+1 is composite: RES64: 3F9E86B6B61E07D1 (7335.4911s+0.5851s)
Resuming at bit 28981
38544!+1 is composite: RES64: 77331ADB71CCAAB3 (7581.1743s+0.3065s)
38545!+1 is composite: RES64: BABC8619BB50885B (7721.8095s+0.5330s)
38550!+1 is composite: RES64: 0CE08C834A85936B (7612.2031s+0.5256s)
38551!+1 is composite: RES64: 7AE0B15FACBB8D5A (7450.3167s+0.5100s)
38553!+1 is composite: RES64: C99848C2F504C088 (7380.7482s+0.5005s)
38554!+1 is composite: RES64: 2257D75207DB77A7 (7241.6189s+0.4739s)
38557!+1 is composite: RES64: 4FC55015A2C3DFFB (7224.8330s+0.4767s)
38559!+1 is composite: RES64: CEBFC1F470DAE0F4 (7566.1531s+0.4806s)
38564!+1 is composite: RES64: D2A39FF67C42B90C (14575.3767s+0.5237s)
38565!+1 is composite: RES64: 0DD58E0348C1ED57 (10092.6319s+0.6164s)
38570!+1 is composite: RES64: D4AE340AEDC3A94A (7264.4330s+0.4751s)
38571!+1 is composite: RES64: 09642ACA60EF6B34 (7503.6158s+0.5089s)
38573!+1 is composite: RES64: 7D63AF1A81C9D122 (7492.1124s+0.5090s)
38574!+1 is composite: RES64: 52723817388B8921 (7432.3020s+0.4985s)
38575!+1 is composite: RES64: 8D1BF534CA4834DD (8050.4610s+0.5029s)
38576!+1 is composite: RES64: 69FF301129080EAF (7124.1983s+0.4599s)
38577!+1 is composite: RES64: 34917C3F45827E1C (7529.3892s+0.4955s)
38578!+1 is composite: RES64: 2253952CCCE604EA (7605.4866s+0.5136s)
38580!+1 is composite: RES64: 77F4A7A01AA7EE35 (7897.9276s+0.5106s)
38583!+1 is composite: RES64: D163B2B3BE0A7D63 (7741.1069s+0.5401s)
38590!+1 is composite: RES64: E95A85C5AE950E24 (7625.9880s+0.5227s)
38593!+1 is composite: RES64: F10F83DB3B98D7DA (7453.4449s+0.5110s)
38598!+1 is composite: RES64: 4947A755D319AB86 (7737.8113s+0.4904s)
Resuming at bit 505617
38599!+1 is composite: RES64: 3FFC41DBC936BA60 (2716.3978s+0.5771s)
38606!+1 is composite: RES64: 23315BE04A0F9B61 (9031.9242s+0.6259s)
38609!+1 is composite: RES64: E9AE0E15AE64B6A9 (7831.5061s+0.5561s)
38614!+1 is composite: RES64: D8DE7E8306950374 (7477.4190s+0.6759s)
38615!+1 is composite: RES64: A0E208C73464EA50 (12324.9041s+0.5352s)
38620!+1 is composite: RES64: 2E5A9003E9588202 (7635.1555s+0.5849s)
38622!+1 is composite: RES64: 1910E68A58888F56 (7220.2908s+0.4686s)
38624!+1 is composite: RES64: 26F945B355636806 (7500.8376s+0.4972s)
38626!+1 is composite: RES64: 82B2E3DEB3F48E60 (9481.1644s+0.4974s)
38627!+1 is composite: RES64: 01681D3C95A3E3BF (7803.5525s+0.5122s)
38635!+1 is composite: RES64: 49934ABF8EE2B7E5 (7873.9042s+0.5419s)
38639!+1 is composite: RES64: DD3BDEDD7A60EDC4 (8418.0595s+0.5439s)
38640!+1 is composite: RES64: 7DFEC48D61A91734 (8025.1198s+0.6300s)
38643!+1 is composite: RES64: EA8B6B14757CCB95 (7600.1725s+0.5634s)
38644!+1 is composite: RES64: 7393EB1CC0DB0ADA (7821.9907s+0.5324s)
38647!+1 is composite: RES64: 8A643D26B322D248 (7934.3253s+0.5562s)
38648!+1 is composite: RES64: 1795EEAFECE979B5 (7919.0040s+0.5290s)
38649!+1 is composite: RES64: 12D9650393EE832E (7833.2264s+0.5448s)
38651!+1 is composite: RES64: 4D68DC1393A4E9A1 (7828.6069s+0.5334s)
38657!+1 is composite: RES64: FA1423D1EAB4A51E (7749.9727s+0.5238s)
38659!+1 is composite: RES64: 639744E6E09035E4 (7589.2133s+0.5265s)
38660!+1 is composite: RES64: C51912281E412ACB (7524.7199s+0.4964s)
Resuming at bit 297388
38664!+1 is composite: RES64: AFACEB12822D0A88 (5186.3368s+0.3346s)
Resuming at bit 423118
38667!+1 is composite: RES64: E11380F158A80ADB (3562.0340s+0.3785s)
38672!+1 is composite: RES64: D2723CEBD4D7971A (18623.7493s+0.9406s)
38678!+1 is composite: RES64: 78261F2752A75C00 (7404.9965s+0.5692s)
38680!+1 is composite: RES64: C7F61D762722075F (7728.8930s+0.5171s)
38682!+1 is composite: RES64: D18C624AE46E6D80 (7552.5208s+0.5203s)
38685!+1 is composite: RES64: DE21651A6ACB7AD2 (7552.8903s+0.4971s)
38687!+1 is composite: RES64: 5C5E8EB4F44CA4BF (7537.7770s+0.5029s)
38688!+1 is composite: RES64: F7846260F5C5C5ED (20565.5727s+0.5213s)
38689!+1 is composite: RES64: 0ABE665811794152 (17987.0783s+0.6958s)
38690!+1 is composite: RES64: C385B6880AFE7099 (8004.2629s+0.6784s)
38696!+1 is composite: RES64: 67019273B8DE7D4C (7584.5552s+0.5248s)
Resuming at bit 195185
38701!+1 is composite: RES64: 518F49593E7909E8 (4438.6935s+0.3117s)
38702!+1 is composite: RES64: A8C64A4E0433A886 (6840.5188s+0.4587s)
38703!+1 is composite: RES64: 5586C32C02DBD9E8 (6854.8819s+0.4587s)
38707!+1 is composite: RES64: 601062F0526F4AB9 (10151.1189s+0.4814s)
38708!+1 is composite: RES64: D8341EBB33BF731F (11001.2722s+1.1106s)
38714!+1 is composite: RES64: C13A96891D9348B6 (7767.0987s+0.5425s)
38718!+1 is composite: RES64: 950FBC7387119CF7 (7458.8417s+0.5098s)
38719!+1 is composite: RES64: AF0E8EBE489B1B6C (7268.9777s+0.4952s)
38720!+1 is composite: RES64: 6849A6E172344328 (7044.0163s+0.4790s)
38723!+1 is composite: RES64: 9146745B80EA1F1E (7219.1080s+0.4637s)
38724!+1 is composite: RES64: 9758191793E65FB6 (7321.2801s+0.4956s)
38726!+1 is composite: RES64: 341735BE511822EE (7332.0581s+0.4747s)
38729!+1 is composite: RES64: 4780C5D1BEA2B638 (7495.2490s+0.5139s)
38738!+1 is composite: RES64: 23D713E88EF9476F (7788.4740s+0.5320s)
38740!+1 is composite: RES64: 97CFC5307F7B46F1 (7631.8866s+0.5228s)
38743!+1 is composite: RES64: DB8DCFD6E299067A (7552.2425s+0.5186s)
38745!+1 is composite: RES64: 4B8FB59D56231BBE (7482.7254s+0.4927s)
38749!+1 is composite: RES64: A8D92E4587CDB66F (7289.0065s+0.4745s)
Resuming at bit 378495
38750!+1 is composite: RES64: 09F74449074ABA1D (13868.8502s+0.3288s)
38751!+1 is composite: RES64: 55ABDA9C9342232C (7807.3476s+0.6290s)
38755!+1 is composite: RES64: C3C98C7E0FA76F95 (7565.2429s+0.5159s)
38756!+1 is composite: RES64: 31FB4184E2FB36C1 (7415.3955s+0.5080s)
38762!+1 is composite: RES64: 82F376AB555348C3 (7295.0326s+0.4887s)
38765!+1 is composite: RES64: C5AF2F83B1C15EB9 (7106.1182s+0.4708s)
38780!+1 is composite: RES64: EB49696451F9C9EF (11515.9512s+0.5098s)
38787!+1 is composite: RES64: 8DB830F5BEA0533E (9608.0803s+1.0043s)
38788!+1 is composite: RES64: C9B091D144817E99 (9744.2194s+0.6990s)
38792!+1 is composite: RES64: 77674289BC62258D (8551.8576s+0.6577s)
38793!+1 is composite: RES64: 35FAE18BEFD4AF83 (7972.6712s+0.5427s)
38799!+1 is composite: RES64: 72FC7011E71862F0 (7808.5436s+0.5379s)
38801!+1 is composite: RES64: 893365E5A416E905 (8195.4932s+0.5147s)
38803!+1 is composite: RES64: 69CB4EF27AE4CD3E (8502.4402s+0.5564s)
38805!+1 is composite: RES64: 8341176E52C1891C (8499.7874s+0.5516s)
38806!+1 is composite: RES64: A0295AB8F5D709D4 (10570.7473s+0.5609s)
38808!+1 is composite: RES64: EF92F2E5E70682EA (8807.0537s+1.0524s)
38810!+1 is composite: RES64: 1E3E3F6C34819477 (9927.1773s+0.4091s)
38818!+1 is composite: RES64: 0994BCA678BB3958 (7411.6893s+0.6395s)
38822!+1 is composite: RES64: 37F1C2D2960CC7EB (7984.3376s+0.5388s)
Resuming at bit 437411
38827!+1 is composite: RES64: 1D6CACF24753CAE8 (1910.3279s+0.4932s)
Resuming at bit 107238
38831!+1 is composite: RES64: EB0B6A0ACBAAF70A (16080.6395s+2.7313s)
38841!+1 is composite: RES64: 05051229A8DF335A (15748.2189s+1.0212s)
38845!+1 is composite: RES64: DAC95AE401E5B9F5 (9029.0178s+0.8494s)
38855!+1 is composite: RES64: AE9A3E7B0F5D10E9 (8573.3924s+0.5482s)
38856!+1 is composite: RES64: FA028C6F78BB84EB (8279.5924s+0.5543s)
Resuming at bit 447348
38865!+1 is composite: RES64: CCCE0C680A08CA37 (5186.8808s+0.5163s)
38868!+1 is composite: RES64: 723D57CC994DA0B8 (9939.1499s+0.9036s)
38869!+1 is composite: RES64: 944372F0E1A5B9CD (8049.8322s+0.7113s)
38874!+1 is composite: RES64: B85802A208E41BD2 (7628.3964s+0.5108s)
38887!+1 is composite: RES64: 1DC0A60D9D708F53 (7318.0759s+0.4850s)
38892!+1 is composite: RES64: CADF6A6E40D9BCF5 (7135.1605s+0.4829s)
38896!+1 is composite: RES64: D8CE4C5358197DBA (9272.7426s+0.5359s)
38897!+1 is composite: RES64: BCFB4DEE6C49CF89 (16156.4408s+0.7623s)
38898!+1 is composite: RES64: 7463BEBDB2DFCE65 (9853.2774s+0.7434s)
38903!+1 is composite: RES64: E8A3C5E78B28DD5E (8081.1998s+0.8087s)
38904!+1 is composite: RES64: 82EDC590B4D3B926 (7522.5123s+0.4971s)
38906!+1 is composite: RES64: D0469705A0178682 (7204.7621s+0.4826s)
Resuming at bit 380068
38909!+1 is composite: RES64: 578F4196F78EAA59 (2085.1937s+0.2552s)
38915!+1 is composite: RES64: 52F31D063B1E7A06 (7255.4823s+0.4960s)
38918!+1 is composite: RES64: A0213EE4A057A0EC (7004.6806s+0.4749s)
38921!+1 is composite: RES64: 6B305CF7BDD602F9 (7968.0926s+0.4985s)
38926!+1 is composite: RES64: 7380B8560053AA9F (7806.7035s+0.6046s)
38930!+1 is composite: RES64: AC557B4EFAE178AD (7649.8166s+0.5307s)
38934!+1 is composite: RES64: BD61A04368306E55 (7475.0201s+0.4923s)
38942!+1 is composite: RES64: A3705ACDA6337355 (7438.6058s+0.4831s)
Resuming at bit 200431
38943!+1 is composite: RES64: F56AEA376DFEA204 (6587.5978s+0.6582s)
38946!+1 is composite: RES64: B1921A6D4E645C69 (13113.3557s+0.8245s)
38951!+1 is composite: RES64: E77A22FED44AC4EA (26322.6605s+0.9672s)
38955!+1 is composite: RES64: 571CDDEC097E0C17 (7907.4707s+0.7653s)
38956!+1 is composite: RES64: 59F96D337B7E5C8F (7637.4223s+0.5603s)
38960!+1 is composite: RES64: 2ECECAC73CEFC79D (8072.5381s+0.5158s)
38962!+1 is composite: RES64: 463EE8ED1DAEB719 (14849.5296s+0.5973s)
38964!+1 is composite: RES64: C196818B7D6E27F3 (8835.1196s+0.7268s)
38974!+1 is composite: RES64: 72A9E873857494B0 (8637.3175s+0.6035s)
38979!+1 is composite: RES64: 940796EBEF4A0758 (8852.4282s+0.5862s)
38980!+1 is composite: RES64: F20513B2D7F760D1 (14697.2433s+0.8408s)
38982!+1 is composite: RES64: C24A81F777CE02A2 (8639.6813s+0.8461s)
38984!+1 is composite: RES64: 5C08178D04D51490 (8329.4428s+0.5961s)
38986!+1 is composite: RES64: 399D894DCC2499DE (8074.0865s+0.5097s)
38987!+1 is composite: RES64: 57A43D9B3F0E3693 (8297.5984s+0.5148s)
Resuming at bit 231745
38993!+1 is composite: RES64: CEE200671CDA886A (9751.4750s+0.4722s)
38995!+1 is composite: RES64: 3DB1EA7DC739385C (8115.4626s+0.6686s)
38996!+1 is composite: RES64: 431015BDD807E331 (7939.1259s+0.5617s)
38998!+1 is composite: RES64: 1434EFF4741EB4FD (7866.5651s+0.5413s)
38999!+1 is composite: RES64: 7F2B32C5210C2AF7 (7707.1614s+0.5472s)
39000!+1 is composite: RES64: AB903C47D9CA358D (9009.6429s+0.5220s)
39006!+1 is composite: RES64: 1E51E3CB980732D7 (18037.1905s+0.4686s)
39009!+1 is composite: RES64: 37C96F902872F1D4 (8442.4534s+0.8343s)
39010!+1 is composite: RES64: 917AC7F15B3F8BC1 (8151.6768s+0.5752s)
39014!+1 is composite: RES64: FF4C67DA5E90A65A (7992.2508s+0.5315s)
39017!+1 is composite: RES64: 466E1E49246158D7 (7834.4537s+0.5295s)
39019!+1 is composite: RES64: A1D78C75C3453B15 (7607.2381s+0.5073s)
39023!+1 is composite: RES64: A2BFB89566FEACE2 (11345.6760s+0.5176s)
39024!+1 is composite: RES64: F92EE696FF71AD4D (10615.4299s+0.5843s)
39025!+1 is composite: RES64: 736CD8A8CBC0878E (8111.2785s+0.5610s)
39027!+1 is composite: RES64: 77ADA0419EE1BB34 (7955.1511s+0.5487s)
39033!+1 is composite: RES64: FB4B43A68C8EAEBF (7747.2375s+0.5417s)
39035!+1 is composite: RES64: 1246D73A4531215C (7449.0319s+0.5034s)
39038!+1 is composite: RES64: DDDC307A87833E08 (7192.9973s+0.5010s)
39044!+1 is composite: RES64: C2A507924DC5065D (6871.1009s+0.4870s)
Resuming at bit 90648
39045!+1 is composite: RES64: D152317FC6434B2C (5964.3460s+0.7173s)
39048!+1 is composite: RES64: 0826E37AD024CBB1 (7439.3801s+0.4944s)
39049!+1 is composite: RES64: 9C176902462CCFCB (7437.7373s+0.5193s)
39050!+1 is composite: RES64: D46CE08B52618A01 (7561.1125s+0.5197s)
39054!+1 is composite: RES64: 6978F3F345F57538 (7521.6327s+0.5286s)
39055!+1 is composite: RES64: FA66BA0B97317C03 (7346.8025s+0.4926s)
39060!+1 is composite: RES64: FF4F32DDB5C215AD (7231.4317s+0.4920s)
39061!+1 is composite: RES64: D99CB86D618B6578 (7357.9394s+0.4822s)
39064!+1 is composite: RES64: 0C92554549EA2DFE (7696.8627s+0.5263s)
39070!+1 is composite: RES64: AA3F2FFD40BE0DF7 (7718.8473s+0.5361s)
39074!+1 is composite: RES64: 247B2816C6E4E033 (7609.7656s+0.5299s)
39080!+1 is composite: RES64: CFD9CDFC420D7CF3 (8055.9920s+0.5243s)
39085!+1 is composite: RES64: 56EE220B30CF8BD6 (13505.0628s+0.6305s)
39086!+1 is composite: RES64: 15CAC366912E0F7E (7876.8102s+0.7768s)
39087!+1 is composite: RES64: 27AC26067AFF4443 (7808.5476s+0.5294s)
Resuming at bit 240008
39090!+1 is composite: RES64: DFE5A1D0EBE0480A (5436.6282s+0.9123s)
39094!+1 is composite: RES64: 14FADF0028C90A4D (7789.2888s+0.5603s)
39095!+1 is composite: RES64: 1B9C7F388C263196 (7883.8903s+0.5305s)
39101!+1 is composite: RES64: 3A08908662523956 (7904.2666s+0.5607s)
39108!+1 is composite: RES64: B8540A867D401A71 (8046.2905s+0.5366s)
39109!+1 is composite: RES64: 3DC458314F610FC6 (8043.6890s+0.5369s)
39111!+1 is composite: RES64: 276253889F823B94 (9786.7025s+0.5771s)
39116!+1 is composite: RES64: F80F0102BDF8835A (10629.2787s+0.7741s)
39119!+1 is composite: RES64: CA60AEC32FCCFCE6 (9736.5312s+0.8252s)
39123!+1 is composite: RES64: FA98AB6C77B106FA (9785.2363s+0.6128s)
39126!+1 is composite: RES64: D208DA81B586A090 (9638.2397s+0.5912s)
39128!+1 is composite: RES64: C48793237D1E63C7 (7943.7703s+0.5272s)
39134!+1 is composite: RES64: 2DC32790D31D3C3B (7853.0899s+0.5322s)
39135!+1 is composite: RES64: B847E1E7CE7B6388 (7994.4482s+0.5551s)
39136!+1 is composite: RES64: 1B0D5C35DDBADFEE (7951.0374s+0.5534s)
39139!+1 is composite: RES64: ED289A7B1A33934B (7704.2235s+0.5322s)
Resuming at bit 155472
39140!+1 is composite: RES64: 84FC631F9B66E84B (5856.7528s+0.5402s)
Resuming at bit 159337
39143!+1 is composite: RES64: D188C2DAABD89F14 (10659.7349s+0.7803s)
39147!+1 is composite: RES64: 6834ABAC2E82A216 (7451.9680s+0.5853s)
39149!+1 is composite: RES64: 7D2696DC30547003 (7715.1367s+0.5200s)
39150!+1 is composite: RES64: 2E859F5B7632BBF0 (7769.6578s+0.5227s)
39151!+1 is composite: RES64: 8F84B9B832EB737C (7629.3022s+0.5219s)
39157!+1 is composite: RES64: 33739007BFFF2292 (9136.2077s+0.5558s)
39159!+1 is composite: RES64: 4A6CD2D823CE49BA (7169.3724s+0.7268s)
39163!+1 is composite: RES64: 7FFC471E0D7A32F1 (7473.8875s+0.9012s)
39164!+1 is composite: RES64: F171112C8E2D8ACB (7499.6561s+0.4954s)
39165!+1 is composite: RES64: FE6E09868007365F (7540.9632s+0.5046s)
39166!+1 is composite: RES64: DDE0B0902D026849 (7613.8346s+0.5181s)
39167!+1 is composite: RES64: D2C97456F749F6EC (7380.5385s+0.5007s)
39168!+1 is composite: RES64: 665481EC1F11F3EF (7926.9358s+0.5060s)
39169!+1 is composite: RES64: F7244BAD34DFF820 (8351.8074s+2.6831s)
39174!+1 is composite: RES64: C901AE8149C71C64 (7047.2618s+0.6553s)
39176!+1 is composite: RES64: 92A0E535EAD4B941 (7136.6519s+0.4891s)
39178!+1 is composite: RES64: 38DDEB1E7C4DA660 (7152.4450s+0.4912s)
39181!+1 is composite: RES64: E486C571D28CE839 (7980.5382s+0.4856s)
39183!+1 is composite: RES64: 9DC779788A86A370 (9862.6699s+1.5802s)
39185!+1 is composite: RES64: 7A842B38DCBA2719 (8053.6662s+0.5566s)
39199!+1 is composite: RES64: 749F6B8AFD156C6F (7710.8182s+0.5355s)
39205!+1 is composite: RES64: 08AF9C2AD3BAF77C (7232.0949s+0.5432s)
39207!+1 is composite: RES64: 73B3AE5BE7A0A102 (7417.8138s+0.5357s)
39211!+1 is composite: RES64: 0D6B44B1D755B226 (7442.3388s+0.5176s)
39214!+1 is composite: RES64: 34514EF4DF6A3C06 (7486.9023s+0.4958s)
39215!+1 is composite: RES64: 060993C162FEC2DC (11291.8787s+0.5244s)
39217!+1 is composite: RES64: 21DCEA264B63877F (8602.4400s+0.6390s)
39220!+1 is composite: RES64: C867AB5156D45246 (7017.8577s+0.7185s)
39221!+1 is composite: RES64: 124D9F924B54BF5C (7125.1946s+0.4820s)
39222!+1 is composite: RES64: 1721CA75ADB4E32C (7169.3974s+0.4795s)
39223!+1 is composite: RES64: 6103C7412EF9A333 (7230.6279s+0.4929s)
39224!+1 is composite: RES64: 470DF702AB5DB88C (10458.8800s+0.5086s)
39227!+1 is composite: RES64: 1E18FD1B6A5CE68E (7848.9248s+0.5610s)
39230!+1 is composite: RES64: 89BC87FD6DBD4383 (7692.6363s+0.5437s)
39235!+1 is composite: RES64: F6FF4C7F79E31CD5 (7710.3140s+0.5167s)
39237!+1 is composite: RES64: 6B8B9F663789F222 (7598.8728s+0.4879s)
39241!+1 is composite: RES64: 90AD0424BBB8FD16 (7988.4011s+0.5416s)
39242!+1 is composite: RES64: 3AB10C62A5D4D72F (8126.9569s+0.5473s)
39247!+1 is composite: RES64: 174842223B85C2E1 (8800.6980s+0.5550s)
39249!+1 is composite: RES64: 96329EC4C38A97B5 (7947.9045s+0.5499s)
39251!+1 is composite: RES64: 89540014825129EE (7902.9523s+0.5244s)
39259!+1 is composite: RES64: 8747DA5BCBB0B61A (7791.8553s+0.5264s)
Resuming at bit 340000
39261!+1 is composite: RES64: 42384CB233761455 (2582.7137s+0.5267s)
Resuming at bit 531270
39262!+1 is composite: RES64: F423394BD4E16F9C (158.0093s+0.6607s)
39263!+1 is composite: RES64: 26E1195ED9536003 (13344.1348s+0.4615s)
39267!+1 is composite: RES64: 61FEFE84764D59CD (7823.5435s+0.5756s)
39268!+1 is composite: RES64: 608C55544051ED4E (7590.0760s+0.5137s)
39270!+1 is composite: RES64: 2C35924C6BB80CA0 (7408.0436s+0.5131s)
39274!+1 is composite: RES64: C1FDF3985BEF042A (7480.0370s+0.5037s)
39276!+1 is composite: RES64: 0B3FA74BE7728B35 (8010.8778s+0.5280s)
39277!+1 is composite: RES64: EFE74B516A27FC1A (7487.8304s+0.5851s)
39279!+1 is composite: RES64: DE11E9E83CCFEEA2 (7630.2767s+0.5138s)
39282!+1 is composite: RES64: 1137A9FD1CD09A2D (7637.9374s+0.5269s)
39284!+1 is composite: RES64: 5BA809E2E85E7F1E (7343.5427s+0.5018s)
39285!+1 is composite: RES64: C228BDFE6B0D4EE5 (8995.9920s+0.4899s)
Resuming at bit 450000
39286!+1 is composite: RES64: 8815386EFEE8F10C (1256.4112s+0.6156s)
39288!+1 is composite: RES64: 522361A82C95EA58 (7457.7676s+0.4984s)
39290!+1 is composite: RES64: 262CE5659F8C7595 (7578.1299s+0.5091s)
39298!+1 is composite: RES64: 15044FDEA365CCCA (7573.6629s+0.5217s)
39299!+1 is composite: RES64: 737D266F58AA69B4 (7357.6968s+0.5039s)
39301!+1 is composite: RES64: 9FDF8683A9AF24E4 (7188.5798s+0.6398s)
39304!+1 is composite: RES64: 4FB74AD107C176DF (6819.6857s+0.4542s)
39305!+1 is composite: RES64: DB6F2C27C2349D14 (6756.4771s+0.4394s)
39317!+1 is composite: RES64: 8168A3835B2DE0B4 (6995.6896s+0.4668s)
39318!+1 is composite: RES64: 1AF74C18EFE1DACE (6983.3890s+0.4927s)
39320!+1 is composite: RES64: B73F921563B3FAFC (7341.2831s+0.4832s)
Resuming at bit 338514
39324!+1 is composite: RES64: 063B998B63810F93 (2945.2102s+1.1283s)
39327!+1 is composite: RES64: 9CD8725770D5ACCF (7493.6170s+0.5347s)
39330!+1 is composite: RES64: 2C88EE362992B1C0 (7837.4496s+0.5189s)
39334!+1 is composite: RES64: EE7B158FB6508F18 (7464.7206s+0.5265s)
39335!+1 is composite: RES64: 506619F40C17AF0C (7137.6495s+0.4949s)
39337!+1 is composite: RES64: FD30EDAB572492B8 (6885.5060s+0.4790s)
39338!+1 is composite: RES64: BC9A1B1345455D1E (6762.9407s+0.4667s)
39344!+1 is composite: RES64: 18BD7E4F902E2D67 (7121.3608s+0.4768s)
39345!+1 is composite: RES64: 77501898BE0C3EA0 (7216.4108s+0.5064s)
39346!+1 is composite: RES64: 4BE750A9F3ACE0AF (7923.6377s+0.4792s)
39347!+1 is composite: RES64: FF51E23A085D01C8 (11430.9030s+0.5162s)
39351!+1 is composite: RES64: 1D81456BDCE9C8DD (7416.6603s+0.6020s)
39352!+1 is composite: RES64: 97DA3A40461240D5 (7469.0326s+0.4944s)
39354!+1 is composite: RES64: 31D61930D55C3795 (7494.5444s+0.5095s)
39363!+1 is composite: RES64: 6F3B166B2E9AC2C3 (7617.0394s+0.5301s)
39364!+1 is composite: RES64: BC99D0A0D935F127 (7339.5242s+0.8352s)
39365!+1 is composite: RES64: 8A8E6EAA544E66CB (7784.1747s+0.4821s)
39369!+1 is composite: RES64: AABBCC4FA4442E28 (7225.6386s+0.5038s)
39375!+1 is composite: RES64: C2DD6C122D273478 (7512.4974s+0.4839s)
39376!+1 is composite: RES64: 3FF3245885CE5328 (7701.6820s+0.5168s)
39383!+1 is composite: RES64: 6C5CF9263F0708F2 (7720.2804s+0.5436s)
39385!+1 is composite: RES64: 96C6CE83E997399C (7345.9100s+0.5335s)
39386!+1 is composite: RES64: 768D48BD53E24DDE (7003.8858s+0.4684s)
39387!+1 is composite: RES64: 9E1AB219D13A5545 (6793.2843s+0.4624s)
39392!+1 is composite: RES64: 9008BA9039C8BE66 (6604.1096s+0.4652s)
39393!+1 is composite: RES64: 6002D6F75B53EDBE (6988.8184s+0.4637s)
39394!+1 is composite: RES64: 62D52398ED7B77DF (6910.2627s+0.4784s)
39397!+1 is composite: RES64: 0294062D4B059FD6 (6795.4461s+0.4738s)
39398!+1 is composite: RES64: 6B561E2E7C17D32F (6790.8154s+0.4559s)
39399!+1 is composite: RES64: 2EFD42F8F12E656E (6766.4507s+0.4574s)
39411!+1 is composite: RES64: 229CD7D11C1BE69C (7009.8946s+0.4515s)
39414!+1 is composite: RES64: EDC15380E1D242A3 (7441.9862s+0.5015s)
39417!+1 is composite: RES64: 26E5011474F5C107 (7527.8669s+0.4971s)
39420!+1 is composite: RES64: D8F9139E81DB7948 (7600.1167s+0.5092s)
39421!+1 is composite: RES64: E0A96F329ADD4990 (7227.8120s+0.5017s)
39422!+1 is composite: RES64: D91514F5E5F50EBB (7014.1586s+0.4857s)
39423!+1 is composite: RES64: AAB8C5F4FB950D6D (6758.0709s+0.4611s)
39425!+1 is composite: RES64: 6DC1255699FF0ABF (6772.3939s+0.4402s)
39428!+1 is composite: RES64: 9A37D88E6C6B3152 (6888.7262s+0.4584s)
39430!+1 is composite: RES64: 7F01768B1361D8E6 (6823.2066s+0.4486s)
39434!+1 is composite: RES64: 761FA887F5FFC176 (6822.5369s+0.4625s)
39436!+1 is composite: RES64: 93D5D96B7EF0BF73 (6811.3482s+0.4593s)
39437!+1 is composite: RES64: A319AAE8CCE8B946 (7019.8669s+0.4673s)
39446!+1 is composite: RES64: A83D2DD1FAE8D125 (7428.9064s+0.4923s)
39452!+1 is composite: RES64: ADF1B4796CDF6D78 (7575.5149s+0.5161s)
39453!+1 is composite: RES64: 670135E693EBFBA3 (7617.6901s+0.5172s)
39456!+1 is composite: RES64: 56535CD0597A68AB (7794.8292s+0.5380s)
39457!+1 is composite: RES64: DBCF0DE5783BACEB (7514.2432s+0.5106s)
Resuming at bit 21584
39464!+1 is composite: RES64: 866A069C31150D57 (9817.0669s+0.4260s)
39467!+1 is composite: RES64: 876D0F1941CFE78B (7905.2450s+0.6650s)
39472!+1 is composite: RES64: 5C5D3A3FF1EA999D (7830.9259s+0.5154s)
39476!+1 is composite: RES64: E223C23794822342 (7316.1541s+0.4969s)
39479!+1 is composite: RES64: 8127BEC3F2378BD4 (7142.4463s+0.4916s)
39481!+1 is composite: RES64: BEC4C748930B090A (6964.1702s+0.4734s)
39482!+1 is composite: RES64: B8BD9EAB31FBB088 (7527.1510s+0.4582s)
39484!+1 is composite: RES64: 0B1E3D49965D4071 (7104.1262s+0.5532s)
39485!+1 is composite: RES64: 9C75BB9F5E77327E (6943.6132s+0.4752s)
39494!+1 is composite: RES64: 5DCB863CD8B5F118 (7074.2540s+0.4788s)
39499!+1 is composite: RES64: D4B64B379509077F (7100.7179s+0.4808s)
39503!+1 is composite: RES64: 64065A123F36DC08 (7800.9724s+0.4712s)
39504!+1 is composite: RES64: 71BCE1F0C3FDEC62 (8834.4509s+1.8023s)
39505!+1 is composite: RES64: 01DBBC2D5744387F (8811.9952s+0.7104s)
39514!+1 is composite: RES64: 54CA16ADE004DECA (8392.3295s+0.6053s)
39517!+1 is composite: RES64: C22DA2E96649359D (8169.4277s+0.5511s)
39522!+1 is composite: RES64: 3C0A16C87A778025 (7916.0648s+0.5528s)
39523!+1 is composite: RES64: 9BA28A136224D579 (9342.8304s+0.5219s)
39525!+1 is composite: RES64: 4DF2F394DAFEA63D (9665.3779s+0.7397s)
39526!+1 is composite: RES64: 7486FF16D5F5543D (8152.3218s+0.5828s)
39528!+1 is composite: RES64: 888D56F312C6843C (8537.8314s+0.5648s)
39530!+1 is composite: RES64: A0906E1B0AB00726 (9533.4537s+0.5537s)
39535!+1 is composite: RES64: 4824A60B0A6372D7 (10326.0272s+0.7245s)
Resuming at bit 365000
39536!+1 is composite: RES64: 6DC3DD6304C1CB8B (2822.9454s+0.5383s)
39537!+1 is composite: RES64: 23381CDA64A76290 (8241.9695s+0.5679s)
39539!+1 is composite: RES64: 8D03006A9A03F937 (8484.3144s+0.5485s)
39547!+1 is composite: RES64: 685F939990BD5142 (9109.4743s+0.7444s)
Resuming at bit 155716
39552!+1 is composite: RES64: 82E77763F29EFBFC (5445.3226s+2.0970s)
39558!+1 is composite: RES64: 6FAC5FBB99FC5F7D (7498.7454s+0.5179s)
39563!+1 is composite: RES64: 23DE78D3432BBA95 (7460.1878s+0.5112s)
39570!+1 is composite: RES64: AF207B63FC12ADB4 (8447.8326s+0.5617s)
39581!+1 is composite: RES64: 803DE3D1D08554F9 (8507.1467s+0.5936s)
39583!+1 is composite: RES64: 50513FED473EBB46 (8265.7404s+0.6126s)
39586!+1 is composite: RES64: 9AE55710C444B20C (8167.4082s+0.5845s)
39587!+1 is composite: RES64: 7C7269566E007ABB (8045.4247s+0.6185s)
39588!+1 is composite: RES64: 654BDA449975E86F (7680.0363s+0.5420s)
39591!+1 is composite: RES64: E23DB2CD9A8663F1 (8338.0041s+0.5132s)
39593!+1 is composite: RES64: 1527C8887C1244AF (7874.4853s+0.6280s)
39596!+1 is composite: RES64: 946FA6D6938C87DC (8625.2284s+0.5327s)
39598!+1 is composite: RES64: 14EAF7FEC75FDBFD (8210.5398s+0.5707s)
39599!+1 is composite: RES64: 740DEE59619F2458 (8089.2450s+0.5556s)
39600!+1 is composite: RES64: A1275D335F3569A0 (8274.3844s+0.5499s)
39603!+1 is composite: RES64: EDDFE68CA765575F (8303.0780s+0.5623s)
39605!+1 is composite: RES64: 1954886F68EB4197 (8181.0092s+0.5679s)
39607!+1 is composite: RES64: 2E8AF3C1786C451A (7972.0143s+0.5567s)
39609!+1 is composite: RES64: D42CD7FC7BD440C7 (7844.5012s+0.5472s)
39610!+1 is composite: RES64: 724049467233D305 (7581.2930s+0.5338s)
39612!+1 is composite: RES64: 11D58FF09C7AB28A (8715.0219s+0.5416s)
39617!+1 is composite: RES64: 3FB312872E86675E (8365.4017s+0.5653s)
39623!+1 is composite: RES64: 6F7B87BDB2331CD1 (8991.6840s+0.7137s)
39625!+1 is composite: RES64: 64751525DB8D5537 (8876.3939s+0.6867s)
39627!+1 is composite: RES64: 2F3C2BA1671F0290 (8537.7072s+0.7022s)
39628!+1 is composite: RES64: 8914584E5BD73A41 (8133.0473s+0.5779s)
39632!+1 is composite: RES64: 3D7005705F8E9D2C (7918.6479s+0.5498s)
39636!+1 is composite: RES64: EBBEF34720AF315F (7713.5897s+0.5384s)
39638!+1 is composite: RES64: 8656E110C7FD4D79 (7546.5027s+0.5306s)
39644!+1 is composite: RES64: F2176E2313CF0FE2 (7490.9127s+0.5214s)
39646!+1 is composite: RES64: 6F2934CA6EAC9FF7 (7318.1194s+0.5033s)
39650!+1 is composite: RES64: 8B3E9054DCDCBCDA (7769.4587s+0.4994s)
39653!+1 is composite: RES64: 58786AC94881E768 (10312.6955s+0.6774s)
39656!+1 is composite: RES64: 79D4ABA17B3E92C1 (7957.3049s+0.7361s)
39657!+1 is composite: RES64: 547A51FF59BA35BF (8019.1173s+0.5838s)
39660!+1 is composite: RES64: 570DB9F073CD0B46 (8130.2041s+0.5583s)
39661!+1 is composite: RES64: 4EBF54089A35D1C4 (7832.8278s+0.5288s)
39664!+1 is composite: RES64: D4F0D616F20FB8D9 (8003.1893s+0.5460s)
39665!+1 is composite: RES64: 2E0574D29770B8B1 (7723.2173s+0.5638s)
39669!+1 is composite: RES64: 39CBE9955D59787D (7373.4585s+0.4975s)
39673!+1 is composite: RES64: 26CBDFADB347265E (7163.4923s+0.4983s)
39675!+1 is composite: RES64: B8257D34B9013FE9 (6974.5809s+0.4808s)
39679!+1 is composite: RES64: DABBC2BF98FAC95A (6850.1436s+0.4717s)
39680!+1 is composite: RES64: 3BF82C5CC8DF0A14 (7999.6501s+0.4966s)
39681!+1 is composite: RES64: C2130369C6352721 (8223.2520s+0.5226s)
39688!+1 is composite: RES64: 8D1E146C311B3F35 (8203.2464s+0.5337s)
39689!+1 is composite: RES64: 7C3310BA2A755A9B (7769.4139s+0.5640s)
39692!+1 is composite: RES64: 3772AB3E4E07164D (7507.9522s+0.5002s)
39695!+1 is composite: RES64: 64829B42C86868CC (7218.5962s+0.4983s)
39696!+1 is composite: RES64: 790AC341FDC8336D (7149.4120s+0.4976s)
39698!+1 is composite: RES64: 456BF7CB033A307E (7042.5531s+0.4773s)
39703!+1 is composite: RES64: 92642E47216A4C23 (6906.3098s+0.4745s)
39706!+1 is composite: RES64: 1A5E872A70C0D8AE (6867.4543s+0.4710s)
39712!+1 is composite: RES64: AE82940548C48501 (7737.2542s+0.4685s)
39715!+1 is composite: RES64: 6BD877589B485638 (7748.8314s+0.5007s)
39716!+1 is composite: RES64: 15254957568BFB5C (7894.5805s+0.5218s)
39717!+1 is composite: RES64: AC17DF8E0739FF6F (7678.0390s+0.5590s)
39719!+1 is composite: RES64: 3C8439920D93BAAF (7568.4854s+0.5104s)
39720!+1 is composite: RES64: D682C6593702A556 (7685.8358s+0.5211s)
39721!+1 is composite: RES64: 1514FE9381EE430E (7495.7732s+0.5208s)
39722!+1 is composite: RES64: 22F1DC57D9204A14 (7360.1242s+0.5158s)
39724!+1 is composite: RES64: 17D5F46763F2437A (7328.9657s+0.4915s)
39725!+1 is composite: RES64: E93DC7648129656A (7229.3511s+0.4982s)
39727!+1 is composite: RES64: 8A41F9EE16319C62 (7120.2580s+0.4929s)
39729!+1 is composite: RES64: 2D6AB41F8E39E1DF (7522.1559s+0.4924s)
39730!+1 is composite: RES64: CDEBF47E2821603D (7998.9778s+0.5471s)
39734!+1 is composite: RES64: 16A4BBEC85457785 (7954.6107s+0.5261s)
39736!+1 is composite: RES64: 65E9F9781300BFE5 (7757.8867s+0.5411s)
39738!+1 is composite: RES64: B48D27095317CAAE (7382.2122s+0.5176s)
39744!+1 is composite: RES64: 2E8E2E8BFC94F8B4 (7236.2398s+0.4939s)
39745!+1 is composite: RES64: D0B097053AD2DDB4 (7200.0915s+0.4976s)
39747!+1 is composite: RES64: 8B69CA2582BE511F (7125.6401s+0.4873s)
39751!+1 is composite: RES64: EFAB81F85D8DD917 (7056.8829s+0.4958s)
39754!+1 is composite: RES64: 30B4C36FC16A7684 (6987.6130s+0.4853s)
39761!+1 is composite: RES64: 453E22CA00948FDD (6891.9282s+0.4820s)
39765!+1 is composite: RES64: 04A04BBCD56A7AA3 (6758.6810s+0.4630s)
39774!+1 is composite: RES64: 9ED8D1C72513E2E8 (7472.4897s+0.4663s)
39780!+1 is composite: RES64: DCF5A6D97EAA30B8 (7296.3382s+0.5465s)
39784!+1 is composite: RES64: 2CB1DAF860E34E78 (7047.3127s+0.4918s)
39785!+1 is composite: RES64: 866B85D131533F5D (7042.5905s+0.4893s)
39786!+1 is composite: RES64: 1F07FE40ABEF184E (7275.5667s+0.4799s)
39787!+1 is composite: RES64: 8CBAD729D6F418A2 (8373.2001s+0.5936s)
39788!+1 is composite: RES64: C373D9B1396DE008 (8024.1805s+0.5975s)
39797!+1 is composite: RES64: 9E4C4E9A3090E197 (7766.7178s+0.5272s)
39799!+1 is composite: RES64: 1C3CE891E8BCF53C (7512.9007s+0.5369s)
39807!+1 is composite: RES64: C593C9C5296D3216 (7397.6590s+0.5138s)
39809!+1 is composite: RES64: F0F9621D1A9FB034 (7278.6705s+0.5027s)
39811!+1 is composite: RES64: 6CFEEABECDDF7EE5 (7265.7813s+0.5015s)
39813!+1 is composite: RES64: DA1EA5B4620C3414 (8103.3255s+0.5543s)
39814!+1 is composite: RES64: C376538227F39823 (7451.7628s+0.5187s)
39815!+1 is composite: RES64: 6DB7AB98DDB55524 (7398.1478s+0.5158s)
39818!+1 is composite: RES64: F539AA65C295A3F5 (7434.3233s+0.5196s)
39822!+1 is composite: RES64: D3ECFB5FA4D3C931 (7971.3831s+0.5177s)
39824!+1 is composite: RES64: E7034457B2051C64 (8395.9784s+0.6256s)
39827!+1 is composite: RES64: 5FE6325AD795DDF5 (8127.8734s+0.5560s)
39832!+1 is composite: RES64: 8CDFD12C65A50C27 (8056.5647s+0.5465s)
39833!+1 is composite: RES64: 8D28B29F9B380502 (7841.8271s+0.5491s)
39835!+1 is composite: RES64: 572FEEEE9CF61C25 (7720.1284s+0.5403s)
39841!+1 is composite: RES64: 86792C5BEDEFBF8D (7588.8362s+0.5255s)
39845!+1 is composite: RES64: 9E72D01254E01260 (8421.7508s+0.5615s)
39851!+1 is composite: RES64: 1C08609B32EFFD55 (7892.3484s+0.5800s)
39853!+1 is composite: RES64: 386DF73403888A9C (7928.1405s+0.5157s)
Resuming at bit 165000
39854!+1 is composite: RES64: B6A7EF708F366406 (5625.1055s+0.2709s)
39859!+1 is composite: RES64: F81C25249FF7E624 (8306.2422s+0.5862s)
39865!+1 is composite: RES64: 8869B5C36FA4107E (8161.8328s+0.5866s)
39866!+1 is composite: RES64: BE8A3D22CED87E71 (7515.8551s+0.5363s)
39872!+1 is composite: RES64: 6B0658DB307122AD (7258.9241s+0.5192s)
39874!+1 is composite: RES64: C4DD63DDB0CDFF16 (7013.9026s+0.4790s)
39875!+1 is composite: RES64: ED3DE52625EB7FF2 (6836.8293s+0.4719s)
39880!+1 is composite: RES64: FE523170FD4858FD (6968.9044s+0.4586s)
39887!+1 is composite: RES64: 143814EE4B97708D (8216.4770s+0.5488s)
39889!+1 is composite: RES64: D0C9D4501C8B3D03 (9743.5262s+0.5580s)
39890!+1 is composite: RES64: 046F085F2FF1C7EA (7731.7747s+0.5138s)
39891!+1 is composite: RES64: 7CB8F5FE11BD8894 (8394.0363s+0.5731s)
39892!+1 is composite: RES64: 7F6119E25AEAF9E3 (8107.7447s+0.5721s)
39893!+1 is composite: RES64: EF22C6055E9B62AF (7938.7272s+0.5287s)
39895!+1 is composite: RES64: 489C66582D5CD0B0 (7400.4688s+0.5411s)
39896!+1 is composite: RES64: 0C5CFE528C303C63 (7147.8832s+0.4992s)
39897!+1 is composite: RES64: 58C3829B5544B49F (7017.4061s+0.4792s)
39901!+1 is composite: RES64: 2F6B9D821C970842 (7025.8040s+0.4893s)
39904!+1 is composite: RES64: 780AA16FE4AF6441 (7103.7213s+0.4847s)
39905!+1 is composite: RES64: 75D8407F1BF15D51 (7932.7878s+0.5645s)
39906!+1 is composite: RES64: FC337EEFD80D40EB (7703.8796s+0.5156s)
39907!+1 is composite: RES64: 8974602ABE177C46 (7630.0650s+0.5232s)
39912!+1 is composite: RES64: F952FF6DD040B2A1 (7940.5341s+0.6001s)
39913!+1 is composite: RES64: 1033B0A17D992B0D (8083.8005s+0.5411s)
39915!+1 is composite: RES64: 4D3ACEDC0D8E89A2 (8389.3946s+0.5876s)
39922!+1 is composite: RES64: 4F3B65619586BBBD (7895.6248s+0.5850s)
39926!+1 is composite: RES64: E34EB7CFC75A66D3 (7568.4606s+0.5245s)
39927!+1 is composite: RES64: 0BE589592DC34A06 (7381.5496s+0.5250s)
39932!+1 is composite: RES64: 442AC7CDA818BC2D (7738.2283s+0.4869s)
39934!+1 is composite: RES64: A74F23EAC958676F (8074.1690s+0.6231s)
39938!+1 is composite: RES64: CF66DEA06A460616 (7482.0534s+0.5134s)
39939!+1 is composite: RES64: 4DC92FCDCF9A0894 (7488.8838s+0.5001s)
39941!+1 is composite: RES64: B222E0A3EC01A6CB (7548.2588s+0.5046s)
39942!+1 is composite: RES64: 6F9C819C4DD4A363 (8427.3154s+0.5203s)
39943!+1 is composite: RES64: FFB6E8707A251F51 (8232.8961s+0.5608s)
39946!+1 is composite: RES64: B8373FD693309CC0 (8018.0890s+0.5354s)
39957!+1 is composite: RES64: BAC23818C634FAB4 (7846.0197s+0.5547s)
39960!+1 is composite: RES64: 3F22C6E1CB294963 (7659.4530s+0.5416s)
39961!+1 is composite: RES64: 9E7A0296B6E66027 (7514.2414s+0.5223s)
39971!+1 is composite: RES64: 3559152210AB63E5 (7829.0420s+0.5150s)
39972!+1 is composite: RES64: 289402B689A38DF1 (8450.8398s+0.6401s)
39976!+1 is composite: RES64: 33E5861BA2EE1F6C (7536.9925s+0.5293s)
39984!+1 is composite: RES64: AAD90E11AD9A4BA9 (7457.0576s+0.5137s)
39989!+1 is composite: RES64: ABCA3AE6411D6E15 (7465.6328s+0.5241s)
39990!+1 is composite: RES64: CD485CBAA4D8502D (8236.8114s+0.5198s)
Resuming at bit 287050
39995!+1 is composite: RES64: FCAD5A23D01FD948 (6026.2255s+0.2818s)
40000!+1 is composite: RES64: F3AA93677764FC5A (10319.9104s+0.2689s)
40006!+1 is composite: RES64: 6F8094F2E848602E (10090.9914s+0.2847s)
40007!+1 is composite: RES64: D545C334171D78E7 (10118.1700s+0.2817s)
40013!+1 is composite: RES64: 21FF3A358FFA459D (9824.7005s+0.2813s)
40016!+1 is composite: RES64: A021CB09BDF192A8 (9640.1125s+0.2818s)
40023!+1 is composite: RES64: 2D10FC721B33393B (10440.0218s+0.2733s)
40024!+1 is composite: RES64: 6553B14441309810 (9763.9597s+0.2893s)
40025!+1 is composite: RES64: 0D83B697AE5431FD (9852.7919s+0.2847s)
40026!+1 is composite: RES64: F347AD15147F5F6B (9934.8334s+0.2780s)
40028!+1 is composite: RES64: E005DB6475167576 (10433.7159s+0.2963s)
40029!+1 is composite: RES64: E3520F04DAE6C77D (11058.1211s+0.2993s)
40031!+1 is composite: RES64: CF52FC0C272F171A (11084.9120s+0.3195s)
40033!+1 is composite: RES64: DB74367FC34C5726 (10546.4383s+0.2999s)
40039!+1 is composite: RES64: 6D16EEDFA26F108C (10293.8759s+0.2990s)
40041!+1 is composite: RES64: 1684926B3D680787 (10247.9867s+0.2876s)
40042!+1 is composite: RES64: 5F432A3D5952EC81 (10407.1880s+0.2968s)
40044!+1 is composite: RES64: 9AF077450AA6E6E5 (10679.1099s+0.2963s)
40048!+1 is composite: RES64: A4A7B52BF5E81D3A (10373.8237s+0.2892s)
40052!+1 is composite: RES64: FC1D0396A69FA697 (11187.3072s+0.2932s)
40054!+1 is composite: RES64: 84DB91DB7A1CBAB8 (11688.4141s+0.3126s)
40057!+1 is composite: RES64: DA9D7DB545FB3358 (9734.9426s+0.2930s)
40058!+1 is composite: RES64: 31C8D7B0C393CC6F (9512.2063s+0.2785s)
40059!+1 is composite: RES64: 2BC3B0E23546AA7F (9842.7721s+0.2688s)
40060!+1 is composite: RES64: A07005EB1998F7EF (9869.9870s+0.2770s)
40061!+1 is composite: RES64: BC63E7A1CD018F38 (10105.8616s+0.2845s)
40070!+1 is composite: RES64: E7112801698F4CEA (10063.2273s+0.2827s)
40073!+1 is composite: RES64: 4124D3E724D04F88 (10162.9689s+0.2828s)
40074!+1 is composite: RES64: D88C8676154FE44D (12030.5273s+0.5750s)
40076!+1 is composite: RES64: 59F951A9D07B4C08 (9667.6340s+0.2837s)
40084!+1 is composite: RES64: B029C755427CD1AE (9531.6220s+0.2671s)
40085!+1 is composite: RES64: 73D3A201834D12BB (9585.4069s+0.2660s)
40089!+1 is composite: RES64: 454250AC7C97A20A (9751.6725s+0.2842s)
40090!+1 is composite: RES64: 3D278B0F9D87385D (9533.8839s+0.2687s)
40091!+1 is composite: RES64: C1348D42DD6B4642 (9866.2106s+0.2791s)
40096!+1 is composite: RES64: 5818454FA1042E0C (9936.2317s+0.2882s)
40106!+1 is composite: RES64: 9C7C864B80F4099C (9983.9632s+0.2833s)
40108!+1 is composite: RES64: 394DED4C8AFDAA89 (11770.4649s+0.3294s)
40112!+1 is composite: RES64: 8A65B8CB25A32472 (9547.7767s+0.2894s)
40114!+1 is composite: RES64: 307B8964B8992CEE (9338.8555s+0.2735s)
40129!+1 is composite: RES64: C304DCC18FE4A90B (9479.4969s+0.2634s)
40130!+1 is composite: RES64: 98F202C5470B2643 (9501.3558s+0.2798s)
40138!+1 is composite: RES64: 1BA1326FCCA0A329 (9417.7832s+0.2742s)
40144!+1 is composite: RES64: 212C3F55E175487A (9408.1628s+0.2666s)
40149!+1 is composite: RES64: CD8E6BF807ED4A5B (9879.9771s+0.2698s)
40151!+1 is composite: RES64: 174A09B8993B8FA4 (10619.8256s+0.4402s)
40153!+1 is composite: RES64: 82BBB2ABEA7291F8 (9848.3156s+0.2928s)
40154!+1 is composite: RES64: 2352BE64C6DFEA76 (9504.4924s+0.2732s)
40155!+1 is composite: RES64: F90E9255F96ADA54 (9369.1944s+0.2636s)
40156!+1 is composite: RES64: 5FBBF6FDD36FF916 (9621.8927s+0.2618s)
40158!+1 is composite: RES64: 1473C75E25D02404 (9616.0626s+0.2992s)
40159!+1 is composite: RES64: 1F4B1AC021F3A5F8 (9518.6875s+0.2773s)
40165!+1 is composite: RES64: 896F903115F156AB (9513.8928s+0.2681s)
40169!+1 is composite: RES64: 89EA025C6C33C650 (10022.9914s+0.2691s)
40172!+1 is composite: RES64: 33D366CD43B21D0B (10040.1063s+0.3086s)
Resuming at bit 455757
40179!+1 is composite: RES64: E456812E5FAA0D9E (2915.2225s+0.6463s)
40180!+1 is composite: RES64: 721A265E15C1FD5E (9462.4143s+0.3183s)
40181!+1 is composite: RES64: 3E6B3D70F7F22082 (9239.4229s+0.2625s)
40182!+1 is composite: RES64: 5E452496C9916D7B (9679.4755s+0.2709s)
40183!+1 is composite: RES64: 65BA7761514A6E48 (9598.8663s+0.2775s)
40186!+1 is composite: RES64: 9058FBF4917679BF (9437.5884s+0.2843s)
40189!+1 is composite: RES64: 25F8868BA59AF1B6 (9496.2374s+0.2668s)
40195!+1 is composite: RES64: 9ED7DF71B44F802C (9712.9839s+0.2779s)
40196!+1 is composite: RES64: 782F1E8BF4C4124F (13205.1763s+0.2718s)
40197!+1 is composite: RES64: F3EA1DEAAF0C2285 (9808.7834s+0.2796s)
40200!+1 is composite: RES64: DC3382EF217AB3F5 (9596.7228s+0.2802s)
40201!+1 is composite: RES64: 62548B810ACC2EEB (10378.7733s+0.2822s)
40204!+1 is composite: RES64: B438F0E163735EEA (9599.2598s+0.3044s)
40207!+1 is composite: RES64: 5A0087A60F7DFDD2 (11474.9562s+0.2827s)
40210!+1 is composite: RES64: E1D841151B00D610 (10459.3617s+0.2916s)
40214!+1 is composite: RES64: 729889FC7B84FC41 (12828.8842s+0.3293s)
40220!+1 is composite: RES64: A69BA19D9AD55E84 (14741.4725s+0.3818s)
40222!+1 is composite: RES64: 33BF4762EB7085AB (13289.2951s+0.3864s)
40224!+1 is composite: RES64: C797298D7233A158 (12801.9806s+0.3476s)
40227!+1 is composite: RES64: 2DB13663F00356A5 (12954.2817s+0.3680s)
40228!+1 is composite: RES64: 99D5F1F80B16123D (13126.9637s+0.3488s)
40229!+1 is composite: RES64: FC424E0C1111E73C (13451.2411s+0.3841s)
40234!+1 is composite: RES64: 1F8E762F62473156 (14336.9707s+0.4865s)
40237!+1 is composite: RES64: 5545EFC68B4068D2 (12988.4690s+0.3776s)
40238!+1 is composite: RES64: 41304F5171E77169 (12725.7584s+0.3691s)
40239!+1 is composite: RES64: 2C905595F95F1FF2 (13118.8372s+0.3663s)
40242!+1 is composite: RES64: 9987DC84A23055CA (13186.2158s+0.3950s)
40244!+1 is composite: RES64: 6260A0BEFDAA07B1 (13064.9147s+0.3799s)
40246!+1 is composite: RES64: 4E267BB943ECEF51 (13090.1802s+0.3475s)
40249!+1 is composite: RES64: 49BC5AEB02C51B83 (14807.2585s+0.3481s)
40250!+1 is composite: RES64: BE01460201AE8DA0 (13044.3453s+0.3877s)
40255!+1 is composite: RES64: 6CCF4E164D24A431 (12953.1379s+0.3827s)
40256!+1 is composite: RES64: DA9CC478D3A946CE (13558.6623s+0.3889s)
40259!+1 is composite: RES64: A106F264D46A6F2B (13248.8820s+0.3577s)
40262!+1 is composite: RES64: C5B76B025D907EF9 (13469.1187s+0.3521s)
40267!+1 is composite: RES64: B3A93D168B31AC3D (18228.9338s+0.4008s)
40269!+1 is composite: RES64: 9D89499E68F419FF (13914.3687s+0.4374s)
40281!+1 is composite: RES64: 5F0E9592B9DEE9BB (13522.5133s+0.3568s)
40284!+1 is composite: RES64: FBAA038AB0721C8A (13794.9133s+0.4079s)
40286!+1 is composite: RES64: C35E0E8C6BF88CAF (13386.2367s+0.3773s)
40290!+1 is composite: RES64: 0CDFBF1D8916F3C1 (14074.8592s+0.3832s)
40291!+1 is composite: RES64: A2C9FA85D92E9314 (17046.4418s+0.4397s)
40293!+1 is composite: RES64: C0C04E6211F2FE46 (15179.8409s+0.4579s)
40294!+1 is composite: RES64: 5EF8E528C61C48D0 (14745.5391s+0.4127s)
40295!+1 is composite: RES64: 9FBDAA0DCA1B4ADD (14835.2652s+0.4640s)
40300!+1 is composite: RES64: 45A55BFF89E64C33 (14638.4735s+0.4056s)
40309!+1 is composite: RES64: E83E12034FA15305 (15963.5333s+0.4058s)
40310!+1 is composite: RES64: C9FF840BDC078B8C (14402.1272s+0.3967s)
40314!+1 is composite: RES64: 2CCCF8E25F531934 (9990.6095s+0.2910s)
40317!+1 is composite: RES64: 92892C2302D4E08C (9763.9704s+0.2808s)
40321!+1 is composite: RES64: A8DD40E8E458E9F9 (10058.0600s+0.2833s)
40324!+1 is composite: RES64: 86DBDE03F46E73CE (9843.9017s+0.2943s)
40326!+1 is composite: RES64: 39860ABB143236E3 (9873.6660s+0.2806s)
40331!+1 is composite: RES64: AF9AC72342902E21 (10697.0794s+0.3010s)
40336!+1 is composite: RES64: 00075944B58345DA (10362.5421s+0.3011s)
40337!+1 is composite: RES64: 9C4B5623E00FFD8E (10155.4539s+0.2974s)
40338!+1 is composite: RES64: FB728A2EE0FE7B70 (9935.7081s+0.2998s)
40339!+1 is composite: RES64: 756B6B8E5BA9844E (9727.0905s+0.2785s)
40354!+1 is composite: RES64: 8BC30AEA90DB904E (10507.8485s+0.2751s)
40357!+1 is composite: RES64: EA14E0820A8ABABE (9545.6506s+0.3037s)
40358!+1 is composite: RES64: EBA3633EE6B2272C (9993.8478s+0.2873s)
40363!+1 is composite: RES64: BAE1EEB3D7E4EACD (11592.2385s+0.2916s)
40368!+1 is composite: RES64: 06185F8C6E5CD05C (9904.0171s+0.2771s)
40376!+1 is composite: RES64: 90D0D12894438323 (13010.8237s+0.2880s)
40381!+1 is composite: RES64: DA4E4FCAAE103D51 (11212.3494s+0.3180s)
40382!+1 is composite: RES64: D43B2F73EA1E4EE1 (9665.8452s+0.2849s)
40383!+1 is composite: RES64: 6762F112806EAC90 (9346.2876s+0.2711s)
40390!+1 is composite: RES64: C1A2AAEF6ED5425C (9175.0614s+0.2625s)
40392!+1 is composite: RES64: E08A70F42D19896F (9558.6575s+0.2675s)
40393!+1 is composite: RES64: 07AA11BE0E3D4926 (9923.8192s+0.2743s)
40394!+1 is composite: RES64: C8541300FFBE7F8F (10442.4050s+0.3007s)
40395!+1 is composite: RES64: 1BEFB6C0ECFFDB4C (13844.2269s+0.3197s)
40396!+1 is composite: RES64: 6FD11B42ED9BE0C7 (9988.4509s+0.2597s)
40399!+1 is composite: RES64: 776A915C2FE93A18 (9749.3962s+0.2918s)
40400!+1 is composite: RES64: 9D4F4C3E5A407A7C (9580.4461s+0.2758s)
40403!+1 is composite: RES64: C0AA1DAD7E53B6A3 (9708.7762s+0.2759s)
40404!+1 is composite: RES64: FE690CC01F1BB941 (9746.5375s+0.2913s)
40405!+1 is composite: RES64: 215E8A51CCE97BA0 (9497.8356s+0.2851s)
40406!+1 is composite: RES64: EBF677879C45C049 (9735.8024s+0.2751s)
40410!+1 is composite: RES64: A4F1DAC9F9E51158 (10016.9702s+0.2868s)
40411!+1 is composite: RES64: 180BECFA4B777617 (11045.7268s+0.2864s)
40414!+1 is composite: RES64: 45FA276325378A22 (10785.3325s+0.3960s)
40415!+1 is composite: RES64: 051EBE8FCFB0C44B (9486.4653s+0.2841s)
40417!+1 is composite: RES64: D95C4FBB9831B001 (9228.1392s+0.2641s)
40419!+1 is composite: RES64: 768699EA41E61556 (9566.4210s+0.2707s)
40421!+1 is composite: RES64: AABA4AFF781C7956 (9462.1211s+0.2769s)
40429!+1 is composite: RES64: 0866159FF98ED2F4 (9256.2614s+0.2661s)
40430!+1 is composite: RES64: 77BD3B13D68F4DEA (9212.4516s+0.2669s)
40433!+1 is composite: RES64: 8F41A2D816FC2A13 (9798.7978s+0.2713s)
40436!+1 is composite: RES64: F3890BEB77F3D4CC (11624.8735s+0.2854s)
40442!+1 is composite: RES64: 304B3F27BCD7A250 (11796.0869s+0.3413s)
40444!+1 is composite: RES64: 4384477AE309A727 (11676.2031s+0.3281s)
40445!+1 is composite: RES64: 3E556E23C404ED53 (11626.0443s+0.3323s)
40446!+1 is composite: RES64: C1EB0B4BCC0C72B6 (11636.2925s+0.3353s)
40447!+1 is composite: RES64: F53FD786B90CEA93 (11484.5766s+0.3151s)
40448!+1 is composite: RES64: D96F4A5FC4AD7128 (11618.6440s+0.3197s)
40449!+1 is composite: RES64: 5E82256804E148CE (12095.8041s+0.3381s)
40451!+1 is composite: RES64: CB91F477650C25FF (12753.9577s+0.3389s)
40452!+1 is composite: RES64: 16DBC9EF887AFE8C (9119.2784s+0.2422s)
40453!+1 is composite: RES64: D9434D258747605F (10879.5018s+0.3142s)
40454!+1 is composite: RES64: F1BB2773113291C2 (10559.8104s+0.3091s)
40456!+1 is composite: RES64: BE5925D3DFB225ED (11463.2557s+0.3069s)
40461!+1 is composite: RES64: A02503AF55329768 (10832.1790s+0.3230s)
40462!+1 is composite: RES64: B88F201A716189E6 (10797.3127s+0.3141s)
40466!+1 is composite: RES64: 393FF8C2AD0D7AE0 (10735.6272s+0.3061s)
40468!+1 is composite: RES64: B5451F6EAA3D4A86 (11027.7519s+0.3104s)
40476!+1 is composite: RES64: E30CB4C938A95E0A (11754.5510s+0.3171s)
40479!+1 is composite: RES64: 8C35117C2696264E (10863.6565s+0.2968s)
40483!+1 is composite: RES64: 51056AAF85FFFD99 (10049.7165s+0.2993s)
40488!+1 is composite: RES64: 7DA29656206FDBEC (9833.1700s+0.2896s)
40489!+1 is composite: RES64: 609C471EA9A69DDB (9741.7739s+0.2794s)
40491!+1 is composite: RES64: B4098BC0F7B12358 (12361.5435s+0.2870s)
40494!+1 is composite: RES64: 613033EA4ABBF12B (10535.0768s+0.3172s)
40495!+1 is composite: RES64: EFAC98AE2C63016C (16722.3899s+0.3147s)
40497!+1 is composite: RES64: 7BB29A6808184AD3 (13281.3318s+0.4273s)
40499!+1 is composite: RES64: F207854A777C53CE (11089.7244s+0.3198s)
40503!+1 is composite: RES64: DDF7FDA2A288B85E (10943.3092s+0.3123s)
40508!+1 is composite: RES64: 44899B6653ED81EB (11498.3829s+0.3197s)
40517!+1 is composite: RES64: 301553FFC710FC24 (11209.3797s+0.3226s)
40519!+1 is composite: RES64: 759C11CA967429A8 (11114.7950s+0.3244s)
40520!+1 is composite: RES64: AE22098F68720FC2 (11577.9975s+0.3134s)
40523!+1 is composite: RES64: 3F6B7507ED2CBE36 (11544.9338s+0.3310s)
40524!+1 is composite: RES64: C2B4DFFEAB042AEA (11289.0825s+0.3336s)
40527!+1 is composite: RES64: DD094E1D4D35EAB8 (10023.6431s+0.2927s)
40531!+1 is composite: RES64: FDD97EF1654274B5 (10096.0128s+0.2942s)
40534!+1 is composite: RES64: 10739025F79BD93E (10417.8009s+0.2992s)
40537!+1 is composite: RES64: 10C474F2AFEA2901 (10210.4781s+0.3006s)
40539!+1 is composite: RES64: C3BA9CC319506A62 (10262.1942s+0.2924s)
40540!+1 is composite: RES64: 70E209E302539DBC (10538.6784s+0.3015s)
40541!+1 is composite: RES64: 1801D769337DE940 (11635.2241s+0.3211s)
40543!+1 is composite: RES64: 260D38E28828F92F (10352.1169s+0.6219s)
40546!+1 is composite: RES64: 4B3B8051FC566A25 (9869.8423s+0.2837s)
40553!+1 is composite: RES64: 84A648D28C7D8BC7 (9731.1312s+0.2841s)
40556!+1 is composite: RES64: 3842E3AF063361CF (10043.1219s+0.2802s)
40557!+1 is composite: RES64: EE25852CAEB53F76 (9947.0346s+0.2884s)
40559!+1 is composite: RES64: 893E8F05A2C61BA5 (9851.1344s+0.2819s)
40560!+1 is composite: RES64: D7D57BD3C5A274E3 (9884.5405s+0.3414s)
40562!+1 is composite: RES64: 3404DFE8244092EC (10142.9558s+0.2947s)
40567!+1 is composite: RES64: 10498DF924B78E08 (10052.8863s+0.2850s)
40570!+1 is composite: RES64: 40BEA908A1FAB71D (9801.7058s+0.2933s)
40571!+1 is composite: RES64: D0B0B03AE1CAB2AD (9610.5938s+0.2837s)
40572!+1 is composite: RES64: 786CEDCD4A8E0A6A (9611.8083s+0.2811s)
40575!+1 is composite: RES64: 6B42CE947B1E89F2 (9914.7393s+0.3467s)
40583!+1 is composite: RES64: 1385CBC29919DF7A (9737.9637s+0.2866s)
40584!+1 is composite: RES64: 150418417BAEC971 (9593.0649s+0.2763s)
40587!+1 is composite: RES64: 4859A06AB900123B (9993.2303s+0.2813s)
40591!+1 is composite: RES64: 82C0313E0DDFC172 (10658.2080s+0.3199s)
40597!+1 is composite: RES64: 9F97AD8EA51ADA51 (15798.9935s+0.3095s)
40598!+1 is composite: RES64: D1B1ABE954B9B008 (9757.2891s+0.2885s)
40600!+1 is composite: RES64: 20B89D038CA4735C (9582.2985s+0.2748s)
40602!+1 is composite: RES64: 00E0D769859A7694 (9959.0515s+0.2798s)
40606!+1 is composite: RES64: 2FB859CE8BC580DE (9651.1445s+0.2785s)
40607!+1 is composite: RES64: 1441C95FDB303911 (9635.8577s+0.2737s)
40610!+1 is composite: RES64: AAB966696171D6CF (9787.8649s+0.2763s)
40611!+1 is composite: RES64: 0032EDB3E8D4165C (10589.1488s+0.2926s)
40613!+1 is composite: RES64: 6496641C8042675F (10876.7069s+0.3063s)
40614!+1 is composite: RES64: C5456427E864DB15 (10465.8208s+0.3068s)
40615!+1 is composite: RES64: 91F91C3638E327FE (10432.8131s+0.3070s)
40616!+1 is composite: RES64: 84C8702E263BEA4B (10652.2577s+0.3518s)
40617!+1 is composite: RES64: 52E94B1C69CAB52A (10260.9512s+0.3009s)
40620!+1 is composite: RES64: ED7AC25A03616B2B (10904.9059s+0.2997s)
40622!+1 is composite: RES64: A97163B53D6180B8 (11010.7379s+0.3176s)
40625!+1 is composite: RES64: 15D915681784B12C (11605.0955s+0.3215s)
40628!+1 is composite: RES64: 81CC37A344F45A66 (12322.8640s+0.3311s)
40629!+1 is composite: RES64: E244B2B98CEA7530 (10038.5205s+0.2957s)
40630!+1 is composite: RES64: C0C93816DCD9137B (9744.5329s+0.2809s)
40634!+1 is composite: RES64: 49AB1B238790D1EA (9588.5043s+0.2897s)
40635!+1 is composite: RES64: F8A45CCCAF52CC9F (9724.8838s+0.2808s)
40637!+1 is composite: RES64: B7F07783080E98BF (10179.4869s+0.2903s)
40641!+1 is composite: RES64: 54BB85740CC9DBFA (10128.7000s+0.2987s)
40643!+1 is composite: RES64: A1B8A309A6D96034 (10494.6542s+0.2998s)
40648!+1 is composite: RES64: 311E44B704B7A75B (17917.4189s+0.3129s)
40650!+1 is composite: RES64: 1BA1267B4797A479 (10609.4990s+0.3061s)
40651!+1 is composite: RES64: C258E1BB6F8D374E (10234.6692s+0.2980s)
40656!+1 is composite: RES64: BAA35F75247BDD2D (10556.3584s+0.2888s)
40662!+1 is composite: RES64: AB5222361B7DBAF0 (10465.3044s+0.2917s)
40666!+1 is composite: RES64: FAB29008A84E8A17 (10390.0851s+0.3141s)
40677!+1 is composite: RES64: 6C80E5EC400302AA (10586.4580s+0.2940s)
40678!+1 is composite: RES64: 572B9251863F8780 (11155.4004s+0.3031s)
40682!+1 is composite: RES64: 0DF11F3A43632CF2 (13030.7584s+0.3052s)
40685!+1 is composite: RES64: 879AB7352D6BEA86 (10599.8210s+0.2969s)
40686!+1 is composite: RES64: 8D779C6BD2633934 (10280.5731s+0.2910s)
40687!+1 is composite: RES64: 7E0659BD10C761CD (10621.9824s+0.3024s)
40689!+1 is composite: RES64: AA9EA5EDB172CA05 (10492.6323s+0.2928s)
40691!+1 is composite: RES64: 208A21390BE41E57 (10457.4374s+0.2912s)
40694!+1 is composite: RES64: A1D2534C10C10486 (10698.4301s+0.2927s)
40700!+1 is composite: RES64: A7FAB976974915F6 (11161.8349s+0.3059s)
40701!+1 is composite: RES64: 7594C1E473117C14 (12841.4848s+0.3893s)
40702!+1 is composite: RES64: 2EE8462EE9490BBD (10576.0519s+0.3112s)
40703!+1 is composite: RES64: FE6F59898AAEDEB3 (10293.0188s+0.2903s)
40704!+1 is composite: RES64: 71B05DEF0BCFA030 (10561.5233s+0.2980s)
40705!+1 is composite: RES64: E6F334D4CF73346D (10859.1459s+0.2867s)
40706!+1 is composite: RES64: F69665C59CCF7E9D (11109.7325s+0.3140s)
40710!+1 is composite: RES64: ABDB0379DBF18D81 (11236.5938s+0.3130s)
40711!+1 is composite: RES64: 3A4561407F0A4413 (12085.2482s+0.3175s)
40716!+1 is composite: RES64: 4B0C0746F31B6B86 (9975.1866s+0.3123s)
40718!+1 is composite: RES64: 728788B62EB0D715 (9656.7551s+0.2876s)
40720!+1 is composite: RES64: 3736767076AA5660 (9493.3578s+0.2815s)
40722!+1 is composite: RES64: C7102973EC4854F9 (9805.2425s+0.2764s)
40723!+1 is composite: RES64: D477B3413AE2869B (9734.3467s+0.2761s)
40727!+1 is composite: RES64: 6034A77FEEB2A546 (9599.2076s+0.2827s)
40728!+1 is composite: RES64: 03AE5A710FBA81B1 (9695.9939s+0.2824s)
40731!+1 is composite: RES64: CC4A40CD08E7EED7 (10064.8201s+0.2865s)
40732!+1 is composite: RES64: 867A98DF6300C1D6 (11534.4026s+0.2914s)
40734!+1 is composite: RES64: 832AB7C58DCCD792 (11175.2558s+0.3214s)
40736!+1 is composite: RES64: 249A4E145768EE83 (10681.1636s+0.3006s)
40745!+1 is composite: RES64: 8415F5AB7F9D2460 (10847.8429s+0.3629s)
40746!+1 is composite: RES64: AAF27508F62340F6 (10857.4515s+0.3144s)
40754!+1 is composite: RES64: 83372A787B52E8DC (10767.3136s+0.3114s)
40757!+1 is composite: RES64: 258B9A73E4D5444F (10918.7161s+0.3122s)
40759!+1 is composite: RES64: ACB1EDF3CFC1189E (11484.6048s+0.3109s)
40760!+1 is composite: RES64: 3C5FE04595EF3469 (11279.6672s+0.3362s)
40764!+1 is composite: RES64: C44DFA48C0503D16 (10023.9574s+0.2924s)
40765!+1 is composite: RES64: E54FAE51799BFCA8 (9737.4856s+0.2816s)
40771!+1 is composite: RES64: 2F13F6B4FB68B882 (10503.3155s+0.2855s)
40773!+1 is composite: RES64: 2811DFC687255D37 (9547.8104s+0.4631s)
40778!+1 is composite: RES64: C5186C5D7D41CEA0 (10531.4508s+0.3230s)
40783!+1 is composite: RES64: 6FB8EC1BD886AE51 (10694.4798s+0.3117s)
40784!+1 is composite: RES64: 6EEB3A1F5542CEC5 (10946.3325s+0.3031s)
40785!+1 is composite: RES64: 534D96915229D0CC (21350.5688s+0.4920s)
40788!+1 is composite: RES64: 1F586F198C2E1244 (15652.2082s+0.4151s)
40796!+1 is composite: RES64: F3C3D7EEDAEA1A0E (10243.1665s+0.8982s)
40802!+1 is composite: RES64: 51077811CE8503BA (10512.9481s+0.6541s)
40805!+1 is composite: RES64: 66ABA591C1C459E9 (10554.9662s+0.3323s)
40806!+1 is composite: RES64: A91C8474B023DB12 (11205.3004s+0.3155s)
Resuming at bit 447039
40811!+1 is composite: RES64: B3C08AA043E040DF (2443.1847s+0.3030s)
40821!+1 is composite: RES64: 31E66E546F6421DB (17838.4457s+0.2963s)
40825!+1 is composite: RES64: AF7BBD2B6F1E3498 (12663.0707s+0.3696s)
40829!+1 is composite: RES64: 01D165AABABBDC71 (15259.4682s+0.3303s)
40831!+1 is composite: RES64: E9150F97C5FAE1C4 (11076.5070s+0.6843s)
40841!+1 is composite: RES64: 3BDC3CBDF428D244 (10671.8185s+0.8427s)
40843!+1 is composite: RES64: 1F24987504142082 (11035.3125s+0.4051s)
40849!+1 is composite: RES64: 542DBFCE79C61079 (11742.9777s+0.3391s)
40850!+1 is composite: RES64: B95ED6F56E49A591 (12822.8849s+0.6556s)
40851!+1 is composite: RES64: AEF887BA4EFF0F4F (9756.4836s+0.2835s)
40855!+1 is composite: RES64: C9BB0AEDFB878BEB (9560.9443s+0.3127s)
40857!+1 is composite: RES64: CCFB91C092C0CD05 (9878.1200s+0.2791s)
40859!+1 is composite: RES64: AAE02CCDFC0F1204 (10000.8183s+0.2946s)
40860!+1 is composite: RES64: 2AC0E9846828C7B4 (10340.6325s+0.2929s)
40863!+1 is composite: RES64: C05F9A09940A8AE1 (10150.5061s+0.2928s)
40869!+1 is composite: RES64: AE9B4C3968D1DA08 (10369.7778s+0.3024s)
40872!+1 is composite: RES64: 0DAF90821171CC3D (10253.1478s+0.2920s)
40874!+1 is composite: RES64: 5843C6F6D4A346B1 (9796.7452s+0.2984s)
40876!+1 is composite: RES64: 6700472EFA814521 (9613.3680s+0.2881s)
40879!+1 is composite: RES64: FDD27BB3C71F348B (9697.5834s+0.2680s)
40880!+1 is composite: RES64: EA6132FA4078AD39 (9764.6198s+0.2885s)
40887!+1 is composite: RES64: 3A9ED8985E71B38D (9569.9812s+0.2773s)
40890!+1 is composite: RES64: A50FC45D019BC4C9 (9616.5620s+0.2750s)
40891!+1 is composite: RES64: CF1F360A9C358CDD (10020.6534s+0.2760s)
40892!+1 is composite: RES64: BE310D845C739327 (13462.6476s+0.2967s)
40893!+1 is composite: RES64: FDD0DEB1FA7B6CC5 (12015.8078s+0.3318s)
40895!+1 is composite: RES64: 42CAC185664CC6B5 (10330.6297s+0.2944s)
40898!+1 is composite: RES64: 48D096C761F26BC6 (10239.9726s+0.2895s)
40899!+1 is composite: RES64: D8F4B9A93494DAE8 (10452.3941s+0.3022s)
40900!+1 is composite: RES64: BA71EF746579AB8B (10209.9808s+0.2902s)
40901!+1 is composite: RES64: 719755E63D119B61 (10283.1559s+0.2907s)
40903!+1 is composite: RES64: CF68477E8316F227 (10823.6382s+0.2945s)
40904!+1 is composite: RES64: C0C7740EBFE8B0A3 (7523.1121s+0.2803s)
Resuming at bit 307500
40906!+1 is composite: RES64: 61D9EE1F79DC0110 (5105.4480s+0.5907s)
40908!+1 is composite: RES64: 2E65ABD89FC5D455 (9650.9373s+0.2881s)
40911!+1 is composite: RES64: 01DD4C63916C2E05 (9717.2754s+0.2795s)
40912!+1 is composite: RES64: C96610FE09CD33D7 (9744.3785s+0.2929s)
40914!+1 is composite: RES64: 73536D8D924113A4 (9583.1317s+0.2767s)
40915!+1 is composite: RES64: 23841560B7E994E3 (9610.2297s+0.2773s)
40917!+1 is composite: RES64: 9EF808B6FD4EBCD0 (9956.9142s+0.2798s)
40920!+1 is composite: RES64: 2972C3B8CCA0AF0B (9985.1332s+0.3018s)
Resuming at bit 184777
40924!+1 is composite: RES64: E7392EFA0E9EE1B5 (11422.0677s+0.4312s)
40928!+1 is composite: RES64: C55BD5EFF416D602 (10813.8661s+0.3645s)
40929!+1 is composite: RES64: E3FBA8699BA9612B (11508.4211s+0.3158s)
40933!+1 is composite: RES64: 34E0E13FB7F973BC (10852.9937s+0.3054s)
40937!+1 is composite: RES64: 405EFBAE184BD50F (11537.4717s+0.3099s)
40944!+1 is composite: RES64: EABCBFD9D482C754 (11811.9454s+0.3324s)
40947!+1 is composite: RES64: 2E2E89B74973438C (11759.7920s+0.3302s)
40951!+1 is composite: RES64: 8F83D2F9E0240DE1 (11961.3156s+0.3265s)
40953!+1 is composite: RES64: DA61EEB0284A609A (11388.4392s+0.3759s)
40956!+1 is composite: RES64: 8C08C3553A7C3E92 (10826.1992s+0.3148s)
40957!+1 is composite: RES64: 6D5E56E7B8B7C757 (10622.7337s+0.3042s)
40958!+1 is composite: RES64: 2F6A2735990BA936 (11264.7954s+0.3033s)
40962!+1 is composite: RES64: 2F43068735C8E0AD (13514.7370s+0.3558s)
40966!+1 is composite: RES64: 680B0DEF12C084B7 (13831.4812s+0.3990s)
40970!+1 is composite: RES64: 0B1A83D3EF3448BB (12894.5594s+0.3673s)
40973!+1 is composite: RES64: 4E4649D504138BAB (12604.1382s+0.3739s)
40975!+1 is composite: RES64: A4197139003523E3 (9625.6905s+0.3106s)
40980!+1 is composite: RES64: 8F2E4B79E5E2351E (9742.1080s+0.2710s)
40989!+1 is composite: RES64: 975C96CCBEE0EF21 (9571.3499s+0.2820s)
40990!+1 is composite: RES64: 3A6944AF15AC428B (9624.3145s+0.2731s)
40994!+1 is composite: RES64: C5BA843A4E9C9C10 (9726.9031s+0.2879s)
40996!+1 is composite: RES64: EBCF78B8E18E44F7 (10034.8688s+0.2895s)
40997!+1 is composite: RES64: 3C252CE516B9B937 (10721.7661s+0.2972s)
40998!+1 is composite: RES64: 165BE9A6DB89338B (14022.7187s+0.5130s)
41009!+1 is composite: RES64: 03590AE0C9CDF208 (9713.9720s+0.2925s)
41012!+1 is composite: RES64: 97456A786C74B914 (9767.2475s+0.2741s)
41014!+1 is composite: RES64: 049E5EFAB487CFE4 (9983.0690s+0.2969s)
41017!+1 is composite: RES64: C26AD53AD3A6E550 (9892.9187s+0.2954s)
41025!+1 is composite: RES64: 5853D385B2BC4FB0 (9962.8932s+0.2905s)
41027!+1 is composite: RES64: 8255C8237E163BA5 (10197.8717s+0.2894s)
41029!+1 is composite: RES64: 7EE4744209E98582 (10624.4403s+0.3008s)
41032!+1 is composite: RES64: 5D009322F974FD01 (13635.4066s+0.3929s)
41033!+1 is composite: RES64: 29489CBCDEE76CAD (10503.9090s+0.3161s)
41035!+1 is composite: RES64: 8DFD34203ED80706 (10476.6433s+0.3018s)
41036!+1 is composite: RES64: DF39B9F8B39FFF1D (10722.7314s+0.3185s)
41037!+1 is composite: RES64: 79923D0D33116D84 (10564.2485s+0.3095s)
41040!+1 is composite: RES64: 5D594BC4326BE042 (10698.8080s+0.3008s)
41044!+1 is composite: RES64: F591EA8679E8F20B (11177.3122s+0.3126s)
41045!+1 is composite: RES64: 89BB1154419B4939 (28694.0298s+0.3398s)
41058!+1 is composite: RES64: 90C088611316246D (11721.8127s+0.4104s)
41059!+1 is composite: RES64: F27AE2C5FEE16DCE (11934.5509s+0.3391s)
41060!+1 is composite: RES64: A110C4F33DFA99A3 (12317.9366s+0.3221s)
41061!+1 is composite: RES64: BC1C2A4CDC7C89B0 (12287.9060s+0.3368s)
41062!+1 is composite: RES64: BECC9971E08F47A1 (12808.1442s+0.3570s)
41064!+1 is composite: RES64: 10DB2B6C054F1AF1 (26658.9504s+0.5998s)
41068!+1 is composite: RES64: B89EB77549E510F0 (9976.5512s+0.3005s)
41070!+1 is composite: RES64: 1660FDB44C9FEBAD (10285.4002s+0.2998s)
41073!+1 is composite: RES64: BCBD93267BB6D229 (10447.8187s+0.3031s)
41074!+1 is composite: RES64: 6BC0632BA46834B6 (10626.3341s+0.3293s)
41079!+1 is composite: RES64: B5410A1F403EA8C6 (10495.6164s+0.3088s)
41084!+1 is composite: RES64: 9360889C8C4FADC5 (10367.1849s+0.3034s)
41086!+1 is composite: RES64: 7A126E28E7CA8DD8 (15138.8539s+0.3086s)
41088!+1 is composite: RES64: 9964C9FC6535AA7B (10178.7493s+0.2940s)
41090!+1 is composite: RES64: 3A481C186E5C3D2C (10127.8969s+0.2978s)
41096!+1 is composite: RES64: B70C63F627780EC7 (11003.8290s+0.4762s)
41098!+1 is composite: RES64: 99DBE12EA65B5098 (10350.8602s+0.3229s)
41101!+1 is composite: RES64: CB6BA4D19FAB27A6 (10230.2005s+0.3017s)
Resuming at bit 394207
41102!+1 is composite: RES64: 507E3F7D6B26B5FE (3241.9118s+0.5448s)
41111!+1 is composite: RES64: C01B471F63090B3E (10291.0152s+0.3034s)
41120!+1 is composite: RES64: B35CCC90B7CD030A (19761.7879s+0.3021s)
41124!+1 is composite: RES64: 93B6B0606AB66638 (11003.2485s+0.3031s)
41126!+1 is composite: RES64: 70614EC379C0B5F9 (10859.9282s+0.2951s)
Resuming at bit 488374
41127!+1 is composite: RES64: C0849595B5FD80E0 (3138.8192s+0.5109s)
41143!+1 is composite: RES64: B604EA278E98E377 (11093.7705s+0.7063s)
41149!+1 is composite: RES64: 1BEEB076268D6981 (25332.7144s+0.5020s)
41154!+1 is composite: RES64: BCCC7C51328706FE (10116.0897s+0.3266s)
41157!+1 is composite: RES64: 3EDA0F263A609713 (9833.3293s+0.2928s)
41159!+1 is composite: RES64: 3964E39DC0110F72 (9796.5912s+0.2835s)
41165!+1 is composite: RES64: 5D71F135FFF7A01B (10082.5402s+0.2912s)
41166!+1 is composite: RES64: 9D66AACC0675BC98 (10345.9230s+0.2979s)
41172!+1 is composite: RES64: 0F6D2C9474941D1C (10468.4467s+0.3033s)
41174!+1 is composite: RES64: 1BF9B4DC2DEFEDBA (10492.7473s+0.3122s)
41179!+1 is composite: RES64: 7EEE060773C30CD7 (10365.5342s+0.3034s)
Resuming at bit 270000
41181!+1 is composite: RES64: 928E9C216E5F426E (5356.6703s+0.2470s)
41185!+1 is composite: RES64: B8AF08F84BD77EB6 (15206.8376s+0.3027s)
41187!+1 is composite: RES64: 612AAF79A022BBDA (10287.5270s+0.3129s)
41190!+1 is composite: RES64: 1BD6A9D1873BD246 (10134.3978s+0.2964s)
41192!+1 is composite: RES64: 096F397B1252ED3B (10435.4435s+0.2957s)
41194!+1 is composite: RES64: D5F919F69B4B9CA9 (10262.3506s+0.2963s)
41199!+1 is composite: RES64: AE2F3CF0D04697E7 (10369.2431s+0.3024s)
41204!+1 is composite: RES64: 25650E28F56D1342 (10580.6657s+0.3048s)
41207!+1 is composite: RES64: 5D120D7CC2718D49 (10768.4915s+0.3151s)
41208!+1 is composite: RES64: 3E895C0285BCCE7A (18019.9255s+0.3259s)
41210!+1 is composite: RES64: 09F61703ACD81D98 (10344.0420s+0.3057s)
41213!+1 is composite: RES64: 42E4A73FE1BDD9DD (10369.6420s+0.2967s)
41216!+1 is composite: RES64: 18399B303F63760F (10499.6634s+0.3145s)
41221!+1 is composite: RES64: 2F2AC862CAF7C31E (10652.6260s+0.3089s)
41225!+1 is composite: RES64: 2822D9823FCA130D (11054.0375s+0.3298s)
41229!+1 is composite: RES64: 3477195F54D3F3E0 (15059.5115s+0.3172s)
41234!+1 is composite: RES64: 0A42E64DAE87CC9B (18472.5343s+0.2980s)
41235!+1 is composite: RES64: 549C0AD52E34201C (9887.0370s+0.2966s)
41236!+1 is composite: RES64: E418D102A69B41C9 (10656.0114s+0.2825s)
41239!+1 is composite: RES64: F2C732D06EBD04FA (9767.1552s+0.3105s)
41246!+1 is composite: RES64: 6EA670FA61D1857E (10323.4355s+0.2947s)
41247!+1 is composite: RES64: 7AA778C74DEFDBED (23191.4313s+0.3014s)
41248!+1 is composite: RES64: AC66BFC9B9F99DCE (10704.2297s+0.3403s)
41253!+1 is composite: RES64: 1AEF0676FA900D5C (16550.1813s+0.3132s)
41258!+1 is composite: RES64: 991D0B645A3EDA08 (9894.4770s+0.3274s)
41259!+1 is composite: RES64: BB8CE3A94615B48B (9748.5547s+0.2859s)
41260!+1 is composite: RES64: 99D485A138FBE092 (9998.2279s+0.2831s)
41269!+1 is composite: RES64: CDE68BE491F30A56 (10059.1589s+0.3041s)
41270!+1 is composite: RES64: B71E2D2690424A5C (10117.4831s+0.2906s)
41273!+1 is composite: RES64: 84682CBB290A15C5 (10405.6378s+0.2981s)
41275!+1 is composite: RES64: |
|
|
|
|
|
Hi Again,
Looks like there is a limit on the size of posts.
Can I send the data stes somewhere?
In addition to the plus previously mentioned I have minus 3900-39500 and 46001-70000
Cheers
Ken |
|
|
|
|
|
After long and hard search on factorial primes it seems I've caught one.
|
|
|
 HAmstyVolunteer tester
Send message
Joined: 26 Dec 08
Posts: 132
ID: 33421
Credit: 12,510,712
RAC: 0
            
|
After long and hard search on factorial primes it seems I've caught one.
wow congratulation, i had also really hard times on fps
____________
 |
|
|
JohnHonorary cruncher
Send message
Joined: 21 Feb 06
Posts: 2875
ID: 2449
Credit: 2,681,934
RAC: 0
|
After long and hard search on factorial primes it seems I've caught one.
wow congratulation, i had also really hard times on fps
Yes, this is very exciting news. The double check is currently in progress. Afterwards, we'll have to await a new proof code for the fsieve (fpsieve) software that did the sieving.
If confirmed, this will be a HUGE victory for the Factorial Prime Search. More details to come later.
____________
|
|
|
JohnHonorary cruncher
Send message
Joined: 21 Feb 06
Posts: 2875
ID: 2449
Credit: 2,681,934
RAC: 0
|
|
World Record Factorial Prime!!!
A remarkable discovery was made yesterday in PrimeGrid's PRPNet. Dmitry Domanov found a World Record Factorial prime.
94550!-1 is prime and is 429,390 digits long. It enters Chris Caldwell's The Largest Known Primes Database ranked 1st for Factorial primes and 155th overall.
This is only the 24th known Factorial prime...the 14th discovery in the last 29 years and the first in over 8 years. Needless to say, this is a very rare find. It more than triples the size of the previous record of 34790!-1 (142891 digits).
Congratulations to Dmitry and all the others who participated in this project. Now let's find a +1 form to match this discovery. :)
For more details, please see the official announcement.
____________
|
|
|
rogueVolunteer developer
Send message
Joined: 8 Sep 07
Posts: 1194
ID: 12001
Credit: 18,565,548
RAC: 0
|
|
Congrats to Dmitry! If only I were the lucky one.
A challenge goes out to everyone to find the next primorial prime. |
|
|
|
|
|
Wooot! Congrats Dmitry Domanov!!!! If I had a choice on which project to find a prime in, this would be in the top 3 for its rarity, that's for sure!
____________
John M. Johnson "Novex" |
|
|
|
|
|
According to stats we have another factorial prime! |
|
|
|
|
According to stats we have another factorial prime!
Yes :)
We are running a duble check now.
Lennart |
|
|
|
|
|
Sorry unconnected. It looks like I snuck in there and grabbed a prime while waiting for 121 to be filled back up.
____________
 |
|
|
|
|
|
We are now at n=111k and testing times quickly grows.
On the same computer:
[2010-03-04 07:23:47 GMT] Candidate: 73729!+1 Program: pfgw.exe Residue: 321A6560E0B939A8 Time: 8310 seconds
...
[2011-07-14 11:17:51 AST] Candidate: 111078!+1 Program: pfgw32.exe Residue: 846F6A128A7837B7 Time: 21008 seconds
|
|
|
rogueVolunteer developer
Send message
Joined: 8 Sep 07
Posts: 1194
ID: 12001
Credit: 18,565,548
RAC: 0
|
|
A new factorial prime has been discovered: http://primes.utm.edu/primes/page.php?id=102627. Unfortunately it wasn't found by this project. |
|
|
|
|
|
Noooo!
Will knock mine off the top spot :( Does this mean that we are currently testing a range that has been tested before?
____________
My Top 5000 Primes:
110059!+1 is prime! (FPS)
14493618614235*2^666666-1 is prime! (SGS) |
|
|
rogueVolunteer developer
Send message
Joined: 8 Sep 07
Posts: 1194
ID: 12001
Credit: 18,565,548
RAC: 0
|
Noooo!
Will knock mine off the top spot :( Does this mean that we are currently testing a range that has been tested before?
No. The range worked on by PrimeGrid has not been searched, at least by anyone doing a public search. Someone would need a hundred or more cores to search that far. There is no record of what he used to eliminate candidates (such as a sieve), and he must have used one.
I've e-mailed him and asked for more details. I'm guessing that he started at 150000! and got lucky. |
|
|
rogueVolunteer developer
Send message
Joined: 8 Sep 07
Posts: 1194
ID: 12001
Credit: 18,565,548
RAC: 0
|
|
I got a response from Rene. He used pfgw trial division (no sieving) and was running a small range. He basically got extremely lucky. |
|
|
|
|
|
Brilliant! |
|
|
|
|
|
Well I would imagine there is another few primes to be found from the current leading edge and his one!
I will hopefully be added another few cores to the search before the end of the year!
____________
My Top 5000 Primes:
110059!+1 is prime! (FPS)
14493618614235*2^666666-1 is prime! (SGS) |
|
|
|
|
|
We are now at n=114200, I'll add several cores to clean up this port (1880 tests remaining). |
|
|
|
|
|
Can anyone tell me till what range N!-1 and N!+1 are tested at this moment?
kind regards
Leon Marchal
____________
|
|
|
|
|
Can anyone tell me till what range N!-1 and N!+1 are tested at this moment?
kind regards
Leon Marchal
The server says both are completed to 125856 and the leading edges are 125858 for - and 125857 for +
____________
PrimeGrid Challenge Overall standings --- Last update: From Pi to Paddy (2016)
 |
|
|
|
|
|
Thanks
Is it possible to use BOINC/primegrid in such a way that I specifically contribute to searching for n!-1 and n!+1 primes?
ifso, could anyone give me some hints/instructions?
kind regards
Leon Marchal |
|
|
HonzaVolunteer moderator
Volunteer tester
Project scientist
Send message
Joined: 15 Aug 05
Posts: 1860
ID: 352
Credit: 2,848,723,284
RAC: 1,040,405
|
|
I'm afraid it is not possible to use BOINC/PG infrastructure to search for factorial/primorial primes (nor sieving) at the moment.
If you are intersted in this kind of search (or some others as well), you will need to use PRPNet.
On the other hand, PRPNet has some advantages as well - no need to install anything (unlike BOINC), it works on domain controllers (unlike BOINC) etc.
____________
My stats
Badge score: 1*1 + 5*1 + 8*3 + 9*11 + 10*1 + 11*1 + 12*3 = 186 |
|
|
|
|
Thanks
Is it possible to use BOINC/primegrid in such a way that I specifically contribute to searching for n!-1 and n!+1 primes?
ifso, could anyone give me some hints/instructions?
kind regards
Leon Marchal
This thread gives some instruction on how to install and run a PRPnet client on your computer. It's pretty simple. Good luck!
--Gary
____________
"I am he as you are he as you are me and we are all together"
87*2^3496188+1 is prime! (1052460 digits)
4 is not prime! (1 digit) |
|
|
|
|
|
it looks like the server is down
kind regards
leon |
|
|
|
|
it looks like the server is down
kind regards
leon
It looks like all the ports on prpnet.primegrid.com are down. I've sent an email to Lennart.
____________
My lucky number is 75898524288+1
(I am NOT an administrator anymore, so please don't PM me with questions. I can't help.) |
|
|
|
|
|
Since two weeks I am participating in the factorial prime search
On one pc I installed prpclient-5.0.8-windows-gpu (32 bit and 64 bit), but I get the impression pfgw is only running on the cpu
Am I doing something wrong, or is pfgw not capable of running on a GPU?
(nvidea gtx 555M)
kind
Leon
|
|
|
HonzaVolunteer moderator
Volunteer tester
Project scientist
Send message
Joined: 15 Aug 05
Posts: 1860
ID: 352
Credit: 2,848,723,284
RAC: 1,040,405
|
|
pfgw can do a lot of different tests but is limited to CPU only.
The package you've downloaded has two GPU capable apps, GeneferCUDA (for CUDA) and wwwwcl (for OpenCL). Those are intended for two other PRPNet sub-projects - GFN and WWWW (Wieferich and Wall-Sun-Sun).
____________
My stats
Badge score: 1*1 + 5*1 + 8*3 + 9*11 + 10*1 + 11*1 + 12*3 = 186 |
|
|
|
|
|
It looks if the server for at least the factorial prime search is down
happy christmans
kind regards
leon
____________
|
|
|
|
|
|
Fixed
Lennart |
|
|
|
|
|
ls,
looks as if again the server for at least the factorial prime search is down
kind regards
leon
|
|
|
|
|
|
Port is still down =( |
|
|
|
|
Port is still down =(
I restarted it. I'm not really sure what I'm doing when it comes to PRPNet, but it looks like it it's running.
____________
My lucky number is 75898524288+1
(I am NOT an administrator anymore, so please don't PM me with questions. I can't help.) |
|
|
|
|
|
it looks like again the server is down
kind regards |
|
|
|
|
it looks like again the server is down
kind regards
Yes it is.
Take a look at the first sticky post in this topic (the one in all caps), or, for that matter, the front page of this website.
____________
My lucky number is 75898524288+1
(I am NOT an administrator anymore, so please don't PM me with questions. I can't help.) |
|
|
|
|
|
these jobs are finished but will time out now
[2013-02-10 22:52:19 W(] Server: FPS, Candidate: 130326!+1 Program: pfgw32.exe Residue: 9A49325CBDC81082 Time: 191189 seconds
[2013-02-12 02:01:40 W(] Server: FPS, Candidate: 130326!-1 Program: pfgw32.exe Residue: D0AC7A4B88BDC438 Time: 29313 seconds
[2013-02-12 00:32:54 W(] Server: FPS, Candidate: 130328!-1 Program: pfgw32.exe Residue: 78BC4CF9DC6D3D18 Time: 283562 seconds
[2013-02-10 22:18:40 W(] Server: FPS, Candidate: 130330!-1 Program: pfgw32.exe Residue: FC8FA8D152A85FE8 Time: 189170 seconds
[2013-02-12 12:43:47 W(] Server: FPS, Candidate: 130331!+1 Program: pfgw32.exe Residue: D7421AF293B567C8 Time: 67825 seconds
[2013-02-10 22:47:57 W(] Server: FPS, Candidate: 130332!-1 Program: pfgw32.exe Residue: 640D8CF6A956F556 Time: 190927 seconds
[2013-02-14 14:15:55 W(] Server: FPS, Candidate: 130333!-1 Program: pfgw32.exe Residue: 21941B6B639AB0A9 Time: 659 seconds
[2013-02-10 02:14:18 W(] Server: FPS, Candidate: 130335!+1 Program: pfgw32.exe Residue: 7F7EA3F8F9E30503 Time: 116885 seconds
[2013-02-12 00:35:14 W(] Server: FPS, Candidate: 130337!-1 Program: pfgw32.exe Residue: D11C67D777892019 Time: 283683 seconds
[2013-02-11 14:51:35 W(] Server: FPS, Candidate: 130338!-1 Program: pfgw32.exe Residue: 2A04A55A7898DD22 Time: 248671 seconds
[2013-02-12 12:46:37 W(] Server: FPS, Candidate: 130339!-1 Program: pfgw32.exe Residue: CAAD59AB178134AE Time: 67991 seconds
[2013-02-12 11:32:51 W(] Server: FPS, Candidate: 130340!-1 Program: pfgw32.exe Residue: D1418E7BE4AA56E0 Time: 63556 seconds
[2013-02-12 12:33:16 W(] Server: FPS, Candidate: 130341!+1 Program: pfgw32.exe Residue: A8C70FE27CB2B7DE Time: 67180 seconds
[2013-02-13 15:52:06 W(] Server: FPS, Candidate: 130343!+1 Program: pfgw32.exe Residue: E63A0858A204386B Time: 115081 seconds
[2013-02-13 16:57:32 W(] Server: FPS, Candidate: 130336!-1 Program: pfgw32.exe Residue: 950438C16FFD4380 Time: 118993 seconds
kind regards
LMarc |
|
|
|
|
these jobs are finished but will time out now
We're going to try to fix that. Emphasis on the word "try"; I can't make any promises yet.
____________
My lucky number is 75898524288+1
(I am NOT an administrator anymore, so please don't PM me with questions. I can't help.) |
|
|
|
|
these jobs are finished but will time out now
We're going to try to fix that. Emphasis on the word "try"; I can't make any promises yet.
We have a plan in place that should prevent tasks from expiring. Expiration of tasks will be inhibited when we bring the new server up, so nobody loses any work. We haven't really discussed it yet, regarding how long we'll keep expirations turned off, but I'm thinking a couple of days sounds right in order to let everyone find out that the server is back.
I expect the server will probably be back online sometime later today or tomorrow.
____________
My lucky number is 75898524288+1
(I am NOT an administrator anymore, so please don't PM me with questions. I can't help.) |
|
|
|
|
|
thanks
I personally will need a few more days to physically reach some of the computers to start them. I'm staying at another place due to a funeral
Appreciate if the expiration could be left turned off until at least 28-2-2012
Lmarc |
|
|
|
|
thanks
I personally will need a few more days to physically reach some of the computers to start them. I'm staying at another place due to a funeral
Appreciate if the expiration could be left turned off until at least 28-2-2012
Lmarc
Sure, no problem.
Sorry for your loss.
____________
My lucky number is 75898524288+1
(I am NOT an administrator anymore, so please don't PM me with questions. I can't help.) |
|
|
|
|
|
Lumiukko found this 147855!-1 is Prime
A very nice one :)
Congrats
Lennart
|
|
|
|
|
Lumiukko found this 147855!-1 is Prime
A very nice one :)
Congrats
Lennart
Indeed. According to A002981 in OEIS and The Prime Pages this is the 2nd largest factorial prime ever found. Congratulations from me as well. |
|
|
|
|
|
Will there be an "official" announcement of this prime? Also, will it then be added to the list at FPS overview? |
|
|
|
|
Will there be an "official" announcement of this prime? Also, will it then be added to the list at FPS overview?
Yes, it will.
____________
My lucky number is 75898524288+1
(I am NOT an administrator anymore, so please don't PM me with questions. I can't help.) |
|
|
|
|
Will there be an "official" announcement of this prime? Also, will it then be added to the list at FPS overview?
Yes, it will.
Okay. Thanks for the reply. |
|
|
|
|
|
Maybe this is really obvious somehow, but here we go anyway:
Why are there are two differing decimal lengths given for 147855!-1?
The stats page at PRPNet port 12002 gives a decimal length of 700176, whereas the official announcement and Chris Caldwell's page give a decimal length of 700177. Surely a number's decimal representation has a clearly defined number of base 10 digits, not? (For example 32847364827 has exactly 11 digits). Where does this discrepancy come from? |
|
|
Sysadm@NbgVolunteer moderator
Volunteer tester
Project scientist
Send message
Joined: 5 Feb 08
Posts: 1179
ID: 18646
Credit: 460,341,647
RAC: 109,124
                  
|
|
at my stats side I compute the length with the following algorithm and get as result: 700177
<klick>
PHP-Coding
$a=log(sqrt(2*M_PI),10)+(log($BASE,10)/2)+$BASE*log($BASE,10)-$BASE*M_LOG10E;
echo "<td>".ceil(($a))."</td>";
____________
Sysadm@Nbg
my current lucky number: 3749*2^1555697+1
PSA-PRPNet-Stats-URL: http://u-g-f.de/PRPNet/
 |
|
|
|
|
|
I see. So it is essentially a question of how rounding is being handled. I had no idea how the number of digits is being determined, but the use of such an algorithm explains it.
Much appreciated, thank you. |
|
|
|
|
Maybe this is really obvious somehow, but here we go anyway:
Why are there are two differing decimal lengths given for 147855!-1?
The stats page at PRPNet port 12002 gives a decimal length of 700176, whereas the official announcement and Chris Caldwell's page give a decimal length of 700177. Surely a number's decimal representation has a clearly defined number of base 10 digits, not? (For example 32847364827 has exactly 11 digits). Where does this discrepancy come from?
700177
If you're not sure that the mathematical function you're using is reliable (or you're have conflicting results) one way to check is to actually count the digits.
Use pfgw with the -od option, and redirect stdout to a file. The file then contains the decimal representation of the number being tested. Open this file in a text editor, strip off the other information at the beginning of the line, and then check the column number of the last digit.
I'm not sure how PRPNet is computing the length, but it's clearly wrong. (For numbers of the form k*2^n+/-1, there's a fairly standard formula. For factorials and primorials, the only way I know of to get the length is to expand the number and count the digits. I hadn't seen the formula Sysadm@nbg listed until today.)
____________
My lucky number is 75898524288+1
(I am NOT an administrator anymore, so please don't PM me with questions. I can't help.) |
|
|
JimBHonorary cruncher
Send message
Joined: 4 Aug 11
Posts: 913
ID: 107307
Credit: 974,118,817
RAC: 612
              
|
|
Another way to actually count the digits, this time in php:
echo strlen(gmp_strval(gmp_sub(gmp_fact(147855),1)));
and the answer is 700177 yet again. |
|
|
|
|
|
Looks like there is only one pair of twin primes among all the factorial primes, with n=3? So the question is, are there any other factorial twin primes? |
|
|
