## Other

drummers-lowrise

Message boards : Project Staging Area : Factorial Prime Search

 Subscribe SortOldest firstNewest firstHighest rated posts first
Author Message
John
Honorary cruncher

Joined: 21 Feb 06
Posts: 2875
ID: 2449
Credit: 2,681,934
RAC: 0

Message 15570 - Posted: 12 May 2009 | 1:36:36 UTC

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
____________

Honza
Volunteer moderator
Volunteer tester
Project scientist

Joined: 15 Aug 05
Posts: 1943
ID: 352
Credit: 5,924,681,662
RAC: 1,520,429

Message 17636 - Posted: 22 Aug 2009 | 6:56:27 UTC

I wonder what are completion limits on Factorial?
Some sources says n<37000.

I'm getting some n=51500 taks now...
____________
My stats

thommy3

Joined: 7 Jan 08
Posts: 42
ID: 17265
Credit: 268,651
RAC: 0

Message 17637 - Posted: 22 Aug 2009 | 7:51:22 UTC - in response to Message 17636.

Should be around 50,000 with some untestet ranges at above 37,000.

Joined: 3 Apr 09
Posts: 2
ID: 37936
Credit: 1,035,116,123
RAC: 0

Message 24253 - Posted: 11 Jun 2010 | 10:42:25 UTC - in response to Message 17637.

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)
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)
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)
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:

Joined: 3 Apr 09
Posts: 2
ID: 37936
Credit: 1,035,116,123
RAC: 0

Message 24254 - Posted: 11 Jun 2010 | 10:45:33 UTC - in response to Message 24253.

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

unconnected
Volunteer tester

Joined: 4 Apr 09
Posts: 95
ID: 37970
Credit: 322,887,663
RAC: 224,156

Message 26780 - Posted: 4 Oct 2010 | 19:57:26 UTC

After long and hard search on factorial primes it seems I've caught one.

HAmsty
Volunteer tester

Joined: 26 Dec 08
Posts: 132
ID: 33421
Credit: 12,510,712
RAC: 0

Message 26782 - Posted: 4 Oct 2010 | 20:14:16 UTC - in response to Message 26780.

After long and hard search on factorial primes it seems I've caught one.

wow congratulation, i had also really hard times on fps
____________

John
Honorary cruncher

Joined: 21 Feb 06
Posts: 2875
ID: 2449
Credit: 2,681,934
RAC: 0

Message 26786 - Posted: 4 Oct 2010 | 20:52:09 UTC - in response to Message 26782.

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.
____________

John
Honorary cruncher

Joined: 21 Feb 06
Posts: 2875
ID: 2449
Credit: 2,681,934
RAC: 0

Message 26809 - Posted: 5 Oct 2010 | 20:41:24 UTC

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.
____________

rogue
Volunteer developer

Joined: 8 Sep 07
Posts: 1255
ID: 12001
Credit: 18,565,548
RAC: 0

Message 26838 - Posted: 6 Oct 2010 | 16:15:19 UTC - in response to Message 26809.

Congrats to Dmitry! If only I were the lucky one.

A challenge goes out to everyone to find the next primorial prime.

John M. Johnson "Novex"
Volunteer tester

Joined: 16 Aug 07
Posts: 625
ID: 10876
Credit: 1,066,951
RAC: 0

Message 26840 - Posted: 6 Oct 2010 | 16:21:38 UTC

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"

unconnected
Volunteer tester

Joined: 4 Apr 09
Posts: 95
ID: 37970
Credit: 322,887,663
RAC: 224,156

Message 29257 - Posted: 14 Dec 2010 | 4:59:27 UTC

According to stats we have another factorial prime!

Lennart SM5YMT
Honorary cruncher

Joined: 7 May 07
Posts: 1125
ID: 7989
Credit: 694,692,344
RAC: 0

Message 29272 - Posted: 14 Dec 2010 | 11:50:30 UTC - in response to Message 29257.

According to stats we have another factorial prime!

Yes :)

We are running a duble check now.

Lennart

Aeneas

Joined: 16 Nov 09
Posts: 64
ID: 50189
Credit: 335,429,445
RAC: 6,264

Message 29783 - Posted: 22 Dec 2010 | 0:25:31 UTC - in response to Message 29257.

Sorry unconnected. It looks like I snuck in there and grabbed a prime while waiting for 121 to be filled back up.
____________

unconnected
Volunteer tester

Joined: 4 Apr 09
Posts: 95
ID: 37970
Credit: 322,887,663
RAC: 224,156

Message 38285 - Posted: 14 Jul 2011 | 13:52:47 UTC

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

rogue
Volunteer developer

Joined: 8 Sep 07
Posts: 1255
ID: 12001
Credit: 18,565,548
RAC: 0

Message 42386 - Posted: 31 Oct 2011 | 15:55:18 UTC

