user=mdettweiler [2013-07-03 00:14:21] 753*2^1247354-1 is not prime. Res64: 4353497512E562E9 Time : 0.0 sec. user=mdettweiler [2013-07-03 00:14:21] 887*2^1247354-1 is not prime. Res64: FFC857448876F69B Time : 0.0 sec. user=mdettweiler [2013-07-03 00:31:25] 923*2^1247354-1 is not prime. Res64: BAA1CA5D12F58C29 Time : 0.0 sec. user=mdettweiler [2013-07-03 00:31:26] 927*2^1247354-1 is not prime. Res64: BB151E13FA598717 Time : 0.0 sec. user=mdettweiler [2013-07-03 00:48:26] 699*2^1247355-1 is not prime. Res64: 5E6BD698D641402F Time : 0.0 sec. user=mdettweiler [2013-07-03 00:48:26] 709*2^1247355-1 is not prime. Res64: C6A58BA88AE596FE Time : 0.0 sec. user=mdettweiler [2013-07-03 01:06:18] 913*2^1247355-1 is not prime. Res64: AFBE2D0E757E7D0F Time : 0.0 sec. user=mdettweiler [2013-07-03 01:06:20] 963*2^1247355-1 is not prime. Res64: AFA8E0E138ACD8DD Time : 0.0 sec. user=mdettweiler [2013-07-03 01:23:42] 603*2^1247356-1 is not prime. Res64: E4457FA14A82A751 Time : 0.0 sec. user=mdettweiler [2013-07-03 01:23:42] 623*2^1247356-1 is not prime. Res64: 9E131236952C5D03 Time : 0.0 sec. user=mdettweiler [2013-07-03 01:40:45] 707*2^1247356-1 is not prime. Res64: 365F4A4780D03A2D Time : 0.0 sec. user=mdettweiler [2013-07-03 01:40:46] 905*2^1247356-1 is not prime. Res64: D6056F9349AD1ACB Time : 0.0 sec. user=mdettweiler [2013-07-03 01:57:47] 691*2^1247357-1 is not prime. Res64: B71AFAFBDFB7E680 Time : 0.0 sec. user=mdettweiler [2013-07-03 01:57:47] 697*2^1247357-1 is not prime. Res64: 1B4C257FAC2C4858 Time : 0.0 sec. user=mdettweiler [2013-07-03 02:14:47] 699*2^1247357-1 is not prime. Res64: 12E86506DB3050F4 Time : 0.0 sec. user=mdettweiler [2013-07-03 02:14:48] 747*2^1247357-1 is not prime. Res64: 87B1D6968A8039AF Time : 0.0 sec. user=mdettweiler [2013-07-03 02:31:49] 759*2^1247357-1 is not prime. Res64: CC2D5F7395CCCCE1 Time : 0.0 sec. user=mdettweiler [2013-07-03 02:31:50] 925*2^1247357-1 is not prime. Res64: F40DCDB547B49408 Time : 0.0 sec. user=mdettweiler [2013-07-03 02:49:06] 949*2^1247357-1 is not prime. Res64: D158FED73F6B6C53 Time : 0.0 sec. user=mdettweiler [2013-07-03 02:49:07] 705*2^1247358-1 is not prime. Res64: 2F68BA6A469439D9 Time : 0.0 sec. user=mdettweiler [2013-07-03 03:06:15] 711*2^1247358-1 is not prime. Res64: CEEE29119276C280 Time : 0.0 sec. user=mdettweiler [2013-07-03 03:06:16] 795*2^1247358-1 is not prime. Res64: EC9F091BE33D5323 Time : 0.0 sec. user=mdettweiler [2013-07-03 03:23:24] 885*2^1247358-1 is not prime. Res64: EF1D8F85E59F7330 Time : 0.0 sec. user=mdettweiler [2013-07-03 03:23:25] 633*2^1247359-1 is not prime. Res64: 84CF103CC2DEE8AC Time : 0.0 sec. user=mdettweiler [2013-07-03 03:40:25] 759*2^1247359-1 is not prime. Res64: 8B70B692E6C87633 Time : 0.0 sec. user=mdettweiler [2013-07-03 03:40:26] 763*2^1247359-1 is not prime. Res64: 302E0E5F376627D6 Time : 0.0 sec. user=mdettweiler [2013-07-03 03:57:33] 813*2^1247359-1 is not prime. Res64: 09E134262A63A85B Time : 0.0 sec. user=mdettweiler [2013-07-03 03:57:33] 829*2^1247359-1 is not prime. Res64: 41E38C8E6A1D1B9C Time : 0.0 sec. user=mdettweiler [2013-07-03 04:16:11] 993*2^1247359-1 is not prime. Res64: A6B0329EAD463080 Time : 0.0 sec. user=mdettweiler [2013-07-03 04:16:11] 999*2^1247359-1 is not prime. Res64: 02E1BC9D4D095235 Time : 0.0 sec. user=mdettweiler [2013-07-03 04:33:14] 713*2^1247360-1 is not prime. Res64: B2274AF6C5343707 Time : 0.0 sec. user=mdettweiler [2013-07-03 04:33:14] 855*2^1247360-1 is not prime. Res64: 6CAFF939E669FF7F Time : 0.0 sec. user=mdettweiler [2013-07-03 04:50:30] 657*2^1247361-1 is not prime. Res64: BF2521E73574EE9E Time : 0.0 sec. user=mdettweiler [2013-07-03 04:50:30] 669*2^1247361-1 is not prime. Res64: CACEF6FE46B7268F Time : 0.0 sec. user=mdettweiler [2013-07-03 05:07:32] 679*2^1247361-1 is not prime. Res64: B367BB885D351D9F Time : 0.0 sec. user=mdettweiler [2013-07-03 05:07:33] 889*2^1247361-1 is not prime. Res64: 5ACCBC55DD757502 Time : 0.0 sec. user=mdettweiler [2013-07-03 05:24:38] 951*2^1247361-1 is not prime. Res64: 68DC2A7E659FB988 Time : 0.0 sec. user=mdettweiler [2013-07-03 05:24:39] 713*2^1247362-1 is not prime. Res64: 31BBD29060B2388F Time : 0.0 sec. user=mdettweiler [2013-07-03 05:41:39] 765*2^1247362-1 is not prime. Res64: F9F61072FFDF28C8 Time : 0.0 sec. user=mdettweiler [2013-07-03 05:41:40] 957*2^1247362-1 is not prime. Res64: 75547C196B093DC4 Time : 0.0 sec. user=mdettweiler [2013-07-03 05:58:41] 603*2^1247363-1 is not prime. Res64: 93DCF0B8990B2DB2 Time : 0.0 sec. user=mdettweiler [2013-07-03 05:58:41] 663*2^1247363-1 is not prime. Res64: 4D16D8ADAB4E0D15 Time : 0.0 sec. user=mdettweiler [2013-07-03 06:15:42] 823*2^1247363-1 is not prime. Res64: AA6E85F4DE6E35EA Time : 0.0 sec. user=mdettweiler [2013-07-03 06:15:42] 921*2^1247363-1 is not prime. Res64: AEE0E68DDBB85735 Time : 0.0 sec. user=mdettweiler [2013-07-03 06:33:33] 963*2^1247363-1 is not prime. Res64: 285DD6C0B0A5688D Time : 0.0 sec. user=mdettweiler [2013-07-03 06:33:34] 795*2^1247364-1 is not prime. Res64: B1AEC58457659A1D Time : 0.0 sec. user=mdettweiler [2013-07-03 06:50:35] 957*2^1247364-1 is not prime. Res64: 04629812D71260D6 Time : 0.0 sec. user=mdettweiler [2013-07-03 06:50:36] 607*2^1247365-1 is not prime. Res64: 07B0CDD18040690E Time : 0.0 sec. user=mdettweiler [2013-07-03 07:07:36] 757*2^1247365-1 is not prime. Res64: 6585BFBD40E5AEE3 Time : 0.0 sec. user=mdettweiler [2013-07-03 07:07:37] 765*2^1247365-1 is not prime. Res64: 7CD7D3B4EC65D94D Time : 0.0 sec. user=mdettweiler [2013-07-03 07:24:43] 777*2^1247365-1 is not prime. Res64: 2A1D5AFEC64D4104 Time : 0.0 sec. user=mdettweiler [2013-07-03 07:24:44] 951*2^1247365-1 is not prime. Res64: BFB8BD986CA6E1EC Time : 0.0 sec. user=mdettweiler [2013-07-03 07:43:23] 975*2^1247365-1 is not prime. Res64: 3F474B59C4C93DE5 Time : 0.0 sec. user=mdettweiler [2013-07-03 07:43:24] 987*2^1247365-1 is not prime. Res64: 842D0C8EA07EE708 Time : 0.0 sec. user=mdettweiler [2013-07-03 08:01:15] 999*2^1247365-1 is not prime. Res64: 19D26706D4148F1B Time : 0.0 sec. user=mdettweiler [2013-07-03 08:01:16] 747*2^1247366-1 is not prime. Res64: 5E94728052DD600E Time : 0.0 sec. user=mdettweiler [2013-07-03 08:18:37] 815*2^1247366-1 is not prime. Res64: 43DA7402D3114B36 Time : 0.0 sec. user=mdettweiler [2013-07-03 08:18:37] 831*2^1247366-1 is not prime. Res64: 6C69F30A6EEED628 Time : 0.0 sec. user=mdettweiler [2013-07-03 08:35:38] 903*2^1247366-1 is not prime. Res64: B5402318DBD37EC1 Time : 0.0 sec. user=mdettweiler [2013-07-03 08:35:39] 685*2^1247367-1 is not prime. Res64: E20090A1FF3CB150 Time : 0.0 sec. user=mdettweiler [2013-07-03 08:52:39] 705*2^1247367-1 is not prime. Res64: 6C2B723C02B4BC13 Time : 0.0 sec. user=mdettweiler [2013-07-03 08:52:40] 711*2^1247367-1 is not prime. Res64: DFAE393E98467280 Time : 0.0 sec. user=mdettweiler [2013-07-03 09:09:41] 739*2^1247367-1 is not prime. Res64: D921DC0796A36A04 Time : 0.0 sec. user=mdettweiler [2013-07-03 09:09:42] 793*2^1247367-1 is not prime. Res64: 14E330DA5A0137E4 Time : 0.0 sec. user=mdettweiler [2013-07-03 09:26:47] 819*2^1247367-1 is not prime. Res64: 7CB088BC9144B618 Time : 0.0 sec. user=mdettweiler [2013-07-03 09:26:47] 615*2^1247368-1 is not prime. Res64: A4A3DB1D792DEDFE Time : 0.0 sec. user=mdettweiler [2013-07-03 09:44:01] 617*2^1247368-1 is not prime. Res64: 67E1E0F07B4C6A79 Time : 0.0 sec. user=mdettweiler [2013-07-03 09:44:01] 657*2^1247368-1 is not prime. Res64: 436D0437F3342E39 Time : 0.0 sec. user=mdettweiler [2013-07-03 10:01:34] 663*2^1247368-1 is not prime. Res64: F0A20C9FB0129825 Time : 0.0 sec. user=mdettweiler [2013-07-03 10:01:35] 699*2^1247368-1 is not prime. Res64: 36BE9A644ED0B020 Time : 0.0 sec. user=mdettweiler [2013-07-03 10:19:19] 735*2^1247368-1 is not prime. Res64: 4E7415969E50C277 Time : 0.0 sec. user=mdettweiler [2013-07-03 10:19:19] 825*2^1247368-1 is not prime. Res64: D8246D3373E99F9B Time : 0.0 sec. user=mdettweiler [2013-07-03 10:36:53] 843*2^1247368-1 is not prime. Res64: 83E2CB369EC22563 Time : 0.0 sec. user=mdettweiler [2013-07-03 10:36:53] 927*2^1247368-1 is not prime. Res64: D157168B1AE5805B Time : 0.0 sec. user=mdettweiler [2013-07-03 10:54:19] 933*2^1247368-1 is not prime. Res64: 6140EADB3F53A0C4 Time : 0.0 sec. user=mdettweiler [2013-07-03 10:54:19] 705*2^1247369-1 is not prime. Res64: CF1D34A257F4D369 Time : 0.0 sec. user=mdettweiler [2013-07-03 11:11:45] 795*2^1247369-1 is not prime. Res64: 77A52F3D07F7532E Time : 0.0 sec. user=mdettweiler [2013-07-03 11:11:45] 841*2^1247369-1 is not prime. Res64: BE8A5E6143DA5966 Time : 0.0 sec. user=mdettweiler [2013-07-03 11:29:10] 707*2^1247370-1 is not prime. Res64: 63DADD27890C37E1 Time : 0.0 sec. user=mdettweiler [2013-07-03 11:29:10] 921*2^1247370-1 is not prime. Res64: C0D178175648B781 Time : 0.0 sec. user=mdettweiler [2013-07-03 11:47:37] 977*2^1247370-1 is not prime. Res64: 90DA304D83D446F2 Time : 0.0 sec. user=mdettweiler [2013-07-03 11:47:37] 723*2^1247371-1 is not prime. Res64: 533AAB6D8F5CCEB1 Time : 0.0 sec. user=mdettweiler [2013-07-03 12:05:20] 683*2^1247372-1 is not prime. Res64: FBEACD33C24D6BDA Time : 0.0 sec. user=mdettweiler [2013-07-03 12:05:21] 759*2^1247372-1 is not prime. Res64: DFBD79CF5007A847 Time : 0.0 sec. user=mdettweiler [2013-07-03 12:23:08] 767*2^1247372-1 is not prime. Res64: 6D9E31AC12FF5D08 Time : 0.0 sec. user=mdettweiler [2013-07-03 12:23:08] 797*2^1247372-1 is not prime. Res64: 87FC5FBBEC4191AE Time : 0.0 sec. user=mdettweiler [2013-07-03 12:40:51] 909*2^1247372-1 is not prime. Res64: F8D79185D77AEB63 Time : 0.0 sec. user=mdettweiler [2013-07-03 12:40:51] 621*2^1247373-1 is not prime. Res64: 7DF5752DD3378320 Time : 0.0 sec. user=mdettweiler [2013-07-03 12:58:34] 625*2^1247373-1 is not prime. Res64: B155B4D620974822 Time : 0.0 sec. user=mdettweiler [2013-07-03 12:58:34] 669*2^1247373-1 is not prime. Res64: E2337B202CCBC2F8 Time : 0.0 sec. user=mdettweiler [2013-07-03 13:16:17] 789*2^1247373-1 is not prime. Res64: 54EF2DDD077262DF Time : 0.0 sec. user=mdettweiler [2013-07-03 13:16:17] 795*2^1247373-1 is not prime. Res64: D6D3AE520DF205D4 Time : 0.0 sec. user=mdettweiler [2013-07-03 13:34:52] 927*2^1247373-1 is not prime. Res64: 843F176F5B0AF5C1 Time : 0.0 sec. user=mdettweiler [2013-07-03 13:34:52] 991*2^1247373-1 is not prime. Res64: E9ED0DBC28F7E62F Time : 0.0 sec. user=mdettweiler [2013-07-03 13:53:28] 999*2^1247373-1 is not prime. Res64: E94EEEC245F4B6C4 Time : 0.0 sec. user=mdettweiler [2013-07-03 13:53:28] 605*2^1247374-1 is not prime. Res64: B51229DF86A0C993 Time : 0.0 sec. user=mdettweiler [2013-07-03 14:11:12] 815*2^1247374-1 is not prime. Res64: 2DD27F14595E7774 Time : 0.0 sec. user=mdettweiler [2013-07-03 14:11:13] 831*2^1247374-1 is not prime. Res64: 412BFE6B320021FD Time : 0.0 sec. user=mdettweiler [2013-07-03 14:28:58] 833*2^1247374-1 is not prime. Res64: 08769FC75E37E7A7 Time : 0.0 sec. user=mdettweiler [2013-07-03 14:28:59] 861*2^1247374-1 is not prime. Res64: E9F88CAC531F79C9 Time : 0.0 sec. user=mdettweiler [2013-07-03 14:46:43] 897*2^1247374-1 is not prime. Res64: 1CFFD62A7AB178B0 Time : 0.0 sec. user=mdettweiler [2013-07-03 14:46:43] 923*2^1247374-1 is not prime. Res64: 46A26268830530D8 Time : 0.0 sec. user=mdettweiler [2013-07-03 15:05:18] 983*2^1247374-1 is not prime. Res64: 59A4AE2DD9F9A4FA Time : 0.0 sec. user=mdettweiler [2013-07-03 15:05:19] 609*2^1247375-1 is not prime. Res64: 74E536ACDF875FCB Time : 0.0 sec. user=mdettweiler [2013-07-03 15:23:16] 619*2^1247375-1 is not prime. Res64: F65F405BE31C1C17 Time : 0.0 sec. user=mdettweiler [2013-07-03 15:23:16] 753*2^1247375-1 is not prime. Res64: F967E99AD151562C Time : 0.0 sec. user=mdettweiler [2013-07-03 15:41:33] 909*2^1247375-1 is not prime. Res64: 91FF5F26F84A02C3 Time : 0.0 sec. user=mdettweiler [2013-07-03 15:41:34] 949*2^1247375-1 is not prime. Res64: DA65414695D25A2F Time : 0.0 sec. user=mdettweiler [2013-07-03 15:59:17] 707*2^1247376-1 is not prime. Res64: 6F0D11E924945F1B Time : 0.0 sec. user=mdettweiler [2013-07-03 15:59:17] 737*2^1247376-1 is not prime. Res64: DDBBA74A9B4A7FEC Time : 0.0 sec. user=mdettweiler [2013-07-03 16:17:02] 825*2^1247376-1 is not prime. Res64: 0E713B0E72CD3AAE Time : 0.0 sec. user=mdettweiler [2013-07-03 16:17:03] 909*2^1247376-1 is not prime. Res64: 54E07B2ACC63DD77 Time : 0.0 sec. user=mdettweiler [2013-07-03 16:34:50] 933*2^1247376-1 is not prime. Res64: C857AF6E91CA375D Time : 0.0 sec. user=mdettweiler [2013-07-03 16:34:50] 717*2^1247377-1 is not prime. Res64: B3DED7C2FA85D4FB Time : 0.0 sec. user=mdettweiler [2013-07-03 16:52:36] 771*2^1247377-1 is not prime. Res64: 75450E3DC2011F75 Time : 0.0 sec. user=mdettweiler [2013-07-03 16:52:36] 867*2^1247377-1 is not prime. Res64: 6EFEA70FD2A83EF4 Time : 0.0 sec. user=mdettweiler [2013-07-03 17:10:21] 871*2^1247377-1 is not prime. Res64: A70FD19254B7E1DB Time : 0.0 sec. user=mdettweiler [2013-07-03 17:10:22] 895*2^1247377-1 is not prime. Res64: E745734BFE0312C3 Time : 0.0 sec. user=mdettweiler [2013-07-03 17:28:10] 603*2^1247378-1 is not prime. Res64: D70BF4DB502E6EB2 Time : 0.0 sec. user=mdettweiler [2013-07-03 17:28:11] 665*2^1247378-1 is not prime. Res64: DF7DA2242DB20306 Time : 0.0 sec. user=mdettweiler [2013-07-03 17:45:54] 735*2^1247378-1 is not prime. Res64: A23B33FD9C1330E1 Time : 0.0 sec. user=mdettweiler [2013-07-03 17:45:54] 743*2^1247378-1 is not prime. Res64: 450838BDE030A64F Time : 0.0 sec. user=mdettweiler [2013-07-03 18:03:55] 801*2^1247378-1 is not prime. Res64: E892E3DD2668E1A2 Time : 0.0 sec. user=mdettweiler [2013-07-03 18:03:55] 843*2^1247378-1 is not prime. Res64: A12B9C07B695C385 Time : 0.0 sec. user=mdettweiler [2013-07-03 18:23:25] 993*2^1247378-1 is not prime. Res64: 497071088A8514D7 Time : 0.0 sec. user=mdettweiler [2013-07-03 18:23:26] 639*2^1247379-1 is not prime. Res64: 7C51F372D5AC17D6 Time : 0.0 sec. user=mdettweiler [2013-07-03 19:01:01] 793*2^1247379-1 is not prime. Res64: 4FCAADA3D7CA03F5 Time : 0.0 sec. user=mdettweiler [2013-07-03 19:01:01] 801*2^1247379-1 is not prime. Res64: DD0C87240E344018 Time : 0.0 sec. user=mdettweiler [2013-07-03 19:18:57] 891*2^1247379-1 is not prime. Res64: 927D665E2CB626A2 Time : 0.0 sec. user=mdettweiler [2013-07-03 19:18:58] 919*2^1247379-1 is not prime. Res64: 4C213042C32FB6C6 Time : 0.0 sec. user=mdettweiler [2013-07-03 19:36:40] 609*2^1247380-1 is not prime. Res64: 5259C32F3D3E89AD Time : 0.0 sec. user=mdettweiler [2013-07-03 19:36:41] 647*2^1247380-1 is not prime. Res64: DD5331BD34304026 Time : 0.0 sec. user=mdettweiler [2013-07-03 19:54:48] 653*2^1247380-1 is not prime. Res64: 6F72FC12CB2AD968 Time : 0.0 sec. user=mdettweiler [2013-07-03 19:54:48] 677*2^1247380-1 is not prime. Res64: 9B61CF8C385516FD Time : 0.0 sec. user=mdettweiler [2013-07-03 20:12:33] 689*2^1247380-1 is not prime. Res64: 32C2F6CB15EEF14C Time : 0.0 sec. user=mdettweiler [2013-07-03 20:12:33] 845*2^1247380-1 is not prime. Res64: 63010943F49BBDDE Time : 0.0 sec. user=mdettweiler [2013-07-03 20:31:00] 873*2^1247380-1 is not prime. Res64: 9F7E235B640C21FE Time : 0.0 sec. user=mdettweiler [2013-07-03 20:31:00] 983*2^1247380-1 is not prime. Res64: 6E5873DC06EF57E5 Time : 0.0 sec. user=mdettweiler [2013-07-03 20:48:32] 607*2^1247381-1 is not prime. Res64: 4EB309E28F746456 Time : 0.0 sec. user=mdettweiler [2013-07-03 20:48:32] 621*2^1247381-1 is not prime. Res64: 6E58893BCE8A4841 Time : 0.0 sec. user=mdettweiler [2013-07-03 21:06:06] 657*2^1247381-1 is not prime. Res64: 4B5B9C2141AC5A3A Time : 0.0 sec. user=mdettweiler [2013-07-03 21:06:07] 679*2^1247381-1 is not prime. Res64: 749A2D66F5DE8A34 Time : 0.0 sec. user=mdettweiler [2013-07-03 21:23:44] 741*2^1247381-1 is not prime. Res64: F208E48229053591 Time : 0.0 sec. user=mdettweiler [2013-07-03 21:23:45] 769*2^1247381-1 is not prime. Res64: 12ACD51FEF3D585D Time : 0.0 sec. user=mdettweiler [2013-07-03 21:41:41] 931*2^1247381-1 is not prime. Res64: 37BE53538719E852 Time : 0.0 sec. user=mdettweiler [2013-07-03 21:41:41] 939*2^1247381-1 is not prime. Res64: FFA38602941F6BD7 Time : 0.0 sec. user=mdettweiler [2013-07-03 21:59:47] 713*2^1247382-1 is not prime. Res64: 2A93D40F0FE1523F Time : 0.0 sec. user=mdettweiler [2013-07-03 21:59:47] 893*2^1247382-1 is not prime. Res64: 2CB78D4AEBEF1B9C Time : 0.0 sec. user=mdettweiler [2013-07-03 22:18:26] 957*2^1247382-1 is not prime. Res64: 977BC5B04EBF7F08 Time : 0.0 sec. user=mdettweiler [2013-07-03 22:18:26] 975*2^1247382-1 is not prime. Res64: 4E1206884FC640EB Time : 0.0 sec. user=mdettweiler [2013-07-03 22:35:28] 703*2^1247383-1 is not prime. Res64: 6B4153807CD6A025 Time : 0.0 sec. user=mdettweiler [2013-07-03 22:35:28] 861*2^1247383-1 is not prime. Res64: 4DE3000BA3BB530B Time : 0.0 sec. user=mdettweiler [2013-07-03 22:52:30] 871*2^1247383-1 is not prime. Res64: ABCF175263F1561C Time : 0.0 sec. user=mdettweiler [2013-07-03 22:52:31] 895*2^1247383-1 is not prime. Res64: 52F57AADF2F22079 Time : 0.0 sec. user=mdettweiler [2013-07-03 23:09:32] 635*2^1247384-1 is not prime. Res64: 651981A30989B62F Time : 0.0 sec. user=mdettweiler [2013-07-03 23:09:34] 915*2^1247384-1 is not prime. Res64: 09D7405FAB19789B Time : 0.0 sec. user=mdettweiler [2013-07-03 23:27:25] 969*2^1247384-1 is not prime. Res64: 21292B121C4B7384 Time : 0.0 sec. user=mdettweiler [2013-07-03 23:27:26] 741*2^1247385-1 is not prime. Res64: CC73078F4985ADE9 Time : 0.0 sec. user=mdettweiler [2013-07-03 23:44:55] 759*2^1247385-1 is not prime. Res64: 59AE7D45B9837E44 Time : 0.0 sec. user=mdettweiler [2013-07-03 23:44:58] 765*2^1247385-1 is not prime. Res64: 699567A05DFBCA2C Time : 0.0 sec.