user=mdettweiler [2013-05-02 00:08:17] 979*2^1245599-1 is not prime. Res64: E387160D8BBCA3A8 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:08:17] 693*2^1245600-1 is not prime. Res64: E0788A2C595D045E Time : 0.0 sec. user=mdettweiler [2013-05-02 00:14:35] 797*2^1245600-1 is not prime. Res64: 2C3C52F5DE6A7D02 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:14:36] 819*2^1245600-1 is not prime. Res64: DB7D67682C059322 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:25:56] 825*2^1245600-1 is not prime. Res64: DE9382D7F89AE5EE Time : 0.0 sec. user=mdettweiler [2013-05-02 00:25:56] 899*2^1245600-1 is not prime. Res64: 3B73F13BDBC3C373 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:32:17] 607*2^1245601-1 is not prime. Res64: 1B57ECBA527DE285 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:32:18] 625*2^1245601-1 is not prime. Res64: 085F4F2E2EC65C85 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:43:37] 649*2^1245601-1 is not prime. Res64: 34B1E20694DFB814 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:43:37] 855*2^1245601-1 is not prime. Res64: 0B274FB780D32EB2 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:50:18] 939*2^1245601-1 is not prime. Res64: 8597E91DC1C4B060 Time : 0.0 sec. user=mdettweiler [2013-05-02 00:50:18] 975*2^1245601-1 is not prime. Res64: 9006DC4233B5E63D Time : 0.0 sec. user=mdettweiler [2013-05-02 01:01:28] 635*2^1245602-1 is not prime. Res64: 26C6AD0036522023 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:01:29] 645*2^1245602-1 is not prime. Res64: 4E84C54981793197 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:07:48] 675*2^1245602-1 is not prime. Res64: 5D196E8839C64667 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:07:49] 701*2^1245602-1 is not prime. Res64: 888ECE16D6C189A4 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:19:13] 735*2^1245602-1 is not prime. Res64: C6F322072C161A7E Time : 0.0 sec. user=mdettweiler [2013-05-02 01:19:13] 743*2^1245602-1 is not prime. Res64: 44216E49CA81D98C Time : 0.0 sec. user=mdettweiler [2013-05-02 01:25:16] 843*2^1245602-1 is not prime. Res64: 531D30CB6237B7B2 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:25:17] 923*2^1245602-1 is not prime. Res64: 4B2711DACC4A7BD5 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:36:43] 945*2^1245602-1 is not prime. Res64: A3135F5D408FA785 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:36:44] 669*2^1245603-1 is not prime. Res64: 104C576581344D1D Time : 0.0 sec. user=mdettweiler [2013-05-02 01:42:44] 691*2^1245603-1 is not prime. Res64: CCFBDBFF199A1633 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:42:44] 765*2^1245603-1 is not prime. Res64: D10E2393E4B12748 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:54:11] 805*2^1245603-1 is not prime. Res64: 4FE4E96EA9D85A42 Time : 0.0 sec. user=mdettweiler [2013-05-02 01:54:12] 835*2^1245603-1 is not prime. Res64: 2AAE945072E8DCD8 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:00:11] 885*2^1245603-1 is not prime. Res64: 42719E22AA677547 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:00:12] 985*2^1245603-1 is not prime. Res64: D0895E2E826FE633 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:11:39] 677*2^1245604-1 is not prime. Res64: D7EDB1F8EC17A838 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:11:41] 869*2^1245604-1 is not prime. Res64: B22BC84D24419AFE Time : 0.0 sec. user=mdettweiler [2013-05-02 02:17:40] 885*2^1245604-1 is not prime. Res64: 0107330204E5A8F2 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:17:40] 909*2^1245604-1 is not prime. Res64: D1F0FDD3752C6CE9 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:30:02] 965*2^1245604-1 is not prime. Res64: 50B366032829EDA3 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:30:09] 989*2^1245604-1 is not prime. Res64: 9D8C4F20F72BB60A Time : 0.0 sec. user=mdettweiler [2013-05-02 02:35:09] 721*2^1245605-1 is not prime. Res64: F8B93F8EB9EE4332 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:35:10] 757*2^1245605-1 is not prime. Res64: 03046008576DF067 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:47:57] 759*2^1245605-1 is not prime. Res64: B614735FFC0B8DEC Time : 0.0 sec. user=mdettweiler [2013-05-02 02:47:58] 949*2^1245605-1 is not prime. Res64: 32145EF23E3C7CDE Time : 0.0 sec. user=mdettweiler [2013-05-02 02:52:41] 981*2^1245605-1 is not prime. Res64: 9733AF5B109370C1 Time : 0.0 sec. user=mdettweiler [2013-05-02 02:52:41] 641*2^1245606-1 is not prime. Res64: D76C93F4E951A783 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:05:33] 647*2^1245606-1 is not prime. Res64: BA78F08C31A0EBA5 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:05:35] 707*2^1245606-1 is not prime. Res64: D27FC567C946EC64 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:10:08] 723*2^1245606-1 is not prime. Res64: AEF195EE8DEA4DD3 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:10:08] 801*2^1245606-1 is not prime. Res64: 046238A6668EFE50 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:23:09] 815*2^1245606-1 is not prime. Res64: BC27EE6E9933BE0D Time : 0.0 sec. user=mdettweiler [2013-05-02 03:23:10] 971*2^1245606-1 is not prime. Res64: 9BE57F369EFF85CE Time : 0.0 sec. user=mdettweiler [2013-05-02 03:27:36] 975*2^1245606-1 is not prime. Res64: D7403280F5A70E50 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:27:37] 983*2^1245606-1 is not prime. Res64: 06DD0D706449CF8D Time : 0.0 sec. user=mdettweiler [2013-05-02 03:40:39] 805*2^1245607-1 is not prime. Res64: 327A950CDD715376 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:40:39] 883*2^1245607-1 is not prime. Res64: 55C980518C872F38 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:45:04] 885*2^1245607-1 is not prime. Res64: AB16A8510EDBAD85 Time : 0.0 sec. user=mdettweiler [2013-05-02 03:45:05] 931*2^1245607-1 is not prime. Res64: 4F6E8D7DDF37821A Time : 0.0 sec. user=mdettweiler [2013-05-02 03:58:59] 933*2^1245607-1 is not prime. Res64: 2902597338727CAD Time : 0.0 sec. user=mdettweiler [2013-05-02 03:58:59] 993*2^1245607-1 is not prime. Res64: 04D215C3B0609062 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:02:33] 753*2^1245608-1 is not prime. Res64: B186ED168488EBF9 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:02:35] 773*2^1245608-1 is not prime. Res64: E7495A6A9000A492 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:16:27] 797*2^1245608-1 is not prime. Res64: 0F26C6B08DC16FE7 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:16:28] 843*2^1245608-1 is not prime. Res64: F4A717E913943445 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:20:03] 867*2^1245608-1 is not prime. Res64: D112F5A99E392E58 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:20:04] 893*2^1245608-1 is not prime. Res64: B9B6AAC78EBEBD45 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:34:02] 959*2^1245608-1 is not prime. Res64: 5BC6B3352ED9427F Time : 0.0 sec. user=mdettweiler [2013-05-02 04:34:02] 969*2^1245608-1 is not prime. Res64: 15AEE3B28FDD940B Time : 0.0 sec. user=mdettweiler [2013-05-02 04:38:20] 977*2^1245608-1 is not prime. Res64: 65F2883906288DAC Time : 0.0 sec. user=mdettweiler [2013-05-02 04:38:21] 993*2^1245608-1 is not prime. Res64: 6239B4F28F8BAB93 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:51:37] 639*2^1245609-1 is not prime. Res64: 94CAB1642BA7DFD6 Time : 0.0 sec. user=mdettweiler [2013-05-02 04:51:37] 681*2^1245609-1 is not prime. Res64: 5377796E6A3E470E Time : 0.0 sec. user=mdettweiler [2013-05-02 04:55:51] 685*2^1245609-1 is not prime. Res64: 14F05E2B629B193E Time : 0.0 sec. user=mdettweiler [2013-05-02 04:55:52] 781*2^1245609-1 is not prime. Res64: 4242D1A57BB7E256 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:09:05] 795*2^1245609-1 is not prime. Res64: DAE5369618E37C49 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:09:06] 817*2^1245609-1 is not prime. Res64: 40DEC84FBE590B91 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:13:19] 975*2^1245609-1 is not prime. Res64: 8DE7F3B0AD193163 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:13:20] 635*2^1245610-1 is not prime. Res64: B7BAA57E417E9088 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:26:34] 645*2^1245610-1 is not prime. Res64: FBFA440B25936EA5 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:26:34] 663*2^1245610-1 is not prime. Res64: 94EECB0238209421 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:30:49] 687*2^1245610-1 is not prime. Res64: 229992F2EDC03B4C Time : 0.0 sec. user=mdettweiler [2013-05-02 05:30:50] 713*2^1245610-1 is not prime. Res64: DF34AC9E6B63693F Time : 0.0 sec. user=mdettweiler [2013-05-02 05:44:00] 773*2^1245610-1 is not prime. Res64: F08C9F6BC2FE2AD4 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:44:01] 777*2^1245610-1 is not prime. Res64: 9F4B632B8C0A6A44 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:49:14] 995*2^1245610-1 is not prime. Res64: D51E516D3F6F6648 Time : 0.0 sec. user=mdettweiler [2013-05-02 05:49:14] 759*2^1245611-1 is not prime. Res64: F63EDFAF3759BFB7 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:01:28] 781*2^1245611-1 is not prime. Res64: B2BA3CB6E46AF870 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:01:29] 819*2^1245611-1 is not prime. Res64: D430A4DBA3599FC9 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:06:42] 825*2^1245611-1 is not prime. Res64: EEE97737684F3C78 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:06:43] 901*2^1245611-1 is not prime. Res64: FEA922A516B23BD5 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:18:58] 605*2^1245612-1 is not prime. Res64: 864F7A157C7BF3AF Time : 0.0 sec. user=mdettweiler [2013-05-02 06:18:58] 623*2^1245612-1 is not prime. Res64: 6DCC01E3B188BA4B Time : 0.0 sec. user=mdettweiler [2013-05-02 06:24:15] 633*2^1245612-1 is not prime. Res64: 1D1E739AFDC11EF4 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:24:15] 665*2^1245612-1 is not prime. Res64: B9FC0958F669E1ED Time : 0.0 sec. user=mdettweiler [2013-05-02 06:36:25] 837*2^1245612-1 is not prime. Res64: 31A6AA8CF7B5A51D Time : 0.0 sec. user=mdettweiler [2013-05-02 06:36:26] 615*2^1245613-1 is not prime. Res64: 6FD712A71D562823 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:41:57] 675*2^1245613-1 is not prime. Res64: 4872647BE9C77FAF Time : 0.0 sec. user=mdettweiler [2013-05-02 06:41:57] 687*2^1245613-1 is not prime. Res64: 40009320D115C0D3 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:53:53] 789*2^1245613-1 is not prime. Res64: 0D0983C917C9B1A1 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:53:53] 897*2^1245613-1 is not prime. Res64: D203400A84CE1D95 Time : 0.0 sec. user=mdettweiler [2013-05-02 06:59:24] 627*2^1245614-1 is not prime. Res64: 95315864085AC43C Time : 0.0 sec. user=mdettweiler [2013-05-02 06:59:24] 645*2^1245614-1 is not prime. Res64: C787052312319AEA Time : 0.0 sec. user=mdettweiler [2013-05-02 07:11:20] 923*2^1245614-1 is not prime. Res64: C71E86BAC556ABCC Time : 0.0 sec. user=mdettweiler [2013-05-02 07:11:22] 953*2^1245614-1 is not prime. Res64: E9AB069D033010CD Time : 0.0 sec. user=mdettweiler [2013-05-02 07:17:40] 1001*2^1245614-1 is not prime. Res64: 6C5A1F4342A5D595 Time : 0.0 sec. user=mdettweiler [2013-05-02 07:17:41] 613*2^1245615-1 is not prime. Res64: 1C1561AD94A1E11A Time : 0.0 sec. user=mdettweiler [2013-05-02 07:28:56] 619*2^1245615-1 is not prime. Res64: EFCB0387DEE1582A Time : 0.0 sec. user=mdettweiler [2013-05-02 07:28:56] 651*2^1245615-1 is not prime. Res64: FC21671E7E326DF3 Time : 0.0 sec. user=mdettweiler [2013-05-02 07:35:08] 679*2^1245615-1 is not prime. Res64: C1BD54236A05CD70 Time : 0.0 sec. user=mdettweiler [2013-05-02 07:35:08] 873*2^1245615-1 is not prime. Res64: 6F9EA4D211B3135A Time : 0.0 sec. user=mdettweiler [2013-05-02 07:46:24] 955*2^1245615-1 is not prime. Res64: AFC7E7702A84733E Time : 0.0 sec. user=mdettweiler [2013-05-02 07:46:25] 639*2^1245616-1 is not prime. Res64: 9C0CE7FD37199240 Time : 0.0 sec. user=mdettweiler [2013-05-02 07:52:35] 663*2^1245616-1 is not prime. Res64: 22C3AB5E4BCED457 Time : 0.0 sec. user=mdettweiler [2013-05-02 07:52:36] 677*2^1245616-1 is not prime. Res64: CD3279328FFD68A4 Time : 0.0 sec. user=mdettweiler [2013-05-02 08:03:54] 693*2^1245616-1 is not prime. Res64: 54915EEBA0D4719C Time : 0.0 sec. user=mdettweiler [2013-05-02 08:03:55] 695*2^1245616-1 is not prime. Res64: E44D4DC78F8AFA1D Time : 0.0 sec. user=mdettweiler [2013-05-02 08:10:02] 723*2^1245616-1 is not prime. Res64: 49EF5926BFA0677F Time : 0.0 sec. user=mdettweiler [2013-05-02 08:10:03] 899*2^1245616-1 is not prime. Res64: EFE559A1C552E2AA Time : 0.0 sec. user=mdettweiler [2013-05-02 08:21:33] 969*2^1245616-1 is not prime. Res64: 1EEBCE657ED89A06 Time : 0.0 sec. user=mdettweiler [2013-05-02 08:21:34] 645*2^1245617-1 is not prime. Res64: 622944E2E84908EC Time : 0.0 sec. user=mdettweiler [2013-05-02 08:27:31] 735*2^1245617-1 is not prime. Res64: 9711E71A9336D609 Time : 0.0 sec. user=mdettweiler [2013-05-02 08:27:31] 837*2^1245617-1 is not prime. Res64: 4FE02011C1E4F8CF Time : 0.0 sec. user=mdettweiler [2013-05-02 08:39:02] 847*2^1245617-1 is not prime. Res64: 7C99E8E119C92AE5 Time : 0.0 sec. user=mdettweiler [2013-05-02 08:39:03] 865*2^1245617-1 is not prime. Res64: C02369DA1F319E00 Time : 0.0 sec. user=mdettweiler [2013-05-02 08:44:58] 889*2^1245617-1 is not prime. Res64: 2DD8D39218063CE1 Time : 0.0 sec. user=mdettweiler [2013-05-02 08:44:58] 931*2^1245617-1 is not prime. Res64: B9BC33C4F105055B Time : 0.0 sec. user=mdettweiler [2013-05-02 08:56:31] 955*2^1245617-1 is not prime. Res64: 45400EF84324B822 Time : 0.0 sec. user=mdettweiler [2013-05-02 08:56:31] 957*2^1245617-1 is not prime. Res64: 90699074536077C1 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:02:25] 821*2^1245618-1 is not prime. Res64: 6B9A5E9C71D2ABB2 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:02:27] 867*2^1245618-1 is not prime. Res64: BD481879CAA5DDB4 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:14:00] 885*2^1245618-1 is not prime. Res64: 9A2D8CDE7BF7E0FC Time : 0.0 sec. user=mdettweiler [2013-05-02 09:14:01] 625*2^1245619-1 is not prime. Res64: 57C6FC5F61A2DC93 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:19:56] 639*2^1245619-1 is not prime. Res64: 1195786C6B6B0393 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:19:57] 741*2^1245619-1 is not prime. Res64: 6D1F32C9C5588A19 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:31:31] 889*2^1245619-1 is not prime. Res64: 1F8568D09113A108 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:31:31] 939*2^1245619-1 is not prime. Res64: EDBA0FD5FE91BE8F Time : 0.0 sec. user=mdettweiler [2013-05-02 09:37:24] 669*2^1245620-1 is not prime. Res64: 61E59185527846EA Time : 0.0 sec. user=mdettweiler [2013-05-02 09:37:24] 707*2^1245620-1 is not prime. Res64: D54252485990148B Time : 0.0 sec. user=mdettweiler [2013-05-02 09:49:00] 927*2^1245620-1 is not prime. Res64: B2B011BB78D32E54 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:49:00] 669*2^1245621-1 is not prime. Res64: FB19DD85821010A8 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:54:52] 709*2^1245621-1 is not prime. Res64: 2E1C8D1C81C6F983 Time : 0.0 sec. user=mdettweiler [2013-05-02 09:54:52] 735*2^1245621-1 is not prime. Res64: BB80B353BAAB28CB Time : 0.0 sec. user=mdettweiler [2013-05-02 10:06:28] 937*2^1245621-1 is not prime. Res64: 476CD522825D5EF1 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:06:29] 635*2^1245622-1 is not prime. Res64: C0398B3A084A3186 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:12:20] 723*2^1245622-1 is not prime. Res64: B4D739A0ECFF6CBC Time : 0.0 sec. user=mdettweiler [2013-05-02 10:12:21] 731*2^1245622-1 is not prime. Res64: DEC69E8D2F4B15CE Time : 0.0 sec. user=mdettweiler [2013-05-02 10:23:58] 765*2^1245622-1 is not prime. Res64: E6F12C505763E9D3 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:23:59] 669*2^1245623-1 is not prime. Res64: 965E920ACEAADEB8 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:29:52] 715*2^1245623-1 is not prime. Res64: D0C008507B8DDF3C Time : 0.0 sec. user=mdettweiler [2013-05-02 10:29:52] 825*2^1245623-1 is not prime. Res64: 6160C03D0416025E Time : 0.0 sec. user=mdettweiler [2013-05-02 10:41:27] 879*2^1245623-1 is not prime. Res64: 47F69670C47D74F7 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:41:27] 943*2^1245623-1 is not prime. Res64: E7CAA69AD3FAEAB9 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:47:20] 945*2^1245623-1 is not prime. Res64: 20A2AC6F4999F4B0 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:47:20] 795*2^1245624-1 is not prime. Res64: 796C3EC6666679B8 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:58:55] 815*2^1245624-1 is not prime. Res64: 4BBE0CE68D1866D6 Time : 0.0 sec. user=mdettweiler [2013-05-02 10:58:55] 857*2^1245624-1 is not prime. Res64: E31954ABE8F2D73B Time : 0.0 sec. user=mdettweiler [2013-05-02 11:04:49] 909*2^1245624-1 is not prime. Res64: ACE304285F4E09B3 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:04:50] 947*2^1245624-1 is not prime. Res64: AC42E2BFCBE13DF8 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:16:22] 609*2^1245625-1 is not prime. Res64: 15A7A9604A1904C6 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:16:23] 691*2^1245625-1 is not prime. Res64: 69AACDE0FB15C286 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:22:22] 811*2^1245625-1 is not prime. Res64: AA49467C292AFEE8 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:22:23] 831*2^1245625-1 is not prime. Res64: 5F719815EBC358DE Time : 0.0 sec. user=mdettweiler [2013-05-02 11:34:00] 635*2^1245626-1 is not prime. Res64: E15B718720743661 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:34:00] 641*2^1245626-1 is not prime. Res64: 7A194F9A5532C21B Time : 0.0 sec. user=mdettweiler [2013-05-02 11:40:09] 921*2^1245626-1 is not prime. Res64: D80A59D77B984B85 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:40:09] 957*2^1245626-1 is not prime. Res64: 1ED8F33B2F9766A7 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:51:44] 709*2^1245627-1 is not prime. Res64: 0655C97E4035ADD7 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:51:45] 751*2^1245627-1 is not prime. Res64: EC34EBFBA55C1387 Time : 0.0 sec. user=mdettweiler [2013-05-02 11:57:53] 753*2^1245627-1 is not prime. Res64: FA102091B911DD8D Time : 0.0 sec. user=mdettweiler [2013-05-02 11:57:53] 769*2^1245627-1 is not prime. Res64: F47FC33628194CB4 Time : 0.0 sec. user=mdettweiler [2013-05-02 12:09:29] 781*2^1245627-1 is not prime. Res64: E4A3862698D48281 Time : 0.0 sec. user=mdettweiler [2013-05-02 12:09:29] 819*2^1245627-1 is not prime. Res64: 347EA55B7996DC33 Time : 0.0 sec. user=mdettweiler [2013-05-02 12:15:38] 823*2^1245627-1 is not prime. Res64: C6E3B119C35BE40C Time : 0.0 sec. user=mdettweiler [2013-05-02 12:15:38] 825*2^1245627-1 is not prime. Res64: 4504EFA0DA0DC5C2 Time : 0.0 sec. user=mdettweiler [2013-05-02 12:27:21] 903*2^1245627-1 is not prime. Res64: 640E5DD02C01DABD Time : 0.0 sec. user=mdettweiler [2013-05-02 12:27:21] 909*2^1245627-1 is not prime. Res64: 849D5E6F31CFF596 Time : 0.0 sec. user=mdettweiler [2013-05-02 12:33:23] 647*2^1245628-1 is not prime. Res64: 72ECB1E9B7EE506E Time : 0.0 sec. user=mdettweiler [2013-05-02 12:33:23] 869*2^1245628-1 is not prime. Res64: B75D85CB387F13AF Time : 0.0 sec. user=mdettweiler [2013-05-02 12:44:56] 915*2^1245628-1 is not prime. Res64: E2FACB3DBCB29637 Time : 0.0 sec. user=mdettweiler [2013-05-02 12:44:57] 775*2^1245629-1 is not prime. Res64: 71332C77D4BB3C5C Time : 0.0 sec. user=mdettweiler [2013-05-02 12:50:58] 885*2^1245629-1 is not prime. Res64: 131E865EA6292408 Time : 0.0 sec. user=mdettweiler [2013-05-02 12:50:58] 889*2^1245629-1 is not prime. Res64: D839E7923177EF99 Time : 0.0 sec. user=mdettweiler [2013-05-02 13:02:33] 711*2^1245630-1 is not prime. Res64: 8C872CA6E92FAC20 Time : 0.0 sec. user=mdettweiler [2013-05-02 13:02:35] 783*2^1245630-1 is not prime. Res64: 4916769D82500FCA Time : 0.0 sec. user=mdettweiler [2013-05-02 13:08:32] 791*2^1245630-1 is not prime. Res64: FFB8E0D92D8251EC Time : 0.0 sec. user=mdettweiler [2013-05-02 13:08:33] 887*2^1245630-1 is not prime. Res64: 915F97E41C08BDF9 Time : 0.0 sec. user=mdettweiler [2013-05-02 13:20:25] 917*2^1245630-1 is not prime. Res64: 3FA9DFEBEA09C085 Time : 0.0 sec. user=mdettweiler [2013-05-02 13:20:25] 977*2^1245630-1 is not prime. Res64: 977FDF1486179A87 Time : 0.0 sec. user=mdettweiler [2013-05-02 13:26:09] 603*2^1245631-1 is not prime. Res64: 8255968E4CA5E8D4 Time : 0.0 sec. user=mdettweiler [2013-05-02 13:26:10] 639*2^1245631-1 is not prime. Res64: 8769C87CC8EE032E Time : 0.0 sec. user=mdettweiler [2013-05-02 13:38:06] 759*2^1245631-1 is not prime. Res64: 317918064CBC22C2 Time : 0.0 sec. user=mdettweiler [2013-05-02 13:38:06] 793*2^1245631-1 is not prime. Res64: BC2B19332B1AB68A Time : 0.0 sec. user=mdettweiler [2013-05-02 13:43:54] 891*2^1245631-1 is not prime. Res64: 2984FAE50F3455FF Time : 0.0 sec. user=mdettweiler [2013-05-02 13:43:55] 633*2^1245632-1 is not prime. Res64: D92869E902D07F03 Time : 0.0 sec. user=mdettweiler [2013-05-02 13:56:00] 717*2^1245632-1 is not prime. Res64: 5D2A0E5B7E57F92C Time : 0.0 sec. user=mdettweiler [2013-05-02 13:56:00] 743*2^1245632-1 is not prime. Res64: 064290F38CB0C301 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:01:46] 797*2^1245632-1 is not prime. Res64: 8D78B1BD54143393 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:01:47] 945*2^1245632-1 is not prime. Res64: B31BC99CEFB06CCF Time : 0.0 sec. user=mdettweiler [2013-05-02 14:13:52] 625*2^1245633-1 is not prime. Res64: AC2A0271B1E2C8C8 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:13:53] 639*2^1245633-1 is not prime. Res64: EE0DA2125AAB7A06 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:19:40] 741*2^1245633-1 is not prime. Res64: D2A68541E991F036 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:19:40] 789*2^1245633-1 is not prime. Res64: CC98E588D0FDEE0B Time : 0.0 sec. user=mdettweiler [2013-05-02 14:31:45] 835*2^1245633-1 is not prime. Res64: BA272A02CFCC5DFE Time : 0.0 sec. user=mdettweiler [2013-05-02 14:31:45] 847*2^1245633-1 is not prime. Res64: F4457C8CFF9E5D90 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:37:32] 867*2^1245633-1 is not prime. Res64: D99458DBA5CB2E9A Time : 0.0 sec. user=mdettweiler [2013-05-02 14:37:32] 919*2^1245633-1 is not prime. Res64: 5EBEFC3B75343984 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:50:28] 991*2^1245633-1 is not prime. Res64: A87416DB7AA7D10E Time : 0.0 sec. user=mdettweiler [2013-05-02 14:50:28] 621*2^1245634-1 is not prime. Res64: DA743924AF0016D6 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:55:23] 645*2^1245634-1 is not prime. Res64: A80BF5BEE7824515 Time : 0.0 sec. user=mdettweiler [2013-05-02 14:55:23] 663*2^1245634-1 is not prime. Res64: 0BA42D8504FB7E14 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:08:26] 677*2^1245634-1 is not prime. Res64: 96D37D63CC9D6C81 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:08:27] 681*2^1245634-1 is not prime. Res64: C45C20D588790290 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:13:29] 765*2^1245634-1 is not prime. Res64: B5698F391B74B37B Time : 0.0 sec. user=mdettweiler [2013-05-02 15:13:29] 785*2^1245634-1 is not prime. Res64: 9638E13B529A415F Time : 0.0 sec. user=mdettweiler [2013-05-02 15:26:46] 827*2^1245634-1 is not prime. Res64: F6B2B780749F2EE6 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:26:47] 857*2^1245634-1 is not prime. Res64: CE8B83770FF5D548 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:31:42] 603*2^1245635-1 is not prime. Res64: 792A72115E6E2766 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:31:42] 693*2^1245635-1 is not prime. Res64: 8B400BAA1E04A882 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:45:06] 741*2^1245635-1 is not prime. Res64: 6E5CD3E487178004 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:45:06] 783*2^1245635-1 is not prime. Res64: C74CB6E36574BB89 Time : 0.0 sec. user=mdettweiler [2013-05-02 15:50:00] 859*2^1245635-1 is not prime. Res64: F135069A164FF2FF Time : 0.0 sec. user=mdettweiler [2013-05-02 15:50:00] 903*2^1245635-1 is not prime. Res64: E97E73136DB3EBFD Time : 0.0 sec. user=mdettweiler [2013-05-02 16:04:01] 909*2^1245635-1 is not prime. Res64: 0DFEA4345F3CF4E7 Time : 0.0 sec. user=mdettweiler [2013-05-02 16:04:01] 939*2^1245635-1 is not prime. Res64: ECFF91283CC4D388 Time : 0.0 sec. user=mdettweiler [2013-05-02 16:09:22] 735*2^1245636-1 is not prime. Res64: B569809E1B3AAB39 Time : 0.0 sec. user=mdettweiler [2013-05-02 16:09:23] 845*2^1245636-1 is not prime. Res64: BADFB55CA69C8E4B Time : 0.0 sec. user=mdettweiler [2013-05-02 16:22:42] 927*2^1245636-1 is not prime. Res64: 40FC267E9A04A53F Time : 0.0 sec. user=mdettweiler [2013-05-02 16:22:42] 601*2^1245637-1 is not prime. Res64: 19AC65BD478A6975 Time : 0.0 sec. user=mdettweiler [2013-05-02 16:27:52] 609*2^1245637-1 is not prime. Res64: B2ED2762ECE8D2E6 Time : 0.0 sec. user=mdettweiler [2013-05-02 16:27:52] 687*2^1245637-1 is not prime. Res64: 8202DD18D8F03D2B Time : 0.0 sec. user=mdettweiler [2013-05-02 16:40:46] 717*2^1245637-1 is not prime. Res64: 1626D2D0636D7E7F Time : 0.0 sec. user=mdettweiler [2013-05-02 16:40:46] 741*2^1245637-1 is not prime. Res64: A053235BF03D97E0 Time : 0.0 sec. user=mdettweiler [2013-05-02 16:45:42] 765*2^1245637-1 is not prime. Res64: 0C728FC1B9C91A9D Time : 0.0 sec. user=mdettweiler [2013-05-02 16:45:42] 801*2^1245637-1 is not prime. Res64: B260FB432BE2E4A2 Time : 0.0 sec. user=mdettweiler [2013-05-02 16:58:29] 831*2^1245637-1 is not prime. Res64: 1239920F178EB688 Time : 0.0 sec. user=mdettweiler [2013-05-02 16:58:29] 895*2^1245637-1 is not prime. Res64: 179A7EE543EC66E2 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:03:29] 945*2^1245637-1 is not prime. Res64: 3846D60CB2CB719A Time : 0.0 sec. user=mdettweiler [2013-05-02 17:03:30] 623*2^1245638-1 is not prime. Res64: 6BC6E855ECA62785 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:16:16] 753*2^1245638-1 is not prime. Res64: DF6B90ACCDC512D3 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:16:16] 831*2^1245638-1 is not prime. Res64: 5F0D337AEA70F7B1 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:21:14] 861*2^1245638-1 is not prime. Res64: DC6B1C472F40C973 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:21:14] 935*2^1245638-1 is not prime. Res64: 04D43E598F6D8435 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:34:54] 995*2^1245638-1 is not prime. Res64: 30B90DE04B0BC840 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:34:54] 633*2^1245639-1 is not prime. Res64: 5CF8C86A114390A9 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:38:59] 691*2^1245639-1 is not prime. Res64: 5769FFEA70FEA5CB Time : 0.0 sec. user=mdettweiler [2013-05-02 17:38:59] 741*2^1245639-1 is not prime. Res64: 92507597690CC9F2 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:52:34] 745*2^1245639-1 is not prime. Res64: 9246F9F0590C73E9 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:52:35] 859*2^1245639-1 is not prime. Res64: C7581E4283614CBF Time : 0.0 sec. user=mdettweiler [2013-05-02 17:56:39] 979*2^1245639-1 is not prime. Res64: 1031473912321524 Time : 0.0 sec. user=mdettweiler [2013-05-02 17:56:39] 623*2^1245640-1 is not prime. Res64: 55EC6D34FC9A51F9 Time : 0.0 sec. user=mdettweiler [2013-05-02 18:10:18] 675*2^1245640-1 is not prime. Res64: B1D9299353DDEB94 Time : 0.0 sec. user=mdettweiler [2013-05-02 18:10:19] 797*2^1245640-1 is not prime. Res64: D1EC1F8A84F8B7CB Time : 0.0 sec. user=mdettweiler [2013-05-02 18:14:25] 691*2^1245641-1 is not prime. Res64: 6389B93934B32B0E Time : 0.0 sec. user=mdettweiler [2013-05-02 18:14:26] 879*2^1245641-1 is not prime. Res64: F2ADB4A47AA6BB21 Time : 0.0 sec. user=mdettweiler [2013-05-02 18:28:20] 925*2^1245641-1 is not prime. Res64: A2DDD612990058EC Time : 0.0 sec. user=mdettweiler [2013-05-02 18:28:20] 951*2^1245641-1 is not prime. Res64: 639ED95E1CEA89A0 Time : 0.0 sec. user=mdettweiler [2013-05-02 18:32:21] 633*2^1245642-1 is not prime. Res64: 95F18915FAB87559 Time : 0.0 sec. user=mdettweiler [2013-05-02 18:32:21] 647*2^1245642-1 is not prime. Res64: 1D45B41D8E631EB3 Time : 0.0 sec. user=mdettweiler [2013-05-02 18:46:14] 711*2^1245642-1 is not prime. Res64: 48C245856A6B078A Time : 0.0 sec. user=mdettweiler [2013-05-02 18:46:14] 713*2^1245642-1 is not prime. Res64: 741CD3E8C1585D06 Time : 0.0 sec. user=mdettweiler [2013-05-02 18:50:15] 725*2^1245642-1 is not prime. Res64: F491BA0A7517ECD6 Time : 0.0 sec. user=mdettweiler [2013-05-02 18:50:15] 747*2^1245642-1 is not prime. Res64: 7A87122FB88ABC17 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:04:01] 833*2^1245642-1 is not prime. Res64: 6D818A473CB8CE9A Time : 0.0 sec. user=mdettweiler [2013-05-02 19:04:01] 915*2^1245642-1 is not prime. Res64: 270A58666B20F532 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:07:58] 947*2^1245642-1 is not prime. Res64: 270CEFD3DC9F0894 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:07:59] 633*2^1245643-1 is not prime. Res64: 4BD52D8B314A8BCF Time : 0.0 sec. user=mdettweiler [2013-05-02 19:21:46] 673*2^1245643-1 is not prime. Res64: 527B2DA8BD3FDCAC Time : 0.0 sec. user=mdettweiler [2013-05-02 19:21:47] 741*2^1245643-1 is not prime. Res64: F1BA742AE9C72BB0 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:25:42] 805*2^1245643-1 is not prime. Res64: DD22AE9CB7E4FFFC Time : 0.0 sec. user=mdettweiler [2013-05-02 19:25:42] 811*2^1245643-1 is not prime. Res64: B13F340C380226B3 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:39:27] 915*2^1245643-1 is not prime. Res64: 19C7D07A46329F50 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:39:27] 925*2^1245643-1 is not prime. Res64: C7163C354B1EE853 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:43:22] 857*2^1245644-1 is not prime. Res64: 01B611AE03464881 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:43:23] 885*2^1245644-1 is not prime. Res64: 9325B2711A8A7A56 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:57:56] 995*2^1245644-1 is not prime. Res64: CD9C6A7AFEC90789 Time : 0.0 sec. user=mdettweiler [2013-05-02 19:57:56] 625*2^1245645-1 is not prime. Res64: 1824BB7B4A6C8A35 Time : 0.0 sec. user=mdettweiler [2013-05-02 20:01:03] 655*2^1245645-1 is not prime. Res64: 8B75059415CFC18D Time : 0.0 sec. user=mdettweiler [2013-05-02 20:01:05] 657*2^1245645-1 is not prime. Res64: BCE97C9494433E18 Time : 0.0 sec. user=mdettweiler [2013-05-02 20:15:36] 727*2^1245645-1 is not prime. Res64: DB9C587F9C90BBDD Time : 0.0 sec. user=mdettweiler [2013-05-02 20:15:37] 795*2^1245645-1 is not prime. Res64: 57CF58AC96396227 Time : 0.0 sec. user=mdettweiler [2013-05-02 20:19:02] 871*2^1245645-1 is not prime. Res64: 294E51D640A9D597 Time : 0.0 sec. user=mdettweiler [2013-05-02 20:19:02] 889*2^1245645-1 is not prime. Res64: 2DBD1329A327B41E Time : 0.0 sec. user=mdettweiler [2013-05-02 20:33:19] 671*2^1245646-1 is not prime. Res64: 26C7E11ABA070B54 Time : 0.0 sec. user=mdettweiler [2013-05-02 20:33:19] 675*2^1245646-1 is not prime. Res64: 936C015475AB45F8 Time : 0.0 sec. user=mdettweiler [2013-05-02 20:36:42] 723*2^1245646-1 is not prime. Res64: BADE8D1C6DBC2061 Time : 0.0 sec. user=mdettweiler [2013-05-02 20:36:42] 741*2^1245646-1 is not prime. Res64: 353B098F095E0F1C Time : 0.0 sec. user=mdettweiler [2013-05-02 20:51:01] 881*2^1245646-1 is not prime. Res64: CF0AA791E94F7A49 Time : 0.0 sec. user=mdettweiler [2013-05-02 20:51:01] 957*2^1245646-1 is not prime. Res64: 7402240B612C56AF Time : 0.0 sec. user=mdettweiler [2013-05-02 20:54:26] 619*2^1245647-1 is not prime. Res64: 6025D68262220AEF Time : 0.0 sec. user=mdettweiler [2013-05-02 20:54:26] 753*2^1245647-1 is not prime. Res64: 4C7CF44A601069F9 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:08:47] 759*2^1245647-1 is not prime. Res64: 066A744710E0F664 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:08:48] 805*2^1245647-1 is not prime. Res64: 40E36F262A0863C2 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:12:11] 723*2^1245648-1 is not prime. Res64: B78CEF1B398E8327 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:12:11] 819*2^1245648-1 is not prime. Res64: F59E9EDC4B89E2D1 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:26:39] 879*2^1245648-1 is not prime. Res64: EF8405C7E0725B08 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:26:40] 947*2^1245648-1 is not prime. Res64: F98E84D76EE32DB4 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:29:57] 771*2^1245649-1 is not prime. Res64: 313AF8AD4F8E2866 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:29:57] 801*2^1245649-1 is not prime. Res64: A887B303168DF7E5 Time : 0.0 sec. user=mdettweiler [2013-05-02 21:44:25] 841*2^1245649-1 is not prime. Res64: 959FD84EE74800FA Time : 0.0 sec. user=mdettweiler [2013-05-02 21:44:25] 885*2^1245649-1 is not prime. Res64: B27A7163E8E062DB Time : 0.0 sec. user=mdettweiler [2013-05-02 21:47:41] 975*2^1245649-1 is not prime. Res64: 6E6B89BCD299388A Time : 0.0 sec. user=mdettweiler [2013-05-02 21:47:41] 985*2^1245649-1 is not prime. Res64: 6F26828086EA5C64 Time : 0.0 sec. user=mdettweiler [2013-05-02 22:02:04] 671*2^1245650-1 is not prime. Res64: 6CDA357211E9971F Time : 0.0 sec. user=mdettweiler [2013-05-02 22:02:05] 801*2^1245650-1 is not prime. Res64: B97F2F17A4F70C28 Time : 0.0 sec. user=mdettweiler [2013-05-02 22:05:18] 911*2^1245650-1 is not prime. Res64: A20A533835DC5963 Time : 0.0 sec. user=mdettweiler [2013-05-02 22:05:19] 917*2^1245650-1 is not prime. Res64: 2727C0C0A23B235D Time : 0.0 sec. user=mdettweiler [2013-05-02 22:20:28] 951*2^1245650-1 is not prime. Res64: F9E8F3B0D513ED89 Time : 0.0 sec. user=mdettweiler [2013-05-02 22:20:28] 745*2^1245651-1 is not prime. Res64: D857B8F7072FC598 Time : 0.0 sec. user=mdettweiler [2013-05-02 22:23:25] 801*2^1245651-1 is not prime. Res64: CAE54650FB3528EE Time : 0.0 sec. user=mdettweiler [2013-05-02 22:23:25] 871*2^1245651-1 is not prime. Res64: 162692D9A2351066 Time : 0.0 sec. user=mdettweiler [2013-05-02 22:38:36] 975*2^1245651-1 is not prime. Res64: 67ED2757DB8A021D Time : 0.0 sec. user=mdettweiler [2013-05-02 22:38:36] 735*2^1245652-1 is not prime. Res64: 10E382A3CB472E12 Time : 0.0 sec. user=mdettweiler [2013-05-02 22:41:28] 813*2^1245652-1 is not prime. Res64: 63354C7204F3E63A Time : 0.0 sec. user=mdettweiler [2013-05-02 22:41:29] 899*2^1245652-1 is not prime. Res64: 9B56884BC00564EA Time : 0.0 sec. user=mdettweiler [2013-05-02 22:56:27] 933*2^1245652-1 is not prime. Res64: 171A1E4AF4C38A44 Time : 0.0 sec. user=mdettweiler [2013-05-02 22:56:27] 619*2^1245653-1 is not prime. Res64: 046591EC1DB6198E Time : 0.0 sec. user=mdettweiler [2013-05-02 23:00:08] 837*2^1245653-1 is not prime. Res64: 3019D02019CAC728 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:00:09] 991*2^1245653-1 is not prime. Res64: A2E7A230FC628C24 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:14:16] 641*2^1245654-1 is not prime. Res64: 0E33268EF415E808 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:14:17] 651*2^1245654-1 is not prime. Res64: CD077177CC0E33C9 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:17:59] 681*2^1245654-1 is not prime. Res64: A24727D0578F12DB Time : 0.0 sec. user=mdettweiler [2013-05-02 23:18:00] 707*2^1245654-1 is not prime. Res64: BDE895E29198F879 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:32:15] 815*2^1245654-1 is not prime. Res64: 5A41AF8DCDC2C628 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:32:15] 861*2^1245654-1 is not prime. Res64: E45EE9FB8D63AF23 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:36:13] 893*2^1245654-1 is not prime. Res64: 0989E1AB66C8CC89 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:36:13] 903*2^1245654-1 is not prime. Res64: A2B92534DF0DF4C4 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:51:49] 983*2^1245654-1 is not prime. Res64: BC1EDD608D09AC13 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:51:49] 609*2^1245655-1 is not prime. Res64: 9F15F49428E208CA Time : 0.0 sec. user=mdettweiler [2013-05-02 23:55:44] 645*2^1245655-1 is not prime. Res64: 5A8A68D758AC7022 Time : 0.0 sec. user=mdettweiler [2013-05-02 23:55:45] 759*2^1245655-1 is not prime. Res64: 01BF281B69B2D476 Time : 0.0 sec.