user=mdettweiler [2016-03-15 00:21:09] 809*2^1423092-1 is not prime. Res64: 82C35CD3B7ABFB90 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:21:09] 965*2^1423092-1 is not prime. Res64: 2917F79B623D5A2A Time : 0.0 sec. user=mdettweiler [2016-03-15 00:21:10] 715*2^1423093-1 is not prime. Res64: F2055BBCF4E392B0 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:21:10] 805*2^1423093-1 is not prime. Res64: 150F4B8FC1004030 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:21:11] 895*2^1423093-1 is not prime. Res64: 2FB859303CE12C4E Time : 0.0 sec. user=mdettweiler [2016-03-15 00:26:55] 937*2^1423093-1 is not prime. Res64: D76380AA743AA5C8 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:26:56] 961*2^1423093-1 is not prime. Res64: CE42D6C5D17A279D Time : 0.0 sec. user=mdettweiler [2016-03-15 00:26:56] 987*2^1423093-1 is not prime. Res64: DE87A9574D923331 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:26:57] 651*2^1423094-1 is not prime. Res64: 7DDE80C5307E5296 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:26:57] 675*2^1423094-1 is not prime. Res64: 6E42A05239D9EBFB Time : 0.0 sec. user=mdettweiler [2016-03-15 00:27:03] 791*2^1423094-1 is not prime. Res64: 55F52696FBBFA00E Time : 0.0 sec. user=mdettweiler [2016-03-15 00:27:03] 797*2^1423094-1 is not prime. Res64: A76DEDB218FF8F65 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:27:04] 813*2^1423094-1 is not prime. Res64: 485BB6B024042FF3 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:27:04] 851*2^1423094-1 is not prime. Res64: 856E1EFC4A62D636 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:27:05] 625*2^1423095-1 is not prime. Res64: B48967CC9F181ACB Time : 0.0 sec. user=mdettweiler [2016-03-15 00:28:16] 663*2^1423095-1 is not prime. Res64: DC6C0A476518D302 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:28:17] 669*2^1423095-1 is not prime. Res64: 58A2F9CB6673AE8F Time : 0.0 sec. user=mdettweiler [2016-03-15 00:28:17] 871*2^1423095-1 is not prime. Res64: 7A5B727DF4102642 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:28:18] 961*2^1423095-1 is not prime. Res64: 035928C05B333807 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:28:18] 985*2^1423095-1 is not prime. Res64: EBEF2DFB1EADBB16 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:50:38] 835*2^1423099-1 is not prime. Res64: BF0D7B0E83433695 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:51:30] 853*2^1423099-1 is not prime. Res64: B6D826653A3E1AF2 Time : 0.0 sec. user=mdettweiler [2016-03-15 00:51:51] 919*2^1423099-1 is not prime. Res64: EFC036076343B9F7 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:06:43] 645*2^1423096-1 is not prime. Res64: 9406633A1BC9E83D Time : 0.0 sec. user=mdettweiler [2016-03-15 01:06:44] 677*2^1423096-1 is not prime. Res64: C37D1866E31645DC Time : 0.0 sec. user=mdettweiler [2016-03-15 01:06:45] 869*2^1423096-1 is not prime. Res64: 52518AAE9EE653B5 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:06:46] 899*2^1423096-1 is not prime. Res64: 68F87BB6C2BD3BEB Time : 0.0 sec. user=mdettweiler [2016-03-15 01:06:47] 615*2^1423097-1 is not prime. Res64: 7AC8B781F55EE356 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:09:15] 669*2^1423100-1 is not prime. Res64: 1BE02733A9A3A71F Time : 0.0 sec. user=mdettweiler [2016-03-15 01:09:26] 931*2^1423099-1 is not prime. Res64: 9321BA5C443E7457 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:34] 657*2^1423098-1 is not prime. Res64: DDA8BFBDBA030C9A Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:34] 663*2^1423098-1 is not prime. Res64: AE36CC9D29DB256F Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:35] 681*2^1423098-1 is not prime. Res64: F4730EA3E3B2C50D Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:35] 707*2^1423098-1 is not prime. Res64: 7E83D334897FC970 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:36] 777*2^1423098-1 is not prime. Res64: 8A7E5A3CCA1D5816 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:43] 631*2^1423097-1 is not prime. Res64: A1D5BEF16338C191 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:44] 669*2^1423097-1 is not prime. Res64: 3962B49EA14B9C61 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:44] 741*2^1423097-1 is not prime. Res64: CC496A0B19C7B4C1 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:44] 939*2^1423097-1 is not prime. Res64: E33ED5CF53A07DC1 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:12:45] 611*2^1423098-1 is not prime. Res64: 49AC56922E607280 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:13:55] 843*2^1423098-1 is not prime. Res64: 7693A53AB9FB0C24 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:13:55] 867*2^1423098-1 is not prime. Res64: 4DA091498C8419D0 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:13:55] 905*2^1423098-1 is not prime. Res64: FBC4A39383855E2B Time : 0.0 sec. user=mdettweiler [2016-03-15 01:13:56] 977*2^1423098-1 is not prime. Res64: 66D0AAC04C96599D Time : 0.0 sec. user=mdettweiler [2016-03-15 01:13:56] 1001*2^1423098-1 is not prime. Res64: 2054A34E6EFCF99B Time : 0.0 sec. user=mdettweiler [2016-03-15 01:26:59] 693*2^1423104-1 is not prime. Res64: E94289BD0D8AA559 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:52:31] 699*2^1423100-1 is not prime. Res64: 94E741EE0C9A0438 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:52:31] 753*2^1423100-1 is not prime. Res64: 8A9D48184167EF13 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:52:32] 833*2^1423100-1 is not prime. Res64: EA0CA19AEB1AB9D8 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:52:32] 923*2^1423100-1 is not prime. Res64: FB9AE1063634497D Time : 0.0 sec. user=mdettweiler [2016-03-15 01:52:32] 685*2^1423101-1 is not prime. Res64: 8DEB0553831D788B Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:24] 847*2^1423101-1 is not prime. Res64: 16203459935A9EB9 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:24] 949*2^1423101-1 is not prime. Res64: 10633E96407AAE93 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:24] 999*2^1423101-1 is not prime. Res64: 0B80C9F0D58E9006 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:25] 611*2^1423102-1 is not prime. Res64: FF0E86A177C3BCD4 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:25] 815*2^1423102-1 is not prime. Res64: 7A29681D2710FB29 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:25] 765*2^1423102-1 is not prime. Res64: 533E0A98D290A2FF Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:25] 831*2^1423102-1 is not prime. Res64: 3EA16ED6431A3051 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:26] 867*2^1423102-1 is not prime. Res64: 01A7C88239353A37 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:26] 873*2^1423102-1 is not prime. Res64: E7BB2C5748618A0B Time : 0.0 sec. user=mdettweiler [2016-03-15 01:58:27] 951*2^1423102-1 is not prime. Res64: 9164DDCEA9E9042B Time : 0.0 sec. user=mdettweiler [2016-03-15 01:59:38] 609*2^1423103-1 is not prime. Res64: 01D5B908DD46D292 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:59:38] 621*2^1423103-1 is not prime. Res64: B94F71AE40A5F234 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:59:38] 663*2^1423103-1 is not prime. Res64: 5EC99DBC4012A4EE Time : 0.0 sec. user=mdettweiler [2016-03-15 01:59:39] 789*2^1423103-1 is not prime. Res64: FC1E9CF9B62D3954 Time : 0.0 sec. user=mdettweiler [2016-03-15 01:59:39] 825*2^1423103-1 is not prime. Res64: C308E1824411DC15 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:19:53] 797*2^1423108-1 is not prime. Res64: 98BBC8DF4F60A0DD Time : 0.0 sec. user=mdettweiler [2016-03-15 02:38:27] 625*2^1423105-1 is not prime. Res64: B8A11B7607B2D2C4 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:38:28] 667*2^1423105-1 is not prime. Res64: F56053CBBB40F2F0 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:38:28] 705*2^1423105-1 is not prime. Res64: 6E33F36977F84F5F Time : 0.0 sec. user=mdettweiler [2016-03-15 02:38:29] 777*2^1423105-1 is not prime. Res64: 30BF129AF79B26F6 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:38:29] 615*2^1423106-1 is not prime. Res64: 673D38DD15BB6FA5 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:02] 963*2^1423106-1 is not prime. Res64: 4DFB5532F40CE997 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:02] 971*2^1423106-1 is not prime. Res64: DC7D16515F053464 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:02] 735*2^1423107-1 is not prime. Res64: BC9C4EEA52010DAF Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:03] 765*2^1423107-1 is not prime. Res64: 4321A506DC591103 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:03] 963*2^1423107-1 is not prime. Res64: 1FA4D1CAD9C1AD4D Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:15] 627*2^1423106-1 is not prime. Res64: 1808DC5713241DAE Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:15] 773*2^1423106-1 is not prime. Res64: 44F8DB1837587E61 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:15] 801*2^1423106-1 is not prime. Res64: E55E64E9F03298D7 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:16] 827*2^1423106-1 is not prime. Res64: 1BAAB0668C511FF2 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:44:16] 833*2^1423106-1 is not prime. Res64: 70258A32CA819104 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:45:23] 991*2^1423107-1 is not prime. Res64: EBCE1FFB83B12912 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:45:23] 615*2^1423108-1 is not prime. Res64: 68FC4D31173B8E2F Time : 0.0 sec. user=mdettweiler [2016-03-15 02:45:24] 635*2^1423108-1 is not prime. Res64: CCBD5CD98E1743F3 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:45:24] 723*2^1423108-1 is not prime. Res64: BF8C8A3FB26E3167 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:45:24] 735*2^1423108-1 is not prime. Res64: 399A8F4983C53E92 Time : 0.0 sec. user=mdettweiler [2016-03-15 02:54:55] 993*2^1423111-1 is not prime. Res64: 79930CEBFB3F6EE3 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:26:55] 887*2^1423108-1 is not prime. Res64: 7B576E7C76F506BE Time : 0.0 sec. user=mdettweiler [2016-03-15 03:26:56] 905*2^1423108-1 is not prime. Res64: AB589738526747F3 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:26:57] 923*2^1423108-1 is not prime. Res64: FE3E1490688A6230 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:26:58] 975*2^1423108-1 is not prime. Res64: CF7A68D81980BFAD Time : 0.0 sec. user=mdettweiler [2016-03-15 03:26:59] 999*2^1423108-1 is not prime. Res64: 671B42B4C18C420E Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:46] 845*2^1423110-1 is not prime. Res64: DB40F6248C4E0238 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:47] 851*2^1423110-1 is not prime. Res64: 2185C0DE352D5463 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:48] 927*2^1423110-1 is not prime. Res64: DCE237B7A0FB6060 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:49] 603*2^1423111-1 is not prime. Res64: A280F09B8D387E3C Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:50] 889*2^1423111-1 is not prime. Res64: 499DD2878A7BA8C8 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:52] 627*2^1423109-1 is not prime. Res64: 8C1536761CD79697 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:53] 735*2^1423109-1 is not prime. Res64: D1F96CF5FFBAB802 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:54] 775*2^1423109-1 is not prime. Res64: A1550F31060DD3F8 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:55] 787*2^1423109-1 is not prime. Res64: 2D6258F080C5BB1A Time : 0.0 sec. user=mdettweiler [2016-03-15 03:31:57] 801*2^1423109-1 is not prime. Res64: 1905F81AD5E6DD8C Time : 0.0 sec. user=mdettweiler [2016-03-15 03:32:12] 825*2^1423109-1 is not prime. Res64: D2FD83877D836956 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:32:13] 829*2^1423109-1 is not prime. Res64: 0F5860FF640D5A29 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:32:13] 855*2^1423109-1 is not prime. Res64: CE2C516DD9B56D57 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:32:14] 957*2^1423109-1 is not prime. Res64: B7C7B7571BA1F683 Time : 0.0 sec. user=mdettweiler [2016-03-15 03:32:15] 707*2^1423110-1 is not prime. Res64: 0BD4BBEB12D96601 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:13:02] 603*2^1423112-1 is not prime. Res64: FBAA9139381EF4F9 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:13:03] 629*2^1423112-1 is not prime. Res64: 05E529BF1B190C45 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:13:03] 725*2^1423112-1 is not prime. Res64: 822B917CA51B2B7A Time : 0.0 sec. user=mdettweiler [2016-03-15 04:13:04] 767*2^1423112-1 is not prime. Res64: 1529566403DE171C Time : 0.0 sec. user=mdettweiler [2016-03-15 04:13:04] 825*2^1423112-1 is not prime. Res64: 201507D7119EFF3A Time : 0.0 sec. user=mdettweiler [2016-03-15 04:17:59] 679*2^1423113-1 is not prime. Res64: EDEF959B1239D611 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:17:59] 681*2^1423113-1 is not prime. Res64: 586150DFE7545B31 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:00] 727*2^1423113-1 is not prime. Res64: E72917A7D1C38CBE Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:00] 837*2^1423113-1 is not prime. Res64: 20E649E90744D099 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:01] 657*2^1423114-1 is not prime. Res64: 535D69AEE9829F02 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:08] 675*2^1423114-1 is not prime. Res64: F471BE3D92675122 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:08] 741*2^1423114-1 is not prime. Res64: 5406BE11F608297E Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:09] 815*2^1423114-1 is not prime. Res64: A3E009D9D9BAA740 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:09] 715*2^1423115-1 is not prime. Res64: 3020CDDB824FAA84 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:10] 963*2^1423115-1 is not prime. Res64: 2B82FBA1E303A6D9 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:14] 875*2^1423112-1 is not prime. Res64: CDB9364A73F36AC7 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:15] 879*2^1423112-1 is not prime. Res64: 42794883DE0A2156 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:15] 903*2^1423112-1 is not prime. Res64: BB6326F97E8BA233 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:16] 963*2^1423112-1 is not prime. Res64: A6DB300B97C5712B Time : 0.0 sec. user=mdettweiler [2016-03-15 04:18:16] 657*2^1423113-1 is not prime. Res64: 9980638A1F547686 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:24:01] 741*2^1423117-1 is not prime. Res64: 6027E22624595D04 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:24:11] 727*2^1423117-1 is not prime. Res64: 47149A4F18B160EE Time : 0.0 sec. user=mdettweiler [2016-03-15 04:42:00] 975*2^1423119-1 is not prime. Res64: 951AE27FD2AAEC81 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:59:04] 981*2^1423115-1 is not prime. Res64: C2B1E39C59FE018C Time : 0.0 sec. user=mdettweiler [2016-03-15 04:59:04] 693*2^1423116-1 is not prime. Res64: BEB9B4CB63767B7B Time : 0.0 sec. user=mdettweiler [2016-03-15 04:59:04] 803*2^1423116-1 is not prime. Res64: 8E1F244E28AF3207 Time : 0.0 sec. user=mdettweiler [2016-03-15 04:59:05] 625*2^1423117-1 is not prime. Res64: 9CE5B89B80D5EEED Time : 0.0 sec. user=mdettweiler [2016-03-15 04:59:05] 639*2^1423117-1 is not prime. Res64: DD2FA1BF024E4C4F Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:03] 895*2^1423117-1 is not prime. Res64: 825C007DA556996C Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:05] 901*2^1423117-1 is not prime. Res64: 7821BAE297CD4C70 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:06] 605*2^1423118-1 is not prime. Res64: CA598BEEEB68C6C2 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:06] 663*2^1423119-1 is not prime. Res64: A2BFC76CD33F6FA3 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:07] 623*2^1423118-1 is not prime. Res64: 05530A27778A2A0C Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:07] 669*2^1423119-1 is not prime. Res64: F987175C22BDB308 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:08] 709*2^1423119-1 is not prime. Res64: A0B62A0FF47B4650 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:08] 711*2^1423118-1 is not prime. Res64: B0F82A13D9BF13B4 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:11] 859*2^1423119-1 is not prime. Res64: D2E38841A1614212 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:13] 891*2^1423119-1 is not prime. Res64: A4A4E8BC8C5A3212 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:29] 773*2^1423118-1 is not prime. Res64: 4BEA85CF052592C2 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:31] 831*2^1423118-1 is not prime. Res64: 3BE3241768D170B0 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:33] 963*2^1423118-1 is not prime. Res64: AEF3CCED380374B4 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:35] 977*2^1423118-1 is not prime. Res64: AA2838BB84A30E15 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:04:36] 633*2^1423119-1 is not prime. Res64: BB592DAB26821BAF Time : 0.0 sec. user=mdettweiler [2016-03-15 05:45:04] 615*2^1423120-1 is not prime. Res64: 9FDEFB4555BBE074 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:45:04] 645*2^1423120-1 is not prime. Res64: 29C29492C5F0909F Time : 0.0 sec. user=mdettweiler [2016-03-15 05:45:05] 677*2^1423120-1 is not prime. Res64: 1A13EA931E815292 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:45:05] 693*2^1423120-1 is not prime. Res64: E371E33FE3CC71A3 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:45:06] 755*2^1423120-1 is not prime. Res64: CDBDEE9015631668 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:14] 773*2^1423120-1 is not prime. Res64: 60E2D509AC1062CE Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:14] 819*2^1423120-1 is not prime. Res64: D977C47F7ACE9404 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:15] 843*2^1423120-1 is not prime. Res64: 3DE4958FB3F2767C Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:15] 905*2^1423120-1 is not prime. Res64: E7C95F0D8D65C541 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:15] 909*2^1423120-1 is not prime. Res64: 445F7E9A8AD0F8E0 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:16] 647*2^1423122-1 is not prime. Res64: 40B3384387F5FBB1 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:16] 671*2^1423122-1 is not prime. Res64: 09E5904FB140585B Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:17] 791*2^1423122-1 is not prime. Res64: 10C9F0AD41EC8FB0 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:17] 867*2^1423122-1 is not prime. Res64: 0CD03035461A7505 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:17] 903*2^1423122-1 is not prime. Res64: 931219FF6900DBF5 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:28] 915*2^1423120-1 is not prime. Res64: F3DE7D0DDACDC383 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:28] 607*2^1423121-1 is not prime. Res64: FB5F1E6384C3B3BD Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:29] 657*2^1423121-1 is not prime. Res64: EBB997D9845B80A5 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:29] 789*2^1423121-1 is not prime. Res64: 1B0DFE6069870E59 Time : 0.0 sec. user=mdettweiler [2016-03-15 05:50:29] 987*2^1423121-1 is not prime. Res64: BC9BBEA4F68FAE3C Time : 0.0 sec. user=mdettweiler [2016-03-15 06:31:05] 975*2^1423122-1 is not prime. Res64: A7B2DFB95E37A7C1 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:31:06] 705*2^1423123-1 is not prime. Res64: 9EC5677C8759C92A Time : 0.0 sec. user=mdettweiler [2016-03-15 06:31:06] 745*2^1423123-1 is not prime. Res64: BEF24F6A8CF748CF Time : 0.0 sec. user=mdettweiler [2016-03-15 06:31:06] 943*2^1423123-1 is not prime. Res64: DC91CFC07A6040A8 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:31:07] 617*2^1423124-1 is not prime. Res64: 78305D3997326EAF Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:14] 953*2^1423124-1 is not prime. Res64: 138EA387B83848A6 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:15] 627*2^1423125-1 is not prime. Res64: B629ECE74F7E7B80 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:15] 639*2^1423125-1 is not prime. Res64: 9746FBA28B309F59 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:15] 961*2^1423125-1 is not prime. Res64: 91DA92B85D3747D4 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:16] 991*2^1423125-1 is not prime. Res64: 16FB7BEE66E5C307 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:20] 635*2^1423124-1 is not prime. Res64: 628484C7F1DA7831 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:20] 677*2^1423124-1 is not prime. Res64: 78515982138743AC Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:20] 837*2^1423124-1 is not prime. Res64: 974131ADB8F7BE2F Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:21] 875*2^1423124-1 is not prime. Res64: 2F1BB9C93FD49B5B Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:21] 903*2^1423124-1 is not prime. Res64: 205C372320460613 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:50] 645*2^1423126-1 is not prime. Res64: 15195B482C2AFFE3 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:50] 651*2^1423126-1 is not prime. Res64: 9870BED64DBE4044 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:51] 663*2^1423126-1 is not prime. Res64: 4159615A758289D4 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:51] 747*2^1423126-1 is not prime. Res64: 0CA4967616331E43 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:36:51] 777*2^1423126-1 is not prime. Res64: AFB12CF96F44A6DE Time : 0.0 sec. user=mdettweiler [2016-03-15 06:45:58] 735*2^1423132-1 is not prime. Res64: C2A95CBB71C93679 Time : 0.0 sec. user=mdettweiler [2016-03-15 06:46:22] 743*2^1423132-1 is not prime. Res64: E2D2000F5AA1FFA3 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:04:17] 797*2^1423132-1 is not prime. Res64: 8858C651FCA413EB Time : 0.0 sec. user=mdettweiler [2016-03-15 07:17:22] 945*2^1423126-1 is not prime. Res64: C7AFDC67E83DA37F Time : 0.0 sec. user=mdettweiler [2016-03-15 07:17:23] 615*2^1423127-1 is not prime. Res64: 9C6F918F0529BD99 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:17:23] 621*2^1423127-1 is not prime. Res64: 98A92C14C562C78D Time : 0.0 sec. user=mdettweiler [2016-03-15 07:17:23] 633*2^1423127-1 is not prime. Res64: 679399A821C286A8 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:17:24] 885*2^1423127-1 is not prime. Res64: E4AFE0BA2DC9861E Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:04] 831*2^1423129-1 is not prime. Res64: 55911CF7CEE71540 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:04] 825*2^1423130-1 is not prime. Res64: 6664C7631448012A Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:05] 857*2^1423130-1 is not prime. Res64: BF158B12E34D1681 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:05] 619*2^1423131-1 is not prime. Res64: 8F8017F5B9B1A2A8 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:05] 669*2^1423131-1 is not prime. Res64: 1BD33BB803D061A6 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:07] 657*2^1423128-1 is not prime. Res64: 5B6CA1CD6554B27B Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:08] 665*2^1423128-1 is not prime. Res64: 7EA073F292426904 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:08] 803*2^1423128-1 is not prime. Res64: 2D7093527EAB71A7 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:09] 609*2^1423129-1 is not prime. Res64: 4E2E1FF41166AF8B Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:09] 807*2^1423129-1 is not prime. Res64: 4120D4AC18AC474F Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:54] 685*2^1423131-1 is not prime. Res64: 642119816D1DBC55 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:55] 739*2^1423131-1 is not prime. Res64: F183275503255D9C Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:55] 943*2^1423131-1 is not prime. Res64: 2A4FD7B1D89C69EA Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:56] 603*2^1423132-1 is not prime. Res64: ED94B7421FB1213E Time : 0.0 sec. user=mdettweiler [2016-03-15 07:22:56] 609*2^1423132-1 is not prime. Res64: 85C2921894120084 Time : 0.0 sec. user=mdettweiler [2016-03-15 07:56:48] 927*2^1423134-1 is not prime. Res64: FEFE2367328A6B22 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:03:19] 819*2^1423132-1 is not prime. Res64: 6D7554A8DEFAC91D Time : 0.0 sec. user=mdettweiler [2016-03-15 08:03:20] 843*2^1423132-1 is not prime. Res64: D2FFBC7E99B3A304 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:03:21] 887*2^1423132-1 is not prime. Res64: 0600785AE37A02CA Time : 0.0 sec. user=mdettweiler [2016-03-15 08:03:22] 933*2^1423132-1 is not prime. Res64: 8D8BB971D72D61FB Time : 0.0 sec. user=mdettweiler [2016-03-15 08:03:24] 947*2^1423132-1 is not prime. Res64: FC8A33B5AD895A9B Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:49] 837*2^1423133-1 is not prime. Res64: 9552CBB61666562C Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:51] 897*2^1423133-1 is not prime. Res64: BED2669947B2C1CC Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:52] 989*2^1423132-1 is not prime. Res64: 6D916F0654ED6D21 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:53] 649*2^1423133-1 is not prime. Res64: CE95CD24AA351C42 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:54] 945*2^1423133-1 is not prime. Res64: 7C8B4DCD7ABCC137 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:54] 741*2^1423133-1 is not prime. Res64: 6941ABFA4F7533B0 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:55] 981*2^1423133-1 is not prime. Res64: CBEBFB6058FD1915 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:55] 747*2^1423133-1 is not prime. Res64: 7C28115821DEFA02 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:57] 801*2^1423133-1 is not prime. Res64: 16010F01387F5624 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:07:58] 991*2^1423133-1 is not prime. Res64: EA229697010A4BA3 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:09:05] 657*2^1423134-1 is not prime. Res64: D4B7152ACB2012A7 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:09:06] 725*2^1423134-1 is not prime. Res64: 60900EFBFEE58EDD Time : 0.0 sec. user=mdettweiler [2016-03-15 08:09:06] 747*2^1423134-1 is not prime. Res64: D0462798085D09FC Time : 0.0 sec. user=mdettweiler [2016-03-15 08:09:07] 833*2^1423134-1 is not prime. Res64: 0769F899E4D7F890 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:09:07] 863*2^1423134-1 is not prime. Res64: 15E53179FCF54F3D Time : 0.0 sec. user=mdettweiler [2016-03-15 08:14:27] 909*2^1423135-1 is not prime. Res64: C2D51B033FA575BF Time : 0.0 sec. user=mdettweiler [2016-03-15 08:49:38] 957*2^1423134-1 is not prime. Res64: D3A05FC1080867EA Time : 0.0 sec. user=mdettweiler [2016-03-15 08:49:39] 975*2^1423134-1 is not prime. Res64: 7A1F9CD421FBD4B5 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:49:39] 741*2^1423135-1 is not prime. Res64: E46E8F134E9F410B Time : 0.0 sec. user=mdettweiler [2016-03-15 08:49:39] 765*2^1423135-1 is not prime. Res64: DCF22F1B88D25DAE Time : 0.0 sec. user=mdettweiler [2016-03-15 08:49:40] 855*2^1423135-1 is not prime. Res64: 8F3911805753CCDF Time : 0.0 sec. user=mdettweiler [2016-03-15 08:53:52] 677*2^1423136-1 is not prime. Res64: 1BF51957465EF0C7 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:53:53] 825*2^1423136-1 is not prime. Res64: 55172B579C644E96 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:53:53] 843*2^1423136-1 is not prime. Res64: 39285DBA8BB568D5 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:53:53] 681*2^1423137-1 is not prime. Res64: 374DC0B0FCD9B0FF Time : 0.0 sec. user=mdettweiler [2016-03-15 08:53:54] 691*2^1423137-1 is not prime. Res64: 68513F8A1BF9D89F Time : 0.0 sec. user=mdettweiler [2016-03-15 08:53:59] 711*2^1423137-1 is not prime. Res64: 2B3451F9835E7460 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:53:59] 891*2^1423137-1 is not prime. Res64: 3A13E1355916C3F3 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:54:00] 919*2^1423137-1 is not prime. Res64: A8ED5F6B0B977000 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:54:00] 937*2^1423137-1 is not prime. Res64: 0778D32F245888EF Time : 0.0 sec. user=mdettweiler [2016-03-15 08:54:01] 979*2^1423137-1 is not prime. Res64: 1FDBF2B405382098 Time : 0.0 sec. user=mdettweiler [2016-03-15 08:55:09] 617*2^1423138-1 is not prime. Res64: 0BFE4151111AE24A Time : 0.0 sec. user=mdettweiler [2016-03-15 08:55:09] 663*2^1423138-1 is not prime. Res64: 96412259D7E9DB7F Time : 0.0 sec. user=mdettweiler [2016-03-15 08:55:09] 813*2^1423138-1 is not prime. Res64: 7028CEED5FB9462C Time : 0.0 sec. user=mdettweiler [2016-03-15 08:55:10] 845*2^1423138-1 is not prime. Res64: F7B50581613EE0FD Time : 0.0 sec. user=mdettweiler [2016-03-15 08:55:10] 663*2^1423139-1 is not prime. Res64: 2BC3217D8A0380B4 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:07:33] 609*2^1423144-1 is not prime. Res64: C0445568174C422E Time : 0.0 sec. user=mdettweiler [2016-03-15 09:35:15] 675*2^1423139-1 is not prime. Res64: CA8700C9D5DA5C5D Time : 0.0 sec. user=mdettweiler [2016-03-15 09:35:15] 705*2^1423139-1 is not prime. Res64: E5667A0AE2FD3E19 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:35:16] 741*2^1423139-1 is not prime. Res64: 487A65626CE0948A Time : 0.0 sec. user=mdettweiler [2016-03-15 09:35:16] 973*2^1423139-1 is not prime. Res64: 94D73014CCAEDEA3 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:35:17] 647*2^1423140-1 is not prime. Res64: DCB89ED7A91FFF2E Time : 0.0 sec. user=mdettweiler [2016-03-15 09:39:25] 615*2^1423142-1 is not prime. Res64: 4BECE6E4BDD81121 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:39:25] 761*2^1423142-1 is not prime. Res64: 127DEB8CDDB7F94F Time : 0.0 sec. user=mdettweiler [2016-03-15 09:39:26] 893*2^1423142-1 is not prime. Res64: D3169592BDEB85EA Time : 0.0 sec. user=mdettweiler [2016-03-15 09:39:26] 923*2^1423142-1 is not prime. Res64: 1D99D2884210C346 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:39:26] 953*2^1423142-1 is not prime. Res64: B05800EBEE8E48EB Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:23] 899*2^1423140-1 is not prime. Res64: C2353400B6FDDCFA Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:24] 615*2^1423141-1 is not prime. Res64: 42D4E228E192E7F8 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:24] 691*2^1423141-1 is not prime. Res64: 829C0396A55407EC Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:24] 931*2^1423141-1 is not prime. Res64: 573AD8B318A6C8E4 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:25] 987*2^1423141-1 is not prime. Res64: 5867EAA3BA930DAB Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:55] 663*2^1423143-1 is not prime. Res64: 3A3FB8EB0BEA6826 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:55] 685*2^1423143-1 is not prime. Res64: 0A605C1935EA3FEA Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:55] 745*2^1423143-1 is not prime. Res64: 66B94E8E06DB6A68 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:56] 859*2^1423143-1 is not prime. Res64: 2CDCB840B66F24A5 Time : 0.0 sec. user=mdettweiler [2016-03-15 09:40:56] 891*2^1423143-1 is not prime. Res64: 0EECB15E451F73E2 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:00:31] 979*2^1423147-1 is not prime. Res64: 8ABC2ED375FEC849 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:20:59] 717*2^1423144-1 is not prime. Res64: E53CFE201E8726F2 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:20:59] 843*2^1423144-1 is not prime. Res64: 23906593BDB3B9D2 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:21:00] 939*2^1423144-1 is not prime. Res64: DCBD89C20BE5735C Time : 0.0 sec. user=mdettweiler [2016-03-15 10:21:00] 735*2^1423145-1 is not prime. Res64: FFF25873427EE68D Time : 0.0 sec. user=mdettweiler [2016-03-15 10:21:00] 847*2^1423145-1 is not prime. Res64: E3C9A395ECCCE55D Time : 0.0 sec. user=mdettweiler [2016-03-15 10:24:50] 861*2^1423145-1 is not prime. Res64: 8D4EDEE7317D78FC Time : 0.0 sec. user=mdettweiler [2016-03-15 10:24:50] 957*2^1423145-1 is not prime. Res64: ED9EBE5FA689C0C3 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:24:50] 987*2^1423145-1 is not prime. Res64: B1ABA923B2CCBCCF Time : 0.0 sec. user=mdettweiler [2016-03-15 10:24:51] 627*2^1423146-1 is not prime. Res64: 23EF80BCBAAABB31 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:24:51] 713*2^1423146-1 is not prime. Res64: BDD973A7B5D3A11A Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:14] 735*2^1423146-1 is not prime. Res64: 948A34B1EC99984B Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:15] 741*2^1423146-1 is not prime. Res64: 78CB4B259BDF6BB3 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:15] 905*2^1423146-1 is not prime. Res64: 79A504EF2D96EBF4 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:15] 983*2^1423146-1 is not prime. Res64: 7D6189E3047CE001 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:16] 649*2^1423147-1 is not prime. Res64: FAF8ADAB661A67BD Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:52] 651*2^1423147-1 is not prime. Res64: 8EE4DC1436C15776 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:53] 663*2^1423147-1 is not prime. Res64: 996B97ADAB457A32 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:53] 841*2^1423147-1 is not prime. Res64: 6D12BDAE9FEBB9B1 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:53] 861*2^1423147-1 is not prime. Res64: B057926E1503AAB4 Time : 0.0 sec. user=mdettweiler [2016-03-15 10:26:54] 945*2^1423147-1 is not prime. Res64: FCDDF10480CDC86F Time : 0.0 sec. user=mdettweiler [2016-03-15 11:06:40] 999*2^1423147-1 is not prime. Res64: 653D4AFC0C300285 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:06:40] 813*2^1423148-1 is not prime. Res64: BB79212824FFA451 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:06:41] 837*2^1423148-1 is not prime. Res64: F9B260BFC5270552 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:06:41] 875*2^1423148-1 is not prime. Res64: AAC4051A74FD4D54 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:06:42] 945*2^1423148-1 is not prime. Res64: A6680801AC5F370F Time : 0.0 sec. user=mdettweiler [2016-03-15 11:10:33] 977*2^1423148-1 is not prime. Res64: 92FA0C00FF9B45A1 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:10:33] 657*2^1423149-1 is not prime. Res64: E77F0C3464882673 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:10:34] 769*2^1423149-1 is not prime. Res64: DAACDDE5096DFFA8 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:10:34] 831*2^1423149-1 is not prime. Res64: D3F300DA1407B457 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:10:34] 835*2^1423149-1 is not prime. Res64: 34D6E503D4DA011C Time : 0.0 sec. user=mdettweiler [2016-03-15 11:11:40] 945*2^1423150-1 is not prime. Res64: 5CD1B5C3A934BB9E Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:01] 837*2^1423149-1 is not prime. Res64: 83549AE854A3F6F5 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:01] 861*2^1423149-1 is not prime. Res64: 4624654CFC56D3BB Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:02] 951*2^1423149-1 is not prime. Res64: 3DC460D4F49505E8 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:02] 985*2^1423149-1 is not prime. Res64: AB50E35921537D7D Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:02] 653*2^1423150-1 is not prime. Res64: 82C337C3B664A2D1 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:32] 665*2^1423150-1 is not prime. Res64: F80B4723B496964D Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:33] 857*2^1423150-1 is not prime. Res64: 3BAB1C0E590F3BFC Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:33] 861*2^1423150-1 is not prime. Res64: 4DCE2FDC3CE60CED Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:33] 867*2^1423150-1 is not prime. Res64: 2FB67FB36AE58EE4 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:12:34] 887*2^1423150-1 is not prime. Res64: 591FD2F52F8BD41E Time : 0.0 sec. user=mdettweiler [2016-03-15 11:28:44] 945*2^1423153-1 is not prime. Res64: 0E45668C31273243 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:28:56] 951*2^1423153-1 is not prime. Res64: 4680D86F91CC2109 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:29:01] 985*2^1423153-1 is not prime. Res64: 625EA205855A85DD Time : 0.0 sec. user=mdettweiler [2016-03-15 11:52:35] 951*2^1423150-1 is not prime. Res64: 67C4BDDCAF893B0D Time : 0.0 sec. user=mdettweiler [2016-03-15 11:52:36] 987*2^1423150-1 is not prime. Res64: 6E4967BFBF0B5E13 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:52:36] 601*2^1423151-1 is not prime. Res64: 94D18FCB3D8E1459 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:52:36] 603*2^1423151-1 is not prime. Res64: C0F552B90B669F1E Time : 0.0 sec. user=mdettweiler [2016-03-15 11:52:37] 615*2^1423151-1 is not prime. Res64: BD2FF3B92C332A2D Time : 0.0 sec. user=mdettweiler [2016-03-15 11:56:27] 735*2^1423151-1 is not prime. Res64: 0B7C7D7F629EB6FD Time : 0.0 sec. user=mdettweiler [2016-03-15 11:56:27] 741*2^1423151-1 is not prime. Res64: 58CCC61ED7663042 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:56:28] 885*2^1423151-1 is not prime. Res64: 21006D20E09E8E04 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:56:28] 633*2^1423152-1 is not prime. Res64: E8B730F3202454B2 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:56:28] 713*2^1423152-1 is not prime. Res64: 53A812154E1EDBB1 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:57:47] 753*2^1423152-1 is not prime. Res64: F36394D912F2A5BB Time : 0.0 sec. user=mdettweiler [2016-03-15 11:57:48] 767*2^1423152-1 is not prime. Res64: 616D2E49602E2231 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:57:48] 977*2^1423152-1 is not prime. Res64: 962567DD5D124F2C Time : 0.0 sec. user=mdettweiler [2016-03-15 11:57:48] 639*2^1423153-1 is not prime. Res64: 748806ADB4933EB4 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:57:49] 651*2^1423153-1 is not prime. Res64: F613CFFC59B260C8 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:58:30] 681*2^1423153-1 is not prime. Res64: 8C8EF027EC2E439F Time : 0.0 sec. user=mdettweiler [2016-03-15 11:58:31] 747*2^1423153-1 is not prime. Res64: EDC21855939EB274 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:58:31] 831*2^1423153-1 is not prime. Res64: 752EC5703E290FE4 Time : 0.0 sec. user=mdettweiler [2016-03-15 11:58:31] 889*2^1423153-1 is not prime. Res64: FDB794E4D38C281F Time : 0.0 sec. user=mdettweiler [2016-03-15 11:58:32] 939*2^1423153-1 is not prime. Res64: 666B01CA149463ED Time : 0.0 sec. user=mdettweiler [2016-03-15 12:38:24] 987*2^1423153-1 is not prime. Res64: E5C4D9462E4C7265 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:38:24] 665*2^1423154-1 is not prime. Res64: 135960DD8A1561B2 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:38:25] 797*2^1423154-1 is not prime. Res64: 38CEC4BFDE9A3844 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:38:25] 815*2^1423154-1 is not prime. Res64: 073E5ABAB296D68E Time : 0.0 sec. user=mdettweiler [2016-03-15 12:38:26] 875*2^1423154-1 is not prime. Res64: 63F9356253A447D5 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:42:23] 927*2^1423154-1 is not prime. Res64: ECF3AFFDF037BAC9 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:42:23] 765*2^1423155-1 is not prime. Res64: 811DEED2E80131B2 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:42:23] 873*2^1423155-1 is not prime. Res64: 134D7173DFEEF563 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:42:24] 963*2^1423155-1 is not prime. Res64: ECF14E53ED36B1E1 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:42:24] 657*2^1423156-1 is not prime. Res64: C9B5718897207DC9 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:43:53] 777*2^1423156-1 is not prime. Res64: 70A0903D01FFBA8A Time : 0.0 sec. user=mdettweiler [2016-03-15 12:43:54] 833*2^1423156-1 is not prime. Res64: E75B9B0443505EF9 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:43:54] 843*2^1423156-1 is not prime. Res64: 9A40EEB6381C9112 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:43:54] 903*2^1423156-1 is not prime. Res64: 04EAB2C75EBC5FEE Time : 0.0 sec. user=mdettweiler [2016-03-15 12:43:55] 757*2^1423157-1 is not prime. Res64: D308AB9485BCFE86 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:44:40] 759*2^1423157-1 is not prime. Res64: 2B206396F06F0E21 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:44:40] 825*2^1423157-1 is not prime. Res64: A0F0260315067B72 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:44:40] 867*2^1423157-1 is not prime. Res64: FD51BBC14C6EEB90 Time : 0.0 sec. user=mdettweiler [2016-03-15 12:44:41] 985*2^1423157-1 is not prime. Res64: D17424584BEAF07F Time : 0.0 sec. user=mdettweiler [2016-03-15 12:44:41] 615*2^1423158-1 is not prime. Res64: 8DAB72B1CB6437DB Time : 0.0 sec. user=mdettweiler [2016-03-15 13:24:34] 621*2^1423158-1 is not prime. Res64: 3A65BEF00BF3CA08 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:24:34] 681*2^1423158-1 is not prime. Res64: A1C1700A911C57C9 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:24:35] 867*2^1423158-1 is not prime. Res64: 6DA85383C5EAB8CA Time : 0.0 sec. user=mdettweiler [2016-03-15 13:24:35] 927*2^1423158-1 is not prime. Res64: C84E0185FEED5F9D Time : 0.0 sec. user=mdettweiler [2016-03-15 13:24:36] 601*2^1423159-1 is not prime. Res64: 43EBCCF9488AB6C6 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:28:41] 625*2^1423159-1 is not prime. Res64: 6EE9F9C118980992 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:28:42] 703*2^1423159-1 is not prime. Res64: D2D4217D251B4776 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:28:42] 705*2^1423159-1 is not prime. Res64: 28B01E7BEA03377B Time : 0.0 sec. user=mdettweiler [2016-03-15 13:28:42] 793*2^1423159-1 is not prime. Res64: 263C1DA17BC94FE5 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:28:43] 913*2^1423159-1 is not prime. Res64: 18B09B3E8F1FC9C1 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:29:43] 951*2^1423159-1 is not prime. Res64: C065464A5A5DF3AC Time : 0.0 sec. user=mdettweiler [2016-03-15 13:29:43] 677*2^1423160-1 is not prime. Res64: 69A94FE6E71C7FD3 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:29:44] 785*2^1423160-1 is not prime. Res64: 4E529E5C23C2959B Time : 0.0 sec. user=mdettweiler [2016-03-15 13:29:44] 827*2^1423160-1 is not prime. Res64: 7394FEF37A29096E Time : 0.0 sec. user=mdettweiler [2016-03-15 13:29:45] 833*2^1423160-1 is not prime. Res64: 7903C0B25A89A68F Time : 0.0 sec. user=mdettweiler [2016-03-15 13:30:57] 927*2^1423160-1 is not prime. Res64: DC0824F805513A4D Time : 0.0 sec. user=mdettweiler [2016-03-15 13:30:57] 963*2^1423160-1 is not prime. Res64: 9F1461E83BD5C539 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:30:58] 615*2^1423161-1 is not prime. Res64: 15CFACA58A743269 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:30:58] 651*2^1423161-1 is not prime. Res64: 16CB33A335FAA465 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:30:59] 681*2^1423161-1 is not prime. Res64: 5DEA431B9A91873D Time : 0.0 sec. user=mdettweiler [2016-03-15 13:33:46] 705*2^1423163-1 is not prime. Res64: 51937CCD84DDE951 Time : 0.0 sec. user=mdettweiler [2016-03-15 13:50:56] 889*2^1423165-1 is not prime. Res64: 1B366DF89AE5DF32 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:08:50] 951*2^1423165-1 is not prime. Res64: BE63FDEF179B304B Time : 0.0 sec. user=mdettweiler [2016-03-15 14:10:32] 691*2^1423161-1 is not prime. Res64: DC475EA8F3DF0F5B Time : 0.0 sec. user=mdettweiler [2016-03-15 14:10:32] 765*2^1423162-1 is not prime. Res64: A8DD9BCBA4C09C3D Time : 0.0 sec. user=mdettweiler [2016-03-15 14:10:32] 855*2^1423162-1 is not prime. Res64: 7851C90BE3F899FC Time : 0.0 sec. user=mdettweiler [2016-03-15 14:10:33] 873*2^1423162-1 is not prime. Res64: 0EEA458FC0FF3D2E Time : 0.0 sec. user=mdettweiler [2016-03-15 14:10:33] 703*2^1423163-1 is not prime. Res64: BC8E9176CDD6BC63 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:14:34] 753*2^1423163-1 is not prime. Res64: A62FD52F04A35ED5 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:14:35] 879*2^1423163-1 is not prime. Res64: 69497DF1D04F1170 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:14:35] 885*2^1423163-1 is not prime. Res64: 06A6718AFC28BA09 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:14:35] 895*2^1423163-1 is not prime. Res64: 9BC759ADDB9D937D Time : 0.0 sec. user=mdettweiler [2016-03-15 14:14:36] 901*2^1423163-1 is not prime. Res64: F34C38EBEDBF1460 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:15:40] 993*2^1423163-1 is not prime. Res64: 1387657EF1365A85 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:15:41] 635*2^1423164-1 is not prime. Res64: 84BF3C6F4F293515 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:15:41] 723*2^1423164-1 is not prime. Res64: B41063D6B345303F Time : 0.0 sec. user=mdettweiler [2016-03-15 14:15:41] 857*2^1423164-1 is not prime. Res64: 4A681B6D199437EF Time : 0.0 sec. user=mdettweiler [2016-03-15 14:15:42] 969*2^1423164-1 is not prime. Res64: E650692D708F4893 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:16:57] 715*2^1423165-1 is not prime. Res64: BC6DFD5888E89E4C Time : 0.0 sec. user=mdettweiler [2016-03-15 14:16:58] 721*2^1423165-1 is not prime. Res64: CA749BDFBC5FDACD Time : 0.0 sec. user=mdettweiler [2016-03-15 14:16:58] 741*2^1423165-1 is not prime. Res64: 757EE14CFCA8993A Time : 0.0 sec. user=mdettweiler [2016-03-15 14:16:58] 777*2^1423165-1 is not prime. Res64: E1E055142DC647C9 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:16:59] 877*2^1423165-1 is not prime. Res64: B45ED1519BB568FA Time : 0.0 sec. user=mdettweiler [2016-03-15 14:58:00] 961*2^1423165-1 is not prime. Res64: EB061BB60F2B78C1 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:58:00] 975*2^1423165-1 is not prime. Res64: 20B1C5F6231B0A98 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:58:00] 617*2^1423166-1 is not prime. Res64: 05B9CE2F54027E0B Time : 0.0 sec. user=mdettweiler [2016-03-15 14:58:00] 755*2^1423166-1 is not prime. Res64: 5EE4D5657D472885 Time : 0.0 sec. user=mdettweiler [2016-03-15 14:58:01] 851*2^1423166-1 is not prime. Res64: 98C7C5A6F41DC674 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:02:16] 861*2^1423166-1 is not prime. Res64: 6DDDE116CCACA02D Time : 0.0 sec. user=mdettweiler [2016-03-15 15:02:18] 893*2^1423166-1 is not prime. Res64: 8EC17841A2E84462 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:02:19] 921*2^1423166-1 is not prime. Res64: 26D647952361EA20 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:02:20] 705*2^1423167-1 is not prime. Res64: FDD0D413F6B7D15E Time : 0.0 sec. user=mdettweiler [2016-03-15 15:02:21] 709*2^1423167-1 is not prime. Res64: A168839C1F1510D4 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:03:05] 979*2^1423167-1 is not prime. Res64: 81608CDFE18FDA35 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:03:06] 657*2^1423168-1 is not prime. Res64: C3AB2D0B64DB9796 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:03:07] 705*2^1423168-1 is not prime. Res64: C22963376CAA5B99 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:03:08] 747*2^1423168-1 is not prime. Res64: 056AE65B8057E866 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:03:09] 833*2^1423168-1 is not prime. Res64: 923400E1AC27F2D3 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:04:40] 735*2^1423169-1 is not prime. Res64: 6D4E503E4FF1CE02 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:04:41] 861*2^1423169-1 is not prime. Res64: 046C2170AEE9533E Time : 0.0 sec. user=mdettweiler [2016-03-15 15:04:42] 867*2^1423169-1 is not prime. Res64: 025A597A21E4A6F7 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:04:43] 879*2^1423169-1 is not prime. Res64: A9997A012DB3743D Time : 0.0 sec. user=mdettweiler [2016-03-15 15:04:44] 657*2^1423170-1 is not prime. Res64: 08E8DFA18F302843 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:47:51] 747*2^1423170-1 is not prime. Res64: B6095BAA7917CAAB Time : 0.0 sec. user=mdettweiler [2016-03-15 15:47:52] 765*2^1423170-1 is not prime. Res64: C4F8ABE39493E910 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:47:52] 797*2^1423170-1 is not prime. Res64: C37982816D856026 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:47:52] 821*2^1423170-1 is not prime. Res64: DAC3259547F646CB Time : 0.0 sec. user=mdettweiler [2016-03-15 15:47:52] 833*2^1423170-1 is not prime. Res64: 9D67F81EA6FE7463 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:14] 851*2^1423170-1 is not prime. Res64: 0AE22DE524B299A6 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:14] 873*2^1423170-1 is not prime. Res64: 6F29D30F3DFE356C Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:14] 609*2^1423171-1 is not prime. Res64: 402814B7A4B7CBF8 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:14] 625*2^1423171-1 is not prime. Res64: 7E7FFAC540FAAA13 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:15] 691*2^1423171-1 is not prime. Res64: 808984F09016499F Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:44] 709*2^1423171-1 is not prime. Res64: A865EE34FDB2CE61 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:45] 723*2^1423171-1 is not prime. Res64: C3A5AAE420ED7D56 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:45] 759*2^1423171-1 is not prime. Res64: AD9FE06C5819144B Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:45] 769*2^1423171-1 is not prime. Res64: 9AF37FE242332229 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:52:45] 805*2^1423171-1 is not prime. Res64: A119A817DFB09E59 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:54:36] 859*2^1423171-1 is not prime. Res64: C6C2D8B39EFF3321 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:54:36] 883*2^1423171-1 is not prime. Res64: E8F6449B169D902C Time : 0.0 sec. user=mdettweiler [2016-03-15 15:54:37] 669*2^1423172-1 is not prime. Res64: B607D51B9422F206 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:54:37] 687*2^1423172-1 is not prime. Res64: D03DD8E752FA5AD0 Time : 0.0 sec. user=mdettweiler [2016-03-15 15:54:37] 735*2^1423172-1 is not prime. Res64: FA2281DE159A1A1F Time : 0.0 sec. user=mdettweiler [2016-03-15 16:34:50] 777*2^1423172-1 is not prime. Res64: C0DC699B138CE153 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:34:50] 873*2^1423172-1 is not prime. Res64: 7731F0B63D1D67D5 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:34:51] 959*2^1423172-1 is not prime. Res64: D2E4C9BEC53F0B02 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:34:51] 977*2^1423172-1 is not prime. Res64: A79E5AF12F0C5B88 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:34:51] 819*2^1423173-1 is not prime. Res64: E869E68FC89F8F9D Time : 0.0 sec. user=mdettweiler [2016-03-15 16:38:51] 901*2^1423173-1 is not prime. Res64: 8A2A0BB19B0D72AE Time : 0.0 sec. user=mdettweiler [2016-03-15 16:38:51] 937*2^1423173-1 is not prime. Res64: 8BB4304E2B597AF2 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:38:51] 955*2^1423173-1 is not prime. Res64: 3C72BD706CA94222 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:38:52] 657*2^1423174-1 is not prime. Res64: 0C15B46859F877C5 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:38:52] 695*2^1423174-1 is not prime. Res64: EB7450A9686C6DDC Time : 0.0 sec. user=mdettweiler [2016-03-15 16:39:50] 923*2^1423174-1 is not prime. Res64: 15C5A7409F66EE37 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:39:50] 721*2^1423175-1 is not prime. Res64: 7798AAC104135857 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:39:51] 771*2^1423175-1 is not prime. Res64: 5670C04D7C952251 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:39:51] 789*2^1423175-1 is not prime. Res64: DA2CB2BA754C8244 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:39:52] 865*2^1423175-1 is not prime. Res64: ECEC7198A958EFB3 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:41:31] 949*2^1423175-1 is not prime. Res64: 864270BC49EC65E0 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:41:32] 973*2^1423175-1 is not prime. Res64: 7CABF42E9F867DB8 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:41:32] 979*2^1423175-1 is not prime. Res64: 96765F5D853E3DDD Time : 0.0 sec. user=mdettweiler [2016-03-15 16:41:33] 735*2^1423176-1 is not prime. Res64: C4D3680B0335560D Time : 0.0 sec. user=mdettweiler [2016-03-15 16:41:33] 875*2^1423176-1 is not prime. Res64: E31736EADF8F9FE4 Time : 0.0 sec. user=mdettweiler [2016-03-15 16:47:40] 857*2^1423178-1 is not prime. Res64: FCA151A371365117 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:05:27] 803*2^1423180-1 is not prime. Res64: 08DEED5918E78B89 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:23:09] 825*2^1423180-1 is not prime. Res64: 76DAC2483080A215 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:30:27] 747*2^1423177-1 is not prime. Res64: 0387F416D5212A62 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:30:27] 841*2^1423177-1 is not prime. Res64: 46F20A3110C21890 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:30:27] 937*2^1423177-1 is not prime. Res64: 7E17614A159A7035 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:30:27] 955*2^1423177-1 is not prime. Res64: B62EEBCC320A582B Time : 0.0 sec. user=mdettweiler [2016-03-15 17:30:28] 665*2^1423178-1 is not prime. Res64: 96454D0D8AABD858 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:35:25] 735*2^1423178-1 is not prime. Res64: 1A4F93BB5EE61B16 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:35:25] 791*2^1423178-1 is not prime. Res64: 61DBC7D2EA22F920 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:35:26] 813*2^1423178-1 is not prime. Res64: BB2EE2FC330C4A09 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:35:26] 827*2^1423178-1 is not prime. Res64: EC952F50E970C1F1 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:35:26] 843*2^1423178-1 is not prime. Res64: 919503D11E94AD09 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:37:34] 923*2^1423178-1 is not prime. Res64: 528C773DD338A407 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:37:34] 957*2^1423178-1 is not prime. Res64: 03B493286031AAFC Time : 0.0 sec. user=mdettweiler [2016-03-15 17:37:35] 703*2^1423179-1 is not prime. Res64: 34C6CCA24AC41496 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:37:35] 753*2^1423179-1 is not prime. Res64: CA57C1F51C84DEC3 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:37:35] 891*2^1423179-1 is not prime. Res64: 85828B18308E7B2F Time : 0.0 sec. user=mdettweiler [2016-03-15 17:39:31] 603*2^1423180-1 is not prime. Res64: 454465024D815300 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:39:31] 615*2^1423180-1 is not prime. Res64: DA1457D2408909D2 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:39:31] 653*2^1423180-1 is not prime. Res64: 97958E7A2331F0C9 Time : 0.0 sec. user=mdettweiler [2016-03-15 17:39:31] 675*2^1423180-1 is not prime. Res64: 7562937292B2B13D Time : 0.0 sec. user=mdettweiler [2016-03-15 17:39:32] 707*2^1423180-1 is not prime. Res64: 9899C3F1C3E6488E Time : 0.0 sec. user=mdettweiler [2016-03-15 18:21:40] 863*2^1423180-1 is not prime. Res64: 58128755248E9F82 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:21:40] 923*2^1423180-1 is not prime. Res64: 459C6B80FCA0C4BA Time : 0.0 sec. user=mdettweiler [2016-03-15 18:21:41] 615*2^1423181-1 is not prime. Res64: 795723D8EE231BBB Time : 0.0 sec. user=mdettweiler [2016-03-15 18:21:41] 645*2^1423181-1 is not prime. Res64: 94AADF08B3373088 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:21:42] 669*2^1423181-1 is not prime. Res64: 5579780363FE1306 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:26:09] 741*2^1423181-1 is not prime. Res64: 1B29AE1B6A6FD4A7 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:26:09] 769*2^1423181-1 is not prime. Res64: 0A2A14FDA683898B Time : 0.0 sec. user=mdettweiler [2016-03-15 18:26:10] 777*2^1423181-1 is not prime. Res64: 11380861294DE375 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:26:10] 781*2^1423181-1 is not prime. Res64: D790EAD1D4360843 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:26:10] 885*2^1423181-1 is not prime. Res64: 69C647484E30F6F9 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:27:40] 951*2^1423181-1 is not prime. Res64: DB8FF8EF427EF2D9 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:27:40] 801*2^1423182-1 is not prime. Res64: 32DD6B6327D9C6A9 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:27:40] 807*2^1423182-1 is not prime. Res64: 2C07379FF6FA23D6 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:27:41] 815*2^1423182-1 is not prime. Res64: E49370BABA7A95F6 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:27:41] 917*2^1423182-1 is not prime. Res64: F4F29BC7183B8B8F Time : 0.0 sec. user=mdettweiler [2016-03-15 18:28:49] 609*2^1423183-1 is not prime. Res64: 2419E2E8A9811BB8 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:28:50] 675*2^1423183-1 is not prime. Res64: 108AE52E403F2FF5 Time : 0.0 sec. user=mdettweiler [2016-03-15 18:28:50] 751*2^1423183-1 is not prime. Res64: 1737C9F67056556D Time : 0.0 sec. user=mdettweiler [2016-03-15 18:28:50] 769*2^1423183-1 is not prime. Res64: 9A4367B707CCC7CD Time : 0.0 sec. user=mdettweiler [2016-03-15 18:28:51] 783*2^1423183-1 is not prime. Res64: 8874E0E7734103A2 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:10:38] 885*2^1423183-1 is not prime. Res64: EFAD792E734DB20E Time : 0.0 sec. user=mdettweiler [2016-03-15 19:10:38] 915*2^1423183-1 is not prime. Res64: FFF5AD91C4E9DDFD Time : 0.0 sec. user=mdettweiler [2016-03-15 19:10:38] 617*2^1423184-1 is not prime. Res64: 35D2F9DF36E8211E Time : 0.0 sec. user=mdettweiler [2016-03-15 19:10:39] 623*2^1423184-1 is not prime. Res64: 8D0378DD2CA9540F Time : 0.0 sec. user=mdettweiler [2016-03-15 19:10:39] 825*2^1423184-1 is not prime. Res64: 4135FA007E128969 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:14:39] 857*2^1423184-1 is not prime. Res64: 139FCCF847ED25DC Time : 0.0 sec. user=mdettweiler [2016-03-15 19:14:39] 899*2^1423184-1 is not prime. Res64: 242CFA3EDD11B696 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:14:40] 959*2^1423184-1 is not prime. Res64: 09CB8AFD8A56B93C Time : 0.0 sec. user=mdettweiler [2016-03-15 19:14:40] 969*2^1423184-1 is not prime. Res64: 892F92B5989D67A5 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:14:40] 601*2^1423185-1 is not prime. Res64: 25BA0C683A894A79 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:17:13] 675*2^1423185-1 is not prime. Res64: A0F7F035182442AC Time : 0.0 sec. user=mdettweiler [2016-03-15 19:17:14] 765*2^1423185-1 is not prime. Res64: F2EF2F1D3CA9CE24 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:17:15] 789*2^1423185-1 is not prime. Res64: D94BD77BE81CE390 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:17:15] 817*2^1423185-1 is not prime. Res64: 002AFCBBAA24EADF Time : 0.0 sec. user=mdettweiler [2016-03-15 19:17:16] 975*2^1423185-1 is not prime. Res64: AB6CF67828B9A42D Time : 0.0 sec. user=mdettweiler [2016-03-15 19:18:25] 635*2^1423186-1 is not prime. Res64: A9588A8B12511DE5 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:18:25] 815*2^1423186-1 is not prime. Res64: 1CE2DC690312CA3D Time : 0.0 sec. user=mdettweiler [2016-03-15 19:18:25] 917*2^1423186-1 is not prime. Res64: 6DCD4B1A4553658C Time : 0.0 sec. user=mdettweiler [2016-03-15 19:18:25] 933*2^1423186-1 is not prime. Res64: 1AA78F177B7C5883 Time : 0.0 sec. user=mdettweiler [2016-03-15 19:18:26] 945*2^1423186-1 is not prime. Res64: A9DBD5E9D4096E85 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:04:40] 615*2^1423187-1 is not prime. Res64: 79B85E87E7CB2D0B Time : 0.0 sec. user=mdettweiler [2016-03-15 20:04:41] 643*2^1423187-1 is not prime. Res64: AC5066A19692E477 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:04:42] 655*2^1423187-1 is not prime. Res64: 1BA5A3ECB681088B Time : 0.0 sec. user=mdettweiler [2016-03-15 20:04:43] 733*2^1423187-1 is not prime. Res64: FE165D1FEC977227 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:04:44] 735*2^1423187-1 is not prime. Res64: AE10DE8EE345FA6A Time : 0.0 sec. user=mdettweiler [2016-03-15 20:07:52] 753*2^1423187-1 is not prime. Res64: C65E812FFC0E7C3D Time : 0.0 sec. user=mdettweiler [2016-03-15 20:07:53] 879*2^1423187-1 is not prime. Res64: DAF9CE174A8A4758 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:07:53] 901*2^1423187-1 is not prime. Res64: E376AF35EB335C7D Time : 0.0 sec. user=mdettweiler [2016-03-15 20:07:53] 955*2^1423187-1 is not prime. Res64: D78BFF1494BFEBD8 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:07:54] 963*2^1423187-1 is not prime. Res64: 74634211265DB300 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:10:47] 979*2^1423187-1 is not prime. Res64: 757474AB442D8DC9 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:10:47] 993*2^1423187-1 is not prime. Res64: AE30FB59D1903C6A Time : 0.0 sec. user=mdettweiler [2016-03-15 20:10:48] 635*2^1423188-1 is not prime. Res64: 187BEAFAABB6C301 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:10:48] 669*2^1423188-1 is not prime. Res64: EB4835CEA0A45E8E Time : 0.0 sec. user=mdettweiler [2016-03-15 20:10:48] 825*2^1423188-1 is not prime. Res64: 7518B8AA66B246B2 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:12:04] 867*2^1423188-1 is not prime. Res64: 5E0D85F7C2F6AFB5 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:12:05] 933*2^1423188-1 is not prime. Res64: 6B04A0467C599371 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:12:05] 609*2^1423189-1 is not prime. Res64: 4D4E79AFD42D455E Time : 0.0 sec. user=mdettweiler [2016-03-15 20:12:05] 757*2^1423189-1 is not prime. Res64: 335EE18219B17510 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:12:06] 775*2^1423189-1 is not prime. Res64: CA40889D84F536A1 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:19:45] 973*2^1423191-1 is not prime. Res64: A48114D9342DBD1A Time : 0.0 sec. user=mdettweiler [2016-03-15 20:55:48] 811*2^1423189-1 is not prime. Res64: D517C1E652DB15C5 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:55:49] 829*2^1423189-1 is not prime. Res64: 6FA962042250E248 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:55:49] 885*2^1423189-1 is not prime. Res64: 6D9A6E6D77DB3911 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:55:50] 951*2^1423189-1 is not prime. Res64: 3D17336C65D0744C Time : 0.0 sec. user=mdettweiler [2016-03-15 20:55:50] 999*2^1423189-1 is not prime. Res64: 2D56A4DA3E7BB8D1 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:58:11] 677*2^1423190-1 is not prime. Res64: 2831EAF91B73DD4D Time : 0.0 sec. user=mdettweiler [2016-03-15 20:58:11] 753*2^1423190-1 is not prime. Res64: AC238A8B763F3581 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:58:12] 851*2^1423190-1 is not prime. Res64: B4845F56CB8BB5A0 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:58:12] 885*2^1423190-1 is not prime. Res64: F055E61D0DD8FBB3 Time : 0.0 sec. user=mdettweiler [2016-03-15 20:58:13] 893*2^1423190-1 is not prime. Res64: 3954D744121F826A Time : 0.0 sec. user=mdettweiler [2016-03-15 21:00:36] 951*2^1423190-1 is not prime. Res64: AC1244D75ED198E5 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:00:37] 625*2^1423191-1 is not prime. Res64: 6A0B3C5933D54096 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:00:38] 739*2^1423191-1 is not prime. Res64: DECF48C870E64903 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:00:39] 775*2^1423191-1 is not prime. Res64: 7F986120F7E7B706 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:00:40] 885*2^1423191-1 is not prime. Res64: CF1F69FFB54DF0E4 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:01:59] 609*2^1423192-1 is not prime. Res64: DD6A48C5B6F8827C Time : 0.0 sec. user=mdettweiler [2016-03-15 21:02:01] 687*2^1423192-1 is not prime. Res64: 3AB44AFC38BBCD46 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:02:01] 705*2^1423192-1 is not prime. Res64: 611B9B9270E5016D Time : 0.0 sec. user=mdettweiler [2016-03-15 21:02:02] 735*2^1423192-1 is not prime. Res64: 93056B41EA0DCBAA Time : 0.0 sec. user=mdettweiler [2016-03-15 21:02:03] 755*2^1423192-1 is not prime. Res64: E1A20D99009340BB Time : 0.0 sec. user=mdettweiler [2016-03-15 21:12:59] 917*2^1423194-1 is not prime. Res64: 94B8DB8096EAF482 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:43:54] 825*2^1423192-1 is not prime. Res64: 5875B8C3DDABE463 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:45:59] 869*2^1423192-1 is not prime. Res64: BC83E8D7DCDF994C Time : 0.0 sec. user=mdettweiler [2016-03-15 21:46:00] 873*2^1423192-1 is not prime. Res64: 4CAAAADEEA2CE86A Time : 0.0 sec. user=mdettweiler [2016-03-15 21:46:00] 915*2^1423192-1 is not prime. Res64: C51F0DB13CE5ABCE Time : 0.0 sec. user=mdettweiler [2016-03-15 21:46:00] 917*2^1423192-1 is not prime. Res64: 935BBEB0FE830A4A Time : 0.0 sec. user=mdettweiler [2016-03-15 21:46:01] 939*2^1423192-1 is not prime. Res64: C3A68925BD4AF80E Time : 0.0 sec. user=mdettweiler [2016-03-15 21:47:48] 989*2^1423192-1 is not prime. Res64: 57DAD335290D6CEC Time : 0.0 sec. user=mdettweiler [2016-03-15 21:47:49] 999*2^1423192-1 is not prime. Res64: 2C5517C2AAD823FA Time : 0.0 sec. user=mdettweiler [2016-03-15 21:47:49] 607*2^1423193-1 is not prime. Res64: CD593C2DE9E8230C Time : 0.0 sec. user=mdettweiler [2016-03-15 21:47:49] 631*2^1423193-1 is not prime. Res64: F2458F9E4E602967 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:47:50] 715*2^1423193-1 is not prime. Res64: 977662B74179F038 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:48:00] 975*2^1423194-1 is not prime. Res64: E77E4041B888FE03 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:50:51] 727*2^1423193-1 is not prime. Res64: 364B1C1EA10D5198 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:50:51] 775*2^1423193-1 is not prime. Res64: AD0B4A26F21E82C9 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:50:52] 885*2^1423193-1 is not prime. Res64: 62F6BCB2D8A8166A Time : 0.0 sec. user=mdettweiler [2016-03-15 21:50:52] 889*2^1423193-1 is not prime. Res64: AA30ED565259365F Time : 0.0 sec. user=mdettweiler [2016-03-15 21:50:52] 969*2^1423193-1 is not prime. Res64: 3960980B724CF1C0 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:52:17] 979*2^1423193-1 is not prime. Res64: 4791D268E1CA4B4E Time : 0.0 sec. user=mdettweiler [2016-03-15 21:52:18] 755*2^1423194-1 is not prime. Res64: 7A6EB55F08A93B29 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:52:18] 797*2^1423194-1 is not prime. Res64: 3166259F4B9AF9F8 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:52:19] 873*2^1423194-1 is not prime. Res64: D843CC7725190FB5 Time : 0.0 sec. user=mdettweiler [2016-03-15 21:52:19] 875*2^1423194-1 is not prime. Res64: F3575446280072C3 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:25:52] 987*2^1423198-1 is not prime. Res64: FC9A5F8BB341B0D6 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:31:05] 691*2^1423195-1 is not prime. Res64: BB4E3C5C17AEE309 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:31:06] 789*2^1423195-1 is not prime. Res64: 57B144BC027A6BED Time : 0.0 sec. user=mdettweiler [2016-03-15 22:31:06] 853*2^1423195-1 is not prime. Res64: 37FC8874803DB045 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:31:06] 609*2^1423196-1 is not prime. Res64: EFDF4B8841425623 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:31:07] 755*2^1423196-1 is not prime. Res64: C51F38B5A42AD397 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:33:14] 825*2^1423196-1 is not prime. Res64: D646DDB0E3D7D800 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:33:14] 897*2^1423196-1 is not prime. Res64: C87813295317CFCD Time : 0.0 sec. user=mdettweiler [2016-03-15 22:33:14] 909*2^1423196-1 is not prime. Res64: 731048317AA6EBF1 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:33:15] 945*2^1423196-1 is not prime. Res64: 82602F204DC0AC98 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:33:15] 957*2^1423196-1 is not prime. Res64: 1C21A1829B4FB8D7 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:35:51] 987*2^1423196-1 is not prime. Res64: 771D694A1FD65315 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:35:51] 625*2^1423197-1 is not prime. Res64: F232A9C89289D4F3 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:35:52] 669*2^1423197-1 is not prime. Res64: 5A46481A4DB7A3ED Time : 0.0 sec. user=mdettweiler [2016-03-15 22:35:52] 751*2^1423197-1 is not prime. Res64: 1276AA3AF9423BA5 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:35:52] 861*2^1423197-1 is not prime. Res64: 6AE42D524DEC1A4B Time : 0.0 sec. user=mdettweiler [2016-03-15 22:37:36] 623*2^1423198-1 is not prime. Res64: B924E15CB61B89E5 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:37:36] 773*2^1423198-1 is not prime. Res64: 358EEEF640E0C1BC Time : 0.0 sec. user=mdettweiler [2016-03-15 22:37:36] 815*2^1423198-1 is not prime. Res64: 28CDD3ECB684F96D Time : 0.0 sec. user=mdettweiler [2016-03-15 22:37:36] 887*2^1423198-1 is not prime. Res64: 71FA8B34E9FBF2B3 Time : 0.0 sec. user=mdettweiler [2016-03-15 22:37:37] 945*2^1423198-1 is not prime. Res64: E485CB42F44CE3EF Time : 0.0 sec. user=mdettweiler [2016-03-15 23:16:17] 685*2^1423199-1 is not prime. Res64: FC1CD47A904E7C1E Time : 0.0 sec. user=mdettweiler [2016-03-15 23:16:18] 705*2^1423199-1 is not prime. Res64: 0F1068F17272C145 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:16:18] 909*2^1423199-1 is not prime. Res64: BB7E95F5CD275DD7 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:16:18] 955*2^1423199-1 is not prime. Res64: BDBB1E0D6816D969 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:16:19] 985*2^1423199-1 is not prime. Res64: A0E058514E5CB7CC Time : 0.0 sec. user=mdettweiler [2016-03-15 23:17:48] 923*2^1423202-1 is not prime. Res64: 408DF7EF0A807408 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:17:54] 951*2^1423202-1 is not prime. Res64: D83863253BDC0CD6 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:18:17] 669*2^1423200-1 is not prime. Res64: DFE92896CBF868C1 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:18:17] 693*2^1423200-1 is not prime. Res64: E6B363909A797718 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:18:17] 707*2^1423200-1 is not prime. Res64: C66FD50B93B48876 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:18:17] 719*2^1423200-1 is not prime. Res64: 87BF64F0B9248A83 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:18:18] 893*2^1423200-1 is not prime. Res64: 7A0C29E615EB7AC4 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:21:04] 933*2^1423200-1 is not prime. Res64: 492FE2443E8DCAD4 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:21:05] 705*2^1423201-1 is not prime. Res64: 8E840BDD683156F7 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:21:05] 889*2^1423201-1 is not prime. Res64: A60A87B9AF2A3883 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:21:05] 937*2^1423201-1 is not prime. Res64: E4A5D45763B6DD98 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:21:06] 731*2^1423202-1 is not prime. Res64: 1B4F3289216B6C9A Time : 0.0 sec. user=mdettweiler [2016-03-15 23:22:48] 755*2^1423202-1 is not prime. Res64: D365BF2DE08B4ED2 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:22:49] 767*2^1423202-1 is not prime. Res64: 5FF1E88B35640118 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:22:49] 785*2^1423202-1 is not prime. Res64: E571CCFD274DB4A7 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:22:50] 893*2^1423202-1 is not prime. Res64: 43647CC468A0D8E7 Time : 0.0 sec. user=mdettweiler [2016-03-15 23:22:50] 903*2^1423202-1 is not prime. Res64: 33A71302A7340E9E Time : 0.0 sec. user=mdettweiler [2016-03-15 23:35:30] 833*2^1423206-1 is not prime. Res64: DF3834B7FC71BFDD Time : 0.0 sec.