user=mdettweiler [2015-05-01 00:02:22] 861*2^1398061-1 is not prime. Res64: 3DD63B1525404D64 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:02:23] 889*2^1398061-1 is not prime. Res64: 1B386D747CD40373 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:02:39] 895*2^1398061-1 is not prime. Res64: 0413D23843C4CACA Time : 0.0 sec. user=mdettweiler [2015-05-01 00:02:40] 967*2^1398061-1 is not prime. Res64: 6C012302F6250428 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:02:46] 675*2^1398062-1 is not prime. Res64: 37A80E520355BC26 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:02:47] 801*2^1398062-1 is not prime. Res64: B06E6616F5A58C98 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:02:49] 893*2^1398062-1 is not prime. Res64: 6CED35170C36BE38 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:02:50] 897*2^1398062-1 is not prime. Res64: 1224016AF56AB00B Time : 0.0 sec. user=mdettweiler [2015-05-01 00:20:03] 685*2^1398063-1 is not prime. Res64: 704B6328827FD445 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:20:03] 793*2^1398063-1 is not prime. Res64: 8C5454CB2DBFD72B Time : 0.0 sec. user=mdettweiler [2015-05-01 00:20:13] 861*2^1398063-1 is not prime. Res64: F59095DA7074CC88 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:20:13] 879*2^1398063-1 is not prime. Res64: 93BE59E18C8DA358 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:20:26] 605*2^1398064-1 is not prime. Res64: 643AF2ED7024CD90 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:20:26] 855*2^1398064-1 is not prime. Res64: C7E549DE3771C002 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:20:27] 891*2^1398063-1 is not prime. Res64: 2879582B73B47357 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:20:28] 969*2^1398063-1 is not prime. Res64: 1E1BE86F00B3A58D Time : 0.0 sec. user=mdettweiler [2015-05-01 00:37:28] 863*2^1398064-1 is not prime. Res64: A217A627147B1E26 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:37:28] 965*2^1398064-1 is not prime. Res64: 799E4839DF3DE534 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:37:39] 995*2^1398064-1 is not prime. Res64: 5911BD3D38E2DFB1 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:37:39] 721*2^1398065-1 is not prime. Res64: 0AFB1ED3BA619A1F Time : 0.0 sec. user=mdettweiler [2015-05-01 00:37:50] 795*2^1398065-1 is not prime. Res64: 42D714DDBDCDB33D Time : 0.0 sec. user=mdettweiler [2015-05-01 00:37:50] 909*2^1398065-1 is not prime. Res64: 8661A717113B035B Time : 0.0 sec. user=mdettweiler [2015-05-01 00:37:56] 979*2^1398065-1 is not prime. Res64: C1491A20962D85D2 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:37:56] 981*2^1398065-1 is not prime. Res64: 79FD0EA93E787384 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:54:59] 633*2^1398066-1 is not prime. Res64: 6F1389C73D5811C3 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:54:59] 653*2^1398066-1 is not prime. Res64: 62D99A77AE4D03E9 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:55:00] 767*2^1398066-1 is not prime. Res64: 5B34167BE6DF2061 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:55:01] 783*2^1398066-1 is not prime. Res64: 81A8DD0E3E5951F4 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:55:16] 603*2^1398067-1 is not prime. Res64: A21FB3A51F30E0F3 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:55:17] 715*2^1398067-1 is not prime. Res64: 2FF2E760093ED594 Time : 0.0 sec. user=mdettweiler [2015-05-01 00:55:17] 751*2^1398067-1 is not prime. Res64: D92B5853D1F39D8F Time : 0.0 sec. user=mdettweiler [2015-05-01 00:55:18] 805*2^1398067-1 is not prime. Res64: 7BBC0C843CAA949F Time : 0.0 sec. user=mdettweiler [2015-05-01 01:12:29] 759*2^1398068-1 is not prime. Res64: 351EE88CB1DED5F3 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:12:29] 795*2^1398068-1 is not prime. Res64: E0387691B85FA944 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:12:33] 835*2^1398067-1 is not prime. Res64: 6751BBAFC4BA9E55 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:12:33] 975*2^1398067-1 is not prime. Res64: 4B3C59DC818E9272 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:12:44] 959*2^1398068-1 is not prime. Res64: 4C094ED605C7BC34 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:12:44] 825*2^1398069-1 is not prime. Res64: 0338B7CEF7F92300 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:12:53] 829*2^1398069-1 is not prime. Res64: E853C4B91B8B5457 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:12:53] 895*2^1398069-1 is not prime. Res64: DB019203C72B9944 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:30:06] 927*2^1398069-1 is not prime. Res64: 3D36C037300F0399 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:30:11] 681*2^1398070-1 is not prime. Res64: 8FE4362BE34C4715 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:30:15] 605*2^1398070-1 is not prime. Res64: 8B5E913D71BFCB97 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:30:18] 723*2^1398070-1 is not prime. Res64: BE68E4878B66AE22 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:30:23] 741*2^1398070-1 is not prime. Res64: 2A00786440001F2B Time : 0.0 sec. user=mdettweiler [2015-05-01 01:30:25] 755*2^1398070-1 is not prime. Res64: 1F600A1FCE8A55C7 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:30:30] 761*2^1398070-1 is not prime. Res64: 8965189213A9B539 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:30:32] 783*2^1398070-1 is not prime. Res64: 233724025E8B5A28 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:48:33] 843*2^1398070-1 is not prime. Res64: B8CB0C143F45661E Time : 0.0 sec. user=mdettweiler [2015-05-01 01:48:33] 861*2^1398070-1 is not prime. Res64: FF311A94EB582E2C Time : 0.0 sec. user=mdettweiler [2015-05-01 01:48:36] 775*2^1398071-1 is not prime. Res64: B7BF7A080A40B535 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:48:37] 859*2^1398071-1 is not prime. Res64: 646BDC51B9024140 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:48:38] 897*2^1398070-1 is not prime. Res64: B7DFBD6E578EC7E7 Time : 0.0 sec. user=mdettweiler [2015-05-01 01:48:38] 609*2^1398071-1 is not prime. Res64: BFD5B1682352638C Time : 0.0 sec. user=mdettweiler [2015-05-01 01:48:39] 673*2^1398071-1 is not prime. Res64: 9B86D8E4471F989F Time : 0.0 sec. user=mdettweiler [2015-05-01 01:48:39] 763*2^1398071-1 is not prime. Res64: E838433062CE3093 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:06:03] 623*2^1398072-1 is not prime. Res64: EDFD80EFFA1C8C00 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:06:03] 635*2^1398072-1 is not prime. Res64: 78BF05FA8E03E5BA Time : 0.0 sec. user=mdettweiler [2015-05-01 02:06:03] 955*2^1398071-1 is not prime. Res64: 53B77D3C9C36805F Time : 0.0 sec. user=mdettweiler [2015-05-01 02:06:04] 993*2^1398071-1 is not prime. Res64: 517EACB517129899 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:06:05] 657*2^1398072-1 is not prime. Res64: 6A6B6937A5523B9C Time : 0.0 sec. user=mdettweiler [2015-05-01 02:06:05] 683*2^1398072-1 is not prime. Res64: 9D77F846ADEDB5FE Time : 0.0 sec. user=mdettweiler [2015-05-01 02:06:07] 887*2^1398072-1 is not prime. Res64: C3E0FC5DAB373D99 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:06:07] 899*2^1398072-1 is not prime. Res64: 20123B5731179FC8 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:24:23] 805*2^1398073-1 is not prime. Res64: A3BDD8A07EB4B250 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:24:23] 855*2^1398073-1 is not prime. Res64: 02D4C94CBF1F6E9C Time : 0.0 sec. user=mdettweiler [2015-05-01 02:24:41] 679*2^1398073-1 is not prime. Res64: 478C4CA832E6FE14 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:24:41] 687*2^1398073-1 is not prime. Res64: A2CDC226D374D885 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:24:43] 721*2^1398073-1 is not prime. Res64: A054DF58E3D5C04A Time : 0.0 sec. user=mdettweiler [2015-05-01 02:24:44] 789*2^1398073-1 is not prime. Res64: 02D17538CEA297E0 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:24:48] 729*2^1398073-1 is not prime. Res64: 46B0D35A3C880210 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:24:48] 979*2^1398073-1 is not prime. Res64: 0273779E18FD056D Time : 0.0 sec. user=mdettweiler [2015-05-01 02:42:00] 987*2^1398073-1 is not prime. Res64: 11684E27DC503839 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:42:00] 671*2^1398074-1 is not prime. Res64: 2544FA094A3C72E1 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:42:06] 785*2^1398074-1 is not prime. Res64: 15233FECF9DDE392 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:42:06] 851*2^1398074-1 is not prime. Res64: 163754653E44AC20 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:42:16] 885*2^1398074-1 is not prime. Res64: EFE9617E066019BA Time : 0.0 sec. user=mdettweiler [2015-05-01 02:42:17] 923*2^1398074-1 is not prime. Res64: 4AA35BECE2D5A303 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:42:20] 953*2^1398074-1 is not prime. Res64: D5F7724C308D8514 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:42:21] 1001*2^1398074-1 is not prime. Res64: 92413FBA9E175922 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:59:31] 609*2^1398075-1 is not prime. Res64: BFC5746D0E2B17C5 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:59:31] 669*2^1398075-1 is not prime. Res64: 592830AB93377356 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:59:39] 861*2^1398075-1 is not prime. Res64: F29A9C0299B6A1E0 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:59:40] 891*2^1398075-1 is not prime. Res64: 0922E0923E72CA90 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:59:43] 723*2^1398075-1 is not prime. Res64: AC5C1F90A7D972CD Time : 0.0 sec. user=mdettweiler [2015-05-01 02:59:44] 775*2^1398075-1 is not prime. Res64: 9798BEC2EBC58FF7 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:59:49] 943*2^1398075-1 is not prime. Res64: C44A7696D78BFA32 Time : 0.0 sec. user=mdettweiler [2015-05-01 02:59:49] 949*2^1398075-1 is not prime. Res64: 8574B16C4FED6673 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:17:01] 961*2^1398075-1 is not prime. Res64: 11AE7416D9F25B13 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:17:02] 979*2^1398075-1 is not prime. Res64: 649483D39E2FC0C4 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:17:06] 629*2^1398076-1 is not prime. Res64: 9658CFA8C9E2F948 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:17:07] 663*2^1398076-1 is not prime. Res64: 0143B977FD02A707 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:17:14] 833*2^1398076-1 is not prime. Res64: 34212A02205E38FE Time : 0.0 sec. user=mdettweiler [2015-05-01 03:17:15] 845*2^1398076-1 is not prime. Res64: F839ABF22312EF2A Time : 0.0 sec. user=mdettweiler [2015-05-01 03:17:21] 887*2^1398076-1 is not prime. Res64: 5C4ED1E3349EA57F Time : 0.0 sec. user=mdettweiler [2015-05-01 03:17:22] 905*2^1398076-1 is not prime. Res64: 1FD9669C5CD2452D Time : 0.0 sec. user=mdettweiler [2015-05-01 03:34:26] 965*2^1398076-1 is not prime. Res64: A2A21129660C0F38 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:34:27] 631*2^1398077-1 is not prime. Res64: C5182D9E411013DA Time : 0.0 sec. user=mdettweiler [2015-05-01 03:34:35] 691*2^1398077-1 is not prime. Res64: FB9B3DD8146B878C Time : 0.0 sec. user=mdettweiler [2015-05-01 03:34:36] 837*2^1398077-1 is not prime. Res64: FA0B8DD0D2E131C6 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:34:39] 871*2^1398077-1 is not prime. Res64: 1DE5446A1AB4042F Time : 0.0 sec. user=mdettweiler [2015-05-01 03:34:40] 885*2^1398077-1 is not prime. Res64: B6F328D1E2B66183 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:34:56] 755*2^1398078-1 is not prime. Res64: 552B43F52F54A124 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:34:57] 765*2^1398078-1 is not prime. Res64: 28879430046C1772 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:52:19] 795*2^1398078-1 is not prime. Res64: E61447AE92175114 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:52:19] 893*2^1398078-1 is not prime. Res64: 728B632DC7107883 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:52:23] 933*2^1398078-1 is not prime. Res64: 5A6DA97A22455EE2 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:52:24] 609*2^1398079-1 is not prime. Res64: E9F0CB6D63573640 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:52:25] 821*2^1398078-1 is not prime. Res64: 9D867FC9173F31E0 Time : 0.0 sec. user=mdettweiler [2015-05-01 03:52:26] 649*2^1398079-1 is not prime. Res64: AEB5CDEB106861BA Time : 0.0 sec. user=mdettweiler [2015-05-01 03:52:33] 723*2^1398079-1 is not prime. Res64: A1CF38BFC34CD52B Time : 0.0 sec. user=mdettweiler [2015-05-01 03:52:34] 759*2^1398079-1 is not prime. Res64: 60F4D92B37CFAF89 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:09:58] 769*2^1398079-1 is not prime. Res64: F3E38E8324DC0D89 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:09:58] 931*2^1398079-1 is not prime. Res64: EBA39348FBD371AF Time : 0.0 sec. user=mdettweiler [2015-05-01 04:10:00] 983*2^1398080-1 is not prime. Res64: 85CBD409F0B3E624 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:10:00] 709*2^1398081-1 is not prime. Res64: 083AD12B1083614E Time : 0.0 sec. user=mdettweiler [2015-05-01 04:10:02] 843*2^1398080-1 is not prime. Res64: 19C67F50A3FA5616 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:10:02] 855*2^1398080-1 is not prime. Res64: 02501CB09D808C4E Time : 0.0 sec. user=mdettweiler [2015-05-01 04:10:05] 753*2^1398080-1 is not prime. Res64: 7D175903D437E017 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:10:06] 755*2^1398080-1 is not prime. Res64: 7A5CF56F69C27B96 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:27:25] 717*2^1398081-1 is not prime. Res64: 6A408EFA5552FB8C Time : 0.0 sec. user=mdettweiler [2015-05-01 04:27:25] 741*2^1398081-1 is not prime. Res64: 5D205F4558770A51 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:27:31] 751*2^1398081-1 is not prime. Res64: DAAD5FCE883BDD5D Time : 0.0 sec. user=mdettweiler [2015-05-01 04:27:31] 635*2^1398082-1 is not prime. Res64: D6CF43484644C60E Time : 0.0 sec. user=mdettweiler [2015-05-01 04:27:31] 701*2^1398082-1 is not prime. Res64: A74C4175E056F166 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:27:32] 705*2^1398082-1 is not prime. Res64: 24F68EFCF42E9B9C Time : 0.0 sec. user=mdettweiler [2015-05-01 04:27:33] 731*2^1398082-1 is not prime. Res64: 41E0ADD0A7B9A9B0 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:27:34] 741*2^1398082-1 is not prime. Res64: 06DAEAD41C631F14 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:44:56] 995*2^1398082-1 is not prime. Res64: 9C3E48929775E571 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:44:56] 693*2^1398083-1 is not prime. Res64: 76A52B2001B38CF6 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:44:57] 743*2^1398082-1 is not prime. Res64: 229A35749CCDC6A3 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:44:58] 813*2^1398082-1 is not prime. Res64: E85B6BEB556CF23C Time : 0.0 sec. user=mdettweiler [2015-05-01 04:45:00] 945*2^1398082-1 is not prime. Res64: 8A6DF4A3646CD66B Time : 0.0 sec. user=mdettweiler [2015-05-01 04:45:01] 951*2^1398082-1 is not prime. Res64: CA4306E5FCA13446 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:45:01] 705*2^1398083-1 is not prime. Res64: 51428FF2E7C553D6 Time : 0.0 sec. user=mdettweiler [2015-05-01 04:45:02] 885*2^1398083-1 is not prime. Res64: B60AB3294BC2061B Time : 0.0 sec. user=mdettweiler [2015-05-01 05:02:21] 943*2^1398083-1 is not prime. Res64: 39FE4A5382309ED6 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:02:22] 949*2^1398083-1 is not prime. Res64: 68BA27DC6210684D Time : 0.0 sec. user=mdettweiler [2015-05-01 05:02:25] 963*2^1398083-1 is not prime. Res64: 5B4D37A65A57B809 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:02:25] 605*2^1398084-1 is not prime. Res64: DEBDD3EBBCA64AA7 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:02:26] 981*2^1398083-1 is not prime. Res64: DC41B28DCFA7793D Time : 0.0 sec. user=mdettweiler [2015-05-01 05:02:27] 663*2^1398084-1 is not prime. Res64: AE5CBF4E8F7FF87C Time : 0.0 sec. user=mdettweiler [2015-05-01 05:02:33] 753*2^1398084-1 is not prime. Res64: AE925A93758260B4 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:02:34] 887*2^1398084-1 is not prime. Res64: 85CBBD601330B4B2 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:20:31] 717*2^1398085-1 is not prime. Res64: 3C0AE7C72C082C22 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:20:32] 825*2^1398085-1 is not prime. Res64: 170642AEAAA0B0A4 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:20:41] 959*2^1398084-1 is not prime. Res64: 3DB23F4DE9EDB0A6 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:20:41] 877*2^1398085-1 is not prime. Res64: 8542169C6CA51D30 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:20:46] 969*2^1398084-1 is not prime. Res64: 14203BD5A2696D21 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:20:46] 691*2^1398085-1 is not prime. Res64: 37DDA7EDA0361A9B Time : 0.0 sec. user=mdettweiler [2015-05-01 05:20:56] 919*2^1398085-1 is not prime. Res64: E5B917CF44A11ADF Time : 0.0 sec. user=mdettweiler [2015-05-01 05:20:57] 635*2^1398086-1 is not prime. Res64: 1894B21A6400BDDC Time : 0.0 sec. user=mdettweiler [2015-05-01 05:38:10] 657*2^1398086-1 is not prime. Res64: 75A920358D0571D0 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:38:11] 741*2^1398086-1 is not prime. Res64: 6704573A9F7584B6 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:38:12] 825*2^1398086-1 is not prime. Res64: 113C4AFFAD37404C Time : 0.0 sec. user=mdettweiler [2015-05-01 05:38:12] 867*2^1398086-1 is not prime. Res64: 8C4A9A70E6DE6EB3 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:38:19] 875*2^1398086-1 is not prime. Res64: 6E3E3C87B4E0605C Time : 0.0 sec. user=mdettweiler [2015-05-01 05:38:20] 903*2^1398086-1 is not prime. Res64: DB0DD642AFD35E0B Time : 0.0 sec. user=mdettweiler [2015-05-01 05:38:38] 917*2^1398086-1 is not prime. Res64: 2484D72C914B3A52 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:38:39] 923*2^1398086-1 is not prime. Res64: ACFD262BD0D99357 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:55:34] 993*2^1398086-1 is not prime. Res64: EDCECD16630FB9D0 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:55:34] 651*2^1398087-1 is not prime. Res64: 1444C90734850AB8 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:55:36] 693*2^1398087-1 is not prime. Res64: 51D3578E0DB583CC Time : 0.0 sec. user=mdettweiler [2015-05-01 05:55:36] 859*2^1398087-1 is not prime. Res64: 4AABF30ED4750F76 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:55:40] 871*2^1398087-1 is not prime. Res64: AEE8A79EB0A15AAF Time : 0.0 sec. user=mdettweiler [2015-05-01 05:55:41] 933*2^1398087-1 is not prime. Res64: DFECC37F2B60EFD2 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:56:08] 677*2^1398088-1 is not prime. Res64: 1CC0F8ACFF761185 Time : 0.0 sec. user=mdettweiler [2015-05-01 05:56:08] 687*2^1398088-1 is not prime. Res64: F63E1475D9739895 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:12:58] 849*2^1398088-1 is not prime. Res64: 4DAEED63DD95BF37 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:12:58] 863*2^1398088-1 is not prime. Res64: BC4AA088BACED766 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:13:02] 699*2^1398088-1 is not prime. Res64: CC91F5576A641226 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:13:02] 777*2^1398088-1 is not prime. Res64: 5F299EF6EF2259B7 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:13:04] 969*2^1398088-1 is not prime. Res64: 6BD0E11F7E12AFD8 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:13:04] 675*2^1398089-1 is not prime. Res64: 9313A34B00EE33BF Time : 0.0 sec. user=mdettweiler [2015-05-01 06:13:38] 697*2^1398089-1 is not prime. Res64: B3D24DE79D69B9A7 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:13:38] 711*2^1398089-1 is not prime. Res64: 02E25ABA7800470F Time : 0.0 sec. user=mdettweiler [2015-05-01 06:30:25] 885*2^1398089-1 is not prime. Res64: 8F593186EF0BE93C Time : 0.0 sec. user=mdettweiler [2015-05-01 06:30:25] 897*2^1398089-1 is not prime. Res64: BDF47EB456607C14 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:30:31] 909*2^1398089-1 is not prime. Res64: A8A9B11F7D6B09FF Time : 0.0 sec. user=mdettweiler [2015-05-01 06:30:31] 939*2^1398089-1 is not prime. Res64: 701FE164E4465D26 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:30:37] 783*2^1398090-1 is not prime. Res64: B60B8B4209B72ACD Time : 0.0 sec. user=mdettweiler [2015-05-01 06:30:37] 709*2^1398091-1 is not prime. Res64: B1C7B41E077E2A45 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:31:00] 745*2^1398091-1 is not prime. Res64: 1DF4DD9489A608C6 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:31:00] 759*2^1398091-1 is not prime. Res64: D7DF5B2D5275DB85 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:47:53] 603*2^1398092-1 is not prime. Res64: AE001F9238CB12FB Time : 0.0 sec. user=mdettweiler [2015-05-01 06:47:54] 623*2^1398092-1 is not prime. Res64: C010498FD432D6CA Time : 0.0 sec. user=mdettweiler [2015-05-01 06:47:55] 665*2^1398092-1 is not prime. Res64: FA8E39A99956855B Time : 0.0 sec. user=mdettweiler [2015-05-01 06:47:56] 725*2^1398092-1 is not prime. Res64: 38609A1CF4E449B5 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:47:57] 767*2^1398092-1 is not prime. Res64: 23F74C9AC948C300 Time : 0.0 sec. user=mdettweiler [2015-05-01 06:47:58] 813*2^1398092-1 is not prime. Res64: 63B54BFA7E8425DD Time : 0.0 sec. user=mdettweiler [2015-05-01 06:48:21] 897*2^1398092-1 is not prime. Res64: 038039BD2FE0651B Time : 0.0 sec. user=mdettweiler [2015-05-01 06:48:21] 995*2^1398092-1 is not prime. Res64: 09E7703EDA8A7938 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:05:24] 871*2^1398093-1 is not prime. Res64: F1A471725C428C2E Time : 0.0 sec. user=mdettweiler [2015-05-01 07:05:25] 877*2^1398093-1 is not prime. Res64: 9B33FCB36E153DC9 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:05:26] 999*2^1398092-1 is not prime. Res64: 1FC57C95DB1FDB71 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:05:27] 735*2^1398093-1 is not prime. Res64: C7F6E75DB611F3E0 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:05:34] 611*2^1398094-1 is not prime. Res64: 3D1784181049567B Time : 0.0 sec. user=mdettweiler [2015-05-01 07:05:35] 621*2^1398094-1 is not prime. Res64: 0DF3DE639FF229B2 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:06:00] 657*2^1398094-1 is not prime. Res64: BC3598F03A8D015F Time : 0.0 sec. user=mdettweiler [2015-05-01 07:06:00] 791*2^1398094-1 is not prime. Res64: 5D7888223917CEDB Time : 0.0 sec. user=mdettweiler [2015-05-01 07:23:16] 829*2^1398095-1 is not prime. Res64: B6405C0530AB99BA Time : 0.0 sec. user=mdettweiler [2015-05-01 07:23:16] 841*2^1398095-1 is not prime. Res64: 834D383F530D5F00 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:23:18] 813*2^1398094-1 is not prime. Res64: D82C5254D9794E5B Time : 0.0 sec. user=mdettweiler [2015-05-01 07:23:19] 947*2^1398094-1 is not prime. Res64: CE1938762080D5C2 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:23:19] 965*2^1398094-1 is not prime. Res64: 73B38C476EC3796D Time : 0.0 sec. user=mdettweiler [2015-05-01 07:23:20] 775*2^1398095-1 is not prime. Res64: 1267F2E73CE24ACB Time : 0.0 sec. user=mdettweiler [2015-05-01 07:23:31] 865*2^1398095-1 is not prime. Res64: 04730CA08F69902F Time : 0.0 sec. user=mdettweiler [2015-05-01 07:23:31] 943*2^1398095-1 is not prime. Res64: 26506745604E04B0 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:40:42] 973*2^1398095-1 is not prime. Res64: D2DB38E863D486B5 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:40:43] 985*2^1398095-1 is not prime. Res64: 6036D4C90D26A8DE Time : 0.0 sec. user=mdettweiler [2015-05-01 07:40:44] 803*2^1398096-1 is not prime. Res64: 417935AF3B3049F4 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:40:44] 809*2^1398096-1 is not prime. Res64: 8C7DCECBFAF92772 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:40:49] 767*2^1398096-1 is not prime. Res64: 7FBD8CA0223C11CD Time : 0.0 sec. user=mdettweiler [2015-05-01 07:40:49] 789*2^1398096-1 is not prime. Res64: 4729C86BDFE6B170 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:40:55] 845*2^1398096-1 is not prime. Res64: EFFE1EA0A0E584C8 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:40:56] 993*2^1398096-1 is not prime. Res64: 9C6A0BFCBB9DD8CB Time : 0.0 sec. user=mdettweiler [2015-05-01 07:58:04] 999*2^1398096-1 is not prime. Res64: 6F8608FDF96891ED Time : 0.0 sec. user=mdettweiler [2015-05-01 07:58:04] 625*2^1398097-1 is not prime. Res64: 0D33103DC12CAE17 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:58:05] 717*2^1398097-1 is not prime. Res64: 859FCEF802BCC317 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:58:05] 741*2^1398097-1 is not prime. Res64: 5C60DA76DCA13949 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:58:11] 775*2^1398097-1 is not prime. Res64: 3DA88075ED66EF4E Time : 0.0 sec. user=mdettweiler [2015-05-01 07:58:11] 801*2^1398097-1 is not prime. Res64: DF4B66D446A95812 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:58:17] 817*2^1398097-1 is not prime. Res64: 6E23709133C30354 Time : 0.0 sec. user=mdettweiler [2015-05-01 07:58:17] 861*2^1398097-1 is not prime. Res64: D35944122C793FDB Time : 0.0 sec. user=mdettweiler [2015-05-01 08:15:33] 641*2^1398098-1 is not prime. Res64: 3E92C520B5FE25F0 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:15:33] 645*2^1398098-1 is not prime. Res64: B9E24C2F99A18C63 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:15:36] 603*2^1398098-1 is not prime. Res64: FC822B3D17E19E90 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:15:36] 633*2^1398098-1 is not prime. Res64: 0C4BFFEF01700A2A Time : 0.0 sec. user=mdettweiler [2015-05-01 08:15:39] 771*2^1398098-1 is not prime. Res64: 4C6F9EE9326231F2 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:15:39] 791*2^1398098-1 is not prime. Res64: CA885AE61D406A30 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:15:45] 977*2^1398098-1 is not prime. Res64: CFA237341565609C Time : 0.0 sec. user=mdettweiler [2015-05-01 08:15:45] 679*2^1398099-1 is not prime. Res64: 16C1E00E42965FF8 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:33:01] 769*2^1398099-1 is not prime. Res64: FFB852F07F97A5C7 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:33:02] 835*2^1398099-1 is not prime. Res64: 656E311E054F9F4C Time : 0.0 sec. user=mdettweiler [2015-05-01 08:33:07] 843*2^1398099-1 is not prime. Res64: 74FE4A0A3C48783F Time : 0.0 sec. user=mdettweiler [2015-05-01 08:33:07] 711*2^1398099-1 is not prime. Res64: 8E16F833F5CF1C67 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:33:07] 859*2^1398099-1 is not prime. Res64: 459EB45B85A8C67A Time : 0.0 sec. user=mdettweiler [2015-05-01 08:33:07] 751*2^1398099-1 is not prime. Res64: 110802BDF581051E Time : 0.0 sec. user=mdettweiler [2015-05-01 08:33:12] 885*2^1398099-1 is not prime. Res64: 1B39506BF8366DE9 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:33:13] 909*2^1398099-1 is not prime. Res64: 3DBBA55EF0B1757C Time : 0.0 sec. user=mdettweiler [2015-05-01 08:50:46] 609*2^1398100-1 is not prime. Res64: F34EAB8F75B1E4AC Time : 0.0 sec. user=mdettweiler [2015-05-01 08:50:47] 843*2^1398100-1 is not prime. Res64: 6BEF5356ECF1633E Time : 0.0 sec. user=mdettweiler [2015-05-01 08:50:47] 995*2^1398100-1 is not prime. Res64: 2588041C3AE3F14B Time : 0.0 sec. user=mdettweiler [2015-05-01 08:50:48] 999*2^1398100-1 is not prime. Res64: CA388B5D60B175A0 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:50:57] 627*2^1398101-1 is not prime. Res64: EF9B0BA745076EBF Time : 0.0 sec. user=mdettweiler [2015-05-01 08:50:57] 631*2^1398101-1 is not prime. Res64: B16DB963CA0B0FE1 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:50:58] 921*2^1398099-1 is not prime. Res64: CD9744008E8C7073 Time : 0.0 sec. user=mdettweiler [2015-05-01 08:50:59] 605*2^1398100-1 is not prime. Res64: 49BA6A0DE56FB85D Time : 0.0 sec. user=mdettweiler [2015-05-01 09:08:28] 907*2^1398101-1 is not prime. Res64: 904F1ED1398159BB Time : 0.0 sec. user=mdettweiler [2015-05-01 09:08:29] 939*2^1398101-1 is not prime. Res64: 0326AD05053A31C8 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:08:32] 745*2^1398101-1 is not prime. Res64: 13D5A3EEBD3C617B Time : 0.0 sec. user=mdettweiler [2015-05-01 09:08:33] 829*2^1398101-1 is not prime. Res64: 51879ECB4897F099 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:08:39] 621*2^1398102-1 is not prime. Res64: 14F1BC94F8F3C1A0 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:08:40] 949*2^1398101-1 is not prime. Res64: 416C5EFFDF23EEA9 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:08:40] 651*2^1398102-1 is not prime. Res64: 23204ECF7251DFCF Time : 0.0 sec. user=mdettweiler [2015-05-01 09:08:41] 981*2^1398101-1 is not prime. Res64: 6635B96FB0D31E1D Time : 0.0 sec. user=mdettweiler [2015-05-01 09:25:53] 653*2^1398102-1 is not prime. Res64: 43E4DB58AF975C7E Time : 0.0 sec. user=mdettweiler [2015-05-01 09:25:53] 683*2^1398102-1 is not prime. Res64: CE54AF967FB36E30 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:26:01] 731*2^1398102-1 is not prime. Res64: 600D8F9848974416 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:26:01] 833*2^1398102-1 is not prime. Res64: DD24E4B54BD2774A Time : 0.0 sec. user=mdettweiler [2015-05-01 09:26:08] 945*2^1398102-1 is not prime. Res64: EB1F8ACE2B639EFE Time : 0.0 sec. user=mdettweiler [2015-05-01 09:26:08] 975*2^1398102-1 is not prime. Res64: 9AE751370B43CBF6 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:26:11] 703*2^1398103-1 is not prime. Res64: 6F64C1A57FCDD030 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:26:12] 783*2^1398103-1 is not prime. Res64: 3BA245D431A7C8A1 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:43:16] 891*2^1398103-1 is not prime. Res64: 8F077F6933758E1D Time : 0.0 sec. user=mdettweiler [2015-05-01 09:43:17] 961*2^1398103-1 is not prime. Res64: 62071F1663984D77 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:43:26] 635*2^1398104-1 is not prime. Res64: 5FB649CDDC8085B1 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:43:27] 665*2^1398104-1 is not prime. Res64: FA2A449B1C89981D Time : 0.0 sec. user=mdettweiler [2015-05-01 09:43:29] 725*2^1398104-1 is not prime. Res64: A1EBBE848068B9C6 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:43:29] 747*2^1398104-1 is not prime. Res64: CBA9166B5D5F41A7 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:43:39] 843*2^1398104-1 is not prime. Res64: F741D73833356603 Time : 0.0 sec. user=mdettweiler [2015-05-01 09:43:39] 857*2^1398104-1 is not prime. Res64: 26F75980060895FA Time : 0.0 sec. user=mdettweiler [2015-05-01 10:00:50] 897*2^1398104-1 is not prime. Res64: 8712D3D6A5EDD348 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:00:51] 959*2^1398104-1 is not prime. Res64: 19581D707D6C8CB5 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:00:53] 735*2^1398105-1 is not prime. Res64: C7FFDEF855435A98 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:00:54] 811*2^1398105-1 is not prime. Res64: 988805A69EF73F09 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:00:55] 609*2^1398105-1 is not prime. Res64: 98868D77F824DE05 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:00:56] 669*2^1398105-1 is not prime. Res64: 248CC58BFFA987B7 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:01:07] 861*2^1398105-1 is not prime. Res64: 29385FFB86BBA5D7 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:01:08] 909*2^1398105-1 is not prime. Res64: D42E91BF43E55D06 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:18:45] 635*2^1398106-1 is not prime. Res64: EE255AAEEDB451C4 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:18:46] 671*2^1398106-1 is not prime. Res64: A0FA0C876F951EF5 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:18:46] 701*2^1398106-1 is not prime. Res64: 0785140B4F51ECAB Time : 0.0 sec. user=mdettweiler [2015-05-01 10:18:47] 645*2^1398107-1 is not prime. Res64: FC9C36EBA2A5EFD9 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:18:48] 873*2^1398106-1 is not prime. Res64: 795514EB1F79DE33 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:18:49] 903*2^1398106-1 is not prime. Res64: 8323AC00DDECC29D Time : 0.0 sec. user=mdettweiler [2015-05-01 10:18:52] 945*2^1398106-1 is not prime. Res64: EC6B793E63FAA439 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:18:52] 619*2^1398107-1 is not prime. Res64: 9D74073B238609F2 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:36:11] 675*2^1398107-1 is not prime. Res64: 2928CE0CDD3B56CF Time : 0.0 sec. user=mdettweiler [2015-05-01 10:36:11] 711*2^1398107-1 is not prime. Res64: 6D58EEEA3D245006 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:36:13] 759*2^1398107-1 is not prime. Res64: D360A549A927AA2F Time : 0.0 sec. user=mdettweiler [2015-05-01 10:36:14] 819*2^1398107-1 is not prime. Res64: EAFC7F37AA4C8530 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:36:19] 683*2^1398108-1 is not prime. Res64: F932FB95F51DF7F6 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:36:19] 839*2^1398108-1 is not prime. Res64: 3D220898D6FE6C2B Time : 0.0 sec. user=mdettweiler [2015-05-01 10:36:27] 879*2^1398107-1 is not prime. Res64: 02592B6BACFA7B78 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:36:27] 963*2^1398107-1 is not prime. Res64: 92C0E6C2E19FC0E2 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:53:39] 875*2^1398108-1 is not prime. Res64: BB322FDC70C7E5F7 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:53:40] 879*2^1398108-1 is not prime. Res64: 0AFC2FE10657F083 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:53:47] 681*2^1398109-1 is not prime. Res64: EEEDB7BF021CD56D Time : 0.0 sec. user=mdettweiler [2015-05-01 10:53:47] 729*2^1398109-1 is not prime. Res64: 4C4E60FA2502C9AC Time : 0.0 sec. user=mdettweiler [2015-05-01 10:53:53] 847*2^1398109-1 is not prime. Res64: 00ACA1DC3363EFC3 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:53:53] 861*2^1398109-1 is not prime. Res64: 2F9748BD6261E72B Time : 0.0 sec. user=mdettweiler [2015-05-01 10:53:56] 747*2^1398109-1 is not prime. Res64: 009147E71E1A0CF0 Time : 0.0 sec. user=mdettweiler [2015-05-01 10:53:56] 771*2^1398109-1 is not prime. Res64: 9D3F33D670827E18 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:11:06] 961*2^1398109-1 is not prime. Res64: 4C8E1D6111C4D1E6 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:11:07] 635*2^1398110-1 is not prime. Res64: 34DB45997AF227B2 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:11:11] 651*2^1398110-1 is not prime. Res64: B81E26D2FC72BF96 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:11:11] 743*2^1398110-1 is not prime. Res64: 871C2E14299F7306 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:11:14] 755*2^1398110-1 is not prime. Res64: 9E343FB3D8F97EE7 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:11:14] 801*2^1398110-1 is not prime. Res64: C67CBA432E64C6C3 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:11:19] 851*2^1398110-1 is not prime. Res64: B0C0B38181389902 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:11:20] 875*2^1398110-1 is not prime. Res64: 550E0955BFBCAE65 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:28:39] 923*2^1398110-1 is not prime. Res64: ABB0422531698CBE Time : 0.0 sec. user=mdettweiler [2015-05-01 11:28:39] 951*2^1398110-1 is not prime. Res64: 171EEBA78B620A86 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:28:47] 953*2^1398110-1 is not prime. Res64: 11BAF20E09118E4E Time : 0.0 sec. user=mdettweiler [2015-05-01 11:28:48] 651*2^1398111-1 is not prime. Res64: 4854E0F412C1E341 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:28:49] 693*2^1398111-1 is not prime. Res64: 14C3DCA1D4794F3A Time : 0.0 sec. user=mdettweiler [2015-05-01 11:28:50] 709*2^1398111-1 is not prime. Res64: 1BF8D4B7A5B8F2A3 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:28:50] 741*2^1398111-1 is not prime. Res64: BFBA3207E282B504 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:28:51] 979*2^1398111-1 is not prime. Res64: 29A8648651D69A6D Time : 0.0 sec. user=mdettweiler [2015-05-01 11:46:03] 695*2^1398112-1 is not prime. Res64: 4202AA670FFA0D92 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:46:04] 869*2^1398112-1 is not prime. Res64: 3EAA7EB9C2734174 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:46:17] 887*2^1398112-1 is not prime. Res64: E5884B98BE7B8375 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:46:17] 933*2^1398112-1 is not prime. Res64: 2C6B0021F47F2905 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:46:17] 959*2^1398112-1 is not prime. Res64: 7032F4CA88A82E4E Time : 0.0 sec. user=mdettweiler [2015-05-01 11:46:18] 649*2^1398113-1 is not prime. Res64: 7AE7CAAA6CAD7086 Time : 0.0 sec. user=mdettweiler [2015-05-01 11:46:18] 697*2^1398113-1 is not prime. Res64: DE6E965CFEE1737D Time : 0.0 sec. user=mdettweiler [2015-05-01 11:46:18] 721*2^1398113-1 is not prime. Res64: E272718A43A32B42 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:03:26] 985*2^1398113-1 is not prime. Res64: 28F74B765203E004 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:03:27] 991*2^1398113-1 is not prime. Res64: 90F003E482C0E265 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:03:40] 783*2^1398114-1 is not prime. Res64: F62AAE8BE43A9827 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:03:42] 885*2^1398114-1 is not prime. Res64: DF886F1920E9EA6D Time : 0.0 sec. user=mdettweiler [2015-05-01 12:03:48] 605*2^1398114-1 is not prime. Res64: 62126FDD11976085 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:03:49] 725*2^1398114-1 is not prime. Res64: 27D241F2FC087B6D Time : 0.0 sec. user=mdettweiler [2015-05-01 12:03:49] 621*2^1398114-1 is not prime. Res64: 437CA7ACD901C63F Time : 0.0 sec. user=mdettweiler [2015-05-01 12:03:50] 767*2^1398114-1 is not prime. Res64: D9F2AC33EFEC7A0E Time : 0.0 sec. user=mdettweiler [2015-05-01 12:21:05] 905*2^1398114-1 is not prime. Res64: 8BB41625710F25C0 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:21:06] 927*2^1398114-1 is not prime. Res64: 4FA7B17DDB43E349 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:21:12] 915*2^1398115-1 is not prime. Res64: 25485228AE13DEF4 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:21:12] 699*2^1398115-1 is not prime. Res64: 520C34426C0AC5FB Time : 0.0 sec. user=mdettweiler [2015-05-01 12:21:12] 603*2^1398116-1 is not prime. Res64: 20231557D8F7920F Time : 0.0 sec. user=mdettweiler [2015-05-01 12:21:13] 909*2^1398115-1 is not prime. Res64: 28930B9F0541A8A8 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:21:20] 735*2^1398116-1 is not prime. Res64: 468892F03A8734EF Time : 0.0 sec. user=mdettweiler [2015-05-01 12:21:20] 825*2^1398116-1 is not prime. Res64: 4D23C9B8261F1C6C Time : 0.0 sec. user=mdettweiler [2015-05-01 12:38:36] 875*2^1398116-1 is not prime. Res64: 94D937083D30FBD5 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:38:36] 847*2^1398117-1 is not prime. Res64: 69A1FD49B7083C56 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:38:36] 909*2^1398116-1 is not prime. Res64: 0926BEAA7D9486C8 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:38:36] 901*2^1398117-1 is not prime. Res64: D85263ED8F4E16D9 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:38:41] 609*2^1398117-1 is not prime. Res64: BCD6077A0AF04FD9 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:38:42] 717*2^1398117-1 is not prime. Res64: 79B2BBE3AA8F4FE0 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:38:50] 665*2^1398118-1 is not prime. Res64: 516B8149C1DE5B4C Time : 0.0 sec. user=mdettweiler [2015-05-01 12:38:51] 743*2^1398118-1 is not prime. Res64: B6ECCBE7EF8C0DB3 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:56:05] 845*2^1398118-1 is not prime. Res64: 4643915F6F8878A2 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:56:05] 993*2^1398118-1 is not prime. Res64: 60C457D93F7B71A2 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:56:07] 661*2^1398119-1 is not prime. Res64: EE982F99277686CC Time : 0.0 sec. user=mdettweiler [2015-05-01 12:56:07] 685*2^1398119-1 is not prime. Res64: 3D0F2836279A3560 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:56:13] 857*2^1398118-1 is not prime. Res64: 0E50F2B96BA687BD Time : 0.0 sec. user=mdettweiler [2015-05-01 12:56:13] 915*2^1398118-1 is not prime. Res64: 8D4AF7504ED6F72E Time : 0.0 sec. user=mdettweiler [2015-05-01 12:56:21] 753*2^1398119-1 is not prime. Res64: DD183E5D79B04039 Time : 0.0 sec. user=mdettweiler [2015-05-01 12:56:21] 883*2^1398119-1 is not prime. Res64: B4A4CAD7350FB290 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:13:25] 609*2^1398120-1 is not prime. Res64: 03D8E1F859C6857B Time : 0.0 sec. user=mdettweiler [2015-05-01 13:13:26] 693*2^1398120-1 is not prime. Res64: 5999D4F12D860B3A Time : 0.0 sec. user=mdettweiler [2015-05-01 13:13:31] 707*2^1398120-1 is not prime. Res64: 223DBBB8F7928C07 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:13:31] 753*2^1398120-1 is not prime. Res64: 717FC01FA780991C Time : 0.0 sec. user=mdettweiler [2015-05-01 13:13:34] 795*2^1398120-1 is not prime. Res64: A26FFB0A87D740DF Time : 0.0 sec. user=mdettweiler [2015-05-01 13:13:34] 849*2^1398120-1 is not prime. Res64: 9709FB5BC2946207 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:13:44] 879*2^1398120-1 is not prime. Res64: 61009E3E1651E22B Time : 0.0 sec. user=mdettweiler [2015-05-01 13:13:45] 899*2^1398120-1 is not prime. Res64: 7CBB7F057FA8FB51 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:30:58] 789*2^1398121-1 is not prime. Res64: 9FA81E481E84D45B Time : 0.0 sec. user=mdettweiler [2015-05-01 13:30:58] 829*2^1398121-1 is not prime. Res64: 18E054B781C32005 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:30:59] 929*2^1398120-1 is not prime. Res64: 5C08874FF88BB413 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:31:00] 933*2^1398120-1 is not prime. Res64: 35343DC00244AB26 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:31:08] 623*2^1398122-1 is not prime. Res64: FA0903F42E0A6D48 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:31:08] 633*2^1398122-1 is not prime. Res64: 261A923C0CC69A22 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:31:11] 847*2^1398121-1 is not prime. Res64: 9FC1CA7271940C93 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:31:11] 987*2^1398121-1 is not prime. Res64: 6AE6241E858E950C Time : 0.0 sec. user=mdettweiler [2015-05-01 13:48:24] 767*2^1398122-1 is not prime. Res64: F69AD6B93678FAAD Time : 0.0 sec. user=mdettweiler [2015-05-01 13:48:25] 771*2^1398122-1 is not prime. Res64: 25B76CC6DC8AAAA7 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:48:35] 705*2^1398122-1 is not prime. Res64: E2A5A308BC738228 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:48:36] 741*2^1398122-1 is not prime. Res64: 24397B430D7C5BC1 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:48:39] 675*2^1398123-1 is not prime. Res64: 903F916CE1224C2E Time : 0.0 sec. user=mdettweiler [2015-05-01 13:48:40] 709*2^1398123-1 is not prime. Res64: BAF349CE48A3CA18 Time : 0.0 sec. user=mdettweiler [2015-05-01 13:48:43] 945*2^1398122-1 is not prime. Res64: 5E5B239BBB2AE0BA Time : 0.0 sec. user=mdettweiler [2015-05-01 13:48:43] 625*2^1398123-1 is not prime. Res64: 5CC7D2CDCE860CE3 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:05:57] 751*2^1398123-1 is not prime. Res64: C7FAA46B4B56BE65 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:05:58] 781*2^1398123-1 is not prime. Res64: 2E6D933F48B7111C Time : 0.0 sec. user=mdettweiler [2015-05-01 14:06:02] 861*2^1398123-1 is not prime. Res64: 480E895396497BDD Time : 0.0 sec. user=mdettweiler [2015-05-01 14:06:03] 783*2^1398124-1 is not prime. Res64: B2758559AC9F909D Time : 0.0 sec. user=mdettweiler [2015-05-01 14:06:09] 887*2^1398124-1 is not prime. Res64: F4E5D5EA6046F47C Time : 0.0 sec. user=mdettweiler [2015-05-01 14:06:09] 923*2^1398124-1 is not prime. Res64: 94F49B73549D1A2E Time : 0.0 sec. user=mdettweiler [2015-05-01 14:06:16] 819*2^1398125-1 is not prime. Res64: 26CE3F2337F7E0F3 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:06:17] 871*2^1398125-1 is not prime. Res64: 36AEB6994120D3B1 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:23:23] 889*2^1398125-1 is not prime. Res64: 3A829992CFDB2E5D Time : 0.0 sec. user=mdettweiler [2015-05-01 14:23:23] 957*2^1398125-1 is not prime. Res64: 48FF684297BB698E Time : 0.0 sec. user=mdettweiler [2015-05-01 14:23:25] 671*2^1398126-1 is not prime. Res64: 94F9EBE53FAE888E Time : 0.0 sec. user=mdettweiler [2015-05-01 14:23:25] 713*2^1398126-1 is not prime. Res64: 6EB9C1597840B728 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:23:31] 725*2^1398126-1 is not prime. Res64: 686DBB1E067AED3F Time : 0.0 sec. user=mdettweiler [2015-05-01 14:23:31] 615*2^1398127-1 is not prime. Res64: 926DFA87258DF190 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:23:43] 675*2^1398127-1 is not prime. Res64: DD67A512B8F7FB43 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:23:43] 759*2^1398127-1 is not prime. Res64: 48D5EBEDCBA9AFD5 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:40:44] 871*2^1398127-1 is not prime. Res64: 696A21BC9AD9E631 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:40:44] 873*2^1398127-1 is not prime. Res64: 1E2665CECE805932 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:40:53] 831*2^1398127-1 is not prime. Res64: F3305891765C872C Time : 0.0 sec. user=mdettweiler [2015-05-01 14:40:53] 841*2^1398127-1 is not prime. Res64: CFD88865A9150C11 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:40:54] 895*2^1398127-1 is not prime. Res64: 97132EC61692B59F Time : 0.0 sec. user=mdettweiler [2015-05-01 14:40:54] 901*2^1398127-1 is not prime. Res64: 2DB1F22CD2E775EC Time : 0.0 sec. user=mdettweiler [2015-05-01 14:41:12] 909*2^1398127-1 is not prime. Res64: 98AE5BC154BF2099 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:41:12] 933*2^1398127-1 is not prime. Res64: 83701F23A8B7C1CE Time : 0.0 sec. user=mdettweiler [2015-05-01 14:58:16] 999*2^1398127-1 is not prime. Res64: 365115C18A3C7F98 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:58:16] 603*2^1398128-1 is not prime. Res64: E8E20216DA0767EA Time : 0.0 sec. user=mdettweiler [2015-05-01 14:58:21] 899*2^1398128-1 is not prime. Res64: 8BE647D7E55A5AA5 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:58:22] 601*2^1398129-1 is not prime. Res64: 15E33FE9AD6D6665 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:58:22] 657*2^1398128-1 is not prime. Res64: 7B8DCE8E4AF0D85D Time : 0.0 sec. user=mdettweiler [2015-05-01 14:58:23] 669*2^1398128-1 is not prime. Res64: 9F7F5C56C5296AE0 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:58:42] 795*2^1398129-1 is not prime. Res64: 8A5BE16961DF5460 Time : 0.0 sec. user=mdettweiler [2015-05-01 14:58:42] 837*2^1398129-1 is not prime. Res64: E9C8B8362291959A Time : 0.0 sec. user=mdettweiler [2015-05-01 15:15:39] 847*2^1398129-1 is not prime. Res64: A4E62C7B2C480DE8 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:15:39] 877*2^1398129-1 is not prime. Res64: 4F161E651F1D00AA Time : 0.0 sec. user=mdettweiler [2015-05-01 15:15:48] 945*2^1398129-1 is not prime. Res64: C91DCE575D568811 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:15:49] 623*2^1398130-1 is not prime. Res64: 9160E3C49E1598B7 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:15:59] 635*2^1398130-1 is not prime. Res64: 46989080773A0C95 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:15:59] 677*2^1398130-1 is not prime. Res64: 697C9C63069ACD33 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:16:17] 717*2^1398130-1 is not prime. Res64: CFA63E48BC5B87FD Time : 0.0 sec. user=mdettweiler [2015-05-01 15:16:18] 827*2^1398130-1 is not prime. Res64: C2B2705B35FA12ED Time : 0.0 sec. user=mdettweiler [2015-05-01 15:33:07] 861*2^1398130-1 is not prime. Res64: 6FC13488CFEB49AA Time : 0.0 sec. user=mdettweiler [2015-05-01 15:33:07] 911*2^1398130-1 is not prime. Res64: 72F13CDAFDA8E939 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:33:10] 981*2^1398130-1 is not prime. Res64: 51FAF12342C1D7B3 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:33:11] 685*2^1398131-1 is not prime. Res64: 7821FD7F5FC3EE40 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:33:18] 753*2^1398131-1 is not prime. Res64: 4FFFD40BEE357ADA Time : 0.0 sec. user=mdettweiler [2015-05-01 15:33:18] 871*2^1398131-1 is not prime. Res64: E995BF613EE6E3C5 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:33:40] 931*2^1398131-1 is not prime. Res64: FAD6FD9ED2CC65EC Time : 0.0 sec. user=mdettweiler [2015-05-01 15:33:40] 635*2^1398132-1 is not prime. Res64: 4D0496E54F9FD197 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:50:31] 689*2^1398132-1 is not prime. Res64: 2AC3EE6332A6C8E5 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:50:31] 753*2^1398132-1 is not prime. Res64: 0CBD2D5621DB9BD5 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:50:39] 607*2^1398133-1 is not prime. Res64: C0A60AF6D770C43B Time : 0.0 sec. user=mdettweiler [2015-05-01 15:50:39] 615*2^1398133-1 is not prime. Res64: BC5F2E75C19D9C7C Time : 0.0 sec. user=mdettweiler [2015-05-01 15:50:52] 699*2^1398133-1 is not prime. Res64: 99D4BDA6E6338F29 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:50:52] 715*2^1398133-1 is not prime. Res64: DEEEC5D84C4E484D Time : 0.0 sec. user=mdettweiler [2015-05-01 15:51:04] 721*2^1398133-1 is not prime. Res64: E933DD248D81CD61 Time : 0.0 sec. user=mdettweiler [2015-05-01 15:51:04] 729*2^1398133-1 is not prime. Res64: 932807AB1F1F673B Time : 0.0 sec. user=mdettweiler [2015-05-01 16:07:57] 859*2^1398133-1 is not prime. Res64: 868107520F9EF08F Time : 0.0 sec. user=mdettweiler [2015-05-01 16:07:57] 955*2^1398133-1 is not prime. Res64: 38BB751C19A6BDCD Time : 0.0 sec. user=mdettweiler [2015-05-01 16:08:15] 961*2^1398133-1 is not prime. Res64: F462F9B32E643A8E Time : 0.0 sec. user=mdettweiler [2015-05-01 16:08:15] 675*2^1398134-1 is not prime. Res64: 69DECD5342A63092 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:08:23] 795*2^1398134-1 is not prime. Res64: 46D6B7DEA932AC20 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:08:24] 945*2^1398134-1 is not prime. Res64: 053D225700908B1E Time : 0.0 sec. user=mdettweiler [2015-05-01 16:08:29] 987*2^1398134-1 is not prime. Res64: 48A751E8DD84A4EA Time : 0.0 sec. user=mdettweiler [2015-05-01 16:08:29] 995*2^1398134-1 is not prime. Res64: DE439C04CBA2288D Time : 0.0 sec. user=mdettweiler [2015-05-01 16:25:29] 613*2^1398135-1 is not prime. Res64: 948E87B348649C88 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:25:30] 633*2^1398135-1 is not prime. Res64: 2D4ADF086564B6B9 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:25:53] 789*2^1398135-1 is not prime. Res64: 152E4CC065C01393 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:25:53] 919*2^1398135-1 is not prime. Res64: C5D72F5D46B7BAC3 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:25:54] 951*2^1398135-1 is not prime. Res64: FBE2B4CFA6E2673B Time : 0.0 sec. user=mdettweiler [2015-05-01 16:25:54] 991*2^1398135-1 is not prime. Res64: C0941E5D3CDCA689 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:26:12] 617*2^1398136-1 is not prime. Res64: 305A4707ECC5305D Time : 0.0 sec. user=mdettweiler [2015-05-01 16:26:12] 849*2^1398136-1 is not prime. Res64: FF1C5C7CE35290B2 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:42:52] 905*2^1398136-1 is not prime. Res64: 76DC0E77787AB94E Time : 0.0 sec. user=mdettweiler [2015-05-01 16:42:52] 917*2^1398136-1 is not prime. Res64: 109AC6E016E279ED Time : 0.0 sec. user=mdettweiler [2015-05-01 16:43:14] 619*2^1398137-1 is not prime. Res64: EF9E9C071984AD0E Time : 0.0 sec. user=mdettweiler [2015-05-01 16:43:15] 747*2^1398137-1 is not prime. Res64: AEF081A52F3C7F15 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:43:20] 759*2^1398137-1 is not prime. Res64: E73EC09A393AAEB5 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:43:20] 805*2^1398137-1 is not prime. Res64: B5A8337C2102F27F Time : 0.0 sec. user=mdettweiler [2015-05-01 16:43:42] 837*2^1398137-1 is not prime. Res64: 43C72EAE112126C5 Time : 0.0 sec. user=mdettweiler [2015-05-01 16:43:43] 967*2^1398137-1 is not prime. Res64: 44C60486E7A4520F Time : 0.0 sec. user=mdettweiler [2015-05-01 17:00:26] 671*2^1398138-1 is not prime. Res64: 118933F3EF259EE3 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:00:27] 803*2^1398138-1 is not prime. Res64: 175222ED6671B7CE Time : 0.0 sec. user=mdettweiler [2015-05-01 17:00:44] 891*2^1398138-1 is not prime. Res64: BC9C109703E0BE60 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:00:45] 615*2^1398139-1 is not prime. Res64: 875891337F406BB0 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:00:46] 685*2^1398139-1 is not prime. Res64: 8C7C9F6F8C688351 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:00:47] 723*2^1398139-1 is not prime. Res64: 76324F66A28BD8D5 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:01:10] 789*2^1398139-1 is not prime. Res64: 8FCFB1D289BFA291 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:01:10] 835*2^1398139-1 is not prime. Res64: 334CBB2227D3B52C Time : 0.0 sec. user=mdettweiler [2015-05-01 17:17:53] 841*2^1398139-1 is not prime. Res64: 56D348A9A128BA43 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:17:53] 861*2^1398139-1 is not prime. Res64: 160429AE84262C72 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:18:15] 647*2^1398140-1 is not prime. Res64: 293B20597A576BC3 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:18:15] 677*2^1398140-1 is not prime. Res64: D89FBEAE4672DC60 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:18:18] 931*2^1398139-1 is not prime. Res64: FDA148493F475689 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:18:19] 609*2^1398140-1 is not prime. Res64: 44CF08A690DD1CE9 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:18:42] 717*2^1398140-1 is not prime. Res64: 40E8E835AAA8CA6F Time : 0.0 sec. user=mdettweiler [2015-05-01 17:18:42] 795*2^1398140-1 is not prime. Res64: 8C64732D895212AF Time : 0.0 sec. user=mdettweiler [2015-05-01 17:35:22] 825*2^1398140-1 is not prime. Res64: F6B975D0A101FCF8 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:35:23] 839*2^1398140-1 is not prime. Res64: FF93DD2A5C0CB4CD Time : 0.0 sec. user=mdettweiler [2015-05-01 17:35:43] 879*2^1398140-1 is not prime. Res64: AE60117BDCC3D221 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:35:44] 915*2^1398140-1 is not prime. Res64: 658A7A4101889494 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:35:45] 625*2^1398141-1 is not prime. Res64: F072FD224475E6DC Time : 0.0 sec. user=mdettweiler [2015-05-01 17:35:45] 751*2^1398141-1 is not prime. Res64: CC2B663771472A2F Time : 0.0 sec. user=mdettweiler [2015-05-01 17:36:05] 817*2^1398141-1 is not prime. Res64: 22706B44414BDE9D Time : 0.0 sec. user=mdettweiler [2015-05-01 17:36:05] 867*2^1398141-1 is not prime. Res64: B563C2EB0C3E644E Time : 0.0 sec. user=mdettweiler [2015-05-01 17:52:48] 927*2^1398141-1 is not prime. Res64: 4099DE6282E70D25 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:52:48] 961*2^1398141-1 is not prime. Res64: 1E8CF5743FB92657 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:53:13] 703*2^1398143-1 is not prime. Res64: A6EB870B68C999B0 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:53:13] 735*2^1398143-1 is not prime. Res64: 276D5BCC4CD7C521 Time : 0.0 sec. user=mdettweiler [2015-05-01 17:53:17] 657*2^1398142-1 is not prime. Res64: 1B8FECCC69905BDB Time : 0.0 sec. user=mdettweiler [2015-05-01 17:53:17] 785*2^1398142-1 is not prime. Res64: F11F39DCD059C31F Time : 0.0 sec. user=mdettweiler [2015-05-01 17:53:31] 901*2^1398143-1 is not prime. Res64: 29F58955AA95500A Time : 0.0 sec. user=mdettweiler [2015-05-01 17:53:32] 913*2^1398143-1 is not prime. Res64: 51580AD928A65C2C Time : 0.0 sec. user=mdettweiler [2015-05-01 18:10:14] 657*2^1398144-1 is not prime. Res64: DA4457499C44E8CE Time : 0.0 sec. user=mdettweiler [2015-05-01 18:10:14] 663*2^1398144-1 is not prime. Res64: 4947E33515115C99 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:10:45] 725*2^1398144-1 is not prime. Res64: 4C7C6D12E1803257 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:10:45] 789*2^1398144-1 is not prime. Res64: 7E4FE361F44A75FF Time : 0.0 sec. user=mdettweiler [2015-05-01 18:10:51] 809*2^1398144-1 is not prime. Res64: 8F0B1ED1F34F878D Time : 0.0 sec. user=mdettweiler [2015-05-01 18:10:52] 903*2^1398144-1 is not prime. Res64: B757F2468FC3E38C Time : 0.0 sec. user=mdettweiler [2015-05-01 18:11:04] 715*2^1398145-1 is not prime. Res64: D6C883DF99DBD109 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:11:05] 717*2^1398145-1 is not prime. Res64: 58A0DDED944878EF Time : 0.0 sec. user=mdettweiler [2015-05-01 18:27:48] 765*2^1398145-1 is not prime. Res64: 6D76F428824D4441 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:27:49] 801*2^1398145-1 is not prime. Res64: A0ABE55DBFA55224 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:28:09] 855*2^1398145-1 is not prime. Res64: 1E4D5A620F297487 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:28:09] 895*2^1398145-1 is not prime. Res64: 83CFCD1C896C6C9F Time : 0.0 sec. user=mdettweiler [2015-05-01 18:28:21] 705*2^1398146-1 is not prime. Res64: C4179380E980FA04 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:28:21] 713*2^1398146-1 is not prime. Res64: E4ACD9DEA229BFF8 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:28:34] 717*2^1398146-1 is not prime. Res64: 49788664C8777700 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:28:34] 941*2^1398146-1 is not prime. Res64: 8FACD1AADFDC5D0D Time : 0.0 sec. user=mdettweiler [2015-05-01 18:45:19] 741*2^1398147-1 is not prime. Res64: 48D7ADEAD43E2D06 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:45:20] 819*2^1398147-1 is not prime. Res64: E83D3893E0633F12 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:45:42] 909*2^1398147-1 is not prime. Res64: 67D47323B9586FD9 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:45:43] 963*2^1398147-1 is not prime. Res64: B4A8FBBA9910B7B5 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:45:47] 735*2^1398148-1 is not prime. Res64: C5E238192BD30648 Time : 0.0 sec. user=mdettweiler [2015-05-01 18:45:47] 797*2^1398148-1 is not prime. Res64: BD48562A5DA5701A Time : 0.0 sec. user=mdettweiler [2015-05-01 18:46:07] 813*2^1398148-1 is not prime. Res64: 382A173472B9D7DD Time : 0.0 sec. user=mdettweiler [2015-05-01 18:46:08] 819*2^1398148-1 is not prime. Res64: 22258CAA629E8158 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:02:54] 999*2^1398148-1 is not prime. Res64: BBDF4713182A38FB Time : 0.0 sec. user=mdettweiler [2015-05-01 19:02:55] 741*2^1398149-1 is not prime. Res64: 4CF9C95A2A686FD7 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:03:14] 801*2^1398149-1 is not prime. Res64: D4C1FB19A2E4D834 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:03:15] 829*2^1398149-1 is not prime. Res64: 81664E4B80621722 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:03:16] 927*2^1398149-1 is not prime. Res64: 31FE5459E9BBD9AF Time : 0.0 sec. user=mdettweiler [2015-05-01 19:03:18] 957*2^1398149-1 is not prime. Res64: F26DE3390EE9FC0E Time : 0.0 sec. user=mdettweiler [2015-05-01 19:03:39] 725*2^1398150-1 is not prime. Res64: B2D68F3839712314 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:03:40] 843*2^1398150-1 is not prime. Res64: A7A0D0CBC1C7622A Time : 0.0 sec. user=mdettweiler [2015-05-01 19:20:40] 663*2^1398151-1 is not prime. Res64: 1D223C5EB549E96C Time : 0.0 sec. user=mdettweiler [2015-05-01 19:20:40] 921*2^1398150-1 is not prime. Res64: 1F0D895AD520E016 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:20:40] 735*2^1398151-1 is not prime. Res64: BE45EAA97995BB5F Time : 0.0 sec. user=mdettweiler [2015-05-01 19:20:41] 923*2^1398150-1 is not prime. Res64: B37000F512A774D3 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:20:44] 971*2^1398150-1 is not prime. Res64: 7950C63D5155D728 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:20:44] 1001*2^1398150-1 is not prime. Res64: 932000AB3F5098DA Time : 0.0 sec. user=mdettweiler [2015-05-01 19:21:05] 783*2^1398151-1 is not prime. Res64: 87E77EB9380330F0 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:21:06] 813*2^1398151-1 is not prime. Res64: 58C927CF3C1FAD8E Time : 0.0 sec. user=mdettweiler [2015-05-01 19:38:05] 931*2^1398151-1 is not prime. Res64: 7D222ACAEF776ED0 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:38:06] 693*2^1398152-1 is not prime. Res64: 79D1C6066E6AD85E Time : 0.0 sec. user=mdettweiler [2015-05-01 19:38:07] 883*2^1398151-1 is not prime. Res64: 4ED95D17429EBAB3 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:38:07] 925*2^1398151-1 is not prime. Res64: BB7658C0F82BB5C9 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:38:13] 855*2^1398151-1 is not prime. Res64: 6C03CFAEA0C92C8A Time : 0.0 sec. user=mdettweiler [2015-05-01 19:38:13] 859*2^1398151-1 is not prime. Res64: 439EB3434F022002 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:38:31] 713*2^1398152-1 is not prime. Res64: DD936E22DB781D9E Time : 0.0 sec. user=mdettweiler [2015-05-01 19:38:31] 759*2^1398152-1 is not prime. Res64: 5C6FDF9D96B2237A Time : 0.0 sec. user=mdettweiler [2015-05-01 19:55:27] 739*2^1398153-1 is not prime. Res64: 9DFC9CFCDD05936C Time : 0.0 sec. user=mdettweiler [2015-05-01 19:55:27] 765*2^1398153-1 is not prime. Res64: C8F6CB79D0312805 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:55:28] 795*2^1398153-1 is not prime. Res64: D1675127488ECF70 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:55:28] 817*2^1398153-1 is not prime. Res64: 43B557747D9E395A Time : 0.0 sec. user=mdettweiler [2015-05-01 19:55:34] 847*2^1398153-1 is not prime. Res64: 7EC2E1D71651E586 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:55:34] 849*2^1398153-1 is not prime. Res64: DAA111703F271EEF Time : 0.0 sec. user=mdettweiler [2015-05-01 19:55:54] 915*2^1398153-1 is not prime. Res64: 76D84AFBE6B0A659 Time : 0.0 sec. user=mdettweiler [2015-05-01 19:55:54] 921*2^1398153-1 is not prime. Res64: 643925EF8273FF64 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:12:51] 979*2^1398153-1 is not prime. Res64: 83C6E2188871BE52 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:12:51] 617*2^1398154-1 is not prime. Res64: 0E9A23BA109249C9 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:12:57] 701*2^1398154-1 is not prime. Res64: 3CCB4FCBF4BA4D07 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:12:58] 737*2^1398154-1 is not prime. Res64: E35C3FCEF1D4A7B1 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:13:00] 937*2^1398153-1 is not prime. Res64: 5909C6BB8E0BBF7A Time : 0.0 sec. user=mdettweiler [2015-05-01 20:13:01] 955*2^1398153-1 is not prime. Res64: EC4EC6A25F23B1E0 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:13:16] 833*2^1398154-1 is not prime. Res64: 9C2C6757F88F2626 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:13:17] 857*2^1398154-1 is not prime. Res64: 6BC23DE2B12BAB8D Time : 0.0 sec. user=mdettweiler [2015-05-01 20:30:21] 993*2^1398154-1 is not prime. Res64: 1C65948409A2217F Time : 0.0 sec. user=mdettweiler [2015-05-01 20:30:22] 825*2^1398155-1 is not prime. Res64: EBE502DEC4D394B2 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:30:22] 733*2^1398155-1 is not prime. Res64: 5E53E1A51E14E6F5 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:30:22] 963*2^1398155-1 is not prime. Res64: 76368803CE14E910 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:30:25] 885*2^1398154-1 is not prime. Res64: 1383256A7C4FDD1D Time : 0.0 sec. user=mdettweiler [2015-05-01 20:30:25] 887*2^1398154-1 is not prime. Res64: D570F0F6D093A1A1 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:30:36] 873*2^1398156-1 is not prime. Res64: 2FA6A7904EF5E039 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:30:37] 887*2^1398156-1 is not prime. Res64: 6FED2FEBDD01F9CD Time : 0.0 sec. user=mdettweiler [2015-05-01 20:47:51] 715*2^1398157-1 is not prime. Res64: 53BAE313411C6CBB Time : 0.0 sec. user=mdettweiler [2015-05-01 20:47:51] 747*2^1398157-1 is not prime. Res64: DB793293852AADB9 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:47:52] 799*2^1398157-1 is not prime. Res64: 51B0C63B994BF55C Time : 0.0 sec. user=mdettweiler [2015-05-01 20:47:52] 817*2^1398157-1 is not prime. Res64: 80F861ADD4D97B6F Time : 0.0 sec. user=mdettweiler [2015-05-01 20:47:52] 819*2^1398157-1 is not prime. Res64: 9EB317EFFC7FD52C Time : 0.0 sec. user=mdettweiler [2015-05-01 20:47:53] 835*2^1398157-1 is not prime. Res64: 9ED39F3BE357466B Time : 0.0 sec. user=mdettweiler [2015-05-01 20:48:00] 847*2^1398157-1 is not prime. Res64: 986A8F758668FBF0 Time : 0.0 sec. user=mdettweiler [2015-05-01 20:48:00] 885*2^1398157-1 is not prime. Res64: B3794B1E1BBAD17C Time : 0.0 sec. user=mdettweiler [2015-05-01 21:05:24] 797*2^1398158-1 is not prime. Res64: E1A69FD83E5DA0EC Time : 0.0 sec. user=mdettweiler [2015-05-01 21:05:24] 867*2^1398158-1 is not prime. Res64: 247A7863A60C0BF5 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:05:25] 977*2^1398158-1 is not prime. Res64: EE58B6EB23452233 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:05:26] 619*2^1398159-1 is not prime. Res64: A452514039AB2F8B Time : 0.0 sec. user=mdettweiler [2015-05-01 21:05:30] 645*2^1398158-1 is not prime. Res64: A513A105F4E0CB3E Time : 0.0 sec. user=mdettweiler [2015-05-01 21:05:31] 755*2^1398158-1 is not prime. Res64: CC93A6FB9A651CCE Time : 0.0 sec. user=mdettweiler [2015-05-01 21:05:38] 649*2^1398159-1 is not prime. Res64: 86585B06D924FDB6 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:05:38] 691*2^1398159-1 is not prime. Res64: 5CCFDF4FA173B7EC Time : 0.0 sec. user=mdettweiler [2015-05-01 21:22:57] 769*2^1398159-1 is not prime. Res64: 02C44995278F47C9 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:22:57] 973*2^1398159-1 is not prime. Res64: 181851A718C1CDD5 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:22:59] 975*2^1398159-1 is not prime. Res64: DF12CE3A6EC063F5 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:23:00] 985*2^1398159-1 is not prime. Res64: 360F9C7ADF8B9923 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:23:07] 865*2^1398159-1 is not prime. Res64: D41D98FD16571FD1 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:23:08] 879*2^1398159-1 is not prime. Res64: B1861D69B62AECD4 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:23:13] 629*2^1398160-1 is not prime. Res64: 7DCBCF560AFAB9AC Time : 0.0 sec. user=mdettweiler [2015-05-01 21:23:13] 813*2^1398160-1 is not prime. Res64: 9C29844CE25DC6E9 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:40:21] 855*2^1398160-1 is not prime. Res64: 60311967A102E707 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:40:22] 863*2^1398160-1 is not prime. Res64: B9FF660D45E29E42 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:40:31] 983*2^1398160-1 is not prime. Res64: 378F5685CD8282E5 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:40:32] 995*2^1398160-1 is not prime. Res64: 124258782C7CEE39 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:40:33] 999*2^1398160-1 is not prime. Res64: D4C1B5E708AFA0B7 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:40:33] 651*2^1398161-1 is not prime. Res64: B028D729CCA60447 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:40:38] 675*2^1398161-1 is not prime. Res64: AA80A99CFED86CD5 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:40:38] 799*2^1398161-1 is not prime. Res64: 4B3456E5EC4D239A Time : 0.0 sec. user=mdettweiler [2015-05-01 21:57:49] 819*2^1398161-1 is not prime. Res64: A654851AC7185624 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:57:49] 855*2^1398161-1 is not prime. Res64: 9CD5000E27F30062 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:57:55] 755*2^1398162-1 is not prime. Res64: 2E8D41D46730382A Time : 0.0 sec. user=mdettweiler [2015-05-01 21:57:55] 633*2^1398163-1 is not prime. Res64: BC7FCC477E3EEB39 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:58:09] 937*2^1398161-1 is not prime. Res64: BFE4A85839D49993 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:58:09] 717*2^1398162-1 is not prime. Res64: 31660DACB0EF0A33 Time : 0.0 sec. user=mdettweiler [2015-05-01 21:58:10] 681*2^1398163-1 is not prime. Res64: 494309E3FCEDC68F Time : 0.0 sec. user=mdettweiler [2015-05-01 21:58:11] 769*2^1398163-1 is not prime. Res64: C3A4CA411A0CC295 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:15:21] 771*2^1398163-1 is not prime. Res64: A708F2EC9E6EE3E7 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:15:22] 829*2^1398163-1 is not prime. Res64: D4A11B5DCF058AE8 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:15:32] 861*2^1398163-1 is not prime. Res64: E9827B2CC1FF8904 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:15:33] 895*2^1398163-1 is not prime. Res64: FB8E820CA5BC5ED9 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:15:40] 993*2^1398163-1 is not prime. Res64: F0B10029B49A27EF Time : 0.0 sec. user=mdettweiler [2015-05-01 22:15:41] 999*2^1398163-1 is not prime. Res64: 8EF54D644AA184A9 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:15:43] 609*2^1398164-1 is not prime. Res64: 032047F47AE8C18C Time : 0.0 sec. user=mdettweiler [2015-05-01 22:15:43] 873*2^1398164-1 is not prime. Res64: 28CF59802D71E176 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:32:45] 927*2^1398164-1 is not prime. Res64: 8CD37AD3CE676292 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:32:45] 639*2^1398165-1 is not prime. Res64: 6CBE70E16BA5808D Time : 0.0 sec. user=mdettweiler [2015-05-01 22:33:00] 651*2^1398165-1 is not prime. Res64: DEECDD2A8043B590 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:33:01] 717*2^1398165-1 is not prime. Res64: 3AABF010B05F7CA3 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:33:06] 877*2^1398165-1 is not prime. Res64: 24BBD8B34DB40F3D Time : 0.0 sec. user=mdettweiler [2015-05-01 22:33:06] 895*2^1398165-1 is not prime. Res64: 06A67468935A5592 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:33:17] 759*2^1398165-1 is not prime. Res64: D79C4758E66A3FF9 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:33:18] 765*2^1398165-1 is not prime. Res64: 62C8FB8482CCFF17 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:50:10] 975*2^1398165-1 is not prime. Res64: 8AFB9802EFDD63CB Time : 0.0 sec. user=mdettweiler [2015-05-01 22:50:10] 647*2^1398166-1 is not prime. Res64: 9E22F8C655B57A39 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:50:23] 765*2^1398166-1 is not prime. Res64: CBCC07128C32C70E Time : 0.0 sec. user=mdettweiler [2015-05-01 22:50:24] 923*2^1398166-1 is not prime. Res64: 9F2BB0A1C1FB0359 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:50:33] 615*2^1398167-1 is not prime. Res64: B6211416941DF9DA Time : 0.0 sec. user=mdettweiler [2015-05-01 22:50:33] 735*2^1398167-1 is not prime. Res64: FCA184DD27A3D3AB Time : 0.0 sec. user=mdettweiler [2015-05-01 22:50:42] 799*2^1398167-1 is not prime. Res64: A9964182F58A8A70 Time : 0.0 sec. user=mdettweiler [2015-05-01 22:50:42] 865*2^1398167-1 is not prime. Res64: 280A39E11A4E1694 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:07:33] 939*2^1398167-1 is not prime. Res64: 283A6B348D1F62F3 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:07:33] 993*2^1398167-1 is not prime. Res64: 0BC355378639D46D Time : 0.0 sec. user=mdettweiler [2015-05-01 23:07:49] 635*2^1398168-1 is not prime. Res64: 5F29F2E3ABC72C85 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:07:50] 669*2^1398168-1 is not prime. Res64: FB77A119E8060E84 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:07:54] 753*2^1398168-1 is not prime. Res64: 06AB1F411FFE458F Time : 0.0 sec. user=mdettweiler [2015-05-01 23:07:54] 795*2^1398168-1 is not prime. Res64: 4BBE54E40D726094 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:08:12] 809*2^1398168-1 is not prime. Res64: 6BA18C991572D680 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:08:13] 849*2^1398168-1 is not prime. Res64: B5F7E224801BEC96 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:25:00] 909*2^1398168-1 is not prime. Res64: 5A398658B9CAA198 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:25:00] 929*2^1398168-1 is not prime. Res64: D9670ACE93BA8E65 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:25:22] 959*2^1398168-1 is not prime. Res64: CE8435ABFE34C4C6 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:25:23] 687*2^1398169-1 is not prime. Res64: FD46D987667DDB67 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:25:24] 721*2^1398169-1 is not prime. Res64: 0330477EC74A14A2 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:25:24] 775*2^1398169-1 is not prime. Res64: D6ACE2DA6579DB54 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:25:41] 885*2^1398169-1 is not prime. Res64: 1ED92538665F1426 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:25:42] 997*2^1398169-1 is not prime. Res64: CB0DC54FF417A504 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:42:22] 999*2^1398169-1 is not prime. Res64: F1D77B9020F4915A Time : 0.0 sec. user=mdettweiler [2015-05-01 23:42:22] 605*2^1398170-1 is not prime. Res64: BBBC9EDC4600B27D Time : 0.0 sec. user=mdettweiler [2015-05-01 23:42:43] 767*2^1398170-1 is not prime. Res64: 5B0C4B55FCA6074A Time : 0.0 sec. user=mdettweiler [2015-05-01 23:42:44] 843*2^1398170-1 is not prime. Res64: 8A4CEC14DDCB33F5 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:42:45] 851*2^1398170-1 is not prime. Res64: 4B2E140B625877F8 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:42:45] 867*2^1398170-1 is not prime. Res64: C1ECAC3644500220 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:43:07] 885*2^1398170-1 is not prime. Res64: 56CE1B67A1DABA64 Time : 0.0 sec. user=mdettweiler [2015-05-01 23:43:07] 927*2^1398170-1 is not prime. Res64: 9266EB02506E41F2 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:00:01] 957*2^1398170-1 is not prime. Res64: 19417C976B0FB16D Time : 0.0 sec. user=mdettweiler [2015-05-02 00:00:02] 971*2^1398170-1 is not prime. Res64: BF599DE4C184375D Time : 0.0 sec. user=mdettweiler [2015-05-02 00:00:34] 669*2^1398171-1 is not prime. Res64: 91CBAB27DBF22B99 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:00:35] 709*2^1398171-1 is not prime. Res64: 43BF390EBDAFBB3F Time : 0.0 sec. user=mdettweiler [2015-05-02 00:00:37] 859*2^1398171-1 is not prime. Res64: EB8C3D100BD99881 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:00:37] 879*2^1398171-1 is not prime. Res64: 06AE032C65F8D570 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:00:49] 901*2^1398171-1 is not prime. Res64: 4B1CE18953B1E7F5 Time : 0.0 sec. user=mdettweiler [2015-05-02 00:00:50] 921*2^1398171-1 is not prime. Res64: E4DA7148363695BA Time : 0.0 sec.