user=mdettweiler [2016-10-15 00:36:00] 755*2^1442764-1 is not prime. Res64: 75310D7ABD56666A Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:01] 875*2^1442764-1 is not prime. Res64: 8786F759BA6DEEC1 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:01] 607*2^1442765-1 is not prime. Res64: 45042690A444BDBE Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:02] 909*2^1442764-1 is not prime. Res64: C518F7B5B5449534 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:02] 699*2^1442765-1 is not prime. Res64: E523F19C7D284225 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:02] 947*2^1442764-1 is not prime. Res64: CE77D3C519690083 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:02] 795*2^1442765-1 is not prime. Res64: BEF441AD9D17057E Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:02] 601*2^1442765-1 is not prime. Res64: 76424EA3A016B74F Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:03] 801*2^1442765-1 is not prime. Res64: 547F07321C5E879C Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:03] 981*2^1442765-1 is not prime. Res64: 575F368E66844530 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:45] 723*2^1442766-1 is not prime. Res64: 809C592D44ABB7BC Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:46] 795*2^1442766-1 is not prime. Res64: 5A2BF4F2DE38B436 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:46] 851*2^1442766-1 is not prime. Res64: AEF8FAD231031727 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:47] 917*2^1442766-1 is not prime. Res64: A4D5A446782726D0 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:36:47] 703*2^1442767-1 is not prime. Res64: 7E3718ACCCA6A30E Time : 0.0 sec. user=mdettweiler [2016-10-15 00:40:16] 741*2^1442767-1 is not prime. Res64: D4ABC8BCDDEE492D Time : 0.0 sec. user=mdettweiler [2016-10-15 00:40:17] 859*2^1442767-1 is not prime. Res64: F98DDF54B82510E0 Time : 0.0 sec. user=mdettweiler [2016-10-15 00:40:17] 951*2^1442767-1 is not prime. Res64: 45366B70DA0C66DD Time : 0.0 sec. user=mdettweiler [2016-10-15 00:40:18] 985*2^1442767-1 is not prime. Res64: CEDFC01C4D2641FE Time : 0.0 sec. user=mdettweiler [2016-10-15 00:40:18] 603*2^1442768-1 is not prime. Res64: 2D317087B37084BB Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:29] 665*2^1442768-1 is not prime. Res64: 2376CCC0B031299F Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:30] 847*2^1442769-1 is not prime. Res64: 5EB05F4A51F2297C Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:30] 825*2^1442768-1 is not prime. Res64: C19411BF56498FA1 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:30] 861*2^1442769-1 is not prime. Res64: 10C4391C719E8A0C Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:30] 929*2^1442768-1 is not prime. Res64: 09A366160C056699 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:31] 605*2^1442770-1 is not prime. Res64: 500DB08522392822 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:31] 675*2^1442769-1 is not prime. Res64: 1C80A83962256C7B Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:31] 635*2^1442770-1 is not prime. Res64: E96B71357422B37E Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:31] 745*2^1442769-1 is not prime. Res64: A07763032FCAF511 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:20:32] 645*2^1442770-1 is not prime. Res64: 63C63B243A43A3DF Time : 0.0 sec. user=mdettweiler [2016-10-15 01:21:30] 671*2^1442770-1 is not prime. Res64: 44A10C5234DCD0F6 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:21:31] 747*2^1442770-1 is not prime. Res64: 44CDFD878320A4EA Time : 0.0 sec. user=mdettweiler [2016-10-15 01:21:31] 777*2^1442770-1 is not prime. Res64: 529055B12668C55F Time : 0.0 sec. user=mdettweiler [2016-10-15 01:21:32] 843*2^1442770-1 is not prime. Res64: 9E9E54B3A3B54148 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:21:33] 885*2^1442770-1 is not prime. Res64: CC138343E8C48303 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:25:15] 987*2^1442770-1 is not prime. Res64: 7187C1E39B01E288 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:25:17] 609*2^1442771-1 is not prime. Res64: FFC26E4DF0FD38C2 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:25:20] 759*2^1442771-1 is not prime. Res64: 2EC61A72B7A24670 Time : 0.0 sec. user=mdettweiler [2016-10-15 01:25:22] 811*2^1442771-1 is not prime. Res64: FC5B245D600AB33B Time : 0.0 sec. user=mdettweiler [2016-10-15 01:25:24] 825*2^1442771-1 is not prime. Res64: 1DEBD92364BC91BA Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:08] 871*2^1442771-1 is not prime. Res64: 330C500CB7E7C28B Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:11] 903*2^1442771-1 is not prime. Res64: D5833B56CD9BD1CC Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:13] 605*2^1442772-1 is not prime. Res64: 18CA747168C90371 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:14] 979*2^1442771-1 is not prime. Res64: FBBE12987828378E Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:17] 687*2^1442773-1 is not prime. Res64: CAF577693664646D Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:19] 991*2^1442771-1 is not prime. Res64: 97F366AD7B8EA2D3 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:20] 691*2^1442773-1 is not prime. Res64: 4EF1E501340793DD Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:22] 699*2^1442773-1 is not prime. Res64: C8C83BF4AEF9AD96 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:24] 727*2^1442773-1 is not prime. Res64: F792623EAFAE619A Time : 0.0 sec. user=mdettweiler [2016-10-15 02:05:25] 999*2^1442771-1 is not prime. Res64: F0B5BD9B3F27C7AE Time : 0.0 sec. user=mdettweiler [2016-10-15 02:06:10] 817*2^1442773-1 is not prime. Res64: 7F444AE5F5990B07 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:06:12] 925*2^1442773-1 is not prime. Res64: EA0A37D5BFCCAB57 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:06:13] 945*2^1442773-1 is not prime. Res64: 3DE7FB8F1049F252 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:06:15] 951*2^1442773-1 is not prime. Res64: C88DC786A3CE28C5 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:06:16] 671*2^1442774-1 is not prime. Res64: 148C732EF9BEFE4B Time : 0.0 sec. user=mdettweiler [2016-10-15 02:10:05] 711*2^1442774-1 is not prime. Res64: 0DB1F5B3D76686B4 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:10:10] 773*2^1442774-1 is not prime. Res64: 404C26D8329A721D Time : 0.0 sec. user=mdettweiler [2016-10-15 02:10:13] 851*2^1442774-1 is not prime. Res64: B0A49D513CFF2D38 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:10:15] 873*2^1442774-1 is not prime. Res64: A0664F82C015B1D1 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:10:19] 887*2^1442774-1 is not prime. Res64: 50B037E37F25F60C Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:29] 651*2^1442775-1 is not prime. Res64: EF1B8A0A0CE8CD98 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:30] 765*2^1442775-1 is not prime. Res64: 8032F65961C76B85 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:30] 999*2^1442775-1 is not prime. Res64: 070B7FCAA8576C5B Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:31] 645*2^1442776-1 is not prime. Res64: AABDB4994E67E0CD Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:31] 825*2^1442776-1 is not prime. Res64: 9E76AB3E27C4E21F Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:31] 699*2^1442776-1 is not prime. Res64: 3B23DA582B07C3A8 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:32] 843*2^1442776-1 is not prime. Res64: 682A1CF7D4D2C821 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:32] 685*2^1442777-1 is not prime. Res64: EF8E050AD62B3F28 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:33] 691*2^1442777-1 is not prime. Res64: 0CF19631FF139EB8 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:33] 735*2^1442777-1 is not prime. Res64: CD78B895F10AFB93 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:55] 747*2^1442777-1 is not prime. Res64: EA7E226B0639AF2E Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:56] 771*2^1442777-1 is not prime. Res64: 666C9990FE3CF0B4 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:57] 781*2^1442777-1 is not prime. Res64: F40A341F824D404F Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:58] 871*2^1442777-1 is not prime. Res64: D9C2BDD4BB7C7BCA Time : 0.0 sec. user=mdettweiler [2016-10-15 02:50:59] 939*2^1442777-1 is not prime. Res64: 82E1F7F92AB9E0DD Time : 0.0 sec. user=mdettweiler [2016-10-15 02:55:10] 633*2^1442778-1 is not prime. Res64: 60C0FAB6095B6D92 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:55:10] 747*2^1442778-1 is not prime. Res64: B43DB356CF558D3F Time : 0.0 sec. user=mdettweiler [2016-10-15 02:55:11] 773*2^1442778-1 is not prime. Res64: C078AACCA2695B89 Time : 0.0 sec. user=mdettweiler [2016-10-15 02:55:11] 797*2^1442778-1 is not prime. Res64: 626A1D61BDFDD86A Time : 0.0 sec. user=mdettweiler [2016-10-15 02:55:12] 861*2^1442778-1 is not prime. Res64: A59C8FB2B59AD856 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:10] 639*2^1442779-1 is not prime. Res64: D887CFB1617CF8DE Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:13] 663*2^1442779-1 is not prime. Res64: 60A65E4EAEF944BA Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:14] 765*2^1442779-1 is not prime. Res64: 76FE5CAD779E377B Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:15] 843*2^1442779-1 is not prime. Res64: 60B4940557498CFF Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:16] 769*2^1442779-1 is not prime. Res64: 095B6E1843EA6645 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:17] 883*2^1442779-1 is not prime. Res64: 114BF831EA173B72 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:17] 789*2^1442779-1 is not prime. Res64: 2ACA7BEFBBDDCB9B Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:18] 891*2^1442779-1 is not prime. Res64: BF63F3FCCA8528CA Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:20] 985*2^1442779-1 is not prime. Res64: 97656D442E9FB6C2 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:22] 629*2^1442780-1 is not prime. Res64: 3017D8C8BABF2306 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:36] 669*2^1442780-1 is not prime. Res64: 0DA6431539AF6315 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:39] 729*2^1442780-1 is not prime. Res64: B99F8607AEB5E97A Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:41] 843*2^1442780-1 is not prime. Res64: 5F0C9503B5F2B314 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:44] 945*2^1442780-1 is not prime. Res64: 2CD7A27CC2EDBB66 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:35:47] 995*2^1442780-1 is not prime. Res64: 3E50268B79B19921 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:39:40] 717*2^1442781-1 is not prime. Res64: 0C677ABB19763C65 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:39:42] 865*2^1442781-1 is not prime. Res64: 9314B9523D67CDA8 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:39:43] 895*2^1442781-1 is not prime. Res64: 918139037A6CF0A5 Time : 0.0 sec. user=mdettweiler [2016-10-15 03:39:44] 761*2^1442782-1 is not prime. Res64: 158E86B9F074943F Time : 0.0 sec. user=mdettweiler [2016-10-15 03:39:45] 801*2^1442782-1 is not prime. Res64: 72B962B149134B6C Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:48] 705*2^1442783-1 is not prime. Res64: 0F2AC2783E65FE07 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:48] 741*2^1442783-1 is not prime. Res64: 76BBAD8DB868000B Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:49] 861*2^1442783-1 is not prime. Res64: D33D411AEF808122 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:50] 605*2^1442784-1 is not prime. Res64: C4E4DAE3B4051592 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:50] 657*2^1442784-1 is not prime. Res64: 3431DBBA2DEEB5DF Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:53] 843*2^1442782-1 is not prime. Res64: 68F11912FD1DCE15 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:54] 885*2^1442782-1 is not prime. Res64: E391AAC35CD44AD2 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:54] 915*2^1442782-1 is not prime. Res64: 7150DE95C241F4C1 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:55] 609*2^1442783-1 is not prime. Res64: 3C55961FC308A238 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:20:55] 621*2^1442783-1 is not prime. Res64: 797A504A17D44E1C Time : 0.0 sec. user=mdettweiler [2016-10-15 04:21:22] 705*2^1442784-1 is not prime. Res64: 36016E326A768BD3 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:21:23] 747*2^1442784-1 is not prime. Res64: 5A8931F0220912AD Time : 0.0 sec. user=mdettweiler [2016-10-15 04:21:23] 837*2^1442784-1 is not prime. Res64: 176C162A5DD56955 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:21:24] 849*2^1442784-1 is not prime. Res64: EAF446B99CEEC9A1 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:21:24] 959*2^1442784-1 is not prime. Res64: 9EB28D6DFB635F1B Time : 0.0 sec. user=mdettweiler [2016-10-15 04:26:46] 649*2^1442785-1 is not prime. Res64: 4307CED1154F2D72 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:26:46] 661*2^1442785-1 is not prime. Res64: 042150AE25C2B71B Time : 0.0 sec. user=mdettweiler [2016-10-15 04:26:47] 675*2^1442785-1 is not prime. Res64: 07B4C346FBDA1C42 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:26:47] 721*2^1442785-1 is not prime. Res64: FA3739C01C4CA6F6 Time : 0.0 sec. user=mdettweiler [2016-10-15 04:26:48] 729*2^1442785-1 is not prime. Res64: C7D7EF58D67511B0 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:28] 759*2^1442785-1 is not prime. Res64: AAB5D43D75C99FD0 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:30] 765*2^1442785-1 is not prime. Res64: 53078DD6D0F4D0F8 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:32] 777*2^1442785-1 is not prime. Res64: E5E36B1E77FF7A12 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:34] 801*2^1442785-1 is not prime. Res64: C009D0637AFEF2BA Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:35] 975*2^1442785-1 is not prime. Res64: B554EAFDA3018BCB Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:36] 919*2^1442785-1 is not prime. Res64: 6E8D02F4B8A10FED Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:37] 997*2^1442785-1 is not prime. Res64: 4A0170538C2C77C6 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:40] 623*2^1442786-1 is not prime. Res64: 3A014135532ADBC9 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:42] 735*2^1442786-1 is not prime. Res64: AD9396AAF49EE374 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:49] 767*2^1442786-1 is not prime. Res64: AE1A343450EE3B8F Time : 0.0 sec. user=mdettweiler [2016-10-15 05:05:59] 825*2^1442786-1 is not prime. Res64: 7921E2C37E4EDA72 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:06:01] 609*2^1442787-1 is not prime. Res64: 824EE6A34A3AC460 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:06:03] 675*2^1442787-1 is not prime. Res64: 42796DE126D8E05A Time : 0.0 sec. user=mdettweiler [2016-10-15 05:06:04] 781*2^1442787-1 is not prime. Res64: BDF45D504516D941 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:06:06] 795*2^1442787-1 is not prime. Res64: 6C524CB0E1B9BCDC Time : 0.0 sec. user=mdettweiler [2016-10-15 05:11:14] 805*2^1442787-1 is not prime. Res64: 8E90C5B50C34DEC1 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:11:16] 895*2^1442787-1 is not prime. Res64: 298B8421FA5D5364 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:11:16] 909*2^1442787-1 is not prime. Res64: FFE10FD9AA12CB90 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:11:17] 931*2^1442787-1 is not prime. Res64: 630E284D1C34B530 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:11:18] 955*2^1442787-1 is not prime. Res64: A4B0B824F18B38CB Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:26] 605*2^1442788-1 is not prime. Res64: 9BA946FEC7216600 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:27] 639*2^1442788-1 is not prime. Res64: 252F8FD6EEB2A09B Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:27] 663*2^1442788-1 is not prime. Res64: 344964F5EEBF36FA Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:27] 777*2^1442788-1 is not prime. Res64: 44FA751D27A31953 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:28] 819*2^1442788-1 is not prime. Res64: 1D6B5CA67E826EA2 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:34] 875*2^1442788-1 is not prime. Res64: 0F54AF823FEFC3AC Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:34] 993*2^1442788-1 is not prime. Res64: 8929A9A5270D857B Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:35] 645*2^1442789-1 is not prime. Res64: 0E3D4C855AE30B9C Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:35] 657*2^1442789-1 is not prime. Res64: 96FF1C790DC1220E Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:36] 685*2^1442789-1 is not prime. Res64: 7C6B715157D8F06F Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:41] 691*2^1442789-1 is not prime. Res64: 4AB5A5B5FCFD9152 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:42] 769*2^1442789-1 is not prime. Res64: E4E70F1CFB1B0D3A Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:42] 789*2^1442789-1 is not prime. Res64: 78E68CA3CB177BC6 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:43] 799*2^1442789-1 is not prime. Res64: 940FCABE14327013 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:50:43] 885*2^1442789-1 is not prime. Res64: A6FDFA4790409C72 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:55:47] 927*2^1442789-1 is not prime. Res64: 52BE0D6E67B000C9 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:55:47] 939*2^1442789-1 is not prime. Res64: 7EAD8F64091BC11F Time : 0.0 sec. user=mdettweiler [2016-10-15 05:55:48] 627*2^1442790-1 is not prime. Res64: DFC06998C97A7A61 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:55:48] 677*2^1442790-1 is not prime. Res64: 176E4FBDEE8CC0F1 Time : 0.0 sec. user=mdettweiler [2016-10-15 05:55:48] 725*2^1442790-1 is not prime. Res64: 900EBEDC4C1BAB0E Time : 0.0 sec. user=mdettweiler [2016-10-15 06:34:54] 965*2^1442790-1 is not prime. Res64: 52C556A8AFBB970D Time : 0.0 sec. user=mdettweiler [2016-10-15 06:34:55] 615*2^1442791-1 is not prime. Res64: 741509665D8F0209 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:34:55] 735*2^1442791-1 is not prime. Res64: 069277160E94361E Time : 0.0 sec. user=mdettweiler [2016-10-15 06:34:56] 793*2^1442791-1 is not prime. Res64: D7AB3B3CB9C5DD71 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:34:56] 931*2^1442791-1 is not prime. Res64: ED2E814FC92E5D65 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:03] 867*2^1442792-1 is not prime. Res64: 183883012D2FE6E7 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:03] 875*2^1442792-1 is not prime. Res64: 8137A574797CA229 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:04] 915*2^1442792-1 is not prime. Res64: DC0094D1FEE099D9 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:04] 627*2^1442793-1 is not prime. Res64: 105F7A85D3CD0F8F Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:05] 705*2^1442793-1 is not prime. Res64: BB78AA8723A366AA Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:09] 933*2^1442791-1 is not prime. Res64: B421C0342607DFE5 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:09] 973*2^1442791-1 is not prime. Res64: C6B577ED06484140 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:10] 633*2^1442792-1 is not prime. Res64: BEDF0BFFC56185A3 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:10] 635*2^1442792-1 is not prime. Res64: AF56503902CBA8E5 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:35:11] 665*2^1442792-1 is not prime. Res64: 1D1308CCBEA61FA3 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:40:16] 741*2^1442793-1 is not prime. Res64: 8BC874587A95D82F Time : 0.0 sec. user=mdettweiler [2016-10-15 06:40:17] 745*2^1442793-1 is not prime. Res64: 782C724B01B6AA90 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:40:17] 811*2^1442793-1 is not prime. Res64: A5F11A227AC63304 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:40:18] 817*2^1442793-1 is not prime. Res64: A6D92DCDFF89B281 Time : 0.0 sec. user=mdettweiler [2016-10-15 06:40:18] 955*2^1442793-1 is not prime. Res64: A1F33D4FBB0E395C Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:31] 987*2^1442793-1 is not prime. Res64: 785B14F069D78840 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:32] 635*2^1442794-1 is not prime. Res64: C3D0D998D6404D84 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:32] 815*2^1442794-1 is not prime. Res64: 3D29D71E7ABC51F0 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:33] 693*2^1442795-1 is not prime. Res64: C83D82A0ADDED194 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:33] 957*2^1442794-1 is not prime. Res64: 45427709B4C70061 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:33] 735*2^1442795-1 is not prime. Res64: 5F00686EF3162148 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:34] 789*2^1442795-1 is not prime. Res64: FB790FC17CF9F46D Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:34] 987*2^1442794-1 is not prime. Res64: F0FB58F174CD9BC5 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:35] 979*2^1442795-1 is not prime. Res64: 53990297FFD8F84D Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:35] 765*2^1442796-1 is not prime. Res64: 65F01276E647065D Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:42] 767*2^1442796-1 is not prime. Res64: 040AC59655396FB6 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:42] 783*2^1442796-1 is not prime. Res64: 27E592A63C455FAC Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:42] 789*2^1442796-1 is not prime. Res64: 2E6D65AE826F7B77 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:43] 857*2^1442796-1 is not prime. Res64: B3CA80189E3251F0 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:19:43] 887*2^1442796-1 is not prime. Res64: 3CE7B078CCAD3731 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:24:55] 903*2^1442796-1 is not prime. Res64: 42D33512F1418314 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:24:55] 905*2^1442796-1 is not prime. Res64: CF4786740B3698E9 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:24:56] 601*2^1442797-1 is not prime. Res64: 69F2088F8BEEC043 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:24:56] 625*2^1442797-1 is not prime. Res64: 5A03161FBB0FF165 Time : 0.0 sec. user=mdettweiler [2016-10-15 07:24:57] 687*2^1442797-1 is not prime. Res64: 31BD9A76B5C5C6D6 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:14] 845*2^1442798-1 is not prime. Res64: AD16B963A858AC51 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:16] 857*2^1442798-1 is not prime. Res64: 0ECB71C6FD31F704 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:17] 859*2^1442797-1 is not prime. Res64: F9BF2ED617B64D19 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:19] 601*2^1442799-1 is not prime. Res64: 950824D001DED365 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:19] 641*2^1442798-1 is not prime. Res64: F304E4A1A9D47417 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:20] 657*2^1442798-1 is not prime. Res64: 284F27100421ACB9 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:20] 615*2^1442799-1 is not prime. Res64: 9AC9FE535120015F Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:21] 813*2^1442798-1 is not prime. Res64: 5BC7EA4ABB5B1FDD Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:22] 831*2^1442798-1 is not prime. Res64: 559BD61085178F21 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:23] 693*2^1442799-1 is not prime. Res64: 34C692C3CE17083E Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:29] 735*2^1442799-1 is not prime. Res64: 2874FEA9D01F6730 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:30] 741*2^1442799-1 is not prime. Res64: 9E21FDA8A682CBF6 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:32] 795*2^1442799-1 is not prime. Res64: 9E96330C02A0BDD8 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:33] 895*2^1442799-1 is not prime. Res64: BCEA2B998D4A6A78 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:04:34] 969*2^1442799-1 is not prime. Res64: 6EAFC385733E21C5 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:09:33] 653*2^1442800-1 is not prime. Res64: 842E3DC6CF10D89E Time : 0.0 sec. user=mdettweiler [2016-10-15 08:09:34] 827*2^1442800-1 is not prime. Res64: F4A74CB010335DD0 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:09:35] 843*2^1442800-1 is not prime. Res64: 780359797755288C Time : 0.0 sec. user=mdettweiler [2016-10-15 08:09:36] 899*2^1442800-1 is not prime. Res64: 392F6DB15F1F9499 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:09:37] 601*2^1442801-1 is not prime. Res64: 1EA2E4C81330E17E Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:17] 801*2^1442802-1 is not prime. Res64: B374701AAFF4FDCB Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:18] 963*2^1442802-1 is not prime. Res64: 9E3011B380219F65 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:18] 1001*2^1442802-1 is not prime. Res64: F0F7EDDAC2B80015 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:19] 615*2^1442803-1 is not prime. Res64: 708263D9D2C0E5BB Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:19] 775*2^1442803-1 is not prime. Res64: 5A7EEE985AEBDED3 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:23] 615*2^1442801-1 is not prime. Res64: 7A40DA64DAD9BB1E Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:23] 937*2^1442801-1 is not prime. Res64: BF268B073FD02FBC Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:24] 949*2^1442801-1 is not prime. Res64: 9E5727CCB6C05E47 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:24] 665*2^1442802-1 is not prime. Res64: 1404F80EA25E0870 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:25] 677*2^1442802-1 is not prime. Res64: 21254D0D09AFE19A Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:31] 855*2^1442801-1 is not prime. Res64: CC50A37044B8B04C Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:32] 901*2^1442803-1 is not prime. Res64: A772201A81C32EA0 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:32] 973*2^1442803-1 is not prime. Res64: B40CF57D9B770E6B Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:33] 689*2^1442804-1 is not prime. Res64: 7D8A46356CDDC50A Time : 0.0 sec. user=mdettweiler [2016-10-15 08:49:33] 699*2^1442804-1 is not prime. Res64: 6E8C87D5C973DE5B Time : 0.0 sec. user=mdettweiler [2016-10-15 08:54:14] 785*2^1442804-1 is not prime. Res64: 4A8C80CE0C2050D6 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:54:15] 855*2^1442804-1 is not prime. Res64: 1663A7085E4DFB81 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:54:15] 959*2^1442804-1 is not prime. Res64: 67E3BD6D2EFBB6D0 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:54:15] 609*2^1442805-1 is not prime. Res64: 8F0F03752DF2B878 Time : 0.0 sec. user=mdettweiler [2016-10-15 08:54:16] 685*2^1442805-1 is not prime. Res64: 256BF69B8A05A66F Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:51] 837*2^1442805-1 is not prime. Res64: 8C3009D807871390 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:52] 847*2^1442805-1 is not prime. Res64: BE2AA0E3A552ECF8 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:53] 937*2^1442805-1 is not prime. Res64: 74EC66621985BEC0 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:54] 951*2^1442805-1 is not prime. Res64: F620BCCE60DC3E7F Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:54] 717*2^1442805-1 is not prime. Res64: A6508A69562F412B Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:55] 705*2^1442806-1 is not prime. Res64: A25E05604B74703D Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:55] 721*2^1442805-1 is not prime. Res64: BEDA77419DC9E033 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:55] 735*2^1442805-1 is not prime. Res64: A2E37062916179C9 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:56] 741*2^1442805-1 is not prime. Res64: FCC0F715C99DEAF1 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:33:57] 805*2^1442805-1 is not prime. Res64: 68AA5C7D96B0882C Time : 0.0 sec. user=mdettweiler [2016-10-15 09:34:02] 861*2^1442806-1 is not prime. Res64: E87EBE4142E638EE Time : 0.0 sec. user=mdettweiler [2016-10-15 09:34:03] 873*2^1442806-1 is not prime. Res64: 534674EEE341DA09 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:34:03] 911*2^1442806-1 is not prime. Res64: 3E42115DFFA8BBF7 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:34:04] 947*2^1442806-1 is not prime. Res64: B1571BD94800E909 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:34:04] 615*2^1442807-1 is not prime. Res64: 3CE35AA45910AD3A Time : 0.0 sec. user=mdettweiler [2016-10-15 09:38:49] 649*2^1442807-1 is not prime. Res64: 61AE655C7E1715B0 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:38:49] 673*2^1442807-1 is not prime. Res64: 7581CDEBEBA29770 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:38:50] 735*2^1442807-1 is not prime. Res64: E8056687348BAB16 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:38:50] 825*2^1442807-1 is not prime. Res64: 8D95171BB40D7DD2 Time : 0.0 sec. user=mdettweiler [2016-10-15 09:38:50] 865*2^1442807-1 is not prime. Res64: 33DF86B86CF6A6D2 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:23] 901*2^1442807-1 is not prime. Res64: 2D65C3DC4C9FE69C Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:23] 981*2^1442807-1 is not prime. Res64: 489D978DA6B1CB60 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:24] 615*2^1442808-1 is not prime. Res64: 4508E0365C8462F6 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:24] 663*2^1442808-1 is not prime. Res64: C8D011042780F725 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:25] 753*2^1442808-1 is not prime. Res64: CC12545770F28C62 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:27] 789*2^1442808-1 is not prime. Res64: F366A9E7654E9EE9 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:27] 809*2^1442808-1 is not prime. Res64: 2120F2F398300997 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:28] 909*2^1442808-1 is not prime. Res64: DEEF6DD0045F784E Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:28] 993*2^1442808-1 is not prime. Res64: 64FB33A4E6D7878B Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:29] 729*2^1442809-1 is not prime. Res64: 339E065B4469A22D Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:38] 747*2^1442809-1 is not prime. Res64: 7B2B7B2950B3D9C9 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:39] 855*2^1442809-1 is not prime. Res64: 6B0FD55C80C1F367 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:39] 877*2^1442809-1 is not prime. Res64: 1D9EFDD327256E1B Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:40] 939*2^1442809-1 is not prime. Res64: 7052E4C15B3E0E11 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:18:40] 987*2^1442809-1 is not prime. Res64: 32993F482597E2C0 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:23:16] 603*2^1442810-1 is not prime. Res64: F05C2E51703B1F47 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:23:16] 707*2^1442810-1 is not prime. Res64: 38F322B65732F259 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:23:17] 797*2^1442810-1 is not prime. Res64: C9E24C9457B5A54B Time : 0.0 sec. user=mdettweiler [2016-10-15 10:23:17] 887*2^1442810-1 is not prime. Res64: 30AEF135085E6557 Time : 0.0 sec. user=mdettweiler [2016-10-15 10:23:18] 935*2^1442810-1 is not prime. Res64: 0B73A9CE419CEB1B Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:52] 605*2^1442812-1 is not prime. Res64: 0907BE70F6FB10A7 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:53] 855*2^1442812-1 is not prime. Res64: DC3FED6B5C60D6B1 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:53] 869*2^1442812-1 is not prime. Res64: A44F1C41E75E886C Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:54] 941*2^1442810-1 is not prime. Res64: 3F3A8426183E4582 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:55] 909*2^1442812-1 is not prime. Res64: FC31DF54760DBD48 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:56] 945*2^1442810-1 is not prime. Res64: 269C8742E265DE34 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:56] 619*2^1442813-1 is not prime. Res64: E1B9508DBD0E5A87 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:56] 781*2^1442811-1 is not prime. Res64: 7267C1D2AE57A9D1 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:57] 783*2^1442811-1 is not prime. Res64: A642EBF4B2C80833 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:02:58] 909*2^1442811-1 is not prime. Res64: 16EE8321CABDD558 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:03:04] 727*2^1442813-1 is not prime. Res64: BF900D0885306228 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:03:05] 741*2^1442813-1 is not prime. Res64: 1D44198F241203AD Time : 0.0 sec. user=mdettweiler [2016-10-15 11:03:06] 745*2^1442813-1 is not prime. Res64: 643B3CE3E6EE654B Time : 0.0 sec. user=mdettweiler [2016-10-15 11:03:07] 781*2^1442813-1 is not prime. Res64: FBDF20F0C411B57C Time : 0.0 sec. user=mdettweiler [2016-10-15 11:03:08] 837*2^1442813-1 is not prime. Res64: 42AC9CD036F292B7 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:07:45] 861*2^1442813-1 is not prime. Res64: 343F96010CC7D5E3 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:07:45] 945*2^1442813-1 is not prime. Res64: B6516AEF54E8672C Time : 0.0 sec. user=mdettweiler [2016-10-15 11:07:46] 683*2^1442814-1 is not prime. Res64: 2CD7D1EDBD7F4064 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:07:46] 705*2^1442814-1 is not prime. Res64: FAFC819BD1F463E5 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:07:47] 707*2^1442814-1 is not prime. Res64: 4954C3064BAFFA5E Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:33] 913*2^1442815-1 is not prime. Res64: 2E617633A31715D4 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:33] 615*2^1442816-1 is not prime. Res64: E3B2898538ECDDF8 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:33] 777*2^1442817-1 is not prime. Res64: 6066AF8534BDEFF9 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:34] 923*2^1442816-1 is not prime. Res64: 79B0DB4FE9B762A1 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:34] 871*2^1442817-1 is not prime. Res64: 2F627FABB68400D2 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:34] 927*2^1442816-1 is not prime. Res64: E5A526CF4FD8BBAD Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:34] 991*2^1442817-1 is not prime. Res64: CAF7EED0ABF747F9 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:35] 699*2^1442817-1 is not prime. Res64: 6F318BDA56514B1A Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:35] 603*2^1442818-1 is not prime. Res64: 6CF0274B653E2DB4 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:35] 681*2^1442818-1 is not prime. Res64: 972974C2C85FAD25 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:39] 741*2^1442814-1 is not prime. Res64: 35D735FA849AAA58 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:39] 619*2^1442815-1 is not prime. Res64: 7749B09C69891289 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:40] 735*2^1442815-1 is not prime. Res64: 9AC0C10F528B0E0E Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:40] 861*2^1442815-1 is not prime. Res64: 839023F3F5860AE2 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:47:41] 873*2^1442815-1 is not prime. Res64: ADBA37820BC1D5E0 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:52:30] 791*2^1442818-1 is not prime. Res64: 800263A0D0B12397 Time : 0.0 sec. user=mdettweiler [2016-10-15 11:52:30] 833*2^1442818-1 is not prime. Res64: 66F2E1B1CC3F4EDA Time : 0.0 sec. user=mdettweiler [2016-10-15 11:52:30] 911*2^1442818-1 is not prime. Res64: 1842278E0D48386F Time : 0.0 sec. user=mdettweiler [2016-10-15 11:52:31] 615*2^1442819-1 is not prime. Res64: 00408286B98A685F Time : 0.0 sec. user=mdettweiler [2016-10-15 11:52:31] 633*2^1442819-1 is not prime. Res64: B19B60E633A0A48F Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:12] 707*2^1442820-1 is not prime. Res64: 6A8E0EEA536E50B2 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:12] 737*2^1442820-1 is not prime. Res64: 8A53231EF25350EE Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:13] 759*2^1442820-1 is not prime. Res64: 9E6DD97CCBAFD803 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:13] 879*2^1442820-1 is not prime. Res64: 2AFD78CA71DE870D Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:14] 619*2^1442821-1 is not prime. Res64: BDD048EFBF2B7D7F Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:15] 669*2^1442819-1 is not prime. Res64: 57E808FA88A98089 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:16] 949*2^1442819-1 is not prime. Res64: 220072512873D541 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:16] 969*2^1442819-1 is not prime. Res64: EDEB9BBA054D250D Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:17] 627*2^1442820-1 is not prime. Res64: 1B4ABFDBEBCCCF94 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:32:17] 669*2^1442820-1 is not prime. Res64: 12E4ED9B01990342 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:33:00] 639*2^1442821-1 is not prime. Res64: 57F1D6C19039CCFA Time : 0.0 sec. user=mdettweiler [2016-10-15 12:33:00] 645*2^1442821-1 is not prime. Res64: 75183A3B2564B8A6 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:33:01] 675*2^1442821-1 is not prime. Res64: 3A53AFF0B234ACCF Time : 0.0 sec. user=mdettweiler [2016-10-15 12:33:01] 681*2^1442821-1 is not prime. Res64: 5D71AE3B2564D9BB Time : 0.0 sec. user=mdettweiler [2016-10-15 12:33:02] 889*2^1442821-1 is not prime. Res64: 2EC775510DE10707 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:37:16] 945*2^1442821-1 is not prime. Res64: D807D310F35614C7 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:37:16] 979*2^1442821-1 is not prime. Res64: 84072ED280F812EB Time : 0.0 sec. user=mdettweiler [2016-10-15 12:37:17] 617*2^1442822-1 is not prime. Res64: BD42EBD5FBF52854 Time : 0.0 sec. user=mdettweiler [2016-10-15 12:37:17] 623*2^1442822-1 is not prime. Res64: 2B93AF697A3965DB Time : 0.0 sec. user=mdettweiler [2016-10-15 12:37:17] 645*2^1442822-1 is not prime. Res64: 8148531F218E108C Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:49] 903*2^1442822-1 is not prime. Res64: 52AEA01E1291F796 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:50] 649*2^1442823-1 is not prime. Res64: CE57251AE02455A4 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:50] 669*2^1442823-1 is not prime. Res64: 0A52AA41630ACA48 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:51] 703*2^1442823-1 is not prime. Res64: 95A5DFFEAC857F34 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:52] 735*2^1442823-1 is not prime. Res64: 0CFE2B654AFBC7BE Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:56] 795*2^1442823-1 is not prime. Res64: BD319E66BA887504 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:57] 885*2^1442823-1 is not prime. Res64: 5456EC7CA564284F Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:57] 913*2^1442823-1 is not prime. Res64: C543CDD9452AE37B Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:58] 623*2^1442824-1 is not prime. Res64: 85E27276C6A194D6 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:16:58] 635*2^1442824-1 is not prime. Res64: 242EABDF1E084104 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:17:50] 677*2^1442824-1 is not prime. Res64: 1FBD148A7D93704E Time : 0.0 sec. user=mdettweiler [2016-10-15 13:17:50] 693*2^1442824-1 is not prime. Res64: C88B31782893BFE5 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:17:51] 813*2^1442824-1 is not prime. Res64: 6AE095C4C7840A2C Time : 0.0 sec. user=mdettweiler [2016-10-15 13:17:51] 675*2^1442825-1 is not prime. Res64: C4DBF50E74A3798F Time : 0.0 sec. user=mdettweiler [2016-10-15 13:17:52] 679*2^1442825-1 is not prime. Res64: 6311305E3E32725E Time : 0.0 sec. user=mdettweiler [2016-10-15 13:21:50] 727*2^1442825-1 is not prime. Res64: 7162CFD1B1880F7B Time : 0.0 sec. user=mdettweiler [2016-10-15 13:21:50] 915*2^1442825-1 is not prime. Res64: 23E4877263B5BD61 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:21:51] 969*2^1442825-1 is not prime. Res64: 32ACC410C584802D Time : 0.0 sec. user=mdettweiler [2016-10-15 13:21:51] 711*2^1442826-1 is not prime. Res64: 9DB015AA22EB6324 Time : 0.0 sec. user=mdettweiler [2016-10-15 13:21:52] 765*2^1442826-1 is not prime. Res64: 02DA5D3DFE475D22 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:01:55] 767*2^1442826-1 is not prime. Res64: 7705CEC9B7D6563A Time : 0.0 sec. user=mdettweiler [2016-10-15 14:01:56] 963*2^1442826-1 is not prime. Res64: 88FC29E54DA4C4F4 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:01:58] 715*2^1442827-1 is not prime. Res64: 5BBEEC7F5A98DCA0 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:01:58] 765*2^1442827-1 is not prime. Res64: 28032898B77E9533 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:00] 775*2^1442827-1 is not prime. Res64: 8CC8CDED0A3E2AB0 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:19] 859*2^1442827-1 is not prime. Res64: 9F7AC536511EB96E Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:20] 895*2^1442827-1 is not prime. Res64: E94932DB4F177B40 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:21] 901*2^1442827-1 is not prime. Res64: C1AE80C8220060D4 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:22] 915*2^1442827-1 is not prime. Res64: 8AF9261A8B21F2F6 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:23] 961*2^1442827-1 is not prime. Res64: ACF11F39A46C9BD1 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:43] 985*2^1442827-1 is not prime. Res64: 5F7153BFF5B67F7D Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:44] 999*2^1442827-1 is not prime. Res64: 61F3F1C47F945A17 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:45] 623*2^1442828-1 is not prime. Res64: 0628B9B18807B1D6 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:46] 707*2^1442828-1 is not prime. Res64: 1565BCAED8E8924B Time : 0.0 sec. user=mdettweiler [2016-10-15 14:02:46] 753*2^1442828-1 is not prime. Res64: 60DD86E8BE89DC9C Time : 0.0 sec. user=mdettweiler [2016-10-15 14:07:01] 843*2^1442828-1 is not prime. Res64: CD1F6D846AF27382 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:07:02] 953*2^1442828-1 is not prime. Res64: C9381B18AA3616DA Time : 0.0 sec. user=mdettweiler [2016-10-15 14:07:02] 625*2^1442829-1 is not prime. Res64: 2C8CDE774E4D46D9 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:07:03] 669*2^1442829-1 is not prime. Res64: 9246626658500B1A Time : 0.0 sec. user=mdettweiler [2016-10-15 14:07:03] 741*2^1442829-1 is not prime. Res64: CD6486BBE3591A24 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:46:55] 811*2^1442829-1 is not prime. Res64: FB19A77407931AC4 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:46:55] 835*2^1442829-1 is not prime. Res64: 5871FAFB975F76F0 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:46:56] 891*2^1442829-1 is not prime. Res64: 5EE0327BE08A2C19 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:46:56] 895*2^1442829-1 is not prime. Res64: 80EDAA7285293A16 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:46:57] 919*2^1442829-1 is not prime. Res64: 70912BD801E64DE3 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:47:30] 917*2^1442830-1 is not prime. Res64: ADA0E3F2CE4017B0 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:47:31] 645*2^1442831-1 is not prime. Res64: 37C0327A638298D3 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:47:31] 651*2^1442831-1 is not prime. Res64: 548894A4DEFCA704 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:47:32] 669*2^1442831-1 is not prime. Res64: B83E75F81139EB01 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:47:32] 693*2^1442831-1 is not prime. Res64: 7F9E5C0482F3AF5C Time : 0.0 sec. user=mdettweiler [2016-10-15 14:48:05] 961*2^1442829-1 is not prime. Res64: DC86406779F1A69D Time : 0.0 sec. user=mdettweiler [2016-10-15 14:48:06] 997*2^1442829-1 is not prime. Res64: B1C02ED927794CDD Time : 0.0 sec. user=mdettweiler [2016-10-15 14:48:06] 635*2^1442830-1 is not prime. Res64: 3BBEE752FBDDFF42 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:48:07] 695*2^1442830-1 is not prime. Res64: 1F20C8B177FD4159 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:48:07] 891*2^1442830-1 is not prime. Res64: B92BBD4F631FB950 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:51:44] 895*2^1442831-1 is not prime. Res64: C58D708032F4DEC9 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:51:44] 909*2^1442831-1 is not prime. Res64: BFB8BB2CB06D0D97 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:51:44] 955*2^1442831-1 is not prime. Res64: D21CB7A8284B5D49 Time : 0.0 sec. user=mdettweiler [2016-10-15 14:51:45] 969*2^1442831-1 is not prime. Res64: D04B97D78D53BD5F Time : 0.0 sec. user=mdettweiler [2016-10-15 14:51:45] 797*2^1442832-1 is not prime. Res64: 0DBE05FCA67B4466 Time : 0.0 sec. user=mdettweiler [2016-10-15 15:31:37] 903*2^1442832-1 is not prime. Res64: 6B23E0B2094DD98C Time : 0.0 sec. user=mdettweiler [2016-10-15 15:31:37] 721*2^1442833-1 is not prime. Res64: 21840BE06946DA4A Time : 0.0 sec. user=mdettweiler [2016-10-15 15:31:38] 765*2^1442833-1 is not prime. Res64: 068BB415B9D5F746 Time : 0.0 sec. user=mdettweiler [2016-10-15 15:31:38] 877*2^1442833-1 is not prime. Res64: 140426DD47E908F4 Time : 0.0 sec. user=mdettweiler [2016-10-15 15:31:39] 885*2^1442833-1 is not prime. Res64: 4FA312C29D557494 Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:02] 897*2^1442833-1 is not prime. Res64: 46F90DB52738E01C Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:03] 957*2^1442833-1 is not prime. Res64: 39108CF025D948FE Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:03] 797*2^1442834-1 is not prime. Res64: D9646B0C90749CC3 Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:04] 851*2^1442834-1 is not prime. Res64: F36B634E9D2F4D04 Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:04] 857*2^1442834-1 is not prime. Res64: F9CA6C4A503DBEBD Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:50] 875*2^1442834-1 is not prime. Res64: 274E321A24A5308F Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:51] 993*2^1442834-1 is not prime. Res64: F010426D34632A7E Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:51] 741*2^1442835-1 is not prime. Res64: 83B3B85790ADBB2E Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:51] 765*2^1442835-1 is not prime. Res64: 80D645C873DDDA58 Time : 0.0 sec. user=mdettweiler [2016-10-15 15:32:52] 783*2^1442835-1 is not prime. Res64: DEADDC40CA13EDBC Time : 0.0 sec. user=mdettweiler [2016-10-15 15:36:24] 795*2^1442835-1 is not prime. Res64: 04F453E01390160F Time : 0.0 sec. user=mdettweiler [2016-10-15 15:36:24] 885*2^1442835-1 is not prime. Res64: FC58A2A00045054E Time : 0.0 sec. user=mdettweiler [2016-10-15 15:36:25] 963*2^1442835-1 is not prime. Res64: 2221FA8C0D957A8D Time : 0.0 sec. user=mdettweiler [2016-10-15 15:36:25] 609*2^1442836-1 is not prime. Res64: 2C652E9B54E7DE0F Time : 0.0 sec. user=mdettweiler [2016-10-15 15:36:26] 629*2^1442836-1 is not prime. Res64: E22746241FFDA27A Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:30] 653*2^1442836-1 is not prime. Res64: 26588FDCF042CC65 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:31] 695*2^1442836-1 is not prime. Res64: 45045D3FE552785E Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:32] 723*2^1442836-1 is not prime. Res64: 9FA8AC2E3EBE5171 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:32] 749*2^1442836-1 is not prime. Res64: A49A00324992764E Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:33] 843*2^1442836-1 is not prime. Res64: 54A2D62E3AD96D16 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:46] 927*2^1442836-1 is not prime. Res64: B7301DF2C1CC9ADA Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:47] 987*2^1442836-1 is not prime. Res64: A29BF49F10B073C3 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:47] 735*2^1442837-1 is not prime. Res64: D97BCEC8E318EFB7 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:48] 747*2^1442837-1 is not prime. Res64: 39895410C92B94D7 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:16:48] 819*2^1442837-1 is not prime. Res64: 334476773851118A Time : 0.0 sec. user=mdettweiler [2016-10-15 16:18:58] 991*2^1442837-1 is not prime. Res64: 6BF4E2D60F59F34D Time : 0.0 sec. user=mdettweiler [2016-10-15 16:18:58] 683*2^1442838-1 is not prime. Res64: 13D78A85E96D46A8 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:18:59] 711*2^1442838-1 is not prime. Res64: 92087553BE13D29E Time : 0.0 sec. user=mdettweiler [2016-10-15 16:18:59] 755*2^1442838-1 is not prime. Res64: DF543C6F6DD1DEE0 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:19:00] 773*2^1442838-1 is not prime. Res64: 2F477E131F472790 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:21:17] 791*2^1442838-1 is not prime. Res64: D422474EA7F77CEE Time : 0.0 sec. user=mdettweiler [2016-10-15 16:21:18] 875*2^1442838-1 is not prime. Res64: 10B50B91CB422957 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:21:18] 923*2^1442838-1 is not prime. Res64: 5512622FC0DEAA71 Time : 0.0 sec. user=mdettweiler [2016-10-15 16:21:18] 941*2^1442838-1 is not prime. Res64: AA7013DB298C633A Time : 0.0 sec. user=mdettweiler [2016-10-15 16:21:19] 625*2^1442839-1 is not prime. Res64: DD805373417F6735 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:12] 649*2^1442839-1 is not prime. Res64: A43AC237F64ABCE3 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:13] 675*2^1442839-1 is not prime. Res64: 18C086F7BAED373C Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:14] 681*2^1442839-1 is not prime. Res64: B2B6ED383849C22D Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:15] 685*2^1442839-1 is not prime. Res64: 629AE47CEEE36537 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:16] 729*2^1442839-1 is not prime. Res64: 243B0D7A9834F98D Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:26] 771*2^1442839-1 is not prime. Res64: B411284E04A417E6 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:27] 853*2^1442839-1 is not prime. Res64: A529170895D31671 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:28] 973*2^1442839-1 is not prime. Res64: 98E05D6C4D67B51B Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:28] 677*2^1442840-1 is not prime. Res64: C10A6F9B366321FC Time : 0.0 sec. user=mdettweiler [2016-10-15 17:01:29] 743*2^1442840-1 is not prime. Res64: F53E89F23204F6AD Time : 0.0 sec. user=mdettweiler [2016-10-15 17:03:32] 767*2^1442840-1 is not prime. Res64: 525441280A1F1609 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:03:35] 797*2^1442840-1 is not prime. Res64: 337DC412953875B5 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:03:36] 845*2^1442840-1 is not prime. Res64: EC179A8CC5523818 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:03:37] 915*2^1442840-1 is not prime. Res64: EFD87FF1AAC00161 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:03:38] 959*2^1442840-1 is not prime. Res64: A0ADFE4F09B037B5 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:06:10] 963*2^1442840-1 is not prime. Res64: AF13FDD40E213EF8 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:06:11] 609*2^1442841-1 is not prime. Res64: 766237E568BABD88 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:06:12] 615*2^1442841-1 is not prime. Res64: 5853C107AB89D541 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:06:13] 649*2^1442841-1 is not prime. Res64: 4050B19AF19D5D33 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:06:14] 669*2^1442841-1 is not prime. Res64: 10440E6B53E2ED86 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:02] 949*2^1442841-1 is not prime. Res64: A337586CF12B1105 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:03] 987*2^1442841-1 is not prime. Res64: 6716F63F60A97989 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:03] 997*2^1442841-1 is not prime. Res64: D4A4AF36518791AE Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:04] 611*2^1442842-1 is not prime. Res64: 6C76FF68443AE332 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:04] 623*2^1442842-1 is not prime. Res64: 00CDF62096DAD284 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:18] 645*2^1442842-1 is not prime. Res64: DEE85DA4DEC1E176 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:19] 695*2^1442842-1 is not prime. Res64: 213CCC9114D9491E Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:19] 621*2^1442843-1 is not prime. Res64: 9B08C69113C5A1AD Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:20] 643*2^1442843-1 is not prime. Res64: 65EBB33158BDC07F Time : 0.0 sec. user=mdettweiler [2016-10-15 17:46:20] 669*2^1442843-1 is not prime. Res64: 3A33FE5077E93DD9 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:48:16] 825*2^1442843-1 is not prime. Res64: 5B6D1D0D664C5174 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:48:17] 915*2^1442843-1 is not prime. Res64: 7DFE1FF6452A52AE Time : 0.0 sec. user=mdettweiler [2016-10-15 17:48:17] 949*2^1442843-1 is not prime. Res64: 6588A62B18DD8ED1 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:48:18] 993*2^1442843-1 is not prime. Res64: 2F0E458A81F743BC Time : 0.0 sec. user=mdettweiler [2016-10-15 17:48:18] 789*2^1442844-1 is not prime. Res64: EE2E37969BA9FFE2 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:51:01] 929*2^1442844-1 is not prime. Res64: A3BE130D67AB3518 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:51:02] 935*2^1442844-1 is not prime. Res64: BB685A6EFDEAB5B3 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:51:02] 607*2^1442845-1 is not prime. Res64: 86A6F0D31EF67C17 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:51:02] 661*2^1442845-1 is not prime. Res64: 6031BFE914E83192 Time : 0.0 sec. user=mdettweiler [2016-10-15 17:51:03] 717*2^1442845-1 is not prime. Res64: F6E5A22009323FEF Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:31] 777*2^1442845-1 is not prime. Res64: 29AD2D7D4DAFB3C9 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:32] 849*2^1442845-1 is not prime. Res64: F96BC2F1BD1F0A8A Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:32] 915*2^1442845-1 is not prime. Res64: 9591F37C3BDCF24D Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:32] 743*2^1442846-1 is not prime. Res64: 516267CBE20AFCD3 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:33] 755*2^1442846-1 is not prime. Res64: D75BE9D5F2FCCBE4 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:48] 773*2^1442846-1 is not prime. Res64: 4CEDC361D4CE8439 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:49] 825*2^1442846-1 is not prime. Res64: 32124FB22F00F0D1 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:49] 693*2^1442847-1 is not prime. Res64: 8B11DCEC4E75F12A Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:49] 703*2^1442847-1 is not prime. Res64: 734AB8C6874641BF Time : 0.0 sec. user=mdettweiler [2016-10-15 18:31:49] 735*2^1442847-1 is not prime. Res64: 8626C6E254A09745 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:33:27] 739*2^1442847-1 is not prime. Res64: 649F66821C942055 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:33:28] 741*2^1442847-1 is not prime. Res64: 16B01493D8BC99DD Time : 0.0 sec. user=mdettweiler [2016-10-15 18:33:28] 823*2^1442847-1 is not prime. Res64: B1CE1F56E904C87E Time : 0.0 sec. user=mdettweiler [2016-10-15 18:33:28] 861*2^1442847-1 is not prime. Res64: D2C44AC43C7B1B95 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:33:29] 919*2^1442847-1 is not prime. Res64: C7339CDA9AA83AB2 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:37:28] 951*2^1442847-1 is not prime. Res64: 01D2D4FFA22B883B Time : 0.0 sec. user=mdettweiler [2016-10-15 18:37:28] 955*2^1442847-1 is not prime. Res64: 1B0E42DB420CBB92 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:37:28] 635*2^1442848-1 is not prime. Res64: 4C26A1C2326BBC20 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:37:28] 639*2^1442848-1 is not prime. Res64: C0D0BFE646B437B9 Time : 0.0 sec. user=mdettweiler [2016-10-15 18:37:29] 839*2^1442848-1 is not prime. Res64: 86EECDA365E3E40A Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:30] 735*2^1442849-1 is not prime. Res64: B84E77E62F42223F Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:30] 769*2^1442849-1 is not prime. Res64: 57E3F2C1FFABEC21 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:31] 795*2^1442849-1 is not prime. Res64: 0E3F7D7382B88250 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:31] 829*2^1442849-1 is not prime. Res64: 52D3B8C79487D4C0 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:32] 979*2^1442849-1 is not prime. Res64: 0A82FBF9629CDF46 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:53] 855*2^1442848-1 is not prime. Res64: EF305B52567BCAFD Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:53] 929*2^1442848-1 is not prime. Res64: C18DBA673556A9AA Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:54] 959*2^1442848-1 is not prime. Res64: 89FB83E5C5BCAB57 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:54] 989*2^1442848-1 is not prime. Res64: 9520B0B92E6D043D Time : 0.0 sec. user=mdettweiler [2016-10-15 19:19:54] 627*2^1442849-1 is not prime. Res64: 2700BC2673E9BDDC Time : 0.0 sec. user=mdettweiler [2016-10-15 19:21:21] 713*2^1442850-1 is not prime. Res64: 9AA8DDAB66A833B5 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:21:21] 797*2^1442850-1 is not prime. Res64: CEC6D708BAC8769D Time : 0.0 sec. user=mdettweiler [2016-10-15 19:21:21] 803*2^1442850-1 is not prime. Res64: 5DE61E0079395288 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:21:22] 933*2^1442850-1 is not prime. Res64: 62F62D2ED4594F34 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:21:22] 951*2^1442850-1 is not prime. Res64: E3C054A5BB2AC3AC Time : 0.0 sec. user=mdettweiler [2016-10-15 19:25:00] 631*2^1442851-1 is not prime. Res64: B2BA2813FBC080FD Time : 0.0 sec. user=mdettweiler [2016-10-15 19:25:00] 759*2^1442851-1 is not prime. Res64: 6A160D29972711B1 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:25:01] 909*2^1442851-1 is not prime. Res64: 45AC0A977B86BF09 Time : 0.0 sec. user=mdettweiler [2016-10-15 19:25:01] 665*2^1442852-1 is not prime. Res64: B13045D059C603BA Time : 0.0 sec. user=mdettweiler [2016-10-15 19:25:01] 873*2^1442852-1 is not prime. Res64: 45A3B4CBB2B2B464 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:06:51] 875*2^1442852-1 is not prime. Res64: E2DC5D5A9DBAE37F Time : 0.0 sec. user=mdettweiler [2016-10-15 20:06:53] 899*2^1442852-1 is not prime. Res64: 621712CD10AFCC6A Time : 0.0 sec. user=mdettweiler [2016-10-15 20:06:54] 915*2^1442852-1 is not prime. Res64: 200158212AC9B3D9 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:06:55] 923*2^1442852-1 is not prime. Res64: C4C05150D25DD9BD Time : 0.0 sec. user=mdettweiler [2016-10-15 20:06:56] 621*2^1442853-1 is not prime. Res64: 61E96A0E81331B23 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:07:03] 649*2^1442853-1 is not prime. Res64: 6717B6CDDCA08882 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:07:05] 679*2^1442853-1 is not prime. Res64: 7A283989EA742589 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:07:10] 849*2^1442853-1 is not prime. Res64: 79D1D6ACDD3D4794 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:07:12] 985*2^1442853-1 is not prime. Res64: 9697299752274601 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:07:13] 635*2^1442854-1 is not prime. Res64: 82C04B1B269E80A1 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:08:36] 657*2^1442854-1 is not prime. Res64: 28255C45E5313C29 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:08:37] 681*2^1442854-1 is not prime. Res64: C2AF714804545904 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:08:37] 821*2^1442854-1 is not prime. Res64: 90C520DB32A29FB5 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:08:37] 897*2^1442854-1 is not prime. Res64: 185BDD538E896382 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:08:38] 917*2^1442854-1 is not prime. Res64: 36F6B6DD23EEAE17 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:12:41] 601*2^1442855-1 is not prime. Res64: 4E7F1788327CF8BC Time : 0.0 sec. user=mdettweiler [2016-10-15 20:12:42] 619*2^1442855-1 is not prime. Res64: 13ADA6D40729568B Time : 0.0 sec. user=mdettweiler [2016-10-15 20:12:42] 663*2^1442855-1 is not prime. Res64: C5502F1C4273C339 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:12:43] 685*2^1442855-1 is not prime. Res64: FBFEBF9EA2F08542 Time : 0.0 sec. user=mdettweiler [2016-10-15 20:12:43] 759*2^1442855-1 is not prime. Res64: CEA7B81573B42554 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:00] 763*2^1442855-1 is not prime. Res64: 28A5BEB198549EA6 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:01] 789*2^1442855-1 is not prime. Res64: 72B5624702536F40 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:02] 819*2^1442855-1 is not prime. Res64: 791B4736F8440A61 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:03] 825*2^1442855-1 is not prime. Res64: AC205D80C19AA976 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:04] 859*2^1442855-1 is not prime. Res64: 71F63E1F71E96CD8 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:06] 983*2^1442856-1 is not prime. Res64: B6F6E680CBF022AE Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:08] 649*2^1442857-1 is not prime. Res64: B6A0650CA8E0D7A2 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:10] 729*2^1442857-1 is not prime. Res64: B37A8E3912063517 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:15] 633*2^1442856-1 is not prime. Res64: AB4423E45585F8A1 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:15] 885*2^1442855-1 is not prime. Res64: 693A9488916B5CF5 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:18] 723*2^1442856-1 is not prime. Res64: 3EEF975751581183 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:21] 817*2^1442857-1 is not prime. Res64: 394CF55DDF8DA706 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:22] 765*2^1442856-1 is not prime. Res64: 2B90DBA9BCDC5348 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:25] 949*2^1442855-1 is not prime. Res64: 24B9C5D8C34913FC Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:25] 845*2^1442856-1 is not prime. Res64: D6024A37A1C9A3C7 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:29] 909*2^1442856-1 is not prime. Res64: 6C9E744F6DCA0074 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:29] 963*2^1442855-1 is not prime. Res64: E3441C98124F603D Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:33] 981*2^1442855-1 is not prime. Res64: 346CA47E25EF3B0F Time : 0.0 sec. user=mdettweiler [2016-10-15 21:06:35] 623*2^1442856-1 is not prime. Res64: 695CCC8724DD8822 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:55:53] 945*2^1442857-1 is not prime. Res64: AFB9C318229921E9 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:55:53] 635*2^1442858-1 is not prime. Res64: 91CC74A82A8EEB98 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:55:54] 731*2^1442858-1 is not prime. Res64: 9CA68D3DCBF1AFD3 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:55:54] 813*2^1442858-1 is not prime. Res64: B0C87D730EF2AB5F Time : 0.0 sec. user=mdettweiler [2016-10-15 21:55:55] 885*2^1442858-1 is not prime. Res64: 17ACAB284A8A993E Time : 0.0 sec. user=mdettweiler [2016-10-15 21:57:02] 941*2^1442858-1 is not prime. Res64: 8799B55DBB4DFDC5 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:57:03] 977*2^1442858-1 is not prime. Res64: F8BA1E273E9BF507 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:57:03] 619*2^1442859-1 is not prime. Res64: E2D09369C643C8C5 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:57:04] 705*2^1442859-1 is not prime. Res64: 9CDC1BFFAA333B3F Time : 0.0 sec. user=mdettweiler [2016-10-15 21:57:04] 751*2^1442859-1 is not prime. Res64: 5C18B39EF5323A1B Time : 0.0 sec. user=mdettweiler [2016-10-15 21:58:26] 793*2^1442859-1 is not prime. Res64: 31211E66ED599DE6 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:58:27] 801*2^1442859-1 is not prime. Res64: 324E5BD0FCEF290C Time : 0.0 sec. user=mdettweiler [2016-10-15 21:58:27] 903*2^1442859-1 is not prime. Res64: DA0352C4779ECCAC Time : 0.0 sec. user=mdettweiler [2016-10-15 21:58:27] 677*2^1442860-1 is not prime. Res64: 7121263D0384FDD6 Time : 0.0 sec. user=mdettweiler [2016-10-15 21:58:28] 687*2^1442860-1 is not prime. Res64: CE778D863FB94560 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:42:32] 689*2^1442860-1 is not prime. Res64: 3F75852175C95B3C Time : 0.0 sec. user=mdettweiler [2016-10-15 22:42:33] 695*2^1442860-1 is not prime. Res64: BF9EF89F2165E8C8 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:42:33] 755*2^1442860-1 is not prime. Res64: 1BE0451D54DE7931 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:42:33] 777*2^1442860-1 is not prime. Res64: 1B96518AAAF9DC58 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:42:34] 785*2^1442860-1 is not prime. Res64: F223A58701CAAC14 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:43:32] 959*2^1442860-1 is not prime. Res64: 6621D66ED5A6F24C Time : 0.0 sec. user=mdettweiler [2016-10-15 22:43:33] 965*2^1442860-1 is not prime. Res64: D72E4162C6428ED6 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:43:33] 631*2^1442861-1 is not prime. Res64: 9BDFD1BE6E7A0D18 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:43:33] 735*2^1442861-1 is not prime. Res64: 12FEC8B0CC397BBB Time : 0.0 sec. user=mdettweiler [2016-10-15 22:43:34] 741*2^1442861-1 is not prime. Res64: C12E622FDEF36763 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:44:39] 861*2^1442861-1 is not prime. Res64: E7087F75918398B7 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:44:39] 991*2^1442861-1 is not prime. Res64: 2111D1980CB2DE09 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:44:40] 627*2^1442862-1 is not prime. Res64: 6D761A89F59E2C74 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:44:40] 821*2^1442862-1 is not prime. Res64: B99E24358BD90F02 Time : 0.0 sec. user=mdettweiler [2016-10-15 22:44:40] 863*2^1442862-1 is not prime. Res64: 9C53385D6B6156CB Time : 0.0 sec. user=mdettweiler [2016-10-15 22:53:24] 847*2^1442857-1 is not prime. Res64: D696D58C96CBC83B Time : 0.0 sec. user=mdettweiler [2016-10-15 23:38:47] 915*2^1442862-1 is not prime. Res64: 928E152469923AEC Time : 0.0 sec. user=mdettweiler [2016-10-15 23:38:47] 945*2^1442862-1 is not prime. Res64: 7B30AC210DB2F2C9 Time : 0.0 sec. user=mdettweiler [2016-10-15 23:38:48] 947*2^1442862-1 is not prime. Res64: CE89EE4FAC6189A9 Time : 0.0 sec. user=mdettweiler [2016-10-15 23:38:48] 975*2^1442862-1 is not prime. Res64: 1343B3DDFCB4F23D Time : 0.0 sec. user=mdettweiler [2016-10-15 23:38:49] 723*2^1442863-1 is not prime. Res64: AAC6C78F2E20848A Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:13] 765*2^1442863-1 is not prime. Res64: 461A0286FB54FB3B Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:13] 883*2^1442863-1 is not prime. Res64: EC1DBFC68A7366A3 Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:14] 945*2^1442863-1 is not prime. Res64: 8E2D9ED37B519BEC Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:14] 973*2^1442863-1 is not prime. Res64: D9FF839126D9CE0E Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:15] 623*2^1442864-1 is not prime. Res64: 001762C71567D8B7 Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:22] 825*2^1442864-1 is not prime. Res64: 1E8D0712B2EF00BF Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:22] 875*2^1442864-1 is not prime. Res64: 3E0F3088BF712C7E Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:23] 909*2^1442864-1 is not prime. Res64: E2A40CA68A2EC1CA Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:23] 995*2^1442864-1 is not prime. Res64: AAAA42D29ABEC157 Time : 0.0 sec. user=mdettweiler [2016-10-15 23:39:24] 679*2^1442865-1 is not prime. Res64: 2B566F16FD8582FD Time : 0.0 sec.