A new factorial prime has been discovered: http://primes.utm.edu/primes/page.php?id=102627. Unfortunately it wasn't found by this project.

Hammeh

Joined: 11 Nov 08
Posts: 114
ID: 31582
Credit: 4,377,201
RAC: 0

Message 42387 - Posted: 31 Oct 2011 | 15:59:59 UTC

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)

rogue
Volunteer developer

Joined: 8 Sep 07
Posts: 1255
ID: 12001
Credit: 18,565,548
RAC: 0

Message 42389 - Posted: 31 Oct 2011 | 16:41:21 UTC - in response to Message 42387.

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.

rogue
Volunteer developer

Joined: 8 Sep 07
Posts: 1255
ID: 12001
Credit: 18,565,548
RAC: 0

Message 42392 - Posted: 31 Oct 2011 | 18:40:51 UTC

I got a response from Rene. He used pfgw trial division (no sieving) and was running a small range. He basically got extremely lucky.

unconnected
Volunteer tester

Joined: 4 Apr 09
Posts: 95
ID: 37970
Credit: 322,887,663
RAC: 224,156

Message 42394 - Posted: 31 Oct 2011 | 19:06:35 UTC

Brilliant!

Hammeh

Joined: 11 Nov 08
Posts: 114
ID: 31582
Credit: 4,377,201
RAC: 0

Message 42397 - Posted: 31 Oct 2011 | 20:35:52 UTC

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)

unconnected
Volunteer tester

Joined: 4 Apr 09
Posts: 95
ID: 37970
Credit: 322,887,663
RAC: 224,156

Message 43182 - Posted: 14 Nov 2011 | 7:48:15 UTC

We are now at n=114200, I'll add several cores to clean up this port (1880 tests remaining).

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 57927 - Posted: 30 Sep 2012 | 19:17:56 UTC - in response to Message 43182.

Can anyone tell me till what range N!-1 and N!+1 are tested at this moment?

kind regards
Leon Marchal

____________

[DPC]Charley

Joined: 15 Apr 11
Posts: 803
ID: 95137
Credit: 94,993,523
RAC: 0

Message 57928 - Posted: 30 Sep 2012 | 19:55:25 UTC - in response to Message 57927.

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)

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 57932 - Posted: 1 Oct 2012 | 11:24:34 UTC - in response to Message 57928.

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

Honza
Volunteer moderator
Volunteer tester
Project scientist

Joined: 15 Aug 05
Posts: 1943
ID: 352
Credit: 5,924,681,662
RAC: 1,520,429

Message 57934 - Posted: 1 Oct 2012 | 12:19:01 UTC

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

Gary Craig
Volunteer tester

Joined: 30 Dec 09
Posts: 3213
ID: 52890
Credit: 1,005,618,748
RAC: 0

Message 57989 - Posted: 4 Oct 2012 | 3:50:59 UTC - in response to Message 57932.

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)

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 58205 - Posted: 9 Oct 2012 | 18:37:04 UTC - in response to Message 57928.

it looks like the server is down

kind regards
leon

Michael Goetz
Volunteer moderator

Joined: 21 Jan 10
Posts: 13877
ID: 53948
Credit: 383,317,322
RAC: 117,380

Message 58206 - Posted: 9 Oct 2012 | 18:40:16 UTC - in response to Message 58205.

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

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 58543 - Posted: 21 Oct 2012 | 6:41:32 UTC

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

Honza
Volunteer moderator
Volunteer tester
Project scientist

Joined: 15 Aug 05
Posts: 1943
ID: 352
Credit: 5,924,681,662
RAC: 1,520,429

Message 58545 - Posted: 21 Oct 2012 | 9:01:55 UTC

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

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 60750 - Posted: 24 Dec 2012 | 20:37:49 UTC - in response to Message 58206.

It looks if the server for at least the factorial prime search is down
happy christmans

kind regards
leon

____________

Lennart SM5YMT
Honorary cruncher

Joined: 7 May 07
Posts: 1125
ID: 7989
Credit: 694,692,344
RAC: 0

Message 60753 - Posted: 24 Dec 2012 | 22:58:02 UTC - in response to Message 60750.

Fixed

Lennart

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 62140 - Posted: 31 Jan 2013 | 8:51:37 UTC

ls,

looks as if again the server for at least the factorial prime search is down

kind regards
leon

unconnected
Volunteer tester

Joined: 4 Apr 09
Posts: 95
ID: 37970
Credit: 322,887,663
RAC: 224,156

Message 62316 - Posted: 6 Feb 2013 | 10:32:01 UTC

