user=mdettweiler [2016-09-30 00:07:09] 985*2^1441203-1 is not prime. Res64: 1C9AF8DB710CFBC1 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:15] 665*2^1441204-1 is not prime. Res64: CB174A3F10DF1B38 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:17] 855*2^1441204-1 is not prime. Res64: B8DC6BC0BE3D717B Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:19] 869*2^1441204-1 is not prime. Res64: 04D33F8972A2A5BE Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:22] 989*2^1441204-1 is not prime. Res64: 5119D5D59AEB36BA Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:24] 655*2^1441205-1 is not prime. Res64: E7193A98EC7466B8 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:30] 697*2^1441205-1 is not prime. Res64: 896F26F55459C547 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:34] 727*2^1441205-1 is not prime. Res64: 865E95C9CD3F58A8 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:37] 741*2^1441205-1 is not prime. Res64: 7249FAB57658E5A9 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:07:48] 885*2^1441205-1 is not prime. Res64: EC3441D92992353E Time : 0.0 sec. user=mdettweiler [2016-09-30 00:25:07] 683*2^1441206-1 is not prime. Res64: 86E2EB07A42169C9 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:25:11] 765*2^1441206-1 is not prime. Res64: 5704254C3520183F Time : 0.0 sec. user=mdettweiler [2016-09-30 00:25:12] 815*2^1441206-1 is not prime. Res64: D8C60E98024FB148 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:25:12] 833*2^1441206-1 is not prime. Res64: 7DDFA16A27501D4D Time : 0.0 sec. user=mdettweiler [2016-09-30 00:25:13] 843*2^1441206-1 is not prime. Res64: 2634022907A9D0AB Time : 0.0 sec. user=mdettweiler [2016-09-30 00:43:31] 891*2^1441206-1 is not prime. Res64: 6018AADB1C18B5C8 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:43:31] 1001*2^1441206-1 is not prime. Res64: 62A969A9868F2824 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:43:32] 601*2^1441207-1 is not prime. Res64: 391369B243838647 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:43:33] 673*2^1441207-1 is not prime. Res64: 3945A1A9F876210F Time : 0.0 sec. user=mdettweiler [2016-09-30 00:43:33] 729*2^1441207-1 is not prime. Res64: 2351A496BEFCD2F4 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:54:12] 775*2^1441207-1 is not prime. Res64: 91A9C3C6D4DFFE54 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:54:13] 829*2^1441207-1 is not prime. Res64: 5161BC4A6E1E34F3 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:54:13] 973*2^1441207-1 is not prime. Res64: D144F0536F0B585F Time : 0.0 sec. user=mdettweiler [2016-09-30 00:54:14] 663*2^1441208-1 is not prime. Res64: B5DBA513F52CD239 Time : 0.0 sec. user=mdettweiler [2016-09-30 00:54:14] 743*2^1441208-1 is not prime. Res64: 430EB7DE0183F439 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:11:45] 767*2^1441208-1 is not prime. Res64: 18EA5337587AFF44 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:11:45] 837*2^1441208-1 is not prime. Res64: 3F2406A1B6EAB0A2 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:11:46] 845*2^1441208-1 is not prime. Res64: 81DE9043F30DCE75 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:11:46] 855*2^1441208-1 is not prime. Res64: 9221DA1232593128 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:11:50] 935*2^1441208-1 is not prime. Res64: F366068DD5DC299B Time : 0.0 sec. user=mdettweiler [2016-09-30 01:30:10] 995*2^1441208-1 is not prime. Res64: 600F6D6D879F1EB4 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:30:14] 649*2^1441209-1 is not prime. Res64: 2A261C436E413709 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:30:15] 657*2^1441209-1 is not prime. Res64: FD8BC3B85EBCE76C Time : 0.0 sec. user=mdettweiler [2016-09-30 01:30:16] 681*2^1441209-1 is not prime. Res64: 94B1A8F313E6CC97 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:30:19] 685*2^1441209-1 is not prime. Res64: BEF47E30A37C2CD2 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:40:44] 745*2^1441209-1 is not prime. Res64: 2CB4CFF9D84C1249 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:40:44] 787*2^1441209-1 is not prime. Res64: 37096558E6A30821 Time : 0.0 sec. user=mdettweiler [2016-09-30 01:40:45] 861*2^1441209-1 is not prime. Res64: 466F6A7DF8862C9B Time : 0.0 sec. user=mdettweiler [2016-09-30 01:40:45] 907*2^1441209-1 is not prime. Res64: C924CBE21188778B Time : 0.0 sec. user=mdettweiler [2016-09-30 01:40:46] 951*2^1441209-1 is not prime. Res64: 72E89F8683241F96 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:08:11] 997*2^1441209-1 is not prime. Res64: EBC38B2F7FA8FC95 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:08:11] 647*2^1441210-1 is not prime. Res64: 118FFD0C23CBA86D Time : 0.0 sec. user=mdettweiler [2016-09-30 02:08:12] 675*2^1441210-1 is not prime. Res64: 65116F9DA4DAE10B Time : 0.0 sec. user=mdettweiler [2016-09-30 02:08:12] 845*2^1441210-1 is not prime. Res64: 001842E4B1EF368C Time : 0.0 sec. user=mdettweiler [2016-09-30 02:08:13] 885*2^1441210-1 is not prime. Res64: 3633B48466F6843E Time : 0.0 sec. user=mdettweiler [2016-09-30 02:17:15] 917*2^1441210-1 is not prime. Res64: 62EB0A5CB35AECF7 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:17:16] 621*2^1441211-1 is not prime. Res64: 9BA7E28527560096 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:17:16] 693*2^1441211-1 is not prime. Res64: 55A86C7C524F1410 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:17:17] 825*2^1441211-1 is not prime. Res64: 894F0AA3DBD1E90E Time : 0.0 sec. user=mdettweiler [2016-09-30 02:17:18] 859*2^1441211-1 is not prime. Res64: 035D646281AC2A11 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:27:13] 883*2^1441211-1 is not prime. Res64: B1C95D0FDFE00F6F Time : 0.0 sec. user=mdettweiler [2016-09-30 02:27:14] 609*2^1441212-1 is not prime. Res64: AC577B80C78FCDB6 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:27:15] 633*2^1441212-1 is not prime. Res64: 29D3AAC149E3C95B Time : 0.0 sec. user=mdettweiler [2016-09-30 02:27:15] 675*2^1441212-1 is not prime. Res64: 173F431C87802046 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:27:16] 689*2^1441212-1 is not prime. Res64: D3BCDB42FEB7BC83 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:53:58] 737*2^1441212-1 is not prime. Res64: 514B0C28585D7734 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:53:59] 759*2^1441212-1 is not prime. Res64: AE1C44C15145FC87 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:53:59] 825*2^1441212-1 is not prime. Res64: 5359A77F713469ED Time : 0.0 sec. user=mdettweiler [2016-09-30 02:54:00] 843*2^1441212-1 is not prime. Res64: D5EF87E4ABFAEC98 Time : 0.0 sec. user=mdettweiler [2016-09-30 02:54:00] 893*2^1441212-1 is not prime. Res64: D4CB90ADAA106F3F Time : 0.0 sec. user=mdettweiler [2016-09-30 03:02:54] 607*2^1441213-1 is not prime. Res64: F1436E2035601096 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:02:56] 721*2^1441213-1 is not prime. Res64: 83FD4C9741F84752 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:02:57] 789*2^1441213-1 is not prime. Res64: 5B1F22057E9A03BB Time : 0.0 sec. user=mdettweiler [2016-09-30 03:02:58] 835*2^1441213-1 is not prime. Res64: BBC2FD294A3240B4 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:02:59] 861*2^1441213-1 is not prime. Res64: 8CDCD9D8E5B19566 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:10:35] 867*2^1441213-1 is not prime. Res64: A4E514311AE9668B Time : 0.0 sec. user=mdettweiler [2016-09-30 03:10:35] 937*2^1441213-1 is not prime. Res64: 6050A0C3B8CE1B55 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:10:36] 623*2^1441214-1 is not prime. Res64: 908F912800B24790 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:10:37] 683*2^1441214-1 is not prime. Res64: CE5850122001D465 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:10:37] 743*2^1441214-1 is not prime. Res64: B98D745148935348 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:13:07] 833*2^1441214-1 is not prime. Res64: 32CA487B0E3D9F15 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:13:14] 887*2^1441214-1 is not prime. Res64: 2FF4216DEFE63C90 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:13:14] 897*2^1441214-1 is not prime. Res64: A4154AD9956E76CB Time : 0.0 sec. user=mdettweiler [2016-09-30 03:13:15] 957*2^1441214-1 is not prime. Res64: 2C1D879005BFBD76 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:13:16] 709*2^1441215-1 is not prime. Res64: 8332457289FF552A Time : 0.0 sec. user=mdettweiler [2016-09-30 03:39:34] 739*2^1441215-1 is not prime. Res64: 8502B638DF17BEEC Time : 0.0 sec. user=mdettweiler [2016-09-30 03:39:36] 805*2^1441215-1 is not prime. Res64: D970491EF73BB94B Time : 0.0 sec. user=mdettweiler [2016-09-30 03:39:38] 909*2^1441215-1 is not prime. Res64: 47238C3A8F7DDF9D Time : 0.0 sec. user=mdettweiler [2016-09-30 03:39:39] 933*2^1441215-1 is not prime. Res64: 89B1040425C996AC Time : 0.0 sec. user=mdettweiler [2016-09-30 03:39:41] 955*2^1441215-1 is not prime. Res64: DEF5E016583A1409 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:48:24] 961*2^1441215-1 is not prime. Res64: 2DE530ED6261298F Time : 0.0 sec. user=mdettweiler [2016-09-30 03:48:27] 623*2^1441216-1 is not prime. Res64: 6B5CA9FCF52A56A9 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:48:30] 735*2^1441216-1 is not prime. Res64: 78128A81E7BA2461 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:48:36] 873*2^1441216-1 is not prime. Res64: 79BFADA2B29DB238 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:48:37] 965*2^1441216-1 is not prime. Res64: 392BA11D39994FF0 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:55:55] 969*2^1441216-1 is not prime. Res64: FF58CA4B1E9BE08B Time : 0.0 sec. user=mdettweiler [2016-09-30 03:55:55] 975*2^1441216-1 is not prime. Res64: 30E8714797ABFB36 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:55:56] 993*2^1441216-1 is not prime. Res64: 41E6FF105DFD6FB8 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:55:57] 729*2^1441217-1 is not prime. Res64: CFD3C18B0DF6AD70 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:55:57] 741*2^1441217-1 is not prime. Res64: 9554A5B2C6F26F50 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:58:31] 759*2^1441217-1 is not prime. Res64: 6E025C91892F5B1C Time : 0.0 sec. user=mdettweiler [2016-09-30 03:58:31] 777*2^1441217-1 is not prime. Res64: 23134725D25242F5 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:58:32] 795*2^1441217-1 is not prime. Res64: C0E85781E397186B Time : 0.0 sec. user=mdettweiler [2016-09-30 03:58:32] 799*2^1441217-1 is not prime. Res64: E057B05E6CFD48C8 Time : 0.0 sec. user=mdettweiler [2016-09-30 03:58:33] 901*2^1441217-1 is not prime. Res64: 9271D62915FA8C52 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:25:10] 985*2^1441217-1 is not prime. Res64: 037FF824A3C4BA52 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:25:10] 635*2^1441218-1 is not prime. Res64: AF8195FDCD2F40A3 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:25:11] 837*2^1441218-1 is not prime. Res64: 40C89F047FCF509E Time : 0.0 sec. user=mdettweiler [2016-09-30 04:25:11] 887*2^1441218-1 is not prime. Res64: 1F2BB4B11538D59D Time : 0.0 sec. user=mdettweiler [2016-09-30 04:25:11] 891*2^1441218-1 is not prime. Res64: 01E25240A328B398 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:33:53] 893*2^1441218-1 is not prime. Res64: 6EF64788DEAC0BA8 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:33:54] 923*2^1441218-1 is not prime. Res64: D529E15E2B2A9923 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:33:54] 601*2^1441219-1 is not prime. Res64: E244C054CBB9375C Time : 0.0 sec. user=mdettweiler [2016-09-30 04:33:55] 663*2^1441219-1 is not prime. Res64: 34C3AC9B7E099B3F Time : 0.0 sec. user=mdettweiler [2016-09-30 04:33:55] 681*2^1441219-1 is not prime. Res64: 76A43C0F37503348 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:41:12] 705*2^1441219-1 is not prime. Res64: B6D65EC42CB1C9ED Time : 0.0 sec. user=mdettweiler [2016-09-30 04:41:12] 769*2^1441219-1 is not prime. Res64: 34E114B65C6D0F46 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:41:12] 889*2^1441219-1 is not prime. Res64: 3C407F1B1428B4DD Time : 0.0 sec. user=mdettweiler [2016-09-30 04:41:13] 943*2^1441219-1 is not prime. Res64: 0AEC4692917DD349 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:41:13] 985*2^1441219-1 is not prime. Res64: B3921847BF484705 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:43:57] 659*2^1441220-1 is not prime. Res64: 6ECB3FC4522B793F Time : 0.0 sec. user=mdettweiler [2016-09-30 04:43:57] 689*2^1441220-1 is not prime. Res64: B5E05242A7E5D803 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:43:57] 759*2^1441220-1 is not prime. Res64: 5022233D984B7EA4 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:43:58] 797*2^1441220-1 is not prime. Res64: 3EBA424447942500 Time : 0.0 sec. user=mdettweiler [2016-09-30 04:43:58] 885*2^1441220-1 is not prime. Res64: 4D303F536DADBD28 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:10:13] 923*2^1441220-1 is not prime. Res64: 67FBC0899FA0E62D Time : 0.0 sec. user=mdettweiler [2016-09-30 05:10:16] 927*2^1441220-1 is not prime. Res64: F8BC1691515B52CD Time : 0.0 sec. user=mdettweiler [2016-09-30 05:10:17] 935*2^1441220-1 is not prime. Res64: 164B1EF35DFE5E1E Time : 0.0 sec. user=mdettweiler [2016-09-30 05:10:22] 649*2^1441221-1 is not prime. Res64: 40E9EA5114338281 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:10:24] 651*2^1441221-1 is not prime. Res64: 0613E13DA6BE65C8 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:19:04] 681*2^1441221-1 is not prime. Res64: D49D8FBB3CE237F8 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:19:05] 717*2^1441221-1 is not prime. Res64: E254CFA50CBFAD58 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:19:05] 805*2^1441221-1 is not prime. Res64: E1E8C97567EA4F8D Time : 0.0 sec. user=mdettweiler [2016-09-30 05:19:05] 847*2^1441221-1 is not prime. Res64: 9DC7F3794C79887A Time : 0.0 sec. user=mdettweiler [2016-09-30 05:19:06] 861*2^1441221-1 is not prime. Res64: E5CD597B6119392B Time : 0.0 sec. user=mdettweiler [2016-09-30 05:26:21] 907*2^1441221-1 is not prime. Res64: CCCDB2802C7D6E06 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:26:21] 651*2^1441222-1 is not prime. Res64: 06D655E4A1349AD8 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:26:22] 665*2^1441222-1 is not prime. Res64: E1142258517E39DA Time : 0.0 sec. user=mdettweiler [2016-09-30 05:26:22] 717*2^1441222-1 is not prime. Res64: D2AD7756D69B2733 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:26:22] 923*2^1441222-1 is not prime. Res64: 6A2D7A1A47B9C25C Time : 0.0 sec. user=mdettweiler [2016-09-30 05:29:08] 951*2^1441222-1 is not prime. Res64: 22B9CBE0A18C492E Time : 0.0 sec. user=mdettweiler [2016-09-30 05:29:08] 975*2^1441222-1 is not prime. Res64: AC003A4FF02FAB51 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:29:09] 609*2^1441223-1 is not prime. Res64: 695833663012D279 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:29:09] 643*2^1441223-1 is not prime. Res64: 6FB0E7B4AF621401 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:29:10] 735*2^1441223-1 is not prime. Res64: 69EB1014D374A9CD Time : 0.0 sec. user=mdettweiler [2016-09-30 05:55:54] 855*2^1441223-1 is not prime. Res64: 168D5BB174BB7578 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:55:55] 973*2^1441223-1 is not prime. Res64: 8B3AB4FE7F8DF36F Time : 0.0 sec. user=mdettweiler [2016-09-30 05:55:55] 689*2^1441224-1 is not prime. Res64: 75592D5EBFB0F700 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:55:55] 765*2^1441224-1 is not prime. Res64: 0ED1E92D8EC1BD06 Time : 0.0 sec. user=mdettweiler [2016-09-30 05:55:56] 789*2^1441224-1 is not prime. Res64: 9B81D35B1053B5F1 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:04:24] 993*2^1441224-1 is not prime. Res64: C03D06F5B5CE4033 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:04:26] 765*2^1441225-1 is not prime. Res64: D9AB5DE6F9BE0265 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:04:27] 999*2^1441225-1 is not prime. Res64: 7B1D31E7497A89B1 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:04:28] 617*2^1441226-1 is not prime. Res64: AC570EFB8550BEDB Time : 0.0 sec. user=mdettweiler [2016-09-30 06:04:29] 623*2^1441226-1 is not prime. Res64: 7A45BD439F602549 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:11:42] 675*2^1441226-1 is not prime. Res64: 22CF10BA94F79B93 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:11:43] 677*2^1441226-1 is not prime. Res64: EF4C01E9B06B1018 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:11:43] 701*2^1441226-1 is not prime. Res64: 59D7B16F68B85CC9 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:11:43] 707*2^1441226-1 is not prime. Res64: 518E20EE50F0B20B Time : 0.0 sec. user=mdettweiler [2016-09-30 06:11:44] 735*2^1441226-1 is not prime. Res64: 3EE6192913AC0673 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:14:20] 867*2^1441226-1 is not prime. Res64: 39A339C82D25C250 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:14:20] 921*2^1441226-1 is not prime. Res64: 07A8A7D7E8BEEDFE Time : 0.0 sec. user=mdettweiler [2016-09-30 06:14:20] 923*2^1441226-1 is not prime. Res64: C7011B1B1BEAF923 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:14:21] 945*2^1441226-1 is not prime. Res64: B52BC6DFDEF02FD8 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:14:21] 971*2^1441226-1 is not prime. Res64: C7AE46DC77EF04A0 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:41:23] 987*2^1441226-1 is not prime. Res64: 49070F40E84D530A Time : 0.0 sec. user=mdettweiler [2016-09-30 06:41:24] 705*2^1441227-1 is not prime. Res64: 9F5DE0D89755EEEF Time : 0.0 sec. user=mdettweiler [2016-09-30 06:41:26] 735*2^1441227-1 is not prime. Res64: 7BE37CCB58328813 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:41:27] 805*2^1441227-1 is not prime. Res64: 65084DE9B50459C2 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:41:31] 873*2^1441227-1 is not prime. Res64: 02941BB7994B99B1 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:50:08] 999*2^1441227-1 is not prime. Res64: 01237D4596AF96FB Time : 0.0 sec. user=mdettweiler [2016-09-30 06:50:08] 615*2^1441228-1 is not prime. Res64: D6D117FBD0A53B32 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:50:08] 617*2^1441228-1 is not prime. Res64: 2EA62FA3C939EBD1 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:50:09] 699*2^1441228-1 is not prime. Res64: 5DEFD0A08E46CE12 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:50:09] 743*2^1441228-1 is not prime. Res64: 2A38B1ECE1595720 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:57:13] 765*2^1441228-1 is not prime. Res64: D7EB8F840ADE7263 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:57:13] 833*2^1441228-1 is not prime. Res64: 5D2796D9A4B9529A Time : 0.0 sec. user=mdettweiler [2016-09-30 06:57:14] 855*2^1441228-1 is not prime. Res64: 18C383FB9F6E7441 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:57:14] 863*2^1441228-1 is not prime. Res64: 5E0922A3AA99869B Time : 0.0 sec. user=mdettweiler [2016-09-30 06:57:14] 897*2^1441228-1 is not prime. Res64: C2FF856FD3570CF8 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:59:31] 989*2^1441228-1 is not prime. Res64: 5986FD9F3B1BF528 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:59:32] 675*2^1441229-1 is not prime. Res64: 47E4E6CCBB881876 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:59:32] 769*2^1441229-1 is not prime. Res64: C9F051D9F33A6D5A Time : 0.0 sec. user=mdettweiler [2016-09-30 06:59:32] 885*2^1441229-1 is not prime. Res64: B489981C793EC466 Time : 0.0 sec. user=mdettweiler [2016-09-30 06:59:33] 945*2^1441229-1 is not prime. Res64: B92BB401B3B81855 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:26:54] 957*2^1441229-1 is not prime. Res64: 4292A9E302C79C2B Time : 0.0 sec. user=mdettweiler [2016-09-30 07:26:55] 611*2^1441230-1 is not prime. Res64: C96FAF457CB52F03 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:26:55] 671*2^1441230-1 is not prime. Res64: 21105BEA21EC677A Time : 0.0 sec. user=mdettweiler [2016-09-30 07:26:55] 765*2^1441230-1 is not prime. Res64: 381A31BEBC7EE567 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:26:56] 971*2^1441230-1 is not prime. Res64: 9E30181455D807F4 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:35:26] 639*2^1441231-1 is not prime. Res64: B6DD53CDCECCE5FA Time : 0.0 sec. user=mdettweiler [2016-09-30 07:35:26] 673*2^1441231-1 is not prime. Res64: 9914390351BFACBB Time : 0.0 sec. user=mdettweiler [2016-09-30 07:35:26] 745*2^1441231-1 is not prime. Res64: DB7043232A939EF8 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:35:27] 859*2^1441231-1 is not prime. Res64: 8095377EFBA4D30F Time : 0.0 sec. user=mdettweiler [2016-09-30 07:35:27] 933*2^1441231-1 is not prime. Res64: 0CEA23E469D13B93 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:42:37] 951*2^1441231-1 is not prime. Res64: 7A401D05C57B87BE Time : 0.0 sec. user=mdettweiler [2016-09-30 07:42:37] 603*2^1441232-1 is not prime. Res64: 0BE05406AD245633 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:42:38] 623*2^1441232-1 is not prime. Res64: 0AB820845786DB3D Time : 0.0 sec. user=mdettweiler [2016-09-30 07:42:38] 719*2^1441232-1 is not prime. Res64: B872ED140B3ED69C Time : 0.0 sec. user=mdettweiler [2016-09-30 07:42:38] 735*2^1441232-1 is not prime. Res64: E3AEA230DF28BE32 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:44:52] 797*2^1441232-1 is not prime. Res64: 6A6FEF8DD3D0313A Time : 0.0 sec. user=mdettweiler [2016-09-30 07:44:52] 855*2^1441232-1 is not prime. Res64: BADFB9EBE0F88DF7 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:44:53] 875*2^1441232-1 is not prime. Res64: CC66FA51C19C2AE1 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:44:53] 915*2^1441232-1 is not prime. Res64: ADD1BEE401D221F7 Time : 0.0 sec. user=mdettweiler [2016-09-30 07:44:53] 983*2^1441232-1 is not prime. Res64: B3EA9C55C14D8F93 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:12:16] 615*2^1441233-1 is not prime. Res64: 38B2FCA12B547EA5 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:12:16] 891*2^1441233-1 is not prime. Res64: 4DB45E6BCD27C7BD Time : 0.0 sec. user=mdettweiler [2016-09-30 08:12:17] 677*2^1441234-1 is not prime. Res64: 4F4AFF186A083207 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:12:17] 681*2^1441234-1 is not prime. Res64: 2AF5125D8CC15C37 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:12:17] 741*2^1441234-1 is not prime. Res64: 740E5145832D8E40 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:20:36] 803*2^1441234-1 is not prime. Res64: CCB1D1BDA59CEDEA Time : 0.0 sec. user=mdettweiler [2016-09-30 08:20:37] 825*2^1441234-1 is not prime. Res64: F2C2295222017293 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:20:37] 857*2^1441234-1 is not prime. Res64: 641CBFBA011A7A70 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:20:38] 947*2^1441234-1 is not prime. Res64: FCEE8715E3CDAB24 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:20:38] 957*2^1441234-1 is not prime. Res64: 7F3D810027BDE040 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:28:01] 971*2^1441234-1 is not prime. Res64: 825730F92DC13FD9 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:28:02] 693*2^1441235-1 is not prime. Res64: B0473B095D0AC803 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:28:02] 775*2^1441235-1 is not prime. Res64: 3DDE491D805B5A0A Time : 0.0 sec. user=mdettweiler [2016-09-30 08:28:02] 783*2^1441235-1 is not prime. Res64: 5068F00E0BF6D990 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:28:03] 909*2^1441235-1 is not prime. Res64: 7349561F7CB70AF2 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:30:03] 969*2^1441235-1 is not prime. Res64: 638B99FACC0B5C48 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:30:04] 973*2^1441235-1 is not prime. Res64: 8C7A1FC74340B092 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:30:05] 647*2^1441236-1 is not prime. Res64: CADA507AA6FC7E79 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:30:05] 683*2^1441236-1 is not prime. Res64: 2F0624246D04CE35 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:30:06] 705*2^1441236-1 is not prime. Res64: 0510BAAA961B2DC0 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:57:36] 707*2^1441236-1 is not prime. Res64: 0B562BB4C28FA632 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:57:36] 735*2^1441236-1 is not prime. Res64: 60CA837F811A493F Time : 0.0 sec. user=mdettweiler [2016-09-30 08:57:37] 903*2^1441236-1 is not prime. Res64: 12F837083E26E624 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:57:37] 905*2^1441236-1 is not prime. Res64: 875D7BF6C4F90621 Time : 0.0 sec. user=mdettweiler [2016-09-30 08:57:37] 909*2^1441236-1 is not prime. Res64: 227A2448DB096794 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:05:52] 947*2^1441236-1 is not prime. Res64: 8C5714223BECC668 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:05:55] 975*2^1441236-1 is not prime. Res64: CB1535278914D9AC Time : 0.0 sec. user=mdettweiler [2016-09-30 09:05:57] 771*2^1441237-1 is not prime. Res64: D9DC30F557AA676D Time : 0.0 sec. user=mdettweiler [2016-09-30 09:05:58] 805*2^1441237-1 is not prime. Res64: 4ABD8BC34D62947B Time : 0.0 sec. user=mdettweiler [2016-09-30 09:06:00] 817*2^1441237-1 is not prime. Res64: F2F6095DD6B62A32 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:13:19] 867*2^1441237-1 is not prime. Res64: 7C86573B87A57232 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:13:20] 897*2^1441237-1 is not prime. Res64: DC9B59290764A44D Time : 0.0 sec. user=mdettweiler [2016-09-30 09:13:20] 915*2^1441237-1 is not prime. Res64: 62797B2B7FF4ADC0 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:13:20] 961*2^1441237-1 is not prime. Res64: 80F7C2F4DA827982 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:13:21] 635*2^1441238-1 is not prime. Res64: 4695CCBE27CDA31A Time : 0.0 sec. user=mdettweiler [2016-09-30 09:15:24] 663*2^1441238-1 is not prime. Res64: 72BEFD5CD01E948E Time : 0.0 sec. user=mdettweiler [2016-09-30 09:15:24] 671*2^1441238-1 is not prime. Res64: 143E93E842B0781C Time : 0.0 sec. user=mdettweiler [2016-09-30 09:15:25] 711*2^1441238-1 is not prime. Res64: 6420201C308BD47D Time : 0.0 sec. user=mdettweiler [2016-09-30 09:15:25] 743*2^1441238-1 is not prime. Res64: 83D962A392CE08DD Time : 0.0 sec. user=mdettweiler [2016-09-30 09:15:26] 797*2^1441238-1 is not prime. Res64: 4BD3645B1B1EC427 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:43:04] 845*2^1441238-1 is not prime. Res64: CF4FB7727175717D Time : 0.0 sec. user=mdettweiler [2016-09-30 09:43:04] 897*2^1441238-1 is not prime. Res64: 346E71E2B84D4CBC Time : 0.0 sec. user=mdettweiler [2016-09-30 09:43:04] 935*2^1441238-1 is not prime. Res64: C91316B78A903EAA Time : 0.0 sec. user=mdettweiler [2016-09-30 09:43:05] 951*2^1441238-1 is not prime. Res64: AD0AB6D7D634D4DA Time : 0.0 sec. user=mdettweiler [2016-09-30 09:43:05] 1001*2^1441238-1 is not prime. Res64: 34313D09EFD54676 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:51:28] 663*2^1441239-1 is not prime. Res64: 28D69FBC53B8F4BD Time : 0.0 sec. user=mdettweiler [2016-09-30 09:51:28] 709*2^1441239-1 is not prime. Res64: EA2CEFB603C70781 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:51:28] 861*2^1441239-1 is not prime. Res64: 9F68F1010DE2AEF2 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:51:29] 891*2^1441239-1 is not prime. Res64: 7092941D99F8A600 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:51:29] 895*2^1441239-1 is not prime. Res64: 0F498039E7A93607 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:58:41] 735*2^1441240-1 is not prime. Res64: EDA1EE72D5515119 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:58:42] 777*2^1441240-1 is not prime. Res64: A13902AE8333A4FA Time : 0.0 sec. user=mdettweiler [2016-09-30 09:58:42] 845*2^1441240-1 is not prime. Res64: 907ED72F175F102C Time : 0.0 sec. user=mdettweiler [2016-09-30 09:58:43] 927*2^1441240-1 is not prime. Res64: FB6EFB47A3C27D41 Time : 0.0 sec. user=mdettweiler [2016-09-30 09:58:43] 965*2^1441240-1 is not prime. Res64: 121A3A3642A0B425 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:00:33] 601*2^1441241-1 is not prime. Res64: 9836D2C6291175C4 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:00:34] 735*2^1441241-1 is not prime. Res64: 7F90FC8172D8717F Time : 0.0 sec. user=mdettweiler [2016-09-30 10:00:36] 789*2^1441241-1 is not prime. Res64: 6B7D0A89093645CA Time : 0.0 sec. user=mdettweiler [2016-09-30 10:00:37] 855*2^1441241-1 is not prime. Res64: 259C33F758A44DF5 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:00:39] 949*2^1441241-1 is not prime. Res64: 73B01FD3ABB56D93 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:28:19] 957*2^1441241-1 is not prime. Res64: 0C5B1E28F8174174 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:28:20] 621*2^1441242-1 is not prime. Res64: FB9348501180AB55 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:28:20] 705*2^1441242-1 is not prime. Res64: 7B030C213DF4EDDB Time : 0.0 sec. user=mdettweiler [2016-09-30 10:28:20] 717*2^1441242-1 is not prime. Res64: CD9F896289A6DBE5 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:28:20] 625*2^1441243-1 is not prime. Res64: 38120C4AB289CC42 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:36:29] 681*2^1441243-1 is not prime. Res64: BA0393A991F4AB6C Time : 0.0 sec. user=mdettweiler [2016-09-30 10:36:30] 703*2^1441243-1 is not prime. Res64: AA63E3B8EBADAE92 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:36:30] 765*2^1441243-1 is not prime. Res64: E378A26779243C37 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:36:31] 849*2^1441243-1 is not prime. Res64: 553F83E0C812FBC9 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:36:31] 889*2^1441243-1 is not prime. Res64: C8944D4E3B21D45B Time : 0.0 sec. user=mdettweiler [2016-09-30 10:43:56] 969*2^1441243-1 is not prime. Res64: EE1A396E37FEB768 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:43:56] 789*2^1441244-1 is not prime. Res64: 3C592343AB632290 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:43:57] 819*2^1441244-1 is not prime. Res64: 235CDF319F8D0974 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:43:57] 825*2^1441244-1 is not prime. Res64: F8EE1ED28241E748 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:43:57] 869*2^1441244-1 is not prime. Res64: A9E57FCCE0A6ED07 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:46:04] 885*2^1441244-1 is not prime. Res64: F768C6C749327C1B Time : 0.0 sec. user=mdettweiler [2016-09-30 10:46:04] 945*2^1441244-1 is not prime. Res64: FFD262862AB2057F Time : 0.0 sec. user=mdettweiler [2016-09-30 10:46:05] 983*2^1441244-1 is not prime. Res64: BC098496C9F772C3 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:46:05] 657*2^1441245-1 is not prime. Res64: FC0614EA728E0556 Time : 0.0 sec. user=mdettweiler [2016-09-30 10:46:05] 685*2^1441245-1 is not prime. Res64: 766107EDA07FACD8 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:13:45] 709*2^1441245-1 is not prime. Res64: 08B5E4BD364C9ED2 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:13:46] 795*2^1441245-1 is not prime. Res64: 80F2A2A58B9A79DE Time : 0.0 sec. user=mdettweiler [2016-09-30 11:13:47] 859*2^1441245-1 is not prime. Res64: CB2FA53460EE466D Time : 0.0 sec. user=mdettweiler [2016-09-30 11:13:47] 773*2^1441246-1 is not prime. Res64: 3DBEA2227A67F4B4 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:13:47] 867*2^1441246-1 is not prime. Res64: 24713C97847E5DBD Time : 0.0 sec. user=mdettweiler [2016-09-30 11:21:58] 897*2^1441246-1 is not prime. Res64: E09E22C2984637DD Time : 0.0 sec. user=mdettweiler [2016-09-30 11:21:58] 643*2^1441247-1 is not prime. Res64: 7CC2C506BBDAAF42 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:21:59] 825*2^1441247-1 is not prime. Res64: 643E4C92739C0E82 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:21:59] 841*2^1441247-1 is not prime. Res64: 4A99BB7641DD2FCF Time : 0.0 sec. user=mdettweiler [2016-09-30 11:21:59] 843*2^1441247-1 is not prime. Res64: 2D389E15FC8D58F8 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:29:19] 689*2^1441248-1 is not prime. Res64: 899A48BFEE19A7BD Time : 0.0 sec. user=mdettweiler [2016-09-30 11:29:20] 747*2^1441248-1 is not prime. Res64: B0F80DE3C0BD6F63 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:29:20] 849*2^1441248-1 is not prime. Res64: 0156808DBF741B31 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:29:20] 875*2^1441248-1 is not prime. Res64: 064C666A7CE86859 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:29:21] 909*2^1441248-1 is not prime. Res64: EB271C8F82C338B4 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:31:15] 915*2^1441248-1 is not prime. Res64: 04C1C1909379C834 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:31:15] 969*2^1441248-1 is not prime. Res64: AA6C06DF6719F4D7 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:31:16] 609*2^1441249-1 is not prime. Res64: 8B390807F2D20D2E Time : 0.0 sec. user=mdettweiler [2016-09-30 11:31:16] 987*2^1441249-1 is not prime. Res64: C119EFFD06C2034A Time : 0.0 sec. user=mdettweiler [2016-09-30 11:31:17] 687*2^1441250-1 is not prime. Res64: 14166CADD5558C00 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:59:08] 735*2^1441250-1 is not prime. Res64: 518AC01EFF7FA6D2 Time : 0.0 sec. user=mdettweiler [2016-09-30 11:59:09] 741*2^1441250-1 is not prime. Res64: EE951048418BA36E Time : 0.0 sec. user=mdettweiler [2016-09-30 11:59:09] 743*2^1441250-1 is not prime. Res64: D5A5A492F419CBCA Time : 0.0 sec. user=mdettweiler [2016-09-30 11:59:09] 867*2^1441250-1 is not prime. Res64: 70492604004F869F Time : 0.0 sec. user=mdettweiler [2016-09-30 11:59:10] 893*2^1441250-1 is not prime. Res64: 35C0783DF22C3929 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:07:13] 639*2^1441251-1 is not prime. Res64: BE8231E1DA61B3AB Time : 0.0 sec. user=mdettweiler [2016-09-30 12:07:15] 735*2^1441251-1 is not prime. Res64: 24F5E0FA249EE08D Time : 0.0 sec. user=mdettweiler [2016-09-30 12:07:17] 781*2^1441251-1 is not prime. Res64: 083381D610A9E002 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:07:18] 793*2^1441251-1 is not prime. Res64: E0EF10FDB62BA1B2 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:07:20] 913*2^1441251-1 is not prime. Res64: D19BCED2D93F1EC7 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:14:53] 973*2^1441251-1 is not prime. Res64: F9E1FF43DD810836 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:14:53] 717*2^1441252-1 is not prime. Res64: 8765D22C8F621A49 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:14:54] 743*2^1441252-1 is not prime. Res64: B23317BF2968A500 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:14:54] 957*2^1441252-1 is not prime. Res64: 749798FA8C8D0D8B Time : 0.0 sec. user=mdettweiler [2016-09-30 12:14:55] 965*2^1441252-1 is not prime. Res64: 07A86171536A5D45 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:16:52] 745*2^1441253-1 is not prime. Res64: ED3AAC97CA3AC117 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:16:53] 771*2^1441253-1 is not prime. Res64: 4161522F69730519 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:16:54] 801*2^1441253-1 is not prime. Res64: 6E2915835BAFD11F Time : 0.0 sec. user=mdettweiler [2016-09-30 12:16:55] 811*2^1441253-1 is not prime. Res64: B9829EC9D4564833 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:16:56] 847*2^1441253-1 is not prime. Res64: D94A7FB10338A6B0 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:44:26] 859*2^1441253-1 is not prime. Res64: 19AE05EE94014612 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:44:27] 915*2^1441253-1 is not prime. Res64: DBEA2D44834C339D Time : 0.0 sec. user=mdettweiler [2016-09-30 12:44:27] 949*2^1441253-1 is not prime. Res64: F5AB5C58C3547A24 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:44:27] 955*2^1441253-1 is not prime. Res64: BD1AB9B625750C0D Time : 0.0 sec. user=mdettweiler [2016-09-30 12:44:28] 755*2^1441254-1 is not prime. Res64: 625445FEA4A57314 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:52:51] 773*2^1441254-1 is not prime. Res64: 81DE5173258E628D Time : 0.0 sec. user=mdettweiler [2016-09-30 12:52:51] 791*2^1441254-1 is not prime. Res64: 2F07092764B3A2FF Time : 0.0 sec. user=mdettweiler [2016-09-30 12:52:52] 861*2^1441254-1 is not prime. Res64: 9AC2468808B0A67B Time : 0.0 sec. user=mdettweiler [2016-09-30 12:52:52] 893*2^1441254-1 is not prime. Res64: 1EFEF0D7B05BFBF7 Time : 0.0 sec. user=mdettweiler [2016-09-30 12:52:52] 649*2^1441255-1 is not prime. Res64: DC81DB9216EEAF7D Time : 0.0 sec. user=mdettweiler [2016-09-30 12:59:59] 679*2^1441255-1 is not prime. Res64: ADCDABD1AFC04026 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:00:00] 723*2^1441255-1 is not prime. Res64: A44377114571A143 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:00:00] 763*2^1441255-1 is not prime. Res64: 75D528F05F2A0F6B Time : 0.0 sec. user=mdettweiler [2016-09-30 13:00:00] 793*2^1441255-1 is not prime. Res64: A3E3336DB8F77FB7 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:00:01] 861*2^1441255-1 is not prime. Res64: 02B7EC65279F64D7 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:02:24] 871*2^1441255-1 is not prime. Res64: D64AE0589EE63852 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:02:26] 933*2^1441255-1 is not prime. Res64: 35DA1EE116C2A1B1 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:02:27] 961*2^1441255-1 is not prime. Res64: A356ADAE245C1D16 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:02:28] 603*2^1441256-1 is not prime. Res64: A5FE8EF42EE13B2D Time : 0.0 sec. user=mdettweiler [2016-09-30 13:02:31] 633*2^1441256-1 is not prime. Res64: 58E6C7A0AA326B9E Time : 0.0 sec. user=mdettweiler [2016-09-30 13:29:42] 743*2^1441256-1 is not prime. Res64: ADA92C91060B12C4 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:29:43] 755*2^1441256-1 is not prime. Res64: 74148DD20F7A1D37 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:29:43] 855*2^1441256-1 is not prime. Res64: FC7DCCCFD67810DE Time : 0.0 sec. user=mdettweiler [2016-09-30 13:29:44] 875*2^1441256-1 is not prime. Res64: BCCE324C0378FDDD Time : 0.0 sec. user=mdettweiler [2016-09-30 13:29:44] 903*2^1441256-1 is not prime. Res64: E47960CB6934F549 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:37:57] 625*2^1441257-1 is not prime. Res64: 859983260E2B1919 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:37:58] 741*2^1441257-1 is not prime. Res64: 4E91321BB86BB0EC Time : 0.0 sec. user=mdettweiler [2016-09-30 13:37:58] 759*2^1441257-1 is not prime. Res64: 54188AA543A71144 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:37:59] 805*2^1441257-1 is not prime. Res64: CD12073EBF737922 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:37:59] 861*2^1441257-1 is not prime. Res64: 2D9AD6C38C282B43 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:45:18] 909*2^1441257-1 is not prime. Res64: B66DD32D493461AD Time : 0.0 sec. user=mdettweiler [2016-09-30 13:45:18] 945*2^1441257-1 is not prime. Res64: F74FD29E414FFF85 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:45:19] 645*2^1441258-1 is not prime. Res64: 70B0CCE61167BEFD Time : 0.0 sec. user=mdettweiler [2016-09-30 13:45:19] 831*2^1441258-1 is not prime. Res64: CA6DBF603B29C312 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:45:20] 857*2^1441258-1 is not prime. Res64: D7FC116EAE3C110C Time : 0.0 sec. user=mdettweiler [2016-09-30 13:47:53] 891*2^1441258-1 is not prime. Res64: 4E8F40F9218A1711 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:47:53] 643*2^1441259-1 is not prime. Res64: D9AC4489A38AF45A Time : 0.0 sec. user=mdettweiler [2016-09-30 13:47:54] 663*2^1441259-1 is not prime. Res64: F114A3D148559CE0 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:47:54] 675*2^1441259-1 is not prime. Res64: B3D2A1E7C1E7A977 Time : 0.0 sec. user=mdettweiler [2016-09-30 13:47:55] 741*2^1441259-1 is not prime. Res64: 9B6403039ACE1684 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:14:43] 759*2^1441259-1 is not prime. Res64: 2F17FB390BE8462E Time : 0.0 sec. user=mdettweiler [2016-09-30 14:14:43] 843*2^1441259-1 is not prime. Res64: 3C94A1792338A0EB Time : 0.0 sec. user=mdettweiler [2016-09-30 14:14:43] 859*2^1441259-1 is not prime. Res64: 83FBEC97D956D4AE Time : 0.0 sec. user=mdettweiler [2016-09-30 14:14:44] 879*2^1441259-1 is not prime. Res64: E6DDF797A55A34A6 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:14:44] 943*2^1441259-1 is not prime. Res64: ED89EE396A8A455D Time : 0.0 sec. user=mdettweiler [2016-09-30 14:23:27] 969*2^1441259-1 is not prime. Res64: DA3F76FDCFBAE9A9 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:23:27] 627*2^1441260-1 is not prime. Res64: 892890943195F666 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:23:27] 779*2^1441260-1 is not prime. Res64: ACCD21C54103B93E Time : 0.0 sec. user=mdettweiler [2016-09-30 14:23:28] 803*2^1441260-1 is not prime. Res64: 5DC48DE69F6CB9AE Time : 0.0 sec. user=mdettweiler [2016-09-30 14:23:28] 863*2^1441260-1 is not prime. Res64: 401E43D52AFACF16 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:30:24] 887*2^1441260-1 is not prime. Res64: 138991FB719E1FE9 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:30:24] 975*2^1441260-1 is not prime. Res64: 9ACADF086EDB969D Time : 0.0 sec. user=mdettweiler [2016-09-30 14:30:24] 999*2^1441260-1 is not prime. Res64: 849245693EC2DB81 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:30:25] 609*2^1441261-1 is not prime. Res64: 91D47A113D54D985 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:30:25] 769*2^1441261-1 is not prime. Res64: F8A9226A47E94B4C Time : 0.0 sec. user=mdettweiler [2016-09-30 14:32:58] 799*2^1441261-1 is not prime. Res64: CD975443039E16F1 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:32:59] 847*2^1441261-1 is not prime. Res64: 9D621290477FFBAA Time : 0.0 sec. user=mdettweiler [2016-09-30 14:32:59] 937*2^1441261-1 is not prime. Res64: D059B23E28BB3107 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:32:59] 617*2^1441262-1 is not prime. Res64: D833C498AE0698E7 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:33:00] 741*2^1441262-1 is not prime. Res64: A81018A42C0888FC Time : 0.0 sec. user=mdettweiler [2016-09-30 14:59:56] 755*2^1441262-1 is not prime. Res64: AA754DFFEB28B1B7 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:59:56] 815*2^1441262-1 is not prime. Res64: E2CEF0E6352EC2A2 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:59:56] 827*2^1441262-1 is not prime. Res64: E919DAA291C4CC3C Time : 0.0 sec. user=mdettweiler [2016-09-30 14:59:57] 621*2^1441263-1 is not prime. Res64: 99E29653F4A6CA09 Time : 0.0 sec. user=mdettweiler [2016-09-30 14:59:57] 663*2^1441263-1 is not prime. Res64: 70EE75791192EAA7 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:09:06] 745*2^1441263-1 is not prime. Res64: 99B31BCA5CD662AB Time : 0.0 sec. user=mdettweiler [2016-09-30 15:09:06] 765*2^1441263-1 is not prime. Res64: EE8D2042ED084B5A Time : 0.0 sec. user=mdettweiler [2016-09-30 15:09:06] 769*2^1441263-1 is not prime. Res64: 4A6CDDC9E967B1BF Time : 0.0 sec. user=mdettweiler [2016-09-30 15:09:07] 775*2^1441263-1 is not prime. Res64: 2D688136D71EAEE7 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:09:07] 793*2^1441263-1 is not prime. Res64: 5968037A1A4A20F1 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:16:17] 819*2^1441263-1 is not prime. Res64: BEE243BEC4F5E425 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:16:17] 823*2^1441263-1 is not prime. Res64: 74427A02AC94CFF7 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:16:18] 825*2^1441263-1 is not prime. Res64: 1CDFDA1A8D2623EB Time : 0.0 sec. user=mdettweiler [2016-09-30 15:16:18] 859*2^1441263-1 is not prime. Res64: 99D88807FE7A1850 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:16:19] 933*2^1441263-1 is not prime. Res64: FDCB5BB890F977C4 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:19:22] 963*2^1441263-1 is not prime. Res64: A53B945E97657B34 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:19:23] 677*2^1441264-1 is not prime. Res64: AC6FB71DF0981C52 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:19:23] 687*2^1441264-1 is not prime. Res64: CCCC36D774CF2223 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:19:23] 995*2^1441264-1 is not prime. Res64: 346CCAED3851E5BF Time : 0.0 sec. user=mdettweiler [2016-09-30 15:19:23] 789*2^1441265-1 is not prime. Res64: 1C1C6A9891335614 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:48:03] 841*2^1441265-1 is not prime. Res64: 64B11CFC1413BC38 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:48:03] 861*2^1441265-1 is not prime. Res64: D8B7422585AA4015 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:48:03] 725*2^1441266-1 is not prime. Res64: F1586659085EA6EB Time : 0.0 sec. user=mdettweiler [2016-09-30 15:48:03] 851*2^1441266-1 is not prime. Res64: 2E7E6CBC99220F27 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:48:04] 867*2^1441266-1 is not prime. Res64: 5F3050781703C97A Time : 0.0 sec. user=mdettweiler [2016-09-30 15:58:23] 873*2^1441266-1 is not prime. Res64: 558A8FA1C780F30F Time : 0.0 sec. user=mdettweiler [2016-09-30 15:58:23] 917*2^1441266-1 is not prime. Res64: 88776A3933ED07CB Time : 0.0 sec. user=mdettweiler [2016-09-30 15:58:23] 921*2^1441266-1 is not prime. Res64: 37153E341437AF80 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:58:23] 609*2^1441267-1 is not prime. Res64: FA27BEA1F9EFC085 Time : 0.0 sec. user=mdettweiler [2016-09-30 15:58:24] 735*2^1441267-1 is not prime. Res64: CBCCA58062EFF2F9 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:06:59] 741*2^1441267-1 is not prime. Res64: 947B20CC4363FB25 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:07:01] 765*2^1441267-1 is not prime. Res64: 52D42E0EA12BE2B3 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:07:02] 819*2^1441267-1 is not prime. Res64: 3814AC4B3FB215B1 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:07:02] 861*2^1441267-1 is not prime. Res64: 9EF729A6734FF17C Time : 0.0 sec. user=mdettweiler [2016-09-30 16:07:03] 669*2^1441268-1 is not prime. Res64: CCE2ADB3390F3309 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:08:42] 689*2^1441268-1 is not prime. Res64: E9B3F3B2229C5D55 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:08:42] 845*2^1441268-1 is not prime. Res64: 163050763BEA191B Time : 0.0 sec. user=mdettweiler [2016-09-30 16:08:42] 875*2^1441268-1 is not prime. Res64: DBB7DC0367D5A862 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:08:43] 987*2^1441268-1 is not prime. Res64: C1314C2B1E66EDB1 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:08:43] 655*2^1441269-1 is not prime. Res64: C11F6387D1C1A5F8 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:37:04] 657*2^1441269-1 is not prime. Res64: BE75AC86CCD0C47D Time : 0.0 sec. user=mdettweiler [2016-09-30 16:37:05] 711*2^1441269-1 is not prime. Res64: 7221EAECDAA7A355 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:37:05] 817*2^1441269-1 is not prime. Res64: 0F2416C385DCBE49 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:37:05] 837*2^1441269-1 is not prime. Res64: A23A9EB8C3E532E5 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:37:06] 847*2^1441269-1 is not prime. Res64: 3D505E527B30EF82 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:46:13] 919*2^1441269-1 is not prime. Res64: FB02EE48B50F3DC6 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:46:14] 695*2^1441270-1 is not prime. Res64: 9BDB90B397F26CD9 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:46:14] 747*2^1441270-1 is not prime. Res64: 0F4219766F570144 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:46:15] 777*2^1441270-1 is not prime. Res64: 8615A6A466BB7394 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:46:15] 813*2^1441270-1 is not prime. Res64: 04A94F75A92F7FA5 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:54:39] 843*2^1441270-1 is not prime. Res64: C0D06CCE7BDBCCE3 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:54:40] 867*2^1441270-1 is not prime. Res64: 76E862F47460FEB2 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:54:40] 885*2^1441270-1 is not prime. Res64: 086F5AD1B5339EB7 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:54:40] 945*2^1441270-1 is not prime. Res64: 96C57F6459920625 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:54:41] 619*2^1441271-1 is not prime. Res64: 87B2F57E4C954A85 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:55:38] 675*2^1441271-1 is not prime. Res64: D74383D8F19F5889 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:55:38] 685*2^1441271-1 is not prime. Res64: 86D4B786A1BE8624 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:55:39] 735*2^1441271-1 is not prime. Res64: 2C9B8F0D16D18407 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:55:39] 763*2^1441271-1 is not prime. Res64: 4199C24768AEB9E3 Time : 0.0 sec. user=mdettweiler [2016-09-30 16:55:39] 823*2^1441271-1 is not prime. Res64: C9EF8E8838C462BA Time : 0.0 sec. user=mdettweiler [2016-09-30 17:22:38] 859*2^1441271-1 is not prime. Res64: 142209E7472D005A Time : 0.0 sec. user=mdettweiler [2016-09-30 17:22:38] 683*2^1441272-1 is not prime. Res64: D6756F163B388669 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:22:38] 695*2^1441272-1 is not prime. Res64: 1FA05566F2766340 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:22:39] 725*2^1441272-1 is not prime. Res64: E41A6222E6E2A0D5 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:22:39] 759*2^1441272-1 is not prime. Res64: 1561FA28FE5EA627 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:31:52] 779*2^1441272-1 is not prime. Res64: 3B532F896FA3CC18 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:31:53] 797*2^1441272-1 is not prime. Res64: 458A4BC4872A5A1C Time : 0.0 sec. user=mdettweiler [2016-09-30 17:31:53] 819*2^1441272-1 is not prime. Res64: DEE0F92C48FDCCC3 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:31:53] 879*2^1441272-1 is not prime. Res64: BE042964743FA602 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:31:54] 983*2^1441272-1 is not prime. Res64: E25CB768A69D8782 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:40:05] 615*2^1441273-1 is not prime. Res64: 35E5B915E2CF84B3 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:40:06] 639*2^1441273-1 is not prime. Res64: A29BA26118CED9ED Time : 0.0 sec. user=mdettweiler [2016-09-30 17:40:06] 651*2^1441273-1 is not prime. Res64: F9F6F01938227466 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:40:06] 741*2^1441273-1 is not prime. Res64: A77C434BD4D95209 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:40:07] 615*2^1441274-1 is not prime. Res64: 17B4838600A92BFA Time : 0.0 sec. user=mdettweiler [2016-09-30 17:41:09] 675*2^1441274-1 is not prime. Res64: 6C93A7D76CB1103D Time : 0.0 sec. user=mdettweiler [2016-09-30 17:41:10] 783*2^1441274-1 is not prime. Res64: A191D4B4C4F2D08E Time : 0.0 sec. user=mdettweiler [2016-09-30 17:41:10] 815*2^1441274-1 is not prime. Res64: E553ED08326AEBA4 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:41:10] 861*2^1441274-1 is not prime. Res64: 5AC3E76BE503BB24 Time : 0.0 sec. user=mdettweiler [2016-09-30 17:41:11] 923*2^1441274-1 is not prime. Res64: 68C03EB6EF7AF3D1 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:08:04] 935*2^1441274-1 is not prime. Res64: D0BE5B1559F7CEA4 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:08:09] 953*2^1441274-1 is not prime. Res64: ED9E33404E92ED71 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:08:11] 735*2^1441275-1 is not prime. Res64: 6AD492E46A0EA2E0 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:08:14] 795*2^1441275-1 is not prime. Res64: 0863223B2A4EA033 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:08:15] 819*2^1441275-1 is not prime. Res64: 49BB459D42F20403 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:17:22] 861*2^1441275-1 is not prime. Res64: 9550F97ABAFF31DB Time : 0.0 sec. user=mdettweiler [2016-09-30 18:17:23] 895*2^1441275-1 is not prime. Res64: E4FF6E3A129DB4D1 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:17:23] 963*2^1441275-1 is not prime. Res64: 13E038CD441E3FE1 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:17:24] 719*2^1441276-1 is not prime. Res64: 31CF6727AB4844BD Time : 0.0 sec. user=mdettweiler [2016-09-30 18:17:24] 825*2^1441276-1 is not prime. Res64: BCD9473D94B01334 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:25:29] 843*2^1441276-1 is not prime. Res64: 635E6BCF21ECCC93 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:25:29] 855*2^1441276-1 is not prime. Res64: E7D3F305B9B279D3 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:25:30] 969*2^1441276-1 is not prime. Res64: 5142C91958B84C99 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:25:30] 615*2^1441277-1 is not prime. Res64: 28F07AA5FBCA2059 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:25:31] 621*2^1441277-1 is not prime. Res64: 7CFBCBB80B619A6B Time : 0.0 sec. user=mdettweiler [2016-09-30 18:26:33] 697*2^1441277-1 is not prime. Res64: 80EB317E6324A63C Time : 0.0 sec. user=mdettweiler [2016-09-30 18:26:34] 937*2^1441277-1 is not prime. Res64: D8DC4F52178A1781 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:26:34] 945*2^1441277-1 is not prime. Res64: EB9A7C16EBD5AF3C Time : 0.0 sec. user=mdettweiler [2016-09-30 18:26:35] 747*2^1441278-1 is not prime. Res64: B21C5AA182336E98 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:26:35] 767*2^1441278-1 is not prime. Res64: 4B343D4D3AD4261D Time : 0.0 sec. user=mdettweiler [2016-09-30 18:53:46] 971*2^1441278-1 is not prime. Res64: E2EBEBBDDBAFA8B5 Time : 0.0 sec. user=mdettweiler [2016-09-30 18:53:47] 977*2^1441278-1 is not prime. Res64: 51C6D76855A36A7B Time : 0.0 sec. user=mdettweiler [2016-09-30 18:53:47] 619*2^1441279-1 is not prime. Res64: D5871595FA1E385C Time : 0.0 sec. user=mdettweiler [2016-09-30 18:53:48] 685*2^1441279-1 is not prime. Res64: 9C31E83AAC9BC86A Time : 0.0 sec. user=mdettweiler [2016-09-30 18:53:48] 793*2^1441279-1 is not prime. Res64: 6AC7F8D69ED1B45F Time : 0.0 sec. user=mdettweiler [2016-09-30 19:02:49] 883*2^1441279-1 is not prime. Res64: 470EEE54C4E15C21 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:02:50] 931*2^1441279-1 is not prime. Res64: 0516CCBB23344B3A Time : 0.0 sec. user=mdettweiler [2016-09-30 19:02:51] 939*2^1441279-1 is not prime. Res64: 2748D9AE66573FC6 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:02:51] 973*2^1441279-1 is not prime. Res64: F6C41E8680905216 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:02:52] 615*2^1441280-1 is not prime. Res64: 40E865B857D82B98 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:21] 795*2^1441281-1 is not prime. Res64: 5CEB611D1D0C83E1 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:21] 811*2^1441281-1 is not prime. Res64: 9FE81FE0062DB1A6 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:22] 847*2^1441281-1 is not prime. Res64: 55D6936C535E0C18 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:22] 865*2^1441281-1 is not prime. Res64: 8235E95444A34D6C Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:23] 951*2^1441281-1 is not prime. Res64: 5DAA31941FD77090 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:44] 633*2^1441280-1 is not prime. Res64: 321695F55978129D Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:45] 713*2^1441280-1 is not prime. Res64: B0965ADDB799313D Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:45] 819*2^1441280-1 is not prime. Res64: 7E63B8442FBEDACF Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:46] 609*2^1441281-1 is not prime. Res64: B870D7EA87B45478 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:12:46] 739*2^1441281-1 is not prime. Res64: 10BE91112AA95C60 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:39:41] 647*2^1441282-1 is not prime. Res64: 9AE243F36658AABC Time : 0.0 sec. user=mdettweiler [2016-09-30 19:39:41] 653*2^1441282-1 is not prime. Res64: A01ECB02ECAE4B05 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:39:42] 657*2^1441282-1 is not prime. Res64: CAC179550D35125F Time : 0.0 sec. user=mdettweiler [2016-09-30 19:39:42] 665*2^1441282-1 is not prime. Res64: EDE54725EB788D43 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:39:43] 675*2^1441282-1 is not prime. Res64: B4DF8F28804C49FA Time : 0.0 sec. user=mdettweiler [2016-09-30 19:48:43] 681*2^1441282-1 is not prime. Res64: B3B4678571522A9E Time : 0.0 sec. user=mdettweiler [2016-09-30 19:48:44] 723*2^1441282-1 is not prime. Res64: 1A90D5610AE7B77F Time : 0.0 sec. user=mdettweiler [2016-09-30 19:48:44] 891*2^1441282-1 is not prime. Res64: 39750C9CEBE3CBCD Time : 0.0 sec. user=mdettweiler [2016-09-30 19:48:44] 923*2^1441282-1 is not prime. Res64: 0CB744C6B5C384C4 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:48:45] 945*2^1441282-1 is not prime. Res64: 7CD81B413DEE54A0 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:50] 783*2^1441284-1 is not prime. Res64: 6CE3392C46191955 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:51] 729*2^1441285-1 is not prime. Res64: 36DF16B8FE1582E2 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:51] 925*2^1441285-1 is not prime. Res64: D8EA3C5265BBEBCD Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:52] 937*2^1441285-1 is not prime. Res64: 37D259974F1FA4F7 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:52] 985*2^1441285-1 is not prime. Res64: 09F36F2C5B381EBC Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:58] 603*2^1441283-1 is not prime. Res64: 3682168341BCD6FC Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:58] 699*2^1441283-1 is not prime. Res64: 338339713BB9DBB6 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:59] 753*2^1441283-1 is not prime. Res64: 0F6E21BE79F5ACF6 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:57:59] 885*2^1441283-1 is not prime. Res64: 942857D5C48FAC20 Time : 0.0 sec. user=mdettweiler [2016-09-30 19:58:00] 699*2^1441284-1 is not prime. Res64: B835DF0D200E069A Time : 0.0 sec. user=mdettweiler [2016-09-30 20:24:56] 997*2^1441285-1 is not prime. Res64: 4B9498C3ECB06032 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:24:56] 705*2^1441286-1 is not prime. Res64: 16B2A8A85B058434 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:24:57] 717*2^1441286-1 is not prime. Res64: 50D62D67923FD392 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:24:57] 813*2^1441286-1 is not prime. Res64: 037F93A210DE3E0C Time : 0.0 sec. user=mdettweiler [2016-09-30 20:24:58] 827*2^1441286-1 is not prime. Res64: E9F61238FA29AB23 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:33:50] 831*2^1441286-1 is not prime. Res64: DB604B50246E211E Time : 0.0 sec. user=mdettweiler [2016-09-30 20:33:51] 981*2^1441286-1 is not prime. Res64: 4D869F5C31D99F57 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:33:51] 625*2^1441287-1 is not prime. Res64: 8A23A8DE3545B4D2 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:33:52] 685*2^1441287-1 is not prime. Res64: 5038D791B792E43C Time : 0.0 sec. user=mdettweiler [2016-09-30 20:33:53] 751*2^1441287-1 is not prime. Res64: FF89166C237315A9 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:42:52] 805*2^1441287-1 is not prime. Res64: AD7F65A08A7E09A9 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:42:52] 677*2^1441288-1 is not prime. Res64: 40FD2D5A4FC7143E Time : 0.0 sec. user=mdettweiler [2016-09-30 20:42:53] 743*2^1441288-1 is not prime. Res64: 5E680B10E7F22D39 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:42:53] 797*2^1441288-1 is not prime. Res64: 2B77622979DE2FC4 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:42:54] 827*2^1441288-1 is not prime. Res64: 5F0AC021A45E3444 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:43:06] 855*2^1441288-1 is not prime. Res64: E98A6312BD963052 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:43:07] 869*2^1441288-1 is not prime. Res64: 61D356DCC5578E6B Time : 0.0 sec. user=mdettweiler [2016-09-30 20:43:07] 887*2^1441288-1 is not prime. Res64: 3D65A13DA0450788 Time : 0.0 sec. user=mdettweiler [2016-09-30 20:43:07] 631*2^1441289-1 is not prime. Res64: 13EE7F0AEE1AECFD Time : 0.0 sec. user=mdettweiler [2016-09-30 20:43:08] 711*2^1441289-1 is not prime. Res64: DDAE2EE1F6DF52A8 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:10:03] 787*2^1441289-1 is not prime. Res64: 9AA9FE41440FFBB3 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:10:04] 795*2^1441289-1 is not prime. Res64: F41FC5E40E7FD42B Time : 0.0 sec. user=mdettweiler [2016-09-30 21:10:05] 861*2^1441289-1 is not prime. Res64: 4A652B0AA45FBE86 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:10:05] 909*2^1441289-1 is not prime. Res64: 6563F6AA6393F7D7 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:10:06] 747*2^1441290-1 is not prime. Res64: D1966446BA1A0E74 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:19:10] 755*2^1441290-1 is not prime. Res64: 9EE1DB46C33557D4 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:19:11] 801*2^1441290-1 is not prime. Res64: C7CB7ED9048A5832 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:19:11] 905*2^1441290-1 is not prime. Res64: FEBE0EFCCDDC31DE Time : 0.0 sec. user=mdettweiler [2016-09-30 21:19:12] 927*2^1441290-1 is not prime. Res64: CF7007CBB84C119B Time : 0.0 sec. user=mdettweiler [2016-09-30 21:19:12] 709*2^1441291-1 is not prime. Res64: B37B4CAE3CEDC4C4 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:19] 751*2^1441291-1 is not prime. Res64: 215D8AF6FA71228E Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:20] 769*2^1441291-1 is not prime. Res64: 1542D552437D42FC Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:20] 829*2^1441291-1 is not prime. Res64: 0AC7A29E255F13B9 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:21] 931*2^1441291-1 is not prime. Res64: DF059FBBBDF5B54D Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:21] 647*2^1441292-1 is not prime. Res64: 795F9DF1DD290810 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:26] 725*2^1441292-1 is not prime. Res64: A9E37E81E2BF5822 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:26] 819*2^1441293-1 is not prime. Res64: 9C98BA8372AAA0F3 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:27] 847*2^1441293-1 is not prime. Res64: 63949318849893ED Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:27] 849*2^1441293-1 is not prime. Res64: 1F64DF6AD89B78A4 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:28:27] 877*2^1441293-1 is not prime. Res64: 7D9A050ABBA7CECE Time : 0.0 sec. user=mdettweiler [2016-09-30 21:55:34] 885*2^1441293-1 is not prime. Res64: 17F0652CA9646E8D Time : 0.0 sec. user=mdettweiler [2016-09-30 21:55:34] 891*2^1441293-1 is not prime. Res64: 433DD929E91747F9 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:55:34] 927*2^1441293-1 is not prime. Res64: A0C873E0D2D0A7DE Time : 0.0 sec. user=mdettweiler [2016-09-30 21:55:35] 961*2^1441293-1 is not prime. Res64: 8806E35D4F2F5EF8 Time : 0.0 sec. user=mdettweiler [2016-09-30 21:55:35] 717*2^1441294-1 is not prime. Res64: A0DB4E32D7849AA8 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:04:26] 791*2^1441294-1 is not prime. Res64: EAF038E0B5CAD421 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:04:28] 891*2^1441294-1 is not prime. Res64: D79147AF6BCB2B65 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:04:31] 941*2^1441294-1 is not prime. Res64: FCBDADC043BB58C2 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:04:32] 945*2^1441294-1 is not prime. Res64: 670DCA84A61F905E Time : 0.0 sec. user=mdettweiler [2016-09-30 22:04:34] 981*2^1441294-1 is not prime. Res64: 6365AE24C332E454 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:32] 1001*2^1441294-1 is not prime. Res64: 1EB84BCC4FEB36E5 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:34] 603*2^1441295-1 is not prime. Res64: C1B935D2C9BDC47D Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:34] 655*2^1441295-1 is not prime. Res64: 89D388041A5F3736 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:35] 685*2^1441295-1 is not prime. Res64: 814DA314043FB794 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:36] 759*2^1441295-1 is not prime. Res64: CDF765075DF36259 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:42] 771*2^1441295-1 is not prime. Res64: 90DD2D02B6576FBF Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:43] 843*2^1441295-1 is not prime. Res64: E9EA40E25203A427 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:43] 861*2^1441295-1 is not prime. Res64: BA660AB07BB15527 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:44] 883*2^1441295-1 is not prime. Res64: 18D9110402B6A41D Time : 0.0 sec. user=mdettweiler [2016-09-30 22:13:45] 949*2^1441295-1 is not prime. Res64: 9EB0FEC3FC8EE205 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:40:50] 999*2^1441295-1 is not prime. Res64: 9DF54C7A8A26580F Time : 0.0 sec. user=mdettweiler [2016-09-30 22:40:50] 657*2^1441296-1 is not prime. Res64: 24F1084E376FD317 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:40:51] 699*2^1441296-1 is not prime. Res64: 4141E57282C38B16 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:40:51] 725*2^1441296-1 is not prime. Res64: DED32E28944F69ED Time : 0.0 sec. user=mdettweiler [2016-09-30 22:40:51] 767*2^1441296-1 is not prime. Res64: 94F5F42A4185C5DA Time : 0.0 sec. user=mdettweiler [2016-09-30 22:50:01] 779*2^1441296-1 is not prime. Res64: 33C6492C6715CF99 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:50:02] 849*2^1441296-1 is not prime. Res64: 0DE56B765B975B33 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:50:02] 879*2^1441296-1 is not prime. Res64: 12BB2D9755025293 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:50:03] 887*2^1441296-1 is not prime. Res64: E4A45ECCF6D4FF61 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:50:03] 893*2^1441296-1 is not prime. Res64: CC6C26BF92AEA7E1 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:58:54] 639*2^1441297-1 is not prime. Res64: 16B6E45FC255C17D Time : 0.0 sec. user=mdettweiler [2016-09-30 22:58:54] 667*2^1441297-1 is not prime. Res64: 8223C9E21AA9D25F Time : 0.0 sec. user=mdettweiler [2016-09-30 22:58:55] 901*2^1441297-1 is not prime. Res64: 9920D733F3DBDD37 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:58:55] 603*2^1441298-1 is not prime. Res64: E192815E639AD5B8 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:58:56] 687*2^1441298-1 is not prime. Res64: A6AF4DFD0A25680B Time : 0.0 sec. user=mdettweiler [2016-09-30 22:59:04] 753*2^1441298-1 is not prime. Res64: 3284B83C94B2F275 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:59:04] 827*2^1441298-1 is not prime. Res64: 51D70255CAB7CFF0 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:59:05] 867*2^1441298-1 is not prime. Res64: 913193B34E5D2AA3 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:59:05] 875*2^1441298-1 is not prime. Res64: 54138D108038B8D7 Time : 0.0 sec. user=mdettweiler [2016-09-30 22:59:06] 963*2^1441298-1 is not prime. Res64: 690D2B972CB26E2B Time : 0.0 sec. user=mdettweiler [2016-09-30 23:26:04] 649*2^1441299-1 is not prime. Res64: A514F581CA1A7B1D Time : 0.0 sec. user=mdettweiler [2016-09-30 23:26:04] 795*2^1441299-1 is not prime. Res64: A00BCB1C9C591189 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:26:05] 835*2^1441299-1 is not prime. Res64: B3DB94487F8846D1 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:26:05] 873*2^1441299-1 is not prime. Res64: 2B63BE4262A93951 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:26:06] 895*2^1441299-1 is not prime. Res64: 53F5FF75DC92F27F Time : 0.0 sec. user=mdettweiler [2016-09-30 23:35:22] 955*2^1441299-1 is not prime. Res64: 78E3CFE61E0B982F Time : 0.0 sec. user=mdettweiler [2016-09-30 23:35:23] 675*2^1441300-1 is not prime. Res64: D2C312EB51D4077A Time : 0.0 sec. user=mdettweiler [2016-09-30 23:35:23] 687*2^1441300-1 is not prime. Res64: 16F8EE2200783CF9 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:35:24] 717*2^1441300-1 is not prime. Res64: ADD8694CE683FE3B Time : 0.0 sec. user=mdettweiler [2016-09-30 23:35:25] 773*2^1441300-1 is not prime. Res64: 150B13BA473DF8FC Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:18] 855*2^1441300-1 is not prime. Res64: 3CEE545C8B0BB017 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:19] 927*2^1441300-1 is not prime. Res64: FDD0C047746D7448 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:19] 957*2^1441300-1 is not prime. Res64: 4123DA25E68D0A65 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:20] 627*2^1441301-1 is not prime. Res64: F2432482E9D85E7A Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:20] 745*2^1441301-1 is not prime. Res64: 753B304E0AA22984 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:31] 907*2^1441301-1 is not prime. Res64: FF4D5D7D56165AAA Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:32] 937*2^1441301-1 is not prime. Res64: 1029A40722A2E1AD Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:33] 725*2^1441302-1 is not prime. Res64: CB37896CD74F43D9 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:33] 755*2^1441302-1 is not prime. Res64: 4451568E9F19D228 Time : 0.0 sec. user=mdettweiler [2016-09-30 23:44:33] 873*2^1441302-1 is not prime. Res64: 628550F88DDB4E7F Time : 0.0 sec.