user=mdettweiler [2013-02-14 00:09:49] 765*2^1241073-1 is not prime. Res64: A2A06D9EFA1FB676 Time : 0.0 sec. user=mdettweiler [2013-02-14 00:09:50] 867*2^1241073-1 is not prime. Res64: 3F5086A448126BD8 Time : 0.0 sec. user=mdettweiler [2013-02-14 00:09:50] 811*2^1241073-1 is not prime. Res64: 3B0B677000CF4839 Time : 0.0 sec. user=mdettweiler [2013-02-14 00:09:51] 919*2^1241073-1 is not prime. Res64: FFC7D3FC5D9D2692 Time : 0.0 sec. user=mdettweiler [2013-02-14 00:27:17] 985*2^1241073-1 is not prime. Res64: 0B16476F848A9F0C Time : 0.0 sec. user=mdettweiler [2013-02-14 00:27:18] 885*2^1241074-1 is not prime. Res64: 4BCBB9FCA09E6314 Time : 0.0 sec. user=mdettweiler [2013-02-14 00:27:18] 815*2^1241074-1 is not prime. Res64: D0974B490975C81E Time : 0.0 sec. user=mdettweiler [2013-02-14 00:27:18] 887*2^1241074-1 is not prime. Res64: 78255DD8970318EB Time : 0.0 sec. user=mdettweiler [2013-02-14 00:44:41] 663*2^1241075-1 is not prime. Res64: 656A2FC5331E6188 Time : 0.0 sec. user=mdettweiler [2013-02-14 00:44:41] 733*2^1241075-1 is not prime. Res64: D78005607FFF5BBA Time : 0.0 sec. user=mdettweiler [2013-02-14 00:44:42] 819*2^1241075-1 is not prime. Res64: E28689B7D6AA7252 Time : 0.0 sec. user=mdettweiler [2013-02-14 00:44:43] 859*2^1241075-1 is not prime. Res64: 155B64F6C217BC81 Time : 0.0 sec. user=mdettweiler [2013-02-14 01:02:03] 909*2^1241075-1 is not prime. Res64: 4EC7E8A5B19EC77F Time : 0.0 sec. user=mdettweiler [2013-02-14 01:02:05] 609*2^1241076-1 is not prime. Res64: 9CC8F71869832433 Time : 0.0 sec. user=mdettweiler [2013-02-14 01:02:05] 759*2^1241076-1 is not prime. Res64: E8DAA38D23DAD79A Time : 0.0 sec. user=mdettweiler [2013-02-14 01:02:06] 773*2^1241076-1 is not prime. Res64: DB91E199C8795A32 Time : 0.0 sec. user=juhehe [2013-02-14 01:18:50] 923*2^1241074-1 is not prime. Res64: D6CA2B30B579ECB5 Time : 0.0 sec. user=mdettweiler [2013-02-14 01:19:32] 783*2^1241076-1 is not prime. Res64: DF52844AD2CBB01F Time : 0.0 sec. user=mdettweiler [2013-02-14 01:19:33] 789*2^1241076-1 is not prime. Res64: BE49B42D0ACA519F Time : 0.0 sec. user=mdettweiler [2013-02-14 01:19:34] 899*2^1241076-1 is not prime. Res64: C3E349FF8ABDECCA Time : 0.0 sec. user=mdettweiler [2013-02-14 01:19:35] 927*2^1241076-1 is not prime. Res64: C92DDC4A646622CD Time : 0.0 sec. user=mdettweiler [2013-02-14 01:36:56] 649*2^1241077-1 is not prime. Res64: 2F5D0549E2774787 Time : 0.0 sec. user=mdettweiler [2013-02-14 01:36:56] 687*2^1241077-1 is not prime. Res64: 48E32CC241C712BD Time : 0.0 sec. user=mdettweiler [2013-02-14 01:36:57] 717*2^1241077-1 is not prime. Res64: EEC87CD302481B87 Time : 0.0 sec. user=mdettweiler [2013-02-14 01:36:58] 775*2^1241077-1 is not prime. Res64: 60BECF75FB328656 Time : 0.0 sec. user=mdettweiler [2013-02-14 01:54:18] 831*2^1241077-1 is not prime. Res64: A6B18C43682FF08C Time : 0.0 sec. user=mdettweiler [2013-02-14 01:54:18] 871*2^1241077-1 is not prime. Res64: D1A75C788FD39884 Time : 0.0 sec. user=mdettweiler [2013-02-14 01:54:19] 627*2^1241078-1 is not prime. Res64: 2747DB1D15D94F1B Time : 0.0 sec. user=mdettweiler [2013-02-14 01:54:20] 663*2^1241078-1 is not prime. Res64: 75E190FB51A9885E Time : 0.0 sec. user=mdettweiler [2013-02-14 02:11:41] 665*2^1241078-1 is not prime. Res64: 8AE16BB425628253 Time : 0.0 sec. user=mdettweiler [2013-02-14 02:11:41] 731*2^1241078-1 is not prime. Res64: 5BDA7771675E9819 Time : 0.0 sec. user=mdettweiler [2013-02-14 02:11:41] 677*2^1241078-1 is not prime. Res64: 4366C9966E54305C Time : 0.0 sec. user=mdettweiler [2013-02-14 02:11:42] 825*2^1241078-1 is not prime. Res64: E47B671249FE9073 Time : 0.0 sec. user=mdettweiler [2013-02-14 02:29:05] 867*2^1241078-1 is not prime. Res64: F66947E0C75B5077 Time : 0.0 sec. user=mdettweiler [2013-02-14 02:29:05] 971*2^1241078-1 is not prime. Res64: 1852C3DB41278D22 Time : 0.0 sec. user=mdettweiler [2013-02-14 02:29:06] 1001*2^1241078-1 is not prime. Res64: CD5B2288CEB67F9C Time : 0.0 sec. user=mdettweiler [2013-02-14 02:29:06] 685*2^1241079-1 is not prime. Res64: 0534B5CAE4AB11BD Time : 0.0 sec. user=mdettweiler [2013-02-14 02:46:27] 793*2^1241079-1 is not prime. Res64: 04CB3B4CFBDF8C0D Time : 0.0 sec. user=mdettweiler [2013-02-14 02:46:28] 615*2^1241080-1 is not prime. Res64: 6B68CC25FDD3BD2A Time : 0.0 sec. user=mdettweiler [2013-02-14 02:46:28] 975*2^1241079-1 is not prime. Res64: 9C3EECEA22A441D7 Time : 0.0 sec. user=mdettweiler [2013-02-14 02:46:29] 839*2^1241080-1 is not prime. Res64: 49B63BB4DBEC273D Time : 0.0 sec. user=mdettweiler [2013-02-14 03:03:57] 957*2^1241080-1 is not prime. Res64: F1C78D6F967E42A1 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:03:57] 619*2^1241081-1 is not prime. Res64: 718FE3EFCB021CC7 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:03:58] 983*2^1241080-1 is not prime. Res64: 85D2580BB6E9FEAE Time : 0.0 sec. user=mdettweiler [2013-02-14 03:03:58] 637*2^1241081-1 is not prime. Res64: 120030E42E556698 Time : 0.0 sec. user=juhehe [2013-02-14 03:12:29] 691*2^1241079-1 is not prime. Res64: 6DDF221307503F37 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:21:23] 889*2^1241081-1 is not prime. Res64: 5CB058182961FA45 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:21:23] 713*2^1241082-1 is not prime. Res64: BBF25596927F6703 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:21:24] 977*2^1241082-1 is not prime. Res64: 24ECAF8190377B0B Time : 0.0 sec. user=mdettweiler [2013-02-14 03:21:24] 685*2^1241083-1 is not prime. Res64: 9763C299C2D241D3 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:38:46] 699*2^1241083-1 is not prime. Res64: EF93F4DAB785FEC0 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:38:46] 693*2^1241083-1 is not prime. Res64: 67BF0DCE4F508540 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:38:46] 723*2^1241083-1 is not prime. Res64: EEB25324F4BF5796 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:38:47] 811*2^1241083-1 is not prime. Res64: EF85E8BE920E2FFE Time : 0.0 sec. user=mdettweiler [2013-02-14 03:56:08] 895*2^1241083-1 is not prime. Res64: 5880BA1C0E16E6F5 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:56:09] 609*2^1241084-1 is not prime. Res64: 7FF066356B59A4EE Time : 0.0 sec. user=mdettweiler [2013-02-14 03:56:09] 833*2^1241084-1 is not prime. Res64: 83067A811DFF9251 Time : 0.0 sec. user=mdettweiler [2013-02-14 03:56:10] 843*2^1241084-1 is not prime. Res64: 6C8EA40CE1B0E8FE Time : 0.0 sec. user=juhehe [2013-02-14 04:03:14] 999*2^1241028-1 is not prime. Res64: DCD7CC17011AA726 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:13:31] 873*2^1241084-1 is not prime. Res64: 4B35BE1F838D7158 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:13:31] 903*2^1241084-1 is not prime. Res64: 738724EBD1554CEC Time : 0.0 sec. user=mdettweiler [2013-02-14 04:13:32] 923*2^1241084-1 is not prime. Res64: 22C1389CFB1B3F85 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:13:32] 691*2^1241085-1 is not prime. Res64: 0BA77EEE38175556 Time : 0.0 sec. user=juhehe [2013-02-14 04:23:49] 717*2^1241085-1 is not prime. Res64: EE11BD1371ED0BF8 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:25:44] 861*2^1241083-1 is not prime. Res64: F434A562AF241EFC Time : 0.0 sec. user=mdettweiler [2013-02-14 04:30:54] 861*2^1241085-1 is not prime. Res64: 8BE180BC7373F4BB Time : 0.0 sec. user=mdettweiler [2013-02-14 04:30:55] 927*2^1241085-1 is not prime. Res64: 322CA3F6273541E6 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:30:56] 975*2^1241085-1 is not prime. Res64: 1E0527DEE4420F34 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:30:58] 979*2^1241085-1 is not prime. Res64: A762C801EEE68344 Time : 0.0 sec. user=juhehe [2013-02-14 04:44:23] 825*2^1241086-1 is not prime. Res64: 656D75FFC0A7413F Time : 0.0 sec. user=mdettweiler [2013-02-14 04:48:19] 911*2^1241086-1 is not prime. Res64: E1CC8E3F11914685 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:48:20] 703*2^1241087-1 is not prime. Res64: A31A351C0AFB52F2 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:48:22] 729*2^1241087-1 is not prime. Res64: C7367C5EBC6E2A93 Time : 0.0 sec. user=mdettweiler [2013-02-14 04:48:22] 735*2^1241087-1 is not prime. Res64: E097D8615A68D4FA Time : 0.0 sec. user=juhehe [2013-02-14 05:04:34] 775*2^1241087-1 is not prime. Res64: E3DB9E69CF2FD19A Time : 0.0 sec. user=mdettweiler [2013-02-14 05:05:41] 805*2^1241087-1 is not prime. Res64: F9D78A79EBB146BC Time : 0.0 sec. user=mdettweiler [2013-02-14 05:05:42] 825*2^1241087-1 is not prime. Res64: F430A166B269775A Time : 0.0 sec. user=mdettweiler [2013-02-14 05:05:44] 973*2^1241087-1 is not prime. Res64: 2A387349D66F5E90 Time : 0.0 sec. user=mdettweiler [2013-02-14 05:05:45] 669*2^1241088-1 is not prime. Res64: 4979754F69F766F1 Time : 0.0 sec. user=juhehe [2013-02-14 05:06:19] 847*2^1241085-1 is not prime. Res64: AB7C021894D4DD04 Time : 0.0 sec. user=mdettweiler [2013-02-14 05:23:04] 723*2^1241088-1 is not prime. Res64: AEB78D3C4E889E7F Time : 0.0 sec. user=mdettweiler [2013-02-14 05:23:05] 735*2^1241088-1 is not prime. Res64: 4D00D3C5600F129F Time : 0.0 sec. user=mdettweiler [2013-02-14 05:23:07] 747*2^1241088-1 is not prime. Res64: 002F77C8F9839357 Time : 0.0 sec. user=mdettweiler [2013-02-14 05:23:08] 767*2^1241088-1 is not prime. Res64: C70466D214E36255 Time : 0.0 sec. user=juhehe [2013-02-14 05:24:46] 713*2^1241088-1 is not prime. Res64: 7BC37B9E97CF8EA2 Time : 0.0 sec. user=mdettweiler [2013-02-14 05:40:27] 789*2^1241088-1 is not prime. Res64: F1EC15B0BCD0FBDC Time : 0.0 sec. user=mdettweiler [2013-02-14 05:40:27] 899*2^1241088-1 is not prime. Res64: BCB9E47ECAFD156B Time : 0.0 sec. user=mdettweiler [2013-02-14 05:40:29] 977*2^1241088-1 is not prime. Res64: BA487673C6667CC8 Time : 0.0 sec. user=mdettweiler [2013-02-14 05:40:30] 667*2^1241089-1 is not prime. Res64: CB91B8E958451689 Time : 0.0 sec. user=juhehe [2013-02-14 05:44:58] 729*2^1241089-1 is not prime. Res64: A2DF45AE6E4C3A3A Time : 0.0 sec. user=mdettweiler [2013-02-14 05:57:49] 771*2^1241089-1 is not prime. Res64: 758F6321BAB3B7A2 Time : 0.0 sec. user=mdettweiler [2013-02-14 05:57:49] 811*2^1241089-1 is not prime. Res64: C4A09DE52FC490F6 Time : 0.0 sec. user=mdettweiler [2013-02-14 05:57:51] 897*2^1241089-1 is not prime. Res64: C40CA9A5F6D8204E Time : 0.0 sec. user=mdettweiler [2013-02-14 05:57:52] 957*2^1241089-1 is not prime. Res64: BCE7DCFD72A06477 Time : 0.0 sec. user=juhehe [2013-02-14 06:05:09] 827*2^1241090-1 is not prime. Res64: D8E1A7716C50A14E Time : 0.0 sec. user=mdettweiler [2013-02-14 06:15:11] 941*2^1241090-1 is not prime. Res64: B0A2F30353F8D811 Time : 0.0 sec. user=mdettweiler [2013-02-14 06:15:11] 977*2^1241090-1 is not prime. Res64: E3B48859525819A8 Time : 0.0 sec. user=mdettweiler [2013-02-14 06:15:13] 601*2^1241091-1 is not prime. Res64: C12678D1773176C9 Time : 0.0 sec. user=mdettweiler [2013-02-14 06:15:14] 705*2^1241091-1 is not prime. Res64: 11C93A579D87807A Time : 0.0 sec. user=juhehe [2013-02-14 06:25:20] 781*2^1241091-1 is not prime. Res64: DC0764A049A9EDDB Time : 0.0 sec. user=mdettweiler [2013-02-14 06:32:33] 819*2^1241091-1 is not prime. Res64: 9027825441F06178 Time : 0.0 sec. user=mdettweiler [2013-02-14 06:32:34] 885*2^1241091-1 is not prime. Res64: 04B24515BE8CD32F Time : 0.0 sec. user=mdettweiler [2013-02-14 06:32:35] 921*2^1241091-1 is not prime. Res64: 5B05874CE7A28B62 Time : 0.0 sec. user=mdettweiler [2013-02-14 06:32:36] 991*2^1241091-1 is not prime. Res64: 27D29DEB508F3E2F Time : 0.0 sec. user=juhehe [2013-02-14 06:45:31] 639*2^1241092-1 is not prime. Res64: 531E82980BB3C3BF Time : 0.0 sec. user=mdettweiler [2013-02-14 06:49:55] 735*2^1241092-1 is not prime. Res64: 4636C6395D0C228C Time : 0.0 sec. user=mdettweiler [2013-02-14 06:49:56] 819*2^1241092-1 is not prime. Res64: 2A665819877CB7B2 Time : 0.0 sec. user=mdettweiler [2013-02-14 06:49:57] 863*2^1241092-1 is not prime. Res64: 2E923D2A8CF74D43 Time : 0.0 sec. user=mdettweiler [2013-02-14 06:49:58] 619*2^1241093-1 is not prime. Res64: A2EEE4A0CD65F4D1 Time : 0.0 sec. user=juhehe [2013-02-14 06:59:36] 751*2^1241091-1 is not prime. Res64: 2EC3A286FB0EDED3 Time : 0.0 sec. user=juhehe [2013-02-14 07:05:42] 627*2^1241093-1 is not prime. Res64: 5B3AECD7BE91F7A0 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:07:18] 691*2^1241093-1 is not prime. Res64: AEED6707AE4EA605 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:07:19] 847*2^1241093-1 is not prime. Res64: 697C1C649F06E61A Time : 0.0 sec. user=mdettweiler [2013-02-14 07:07:20] 871*2^1241093-1 is not prime. Res64: 5C23189DA4B6A02D Time : 0.0 sec. user=mdettweiler [2013-02-14 07:07:21] 657*2^1241094-1 is not prime. Res64: 57DFDE2E1EF0BFA4 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:24:45] 717*2^1241094-1 is not prime. Res64: BC612372F8286D3E Time : 0.0 sec. user=mdettweiler [2013-02-14 07:24:46] 725*2^1241094-1 is not prime. Res64: 49EB580AF47D1BBE Time : 0.0 sec. user=mdettweiler [2013-02-14 07:24:48] 807*2^1241094-1 is not prime. Res64: 2F26A8740F98B660 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:24:48] 833*2^1241094-1 is not prime. Res64: D6A77DCF11DC3827 Time : 0.0 sec. user=juhehe [2013-02-14 07:25:57] 671*2^1241094-1 is not prime. Res64: B635A3628EF8C274 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:42:08] 993*2^1241094-1 is not prime. Res64: 94DDF7DF134B9056 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:42:09] 741*2^1241095-1 is not prime. Res64: 7858488E32F36C42 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:42:10] 793*2^1241095-1 is not prime. Res64: 1FE71E2E2749FC59 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:42:10] 829*2^1241095-1 is not prime. Res64: 40A52F4B134DD2A0 Time : 0.0 sec. user=juhehe [2013-02-14 07:46:05] 871*2^1241095-1 is not prime. Res64: CBC11328406FFD78 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:59:31] 963*2^1241096-1 is not prime. Res64: 6B7E268EF5E5C3CA Time : 0.0 sec. user=mdettweiler [2013-02-14 07:59:31] 909*2^1241095-1 is not prime. Res64: FDF405797A94C621 Time : 0.0 sec. user=mdettweiler [2013-02-14 07:59:31] 999*2^1241096-1 is not prime. Res64: C9500FE3AC0A810E Time : 0.0 sec. user=mdettweiler [2013-02-14 07:59:31] 973*2^1241095-1 is not prime. Res64: FF118DE6DCFDE9AC Time : 0.0 sec. user=juhehe [2013-02-14 08:06:19] 615*2^1241097-1 is not prime. Res64: 63113112A13A8F96 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:16:52] 741*2^1241097-1 is not prime. Res64: AE030E50A37666D7 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:16:52] 781*2^1241097-1 is not prime. Res64: 2EDA214CE5CD74B1 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:16:54] 885*2^1241097-1 is not prime. Res64: B432D0213F38B6C0 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:16:54] 919*2^1241097-1 is not prime. Res64: 06D69E3D6CB6DDE9 Time : 0.0 sec. user=juhehe [2013-02-14 08:26:30] 975*2^1241097-1 is not prime. Res64: 986393A99F2EADC4 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:34:14] 991*2^1241097-1 is not prime. Res64: A076201C83625D09 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:34:15] 647*2^1241098-1 is not prime. Res64: 75CCEB1684336D19 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:34:15] 665*2^1241098-1 is not prime. Res64: 83C445B2BD49EF45 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:34:16] 681*2^1241098-1 is not prime. Res64: D037CA86D172E08F Time : 0.0 sec. user=juhehe [2013-02-14 08:46:40] 765*2^1241098-1 is not prime. Res64: EC454A81FCA00141 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:51:36] 815*2^1241098-1 is not prime. Res64: 7B7CFF38DE2A853E Time : 0.0 sec. user=mdettweiler [2013-02-14 08:51:37] 861*2^1241098-1 is not prime. Res64: FFFF19B790D192C1 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:51:38] 887*2^1241098-1 is not prime. Res64: CAB90D0A10BEC078 Time : 0.0 sec. user=mdettweiler [2013-02-14 08:51:38] 923*2^1241098-1 is not prime. Res64: C24BCC57DAB3B44C Time : 0.0 sec. user=juhehe [2013-02-14 08:52:47] 661*2^1241097-1 is not prime. Res64: BB37D10CF88206DF Time : 0.0 sec. user=mdettweiler [2013-02-14 09:08:58] 685*2^1241099-1 is not prime. Res64: 25DF072774065976 Time : 0.0 sec. user=mdettweiler [2013-02-14 09:08:59] 735*2^1241099-1 is not prime. Res64: 56EE5E4E8095D79F Time : 0.0 sec. user=mdettweiler [2013-02-14 09:09:00] 825*2^1241099-1 is not prime. Res64: 1DA0E84FDFA25850 Time : 0.0 sec. user=mdettweiler [2013-02-14 09:09:01] 861*2^1241099-1 is not prime. Res64: 9DD198758EA9D954 Time : 0.0 sec. user=juhehe [2013-02-14 09:09:52] 995*2^1241098-1 is not prime. Res64: D4697EA4284CB8A5 Time : 0.0 sec. user=mdettweiler [2013-02-14 09:26:28] 879*2^1241099-1 is not prime. Res64: F2C7FB00E44F5BA9 Time : 0.0 sec. user=mdettweiler [2013-02-14 09:26:28] 955*2^1241099-1 is not prime. Res64: 03A8980242B2AD7E Time : 0.0 sec. user=mdettweiler [2013-02-14 09:26:30] 993*2^1241099-1 is not prime. Res64: 5078E31343062335 Time : 0.0 sec. user=mdettweiler [2013-02-14 09:26:30] 635*2^1241100-1 is not prime. Res64: 9518E98115B2FC7B Time : 0.0 sec. user=juhehe [2013-02-14 09:30:07] 957*2^1241100-1 is not prime. Res64: A6D878EE6625BC0E Time : 0.0 sec. user=mdettweiler [2013-02-14 09:43:50] 999*2^1241100-1 is not prime. Res64: 2F4D37DCF6CBE55C Time : 0.0 sec. user=mdettweiler [2013-02-14 09:43:50] 757*2^1241101-1 is not prime. Res64: 54D6751B9310C936 Time : 0.0 sec. user=mdettweiler [2013-02-14 09:43:54] 945*2^1241101-1 is not prime. Res64: D810401C759B8A08 Time : 0.0 sec. user=mdettweiler [2013-02-14 09:43:55] 975*2^1241101-1 is not prime. Res64: 4039AB891E94E5A1 Time : 0.0 sec. user=mdettweiler [2013-02-14 10:50:29] 665*2^1241102-1 is not prime. Res64: 4007E1422D1142B4 Time : 0.0 sec. user=mdettweiler [2013-02-14 10:50:29] 683*2^1241102-1 is not prime. Res64: 1082BCDAA8F276E2 Time : 0.0 sec. user=mdettweiler [2013-02-14 10:50:32] 705*2^1241102-1 is not prime. Res64: D0635020F5CC4A5A Time : 0.0 sec. user=mdettweiler [2013-02-14 10:50:32] 711*2^1241102-1 is not prime. Res64: D83FA66862FF474A Time : 0.0 sec. user=juhehe [2013-02-14 17:10:27] 743*2^1241102-1 is not prime. Res64: 97F4ADCCFAFB29BA Time : 0.0 sec. user=juhehe [2013-02-14 20:45:02] 621*2^1241103-1 is not prime. Res64: 04E45337952D6C7D Time : 0.0 sec. user=mdettweiler [2013-02-14 21:10:25] 825*2^1241102-1 is not prime. Res64: D457A4C5418239CE Time : 0.0 sec. user=mdettweiler [2013-02-14 21:10:26] 867*2^1241102-1 is not prime. Res64: 76F6ABB421BE448F Time : 0.0 sec. user=mdettweiler [2013-02-14 21:10:27] 981*2^1241102-1 is not prime. Res64: F1CC9A1ADC41783E Time : 0.0 sec. user=mdettweiler [2013-02-14 21:10:28] 1001*2^1241102-1 is not prime. Res64: 278746599C763BF6 Time : 0.0 sec. user=mdettweiler [2013-02-14 22:18:55] 691*2^1241103-1 is not prime. Res64: C97CDDDC25BA7703 Time : 0.0 sec. user=mdettweiler [2013-02-14 22:18:56] 743*2^1241104-1 is not prime. Res64: 7C87D7A61C9876ED Time : 0.0 sec. user=mdettweiler [2013-02-14 22:19:00] 807*2^1241104-1 is not prime. Res64: CE81C9BEBD1302A7 Time : 0.0 sec. user=mdettweiler [2013-02-14 22:19:01] 905*2^1241104-1 is not prime. Res64: 3E6CB5FFE9359FBF Time : 0.0 sec. user=juhehe [2013-02-14 22:45:52] 983*2^1241104-1 is not prime. Res64: 1CE1D67F346C79F3 Time : 0.0 sec.