Port is still down =(

Michael Goetz
Volunteer moderator

Joined: 21 Jan 10
Posts: 13877
ID: 53948
Credit: 383,317,322
RAC: 117,380

Message 62318 - Posted: 6 Feb 2013 | 12:53:44 UTC - in response to Message 62316.

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

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 62543 - Posted: 13 Feb 2013 | 16:51:05 UTC

it looks like again the server is down

kind regards

Michael Goetz
Volunteer moderator

Joined: 21 Jan 10
Posts: 13877
ID: 53948
Credit: 383,317,322
RAC: 117,380

Message 62546 - Posted: 13 Feb 2013 | 17:00:38 UTC - in response to Message 62543.

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

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 62613 - Posted: 14 Feb 2013 | 19:51:11 UTC - in response to Message 62546.

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

Michael Goetz
Volunteer moderator

Joined: 21 Jan 10
Posts: 13877
ID: 53948
Credit: 383,317,322
RAC: 117,380

Message 62688 - Posted: 16 Feb 2013 | 12:56:13 UTC - in response to Message 62613.

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

Michael Goetz
Volunteer moderator

Joined: 21 Jan 10
Posts: 13877
ID: 53948
Credit: 383,317,322
RAC: 117,380

Message 62771 - Posted: 19 Feb 2013 | 18:42:50 UTC - in response to Message 62688.

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

LMarc

Joined: 8 Aug 11
Posts: 11
ID: 107691
Credit: 18,247,763
RAC: 0

Message 62892 - Posted: 24 Feb 2013 | 13:20:51 UTC - in response to Message 62771.

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

Michael Goetz
Volunteer moderator

Joined: 21 Jan 10
Posts: 13877
ID: 53948
Credit: 383,317,322
RAC: 117,380

Message 62893 - Posted: 24 Feb 2013 | 13:48:00 UTC - in response to Message 62892.

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.

____________
My lucky number is 75898524288+1

Lennart SM5YMT
Honorary cruncher

Joined: 7 May 07
Posts: 1125
ID: 7989
Credit: 694,692,344
RAC: 0

Message 68876 - Posted: 2 Sep 2013 | 16:00:25 UTC

Lumiukko found this 147855!-1 is Prime

A very nice one :)

Congrats

Lennart

Toshio Yamaguchi

Joined: 19 May 11
Posts: 135
ID: 99209
Credit: 693,512
RAC: 0

Message 68883 - Posted: 2 Sep 2013 | 19:58:18 UTC - in response to Message 68876.

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.

Toshio Yamaguchi

Joined: 19 May 11
Posts: 135
ID: 99209
Credit: 693,512
RAC: 0

Message 69325 - Posted: 20 Sep 2013 | 13:59:13 UTC

Will there be an "official" announcement of this prime? Also, will it then be added to the list at FPS overview?

Michael Goetz
Volunteer moderator

Joined: 21 Jan 10
Posts: 13877
ID: 53948
Credit: 383,317,322
RAC: 117,380

Message 69326 - Posted: 20 Sep 2013 | 14:38:11 UTC - in response to Message 69325.

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

Toshio Yamaguchi

Joined: 19 May 11
Posts: 135
ID: 99209
Credit: 693,512
RAC: 0

Message 69328 - Posted: 20 Sep 2013 | 15:27:07 UTC - in response to Message 69326.

Will there be an "official" announcement of this prime? Also, will it then be added to the list at FPS overview?

Yes, it will.

Toshio Yamaguchi

Joined: 19 May 11
Posts: 135
ID: 99209
Credit: 693,512
RAC: 0

Message 70140 - Posted: 18 Oct 2013 | 12:42:18 UTC

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?

Volunteer moderator
Volunteer tester
Project scientist

Joined: 5 Feb 08
Posts: 1214
ID: 18646
Credit: 850,948,383
RAC: 113,472

Message 70141 - Posted: 18 Oct 2013 | 13:24:00 UTC

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>";

____________
my current lucky number: 113856050^65536 + 1
PSA-PRPNet-Stats-URL: http://u-g-f.de/PRPNet/

Toshio Yamaguchi

Joined: 19 May 11
Posts: 135
ID: 99209
Credit: 693,512
RAC: 0

Message 70143 - Posted: 18 Oct 2013 | 13:44:14 UTC

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.

Michael Goetz
Volunteer moderator

Joined: 21 Jan 10
Posts: 13877
ID: 53948
Credit: 383,317,322
RAC: 117,380

Message 70144 - Posted: 18 Oct 2013 | 13:52:10 UTC - in response to Message 70140.

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

JimB
Honorary cruncher

Joined: 4 Aug 11
Posts: 918
ID: 107307
Credit: 977,945,376
RAC: 0

Message 70161 - Posted: 18 Oct 2013 | 18:48:30 UTC

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.

majortim

Joined: 25 Jan 14
Posts: 3
ID: 294929
Credit: 1,169,946
RAC: 0

Message 74263 - Posted: 8 Mar 2014 | 19:59:58 UTC