user=mdettweiler [2016-05-21 00:10:56] 927*2^1429836-1 is not prime. Res64: 325BB9C57288369D Time : 0.0 sec. user=mdettweiler [2016-05-21 00:10:56] 675*2^1429837-1 is not prime. Res64: BA0CE6EE8274171B Time : 0.0 sec. user=mdettweiler [2016-05-21 00:10:57] 729*2^1429837-1 is not prime. Res64: 7EB414A9390D20C8 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:10:57] 861*2^1429837-1 is not prime. Res64: CD78198EC42EE6E0 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:10:57] 871*2^1429837-1 is not prime. Res64: ECB1AAFDE799286B Time : 0.0 sec. user=mdettweiler [2016-05-21 00:11:06] 675*2^1429836-1 is not prime. Res64: 0378BF4BD02DAB93 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:11:06] 723*2^1429836-1 is not prime. Res64: 86724E4D77F72336 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:11:07] 759*2^1429836-1 is not prime. Res64: A04B30A5A2B87A62 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:11:07] 875*2^1429836-1 is not prime. Res64: 4E8A762B33C04ED3 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:11:07] 903*2^1429836-1 is not prime. Res64: CCA254111CE7605C Time : 0.0 sec. user=mdettweiler [2016-05-21 00:30:04] 897*2^1429837-1 is not prime. Res64: CE14475BB887A8E0 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:30:05] 939*2^1429837-1 is not prime. Res64: 0434C41B6F800033 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:30:08] 997*2^1429837-1 is not prime. Res64: 9B564FCA43753754 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:30:11] 603*2^1429838-1 is not prime. Res64: A5F9A796D59B4525 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:30:12] 795*2^1429838-1 is not prime. Res64: 8706CC2E9C6F0F55 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:45:18] 801*2^1429838-1 is not prime. Res64: 2C4504B863C068C7 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:45:18] 845*2^1429838-1 is not prime. Res64: F26EAE240B26B659 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:45:19] 957*2^1429838-1 is not prime. Res64: 9BC8B0B12EEC6B37 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:45:19] 971*2^1429838-1 is not prime. Res64: BAF24764A334BE74 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:45:19] 861*2^1429839-1 is not prime. Res64: 204E5AFD7211055F Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:14] 921*2^1429839-1 is not prime. Res64: 4590D4DFECBEE67C Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:14] 955*2^1429839-1 is not prime. Res64: 65088D7346B0533B Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:15] 975*2^1429839-1 is not prime. Res64: AD3ABB211F040914 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:15] 665*2^1429840-1 is not prime. Res64: 1095812BAFFBDB98 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:15] 843*2^1429840-1 is not prime. Res64: 9C76AAA8E333ECFF Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:21] 645*2^1429841-1 is not prime. Res64: F0859B6616929085 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:21] 651*2^1429841-1 is not prime. Res64: 19A9231AF8FBED84 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:21] 819*2^1429841-1 is not prime. Res64: 3BBFF41DC7E73261 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:22] 867*2^1429841-1 is not prime. Res64: 3EDEF4F318D4D113 Time : 0.0 sec. user=mdettweiler [2016-05-21 00:56:22] 871*2^1429841-1 is not prime. Res64: 85A1F45DA7289D63 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:15:30] 955*2^1429841-1 is not prime. Res64: EE87279910F95209 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:15:31] 967*2^1429841-1 is not prime. Res64: 6FB6E403EA985357 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:15:31] 725*2^1429842-1 is not prime. Res64: 920E82D6DA8A11B5 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:15:32] 755*2^1429842-1 is not prime. Res64: E2105859425A751D Time : 0.0 sec. user=mdettweiler [2016-05-21 01:15:32] 875*2^1429842-1 is not prime. Res64: C735F76CBB793DFC Time : 0.0 sec. user=mdettweiler [2016-05-21 01:30:25] 887*2^1429842-1 is not prime. Res64: F7090CE27F163833 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:30:27] 751*2^1429843-1 is not prime. Res64: F98612A41BA71CD4 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:30:29] 771*2^1429843-1 is not prime. Res64: E16FB2BE3375F409 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:30:32] 783*2^1429843-1 is not prime. Res64: 5EA41DCE4403328B Time : 0.0 sec. user=mdettweiler [2016-05-21 01:30:34] 805*2^1429843-1 is not prime. Res64: 7D8B832F42456C10 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:24] 985*2^1429843-1 is not prime. Res64: C4145F7418033887 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:24] 767*2^1429844-1 is not prime. Res64: D0A5B11A3CBF6DAF Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:24] 785*2^1429844-1 is not prime. Res64: 67C620CD1EABA6B3 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:25] 827*2^1429844-1 is not prime. Res64: 5059FCCD29EF1BFF Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:25] 869*2^1429844-1 is not prime. Res64: 1F79C9ECECFD5CC2 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:40] 897*2^1429844-1 is not prime. Res64: E6E6157639B6AF6D Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:40] 903*2^1429844-1 is not prime. Res64: 038560CF86CC07EB Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:40] 601*2^1429845-1 is not prime. Res64: 401B35A10A96F2D1 Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:41] 781*2^1429845-1 is not prime. Res64: B80FE6D8E3768A1B Time : 0.0 sec. user=mdettweiler [2016-05-21 01:41:41] 831*2^1429845-1 is not prime. Res64: C3C2B6BE9330FDFE Time : 0.0 sec. user=mdettweiler [2016-05-21 02:00:47] 885*2^1429845-1 is not prime. Res64: 1ADEEEF66FB70D3F Time : 0.0 sec. user=mdettweiler [2016-05-21 02:00:48] 889*2^1429845-1 is not prime. Res64: 3BE92085234584D2 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:00:49] 891*2^1429845-1 is not prime. Res64: 2451CEB8A1DA2AE1 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:00:50] 895*2^1429845-1 is not prime. Res64: D7359D856F9A47E4 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:00:50] 919*2^1429845-1 is not prime. Res64: 0EE3E65730B4E28F Time : 0.0 sec. user=mdettweiler [2016-05-21 02:16:57] 743*2^1429846-1 is not prime. Res64: C531F3CCE89EDDCD Time : 0.0 sec. user=mdettweiler [2016-05-21 02:16:58] 765*2^1429846-1 is not prime. Res64: D5CA8FA34B7B113B Time : 0.0 sec. user=mdettweiler [2016-05-21 02:16:58] 843*2^1429846-1 is not prime. Res64: AFE83CB4AC7AF5E4 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:16:58] 923*2^1429846-1 is not prime. Res64: CA44C12B80E3431A Time : 0.0 sec. user=mdettweiler [2016-05-21 02:16:59] 655*2^1429847-1 is not prime. Res64: 1EDEBA761CBC7149 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:27:48] 703*2^1429847-1 is not prime. Res64: 44BE165788A83A4B Time : 0.0 sec. user=mdettweiler [2016-05-21 02:27:49] 813*2^1429847-1 is not prime. Res64: A7F73C318CADCDFF Time : 0.0 sec. user=mdettweiler [2016-05-21 02:27:50] 831*2^1429847-1 is not prime. Res64: 31AD3132684254EC Time : 0.0 sec. user=mdettweiler [2016-05-21 02:27:50] 915*2^1429847-1 is not prime. Res64: C6BCE277D81B22C3 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:27:51] 663*2^1429848-1 is not prime. Res64: E0A2EA008D359CF7 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:28:10] 843*2^1429848-1 is not prime. Res64: AB5CAE04E6D37184 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:28:11] 935*2^1429848-1 is not prime. Res64: 588186A68E5EE506 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:28:12] 945*2^1429848-1 is not prime. Res64: 39C6B6662BFEF664 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:28:13] 959*2^1429848-1 is not prime. Res64: E5633A493252F223 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:28:14] 741*2^1429849-1 is not prime. Res64: 2CE1CAC82C50B96A Time : 0.0 sec. user=mdettweiler [2016-05-21 02:47:49] 771*2^1429849-1 is not prime. Res64: C7321FF9B01E26D1 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:47:50] 807*2^1429849-1 is not prime. Res64: B2406FA8A625B452 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:47:50] 835*2^1429849-1 is not prime. Res64: 750C7F7B4C3F3AE8 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:47:51] 931*2^1429849-1 is not prime. Res64: A53E5460F278F694 Time : 0.0 sec. user=mdettweiler [2016-05-21 02:47:51] 945*2^1429849-1 is not prime. Res64: 29018B7949E5212F Time : 0.0 sec. user=mdettweiler [2016-05-21 03:02:20] 957*2^1429849-1 is not prime. Res64: 95720FBFF7DE55E0 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:02:21] 975*2^1429849-1 is not prime. Res64: 43C5AB389066AB07 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:02:22] 603*2^1429850-1 is not prime. Res64: D919F29CBE034AC4 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:02:23] 615*2^1429850-1 is not prime. Res64: 9CCB3968B942068E Time : 0.0 sec. user=mdettweiler [2016-05-21 03:02:24] 645*2^1429850-1 is not prime. Res64: F68816D14968E784 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:12:56] 717*2^1429850-1 is not prime. Res64: 75A731A932ECAF98 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:12:58] 767*2^1429850-1 is not prime. Res64: AEEF3FBD779BEA2C Time : 0.0 sec. user=mdettweiler [2016-05-21 03:12:58] 977*2^1429850-1 is not prime. Res64: EFD0948AB82DD857 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:12:59] 723*2^1429851-1 is not prime. Res64: 2C598074D863FF8B Time : 0.0 sec. user=mdettweiler [2016-05-21 03:13:00] 741*2^1429851-1 is not prime. Res64: FC16E7FC2EE06AA0 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:13:26] 751*2^1429851-1 is not prime. Res64: 939AE0ED5DF14764 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:13:27] 909*2^1429851-1 is not prime. Res64: AC388677E086EF84 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:13:27] 931*2^1429851-1 is not prime. Res64: 8FA3ABB4F5425D1F Time : 0.0 sec. user=mdettweiler [2016-05-21 03:13:28] 955*2^1429851-1 is not prime. Res64: 2AAA500DCA918FC5 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:13:29] 623*2^1429852-1 is not prime. Res64: 1BE7752E691FA60D Time : 0.0 sec. user=mdettweiler [2016-05-21 03:32:50] 635*2^1429852-1 is not prime. Res64: 01B585D27A07CBCA Time : 0.0 sec. user=mdettweiler [2016-05-21 03:32:51] 675*2^1429852-1 is not prime. Res64: DA9BA9C26F47C1B3 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:32:52] 695*2^1429852-1 is not prime. Res64: AA6C7A2CAB5DB19C Time : 0.0 sec. user=mdettweiler [2016-05-21 03:32:53] 755*2^1429852-1 is not prime. Res64: DC2871A1671E4451 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:32:54] 779*2^1429852-1 is not prime. Res64: 6C052E7002EE48D0 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:47:34] 887*2^1429852-1 is not prime. Res64: 38995BB61A4DCB18 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:47:36] 909*2^1429852-1 is not prime. Res64: 66D6569AE38AC848 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:47:36] 621*2^1429853-1 is not prime. Res64: E49198C83FDBE642 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:47:38] 675*2^1429853-1 is not prime. Res64: 04FA64F91A6F1A77 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:47:38] 747*2^1429853-1 is not prime. Res64: E9D13287FD6FA2AD Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:05] 781*2^1429853-1 is not prime. Res64: DEF3B2E4C80B5BA5 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:07] 829*2^1429853-1 is not prime. Res64: 4334D11ACA09FFD0 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:08] 879*2^1429853-1 is not prime. Res64: 4EBEAAF5B45E341E Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:09] 949*2^1429853-1 is not prime. Res64: 894464FD59A659B8 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:10] 663*2^1429854-1 is not prime. Res64: 4FFD9DDAD51858EC Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:27] 755*2^1429854-1 is not prime. Res64: A11447C95F116A42 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:28] 833*2^1429854-1 is not prime. Res64: A3B8E195CA9E63A0 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:29] 917*2^1429854-1 is not prime. Res64: 91C20ADA0353BCDE Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:30] 921*2^1429854-1 is not prime. Res64: F4C15C7886C9ACC0 Time : 0.0 sec. user=mdettweiler [2016-05-21 03:58:31] 971*2^1429854-1 is not prime. Res64: D7BBB9ACE128C4FD Time : 0.0 sec. user=mdettweiler [2016-05-21 04:18:17] 705*2^1429855-1 is not prime. Res64: CE7A91F2E5D679B0 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:18:17] 735*2^1429855-1 is not prime. Res64: F0C60E8DD8DA0996 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:18:17] 831*2^1429855-1 is not prime. Res64: D82BF6885346796B Time : 0.0 sec. user=mdettweiler [2016-05-21 04:18:18] 615*2^1429856-1 is not prime. Res64: F3C151E8CCDEDBD5 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:18:18] 635*2^1429856-1 is not prime. Res64: D1E30D2619955FCF Time : 0.0 sec. user=mdettweiler [2016-05-21 04:32:58] 657*2^1429856-1 is not prime. Res64: CFBE6EE8E5CD2BC7 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:32:58] 717*2^1429856-1 is not prime. Res64: E5B9494F889101A6 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:32:58] 747*2^1429856-1 is not prime. Res64: 04EBE901122ABF6E Time : 0.0 sec. user=mdettweiler [2016-05-21 04:32:59] 855*2^1429856-1 is not prime. Res64: EA65D52B82DF18AF Time : 0.0 sec. user=mdettweiler [2016-05-21 04:32:59] 999*2^1429856-1 is not prime. Res64: DE089833DDFDAFD3 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:41] 675*2^1429857-1 is not prime. Res64: 47C6806D50FBDC66 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:41] 681*2^1429857-1 is not prime. Res64: D09F46B30BDD436E Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:41] 699*2^1429857-1 is not prime. Res64: E431E67C7ABA9B42 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:42] 777*2^1429857-1 is not prime. Res64: 6256CB1B2A3F65EC Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:42] 837*2^1429857-1 is not prime. Res64: 4A49CED79E4E0197 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:47] 865*2^1429857-1 is not prime. Res64: 5DBBED3BE06489B5 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:47] 915*2^1429857-1 is not prime. Res64: 2A44B554AE5AFC50 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:48] 919*2^1429857-1 is not prime. Res64: F02B5F8595B275B3 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:48] 657*2^1429858-1 is not prime. Res64: 191E9304B9D4C368 Time : 0.0 sec. user=mdettweiler [2016-05-21 04:43:48] 665*2^1429858-1 is not prime. Res64: 1E28781FD06172D1 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:03:20] 681*2^1429858-1 is not prime. Res64: 6501C4950062D650 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:03:22] 723*2^1429858-1 is not prime. Res64: B399C6DECE291667 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:03:23] 803*2^1429858-1 is not prime. Res64: 999B8DEC7AA28E0E Time : 0.0 sec. user=mdettweiler [2016-05-21 05:03:24] 831*2^1429858-1 is not prime. Res64: B76EFD86ECB53D2E Time : 0.0 sec. user=mdettweiler [2016-05-21 05:03:25] 857*2^1429858-1 is not prime. Res64: 12D5F31443F81484 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:18:03] 945*2^1429858-1 is not prime. Res64: A5E9B8660C42BC84 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:18:04] 987*2^1429858-1 is not prime. Res64: 524C1037493C66C8 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:18:05] 645*2^1429859-1 is not prime. Res64: 8534DDDC15CDD574 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:18:06] 685*2^1429859-1 is not prime. Res64: 57EF79878620318A Time : 0.0 sec. user=mdettweiler [2016-05-21 05:18:06] 711*2^1429859-1 is not prime. Res64: 4F0896C4754A50B6 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:28:43] 735*2^1429859-1 is not prime. Res64: ADE4552A0EDC147C Time : 0.0 sec. user=mdettweiler [2016-05-21 05:28:43] 745*2^1429859-1 is not prime. Res64: 0D6966D04EE1BD12 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:28:43] 813*2^1429859-1 is not prime. Res64: 0C017F72663FAE46 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:28:44] 939*2^1429859-1 is not prime. Res64: 3B566932C33B2EE6 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:28:44] 759*2^1429860-1 is not prime. Res64: 2923CAF5B10D3E7B Time : 0.0 sec. user=mdettweiler [2016-05-21 05:29:04] 809*2^1429860-1 is not prime. Res64: ABD94A9659543216 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:29:04] 887*2^1429860-1 is not prime. Res64: 99A89A2B7DF1A850 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:29:05] 905*2^1429860-1 is not prime. Res64: C940CC6C4B6F5C2E Time : 0.0 sec. user=mdettweiler [2016-05-21 05:29:05] 959*2^1429860-1 is not prime. Res64: 43BC99957AB3806A Time : 0.0 sec. user=mdettweiler [2016-05-21 05:29:05] 975*2^1429860-1 is not prime. Res64: 39A1D5180F08D81D Time : 0.0 sec. user=mdettweiler [2016-05-21 05:48:51] 747*2^1429861-1 is not prime. Res64: 7452688A0382C799 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:48:52] 769*2^1429861-1 is not prime. Res64: 4712D50F3DBCF54F Time : 0.0 sec. user=mdettweiler [2016-05-21 05:48:52] 771*2^1429861-1 is not prime. Res64: 56E1CD0C574B5464 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:48:53] 777*2^1429861-1 is not prime. Res64: D05F73C4B721F186 Time : 0.0 sec. user=mdettweiler [2016-05-21 05:48:53] 801*2^1429861-1 is not prime. Res64: 5FEFE583ADEC4F6C Time : 0.0 sec. user=mdettweiler [2016-05-21 06:03:25] 937*2^1429861-1 is not prime. Res64: 8F6C6C4C78579F03 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:03:26] 957*2^1429861-1 is not prime. Res64: 17700547979F3C2A Time : 0.0 sec. user=mdettweiler [2016-05-21 06:03:27] 975*2^1429861-1 is not prime. Res64: B7164D569A1DDFF1 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:03:28] 675*2^1429862-1 is not prime. Res64: 9CCBC2E3F8CA8343 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:03:30] 705*2^1429862-1 is not prime. Res64: 7EFFC99AB28A61EE Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:03] 711*2^1429862-1 is not prime. Res64: C27B4434C9810D85 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:03] 741*2^1429862-1 is not prime. Res64: 22E41ED776A226F4 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:04] 813*2^1429862-1 is not prime. Res64: BABAAD4408930DFB Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:04] 825*2^1429862-1 is not prime. Res64: 84055DDBDE91D356 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:05] 831*2^1429862-1 is not prime. Res64: 07802C109868D246 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:24] 873*2^1429862-1 is not prime. Res64: DA6B93A1E6756B9B Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:24] 885*2^1429862-1 is not prime. Res64: FB3502D6CD42EE3D Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:25] 921*2^1429862-1 is not prime. Res64: 71215D9DF0809592 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:25] 721*2^1429863-1 is not prime. Res64: 44A5B6A47D3FC998 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:14:26] 723*2^1429863-1 is not prime. Res64: DACFFB502F78C798 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:33:50] 823*2^1429863-1 is not prime. Res64: D943D82871B09A52 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:33:51] 859*2^1429863-1 is not prime. Res64: B5A27EB9A670178F Time : 0.0 sec. user=mdettweiler [2016-05-21 06:33:52] 955*2^1429863-1 is not prime. Res64: 0C4E7C50F02E7F0B Time : 0.0 sec. user=mdettweiler [2016-05-21 06:33:53] 663*2^1429864-1 is not prime. Res64: 272F2BC829A09AD0 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:33:53] 905*2^1429864-1 is not prime. Res64: DF82FE4CA4C65DCC Time : 0.0 sec. user=mdettweiler [2016-05-21 06:48:49] 923*2^1429864-1 is not prime. Res64: EA0C9D8D15144E86 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:48:49] 939*2^1429864-1 is not prime. Res64: 311B0D825521E055 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:48:49] 989*2^1429864-1 is not prime. Res64: BB2871C5A7D3490B Time : 0.0 sec. user=mdettweiler [2016-05-21 06:48:50] 649*2^1429865-1 is not prime. Res64: B6B4A95FC0F287B1 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:48:50] 679*2^1429865-1 is not prime. Res64: 9398C8BA26BD279B Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:25] 871*2^1429865-1 is not prime. Res64: 78D2C6DD813A9985 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:26] 955*2^1429865-1 is not prime. Res64: 9FFAB5A54C0E20A1 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:26] 981*2^1429865-1 is not prime. Res64: 5FE6DB51A376E29D Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:27] 755*2^1429866-1 is not prime. Res64: 82F270B20B068214 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:27] 903*2^1429866-1 is not prime. Res64: 6CD6490DDBACF45E Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:27] 697*2^1429865-1 is not prime. Res64: F4697A79FEC27A36 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:28] 699*2^1429865-1 is not prime. Res64: 9959E8C06041393C Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:28] 711*2^1429865-1 is not prime. Res64: F7E4FCB5B33A40A9 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:28] 777*2^1429865-1 is not prime. Res64: 6E29902312DF58B8 Time : 0.0 sec. user=mdettweiler [2016-05-21 06:59:29] 799*2^1429865-1 is not prime. Res64: EB6561EC5F51991B Time : 0.0 sec. user=mdettweiler [2016-05-21 07:18:58] 971*2^1429866-1 is not prime. Res64: 4526CDE0967DDFE5 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:18:58] 609*2^1429867-1 is not prime. Res64: 17BA26225BCE593E Time : 0.0 sec. user=mdettweiler [2016-05-21 07:18:59] 619*2^1429867-1 is not prime. Res64: FFE97BADC4961EF3 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:18:59] 633*2^1429867-1 is not prime. Res64: 66CB3AF2C4F2E548 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:18:59] 775*2^1429867-1 is not prime. Res64: DAD2C92794DA6A5B Time : 0.0 sec. user=mdettweiler [2016-05-21 07:34:07] 919*2^1429867-1 is not prime. Res64: B4A0BF258DA7BE94 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:34:07] 647*2^1429868-1 is not prime. Res64: DB02CABDF84B2293 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:34:07] 753*2^1429868-1 is not prime. Res64: 47B6872B2BBCB1D1 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:34:08] 767*2^1429868-1 is not prime. Res64: CDA42893B2C381F1 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:34:08] 819*2^1429868-1 is not prime. Res64: 8D58F0FBF95FE8CF Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:36] 957*2^1429868-1 is not prime. Res64: 48CDE0174CC864B0 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:37] 995*2^1429868-1 is not prime. Res64: 92F12D6AA1E7328B Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:37] 609*2^1429869-1 is not prime. Res64: 2F45D610879E70BB Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:37] 685*2^1429869-1 is not prime. Res64: 132D85FF21B69098 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:38] 711*2^1429869-1 is not prime. Res64: 290BD8C00EC76DB8 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:40] 811*2^1429869-1 is not prime. Res64: F0D29B39FBE94927 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:40] 921*2^1429869-1 is not prime. Res64: 001D42B840147420 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:40] 975*2^1429869-1 is not prime. Res64: 8A32E6D49D257A5B Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:41] 987*2^1429869-1 is not prime. Res64: 978B8B3AA508C461 Time : 0.0 sec. user=mdettweiler [2016-05-21 07:44:41] 761*2^1429870-1 is not prime. Res64: 3EAB38CA17DAC507 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:04:12] 827*2^1429870-1 is not prime. Res64: E28C96076D8C4074 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:04:13] 621*2^1429871-1 is not prime. Res64: 6E85F9CDC1A2A8ED Time : 0.0 sec. user=mdettweiler [2016-05-21 08:04:14] 679*2^1429871-1 is not prime. Res64: 20224CC9C19C5185 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:04:15] 741*2^1429871-1 is not prime. Res64: AD162E7CD99DA636 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:04:15] 783*2^1429871-1 is not prime. Res64: CEE9DF47DCE00720 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:19:17] 811*2^1429871-1 is not prime. Res64: 9C7DCA637C0C47A2 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:19:17] 993*2^1429871-1 is not prime. Res64: C8913C3067611CBD Time : 0.0 sec. user=mdettweiler [2016-05-21 08:19:17] 605*2^1429872-1 is not prime. Res64: FF04C57823484186 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:19:18] 669*2^1429872-1 is not prime. Res64: 1C0EEBF28219222E Time : 0.0 sec. user=mdettweiler [2016-05-21 08:19:18] 837*2^1429872-1 is not prime. Res64: AA577B00BDEC70CF Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:34] 945*2^1429872-1 is not prime. Res64: AA2D31343CE49A27 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:35] 609*2^1429873-1 is not prime. Res64: E720ECACDD9A922C Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:35] 721*2^1429873-1 is not prime. Res64: BF8D8E9B84DC0088 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:35] 751*2^1429873-1 is not prime. Res64: 92063B4CF4641E50 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:36] 765*2^1429873-1 is not prime. Res64: 7F10E2B928BF1378 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:51] 817*2^1429873-1 is not prime. Res64: EA45C47891B386D7 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:51] 877*2^1429873-1 is not prime. Res64: 63A49520A15DC317 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:52] 939*2^1429873-1 is not prime. Res64: 080C95E4A44237DE Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:52] 979*2^1429873-1 is not prime. Res64: 7B26437FF68C4C95 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:29:52] 985*2^1429873-1 is not prime. Res64: D63B6FFF700E4B97 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:49:23] 623*2^1429874-1 is not prime. Res64: 8374F3EBA51A2DFE Time : 0.0 sec. user=mdettweiler [2016-05-21 08:49:23] 675*2^1429874-1 is not prime. Res64: D22FB1EEF21B182E Time : 0.0 sec. user=mdettweiler [2016-05-21 08:49:23] 755*2^1429874-1 is not prime. Res64: 57F6B11478AE255A Time : 0.0 sec. user=mdettweiler [2016-05-21 08:49:24] 851*2^1429874-1 is not prime. Res64: 56714240AEE44006 Time : 0.0 sec. user=mdettweiler [2016-05-21 08:49:24] 917*2^1429874-1 is not prime. Res64: 7BFBF73AB54C848F Time : 0.0 sec. user=mdettweiler [2016-05-21 09:04:24] 649*2^1429875-1 is not prime. Res64: 8FA084E15127ABD4 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:04:25] 795*2^1429875-1 is not prime. Res64: 4B5403BA41430B8C Time : 0.0 sec. user=mdettweiler [2016-05-21 09:04:26] 823*2^1429875-1 is not prime. Res64: AD0517B9D773B2E2 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:04:27] 825*2^1429875-1 is not prime. Res64: 15066AD635D1F3C1 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:04:28] 859*2^1429875-1 is not prime. Res64: 5766972E46509280 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:14:39] 871*2^1429875-1 is not prime. Res64: 856D3E321006EB79 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:14:39] 895*2^1429875-1 is not prime. Res64: 662AEE924F757D39 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:14:40] 963*2^1429875-1 is not prime. Res64: F582E226D7FDA83A Time : 0.0 sec. user=mdettweiler [2016-05-21 09:14:40] 749*2^1429876-1 is not prime. Res64: FD197D9E19C35DC1 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:14:40] 777*2^1429876-1 is not prime. Res64: C3258C7B19A29759 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:15:00] 857*2^1429876-1 is not prime. Res64: B4DB3A135C0C6300 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:15:01] 903*2^1429876-1 is not prime. Res64: 7835F7A48850F2E0 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:15:01] 953*2^1429876-1 is not prime. Res64: B3544ECD2FB0AE44 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:15:02] 645*2^1429877-1 is not prime. Res64: D5F0E893FC35FBA1 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:15:02] 669*2^1429877-1 is not prime. Res64: 887CF7F1048465CB Time : 0.0 sec. user=mdettweiler [2016-05-21 09:34:34] 727*2^1429877-1 is not prime. Res64: 553FB5688AC15F3B Time : 0.0 sec. user=mdettweiler [2016-05-21 09:34:34] 729*2^1429877-1 is not prime. Res64: 4B172E972E3E4485 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:34:35] 781*2^1429877-1 is not prime. Res64: 20E1163B48816DFD Time : 0.0 sec. user=mdettweiler [2016-05-21 09:34:35] 819*2^1429877-1 is not prime. Res64: 5C1A735265B2D790 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:34:36] 859*2^1429877-1 is not prime. Res64: 4B8B31C20653D780 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:49:58] 867*2^1429877-1 is not prime. Res64: 2248B87C1453D79D Time : 0.0 sec. user=mdettweiler [2016-05-21 09:49:59] 991*2^1429877-1 is not prime. Res64: A8CCC238D68FFED0 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:49:59] 605*2^1429878-1 is not prime. Res64: 46DDBA110E8FCC5A Time : 0.0 sec. user=mdettweiler [2016-05-21 09:49:59] 635*2^1429878-1 is not prime. Res64: AE96E0BD338F27AA Time : 0.0 sec. user=mdettweiler [2016-05-21 09:50:00] 677*2^1429878-1 is not prime. Res64: 4D7B1484700E9728 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:59:53] 737*2^1429878-1 is not prime. Res64: F82E60DB84A3262A Time : 0.0 sec. user=mdettweiler [2016-05-21 09:59:53] 797*2^1429878-1 is not prime. Res64: 47068E3C88F44490 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:59:54] 887*2^1429878-1 is not prime. Res64: FC8B0CDE70C32388 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:59:54] 941*2^1429878-1 is not prime. Res64: A3161461BE458B99 Time : 0.0 sec. user=mdettweiler [2016-05-21 09:59:54] 993*2^1429878-1 is not prime. Res64: 2602019BD8549A03 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:00:17] 703*2^1429879-1 is not prime. Res64: 46F84EF0A57998B3 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:00:17] 705*2^1429879-1 is not prime. Res64: 782410F3B6D39D18 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:00:18] 873*2^1429879-1 is not prime. Res64: 7E9A15C450325288 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:00:19] 735*2^1429880-1 is not prime. Res64: 6E58B9F9F0BB0824 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:00:20] 797*2^1429880-1 is not prime. Res64: 1664A75EC9219136 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:19:38] 879*2^1429880-1 is not prime. Res64: EF6BC8F59A355F85 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:19:39] 609*2^1429881-1 is not prime. Res64: 21AB5719E44470DF Time : 0.0 sec. user=mdettweiler [2016-05-21 10:19:39] 625*2^1429881-1 is not prime. Res64: 09C2654416C2791F Time : 0.0 sec. user=mdettweiler [2016-05-21 10:19:40] 829*2^1429881-1 is not prime. Res64: 95A0A354CE71500C Time : 0.0 sec. user=mdettweiler [2016-05-21 10:19:40] 955*2^1429881-1 is not prime. Res64: 3BC38AD2F335E3F6 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:34:59] 997*2^1429881-1 is not prime. Res64: F15701C04E4318DF Time : 0.0 sec. user=mdettweiler [2016-05-21 10:34:59] 653*2^1429882-1 is not prime. Res64: 8EE80A724EE4E9F6 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:35:00] 671*2^1429882-1 is not prime. Res64: 1E8BDF5369967B31 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:35:00] 677*2^1429882-1 is not prime. Res64: 048B81FD5D02F913 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:35:00] 747*2^1429882-1 is not prime. Res64: 15DBE78EFFC1744F Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:13] 813*2^1429882-1 is not prime. Res64: C7550043A0700822 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:13] 885*2^1429882-1 is not prime. Res64: 5CEA9F8806F24BF5 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:14] 615*2^1429883-1 is not prime. Res64: 2A01D59E0E2111E1 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:14] 699*2^1429883-1 is not prime. Res64: 2C320E761D6ADE1B Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:14] 969*2^1429883-1 is not prime. Res64: 665E12A0B7BAA09C Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:18] 675*2^1429884-1 is not prime. Res64: 915175343AA6DEB5 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:18] 693*2^1429884-1 is not prime. Res64: 381FE988B8F3910C Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:18] 725*2^1429884-1 is not prime. Res64: 781D168B5D33BDD8 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:19] 809*2^1429884-1 is not prime. Res64: E287BFC588E9BA26 Time : 0.0 sec. user=mdettweiler [2016-05-21 10:45:19] 887*2^1429884-1 is not prime. Res64: DF0E847EA565EB16 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:05:04] 905*2^1429884-1 is not prime. Res64: AECEA857B526B9A1 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:05:06] 909*2^1429884-1 is not prime. Res64: E593885FA15B623B Time : 0.0 sec. user=mdettweiler [2016-05-21 11:05:07] 927*2^1429884-1 is not prime. Res64: AB1924DD83568249 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:05:08] 929*2^1429884-1 is not prime. Res64: 98FD5F5C19B32D62 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:05:08] 625*2^1429885-1 is not prime. Res64: 725F9162DC9810D6 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:20:06] 817*2^1429885-1 is not prime. Res64: 44F23EBE1ABA4D10 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:20:07] 871*2^1429885-1 is not prime. Res64: F3C651358DFE73B8 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:20:08] 889*2^1429885-1 is not prime. Res64: 5947B6589639DE13 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:20:08] 919*2^1429885-1 is not prime. Res64: 1C25539522E46863 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:20:08] 755*2^1429886-1 is not prime. Res64: FC359CFD4474F68E Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:16] 661*2^1429887-1 is not prime. Res64: 1FF6F55C48B93167 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:17] 705*2^1429887-1 is not prime. Res64: DA5AB60DD0D5320A Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:17] 711*2^1429887-1 is not prime. Res64: C6178EFB08DABD01 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:18] 831*2^1429887-1 is not prime. Res64: C356407B0167A5C9 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:18] 885*2^1429887-1 is not prime. Res64: 608948715A8ACE16 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:32] 857*2^1429886-1 is not prime. Res64: B1AAE94E9C7BA00B Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:32] 875*2^1429886-1 is not prime. Res64: 0C29716B86904871 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:33] 957*2^1429886-1 is not prime. Res64: DE58B780C7B3682D Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:33] 981*2^1429886-1 is not prime. Res64: B8567BAC5204FA9E Time : 0.0 sec. user=mdettweiler [2016-05-21 11:30:34] 621*2^1429887-1 is not prime. Res64: 0AAF63AC73DEAC19 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:50:29] 919*2^1429887-1 is not prime. Res64: 31BA57B31466130A Time : 0.0 sec. user=mdettweiler [2016-05-21 11:50:29] 961*2^1429887-1 is not prime. Res64: 1C1BA76568CBAE26 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:50:30] 825*2^1429888-1 is not prime. Res64: E498551ECB2E07E9 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:50:30] 845*2^1429888-1 is not prime. Res64: 4F12A37C6304BBE2 Time : 0.0 sec. user=mdettweiler [2016-05-21 11:50:30] 849*2^1429888-1 is not prime. Res64: 8E95954E90BC1F0E Time : 0.0 sec. user=mdettweiler [2016-05-21 12:05:32] 869*2^1429888-1 is not prime. Res64: E350CB2630ACA74C Time : 0.0 sec. user=mdettweiler [2016-05-21 12:05:34] 959*2^1429888-1 is not prime. Res64: 17F7601C691E56A8 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:05:35] 697*2^1429889-1 is not prime. Res64: EEEF0CCB1861AB6A Time : 0.0 sec. user=mdettweiler [2016-05-21 12:05:36] 705*2^1429889-1 is not prime. Res64: 6E74B1CC056C06E2 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:05:37] 729*2^1429889-1 is not prime. Res64: A1CE310F9B820E75 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:17] 741*2^1429889-1 is not prime. Res64: 4C86E3442A240238 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:17] 879*2^1429889-1 is not prime. Res64: E86C428D9D71DE42 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:18] 889*2^1429889-1 is not prime. Res64: 9C0136E4AC0D8506 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:18] 987*2^1429889-1 is not prime. Res64: D17CA00E7DF187D8 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:18] 635*2^1429890-1 is not prime. Res64: 0A418F2E8AA6A84D Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:32] 725*2^1429890-1 is not prime. Res64: 36DF71E3EDB8AF57 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:33] 905*2^1429890-1 is not prime. Res64: 498D2E44873AF473 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:33] 917*2^1429890-1 is not prime. Res64: 10D44D9AB67065D7 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:34] 941*2^1429890-1 is not prime. Res64: 2623D0AE448A53BF Time : 0.0 sec. user=mdettweiler [2016-05-21 12:15:34] 609*2^1429891-1 is not prime. Res64: F1A2430AC50ED365 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:35:32] 619*2^1429891-1 is not prime. Res64: D2A5F614D151CED6 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:35:32] 625*2^1429891-1 is not prime. Res64: D3762045B75642C0 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:35:32] 751*2^1429891-1 is not prime. Res64: ACC6F59AD96F7577 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:35:33] 835*2^1429891-1 is not prime. Res64: C1DF7C793C34851A Time : 0.0 sec. user=mdettweiler [2016-05-21 12:35:33] 871*2^1429891-1 is not prime. Res64: 77062EE38873CCFD Time : 0.0 sec. user=mdettweiler [2016-05-21 12:50:49] 665*2^1429892-1 is not prime. Res64: 5FBD976F7E1DD0F6 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:50:50] 745*2^1429893-1 is not prime. Res64: F3119D47F813E475 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:50:50] 847*2^1429893-1 is not prime. Res64: BA834E9267026D4D Time : 0.0 sec. user=mdettweiler [2016-05-21 12:50:51] 867*2^1429893-1 is not prime. Res64: 8AE6900752B6FCC6 Time : 0.0 sec. user=mdettweiler [2016-05-21 12:50:51] 901*2^1429893-1 is not prime. Res64: 8F4B4EAA14936CD9 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:24] 695*2^1429894-1 is not prime. Res64: 14BE119E8531ED07 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:25] 783*2^1429894-1 is not prime. Res64: 0A201D9C7258DB27 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:26] 601*2^1429895-1 is not prime. Res64: 41306E5EED0746AF Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:27] 645*2^1429895-1 is not prime. Res64: 24F9657736582BB1 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:28] 775*2^1429895-1 is not prime. Res64: FBAF0D7F8EE83344 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:43] 883*2^1429895-1 is not prime. Res64: 63AF2F149998C8FB Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:44] 913*2^1429895-1 is not prime. Res64: F4C6F90F8E4AF2FB Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:45] 963*2^1429895-1 is not prime. Res64: 1711114036B4AD37 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:46] 981*2^1429895-1 is not prime. Res64: 57C41A03F0719739 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:00:47] 675*2^1429896-1 is not prime. Res64: 3C25B85B872FFECE Time : 0.0 sec. user=mdettweiler [2016-05-21 13:21:21] 683*2^1429896-1 is not prime. Res64: 47453EB7DAFC1406 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:21:22] 705*2^1429896-1 is not prime. Res64: 429C9AB49F751152 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:21:23] 735*2^1429896-1 is not prime. Res64: 8F70E0E01E96F4AC Time : 0.0 sec. user=mdettweiler [2016-05-21 13:21:24] 773*2^1429896-1 is not prime. Res64: 590F6B69D886FF50 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:21:25] 803*2^1429896-1 is not prime. Res64: F434F6F460DFA39B Time : 0.0 sec. user=mdettweiler [2016-05-21 13:36:19] 887*2^1429896-1 is not prime. Res64: 8C0B385FDD3BED93 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:36:19] 899*2^1429896-1 is not prime. Res64: 77CF799FD484B3A1 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:36:20] 905*2^1429896-1 is not prime. Res64: EE78888E3DC99EF4 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:36:20] 909*2^1429896-1 is not prime. Res64: 0972DD9438EE5461 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:36:20] 945*2^1429896-1 is not prime. Res64: E66A1CE3BDCE3314 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:21] 901*2^1429897-1 is not prime. Res64: BD0B1DD00C00BC83 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:21] 979*2^1429897-1 is not prime. Res64: BC28DF8063AD1110 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:22] 603*2^1429898-1 is not prime. Res64: CA9C86B5F0194B28 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:22] 635*2^1429898-1 is not prime. Res64: 532C8EDB7177A93C Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:22] 645*2^1429898-1 is not prime. Res64: 4FE57012011F63D8 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:30] 837*2^1429898-1 is not prime. Res64: 489DD810733C2DAE Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:30] 885*2^1429898-1 is not prime. Res64: 672622F4EDCE1034 Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:31] 893*2^1429898-1 is not prime. Res64: AC5010588D5C49EC Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:31] 923*2^1429898-1 is not prime. Res64: F628349A776F031C Time : 0.0 sec. user=mdettweiler [2016-05-21 13:46:31] 995*2^1429898-1 is not prime. Res64: F2FAF963DAB8CA41 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:06:44] 663*2^1429899-1 is not prime. Res64: 1C074E4551E9040C Time : 0.0 sec. user=mdettweiler [2016-05-21 14:06:45] 835*2^1429899-1 is not prime. Res64: B196620A9EECD9FE Time : 0.0 sec. user=mdettweiler [2016-05-21 14:06:46] 861*2^1429899-1 is not prime. Res64: 591E1E6312433009 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:06:48] 919*2^1429899-1 is not prime. Res64: 01A8F181105B5BB4 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:06:49] 603*2^1429900-1 is not prime. Res64: 3D7695C5A6D24491 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:21:20] 665*2^1429900-1 is not prime. Res64: 6A946CCD00F0373A Time : 0.0 sec. user=mdettweiler [2016-05-21 14:21:21] 687*2^1429900-1 is not prime. Res64: 0935F54A0E72B9B9 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:21:21] 689*2^1429900-1 is not prime. Res64: CB99D998AF7F3EC2 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:21:22] 693*2^1429900-1 is not prime. Res64: 2A205970F107F037 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:21:22] 717*2^1429900-1 is not prime. Res64: 913600EC658CBAD9 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:25] 843*2^1429900-1 is not prime. Res64: D4DFA5EFDA46B379 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:25] 875*2^1429900-1 is not prime. Res64: 0C8E9B5300F2D515 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:25] 939*2^1429900-1 is not prime. Res64: F8AA64FC0A084ED4 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:26] 957*2^1429900-1 is not prime. Res64: F45F05A177BADA30 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:26] 615*2^1429901-1 is not prime. Res64: E165592F05326287 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:30] 621*2^1429901-1 is not prime. Res64: 17C65F043FCFB4CB Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:30] 715*2^1429901-1 is not prime. Res64: F6A05F683EC4F0D3 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:31] 855*2^1429901-1 is not prime. Res64: 6A69CB2F8B214574 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:31] 867*2^1429901-1 is not prime. Res64: 21CA953AC99A235E Time : 0.0 sec. user=mdettweiler [2016-05-21 14:31:32] 925*2^1429901-1 is not prime. Res64: 39D8795DC8A1F847 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:52:12] 955*2^1429901-1 is not prime. Res64: 583388A5BED5A393 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:52:12] 991*2^1429901-1 is not prime. Res64: 38159F1293C589F9 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:52:12] 695*2^1429902-1 is not prime. Res64: 6D2DA628E9D99DE3 Time : 0.0 sec. user=mdettweiler [2016-05-21 14:52:13] 941*2^1429902-1 is not prime. Res64: 215C67D456E48D8A Time : 0.0 sec. user=mdettweiler [2016-05-21 14:52:13] 965*2^1429902-1 is not prime. Res64: 57F3F26E55FD3CFE Time : 0.0 sec. user=mdettweiler [2016-05-21 15:06:21] 609*2^1429903-1 is not prime. Res64: 697D1AF6D96E083A Time : 0.0 sec. user=mdettweiler [2016-05-21 15:06:22] 681*2^1429903-1 is not prime. Res64: E02DA41693277EC7 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:06:22] 849*2^1429903-1 is not prime. Res64: 1D68CEFD02AA8479 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:06:23] 861*2^1429903-1 is not prime. Res64: 566E83CDD98B2133 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:06:23] 895*2^1429903-1 is not prime. Res64: 255040858469FE09 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:23] 635*2^1429904-1 is not prime. Res64: 696DED113EA5E096 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:23] 649*2^1429905-1 is not prime. Res64: 455B6265C47D107D Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:24] 753*2^1429904-1 is not prime. Res64: 359F6E876B39E350 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:24] 741*2^1429905-1 is not prime. Res64: DB50D1331BC08B71 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:24] 819*2^1429904-1 is not prime. Res64: 5E10B4BDEE288FB1 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:24] 805*2^1429905-1 is not prime. Res64: EB388FF4C860970C Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:25] 915*2^1429904-1 is not prime. Res64: 70FE40AE3B7A9B15 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:25] 817*2^1429905-1 is not prime. Res64: 16341EFA4DDC0EDA Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:25] 609*2^1429905-1 is not prime. Res64: 6B3A02641BD5222B Time : 0.0 sec. user=mdettweiler [2016-05-21 15:16:25] 895*2^1429905-1 is not prime. Res64: 7DBD9924617BD365 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:37:19] 909*2^1429905-1 is not prime. Res64: 84D3068C34C11F50 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:37:19] 915*2^1429905-1 is not prime. Res64: 917C09F55C3EC3AE Time : 0.0 sec. user=mdettweiler [2016-05-21 15:37:20] 955*2^1429905-1 is not prime. Res64: 41DF4748BE1384E6 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:37:20] 603*2^1429906-1 is not prime. Res64: 89CFFBD2BC7DD6A4 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:37:20] 645*2^1429906-1 is not prime. Res64: 8BAADE244D51565C Time : 0.0 sec. user=mdettweiler [2016-05-21 15:51:49] 705*2^1429906-1 is not prime. Res64: DC6A855374CA823C Time : 0.0 sec. user=mdettweiler [2016-05-21 15:51:49] 735*2^1429906-1 is not prime. Res64: 761EEBA7567E47FC Time : 0.0 sec. user=mdettweiler [2016-05-21 15:51:50] 765*2^1429906-1 is not prime. Res64: AFA073232CD8FBBB Time : 0.0 sec. user=mdettweiler [2016-05-21 15:51:50] 783*2^1429906-1 is not prime. Res64: BDB260CFD9938B41 Time : 0.0 sec. user=mdettweiler [2016-05-21 15:51:50] 825*2^1429906-1 is not prime. Res64: 294CFEFFC9A7ED87 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:44] 843*2^1429906-1 is not prime. Res64: E8D34338503C642E Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:45] 933*2^1429906-1 is not prime. Res64: C96D362E64B67549 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:46] 971*2^1429906-1 is not prime. Res64: B42F3F22F6858D8D Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:47] 631*2^1429907-1 is not prime. Res64: E64970078167F72A Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:47] 949*2^1429907-1 is not prime. Res64: 0A3789F4A42F3ECD Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:47] 843*2^1429907-1 is not prime. Res64: 89CC0DDEC451E36F Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:48] 963*2^1429907-1 is not prime. Res64: 852A582F2F74C2BD Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:48] 707*2^1429908-1 is not prime. Res64: 0F99B4F714CACA91 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:49] 767*2^1429908-1 is not prime. Res64: 1A199D1B3726FA88 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:02:51] 845*2^1429908-1 is not prime. Res64: FA6EF3E2AF8A1CB3 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:24:33] 893*2^1429908-1 is not prime. Res64: 0C46FF5A297D5404 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:24:33] 969*2^1429908-1 is not prime. Res64: 2CBB6DDE1B01A1FB Time : 0.0 sec. user=mdettweiler [2016-05-21 16:24:33] 625*2^1429909-1 is not prime. Res64: 9BD6D706DCD71B87 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:24:34] 741*2^1429909-1 is not prime. Res64: 29F1AAF457A15023 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:24:34] 919*2^1429909-1 is not prime. Res64: 118B438062C4B0EC Time : 0.0 sec. user=mdettweiler [2016-05-21 16:39:19] 675*2^1429910-1 is not prime. Res64: DDBA9E22A520F47C Time : 0.0 sec. user=mdettweiler [2016-05-21 16:39:19] 707*2^1429910-1 is not prime. Res64: B2880FBB81AAAFE8 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:39:20] 755*2^1429910-1 is not prime. Res64: 59ADAF3DA8185566 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:39:20] 965*2^1429910-1 is not prime. Res64: BF29EA4E9C13B301 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:39:21] 735*2^1429911-1 is not prime. Res64: D12CE932A98BA5E6 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:17] 775*2^1429911-1 is not prime. Res64: 726732EC0DECCC2B Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:17] 805*2^1429911-1 is not prime. Res64: E7EAC87450795059 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:18] 879*2^1429911-1 is not prime. Res64: CB7FA3BC80DF335E Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:18] 975*2^1429911-1 is not prime. Res64: 85B82A6F0CE5F9EA Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:19] 605*2^1429912-1 is not prime. Res64: C4C14CCD30D86F9C Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:32] 635*2^1429912-1 is not prime. Res64: 10178F794FD92CA3 Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:33] 653*2^1429912-1 is not prime. Res64: F43C6B6B72A5BDCE Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:33] 695*2^1429912-1 is not prime. Res64: C334B9108C9DB01E Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:33] 705*2^1429912-1 is not prime. Res64: 5DB43172F57542FA Time : 0.0 sec. user=mdettweiler [2016-05-21 16:49:34] 743*2^1429912-1 is not prime. Res64: F44BE20DE7B6DA89 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:10:22] 975*2^1429912-1 is not prime. Res64: 5E1DF63733786E02 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:10:22] 983*2^1429912-1 is not prime. Res64: C965CEEE03837EF6 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:10:23] 619*2^1429913-1 is not prime. Res64: 038BEE82703AA0A6 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:10:23] 685*2^1429913-1 is not prime. Res64: 7B3B2E449645250F Time : 0.0 sec. user=mdettweiler [2016-05-21 17:10:24] 819*2^1429913-1 is not prime. Res64: DEF3CE7197CDDCC9 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:24:24] 837*2^1429913-1 is not prime. Res64: 19B2AE3DFA01D3A6 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:24:25] 889*2^1429913-1 is not prime. Res64: 9443082721FAC0A3 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:24:25] 991*2^1429913-1 is not prime. Res64: 7C9910FFDEEE5657 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:24:26] 621*2^1429914-1 is not prime. Res64: 88478763AB3AB9E3 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:24:27] 671*2^1429914-1 is not prime. Res64: A37920DF0766D0A5 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:31] 681*2^1429914-1 is not prime. Res64: E77D41A0D6229D21 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:31] 683*2^1429914-1 is not prime. Res64: 33353678B711FEE0 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:32] 773*2^1429914-1 is not prime. Res64: 7027C2D162BA9FE3 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:32] 807*2^1429914-1 is not prime. Res64: 627D68FF893B9E78 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:32] 945*2^1429914-1 is not prime. Res64: CB53CBD1A9C401C6 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:53] 625*2^1429915-1 is not prime. Res64: 377A0F1C70E1A4DF Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:53] 675*2^1429915-1 is not prime. Res64: FFE08EFB3B603131 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:53] 759*2^1429916-1 is not prime. Res64: 3941EEC0FB6EB425 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:54] 897*2^1429916-1 is not prime. Res64: 4B5579E558414B72 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:34:54] 935*2^1429916-1 is not prime. Res64: 02654E99B41E3056 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:55:24] 699*2^1429917-1 is not prime. Res64: CABCB350B643CAA1 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:55:24] 759*2^1429917-1 is not prime. Res64: 84FE58936DFFC84A Time : 0.0 sec. user=mdettweiler [2016-05-21 17:55:25] 885*2^1429917-1 is not prime. Res64: 3D2BE1258434D9EA Time : 0.0 sec. user=mdettweiler [2016-05-21 17:55:25] 889*2^1429917-1 is not prime. Res64: 98886C485AB13AC5 Time : 0.0 sec. user=mdettweiler [2016-05-21 17:55:25] 937*2^1429917-1 is not prime. Res64: A9EF73066151140F Time : 0.0 sec. user=mdettweiler [2016-05-21 18:09:30] 621*2^1429918-1 is not prime. Res64: 3D0EB32C9CF0C480 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:09:30] 657*2^1429918-1 is not prime. Res64: 76AC2FC95214F536 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:09:31] 663*2^1429918-1 is not prime. Res64: A2B8C6FA043B40C1 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:09:32] 737*2^1429918-1 is not prime. Res64: E58359F7A211F357 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:09:32] 777*2^1429918-1 is not prime. Res64: 1C73A4B285671D44 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:27] 887*2^1429918-1 is not prime. Res64: 33D51FE5AA3551A0 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:28] 933*2^1429918-1 is not prime. Res64: 418C6C4A56F19DC4 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:28] 995*2^1429918-1 is not prime. Res64: 98DBB187BE9B521B Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:29] 661*2^1429919-1 is not prime. Res64: ECF1D87E30F5CE39 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:29] 825*2^1429919-1 is not prime. Res64: C799910BCC666E90 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:45] 859*2^1429919-1 is not prime. Res64: F278CD2D8B393973 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:46] 939*2^1429919-1 is not prime. Res64: 00384439771F79FA Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:46] 949*2^1429919-1 is not prime. Res64: D6B82498BBE2FC1D Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:46] 665*2^1429920-1 is not prime. Res64: D6E8A240A386F960 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:19:47] 695*2^1429920-1 is not prime. Res64: 6EA97D2BCF08B18E Time : 0.0 sec. user=mdettweiler [2016-05-21 18:40:17] 845*2^1429920-1 is not prime. Res64: 891672DC76562726 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:40:18] 857*2^1429920-1 is not prime. Res64: 96CAF9395A994BDE Time : 0.0 sec. user=mdettweiler [2016-05-21 18:40:18] 975*2^1429920-1 is not prime. Res64: B2ABB5088CADEF93 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:40:19] 607*2^1429921-1 is not prime. Res64: 888833DA8E106DEF Time : 0.0 sec. user=mdettweiler [2016-05-21 18:40:19] 609*2^1429921-1 is not prime. Res64: D55CE0CFAC1C429A Time : 0.0 sec. user=mdettweiler [2016-05-21 18:54:47] 817*2^1429921-1 is not prime. Res64: A23B578271743B12 Time : 0.0 sec. user=mdettweiler [2016-05-21 18:54:47] 861*2^1429921-1 is not prime. Res64: 3F912D629B324F9B Time : 0.0 sec. user=mdettweiler [2016-05-21 18:54:48] 889*2^1429921-1 is not prime. Res64: FEACCA9036EB1D6C Time : 0.0 sec. user=mdettweiler [2016-05-21 18:54:48] 931*2^1429921-1 is not prime. Res64: D2E75C7368A4F2ED Time : 0.0 sec. user=mdettweiler [2016-05-21 18:54:49] 997*2^1429921-1 is not prime. Res64: 92F9FC9C30D78F20 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:31] 603*2^1429922-1 is not prime. Res64: 90ACE217915CB770 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:33] 677*2^1429922-1 is not prime. Res64: 888830AB65ED94A0 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:33] 683*2^1429922-1 is not prime. Res64: 9F0544D1463BEC80 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:34] 711*2^1429922-1 is not prime. Res64: 24BCEFD8B5F506BA Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:35] 747*2^1429922-1 is not prime. Res64: ECB8E605EE5FF6CB Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:51] 885*2^1429922-1 is not prime. Res64: D20EFA3FDEC34C2E Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:52] 903*2^1429922-1 is not prime. Res64: 8F43BEB0671C38F0 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:53] 951*2^1429922-1 is not prime. Res64: 038BFFC57AB03A74 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:54] 613*2^1429923-1 is not prime. Res64: 8571D9A4D7BF6F2D Time : 0.0 sec. user=mdettweiler [2016-05-21 19:04:55] 709*2^1429923-1 is not prime. Res64: F1DFFA0887DAA4A9 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:25:13] 825*2^1429923-1 is not prime. Res64: 5D261586A3260347 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:25:14] 963*2^1429923-1 is not prime. Res64: 1E16E7B7FC2F989A Time : 0.0 sec. user=mdettweiler [2016-05-21 19:25:15] 635*2^1429924-1 is not prime. Res64: 551FBE4B2EFCE539 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:25:15] 675*2^1429924-1 is not prime. Res64: 0D8438F6CFEAD1A4 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:25:16] 723*2^1429924-1 is not prime. Res64: 62DEB56E7B034A85 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:39:51] 743*2^1429924-1 is not prime. Res64: CE2F998E51FC282E Time : 0.0 sec. user=mdettweiler [2016-05-21 19:39:52] 885*2^1429924-1 is not prime. Res64: D852ACED75C2C3F4 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:39:52] 897*2^1429924-1 is not prime. Res64: 2B9CE4763B92D94B Time : 0.0 sec. user=mdettweiler [2016-05-21 19:39:53] 927*2^1429924-1 is not prime. Res64: EFF1FAAF6705F9E2 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:39:53] 699*2^1429925-1 is not prime. Res64: 2907BF65D9292C3E Time : 0.0 sec. user=mdettweiler [2016-05-21 19:49:45] 757*2^1429925-1 is not prime. Res64: DC826C17EBE1A23E Time : 0.0 sec. user=mdettweiler [2016-05-21 19:49:46] 865*2^1429925-1 is not prime. Res64: 67AF4E082728E1A9 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:49:46] 955*2^1429925-1 is not prime. Res64: 005B11972E7EE72E Time : 0.0 sec. user=mdettweiler [2016-05-21 19:49:47] 683*2^1429926-1 is not prime. Res64: 34281A859C9695BB Time : 0.0 sec. user=mdettweiler [2016-05-21 19:49:47] 711*2^1429926-1 is not prime. Res64: 9368042DCA389500 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:50:02] 807*2^1429926-1 is not prime. Res64: ED6B844E3D2335A2 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:50:02] 875*2^1429926-1 is not prime. Res64: EC3D56E7BDEF7C96 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:50:03] 933*2^1429926-1 is not prime. Res64: 61982259C1AE01D1 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:50:03] 609*2^1429927-1 is not prime. Res64: 9BB75DD0E3624B03 Time : 0.0 sec. user=mdettweiler [2016-05-21 19:50:04] 735*2^1429927-1 is not prime. Res64: 28F28FC5419C7889 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:10:22] 743*2^1429928-1 is not prime. Res64: 828FB95FF809C535 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:10:24] 755*2^1429928-1 is not prime. Res64: DABEBD2F9E259F6E Time : 0.0 sec. user=mdettweiler [2016-05-21 20:10:26] 825*2^1429928-1 is not prime. Res64: 4E232615A8C6BAB0 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:10:27] 837*2^1429928-1 is not prime. Res64: 99BAA4D9D6A60B66 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:10:31] 935*2^1429928-1 is not prime. Res64: D56E320C779FACF2 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:25:10] 751*2^1429929-1 is not prime. Res64: 24A463BC9670002C Time : 0.0 sec. user=mdettweiler [2016-05-21 20:25:10] 765*2^1429929-1 is not prime. Res64: 1C3AFFBD6F96147E Time : 0.0 sec. user=mdettweiler [2016-05-21 20:25:10] 787*2^1429929-1 is not prime. Res64: A9E2E9194083857E Time : 0.0 sec. user=mdettweiler [2016-05-21 20:25:11] 817*2^1429929-1 is not prime. Res64: 728946F5062E5958 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:25:11] 861*2^1429929-1 is not prime. Res64: B46FB207A9B2BB65 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:35:45] 919*2^1429929-1 is not prime. Res64: 91A3368A1529FC69 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:35:45] 681*2^1429930-1 is not prime. Res64: D497243F3B10CBE6 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:35:46] 803*2^1429930-1 is not prime. Res64: 9A9BA17D0E2E4858 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:35:46] 843*2^1429930-1 is not prime. Res64: F1715907CD401924 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:35:46] 861*2^1429930-1 is not prime. Res64: FCA543779EE35B9A Time : 0.0 sec. user=mdettweiler [2016-05-21 20:36:35] 621*2^1429931-1 is not prime. Res64: FDD497EE14A560A6 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:36:35] 715*2^1429931-1 is not prime. Res64: 4D6ECEA225D6ECDE Time : 0.0 sec. user=mdettweiler [2016-05-21 20:36:35] 789*2^1429931-1 is not prime. Res64: 365651671CC09B13 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:36:36] 909*2^1429931-1 is not prime. Res64: 36A3CBE4DEA28AC8 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:36:36] 623*2^1429932-1 is not prime. Res64: EF5C68AB35DD4881 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:58:10] 635*2^1429932-1 is not prime. Res64: 8ECB027F33EF9C35 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:58:10] 779*2^1429932-1 is not prime. Res64: DA7EF7EF8C2A2867 Time : 0.0 sec. user=mdettweiler [2016-05-21 20:58:11] 887*2^1429932-1 is not prime. Res64: E3951D96E7440D5A Time : 0.0 sec. user=mdettweiler [2016-05-21 20:58:11] 965*2^1429932-1 is not prime. Res64: 88179B68BC0B1FDF Time : 0.0 sec. user=mdettweiler [2016-05-21 20:58:12] 619*2^1429933-1 is not prime. Res64: 00EE020A5AC7F75D Time : 0.0 sec. user=mdettweiler [2016-05-21 21:12:12] 675*2^1429933-1 is not prime. Res64: 65BE93F0878948BD Time : 0.0 sec. user=mdettweiler [2016-05-21 21:12:12] 727*2^1429933-1 is not prime. Res64: 50A338CBFFE5A6BB Time : 0.0 sec. user=mdettweiler [2016-05-21 21:12:13] 627*2^1429934-1 is not prime. Res64: 6AA7AD55DAAC2769 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:12:13] 741*2^1429934-1 is not prime. Res64: 107A22D87F32C034 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:12:14] 767*2^1429934-1 is not prime. Res64: 7DF6450FD3B9ED2F Time : 0.0 sec. user=mdettweiler [2016-05-21 21:21:35] 887*2^1429934-1 is not prime. Res64: 346A793B7EE84272 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:21:35] 609*2^1429935-1 is not prime. Res64: 6AEC9D8F34DE617D Time : 0.0 sec. user=mdettweiler [2016-05-21 21:21:35] 723*2^1429935-1 is not prime. Res64: 902A6B0502EDA418 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:21:36] 775*2^1429935-1 is not prime. Res64: C0112D67C251B101 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:21:36] 853*2^1429935-1 is not prime. Res64: 81794FAEA6432FE7 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:22:21] 961*2^1429935-1 is not prime. Res64: B6621DAE8EA73CA5 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:22:22] 963*2^1429935-1 is not prime. Res64: AB31D35E35F4B1DC Time : 0.0 sec. user=mdettweiler [2016-05-21 21:22:22] 979*2^1429935-1 is not prime. Res64: EBF1DFCE383911BD Time : 0.0 sec. user=mdettweiler [2016-05-21 21:22:22] 985*2^1429935-1 is not prime. Res64: 5EF8FBE7DA7A122A Time : 0.0 sec. user=mdettweiler [2016-05-21 21:22:23] 843*2^1429936-1 is not prime. Res64: A4B5F966D2914621 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:43:13] 849*2^1429936-1 is not prime. Res64: D5B4691BA7DFD11F Time : 0.0 sec. user=mdettweiler [2016-05-21 21:43:14] 777*2^1429937-1 is not prime. Res64: DDA78D4F26CAE509 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:43:14] 605*2^1429938-1 is not prime. Res64: C0381C447A0BBBBA Time : 0.0 sec. user=mdettweiler [2016-05-21 21:43:15] 663*2^1429938-1 is not prime. Res64: 8EB204F9092F8F23 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:43:15] 713*2^1429938-1 is not prime. Res64: 074F5C9F1B6A968D Time : 0.0 sec. user=mdettweiler [2016-05-21 21:57:20] 797*2^1429938-1 is not prime. Res64: 1B63CDCC2638B7E2 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:57:21] 893*2^1429938-1 is not prime. Res64: 0E00FBA098D2D3DC Time : 0.0 sec. user=mdettweiler [2016-05-21 21:57:21] 921*2^1429938-1 is not prime. Res64: E707C259A3A00498 Time : 0.0 sec. user=mdettweiler [2016-05-21 21:57:22] 977*2^1429938-1 is not prime. Res64: F17E99D5A9F64ECF Time : 0.0 sec. user=mdettweiler [2016-05-21 21:57:22] 705*2^1429939-1 is not prime. Res64: 7D909A87AE38A198 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:06:27] 843*2^1429939-1 is not prime. Res64: 2B3E924D40F43512 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:06:28] 647*2^1429940-1 is not prime. Res64: BA6989CEE7CB7CF1 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:06:30] 789*2^1429940-1 is not prime. Res64: 73537F49A82E9683 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:06:31] 797*2^1429940-1 is not prime. Res64: F08C833D77FCCC3B Time : 0.0 sec. user=mdettweiler [2016-05-21 22:06:32] 855*2^1429940-1 is not prime. Res64: 5C289F0717BB5445 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:07:23] 927*2^1429940-1 is not prime. Res64: 389D8320E516543C Time : 0.0 sec. user=mdettweiler [2016-05-21 22:07:25] 963*2^1429940-1 is not prime. Res64: 7FC8BFA417356755 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:07:26] 735*2^1429941-1 is not prime. Res64: A38B6E8DE882AACB Time : 0.0 sec. user=mdettweiler [2016-05-21 22:07:27] 745*2^1429941-1 is not prime. Res64: C694AF25C2B1BA4E Time : 0.0 sec. user=mdettweiler [2016-05-21 22:07:28] 789*2^1429941-1 is not prime. Res64: E491B195FCEAA40D Time : 0.0 sec. user=mdettweiler [2016-05-21 22:28:17] 859*2^1429941-1 is not prime. Res64: 85B6D30CC04B0BDF Time : 0.0 sec. user=mdettweiler [2016-05-21 22:28:17] 889*2^1429941-1 is not prime. Res64: BEC1D18E0E19EDBF Time : 0.0 sec. user=mdettweiler [2016-05-21 22:28:18] 927*2^1429941-1 is not prime. Res64: 6643460FB14A3175 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:28:18] 961*2^1429941-1 is not prime. Res64: AB027CE5ADA4DDDC Time : 0.0 sec. user=mdettweiler [2016-05-21 22:28:18] 741*2^1429942-1 is not prime. Res64: 3739139E14F4AE5F Time : 0.0 sec. user=mdettweiler [2016-05-21 22:42:18] 755*2^1429942-1 is not prime. Res64: E3EDEFA047F74A78 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:42:19] 777*2^1429942-1 is not prime. Res64: 0FDB9006864D50EB Time : 0.0 sec. user=mdettweiler [2016-05-21 22:42:19] 843*2^1429942-1 is not prime. Res64: DAD597DA5E722F4D Time : 0.0 sec. user=mdettweiler [2016-05-21 22:42:19] 885*2^1429942-1 is not prime. Res64: 6FAFBED4A27B96CE Time : 0.0 sec. user=mdettweiler [2016-05-21 22:42:20] 861*2^1429943-1 is not prime. Res64: BA6CE71B78614D47 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:51:53] 955*2^1429943-1 is not prime. Res64: D55A7CEC6558DD49 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:51:54] 615*2^1429944-1 is not prime. Res64: 8092B684AA4A15DA Time : 0.0 sec. user=mdettweiler [2016-05-21 22:51:54] 753*2^1429944-1 is not prime. Res64: 9694A83DFEDCA101 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:51:54] 765*2^1429944-1 is not prime. Res64: 4042A7750A3F8AB1 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:51:55] 773*2^1429944-1 is not prime. Res64: 2A15FEDD6006DA9F Time : 0.0 sec. user=mdettweiler [2016-05-21 22:52:41] 863*2^1429944-1 is not prime. Res64: 7A90370C3F7ADCA6 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:52:41] 927*2^1429944-1 is not prime. Res64: 70F4667A2AD643C6 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:52:41] 741*2^1429945-1 is not prime. Res64: 067B9F3B45B063E4 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:52:42] 771*2^1429945-1 is not prime. Res64: 3B1BB3673E22AD13 Time : 0.0 sec. user=mdettweiler [2016-05-21 22:52:42] 979*2^1429945-1 is not prime. Res64: E087D0FF47F7181E Time : 0.0 sec. user=mdettweiler [2016-05-21 23:13:44] 981*2^1429945-1 is not prime. Res64: 6F0E7E7F1AF17841 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:13:45] 987*2^1429945-1 is not prime. Res64: 3635621D0E3E3C54 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:13:45] 651*2^1429946-1 is not prime. Res64: 41BA8611BDB77362 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:13:46] 827*2^1429946-1 is not prime. Res64: AE5DFCC9C8931942 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:13:46] 831*2^1429946-1 is not prime. Res64: BC33D2913C8F510E Time : 0.0 sec. user=mdettweiler [2016-05-21 23:27:02] 917*2^1429946-1 is not prime. Res64: 912565FFC0D01A17 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:27:03] 923*2^1429946-1 is not prime. Res64: 0A1B9B93C79665E5 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:27:04] 615*2^1429947-1 is not prime. Res64: 990C04FF4F1D3C82 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:27:04] 801*2^1429947-1 is not prime. Res64: 1446636E54188E98 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:27:05] 823*2^1429947-1 is not prime. Res64: 77EA4F27CFC96848 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:06] 955*2^1429947-1 is not prime. Res64: 93B82DC2FDA49A94 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:06] 963*2^1429947-1 is not prime. Res64: 6D9BA80D375C2470 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:06] 665*2^1429948-1 is not prime. Res64: BAB9A4E51434581E Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:07] 735*2^1429948-1 is not prime. Res64: 63B2D8BAB71BC304 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:07] 777*2^1429948-1 is not prime. Res64: 008B86BC76FDA8B3 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:39] 855*2^1429948-1 is not prime. Res64: 9CCE3B95FCF884B8 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:39] 887*2^1429948-1 is not prime. Res64: E0068774BEC4A665 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:39] 999*2^1429948-1 is not prime. Res64: CB1987263C51B6D8 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:40] 615*2^1429949-1 is not prime. Res64: 2354B4CF73245117 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:37:40] 619*2^1429949-1 is not prime. Res64: B80C844D36D4C78A Time : 0.0 sec. user=mdettweiler [2016-05-21 23:58:37] 675*2^1429949-1 is not prime. Res64: 81F84BDBC51EB5A5 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:58:37] 745*2^1429949-1 is not prime. Res64: 1AC087CCA12EF53E Time : 0.0 sec. user=mdettweiler [2016-05-21 23:58:38] 789*2^1429949-1 is not prime. Res64: 7E60454DD49F483D Time : 0.0 sec. user=mdettweiler [2016-05-21 23:58:38] 847*2^1429949-1 is not prime. Res64: A9F3C04BBB7841C7 Time : 0.0 sec. user=mdettweiler [2016-05-21 23:58:38] 955*2^1429949-1 is not prime. Res64: C1AD187648CC3089 Time : 0.0 sec.