user=mdettweiler [2016-06-29 00:12:48] 741*2^1433805-1 is not prime. Res64: D18177DA898BEF90 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:12:52] 781*2^1433805-1 is not prime. Res64: 396E79F89AD56D7A Time : 0.0 sec. user=mdettweiler [2016-06-29 00:12:56] 805*2^1433805-1 is not prime. Res64: F4180DBDAB243C3D Time : 0.0 sec. user=mdettweiler [2016-06-29 00:13:00] 915*2^1433805-1 is not prime. Res64: CF50517B5AF89F06 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:13:04] 927*2^1433805-1 is not prime. Res64: 20D51BBF9F2A120D Time : 0.0 sec. user=mdettweiler [2016-06-29 00:16:22] 961*2^1433805-1 is not prime. Res64: 343FF4BED034B651 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:16:26] 999*2^1433805-1 is not prime. Res64: 24DA85E2E9D5BF69 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:16:30] 603*2^1433806-1 is not prime. Res64: 3E8EEAA553EED04C Time : 0.0 sec. user=mdettweiler [2016-06-29 00:16:35] 653*2^1433806-1 is not prime. Res64: 7106B0B12D8D111A Time : 0.0 sec. user=mdettweiler [2016-06-29 00:16:39] 657*2^1433806-1 is not prime. Res64: 6E96698E9DC4A3FB Time : 0.0 sec. user=mdettweiler [2016-06-29 00:18:30] 765*2^1433806-1 is not prime. Res64: 4B785DB6BE2A4CB2 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:18:37] 911*2^1433806-1 is not prime. Res64: C055361C293C1C06 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:18:38] 965*2^1433806-1 is not prime. Res64: 5341E001EBB46B69 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:18:45] 987*2^1433806-1 is not prime. Res64: 0A8E850DCFB0C607 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:18:45] 993*2^1433806-1 is not prime. Res64: 6A38A4429B54FBC4 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:21:10] 669*2^1433807-1 is not prime. Res64: E2763F6E3DFBE55E Time : 0.0 sec. user=mdettweiler [2016-06-29 00:21:18] 685*2^1433807-1 is not prime. Res64: 6B9D1B7C71B1862B Time : 0.0 sec. user=mdettweiler [2016-06-29 00:21:25] 729*2^1433807-1 is not prime. Res64: 23297BFFDC7F57E6 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:21:32] 759*2^1433807-1 is not prime. Res64: 5FD025D3C9C7E64D Time : 0.0 sec. user=mdettweiler [2016-06-29 00:21:39] 841*2^1433807-1 is not prime. Res64: 420CEEBCF6B4E2CD Time : 0.0 sec. user=mdettweiler [2016-06-29 00:59:22] 865*2^1433807-1 is not prime. Res64: 8FF21E14BBF1F685 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:59:26] 871*2^1433807-1 is not prime. Res64: CDF93EA992254184 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:59:30] 901*2^1433807-1 is not prime. Res64: C57EB18DC596C065 Time : 0.0 sec. user=mdettweiler [2016-06-29 00:59:34] 683*2^1433808-1 is not prime. Res64: 4BDBFA8F9819CB5C Time : 0.0 sec. user=mdettweiler [2016-06-29 00:59:38] 795*2^1433808-1 is not prime. Res64: 1500558C7629DEB5 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:03:24] 825*2^1433808-1 is not prime. Res64: 1EDD8AAE6B134C16 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:03:25] 845*2^1433808-1 is not prime. Res64: 3561323FAC8227CD Time : 0.0 sec. user=mdettweiler [2016-06-29 01:03:26] 933*2^1433808-1 is not prime. Res64: 180439F60F9DEA76 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:03:27] 969*2^1433808-1 is not prime. Res64: A0F44FE0683502B5 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:03:28] 999*2^1433808-1 is not prime. Res64: 77704B15D2890407 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:05:01] 775*2^1433809-1 is not prime. Res64: B59B4DB84F14ED51 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:05:02] 847*2^1433809-1 is not prime. Res64: 967993F5CAA3581F Time : 0.0 sec. user=mdettweiler [2016-06-29 01:05:03] 975*2^1433809-1 is not prime. Res64: DD81851AAC53C1A4 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:05:04] 987*2^1433809-1 is not prime. Res64: 3EA5A3279396041C Time : 0.0 sec. user=mdettweiler [2016-06-29 01:05:05] 645*2^1433810-1 is not prime. Res64: E8E17A30B98F116E Time : 0.0 sec. user=mdettweiler [2016-06-29 01:07:36] 951*2^1433810-1 is not prime. Res64: 10CC48B8583BAD5E Time : 0.0 sec. user=mdettweiler [2016-06-29 01:07:36] 987*2^1433810-1 is not prime. Res64: 7BC74959DB46F4E9 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:07:36] 705*2^1433811-1 is not prime. Res64: 7836A93A4271F824 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:07:37] 769*2^1433811-1 is not prime. Res64: 60E067C4CA9E07B7 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:07:37] 793*2^1433811-1 is not prime. Res64: 0C0230458703E1E3 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:44:25] 885*2^1433811-1 is not prime. Res64: 6F9BB4AE476F4354 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:44:25] 901*2^1433811-1 is not prime. Res64: 4200A035762ABD19 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:44:26] 903*2^1433811-1 is not prime. Res64: 9C72D08C2ADF8EA4 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:44:26] 909*2^1433811-1 is not prime. Res64: DB777E26C0F2A406 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:44:26] 955*2^1433811-1 is not prime. Res64: 8D4CCAD88765754D Time : 0.0 sec. user=mdettweiler [2016-06-29 01:48:13] 647*2^1433812-1 is not prime. Res64: 5B000B30EF2CE5A7 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:48:14] 687*2^1433812-1 is not prime. Res64: 81A02EDE466EAA22 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:48:14] 765*2^1433812-1 is not prime. Res64: CBEA5326BC24F31E Time : 0.0 sec. user=mdettweiler [2016-06-29 01:48:14] 777*2^1433812-1 is not prime. Res64: 8BBF7C5D7B2C1E1D Time : 0.0 sec. user=mdettweiler [2016-06-29 01:48:15] 813*2^1433812-1 is not prime. Res64: A7FD24941BA975C8 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:49:54] 869*2^1433812-1 is not prime. Res64: 7B43C3CF3A62106A Time : 0.0 sec. user=mdettweiler [2016-06-29 01:49:54] 873*2^1433812-1 is not prime. Res64: DDF4A89F2217887A Time : 0.0 sec. user=mdettweiler [2016-06-29 01:49:55] 923*2^1433812-1 is not prime. Res64: 60121B1236D0F57F Time : 0.0 sec. user=mdettweiler [2016-06-29 01:49:55] 987*2^1433812-1 is not prime. Res64: A8869241671FE835 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:49:56] 631*2^1433813-1 is not prime. Res64: 04FD50356B77F6FA Time : 0.0 sec. user=mdettweiler [2016-06-29 01:52:20] 697*2^1433813-1 is not prime. Res64: 5C3B19A96B131786 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:52:20] 945*2^1433813-1 is not prime. Res64: 6F0ECB4455643F9E Time : 0.0 sec. user=mdettweiler [2016-06-29 01:52:20] 979*2^1433813-1 is not prime. Res64: DE59B56AD4C18CF2 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:52:21] 611*2^1433814-1 is not prime. Res64: 7AD93B499050B536 Time : 0.0 sec. user=mdettweiler [2016-06-29 01:52:21] 851*2^1433814-1 is not prime. Res64: D7EC6E6780E4CF72 Time : 0.0 sec. user=mdettweiler [2016-06-29 02:33:04] 685*2^1433815-1 is not prime. Res64: 0C7A0445C2D73452 Time : 0.0 sec. user=mdettweiler [2016-06-29 02:33:12] 841*2^1433815-1 is not prime. Res64: 15D2EAE0143EA4D0 Time : 0.0 sec. user=mdettweiler [2016-06-29 02:33:19] 871*2^1433815-1 is not prime. Res64: 7806B70D3179831A Time : 0.0 sec. user=mdettweiler [2016-06-29 02:33:20] 873*2^1433815-1 is not prime. Res64: C7BAB954E5A010F7 Time : 0.0 sec. user=mdettweiler [2016-06-29 02:33:26] 909*2^1433815-1 is not prime. Res64: 10ECF3CAFAFA497A Time : 0.0 sec. user=mdettweiler [2016-06-29 02:34:42] 913*2^1433815-1 is not prime. Res64: E2586DED9AC1D0ED Time : 0.0 sec. user=mdettweiler [2016-06-29 02:34:50] 609*2^1433816-1 is not prime. Res64: 7047222446173F90 Time : 0.0 sec. user=mdettweiler [2016-06-29 02:34:57] 617*2^1433816-1 is not prime. Res64: DED3E0E635EE668C Time : 0.0 sec. user=mdettweiler [2016-06-29 02:35:04] 645*2^1433816-1 is not prime. Res64: C578CCAC0FD2A85D Time : 0.0 sec. user=mdettweiler [2016-06-29 02:35:12] 675*2^1433816-1 is not prime. Res64: 3E2C3D505708A3C1 Time : 0.0 sec. user=mdettweiler [2016-06-29 02:37:12] 693*2^1433816-1 is not prime. Res64: 19A3B17AC4C81BE5 Time : 0.0 sec. user=mdettweiler [2016-06-29 02:37:22] 725*2^1433816-1 is not prime. Res64: 24C27506FB433F91 Time : 0.0 sec. user=mdettweiler [2016-06-29 03:20:25] 963*2^1433816-1 is not prime. Res64: DDF26175CB16AA8F Time : 0.0 sec. user=mdettweiler [2016-06-29 03:20:32] 667*2^1433817-1 is not prime. Res64: B77C488314BE5B3C Time : 0.0 sec. user=mdettweiler [2016-06-29 03:20:38] 727*2^1433817-1 is not prime. Res64: 335E95858060EE34 Time : 0.0 sec. user=mdettweiler [2016-06-29 03:20:45] 735*2^1433817-1 is not prime. Res64: CCE0029CF12C2D2B Time : 0.0 sec. user=mdettweiler [2016-06-29 03:20:51] 861*2^1433817-1 is not prime. Res64: 63743FA9C9D19EDE Time : 0.0 sec. user=mdettweiler [2016-06-29 03:22:16] 707*2^1433818-1 is not prime. Res64: 83FC53825B88541A Time : 0.0 sec. user=mdettweiler [2016-06-29 03:22:22] 791*2^1433818-1 is not prime. Res64: 584D6849C3D50EA4 Time : 0.0 sec. user=mdettweiler [2016-06-29 03:22:29] 857*2^1433818-1 is not prime. Res64: 3F9BCB41EE60FB3D Time : 0.0 sec. user=mdettweiler [2016-06-29 03:22:35] 923*2^1433818-1 is not prime. Res64: 9143BB81ACEB43C9 Time : 0.0 sec. user=mdettweiler [2016-06-29 03:22:42] 631*2^1433819-1 is not prime. Res64: 216D12A575A99483 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:08:31] 669*2^1433819-1 is not prime. Res64: AA08D5A5C3A30FF2 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:08:31] 675*2^1433819-1 is not prime. Res64: 6764714F92C18D70 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:08:32] 855*2^1433819-1 is not prime. Res64: 25967DD26AC6C6F5 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:08:32] 939*2^1433819-1 is not prime. Res64: C4C5FCD98E524B93 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:08:33] 973*2^1433819-1 is not prime. Res64: B04B91EB67E0AD39 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:10:03] 979*2^1433819-1 is not prime. Res64: F1C244E5CE4A9A99 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:10:04] 623*2^1433820-1 is not prime. Res64: 4BD453FCFCA34786 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:10:04] 707*2^1433820-1 is not prime. Res64: 326AB12AFB19F85A Time : 0.0 sec. user=mdettweiler [2016-06-29 04:10:05] 759*2^1433820-1 is not prime. Res64: 26E322C178DABBBF Time : 0.0 sec. user=mdettweiler [2016-06-29 04:10:05] 777*2^1433820-1 is not prime. Res64: 559146C50613BF87 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:22] 875*2^1433820-1 is not prime. Res64: 99BD2CED2E684B7A Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:28] 965*2^1433820-1 is not prime. Res64: BE7134BA01B1F1BC Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:28] 771*2^1433821-1 is not prime. Res64: DBE105520CC08680 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:34] 817*2^1433821-1 is not prime. Res64: 3205AFE8B5FFB7B0 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:34] 983*2^1433820-1 is not prime. Res64: 3D3AC65FF67813FE Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:40] 847*2^1433821-1 is not prime. Res64: 105829737982EA13 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:40] 619*2^1433821-1 is not prime. Res64: 2E0E6F204723832F Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:46] 645*2^1433821-1 is not prime. Res64: D6D793595279FF18 Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:46] 861*2^1433821-1 is not prime. Res64: 148369AD4425032C Time : 0.0 sec. user=mdettweiler [2016-06-29 04:58:53] 927*2^1433821-1 is not prime. Res64: B7E7962232EF3CD4 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:41:34] 827*2^1433816-1 is not prime. Res64: C1E45CA0CF67BC60 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:41:38] 935*2^1433816-1 is not prime. Res64: D1CF74A5C4599486 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:41:42] 957*2^1433816-1 is not prime. Res64: 42CDB099404BC2F2 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:45:44] 957*2^1433821-1 is not prime. Res64: 627A0389F0281A78 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:45:50] 963*2^1433822-1 is not prime. Res64: ACF32766CD439A1E Time : 0.0 sec. user=mdettweiler [2016-06-29 05:45:50] 665*2^1433822-1 is not prime. Res64: A138E91B1FD83F2B Time : 0.0 sec. user=mdettweiler [2016-06-29 05:45:56] 711*2^1433822-1 is not prime. Res64: 428EFE40796C1595 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:45:57] 977*2^1433822-1 is not prime. Res64: 48F50D038D895A6E Time : 0.0 sec. user=mdettweiler [2016-06-29 05:46:03] 1001*2^1433822-1 is not prime. Res64: 64232DDEA5C16BC7 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:46:03] 753*2^1433822-1 is not prime. Res64: 10320B9AD388FDB8 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:46:09] 945*2^1433822-1 is not prime. Res64: 8DFC2CABB609D0B8 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:46:09] 675*2^1433823-1 is not prime. Res64: 1FA052046283C863 Time : 0.0 sec. user=mdettweiler [2016-06-29 05:46:15] 679*2^1433823-1 is not prime. Res64: 5E99A735E7C2239E Time : 0.0 sec. user=mdettweiler [2016-06-29 06:23:25] 893*2^1433814-1 is not prime. Res64: 1AA68335B2229803 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:23:25] 903*2^1433814-1 is not prime. Res64: CB2ADCF84DFD78FB Time : 0.0 sec. user=mdettweiler [2016-06-29 06:23:32] 917*2^1433814-1 is not prime. Res64: E41CF89CF7795D8B Time : 0.0 sec. user=mdettweiler [2016-06-29 06:23:38] 947*2^1433814-1 is not prime. Res64: C2175F49DD1C0AAF Time : 0.0 sec. user=mdettweiler [2016-06-29 06:23:45] 673*2^1433815-1 is not prime. Res64: DF490AAAB84D934B Time : 0.0 sec. user=mdettweiler [2016-06-29 06:27:22] 705*2^1433823-1 is not prime. Res64: 9049B6BC5504E36A Time : 0.0 sec. user=mdettweiler [2016-06-29 06:27:22] 871*2^1433823-1 is not prime. Res64: 8D5DE382783E6CF7 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:27:23] 605*2^1433824-1 is not prime. Res64: 09E386CB981C3645 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:27:23] 615*2^1433824-1 is not prime. Res64: FF51634BE8D5DF4F Time : 0.0 sec. user=mdettweiler [2016-06-29 06:27:23] 623*2^1433824-1 is not prime. Res64: 14B530B075458C23 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:31:33] 629*2^1433824-1 is not prime. Res64: 076BEF88AB2F5611 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:31:34] 677*2^1433824-1 is not prime. Res64: AC6E12B2A1BECF7B Time : 0.0 sec. user=mdettweiler [2016-06-29 06:31:34] 723*2^1433824-1 is not prime. Res64: D2803A013A4B7D7D Time : 0.0 sec. user=mdettweiler [2016-06-29 06:31:35] 765*2^1433824-1 is not prime. Res64: 76E554207C1C681C Time : 0.0 sec. user=mdettweiler [2016-06-29 06:31:35] 825*2^1433824-1 is not prime. Res64: D2372993977ADB39 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:32:15] 827*2^1433824-1 is not prime. Res64: F28C070DFE93DD9F Time : 0.0 sec. user=mdettweiler [2016-06-29 06:32:16] 855*2^1433824-1 is not prime. Res64: 0AAE259A9DAD8029 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:32:16] 869*2^1433824-1 is not prime. Res64: B02B40CB6C706695 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:32:16] 619*2^1433825-1 is not prime. Res64: 0FA6F377902CC5C7 Time : 0.0 sec. user=mdettweiler [2016-06-29 06:32:17] 717*2^1433825-1 is not prime. Res64: 67FE316A719D283B Time : 0.0 sec. user=mdettweiler [2016-06-29 07:08:38] 729*2^1433825-1 is not prime. Res64: BC9AF2A4AB7E80F4 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:08:39] 861*2^1433825-1 is not prime. Res64: 103B4A85220DC6B9 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:08:39] 867*2^1433825-1 is not prime. Res64: 9FC22F7973B23D05 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:08:40] 909*2^1433825-1 is not prime. Res64: EC823237C7933A3C Time : 0.0 sec. user=mdettweiler [2016-06-29 07:08:40] 985*2^1433825-1 is not prime. Res64: 7691F82AE95EC064 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:12:14] 695*2^1433826-1 is not prime. Res64: 9491E93CFE8CF3CD Time : 0.0 sec. user=mdettweiler [2016-06-29 07:12:15] 755*2^1433826-1 is not prime. Res64: 260CBE89BF831494 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:12:15] 807*2^1433826-1 is not prime. Res64: E0794619F18672ED Time : 0.0 sec. user=mdettweiler [2016-06-29 07:12:16] 815*2^1433826-1 is not prime. Res64: B00A8E030A53C0D1 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:12:16] 923*2^1433826-1 is not prime. Res64: CE517E564AEDC9A4 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:16:19] 945*2^1433826-1 is not prime. Res64: 95F1E920D8FDE0B2 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:16:19] 741*2^1433827-1 is not prime. Res64: 4E542C2B5B6913CC Time : 0.0 sec. user=mdettweiler [2016-06-29 07:16:19] 901*2^1433827-1 is not prime. Res64: 3C6312EB04E30E66 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:16:20] 985*2^1433827-1 is not prime. Res64: 7155C740127FE1A2 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:16:20] 999*2^1433827-1 is not prime. Res64: FDEA771E692850A6 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:17:07] 615*2^1433828-1 is not prime. Res64: F79DC1BC4E9F5B06 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:17:08] 699*2^1433828-1 is not prime. Res64: AEB7B463DB7E54D4 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:17:08] 735*2^1433828-1 is not prime. Res64: 97C576716CCA9DDA Time : 0.0 sec. user=mdettweiler [2016-06-29 07:17:09] 837*2^1433828-1 is not prime. Res64: D5AB64257B837D0A Time : 0.0 sec. user=mdettweiler [2016-06-29 07:17:09] 845*2^1433828-1 is not prime. Res64: F914CAC7BBE343BE Time : 0.0 sec. user=mdettweiler [2016-06-29 07:53:37] 923*2^1433828-1 is not prime. Res64: 7E386F26B6D29FA3 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:53:37] 957*2^1433828-1 is not prime. Res64: 4F2972D9CE47D019 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:53:44] 987*2^1433828-1 is not prime. Res64: 5F7341C4DD230A64 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:53:50] 621*2^1433829-1 is not prime. Res64: CF291BD67490D222 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:53:56] 669*2^1433829-1 is not prime. Res64: 51EFA5361102686E Time : 0.0 sec. user=mdettweiler [2016-06-29 07:56:50] 685*2^1433829-1 is not prime. Res64: D0BD9987B03C10F3 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:56:51] 847*2^1433829-1 is not prime. Res64: 17596DE68139FDC6 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:57:00] 987*2^1433829-1 is not prime. Res64: 00848FFC6A144478 Time : 0.0 sec. user=mdettweiler [2016-06-29 07:57:10] 645*2^1433830-1 is not prime. Res64: 26935525CDE5039E Time : 0.0 sec. user=mdettweiler [2016-06-29 08:01:04] 821*2^1433830-1 is not prime. Res64: 1168AD533AF33A89 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:01:11] 831*2^1433830-1 is not prime. Res64: 831C70A0B305DB51 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:01:17] 863*2^1433830-1 is not prime. Res64: 008B74069AC466C4 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:01:22] 887*2^1433830-1 is not prime. Res64: 13AA307F6C90CC79 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:01:23] 923*2^1433830-1 is not prime. Res64: 33623E35F65F85D5 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:02:09] 951*2^1433830-1 is not prime. Res64: 249200F4C262B105 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:02:13] 645*2^1433831-1 is not prime. Res64: FD8DBE51807CA5C4 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:02:18] 679*2^1433831-1 is not prime. Res64: C6B4A2D038DBAC60 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:02:23] 711*2^1433831-1 is not prime. Res64: 0B909F47EAAD01A2 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:02:28] 843*2^1433831-1 is not prime. Res64: 02569F0107D3F2D3 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:39:48] 909*2^1433831-1 is not prime. Res64: 40D7A4B8AEE64C49 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:39:55] 931*2^1433831-1 is not prime. Res64: 1F0CEBB6961B1438 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:39:55] 993*2^1433831-1 is not prime. Res64: 7D41FC1FB54642B5 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:40:02] 605*2^1433832-1 is not prime. Res64: 3E0BFD570335203A Time : 0.0 sec. user=mdettweiler [2016-06-29 08:40:08] 713*2^1433832-1 is not prime. Res64: 1080C7E5DB478BBC Time : 0.0 sec. user=mdettweiler [2016-06-29 08:47:15] 767*2^1433832-1 is not prime. Res64: 3D594867DB4A0899 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:47:19] 857*2^1433832-1 is not prime. Res64: B546DE310C30C697 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:47:23] 899*2^1433832-1 is not prime. Res64: 1E9C7CDE69E60D28 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:47:27] 903*2^1433832-1 is not prime. Res64: 127A371860BF236F Time : 0.0 sec. user=mdettweiler [2016-06-29 08:47:30] 625*2^1433833-1 is not prime. Res64: DD89741B2A6C43F8 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:48:31] 771*2^1433833-1 is not prime. Res64: 043F51632B378E10 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:48:32] 811*2^1433833-1 is not prime. Res64: 66003259E2BD8974 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:48:32] 605*2^1433834-1 is not prime. Res64: 14DFBD19F4F1741D Time : 0.0 sec. user=mdettweiler [2016-06-29 08:48:32] 671*2^1433834-1 is not prime. Res64: 054A4849CDB09563 Time : 0.0 sec. user=mdettweiler [2016-06-29 08:48:33] 675*2^1433834-1 is not prime. Res64: AB1D86302ABB6FCA Time : 0.0 sec. user=mdettweiler [2016-06-29 09:26:31] 683*2^1433834-1 is not prime. Res64: BF7C53054E40EE09 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:26:32] 731*2^1433834-1 is not prime. Res64: BBDEF013DE80F8D0 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:26:32] 827*2^1433834-1 is not prime. Res64: 3A716F26BE046E56 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:26:32] 945*2^1433834-1 is not prime. Res64: 960529921B518B2B Time : 0.0 sec. user=mdettweiler [2016-06-29 09:26:32] 609*2^1433835-1 is not prime. Res64: DA36A526368AB5CC Time : 0.0 sec. user=mdettweiler [2016-06-29 09:34:33] 699*2^1433835-1 is not prime. Res64: 354E69C063A4B216 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:34:33] 723*2^1433835-1 is not prime. Res64: E2A79C9F3CF61E73 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:34:33] 871*2^1433835-1 is not prime. Res64: 3E9264B88AF39193 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:34:33] 921*2^1433835-1 is not prime. Res64: 7211F4F25840C157 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:34:34] 951*2^1433835-1 is not prime. Res64: F8F9AAB4E561D262 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:35:40] 985*2^1433835-1 is not prime. Res64: 2A8BB0C9C9D4F9D4 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:35:40] 657*2^1433836-1 is not prime. Res64: D5BC679AE74B8D0F Time : 0.0 sec. user=mdettweiler [2016-06-29 09:35:40] 707*2^1433836-1 is not prime. Res64: 55FAC4AB523DBEEC Time : 0.0 sec. user=mdettweiler [2016-06-29 09:35:41] 749*2^1433836-1 is not prime. Res64: 28F9F4CA48D9B2F9 Time : 0.0 sec. user=mdettweiler [2016-06-29 09:35:41] 765*2^1433836-1 is not prime. Res64: 202D329C69325D40 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:16:01] 839*2^1433836-1 is not prime. Res64: 6FDE9501496A2989 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:16:01] 939*2^1433836-1 is not prime. Res64: 64894A70957A8A87 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:16:02] 601*2^1433837-1 is not prime. Res64: 0DB2ED176E72EE61 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:16:02] 645*2^1433837-1 is not prime. Res64: 71A10BDFC2A76E9E Time : 0.0 sec. user=mdettweiler [2016-06-29 10:16:03] 915*2^1433837-1 is not prime. Res64: 838E374035CA63D0 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:22:58] 621*2^1433838-1 is not prime. Res64: 72EE0F2020DFE5DF Time : 0.0 sec. user=mdettweiler [2016-06-29 10:23:02] 647*2^1433838-1 is not prime. Res64: 572CBC78D78A8731 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:23:06] 713*2^1433838-1 is not prime. Res64: 382944B0CBB7BEF6 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:23:10] 773*2^1433838-1 is not prime. Res64: 67E1286A77C0A6DE Time : 0.0 sec. user=mdettweiler [2016-06-29 10:23:14] 815*2^1433838-1 is not prime. Res64: 29CCA86165F97C67 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:24:30] 933*2^1433838-1 is not prime. Res64: FE4DA71743DC8598 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:24:30] 993*2^1433838-1 is not prime. Res64: E9FCBF7A4D4D5CA6 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:24:34] 751*2^1433839-1 is not prime. Res64: 72227799D9966C31 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:24:38] 763*2^1433839-1 is not prime. Res64: A2D0EF2A67B1CA0F Time : 0.0 sec. user=mdettweiler [2016-06-29 10:24:42] 861*2^1433839-1 is not prime. Res64: C739581C93C75507 Time : 0.0 sec. user=mdettweiler [2016-06-29 10:53:31] 741*2^1433830-1 is not prime. Res64: D5D0567F52A2C27C Time : 0.0 sec. user=mdettweiler [2016-06-29 11:01:44] 919*2^1433839-1 is not prime. Res64: 89CC9BF2A3331614 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:01:50] 943*2^1433839-1 is not prime. Res64: 3280CEE63A2F9B10 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:01:57] 969*2^1433839-1 is not prime. Res64: 29F048E03E2A35AB Time : 0.0 sec. user=mdettweiler [2016-06-29 11:02:03] 973*2^1433839-1 is not prime. Res64: 68662776C45A9C1A Time : 0.0 sec. user=mdettweiler [2016-06-29 11:02:10] 629*2^1433840-1 is not prime. Res64: 659D1DBA03D46DAB Time : 0.0 sec. user=mdettweiler [2016-06-29 11:08:25] 663*2^1433840-1 is not prime. Res64: 8AB18A6745438C5F Time : 0.0 sec. user=mdettweiler [2016-06-29 11:08:31] 675*2^1433840-1 is not prime. Res64: 7F8E937664520131 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:08:36] 767*2^1433840-1 is not prime. Res64: BD468D7D6322C581 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:08:42] 855*2^1433840-1 is not prime. Res64: 1DABF02D9D8D2E88 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:08:48] 923*2^1433840-1 is not prime. Res64: 64C41374A0F2C479 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:10:08] 861*2^1433841-1 is not prime. Res64: CF9F9E5F050AC500 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:10:14] 895*2^1433841-1 is not prime. Res64: 8A7C1B53651E4EC0 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:10:19] 955*2^1433841-1 is not prime. Res64: ED1567D7D1087517 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:10:25] 979*2^1433841-1 is not prime. Res64: D403AA11522E7416 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:10:31] 635*2^1433842-1 is not prime. Res64: D275C74FF77BB4A9 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:38:29] 681*2^1433842-1 is not prime. Res64: C330497A88DCA2D9 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:38:35] 813*2^1433842-1 is not prime. Res64: 9034D1A7EA4844CF Time : 0.0 sec. user=mdettweiler [2016-06-29 11:38:42] 885*2^1433842-1 is not prime. Res64: 7931373357EFC907 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:38:42] 987*2^1433842-1 is not prime. Res64: 8BF50DDD861B6D40 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:38:48] 673*2^1433843-1 is not prime. Res64: D18391CE8D758224 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:47:04] 825*2^1433843-1 is not prime. Res64: 601CD882BB715D1C Time : 0.0 sec. user=mdettweiler [2016-06-29 11:47:05] 675*2^1433844-1 is not prime. Res64: 4D0F8B64939F3B00 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:47:11] 689*2^1433844-1 is not prime. Res64: F50F6FDA30D17879 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:47:17] 803*2^1433844-1 is not prime. Res64: 98DD7FD3737A257A Time : 0.0 sec. user=mdettweiler [2016-06-29 11:47:23] 899*2^1433844-1 is not prime. Res64: F518DEC5A7D02A60 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:53:37] 927*2^1433844-1 is not prime. Res64: 8F7E15395FBDB772 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:53:38] 965*2^1433844-1 is not prime. Res64: 68C1EB003E2D42F5 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:53:38] 729*2^1433845-1 is not prime. Res64: EFA693EEE0A4A169 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:53:38] 765*2^1433845-1 is not prime. Res64: 3E56F8BE711F027D Time : 0.0 sec. user=mdettweiler [2016-06-29 11:53:39] 777*2^1433845-1 is not prime. Res64: 2B986CF50A8D5F9D Time : 0.0 sec. user=mdettweiler [2016-06-29 11:55:17] 817*2^1433845-1 is not prime. Res64: 798AB33B189C2381 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:55:17] 819*2^1433845-1 is not prime. Res64: 74515DAC4BE2B46C Time : 0.0 sec. user=mdettweiler [2016-06-29 11:55:18] 825*2^1433845-1 is not prime. Res64: E5B3BE983F538860 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:55:18] 849*2^1433845-1 is not prime. Res64: 66C8713F47DC1582 Time : 0.0 sec. user=mdettweiler [2016-06-29 11:55:18] 871*2^1433845-1 is not prime. Res64: D4A4CE7886F34D5C Time : 0.0 sec. user=mdettweiler [2016-06-29 12:23:48] 885*2^1433845-1 is not prime. Res64: AE5F3B451A806692 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:23:49] 635*2^1433846-1 is not prime. Res64: F658E7CA5CAF3C81 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:23:49] 677*2^1433846-1 is not prime. Res64: 637E73FF439DD357 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:23:49] 713*2^1433846-1 is not prime. Res64: 491D794A8F760C52 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:23:50] 773*2^1433846-1 is not prime. Res64: 3748D3B3E0C70F61 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:32:26] 861*2^1433846-1 is not prime. Res64: 3D8FB3FFC5503B0B Time : 0.0 sec. user=mdettweiler [2016-06-29 12:32:26] 921*2^1433846-1 is not prime. Res64: 4CFA19AB4722C535 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:32:27] 651*2^1433847-1 is not prime. Res64: 3F99567D0692ED51 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:32:27] 751*2^1433847-1 is not prime. Res64: 38E3C66E8A9DC4AE Time : 0.0 sec. user=mdettweiler [2016-06-29 12:32:28] 765*2^1433847-1 is not prime. Res64: 3500553D77B28F20 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:38:37] 861*2^1433847-1 is not prime. Res64: 11E5D8EB8D9C1A6B Time : 0.0 sec. user=mdettweiler [2016-06-29 12:38:37] 979*2^1433847-1 is not prime. Res64: 8CD9EFD3AF5DABD7 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:38:37] 999*2^1433847-1 is not prime. Res64: CE2EA26EC7A30DAE Time : 0.0 sec. user=mdettweiler [2016-06-29 12:38:38] 665*2^1433848-1 is not prime. Res64: 4744900B960DBCD8 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:38:38] 707*2^1433848-1 is not prime. Res64: 09808427025D48D0 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:40:17] 959*2^1433848-1 is not prime. Res64: A257666D2AA31C6E Time : 0.0 sec. user=mdettweiler [2016-06-29 12:40:18] 657*2^1433849-1 is not prime. Res64: 1BD1A16B98D0E346 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:40:18] 699*2^1433849-1 is not prime. Res64: A8443781CDDC12D6 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:40:18] 759*2^1433849-1 is not prime. Res64: 2587D34C7CD15919 Time : 0.0 sec. user=mdettweiler [2016-06-29 12:40:19] 847*2^1433849-1 is not prime. Res64: 52D9A3E9FAA14BF0 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:08:50] 865*2^1433849-1 is not prime. Res64: 526C3B4DD90C6DB0 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:08:50] 885*2^1433849-1 is not prime. Res64: B90BE82B21FC0509 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:08:51] 925*2^1433849-1 is not prime. Res64: 0F4071CA30946DA3 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:08:51] 957*2^1433849-1 is not prime. Res64: 899DE0BE68C97FBB Time : 0.0 sec. user=mdettweiler [2016-06-29 13:08:51] 725*2^1433850-1 is not prime. Res64: 4CE2236062AC2192 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:18:30] 741*2^1433850-1 is not prime. Res64: 45E0C0B579E79CF8 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:24:15] 677*2^1433852-1 is not prime. Res64: 2378F41BD19F5662 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:24:20] 717*2^1433852-1 is not prime. Res64: 12E0B98B44CFA20C Time : 0.0 sec. user=mdettweiler [2016-06-29 13:24:24] 639*2^1433853-1 is not prime. Res64: CA5189996779EB10 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:24:28] 691*2^1433853-1 is not prime. Res64: 540817601F0101CF Time : 0.0 sec. user=mdettweiler [2016-06-29 13:24:32] 741*2^1433853-1 is not prime. Res64: 2D8DDE9302A56D4E Time : 0.0 sec. user=mdettweiler [2016-06-29 13:25:52] 787*2^1433853-1 is not prime. Res64: 6F88691666B2B0C7 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:25:56] 817*2^1433853-1 is not prime. Res64: F1D164ABD2C64EFE Time : 0.0 sec. user=mdettweiler [2016-06-29 13:26:00] 861*2^1433853-1 is not prime. Res64: B5DE936C563BC7E5 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:26:04] 915*2^1433853-1 is not prime. Res64: D416A045544E6CD6 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:26:08] 937*2^1433853-1 is not prime. Res64: FD7CD88A0847D5F7 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:55:20] 635*2^1433854-1 is not prime. Res64: B4763FD716A60978 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:55:26] 687*2^1433854-1 is not prime. Res64: 037B0147793AF681 Time : 0.0 sec. user=mdettweiler [2016-06-29 13:55:27] 695*2^1433854-1 is not prime. Res64: BE26BB5B3307A40B Time : 0.0 sec. user=mdettweiler [2016-06-29 13:55:33] 707*2^1433854-1 is not prime. Res64: D1B3D33C90B1DABD Time : 0.0 sec. user=mdettweiler [2016-06-29 13:55:40] 831*2^1433854-1 is not prime. Res64: A4F519CBBEA803D0 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:11:33] 833*2^1433854-1 is not prime. Res64: 78EF03B88AE5CB56 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:11:33] 897*2^1433854-1 is not prime. Res64: F2040EAACA5E091A Time : 0.0 sec. user=mdettweiler [2016-06-29 14:11:34] 917*2^1433854-1 is not prime. Res64: 986B07628A8A0BD6 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:11:34] 941*2^1433854-1 is not prime. Res64: 735F3EACDCE67FCD Time : 0.0 sec. user=mdettweiler [2016-06-29 14:11:34] 993*2^1433854-1 is not prime. Res64: FC9ABC22C056ED26 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:13:03] 645*2^1433855-1 is not prime. Res64: 21D4A8F07C238587 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:13:03] 741*2^1433855-1 is not prime. Res64: 35E4C2045D45BB0B Time : 0.0 sec. user=mdettweiler [2016-06-29 14:13:04] 753*2^1433855-1 is not prime. Res64: A9697BBA92661CAE Time : 0.0 sec. user=mdettweiler [2016-06-29 14:13:04] 805*2^1433855-1 is not prime. Res64: CA11353222C6CE92 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:13:05] 717*2^1433856-1 is not prime. Res64: A475DCB212DD006A Time : 0.0 sec. user=mdettweiler [2016-06-29 14:43:15] 735*2^1433856-1 is not prime. Res64: 8FD706BED25DA492 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:43:16] 903*2^1433856-1 is not prime. Res64: 7588A0474F3C8A2C Time : 0.0 sec. user=mdettweiler [2016-06-29 14:43:23] 625*2^1433857-1 is not prime. Res64: C83A5AA70BFAB086 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:43:30] 649*2^1433857-1 is not prime. Res64: 8367B9F6EF3D2050 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:43:36] 675*2^1433857-1 is not prime. Res64: 763BB36721AF21C2 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:58:06] 777*2^1433857-1 is not prime. Res64: DF90F5A29D4EE3E4 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:58:06] 975*2^1433857-1 is not prime. Res64: CE27A9891EDC1A77 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:58:06] 997*2^1433857-1 is not prime. Res64: 362390BD03941818 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:58:07] 603*2^1433858-1 is not prime. Res64: 006C3D8D2A306FC8 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:58:07] 635*2^1433858-1 is not prime. Res64: 4009BE26640D7689 Time : 0.0 sec. user=mdettweiler [2016-06-29 14:59:59] 771*2^1433858-1 is not prime. Res64: D669C75D18BA5FFC Time : 0.0 sec. user=mdettweiler [2016-06-29 15:00:00] 845*2^1433858-1 is not prime. Res64: 45698FC19DAC210A Time : 0.0 sec. user=mdettweiler [2016-06-29 15:00:00] 861*2^1433858-1 is not prime. Res64: 3DF2ECD3FFEF0801 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:00:00] 887*2^1433858-1 is not prime. Res64: 507AA33F25CDDE07 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:00:01] 915*2^1433858-1 is not prime. Res64: 26F95C4B9053D6E6 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:30:45] 963*2^1433858-1 is not prime. Res64: CB305309A7D9145D Time : 0.0 sec. user=mdettweiler [2016-06-29 15:30:46] 619*2^1433859-1 is not prime. Res64: 9738885D7BD74FF1 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:30:46] 895*2^1433859-1 is not prime. Res64: 679EF862C6AB27C0 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:30:46] 903*2^1433859-1 is not prime. Res64: FBEF1BEC8176AA13 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:30:47] 919*2^1433859-1 is not prime. Res64: 6237777E5A670254 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:45:38] 839*2^1433860-1 is not prime. Res64: 3B114FCD50B534C0 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:45:42] 873*2^1433860-1 is not prime. Res64: 4408F50BE56EC2C7 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:45:48] 939*2^1433860-1 is not prime. Res64: 79519841D059F56D Time : 0.0 sec. user=mdettweiler [2016-06-29 15:45:48] 965*2^1433860-1 is not prime. Res64: F7555824EA5C5438 Time : 0.0 sec. user=mdettweiler [2016-06-29 15:45:54] 769*2^1433861-1 is not prime. Res64: 8C195CAD3D4A889A Time : 0.0 sec. user=mdettweiler [2016-06-29 15:47:21] 777*2^1433861-1 is not prime. Res64: 32CAFD96E7ABF92F Time : 0.0 sec. user=mdettweiler [2016-06-29 15:47:28] 795*2^1433861-1 is not prime. Res64: 5E8F746B955ABDCE Time : 0.0 sec. user=mdettweiler [2016-06-29 15:47:34] 811*2^1433861-1 is not prime. Res64: D2664DEEB26B1F2F Time : 0.0 sec. user=mdettweiler [2016-06-29 15:47:35] 861*2^1433861-1 is not prime. Res64: D30DCB31DCD4A2DD Time : 0.0 sec. user=mdettweiler [2016-06-29 15:47:41] 865*2^1433861-1 is not prime. Res64: 75E54FD089245240 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:14:57] 927*2^1433850-1 is not prime. Res64: 4D52DBE023202F08 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:14:58] 609*2^1433851-1 is not prime. Res64: 30A670BCD2BF41F3 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:14:58] 859*2^1433851-1 is not prime. Res64: AC35846398C5323C Time : 0.0 sec. user=mdettweiler [2016-06-29 16:14:58] 961*2^1433851-1 is not prime. Res64: 586A11C2DE37EC37 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:16:39] 711*2^1433862-1 is not prime. Res64: 408795D12AAA066C Time : 0.0 sec. user=mdettweiler [2016-06-29 16:16:39] 777*2^1433862-1 is not prime. Res64: CF2B661D86E5A611 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:16:40] 791*2^1433862-1 is not prime. Res64: 1183E16EF6B895EE Time : 0.0 sec. user=mdettweiler [2016-06-29 16:16:40] 873*2^1433862-1 is not prime. Res64: 58AC5B9AB869C2B6 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:16:41] 957*2^1433862-1 is not prime. Res64: B500E16B9A217058 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:31:51] 639*2^1433863-1 is not prime. Res64: 5564EF72E56C76CD Time : 0.0 sec. user=mdettweiler [2016-06-29 16:31:58] 709*2^1433863-1 is not prime. Res64: D9E40397424D1852 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:32:04] 723*2^1433863-1 is not prime. Res64: B15A82C5BB8EB840 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:32:04] 729*2^1433863-1 is not prime. Res64: D8CDA04BF18F157E Time : 0.0 sec. user=mdettweiler [2016-06-29 16:32:11] 745*2^1433863-1 is not prime. Res64: 8E0DDF9AEC0C26F7 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:33:41] 819*2^1433863-1 is not prime. Res64: CCD9C48DE992B45A Time : 0.0 sec. user=mdettweiler [2016-06-29 16:33:41] 829*2^1433863-1 is not prime. Res64: AAC6BE4F1EC0F90A Time : 0.0 sec. user=mdettweiler [2016-06-29 16:33:48] 889*2^1433863-1 is not prime. Res64: 3335DA44FFB9D769 Time : 0.0 sec. user=mdettweiler [2016-06-29 16:33:48] 961*2^1433863-1 is not prime. Res64: 7493BEBF2DD68BEB Time : 0.0 sec. user=mdettweiler [2016-06-29 16:33:54] 985*2^1433863-1 is not prime. Res64: 6AB2328DBB4A2417 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:00:17] 659*2^1433864-1 is not prime. Res64: 09DBCBA7BD507252 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:00:23] 687*2^1433864-1 is not prime. Res64: 125ACB64BA843EBA Time : 0.0 sec. user=mdettweiler [2016-06-29 17:00:27] 719*2^1433864-1 is not prime. Res64: 9B848DAAAA7F14DD Time : 0.0 sec. user=mdettweiler [2016-06-29 17:00:31] 857*2^1433864-1 is not prime. Res64: E7B4795FDDD27196 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:00:36] 927*2^1433864-1 is not prime. Res64: D2C9BB576AC46BD6 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:01:49] 609*2^1433865-1 is not prime. Res64: 665B631F28971A0F Time : 0.0 sec. user=mdettweiler [2016-06-29 17:01:53] 627*2^1433865-1 is not prime. Res64: 2F95FBE9B1B23112 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:01:57] 679*2^1433865-1 is not prime. Res64: 54B0DE75CDF9705D Time : 0.0 sec. user=mdettweiler [2016-06-29 17:02:01] 699*2^1433865-1 is not prime. Res64: 60C3CDF31FFDDD75 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:02:06] 759*2^1433865-1 is not prime. Res64: 6E10ADBD079811E8 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:16:58] 777*2^1433865-1 is not prime. Res64: 587227C819E9DC7B Time : 0.0 sec. user=mdettweiler [2016-06-29 17:16:58] 787*2^1433865-1 is not prime. Res64: FC5B3B1500C0335C Time : 0.0 sec. user=mdettweiler [2016-06-29 17:16:59] 909*2^1433865-1 is not prime. Res64: C72C9F160CA37FCE Time : 0.0 sec. user=mdettweiler [2016-06-29 17:16:59] 937*2^1433865-1 is not prime. Res64: 2C1DFE6E779B8AC8 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:17:00] 951*2^1433865-1 is not prime. Res64: 430683B46511D95D Time : 0.0 sec. user=mdettweiler [2016-06-29 17:18:47] 975*2^1433865-1 is not prime. Res64: 4C686E6BC277AA38 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:18:48] 723*2^1433866-1 is not prime. Res64: 57FB3A9B985AE0AD Time : 0.0 sec. user=mdettweiler [2016-06-29 17:18:48] 735*2^1433866-1 is not prime. Res64: 7C198C78F7AD8782 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:18:49] 803*2^1433866-1 is not prime. Res64: D9ED003BD88BE71E Time : 0.0 sec. user=mdettweiler [2016-06-29 17:18:49] 813*2^1433866-1 is not prime. Res64: B890C2B9D8BDE85D Time : 0.0 sec. user=mdettweiler [2016-06-29 17:45:47] 833*2^1433866-1 is not prime. Res64: F7D4E38344814705 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:45:51] 855*2^1433866-1 is not prime. Res64: 35234CE2D9A539CE Time : 0.0 sec. user=mdettweiler [2016-06-29 17:45:55] 867*2^1433866-1 is not prime. Res64: 11DB0C9CCDCB2EBF Time : 0.0 sec. user=mdettweiler [2016-06-29 17:45:59] 887*2^1433866-1 is not prime. Res64: 83DDF36EF9E3757A Time : 0.0 sec. user=mdettweiler [2016-06-29 17:46:03] 923*2^1433866-1 is not prime. Res64: 1DE7A726EC4B8C3D Time : 0.0 sec. user=mdettweiler [2016-06-29 17:47:08] 609*2^1433867-1 is not prime. Res64: 441A8E4ACF2F77C4 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:47:13] 631*2^1433867-1 is not prime. Res64: 0C97AB401A0A4B08 Time : 0.0 sec. user=mdettweiler [2016-06-29 17:47:17] 685*2^1433867-1 is not prime. Res64: 030475C9D680F97E Time : 0.0 sec. user=mdettweiler [2016-06-29 17:47:21] 705*2^1433867-1 is not prime. Res64: FD31AA6C49831D7D Time : 0.0 sec. user=mdettweiler [2016-06-29 17:47:25] 825*2^1433867-1 is not prime. Res64: 735E2739A3C2E417 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:01:52] 901*2^1433867-1 is not prime. Res64: F4604E61AB92753F Time : 0.0 sec. user=mdettweiler [2016-06-29 18:01:53] 627*2^1433868-1 is not prime. Res64: 04DA6092CD35A330 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:01:53] 765*2^1433868-1 is not prime. Res64: 2216EF485C3A319F Time : 0.0 sec. user=mdettweiler [2016-06-29 18:01:54] 767*2^1433868-1 is not prime. Res64: 39251899A991F6B0 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:01:55] 839*2^1433868-1 is not prime. Res64: 37CF8A037B2D0119 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:03:38] 601*2^1433869-1 is not prime. Res64: CFB6268397A12086 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:03:39] 621*2^1433869-1 is not prime. Res64: 343B60890E8C4B16 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:03:40] 747*2^1433869-1 is not prime. Res64: 305BF218DD6B274E Time : 0.0 sec. user=mdettweiler [2016-06-29 18:03:41] 811*2^1433869-1 is not prime. Res64: 8B2AC18A729A16C8 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:03:41] 831*2^1433869-1 is not prime. Res64: 30712A381576F4AC Time : 0.0 sec. user=mdettweiler [2016-06-29 18:31:00] 979*2^1433869-1 is not prime. Res64: 58A353DC7061D38E Time : 0.0 sec. user=mdettweiler [2016-06-29 18:31:01] 605*2^1433870-1 is not prime. Res64: 6EF11569A92DC150 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:31:01] 945*2^1433870-1 is not prime. Res64: DCEFDB0ABB1DC190 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:31:01] 965*2^1433870-1 is not prime. Res64: BF31E01D333106B4 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:31:02] 615*2^1433871-1 is not prime. Res64: 9425DD00917F8CC9 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:32:19] 769*2^1433871-1 is not prime. Res64: 8E820425D6B4E9C4 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:32:19] 879*2^1433871-1 is not prime. Res64: 0AD8D6A7B6F62654 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:32:20] 891*2^1433871-1 is not prime. Res64: 46E8601530FA0CB9 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:32:20] 951*2^1433871-1 is not prime. Res64: 03F496E35DD6510B Time : 0.0 sec. user=mdettweiler [2016-06-29 18:32:20] 969*2^1433871-1 is not prime. Res64: 7BD47140723DE8AD Time : 0.0 sec. user=mdettweiler [2016-06-29 18:47:06] 717*2^1433872-1 is not prime. Res64: CFB1346D0BE11E9A Time : 0.0 sec. user=mdettweiler [2016-06-29 18:47:12] 869*2^1433872-1 is not prime. Res64: 61B3ABE34E69BB24 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:47:19] 915*2^1433872-1 is not prime. Res64: F3F5CB0EBE82DE76 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:47:25] 615*2^1433873-1 is not prime. Res64: 8767204E749E2516 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:47:31] 619*2^1433873-1 is not prime. Res64: 7D19D93DB730C397 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:48:29] 685*2^1433873-1 is not prime. Res64: 40DDF7C9054E229E Time : 0.0 sec. user=mdettweiler [2016-06-29 18:48:36] 691*2^1433873-1 is not prime. Res64: 7D335E89F7FD3EBB Time : 0.0 sec. user=mdettweiler [2016-06-29 18:48:43] 697*2^1433873-1 is not prime. Res64: 23C211CC76E4819C Time : 0.0 sec. user=mdettweiler [2016-06-29 18:48:50] 801*2^1433873-1 is not prime. Res64: 91D7BBFF8B4EA8B6 Time : 0.0 sec. user=mdettweiler [2016-06-29 18:48:57] 837*2^1433873-1 is not prime. Res64: 8172F04666D34107 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:15:49] 967*2^1433873-1 is not prime. Res64: B7FFB6D75B854FCF Time : 0.0 sec. user=mdettweiler [2016-06-29 19:15:49] 651*2^1433874-1 is not prime. Res64: C91AE1942025DAF0 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:15:50] 681*2^1433874-1 is not prime. Res64: D3829ADE4AC0B08E Time : 0.0 sec. user=mdettweiler [2016-06-29 19:15:50] 711*2^1433874-1 is not prime. Res64: A1B801EF990D2A9D Time : 0.0 sec. user=mdettweiler [2016-06-29 19:15:51] 815*2^1433874-1 is not prime. Res64: 5B41211C53095299 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:17:03] 833*2^1433874-1 is not prime. Res64: 7D7215A7743F0AA7 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:17:03] 885*2^1433874-1 is not prime. Res64: EF0407E34D24128B Time : 0.0 sec. user=mdettweiler [2016-06-29 19:17:04] 917*2^1433874-1 is not prime. Res64: 1ECEEABAE5B9C3AA Time : 0.0 sec. user=mdettweiler [2016-06-29 19:17:04] 625*2^1433875-1 is not prime. Res64: 80A3944C1AFAD0C6 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:17:04] 679*2^1433875-1 is not prime. Res64: 8A0D9CBF8AC6CDBC Time : 0.0 sec. user=mdettweiler [2016-06-29 19:32:32] 765*2^1433875-1 is not prime. Res64: 58CF20D4114C6DAF Time : 0.0 sec. user=mdettweiler [2016-06-29 19:32:39] 783*2^1433875-1 is not prime. Res64: F6FDCC2ECACA2A20 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:32:46] 939*2^1433875-1 is not prime. Res64: 531369E6F96DF5CB Time : 0.0 sec. user=mdettweiler [2016-06-29 19:32:52] 961*2^1433875-1 is not prime. Res64: 4054C7113AF22C54 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:32:59] 603*2^1433876-1 is not prime. Res64: AC53FEEE4AE43624 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:33:50] 725*2^1433876-1 is not prime. Res64: C78AC26E1ED2B7C0 Time : 0.0 sec. user=mdettweiler [2016-06-29 19:33:56] 803*2^1433876-1 is not prime. Res64: B02AD73EA51587AD Time : 0.0 sec. user=mdettweiler [2016-06-29 19:34:03] 825*2^1433876-1 is not prime. Res64: 28B25986E74F9CCE Time : 0.0 sec. user=mdettweiler [2016-06-29 19:34:03] 903*2^1433876-1 is not prime. Res64: 96FA953D0F1777DB Time : 0.0 sec. user=mdettweiler [2016-06-29 19:34:09] 999*2^1433876-1 is not prime. Res64: 89F2E6BD1D492B4A Time : 0.0 sec. user=mdettweiler [2016-06-29 20:00:49] 621*2^1433877-1 is not prime. Res64: 3CA36382669939BF Time : 0.0 sec. user=mdettweiler [2016-06-29 20:00:54] 681*2^1433877-1 is not prime. Res64: 6CE11CF5A70731AF Time : 0.0 sec. user=mdettweiler [2016-06-29 20:00:58] 717*2^1433877-1 is not prime. Res64: 85CCC24BB8ED169C Time : 0.0 sec. user=mdettweiler [2016-06-29 20:01:03] 817*2^1433877-1 is not prime. Res64: 9C926DC2264A802C Time : 0.0 sec. user=mdettweiler [2016-06-29 20:01:07] 871*2^1433877-1 is not prime. Res64: F934387435A94B2C Time : 0.0 sec. user=mdettweiler [2016-06-29 20:01:52] 895*2^1433877-1 is not prime. Res64: 0E35F7BA56FC79B1 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:02:00] 945*2^1433877-1 is not prime. Res64: 90BBB2CCE75BEC27 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:02:01] 949*2^1433877-1 is not prime. Res64: 5E3E6FEBBAD7F31F Time : 0.0 sec. user=mdettweiler [2016-06-29 20:02:06] 647*2^1433878-1 is not prime. Res64: 1077D5A88318E95F Time : 0.0 sec. user=mdettweiler [2016-06-29 20:02:13] 731*2^1433878-1 is not prime. Res64: 07E4B54BD26D9B78 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:17:51] 737*2^1433878-1 is not prime. Res64: 2120029EA68905FE Time : 0.0 sec. user=mdettweiler [2016-06-29 20:17:51] 825*2^1433878-1 is not prime. Res64: F35B5A937057BF5C Time : 0.0 sec. user=mdettweiler [2016-06-29 20:17:52] 763*2^1433879-1 is not prime. Res64: 78A3AD18CEC238D5 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:17:52] 825*2^1433879-1 is not prime. Res64: 407B5587A72D2F04 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:17:53] 859*2^1433879-1 is not prime. Res64: BD0BC6BDAA46EDA9 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:18:58] 931*2^1433879-1 is not prime. Res64: B63F8E3CCD2221B2 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:18:59] 993*2^1433879-1 is not prime. Res64: E6BCA5B4CEEAEF18 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:18:59] 623*2^1433880-1 is not prime. Res64: E3D3F80FA9B6A1B6 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:19:00] 627*2^1433880-1 is not prime. Res64: 85FBFACED7ECABF6 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:19:00] 669*2^1433880-1 is not prime. Res64: D72CB0A97FC85F62 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:46:10] 693*2^1433880-1 is not prime. Res64: D7119A9F14338035 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:46:10] 839*2^1433880-1 is not prime. Res64: 4E4685505F5C3ACD Time : 0.0 sec. user=mdettweiler [2016-06-29 20:46:10] 917*2^1433880-1 is not prime. Res64: 15BA46892F0E24FB Time : 0.0 sec. user=mdettweiler [2016-06-29 20:46:11] 927*2^1433880-1 is not prime. Res64: AE620186C01B8FB6 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:46:11] 975*2^1433880-1 is not prime. Res64: 267560D9C400030B Time : 0.0 sec. user=mdettweiler [2016-06-29 20:47:07] 645*2^1433881-1 is not prime. Res64: F1FE6901B6E39E1F Time : 0.0 sec. user=mdettweiler [2016-06-29 20:47:07] 745*2^1433881-1 is not prime. Res64: 5AE208E93257FD20 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:47:08] 829*2^1433881-1 is not prime. Res64: 08CC413BA42A56F6 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:47:08] 937*2^1433881-1 is not prime. Res64: AF1B1DF655E1CBB2 Time : 0.0 sec. user=mdettweiler [2016-06-29 20:47:08] 617*2^1433882-1 is not prime. Res64: 3D2F336DE34603F5 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:02:39] 671*2^1433882-1 is not prime. Res64: 3F13D093440ED0DB Time : 0.0 sec. user=mdettweiler [2016-06-29 21:02:41] 675*2^1433882-1 is not prime. Res64: 76A22BF594F35740 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:02:42] 743*2^1433882-1 is not prime. Res64: 929E28F04E92AC3D Time : 0.0 sec. user=mdettweiler [2016-06-29 21:02:44] 771*2^1433882-1 is not prime. Res64: 7D5AAF04AFAB51C5 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:02:45] 825*2^1433882-1 is not prime. Res64: 63CEFAC225DA6665 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:03:46] 893*2^1433882-1 is not prime. Res64: ACA8780BA1FF8E67 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:03:47] 709*2^1433883-1 is not prime. Res64: 03FAC0B798520D0E Time : 0.0 sec. user=mdettweiler [2016-06-29 21:03:49] 775*2^1433883-1 is not prime. Res64: 7A19425E26DA1E69 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:03:50] 805*2^1433883-1 is not prime. Res64: D0688D3AB49E7633 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:03:51] 945*2^1433883-1 is not prime. Res64: 65CA4C17452DB2AD Time : 0.0 sec. user=mdettweiler [2016-06-29 21:30:50] 985*2^1433883-1 is not prime. Res64: 33CE31C6AA2AD9F5 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:30:51] 609*2^1433884-1 is not prime. Res64: 6010DE8201447C3D Time : 0.0 sec. user=mdettweiler [2016-06-29 21:30:51] 615*2^1433884-1 is not prime. Res64: 9828F6A8A59280F0 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:30:52] 905*2^1433884-1 is not prime. Res64: 80A52728E12D445B Time : 0.0 sec. user=mdettweiler [2016-06-29 21:30:52] 995*2^1433884-1 is not prime. Res64: E8246779763232E3 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:31:55] 669*2^1433885-1 is not prime. Res64: 18B32F022EC9919A Time : 0.0 sec. user=mdettweiler [2016-06-29 21:31:55] 711*2^1433885-1 is not prime. Res64: 61168ED048F55BFB Time : 0.0 sec. user=mdettweiler [2016-06-29 21:31:56] 729*2^1433885-1 is not prime. Res64: D7833867E6B2FACE Time : 0.0 sec. user=mdettweiler [2016-06-29 21:31:56] 795*2^1433885-1 is not prime. Res64: 547272AF66BCB42A Time : 0.0 sec. user=mdettweiler [2016-06-29 21:31:56] 885*2^1433885-1 is not prime. Res64: 2E31AAC93EF5560E Time : 0.0 sec. user=mdettweiler [2016-06-29 21:47:39] 981*2^1433885-1 is not prime. Res64: 35FC4D8DCA79A6D1 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:47:45] 625*2^1433887-1 is not prime. Res64: AF620147D5A35467 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:47:52] 729*2^1433887-1 is not prime. Res64: B54F58E42B8CCE9D Time : 0.0 sec. user=mdettweiler [2016-06-29 21:47:59] 769*2^1433887-1 is not prime. Res64: E8EDA0F921BA04D1 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:48:05] 831*2^1433887-1 is not prime. Res64: 9A1F817D9E2F8C11 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:48:45] 871*2^1433887-1 is not prime. Res64: CADF128E47B39AC7 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:48:52] 891*2^1433887-1 is not prime. Res64: 605F3EFBCCF3759F Time : 0.0 sec. user=mdettweiler [2016-06-29 21:48:58] 975*2^1433887-1 is not prime. Res64: E79980BC7CA4FA9D Time : 0.0 sec. user=mdettweiler [2016-06-29 21:48:59] 743*2^1433888-1 is not prime. Res64: AD2431D657A6DE61 Time : 0.0 sec. user=mdettweiler [2016-06-29 21:49:06] 909*2^1433888-1 is not prime. Res64: 6431F5640173D5C2 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:17:04] 691*2^1433889-1 is not prime. Res64: F4ACB933AFE52A65 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:17:04] 769*2^1433889-1 is not prime. Res64: D5345C568D8DDA99 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:17:05] 861*2^1433889-1 is not prime. Res64: 581833FAC076AFB2 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:17:05] 889*2^1433889-1 is not prime. Res64: E02ED060571726D7 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:17:05] 919*2^1433889-1 is not prime. Res64: D79F291FC3C0DCF6 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:18:23] 951*2^1433889-1 is not prime. Res64: 703A4F9C1D753476 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:18:24] 999*2^1433889-1 is not prime. Res64: 41CC89B8A38F8842 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:18:24] 645*2^1433890-1 is not prime. Res64: 127C0C3D167D7F23 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:18:24] 677*2^1433890-1 is not prime. Res64: E9A40B483616BBBD Time : 0.0 sec. user=mdettweiler [2016-06-29 22:18:24] 765*2^1433890-1 is not prime. Res64: C82BD2EE3D05C147 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:34:58] 887*2^1433890-1 is not prime. Res64: AA9CCBF680E2C112 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:35:06] 957*2^1433890-1 is not prime. Res64: 53A43EF457D64CDE Time : 0.0 sec. user=mdettweiler [2016-06-29 22:35:12] 733*2^1433891-1 is not prime. Res64: 2141F229A4A09C02 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:35:20] 913*2^1433891-1 is not prime. Res64: 901BA619BE2E6724 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:35:20] 969*2^1433891-1 is not prime. Res64: 9C1CDC6B1D737882 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:36:01] 993*2^1433891-1 is not prime. Res64: C8245565F424528E Time : 0.0 sec. user=mdettweiler [2016-06-29 22:36:08] 665*2^1433892-1 is not prime. Res64: 1361A7B7153C5042 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:36:14] 909*2^1433892-1 is not prime. Res64: 582EA1E87EB3B40B Time : 0.0 sec. user=mdettweiler [2016-06-29 22:36:21] 929*2^1433892-1 is not prime. Res64: C28CD6B2AFC764C1 Time : 0.0 sec. user=mdettweiler [2016-06-29 22:36:21] 933*2^1433892-1 is not prime. Res64: 9047679C4B369ED0 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:03:07] 639*2^1433893-1 is not prime. Res64: 9F5DC7DCF3D14BE3 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:03:12] 679*2^1433893-1 is not prime. Res64: F43CA52984436DD5 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:03:17] 681*2^1433893-1 is not prime. Res64: 16C49AAD1D052918 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:03:21] 687*2^1433893-1 is not prime. Res64: 0B76C4368B19C200 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:03:26] 691*2^1433893-1 is not prime. Res64: E74A0DF5E8C4B73D Time : 0.0 sec. user=mdettweiler [2016-06-29 23:04:24] 877*2^1433893-1 is not prime. Res64: 7F0577805D78424F Time : 0.0 sec. user=mdettweiler [2016-06-29 23:04:28] 889*2^1433893-1 is not prime. Res64: F82F4655305B517F Time : 0.0 sec. user=mdettweiler [2016-06-29 23:04:32] 927*2^1433893-1 is not prime. Res64: 2989248DF614872A Time : 0.0 sec. user=mdettweiler [2016-06-29 23:04:37] 731*2^1433894-1 is not prime. Res64: F65A6BE001A9091D Time : 0.0 sec. user=mdettweiler [2016-06-29 23:04:41] 825*2^1433894-1 is not prime. Res64: EE7A4CE3D76655E2 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:20:34] 971*2^1433894-1 is not prime. Res64: DA68A520166E4FC5 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:20:34] 987*2^1433894-1 is not prime. Res64: 7C8A6756BB2BAD23 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:20:35] 663*2^1433895-1 is not prime. Res64: 3F41B57CA801D23F Time : 0.0 sec. user=mdettweiler [2016-06-29 23:20:35] 831*2^1433895-1 is not prime. Res64: 00C242980860D753 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:20:36] 861*2^1433895-1 is not prime. Res64: 1C6D547A27E2BE64 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:21:43] 951*2^1433895-1 is not prime. Res64: 0949BD9A018A6832 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:21:44] 623*2^1433896-1 is not prime. Res64: 5C8FEA677A52B47E Time : 0.0 sec. user=mdettweiler [2016-06-29 23:21:44] 747*2^1433896-1 is not prime. Res64: 6F89A26801CFE159 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:21:44] 803*2^1433896-1 is not prime. Res64: 671B082776C46395 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:21:45] 813*2^1433896-1 is not prime. Res64: 8D506C4DE571F464 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:48:41] 825*2^1433896-1 is not prime. Res64: BC3AAEF467BE4820 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:48:41] 607*2^1433897-1 is not prime. Res64: E8C42C02552B9046 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:48:42] 619*2^1433897-1 is not prime. Res64: 94AC87BDFF146BC1 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:48:42] 717*2^1433897-1 is not prime. Res64: F86D9B7F79BA57A6 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:48:42] 769*2^1433897-1 is not prime. Res64: DED50451F0B54C90 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:49:45] 861*2^1433897-1 is not prime. Res64: 4CAD468DF1335EE6 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:49:45] 915*2^1433897-1 is not prime. Res64: 6DF8382E781AEEF0 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:49:45] 683*2^1433898-1 is not prime. Res64: 05415306B49B1265 Time : 0.0 sec. user=mdettweiler [2016-06-29 23:49:46] 801*2^1433898-1 is not prime. Res64: 7454831C9311104A Time : 0.0 sec. user=mdettweiler [2016-06-29 23:49:46] 825*2^1433898-1 is not prime. Res64: A37C52B0991907A2 Time : 0.0 sec.