user=mdettweiler [2013-06-06 00:05:32] 805*2^1246591-1 is not prime. Res64: D1C41E5AE53063F4 Time : 0.0 sec. user=mdettweiler [2013-06-06 00:19:45] 951*2^1246591-1 is not prime. Res64: D26502FC04B11B47 Time : 0.0 sec. user=mdettweiler [2013-06-06 00:43:56] 843*2^1246591-1 is not prime. Res64: 7647D7453C2CEEC9 Time : 0.0 sec. user=mdettweiler [2013-06-06 00:49:20] 993*2^1246591-1 is not prime. Res64: 46C41C2EA46EAD4D Time : 0.0 sec. user=mdettweiler [2013-06-06 01:06:50] 645*2^1246592-1 is not prime. Res64: F690E9DB1C99813C Time : 0.0 sec. user=mdettweiler [2013-06-06 01:06:51] 827*2^1246592-1 is not prime. Res64: D2241E4BC861DA22 Time : 0.0 sec. user=mdettweiler [2013-06-06 01:25:26] 843*2^1246592-1 is not prime. Res64: D0FAFC5E7ED6E427 Time : 0.0 sec. user=mdettweiler [2013-06-06 01:25:27] 983*2^1246592-1 is not prime. Res64: D0C5E9C14A0B5887 Time : 0.0 sec. user=mdettweiler [2013-06-06 01:27:16] 999*2^1246591-1 is not prime. Res64: 626CBBA8E7BE7F90 Time : 0.0 sec. user=mdettweiler [2013-06-06 01:27:17] 615*2^1246592-1 is not prime. Res64: 31F7CD60E3E228E6 Time : 0.0 sec. user=mdettweiler [2013-06-06 01:43:13] 649*2^1246593-1 is not prime. Res64: A3D753C5DC2B8836 Time : 0.0 sec. user=mdettweiler [2013-06-06 01:43:14] 685*2^1246593-1 is not prime. Res64: 0C80A364FCE663E2 Time : 0.0 sec. user=mdettweiler [2013-06-06 01:45:01] 691*2^1246593-1 is not prime. Res64: 77F71F3314A01E27 Time : 0.0 sec. user=mdettweiler [2013-06-06 01:45:02] 745*2^1246593-1 is not prime. Res64: 3C61E9BCFA0FF29C Time : 0.0 sec. user=mdettweiler [2013-06-06 02:01:01] 895*2^1246593-1 is not prime. Res64: 96533B8D2E6A07C6 Time : 0.0 sec. user=mdettweiler [2013-06-06 02:01:02] 605*2^1246594-1 is not prime. Res64: 089F3966544A0A81 Time : 0.0 sec. user=mdettweiler [2013-06-06 02:02:48] 681*2^1246594-1 is not prime. Res64: E1B105BC7762BED0 Time : 0.0 sec. user=mdettweiler [2013-06-06 02:02:49] 741*2^1246594-1 is not prime. Res64: FF178F2DBCCD8DEA Time : 0.0 sec. user=mdettweiler [2013-06-06 02:18:46] 855*2^1246594-1 is not prime. Res64: A3C66E6DE1427D35 Time : 0.0 sec. user=mdettweiler [2013-06-06 02:18:46] 903*2^1246594-1 is not prime. Res64: 105B107576E5DDF0 Time : 0.0 sec. user=mdettweiler [2013-06-06 02:20:35] 669*2^1246595-1 is not prime. Res64: 4FC0160FEF0AF8EB Time : 0.0 sec. user=mdettweiler [2013-06-06 02:20:36] 699*2^1246595-1 is not prime. Res64: FBC5F013DBB54B93 Time : 0.0 sec. user=mdettweiler [2013-06-06 03:03:41] 841*2^1246595-1 is not prime. Res64: 7C48DE15452EC88F Time : 0.0 sec. user=mdettweiler [2013-06-06 03:03:43] 789*2^1246596-1 is not prime. Res64: AD7F18F983F7F8DD Time : 0.0 sec. user=mdettweiler [2013-06-06 03:12:39] 781*2^1246595-1 is not prime. Res64: CF171B23F71CC731 Time : 0.0 sec. user=mdettweiler [2013-06-06 03:22:10] 879*2^1246596-1 is not prime. Res64: 45190A7297F65A72 Time : 0.0 sec. user=mdettweiler [2013-06-06 03:22:11] 993*2^1246596-1 is not prime. Res64: 37148834F11D9CF0 Time : 0.0 sec. user=mdettweiler [2013-06-06 03:39:56] 601*2^1246597-1 is not prime. Res64: 7A7882793F1FFA71 Time : 0.0 sec. user=mdettweiler [2013-06-06 03:40:33] 607*2^1246597-1 is not prime. Res64: A371BD543B01FA9E Time : 0.0 sec. user=mdettweiler [2013-06-06 03:46:28] 825*2^1246595-1 is not prime. Res64: CA1D16561B256200 Time : 0.0 sec. user=mdettweiler [2013-06-06 04:04:13] 675*2^1246597-1 is not prime. Res64: 061E12917F1061DD Time : 0.0 sec. user=mdettweiler [2013-06-06 04:04:14] 771*2^1246597-1 is not prime. Res64: BBED14CFCB3EE391 Time : 0.0 sec. user=mdettweiler [2013-06-06 04:21:53] 777*2^1246597-1 is not prime. Res64: B2E204A5DE85F8C3 Time : 0.0 sec. user=mdettweiler [2013-06-06 04:21:53] 819*2^1246597-1 is not prime. Res64: 7C815849588ED25D Time : 0.0 sec. user=mdettweiler [2013-06-06 04:22:37] 937*2^1246597-1 is not prime. Res64: A2374D00013471CD Time : 0.0 sec. user=mdettweiler [2013-06-06 04:22:37] 705*2^1246598-1 is not prime. Res64: 0B43ABB0572AE912 Time : 0.0 sec. user=mdettweiler [2013-06-06 04:39:43] 755*2^1246598-1 is not prime. Res64: 4BD974ED702D88FD Time : 0.0 sec. user=mdettweiler [2013-06-06 04:39:44] 795*2^1246598-1 is not prime. Res64: 2A26D10E41E60BBA Time : 0.0 sec. user=mdettweiler [2013-06-06 04:40:47] 813*2^1246598-1 is not prime. Res64: 2DA16E2EB7A7ECF1 Time : 0.0 sec. user=mdettweiler [2013-06-06 04:58:01] 945*2^1246598-1 is not prime. Res64: 57C454F001B69A82 Time : 0.0 sec. user=mdettweiler [2013-06-06 04:58:01] 977*2^1246598-1 is not prime. Res64: 6673DDBCBD9EF26B Time : 0.0 sec. user=mdettweiler [2013-06-06 05:05:09] 857*2^1246598-1 is not prime. Res64: 698A78BDEC78F3F8 Time : 0.0 sec. user=mdettweiler [2013-06-06 05:15:46] 615*2^1246599-1 is not prime. Res64: 6B7598D2596C6F1B Time : 0.0 sec. user=mdettweiler [2013-06-06 05:15:46] 639*2^1246599-1 is not prime. Res64: B3A9B2823B69930B Time : 0.0 sec. user=mdettweiler [2013-06-06 05:23:04] 661*2^1246599-1 is not prime. Res64: 437317BB61AFBA6D Time : 0.0 sec. user=mdettweiler [2013-06-06 05:33:31] 723*2^1246599-1 is not prime. Res64: E36FACE46F31E5D5 Time : 0.0 sec. user=mdettweiler [2013-06-06 05:33:31] 741*2^1246599-1 is not prime. Res64: D89795539D333B9A Time : 0.0 sec. user=mdettweiler [2013-06-06 05:51:04] 795*2^1246599-1 is not prime. Res64: AC2F12024177C929 Time : 0.0 sec. user=mdettweiler [2013-06-06 05:51:05] 853*2^1246599-1 is not prime. Res64: 99AFD544E62D07DF Time : 0.0 sec. user=mdettweiler [2013-06-06 06:00:39] 663*2^1246599-1 is not prime. Res64: 2FF8283ECB50E2D6 Time : 0.0 sec. user=mdettweiler [2013-06-06 06:08:54] 885*2^1246599-1 is not prime. Res64: ECD6C48A6C09066E Time : 0.0 sec. user=mdettweiler [2013-06-06 06:08:55] 913*2^1246599-1 is not prime. Res64: 9DB27F26DDE319C6 Time : 0.0 sec. user=mdettweiler [2013-06-06 06:19:02] 955*2^1246599-1 is not prime. Res64: 4ABCBE677C555459 Time : 0.0 sec. user=mdettweiler [2013-06-06 06:19:03] 975*2^1246599-1 is not prime. Res64: 243099092EEFFB08 Time : 0.0 sec. user=mdettweiler [2013-06-06 06:26:53] 645*2^1246600-1 is not prime. Res64: D1073D89C4CEF3A6 Time : 0.0 sec. user=mdettweiler [2013-06-06 06:36:55] 773*2^1246600-1 is not prime. Res64: 8B88735B651ABC42 Time : 0.0 sec. user=mdettweiler [2013-06-06 06:36:56] 827*2^1246600-1 is not prime. Res64: D901690E2A3CC222 Time : 0.0 sec. user=mdettweiler [2013-06-06 06:54:55] 839*2^1246600-1 is not prime. Res64: D063FB79BC450615 Time : 0.0 sec. user=mdettweiler [2013-06-06 07:05:06] 717*2^1246600-1 is not prime. Res64: 5FD82C38F89BFFB8 Time : 0.0 sec. user=mdettweiler [2013-06-06 07:30:52] 849*2^1246600-1 is not prime. Res64: 111E60F0ED7BB09F Time : 0.0 sec. user=mdettweiler [2013-06-06 07:48:20] 873*2^1246600-1 is not prime. Res64: 1293398E1DF603DA Time : 0.0 sec. user=mdettweiler [2013-06-06 07:48:20] 915*2^1246600-1 is not prime. Res64: 65A7CFCBF63787A3 Time : 0.0 sec. user=mdettweiler [2013-06-06 07:50:48] 983*2^1246600-1 is not prime. Res64: DB1DE396F50227AF Time : 0.0 sec. user=mdettweiler [2013-06-06 07:50:49] 995*2^1246600-1 is not prime. Res64: F5C4B894D0B11708 Time : 0.0 sec. user=mdettweiler [2013-06-06 08:08:44] 697*2^1246601-1 is not prime. Res64: F034F6ECF3ED8A1E Time : 0.0 sec. user=mdettweiler [2013-06-06 08:33:39] 675*2^1246601-1 is not prime. Res64: B7133F8AF9220BEB Time : 0.0 sec. user=mdettweiler [2013-06-06 08:33:39] 691*2^1246601-1 is not prime. Res64: DB6F01422FD4F902 Time : 0.0 sec. user=mdettweiler [2013-06-06 08:37:36] 769*2^1246601-1 is not prime. Res64: 6845BA507CE4332B Time : 0.0 sec. user=mdettweiler [2013-06-06 08:51:24] 777*2^1246601-1 is not prime. Res64: A7B545BEAE73CB0A Time : 0.0 sec. user=mdettweiler [2013-06-06 08:51:24] 799*2^1246601-1 is not prime. Res64: F60B83A22B0FD766 Time : 0.0 sec. user=mdettweiler [2013-06-06 08:56:08] 949*2^1246601-1 is not prime. Res64: 0D0CFCD85085419C Time : 0.0 sec. user=mdettweiler [2013-06-06 08:56:09] 987*2^1246601-1 is not prime. Res64: 0CCFBA7E27C34C71 Time : 0.0 sec. user=mdettweiler [2013-06-06 09:08:56] 723*2^1246602-1 is not prime. Res64: 907F162B0568619A Time : 0.0 sec. user=mdettweiler [2013-06-06 09:08:57] 873*2^1246602-1 is not prime. Res64: 2F3F6EA9EA29767C Time : 0.0 sec. user=mdettweiler [2013-06-06 09:14:26] 917*2^1246602-1 is not prime. Res64: 976FCDD44AA4468D Time : 0.0 sec. user=mdettweiler [2013-06-06 09:14:27] 1001*2^1246602-1 is not prime. Res64: ED067BAE0D0CDA49 Time : 0.0 sec. user=mdettweiler [2013-06-06 09:27:02] 685*2^1246603-1 is not prime. Res64: 324D343B8EBC6CE4 Time : 0.0 sec. user=mdettweiler [2013-06-06 09:32:27] 789*2^1246603-1 is not prime. Res64: 63D787D6C73E2198 Time : 0.0 sec. user=mdettweiler [2013-06-06 09:32:28] 813*2^1246603-1 is not prime. Res64: 2E28E4A3A3DF2ACE Time : 0.0 sec. user=mdettweiler [2013-06-06 09:50:19] 945*2^1246603-1 is not prime. Res64: 7A89636129161CE9 Time : 0.0 sec. user=mdettweiler [2013-06-06 09:50:19] 969*2^1246603-1 is not prime. Res64: 1249366EF7DA6970 Time : 0.0 sec. user=mdettweiler [2013-06-06 10:02:48] 741*2^1246603-1 is not prime. Res64: A9AF4E0F7D1623C4 Time : 0.0 sec. user=mdettweiler [2013-06-06 10:08:46] 999*2^1246603-1 is not prime. Res64: CCF19ABC1FEFD82A Time : 0.0 sec. user=mdettweiler [2013-06-06 10:20:44] 773*2^1246604-1 is not prime. Res64: BD179181DE7E6FED Time : 0.0 sec. user=mdettweiler [2013-06-06 10:20:45] 837*2^1246604-1 is not prime. Res64: A6849FFEB39A850A Time : 0.0 sec. user=mdettweiler [2013-06-06 10:38:10] 677*2^1246604-1 is not prime. Res64: 56DC9708B5A55077 Time : 0.0 sec. user=mdettweiler [2013-06-06 10:38:32] 885*2^1246604-1 is not prime. Res64: 89D5C9415BFA825B Time : 0.0 sec. user=mdettweiler [2013-06-06 10:38:32] 903*2^1246604-1 is not prime. Res64: 797DE8BE3B70CDB0 Time : 0.0 sec. user=mdettweiler [2013-06-06 10:56:26] 923*2^1246604-1 is not prime. Res64: A86A125D98E1545B Time : 0.0 sec. user=mdettweiler [2013-06-06 10:56:26] 969*2^1246604-1 is not prime. Res64: C41946744E56E37A Time : 0.0 sec. user=mdettweiler [2013-06-06 10:57:30] 983*2^1246604-1 is not prime. Res64: 0A057FF875CAB12E Time : 0.0 sec. user=mdettweiler [2013-06-06 10:57:31] 639*2^1246605-1 is not prime. Res64: E27613F63D74D67B Time : 0.0 sec. user=mdettweiler [2013-06-06 11:14:26] 679*2^1246605-1 is not prime. Res64: 1A169B2B33A9F8A3 Time : 0.0 sec. user=mdettweiler [2013-06-06 11:15:29] 847*2^1246605-1 is not prime. Res64: CBC671A71B9600D6 Time : 0.0 sec. user=mdettweiler [2013-06-06 11:40:53] 849*2^1246605-1 is not prime. Res64: 4E20F6A6C9751F82 Time : 0.0 sec. user=mdettweiler [2013-06-06 11:51:22] 699*2^1246605-1 is not prime. Res64: C07940224F706F0B Time : 0.0 sec. user=mdettweiler [2013-06-06 11:58:46] 861*2^1246605-1 is not prime. Res64: CBBC6DCCB746E77A Time : 0.0 sec. user=mdettweiler [2013-06-06 11:58:47] 657*2^1246606-1 is not prime. Res64: D66B25114A971A64 Time : 0.0 sec. user=mdettweiler [2013-06-06 12:16:24] 785*2^1246606-1 is not prime. Res64: F20774BCEB419308 Time : 0.0 sec. user=mdettweiler [2013-06-06 12:16:24] 711*2^1246607-1 is not prime. Res64: C19535B3376A97AC Time : 0.0 sec. user=mdettweiler [2013-06-06 12:28:33] 741*2^1246607-1 is not prime. Res64: C09C26A85430DBE7 Time : 0.0 sec. user=mdettweiler [2013-06-06 12:28:34] 753*2^1246607-1 is not prime. Res64: 0ACA1AD155F79651 Time : 0.0 sec. user=mdettweiler [2013-06-06 12:34:16] 759*2^1246607-1 is not prime. Res64: 14EF361FAE0FCCDA Time : 0.0 sec. user=mdettweiler [2013-06-06 12:34:17] 865*2^1246607-1 is not prime. Res64: 5700E18DD2951FD1 Time : 0.0 sec. user=mdettweiler [2013-06-06 12:46:27] 809*2^1246608-1 is not prime. Res64: 033A3F67A97B64EF Time : 0.0 sec. user=mdettweiler [2013-06-06 12:52:54] 927*2^1246608-1 is not prime. Res64: 65DC2C602BE7145A Time : 0.0 sec. user=mdettweiler [2013-06-06 13:13:23] 999*2^1246608-1 is not prime. Res64: 391C73CFED6563E7 Time : 0.0 sec. user=mdettweiler [2013-06-06 13:16:10] 899*2^1246608-1 is not prime. Res64: 023C2FDE30A5767E Time : 0.0 sec. user=mdettweiler [2013-06-06 13:32:36] 847*2^1246609-1 is not prime. Res64: 7A8D1C8DF3736228 Time : 0.0 sec. user=mdettweiler [2013-06-06 13:32:37] 855*2^1246609-1 is not prime. Res64: ACF2A87659F95C2A Time : 0.0 sec. user=mdettweiler [2013-06-06 13:50:17] 867*2^1246609-1 is not prime. Res64: 5CC846B8F7918BEA Time : 0.0 sec. user=mdettweiler [2013-06-06 13:50:17] 925*2^1246609-1 is not prime. Res64: 79EDFA917A99D483 Time : 0.0 sec. user=mdettweiler [2013-06-06 14:08:35] 665*2^1246610-1 is not prime. Res64: 208E8BBBBDAD479B Time : 0.0 sec. user=mdettweiler [2013-06-06 14:44:11] 701*2^1246610-1 is not prime. Res64: 4776D796C90EF627 Time : 0.0 sec. user=mdettweiler [2013-06-06 14:47:45] 677*2^1246610-1 is not prime. Res64: F9DBCB0CF06415D3 Time : 0.0 sec. user=mdettweiler [2013-06-06 15:13:57] 831*2^1246610-1 is not prime. Res64: 378C53700DEADB19 Time : 0.0 sec. user=mdettweiler [2013-06-06 15:27:39] 887*2^1246610-1 is not prime. Res64: 7237A232AC3AE331 Time : 0.0 sec. user=mdettweiler [2013-06-06 15:27:40] 945*2^1246610-1 is not prime. Res64: F9274B31B57E665F Time : 0.0 sec. user=mdettweiler [2013-06-06 15:32:27] 987*2^1246610-1 is not prime. Res64: 47579553940E65FA Time : 0.0 sec. user=mdettweiler [2013-06-06 15:32:27] 619*2^1246611-1 is not prime. Res64: 260D7A3F9CB58559 Time : 0.0 sec. user=mdettweiler [2013-06-06 15:45:30] 649*2^1246611-1 is not prime. Res64: 584677C62677E237 Time : 0.0 sec. user=mdettweiler [2013-06-06 15:50:09] 825*2^1246611-1 is not prime. Res64: 26E807011BA08298 Time : 0.0 sec. user=mdettweiler [2013-06-06 15:50:09] 909*2^1246611-1 is not prime. Res64: F13B4768174C83F5 Time : 0.0 sec. user=mdettweiler [2013-06-06 16:08:39] 945*2^1246611-1 is not prime. Res64: 9A2B5D1E20466E4B Time : 0.0 sec. user=mdettweiler [2013-06-06 16:08:39] 999*2^1246611-1 is not prime. Res64: BAE326CC4C1ED785 Time : 0.0 sec. user=mdettweiler [2013-06-06 16:21:49] 781*2^1246611-1 is not prime. Res64: 96949F83FDBF88E0 Time : 0.0 sec. user=mdettweiler [2013-06-06 16:26:48] 615*2^1246612-1 is not prime. Res64: A4DCCB2143F8F0F0 Time : 0.0 sec. user=mdettweiler [2013-06-06 16:39:40] 687*2^1246612-1 is not prime. Res64: B8EB20D8CBB3F6AB Time : 0.0 sec. user=mdettweiler [2013-06-06 16:58:16] 677*2^1246612-1 is not prime. Res64: BE547A570BC79585 Time : 0.0 sec. user=mdettweiler [2013-06-06 17:16:42] 819*2^1246612-1 is not prime. Res64: 6E1D4DA80128BCC5 Time : 0.0 sec. user=mdettweiler [2013-06-06 17:17:24] 777*2^1246612-1 is not prime. Res64: 132D2D0F1545B4A8 Time : 0.0 sec. user=mdettweiler [2013-06-06 17:35:27] 875*2^1246612-1 is not prime. Res64: 994BF243506C698D Time : 0.0 sec. user=mdettweiler [2013-06-06 17:42:26] 869*2^1246612-1 is not prime. Res64: 8DF94EC3195755C9 Time : 0.0 sec. user=mdettweiler [2013-06-06 18:14:59] 909*2^1246612-1 is not prime. Res64: B180C56D4325EA85 Time : 0.0 sec. user=mdettweiler [2013-06-06 18:33:44] 983*2^1246612-1 is not prime. Res64: C31C9CEE34857F4A Time : 0.0 sec. user=mdettweiler [2013-06-06 18:33:44] 607*2^1246613-1 is not prime. Res64: E2F9B26D40BDC132 Time : 0.0 sec. user=mdettweiler [2013-06-06 18:37:24] 657*2^1246613-1 is not prime. Res64: 6235458B4C9B3250 Time : 0.0 sec. user=mdettweiler [2013-06-06 18:51:17] 757*2^1246613-1 is not prime. Res64: 027887723616B3DC Time : 0.0 sec. user=mdettweiler [2013-06-06 18:51:18] 867*2^1246613-1 is not prime. Res64: 232BC7CB71C38306 Time : 0.0 sec. user=mdettweiler [2013-06-06 19:05:47] 721*2^1246613-1 is not prime. Res64: C61640468AEBC310 Time : 0.0 sec. user=mdettweiler [2013-06-06 19:09:19] 879*2^1246613-1 is not prime. Res64: BCE5631DF0280ED8 Time : 0.0 sec. user=mdettweiler [2013-06-06 19:09:20] 957*2^1246613-1 is not prime. Res64: 63603F891444F234 Time : 0.0 sec. user=mdettweiler [2013-06-06 19:27:22] 611*2^1246614-1 is not prime. Res64: 1A4A638A7AD18A26 Time : 0.0 sec. user=mdettweiler [2013-06-06 19:27:40] 765*2^1246614-1 is not prime. Res64: 649DFCCD05CC4956 Time : 0.0 sec. user=mdettweiler [2013-06-06 20:02:10] 927*2^1246614-1 is not prime. Res64: 58E49D9EE3CBB479 Time : 0.0 sec. user=mdettweiler [2013-06-06 20:02:12] 619*2^1246615-1 is not prime. Res64: 84BB64FE278DAE12 Time : 0.0 sec. user=mdettweiler [2013-06-06 20:10:58] 633*2^1246615-1 is not prime. Res64: 6F768F03DC64199E Time : 0.0 sec. user=mdettweiler [2013-06-06 20:10:59] 675*2^1246615-1 is not prime. Res64: 7A56CAEA4BF8831E Time : 0.0 sec. user=mdettweiler [2013-06-06 22:55:41] 771*2^1246615-1 is not prime. Res64: F906030B46EE9603 Time : 0.0 sec. user=mdettweiler [2013-06-06 22:55:41] 789*2^1246615-1 is not prime. Res64: B230F19F5493F864 Time : 0.0 sec. user=mdettweiler [2013-06-06 23:05:05] 617*2^1246616-1 is not prime. Res64: BC3E68A2A7C1CBF1 Time : 0.0 sec. user=mdettweiler [2013-06-06 23:05:06] 623*2^1246616-1 is not prime. Res64: AE73880616D0F96E Time : 0.0 sec. user=mdettweiler [2013-06-06 23:13:55] 657*2^1246616-1 is not prime. Res64: BC370227A6D8612F Time : 0.0 sec. user=mdettweiler [2013-06-06 23:13:55] 725*2^1246616-1 is not prime. Res64: 8D74353875C16AC5 Time : 0.0 sec. user=mdettweiler [2013-06-06 23:23:19] 759*2^1246616-1 is not prime. Res64: D18C211CB4D91062 Time : 0.0 sec. user=mdettweiler [2013-06-06 23:31:51] 969*2^1246616-1 is not prime. Res64: 69ACAE6C800455D6 Time : 0.0 sec. user=mdettweiler [2013-06-06 23:31:51] 637*2^1246617-1 is not prime. Res64: 224E6426495CE8AF Time : 0.0 sec. user=mdettweiler [2013-06-06 23:50:18] 661*2^1246617-1 is not prime. Res64: EF339751C1CCF3D3 Time : 0.0 sec. user=mdettweiler [2013-06-06 23:50:18] 681*2^1246617-1 is not prime. Res64: ECF5DC84B421BF3A Time : 0.0 sec.