user=mdettweiler [2015-11-07 00:13:04] 723*2^1414215-1 is not prime. Res64: C27F37C8472B1569 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:13:05] 813*2^1414214-1 is not prime. Res64: 7F54C2621D841B6E Time : 0.0 sec. user=mdettweiler [2015-11-07 00:13:05] 751*2^1414215-1 is not prime. Res64: BA02A7A001F7F886 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:13:05] 851*2^1414214-1 is not prime. Res64: DB93FE70AE09635B Time : 0.0 sec. user=mdettweiler [2015-11-07 00:13:06] 685*2^1414215-1 is not prime. Res64: 52734EFA82E1F100 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:13:06] 709*2^1414215-1 is not prime. Res64: BDED0BC6D16FDB8C Time : 0.0 sec. user=mdettweiler [2015-11-07 00:30:38] 603*2^1414216-1 is not prime. Res64: 10E69EA8A5C954A1 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:30:39] 813*2^1414216-1 is not prime. Res64: 754091B712C2AA78 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:30:39] 871*2^1414215-1 is not prime. Res64: 0A1E8BA87D4F90BC Time : 0.0 sec. user=mdettweiler [2015-11-07 00:30:39] 963*2^1414215-1 is not prime. Res64: D1D4890FA2219CD0 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:30:39] 763*2^1414215-1 is not prime. Res64: 604370F45B00AF2E Time : 0.0 sec. user=mdettweiler [2015-11-07 00:30:40] 865*2^1414215-1 is not prime. Res64: 0A7554BF1D78ADC5 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:48:08] 825*2^1414216-1 is not prime. Res64: C6F6766B11C4928F Time : 0.0 sec. user=mdettweiler [2015-11-07 00:48:09] 903*2^1414216-1 is not prime. Res64: EAF87491619D86D1 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:48:09] 969*2^1414216-1 is not prime. Res64: 63D34BFF6DBD1F7F Time : 0.0 sec. user=mdettweiler [2015-11-07 00:48:09] 685*2^1414217-1 is not prime. Res64: 6148E8342E17356F Time : 0.0 sec. user=mdettweiler [2015-11-07 00:48:09] 669*2^1414217-1 is not prime. Res64: C3371A113E05DBA6 Time : 0.0 sec. user=mdettweiler [2015-11-07 00:48:10] 727*2^1414217-1 is not prime. Res64: B2C9E6961F9B11FF Time : 0.0 sec. user=mdettweiler [2015-11-07 01:05:40] 671*2^1414218-1 is not prime. Res64: 59D949D4C086D178 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:05:41] 777*2^1414217-1 is not prime. Res64: 0472DBA2770FBB93 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:05:42] 777*2^1414218-1 is not prime. Res64: 0A869B9715E54A9E Time : 0.0 sec. user=mdettweiler [2015-11-07 01:05:43] 847*2^1414217-1 is not prime. Res64: 590E64EA1E6DE3BD Time : 0.0 sec. user=mdettweiler [2015-11-07 01:05:44] 837*2^1414218-1 is not prime. Res64: 0D5AB56C33BB08FE Time : 0.0 sec. user=mdettweiler [2015-11-07 01:05:45] 601*2^1414219-1 is not prime. Res64: 2A05178E233213CF Time : 0.0 sec. user=mdettweiler [2015-11-07 01:23:32] 679*2^1414219-1 is not prime. Res64: 2AF5CFAFB97D4C47 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:23:32] 769*2^1414219-1 is not prime. Res64: 221C88E5419297D8 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:23:36] 691*2^1414219-1 is not prime. Res64: 2C3BA18CC9860B4C Time : 0.0 sec. user=mdettweiler [2015-11-07 01:23:36] 663*2^1414220-1 is not prime. Res64: B34A067275EB6E96 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:23:37] 603*2^1414220-1 is not prime. Res64: F92F8E78D1D71B70 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:23:37] 615*2^1414220-1 is not prime. Res64: 3FF5C6D768515A54 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:41:02] 665*2^1414220-1 is not prime. Res64: AA2251D1F53E0202 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:41:03] 669*2^1414220-1 is not prime. Res64: 581C1D9AC7FD2871 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:41:05] 789*2^1414220-1 is not prime. Res64: FC6733AD253DC0D6 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:41:06] 825*2^1414220-1 is not prime. Res64: E6B26EDC872A46C5 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:41:07] 843*2^1414220-1 is not prime. Res64: 82BE7468E216C8C5 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:41:07] 855*2^1414220-1 is not prime. Res64: E8C5208713A1BD0E Time : 0.0 sec. user=mdettweiler [2015-11-07 01:58:38] 945*2^1414220-1 is not prime. Res64: 9A813EA73E46BB79 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:58:38] 651*2^1414221-1 is not prime. Res64: 0173CBE935750F39 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:58:39] 603*2^1414222-1 is not prime. Res64: A49FCA8D9394CD2B Time : 0.0 sec. user=mdettweiler [2015-11-07 01:58:40] 651*2^1414222-1 is not prime. Res64: D7F67C44D78A35F9 Time : 0.0 sec. user=mdettweiler [2015-11-07 01:58:42] 761*2^1414222-1 is not prime. Res64: D2056C9C33D4F2AF Time : 0.0 sec. user=mdettweiler [2015-11-07 01:58:43] 857*2^1414222-1 is not prime. Res64: E9857C0C8E180224 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:16:13] 911*2^1414222-1 is not prime. Res64: 48BE2FFAE551EDD1 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:16:13] 951*2^1414222-1 is not prime. Res64: 945B8CB0483ABB18 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:16:14] 703*2^1414223-1 is not prime. Res64: 60C2BB0D8F5385D9 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:16:14] 741*2^1414223-1 is not prime. Res64: DB7B39279C74564A Time : 0.0 sec. user=mdettweiler [2015-11-07 02:16:16] 605*2^1414224-1 is not prime. Res64: CA8F700ACD0950A4 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:16:16] 693*2^1414224-1 is not prime. Res64: FB6F0AFB718F663A Time : 0.0 sec. user=mdettweiler [2015-11-07 02:33:47] 759*2^1414224-1 is not prime. Res64: FB205068D64002FF Time : 0.0 sec. user=mdettweiler [2015-11-07 02:33:47] 825*2^1414224-1 is not prime. Res64: 260E58D2D0C63E0D Time : 0.0 sec. user=mdettweiler [2015-11-07 02:33:47] 795*2^1414224-1 is not prime. Res64: E6CD0A8E8FAFDD32 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:33:47] 863*2^1414224-1 is not prime. Res64: 034972AEB3BE7492 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:33:50] 705*2^1414224-1 is not prime. Res64: 758368CE87CF200A Time : 0.0 sec. user=mdettweiler [2015-11-07 02:33:50] 707*2^1414224-1 is not prime. Res64: 2CA0B0DB603841AA Time : 0.0 sec. user=mdettweiler [2015-11-07 02:51:20] 893*2^1414224-1 is not prime. Res64: 176DD8E1FA853BF6 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:51:20] 661*2^1414225-1 is not prime. Res64: 7570D9E85CE779EF Time : 0.0 sec. user=mdettweiler [2015-11-07 02:51:20] 635*2^1414226-1 is not prime. Res64: 5C1B80FD2E729BEC Time : 0.0 sec. user=mdettweiler [2015-11-07 02:51:21] 649*2^1414225-1 is not prime. Res64: B729FF5BFF25D257 Time : 0.0 sec. user=mdettweiler [2015-11-07 02:51:21] 777*2^1414225-1 is not prime. Res64: 21EE83E2E1AA401F Time : 0.0 sec. user=mdettweiler [2015-11-07 02:51:21] 767*2^1414226-1 is not prime. Res64: A9C4949CBACC58FB Time : 0.0 sec. user=mdettweiler [2015-11-07 03:08:50] 813*2^1414226-1 is not prime. Res64: 0C8AC82C3E93647D Time : 0.0 sec. user=mdettweiler [2015-11-07 03:08:50] 1001*2^1414226-1 is not prime. Res64: A06D759287797F5C Time : 0.0 sec. user=mdettweiler [2015-11-07 03:08:50] 857*2^1414226-1 is not prime. Res64: 8DD31725A40A7D11 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:08:51] 621*2^1414227-1 is not prime. Res64: BEFD7EF63D9F10E5 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:08:52] 887*2^1414226-1 is not prime. Res64: B1B704657A1AC3DD Time : 0.0 sec. user=mdettweiler [2015-11-07 03:08:53] 983*2^1414226-1 is not prime. Res64: 75CAEC32AEF5A989 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:26:25] 775*2^1414227-1 is not prime. Res64: 18FC6C80ABAE8F27 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:26:26] 849*2^1414227-1 is not prime. Res64: 2F68D2A4096AD133 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:26:30] 901*2^1414227-1 is not prime. Res64: 0A1DF0CB87449FE4 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:26:32] 963*2^1414227-1 is not prime. Res64: 2A698CF60BCB99C7 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:26:33] 979*2^1414227-1 is not prime. Res64: 44AC345824B0189E Time : 0.0 sec. user=mdettweiler [2015-11-07 03:26:34] 623*2^1414228-1 is not prime. Res64: 35954D0EDF51DA18 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:44:02] 639*2^1414228-1 is not prime. Res64: 3F6425BBF472A0EE Time : 0.0 sec. user=mdettweiler [2015-11-07 03:44:04] 797*2^1414228-1 is not prime. Res64: 8D0CCDD004EE2DA3 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:44:04] 863*2^1414228-1 is not prime. Res64: 0E213A372417EA89 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:44:04] 819*2^1414228-1 is not prime. Res64: CE7599EF3C4DC8C8 Time : 0.0 sec. user=mdettweiler [2015-11-07 03:44:05] 735*2^1414228-1 is not prime. Res64: BF5B12C43EBD9E1D Time : 0.0 sec. user=mdettweiler [2015-11-07 03:44:06] 987*2^1414228-1 is not prime. Res64: C362ACEC316F3A86 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:01:53] 825*2^1414229-1 is not prime. Res64: 472B7C203206FA26 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:01:54] 889*2^1414229-1 is not prime. Res64: B48CB0888367D6EE Time : 0.0 sec. user=mdettweiler [2015-11-07 04:01:55] 847*2^1414229-1 is not prime. Res64: E6D626E0C482544F Time : 0.0 sec. user=mdettweiler [2015-11-07 04:01:55] 655*2^1414229-1 is not prime. Res64: 80CC1563E9FCFC50 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:01:56] 927*2^1414229-1 is not prime. Res64: 76DCEA87FDE19A4C Time : 0.0 sec. user=mdettweiler [2015-11-07 04:01:56] 657*2^1414229-1 is not prime. Res64: B90CCAA636FD02A2 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:19:47] 931*2^1414229-1 is not prime. Res64: 541BAA9A8D52796E Time : 0.0 sec. user=mdettweiler [2015-11-07 04:19:47] 949*2^1414229-1 is not prime. Res64: 6F41C88207B33116 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:19:47] 955*2^1414229-1 is not prime. Res64: 6CB2756465A352F4 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:19:48] 711*2^1414230-1 is not prime. Res64: 9E060354A9B1DBD9 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:19:48] 791*2^1414230-1 is not prime. Res64: D49AE62E1DBA7FFB Time : 0.0 sec. user=mdettweiler [2015-11-07 04:19:48] 801*2^1414230-1 is not prime. Res64: D058340125354A9C Time : 0.0 sec. user=mdettweiler [2015-11-07 04:37:17] 927*2^1414230-1 is not prime. Res64: DD0F7C773EFD0CF6 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:37:17] 941*2^1414230-1 is not prime. Res64: D179393870F077DA Time : 0.0 sec. user=mdettweiler [2015-11-07 04:37:17] 843*2^1414230-1 is not prime. Res64: 730A0488827311B7 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:37:18] 681*2^1414231-1 is not prime. Res64: 59D9D38180FDEE60 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:37:18] 861*2^1414230-1 is not prime. Res64: FFE556DE17A5A031 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:37:18] 993*2^1414231-1 is not prime. Res64: 40F4ACB583D0289B Time : 0.0 sec. user=mdettweiler [2015-11-07 04:54:47] 605*2^1414232-1 is not prime. Res64: F27CA1DE8A2F5499 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:54:47] 609*2^1414232-1 is not prime. Res64: 9F58388992F51A28 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:54:47] 693*2^1414232-1 is not prime. Res64: 5AA4CF172C023E92 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:54:47] 687*2^1414232-1 is not prime. Res64: 66373B8C1D7116C5 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:54:48] 735*2^1414232-1 is not prime. Res64: D2D0D7D3581BDCE1 Time : 0.0 sec. user=mdettweiler [2015-11-07 04:54:48] 689*2^1414232-1 is not prime. Res64: FE16B3C6D7DE4687 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:12:17] 755*2^1414232-1 is not prime. Res64: B1F6F67730B3F146 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:12:17] 797*2^1414232-1 is not prime. Res64: 9A2438FAF51BECDE Time : 0.0 sec. user=mdettweiler [2015-11-07 05:12:20] 735*2^1414233-1 is not prime. Res64: 01A10E59817BDEB1 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:12:21] 741*2^1414233-1 is not prime. Res64: FD329570ED3278B0 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:12:23] 827*2^1414232-1 is not prime. Res64: 1C95A1C10F4A2461 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:12:23] 899*2^1414232-1 is not prime. Res64: 6C846897366DC42A Time : 0.0 sec. user=mdettweiler [2015-11-07 05:29:47] 769*2^1414233-1 is not prime. Res64: 83D5C3C6EC6FB2C3 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:29:47] 781*2^1414233-1 is not prime. Res64: 8AFA0B895AA26CC9 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:29:49] 847*2^1414233-1 is not prime. Res64: F24B70D3831146E5 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:29:50] 885*2^1414233-1 is not prime. Res64: CAA916B2783C668A Time : 0.0 sec. user=mdettweiler [2015-11-07 05:29:52] 671*2^1414234-1 is not prime. Res64: FCC5EEADEBB6B699 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:29:52] 717*2^1414234-1 is not prime. Res64: AF01FD28378DD2B8 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:47:18] 765*2^1414234-1 is not prime. Res64: 6114280CA8180DB8 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:47:19] 881*2^1414234-1 is not prime. Res64: 5CB85B7178266E53 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:47:21] 939*2^1414235-1 is not prime. Res64: 586CB9FA0E1C62C7 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:47:21] 979*2^1414235-1 is not prime. Res64: 55A233A15B4E11C4 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:47:21] 609*2^1414236-1 is not prime. Res64: F63838D689C1F269 Time : 0.0 sec. user=mdettweiler [2015-11-07 05:47:22] 789*2^1414236-1 is not prime. Res64: EEAC68AB51772743 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:04:50] 667*2^1414237-1 is not prime. Res64: 37FBF1423B295A21 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:04:50] 751*2^1414237-1 is not prime. Res64: ED19671FD0BAC17B Time : 0.0 sec. user=mdettweiler [2015-11-07 06:04:51] 759*2^1414237-1 is not prime. Res64: 23390DEA6FAE35C9 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:04:52] 715*2^1414237-1 is not prime. Res64: B4E4E28A0BDB383A Time : 0.0 sec. user=mdettweiler [2015-11-07 06:04:53] 757*2^1414237-1 is not prime. Res64: 1241C761AF552DE2 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:04:54] 825*2^1414237-1 is not prime. Res64: 2E13E7F51284B054 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:22:55] 915*2^1414237-1 is not prime. Res64: 659BE2D514A72022 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:22:55] 927*2^1414237-1 is not prime. Res64: 80E6B87B1067E040 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:22:56] 979*2^1414237-1 is not prime. Res64: EE217FD126A830ED Time : 0.0 sec. user=mdettweiler [2015-11-07 06:22:56] 961*2^1414237-1 is not prime. Res64: 53723E60F9D06AE7 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:22:57] 797*2^1414238-1 is not prime. Res64: CA319D1D1D7987DE Time : 0.0 sec. user=mdettweiler [2015-11-07 06:22:57] 843*2^1414238-1 is not prime. Res64: 120F2FCE1AD092BF Time : 0.0 sec. user=mdettweiler [2015-11-07 06:40:26] 921*2^1414239-1 is not prime. Res64: FA634BEC907B8062 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:40:26] 923*2^1414238-1 is not prime. Res64: CEECF02473F16276 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:40:26] 797*2^1414240-1 is not prime. Res64: E13C290D4F93215B Time : 0.0 sec. user=mdettweiler [2015-11-07 06:40:26] 691*2^1414239-1 is not prime. Res64: 28C87F0CFBD5D7B9 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:40:27] 829*2^1414239-1 is not prime. Res64: 28F3AD3EE4F39090 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:40:27] 859*2^1414239-1 is not prime. Res64: C36DEE90EC259D05 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:57:55] 855*2^1414240-1 is not prime. Res64: 6C949973AA63CF25 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:57:55] 637*2^1414241-1 is not prime. Res64: EB9B4A01C11397CB Time : 0.0 sec. user=mdettweiler [2015-11-07 06:57:55] 965*2^1414240-1 is not prime. Res64: 40CA4B5D136ECC8C Time : 0.0 sec. user=mdettweiler [2015-11-07 06:57:55] 711*2^1414241-1 is not prime. Res64: EEF2230E6E17EAD5 Time : 0.0 sec. user=mdettweiler [2015-11-07 06:57:55] 717*2^1414241-1 is not prime. Res64: 8792923727B4031D Time : 0.0 sec. user=mdettweiler [2015-11-07 06:57:55] 837*2^1414241-1 is not prime. Res64: 1AED80E6028B64A6 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:15:25] 861*2^1414241-1 is not prime. Res64: 08C21E9F3CAA7E0F Time : 0.0 sec. user=mdettweiler [2015-11-07 07:15:25] 889*2^1414241-1 is not prime. Res64: 4B39F2FAFE667DED Time : 0.0 sec. user=mdettweiler [2015-11-07 07:15:25] 867*2^1414241-1 is not prime. Res64: FDB1DDD132EC8E50 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:15:25] 991*2^1414241-1 is not prime. Res64: ECDE13E915818F5A Time : 0.0 sec. user=mdettweiler [2015-11-07 07:15:26] 621*2^1414242-1 is not prime. Res64: 69773E969C4B722A Time : 0.0 sec. user=mdettweiler [2015-11-07 07:15:26] 683*2^1414242-1 is not prime. Res64: 5E7D100EA43D384E Time : 0.0 sec. user=mdettweiler [2015-11-07 07:32:56] 855*2^1414243-1 is not prime. Res64: 39355920280DEE74 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:32:57] 615*2^1414243-1 is not prime. Res64: 4F28FD76AB9C5792 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:32:57] 685*2^1414243-1 is not prime. Res64: 8DC5D7E4E43E7098 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:32:57] 873*2^1414243-1 is not prime. Res64: B1E1BE95AED32C78 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:32:57] 631*2^1414243-1 is not prime. Res64: 2E87CDADBFF9FAC5 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:32:57] 783*2^1414243-1 is not prime. Res64: 29C3FB74115E95B9 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:50:26] 885*2^1414243-1 is not prime. Res64: 0B2BC5F8FB0812E6 Time : 0.0 sec. user=mdettweiler [2015-11-07 07:50:26] 833*2^1414244-1 is not prime. Res64: F060C5F559F64F9F Time : 0.0 sec. user=mdettweiler [2015-11-07 07:50:27] 901*2^1414243-1 is not prime. Res64: 1C9C86771CAC33AD Time : 0.0 sec. user=mdettweiler [2015-11-07 07:50:27] 837*2^1414244-1 is not prime. Res64: DFDABC6F23D2A1AB Time : 0.0 sec. user=mdettweiler [2015-11-07 07:50:27] 945*2^1414243-1 is not prime. Res64: 3806B601980E08FF Time : 0.0 sec. user=mdettweiler [2015-11-07 07:50:27] 759*2^1414244-1 is not prime. Res64: 9CA994FC0B0F069D Time : 0.0 sec. user=mdettweiler [2015-11-07 08:07:58] 875*2^1414244-1 is not prime. Res64: C0D113C283941B5C Time : 0.0 sec. user=mdettweiler [2015-11-07 08:07:58] 961*2^1414245-1 is not prime. Res64: 47F7121EFBE38DD4 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:07:58] 975*2^1414245-1 is not prime. Res64: 36EADABC66FB7E93 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:07:58] 945*2^1414244-1 is not prime. Res64: 665CA8F8CCD09E6B Time : 0.0 sec. user=mdettweiler [2015-11-07 08:08:01] 805*2^1414245-1 is not prime. Res64: 16921DD3C78C8898 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:08:01] 885*2^1414245-1 is not prime. Res64: B81E5B31B7D06EA6 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:25:33] 821*2^1414246-1 is not prime. Res64: 46D0EA9F764C9350 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:25:33] 999*2^1414245-1 is not prime. Res64: A7DC3377DE7B1124 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:25:33] 923*2^1414246-1 is not prime. Res64: 1B91A9CFE02FFA3A Time : 0.0 sec. user=mdettweiler [2015-11-07 08:25:33] 917*2^1414246-1 is not prime. Res64: 52BD18FBBB1FFCC0 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:25:33] 783*2^1414246-1 is not prime. Res64: 83EBE6DB8AB3CFBA Time : 0.0 sec. user=mdettweiler [2015-11-07 08:25:34] 933*2^1414246-1 is not prime. Res64: 56769371A3FE2BC6 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:43:05] 813*2^1414247-1 is not prime. Res64: C96AA29690DD5D0B Time : 0.0 sec. user=mdettweiler [2015-11-07 08:43:06] 843*2^1414247-1 is not prime. Res64: 08286F32A750F67B Time : 0.0 sec. user=mdettweiler [2015-11-07 08:43:06] 705*2^1414247-1 is not prime. Res64: FCD25E75BC60E161 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:43:06] 711*2^1414247-1 is not prime. Res64: 4B903E972A4356C8 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:43:06] 741*2^1414247-1 is not prime. Res64: 6799E963C392BCF3 Time : 0.0 sec. user=mdettweiler [2015-11-07 08:43:06] 759*2^1414247-1 is not prime. Res64: B295B5628359A29C Time : 0.0 sec. user=mdettweiler [2015-11-07 09:00:36] 797*2^1414248-1 is not prime. Res64: 16193A20C1493768 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:00:36] 963*2^1414247-1 is not prime. Res64: 703D2C8ABA38EE27 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:00:37] 993*2^1414248-1 is not prime. Res64: 424115107E4F28FE Time : 0.0 sec. user=mdettweiler [2015-11-07 09:00:37] 767*2^1414248-1 is not prime. Res64: C495BC4B13C83844 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:00:37] 883*2^1414247-1 is not prime. Res64: 1A2808111F6C6DD8 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:00:38] 895*2^1414247-1 is not prime. Res64: 3020220643A0BDB5 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:18:12] 835*2^1414249-1 is not prime. Res64: 7AF1767B47C3672F Time : 0.0 sec. user=mdettweiler [2015-11-07 09:18:12] 855*2^1414249-1 is not prime. Res64: B328AB2C11AA3587 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:18:12] 675*2^1414250-1 is not prime. Res64: 98B4D5333A0831A6 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:18:12] 609*2^1414249-1 is not prime. Res64: 5C2B7C8101C11997 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:18:13] 851*2^1414250-1 is not prime. Res64: 595A6966A49DB6A4 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:18:13] 619*2^1414249-1 is not prime. Res64: C5DA8920E91AAF5C Time : 0.0 sec. user=mdettweiler [2015-11-07 09:35:55] 861*2^1414251-1 is not prime. Res64: 7018F217D04B91BC Time : 0.0 sec. user=mdettweiler [2015-11-07 09:35:55] 871*2^1414251-1 is not prime. Res64: DEBC3927EF822BC5 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:35:56] 723*2^1414251-1 is not prime. Res64: FF859582A0432E3C Time : 0.0 sec. user=mdettweiler [2015-11-07 09:35:57] 795*2^1414251-1 is not prime. Res64: D9073C98F3CF4645 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:35:58] 945*2^1414250-1 is not prime. Res64: A34AF5503E9458A8 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:35:58] 703*2^1414251-1 is not prime. Res64: 365F02AA1779DEAE Time : 0.0 sec. user=mdettweiler [2015-11-07 09:53:41] 975*2^1414251-1 is not prime. Res64: B069DA19EE8DB4B1 Time : 0.0 sec. user=mdettweiler [2015-11-07 09:53:41] 629*2^1414252-1 is not prime. Res64: 82F8222AE099EF2E Time : 0.0 sec. user=mdettweiler [2015-11-07 09:53:44] 895*2^1414251-1 is not prime. Res64: A524666B2AAD98AF Time : 0.0 sec. user=mdettweiler [2015-11-07 09:53:44] 951*2^1414251-1 is not prime. Res64: A4B77AF08ADD64DB Time : 0.0 sec. user=mdettweiler [2015-11-07 09:53:47] 869*2^1414252-1 is not prime. Res64: F4599AD9AA206F4E Time : 0.0 sec. user=mdettweiler [2015-11-07 09:53:47] 873*2^1414252-1 is not prime. Res64: 8DBC3D480DE1BCB2 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:11:12] 915*2^1414252-1 is not prime. Res64: D6D6DCDD1100AC2B Time : 0.0 sec. user=mdettweiler [2015-11-07 10:11:12] 983*2^1414252-1 is not prime. Res64: D73E87826DBF5AC3 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:11:15] 657*2^1414253-1 is not prime. Res64: 5EDDBB54AC37B825 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:11:15] 721*2^1414253-1 is not prime. Res64: 04129123C9655FB2 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:11:17] 745*2^1414253-1 is not prime. Res64: D0770A7575D471E1 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:11:18] 771*2^1414253-1 is not prime. Res64: F2AE6B05D56A544B Time : 0.0 sec. user=mdettweiler [2015-11-07 10:28:44] 775*2^1414253-1 is not prime. Res64: 2D71D2CDF1F44F20 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:28:44] 787*2^1414253-1 is not prime. Res64: 73DDAABFECA5C556 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:28:45] 789*2^1414253-1 is not prime. Res64: D5F40C588CD71D9F Time : 0.0 sec. user=mdettweiler [2015-11-07 10:28:45] 801*2^1414253-1 is not prime. Res64: 77305052E15F7112 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:28:49] 937*2^1414253-1 is not prime. Res64: 216783C3571DF17D Time : 0.0 sec. user=mdettweiler [2015-11-07 10:28:49] 741*2^1414254-1 is not prime. Res64: 22EDF4F9A900A911 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:46:15] 795*2^1414254-1 is not prime. Res64: F71F36E6667ED632 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:46:15] 903*2^1414254-1 is not prime. Res64: 0E853BE008461D09 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:46:15] 945*2^1414254-1 is not prime. Res64: 7D054CB6E70A7F5F Time : 0.0 sec. user=mdettweiler [2015-11-07 10:46:16] 763*2^1414255-1 is not prime. Res64: 616CC24DA2A4398D Time : 0.0 sec. user=mdettweiler [2015-11-07 10:46:18] 805*2^1414255-1 is not prime. Res64: 989C7A2C9B20C2F1 Time : 0.0 sec. user=mdettweiler [2015-11-07 10:46:18] 871*2^1414255-1 is not prime. Res64: B52E695782FEC824 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:03:45] 909*2^1414255-1 is not prime. Res64: 684752161EF0ECAF Time : 0.0 sec. user=mdettweiler [2015-11-07 11:03:46] 999*2^1414255-1 is not prime. Res64: F5F4CE3D411433B8 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:03:46] 969*2^1414255-1 is not prime. Res64: DC3C371E01038D69 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:03:47] 623*2^1414256-1 is not prime. Res64: 897718DC70E4B4ED Time : 0.0 sec. user=mdettweiler [2015-11-07 11:03:48] 659*2^1414256-1 is not prime. Res64: 57237825A38725F8 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:03:50] 689*2^1414256-1 is not prime. Res64: 411BFEC3586C484F Time : 0.0 sec. user=mdettweiler [2015-11-07 11:21:26] 759*2^1414256-1 is not prime. Res64: 7249A4BB2CC4E502 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:21:27] 789*2^1414256-1 is not prime. Res64: 67B95A1B48A63A5D Time : 0.0 sec. user=mdettweiler [2015-11-07 11:21:28] 957*2^1414256-1 is not prime. Res64: AD360ED570EB6FFD Time : 0.0 sec. user=mdettweiler [2015-11-07 11:21:29] 983*2^1414256-1 is not prime. Res64: 01C43AB5A6DBA524 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:21:29] 855*2^1414256-1 is not prime. Res64: 367A1C2EBD3F951F Time : 0.0 sec. user=mdettweiler [2015-11-07 11:21:30] 875*2^1414256-1 is not prime. Res64: AAEA1FCEE8FE486C Time : 0.0 sec. user=mdettweiler [2015-11-07 11:38:59] 807*2^1414257-1 is not prime. Res64: 60BDEA14C9BFC2B4 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:39:00] 835*2^1414257-1 is not prime. Res64: 921310457FDB2F78 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:39:00] 937*2^1414257-1 is not prime. Res64: 3A809966D5D0E8D0 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:39:01] 955*2^1414257-1 is not prime. Res64: C8A584ECA0956A25 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:39:01] 945*2^1414257-1 is not prime. Res64: E3E24BD434682420 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:39:02] 603*2^1414258-1 is not prime. Res64: 82954B4DF259E6B1 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:56:33] 671*2^1414258-1 is not prime. Res64: AD18A0C5C08A6A7D Time : 0.0 sec. user=mdettweiler [2015-11-07 11:56:33] 687*2^1414258-1 is not prime. Res64: 2C3189678B8C6960 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:56:35] 801*2^1414258-1 is not prime. Res64: 13105D678FFDEEF1 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:56:35] 843*2^1414258-1 is not prime. Res64: 604A013682A397F9 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:56:38] 737*2^1414258-1 is not prime. Res64: FE5FC6CA2C01CA64 Time : 0.0 sec. user=mdettweiler [2015-11-07 11:56:38] 747*2^1414258-1 is not prime. Res64: A72D32F6AF5D87AB Time : 0.0 sec. user=mdettweiler [2015-11-07 12:14:09] 885*2^1414258-1 is not prime. Res64: 34ED916B6F775E44 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:14:10] 745*2^1414259-1 is not prime. Res64: D705723BEAD54350 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:14:10] 911*2^1414258-1 is not prime. Res64: 0493E53311A29FAC Time : 0.0 sec. user=mdettweiler [2015-11-07 12:14:10] 861*2^1414259-1 is not prime. Res64: 2E865BD38B5EBBE2 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:14:13] 707*2^1414260-1 is not prime. Res64: 375B9EFD238CCC0F Time : 0.0 sec. user=mdettweiler [2015-11-07 12:14:15] 609*2^1414261-1 is not prime. Res64: 598DA3ED6BB66654 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:31:46] 775*2^1414261-1 is not prime. Res64: 64B14FBFC9AB0C03 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:31:46] 999*2^1414261-1 is not prime. Res64: F0B55F86E3BEBD66 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:31:47] 741*2^1414262-1 is not prime. Res64: F8B76E151213B38F Time : 0.0 sec. user=mdettweiler [2015-11-07 12:31:47] 873*2^1414262-1 is not prime. Res64: C60FD145E3BDFFBE Time : 0.0 sec. user=mdettweiler [2015-11-07 12:31:47] 987*2^1414261-1 is not prime. Res64: B42DB932BBD0F4F8 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:31:48] 983*2^1414262-1 is not prime. Res64: EC221437A6965B38 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:49:16] 709*2^1414263-1 is not prime. Res64: AE7424728CF9FFDE Time : 0.0 sec. user=mdettweiler [2015-11-07 12:49:16] 805*2^1414263-1 is not prime. Res64: DAF14006AF1CFAA8 Time : 0.0 sec. user=mdettweiler [2015-11-07 12:49:17] 859*2^1414263-1 is not prime. Res64: EFED579D9540E48E Time : 0.0 sec. user=mdettweiler [2015-11-07 12:49:17] 873*2^1414263-1 is not prime. Res64: 79C109DC4A0C2E0C Time : 0.0 sec. user=mdettweiler [2015-11-07 12:49:17] 987*2^1414262-1 is not prime. Res64: C7A7D3019814EF1D Time : 0.0 sec. user=mdettweiler [2015-11-07 12:49:18] 679*2^1414263-1 is not prime. Res64: 4D290090B1A6052F Time : 0.0 sec. user=mdettweiler [2015-11-07 13:06:46] 951*2^1414263-1 is not prime. Res64: 3813DDCE76B298D9 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:06:47] 963*2^1414263-1 is not prime. Res64: 1EC54E3A084DC2EE Time : 0.0 sec. user=mdettweiler [2015-11-07 13:06:48] 695*2^1414264-1 is not prime. Res64: B474DF29E7075AF9 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:06:48] 615*2^1414264-1 is not prime. Res64: EFF4EE469EE5CA75 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:06:49] 707*2^1414264-1 is not prime. Res64: F6623A4F41D6A503 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:06:49] 665*2^1414264-1 is not prime. Res64: DF1569F48707C011 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:24:18] 723*2^1414264-1 is not prime. Res64: 494CBC7EB8AE9DDA Time : 0.0 sec. user=mdettweiler [2015-11-07 13:24:18] 743*2^1414264-1 is not prime. Res64: 919074AA020430F4 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:24:19] 807*2^1414264-1 is not prime. Res64: 5659DEB8399A93E7 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:24:19] 819*2^1414264-1 is not prime. Res64: 973FC8C8AE647760 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:24:20] 857*2^1414264-1 is not prime. Res64: 3C9C7D4E3C03239A Time : 0.0 sec. user=mdettweiler [2015-11-07 13:24:21] 887*2^1414264-1 is not prime. Res64: DF37785841B9495D Time : 0.0 sec. user=mdettweiler [2015-11-07 13:41:48] 909*2^1414264-1 is not prime. Res64: 2C51FCBF9ADEB5B8 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:41:48] 685*2^1414265-1 is not prime. Res64: 5106906AF577A0C3 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:41:48] 619*2^1414265-1 is not prime. Res64: F4A658ACFF27C8C6 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:41:48] 697*2^1414265-1 is not prime. Res64: 21BF816826924545 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:41:50] 907*2^1414265-1 is not prime. Res64: 4916FE62F05CAB1F Time : 0.0 sec. user=mdettweiler [2015-11-07 13:41:50] 633*2^1414266-1 is not prime. Res64: B568E63895736CC4 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:59:17] 905*2^1414266-1 is not prime. Res64: 9D3AFF66554F4EF0 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:59:18] 917*2^1414266-1 is not prime. Res64: 96A8741F5472ADB9 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:59:20] 647*2^1414266-1 is not prime. Res64: 081282F962420F5A Time : 0.0 sec. user=mdettweiler [2015-11-07 13:59:21] 843*2^1414266-1 is not prime. Res64: 05DB88854B51B810 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:59:24] 685*2^1414267-1 is not prime. Res64: 417EA58AD7735388 Time : 0.0 sec. user=mdettweiler [2015-11-07 13:59:24] 703*2^1414267-1 is not prime. Res64: 386008A8850D2274 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:16:51] 985*2^1414267-1 is not prime. Res64: C20B426AAEE77B6F Time : 0.0 sec. user=mdettweiler [2015-11-07 14:16:51] 623*2^1414268-1 is not prime. Res64: DD4FE67960FDA840 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:16:56] 741*2^1414267-1 is not prime. Res64: 6179681C449A4CDA Time : 0.0 sec. user=mdettweiler [2015-11-07 14:16:57] 841*2^1414267-1 is not prime. Res64: E587B93072B42C0F Time : 0.0 sec. user=mdettweiler [2015-11-07 14:17:00] 749*2^1414268-1 is not prime. Res64: 6AF6CE39BA583BBC Time : 0.0 sec. user=mdettweiler [2015-11-07 14:17:01] 797*2^1414268-1 is not prime. Res64: 30247319FB61F973 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:34:23] 833*2^1414268-1 is not prime. Res64: 1F90B0800771DF7E Time : 0.0 sec. user=mdettweiler [2015-11-07 14:34:24] 837*2^1414268-1 is not prime. Res64: CB79DE2B63ED1FE0 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:34:26] 869*2^1414268-1 is not prime. Res64: 0CE78AD0995C1A8D Time : 0.0 sec. user=mdettweiler [2015-11-07 14:34:26] 893*2^1414268-1 is not prime. Res64: 41649B46A3AA8858 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:34:31] 639*2^1414269-1 is not prime. Res64: 5666EA5ECEE5D6FD Time : 0.0 sec. user=mdettweiler [2015-11-07 14:34:31] 675*2^1414269-1 is not prime. Res64: 097648274E9D9B54 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:51:55] 747*2^1414269-1 is not prime. Res64: 51EBB82861A176F9 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:51:55] 675*2^1414270-1 is not prime. Res64: 62EDEF0C882A632E Time : 0.0 sec. user=mdettweiler [2015-11-07 14:51:58] 695*2^1414270-1 is not prime. Res64: 01DCF6E7C619A926 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:51:58] 755*2^1414270-1 is not prime. Res64: CCF737A4D7086BD2 Time : 0.0 sec. user=mdettweiler [2015-11-07 14:52:01] 801*2^1414270-1 is not prime. Res64: 6F6E068A6474533A Time : 0.0 sec. user=mdettweiler [2015-11-07 14:52:01] 861*2^1414270-1 is not prime. Res64: 7BC2A34DFEC182BA Time : 0.0 sec. user=mdettweiler [2015-11-07 15:09:26] 885*2^1414270-1 is not prime. Res64: 3683404F427EE443 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:09:27] 663*2^1414271-1 is not prime. Res64: 3BF0481530820EE0 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:09:27] 673*2^1414271-1 is not prime. Res64: 83FE2EAE746045DE Time : 0.0 sec. user=mdettweiler [2015-11-07 15:09:28] 741*2^1414271-1 is not prime. Res64: 3CE164821AA0314E Time : 0.0 sec. user=mdettweiler [2015-11-07 15:09:32] 901*2^1414271-1 is not prime. Res64: F170EB680D2F1271 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:09:33] 635*2^1414272-1 is not prime. Res64: 9B5104A7475CA44C Time : 0.0 sec. user=mdettweiler [2015-11-07 15:27:01] 665*2^1414272-1 is not prime. Res64: B76B5C551997BF9C Time : 0.0 sec. user=mdettweiler [2015-11-07 15:27:01] 797*2^1414272-1 is not prime. Res64: 75297FECD3CD824E Time : 0.0 sec. user=mdettweiler [2015-11-07 15:27:01] 725*2^1414272-1 is not prime. Res64: D045230A79000C54 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:27:02] 803*2^1414272-1 is not prime. Res64: AB1F8368EBA26984 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:27:04] 607*2^1414273-1 is not prime. Res64: 68C583A4FFB23DE9 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:27:04] 609*2^1414273-1 is not prime. Res64: EAFCDCB59434ECE3 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:44:32] 729*2^1414273-1 is not prime. Res64: 43BDCC6A77C4FC0D Time : 0.0 sec. user=mdettweiler [2015-11-07 15:44:33] 789*2^1414273-1 is not prime. Res64: 4077196EAE13F627 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:44:34] 675*2^1414273-1 is not prime. Res64: 4F7B8A84BAF98894 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:44:34] 685*2^1414273-1 is not prime. Res64: E4282E8A8AFDE807 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:44:38] 847*2^1414273-1 is not prime. Res64: C4799BFC8C60C0A4 Time : 0.0 sec. user=mdettweiler [2015-11-07 15:44:38] 675*2^1414274-1 is not prime. Res64: E5145D1F1A84BD4D Time : 0.0 sec. user=mdettweiler [2015-11-07 16:02:06] 701*2^1414274-1 is not prime. Res64: 7BDADCB0A627BB03 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:02:07] 813*2^1414274-1 is not prime. Res64: E94020352D8EF6C3 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:02:07] 797*2^1414274-1 is not prime. Res64: FDF001F13EE45D3B Time : 0.0 sec. user=mdettweiler [2015-11-07 16:02:08] 861*2^1414274-1 is not prime. Res64: 2824B45D598C51BF Time : 0.0 sec. user=mdettweiler [2015-11-07 16:02:11] 885*2^1414274-1 is not prime. Res64: 7058031EB731970A Time : 0.0 sec. user=mdettweiler [2015-11-07 16:02:12] 923*2^1414274-1 is not prime. Res64: 6D9EE9A6B6DA9669 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:19:52] 709*2^1414275-1 is not prime. Res64: 779BCE56B1BBAE3D Time : 0.0 sec. user=mdettweiler [2015-11-07 16:19:52] 751*2^1414275-1 is not prime. Res64: C60B1E9C0AC93ACA Time : 0.0 sec. user=mdettweiler [2015-11-07 16:19:53] 669*2^1414275-1 is not prime. Res64: 2C0D488E6ED0C0A9 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:19:54] 679*2^1414275-1 is not prime. Res64: 01A24A982335F38F Time : 0.0 sec. user=mdettweiler [2015-11-07 16:19:56] 795*2^1414275-1 is not prime. Res64: 73F9A3A25446A1FA Time : 0.0 sec. user=mdettweiler [2015-11-07 16:19:57] 859*2^1414275-1 is not prime. Res64: FF88DB0E8BD3A59C Time : 0.0 sec. user=mdettweiler [2015-11-07 16:37:26] 677*2^1414276-1 is not prime. Res64: 97250265E9AFDC7B Time : 0.0 sec. user=mdettweiler [2015-11-07 16:37:26] 717*2^1414276-1 is not prime. Res64: 25531D0B14CAE326 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:37:26] 785*2^1414276-1 is not prime. Res64: 87B5FB8810463206 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:37:27] 845*2^1414276-1 is not prime. Res64: B938EC11A71B034A Time : 0.0 sec. user=mdettweiler [2015-11-07 16:37:27] 743*2^1414276-1 is not prime. Res64: 0BFC5ED3D854CCBF Time : 0.0 sec. user=mdettweiler [2015-11-07 16:37:27] 749*2^1414276-1 is not prime. Res64: 8B585415027ABEB3 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:54:56] 759*2^1414277-1 is not prime. Res64: BE5D18AC229223AD Time : 0.0 sec. user=mdettweiler [2015-11-07 16:54:56] 685*2^1414277-1 is not prime. Res64: 7715924551980881 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:54:56] 777*2^1414277-1 is not prime. Res64: B1F752312E409CEF Time : 0.0 sec. user=mdettweiler [2015-11-07 16:54:56] 727*2^1414277-1 is not prime. Res64: DAD2A061C671BD3B Time : 0.0 sec. user=mdettweiler [2015-11-07 16:54:58] 899*2^1414276-1 is not prime. Res64: FD7F26879CCAC945 Time : 0.0 sec. user=mdettweiler [2015-11-07 16:54:58] 651*2^1414277-1 is not prime. Res64: 0D2AA86DDD160850 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:12:25] 847*2^1414277-1 is not prime. Res64: AE3F38A64EE4539D Time : 0.0 sec. user=mdettweiler [2015-11-07 17:12:25] 641*2^1414278-1 is not prime. Res64: 41A1B196E6E53B39 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:12:25] 615*2^1414278-1 is not prime. Res64: 8C9C3898A4472EA5 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:12:26] 711*2^1414278-1 is not prime. Res64: 29AE46B81684E70D Time : 0.0 sec. user=mdettweiler [2015-11-07 17:12:26] 765*2^1414278-1 is not prime. Res64: 3C61837A4405983B Time : 0.0 sec. user=mdettweiler [2015-11-07 17:12:27] 977*2^1414278-1 is not prime. Res64: DD440D75E1D2A81B Time : 0.0 sec. user=mdettweiler [2015-11-07 17:29:59] 693*2^1414279-1 is not prime. Res64: E8324C7290FFCB00 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:30:00] 975*2^1414279-1 is not prime. Res64: B1CEF2DF53BFED22 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:30:01] 663*2^1414280-1 is not prime. Res64: A531F09C484AA5EF Time : 0.0 sec. user=mdettweiler [2015-11-07 17:30:01] 985*2^1414279-1 is not prime. Res64: 63874EDF5EF906EA Time : 0.0 sec. user=mdettweiler [2015-11-07 17:30:01] 699*2^1414280-1 is not prime. Res64: BE4925C99E2A3104 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:30:01] 609*2^1414280-1 is not prime. Res64: B201FA5D91B6D258 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:47:34] 729*2^1414280-1 is not prime. Res64: 6827167B404C4E97 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:47:35] 893*2^1414280-1 is not prime. Res64: 0E055B78A90E8170 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:47:35] 773*2^1414280-1 is not prime. Res64: CC7D056285C12699 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:47:35] 983*2^1414280-1 is not prime. Res64: 61C31C393298A4BA Time : 0.0 sec. user=mdettweiler [2015-11-07 17:47:36] 839*2^1414280-1 is not prime. Res64: 11550C3DEEAAC6D8 Time : 0.0 sec. user=mdettweiler [2015-11-07 17:47:36] 855*2^1414280-1 is not prime. Res64: BC7987A35362CDBE Time : 0.0 sec. user=mdettweiler [2015-11-07 18:05:05] 709*2^1414281-1 is not prime. Res64: 2A6620B5FC5F1C6D Time : 0.0 sec. user=mdettweiler [2015-11-07 18:05:06] 627*2^1414281-1 is not prime. Res64: 937B6FD228729D84 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:05:06] 745*2^1414281-1 is not prime. Res64: 3767D436CF317694 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:05:06] 717*2^1414281-1 is not prime. Res64: 792ABF4E176952E1 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:05:07] 777*2^1414281-1 is not prime. Res64: F061F09972EBD14D Time : 0.0 sec. user=mdettweiler [2015-11-07 18:05:07] 649*2^1414281-1 is not prime. Res64: 1946C20BA38F27B8 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:23:03] 849*2^1414281-1 is not prime. Res64: A1CE4E9789DA3484 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:23:04] 987*2^1414281-1 is not prime. Res64: 992A3AFE1B0781BD Time : 0.0 sec. user=mdettweiler [2015-11-07 18:23:04] 901*2^1414281-1 is not prime. Res64: 4137EE94EC99DB47 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:23:05] 645*2^1414282-1 is not prime. Res64: D756F8BE4851595F Time : 0.0 sec. user=mdettweiler [2015-11-07 18:23:05] 997*2^1414281-1 is not prime. Res64: FE8B1914AD6DAB1B Time : 0.0 sec. user=mdettweiler [2015-11-07 18:23:06] 999*2^1414281-1 is not prime. Res64: 74A881D4C5143B3A Time : 0.0 sec. user=mdettweiler [2015-11-07 18:40:33] 665*2^1414282-1 is not prime. Res64: 8562D5D622A9E6C3 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:40:33] 777*2^1414282-1 is not prime. Res64: 8282108C24868FB0 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:40:33] 813*2^1414282-1 is not prime. Res64: 0D963EFBF64E2151 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:40:34] 915*2^1414282-1 is not prime. Res64: 0F16C3C0D80B661E Time : 0.0 sec. user=mdettweiler [2015-11-07 18:40:34] 619*2^1414283-1 is not prime. Res64: E62E2A996F485AE1 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:40:34] 627*2^1414284-1 is not prime. Res64: C0652CD62E9174C0 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:58:02] 663*2^1414284-1 is not prime. Res64: 4EBB7A76D63D9096 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:58:02] 789*2^1414284-1 is not prime. Res64: 8BDE69FC86F7491D Time : 0.0 sec. user=mdettweiler [2015-11-07 18:58:02] 737*2^1414284-1 is not prime. Res64: 4E0B11AC0578BFE8 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:58:02] 987*2^1414284-1 is not prime. Res64: 8BB52FBBDF1880CA Time : 0.0 sec. user=mdettweiler [2015-11-07 18:58:04] 651*2^1414285-1 is not prime. Res64: BCDCFAF1AF679D94 Time : 0.0 sec. user=mdettweiler [2015-11-07 18:58:04] 831*2^1414285-1 is not prime. Res64: AA5331C7E719A43C Time : 0.0 sec. user=mdettweiler [2015-11-07 19:15:31] 847*2^1414285-1 is not prime. Res64: 74A024DDFE840636 Time : 0.0 sec. user=mdettweiler [2015-11-07 19:15:31] 861*2^1414285-1 is not prime. Res64: 0C192171F54FF642 Time : 0.0 sec. user=mdettweiler [2015-11-07 19:15:32] 897*2^1414285-1 is not prime. Res64: AF0835C34B75C5B3 Time : 0.0 sec. user=mdettweiler [2015-11-07 19:15:32] 641*2^1414286-1 is not prime. Res64: B4DD0DC53E5A075A Time : 0.0 sec. user=mdettweiler [2015-11-07 19:15:35] 785*2^1414286-1 is not prime. Res64: 187DFE2456CF8BB2 Time : 0.0 sec. user=mdettweiler [2015-11-07 19:15:36] 843*2^1414286-1 is not prime. Res64: 83BF97DC458EB56A Time : 0.0 sec. user=mdettweiler [2015-11-07 19:33:02] 893*2^1414286-1 is not prime. Res64: 13FE5810C7628355 Time : 0.0 sec. user=mdettweiler [2015-11-07 19:33:03] 965*2^1414286-1 is not prime. Res64: 25DA40A1A387C60F Time : 0.0 sec. user=mdettweiler [2015-11-07 19:33:03] 625*2^1414287-1 is not prime. Res64: C70F7E5CED434F79 Time : 0.0 sec. user=mdettweiler [2015-11-07 19:33:03] 895*2^1414287-1 is not prime. Res64: 6FF8B7A6E7AECF7B Time : 0.0 sec. user=mdettweiler [2015-11-07 19:33:04] 901*2^1414287-1 is not prime. Res64: 118C5E604F4A04AB Time : 0.0 sec. user=mdettweiler [2015-11-07 19:33:04] 615*2^1414288-1 is not prime. Res64: CBA70C2B78F45B4E Time : 0.0 sec. user=mdettweiler [2015-11-07 19:50:33] 635*2^1414288-1 is not prime. Res64: C9B0A9ADB8DFE68C Time : 0.0 sec. user=mdettweiler [2015-11-07 19:50:33] 803*2^1414288-1 is not prime. Res64: A3CB549347B4EE87 Time : 0.0 sec. user=mdettweiler [2015-11-07 19:50:33] 957*2^1414288-1 is not prime. Res64: 160DE9325ED19ABE Time : 0.0 sec. user=mdettweiler [2015-11-07 19:50:33] 813*2^1414288-1 is not prime. Res64: A4AE78D06103BA0F Time : 0.0 sec. user=mdettweiler [2015-11-07 19:50:33] 975*2^1414288-1 is not prime. Res64: 4DF1C66C882948F8 Time : 0.0 sec. user=mdettweiler [2015-11-07 19:50:34] 875*2^1414288-1 is not prime. Res64: 4E35686242B790DA Time : 0.0 sec. user=mdettweiler [2015-11-07 20:08:01] 989*2^1414288-1 is not prime. Res64: 1FBF338129973449 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:08:01] 967*2^1414289-1 is not prime. Res64: 23A420275DE8B7D4 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:08:02] 635*2^1414290-1 is not prime. Res64: B5E506E6C566160C Time : 0.0 sec. user=mdettweiler [2015-11-07 20:08:02] 783*2^1414290-1 is not prime. Res64: 468436823773D3F7 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:08:02] 891*2^1414290-1 is not prime. Res64: B64282E81F733FE7 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:08:03] 603*2^1414291-1 is not prime. Res64: 4852DBB9D604C5C8 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:25:36] 631*2^1414291-1 is not prime. Res64: B5AE942586BF9297 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:25:36] 681*2^1414291-1 is not prime. Res64: BE1657CC8328D3F7 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:25:39] 645*2^1414291-1 is not prime. Res64: 59F7A2F3D5577594 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:25:39] 751*2^1414291-1 is not prime. Res64: CE02114014B2F9F0 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:25:45] 973*2^1414291-1 is not prime. Res64: 8D9BBD2837FECA82 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:25:46] 675*2^1414292-1 is not prime. Res64: 69F8E0F97338D690 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:43:04] 699*2^1414292-1 is not prime. Res64: 0697FE27DB2746C3 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:43:05] 843*2^1414292-1 is not prime. Res64: 98C18B6796992BFA Time : 0.0 sec. user=mdettweiler [2015-11-07 20:43:07] 873*2^1414292-1 is not prime. Res64: E170CFD8AAAC26D0 Time : 0.0 sec. user=mdettweiler [2015-11-07 20:43:07] 899*2^1414292-1 is not prime. Res64: 29D42C4725D50CCF Time : 0.0 sec. user=mdettweiler [2015-11-07 20:43:13] 977*2^1414292-1 is not prime. Res64: 08B41CD88D5A733F Time : 0.0 sec. user=mdettweiler [2015-11-07 20:43:13] 609*2^1414293-1 is not prime. Res64: 52C259F88FCA2D59 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:00:33] 657*2^1414293-1 is not prime. Res64: 92C92D87F34F9E17 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:00:33] 741*2^1414293-1 is not prime. Res64: 66F1F2E0B1E8BBB1 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:00:35] 765*2^1414293-1 is not prime. Res64: 0D92A8359F81B646 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:00:36] 885*2^1414293-1 is not prime. Res64: CEFFA99AB93F8E01 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:00:41] 895*2^1414293-1 is not prime. Res64: 291DBAB89BA9E487 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:00:42] 969*2^1414293-1 is not prime. Res64: ED0B43AF4FF2C9A4 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:18:03] 605*2^1414294-1 is not prime. Res64: B3A907AEDB137D38 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:18:04] 663*2^1414294-1 is not prime. Res64: ACC84E86D5C661AE Time : 0.0 sec. user=mdettweiler [2015-11-07 21:18:05] 723*2^1414294-1 is not prime. Res64: 590B737FF949E0C6 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:18:06] 741*2^1414294-1 is not prime. Res64: 9513F52740E01272 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:18:11] 891*2^1414294-1 is not prime. Res64: A4F6452CAF85A507 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:18:12] 981*2^1414294-1 is not prime. Res64: FF791B77B0F63868 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:35:33] 619*2^1414295-1 is not prime. Res64: C47EC09ECC84F860 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:35:34] 643*2^1414295-1 is not prime. Res64: 46F33DF66028E0F5 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:35:40] 661*2^1414295-1 is not prime. Res64: 5DD3B570ACE8F1F8 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:35:40] 679*2^1414295-1 is not prime. Res64: 44060C398827ADB8 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:35:45] 759*2^1414295-1 is not prime. Res64: BE4CBCD3B0BBEBFB Time : 0.0 sec. user=mdettweiler [2015-11-07 21:35:45] 843*2^1414295-1 is not prime. Res64: 9F9D16D345EA8C75 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:53:03] 889*2^1414295-1 is not prime. Res64: F284088AF255FEDE Time : 0.0 sec. user=mdettweiler [2015-11-07 21:53:03] 623*2^1414296-1 is not prime. Res64: 1E5B53688BA91AB6 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:53:09] 669*2^1414296-1 is not prime. Res64: C08FEC1CB3387D9F Time : 0.0 sec. user=mdettweiler [2015-11-07 21:53:09] 689*2^1414296-1 is not prime. Res64: 9DA36A05B1782024 Time : 0.0 sec. user=mdettweiler [2015-11-07 21:53:14] 767*2^1414296-1 is not prime. Res64: 6C02A64BF598AC9D Time : 0.0 sec. user=mdettweiler [2015-11-07 21:53:14] 845*2^1414296-1 is not prime. Res64: 93F712AEEC2A6EA8 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:10:33] 893*2^1414296-1 is not prime. Res64: D47384E85FF9C96E Time : 0.0 sec. user=mdettweiler [2015-11-07 22:10:34] 615*2^1414297-1 is not prime. Res64: 9802C945B97B8F12 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:10:37] 667*2^1414297-1 is not prime. Res64: F8B2F1E8CFB6AF64 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:10:37] 771*2^1414297-1 is not prime. Res64: E3DFE177AA0A3859 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:10:44] 775*2^1414297-1 is not prime. Res64: 52FA599D32E55B3A Time : 0.0 sec. user=mdettweiler [2015-11-07 22:10:44] 841*2^1414297-1 is not prime. Res64: A86A723B0D8151BA Time : 0.0 sec. user=mdettweiler [2015-11-07 22:28:04] 955*2^1414297-1 is not prime. Res64: 3E47191D8B221A65 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:28:05] 985*2^1414297-1 is not prime. Res64: 0EDEC36F641CD890 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:28:05] 617*2^1414298-1 is not prime. Res64: 011747A512D45981 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:28:05] 665*2^1414298-1 is not prime. Res64: 58CFF9CDB9F0FA16 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:28:12] 735*2^1414298-1 is not prime. Res64: 3A9B57AFEF5E0466 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:28:12] 867*2^1414298-1 is not prime. Res64: 53BEFF5BAAAADAAB Time : 0.0 sec. user=mdettweiler [2015-11-07 22:45:34] 875*2^1414298-1 is not prime. Res64: 64A92B72075E44FC Time : 0.0 sec. user=mdettweiler [2015-11-07 22:45:34] 885*2^1414298-1 is not prime. Res64: 6B7717C78824E1D6 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:45:35] 935*2^1414298-1 is not prime. Res64: E2A698247BBFB1F8 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:45:35] 987*2^1414298-1 is not prime. Res64: F5E99D564C7C3406 Time : 0.0 sec. user=mdettweiler [2015-11-07 22:45:41] 613*2^1414299-1 is not prime. Res64: DF3109F8C91F249E Time : 0.0 sec. user=mdettweiler [2015-11-07 22:45:41] 793*2^1414299-1 is not prime. Res64: 774315D108238C39 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:03:03] 969*2^1414299-1 is not prime. Res64: 0D8B9FD6254307AE Time : 0.0 sec. user=mdettweiler [2015-11-07 23:03:03] 615*2^1414300-1 is not prime. Res64: 36E6B5CA5916FC12 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:03:04] 973*2^1414299-1 is not prime. Res64: 5D66B5E14EF583DB Time : 0.0 sec. user=mdettweiler [2015-11-07 23:03:05] 707*2^1414300-1 is not prime. Res64: F03F814D53037E26 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:03:09] 843*2^1414300-1 is not prime. Res64: CFF24A22C196830B Time : 0.0 sec. user=mdettweiler [2015-11-07 23:03:10] 989*2^1414300-1 is not prime. Res64: 2FEE417BD12005C7 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:20:51] 615*2^1414301-1 is not prime. Res64: 2A4E543D5009C427 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:20:51] 685*2^1414301-1 is not prime. Res64: DCA65E0498F6995F Time : 0.0 sec. user=mdettweiler [2015-11-07 23:20:53] 867*2^1414301-1 is not prime. Res64: 83FCD1202F4C3C79 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:20:54] 925*2^1414301-1 is not prime. Res64: E0D5B5D49D76BC2E Time : 0.0 sec. user=mdettweiler [2015-11-07 23:20:55] 621*2^1414302-1 is not prime. Res64: 93F7DE8FF589C50D Time : 0.0 sec. user=mdettweiler [2015-11-07 23:20:55] 627*2^1414302-1 is not prime. Res64: A655E0AB7136D562 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:38:24] 685*2^1414303-1 is not prime. Res64: 1BDE825DD5AE23AA Time : 0.0 sec. user=mdettweiler [2015-11-07 23:38:24] 853*2^1414303-1 is not prime. Res64: D7327649ABC7F443 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:38:25] 717*2^1414302-1 is not prime. Res64: 4901A0373545C642 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:38:26] 725*2^1414302-1 is not prime. Res64: 4E03DF65D0FF6B46 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:38:30] 797*2^1414302-1 is not prime. Res64: 76D826405FD813DC Time : 0.0 sec. user=mdettweiler [2015-11-07 23:38:31] 875*2^1414302-1 is not prime. Res64: D6EB9C7B4E6C3D6A Time : 0.0 sec. user=mdettweiler [2015-11-07 23:55:54] 961*2^1414303-1 is not prime. Res64: BBEAE2D673750EFD Time : 0.0 sec. user=mdettweiler [2015-11-07 23:55:54] 939*2^1414303-1 is not prime. Res64: 967AD8C89484D742 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:55:55] 609*2^1414304-1 is not prime. Res64: B85E047CE8504D9F Time : 0.0 sec. user=mdettweiler [2015-11-07 23:55:55] 945*2^1414303-1 is not prime. Res64: EB04B08B61430D02 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:56:00] 617*2^1414304-1 is not prime. Res64: C0BEEB1B90286651 Time : 0.0 sec. user=mdettweiler [2015-11-07 23:56:00] 629*2^1414304-1 is not prime. Res64: 7AD29799367C5BCE Time : 0.0 sec.