user=mdettweiler
[2013-04-16 00:11:52]
873*2^1244666-1 is not prime.  Res64: 8DC6D7F5DFA3BA68  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:11:53]
875*2^1244666-1 is not prime.  Res64: FA79B377C8A24A86  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:15:55]
887*2^1244666-1 is not prime.  Res64: 10CD2CBBE8594909  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:15:55]
945*2^1244666-1 is not prime.  Res64: 16FBF07D3AEDE191  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:29:47]
621*2^1244667-1 is not prime.  Res64: D3868BB57669CE4A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:29:47]
703*2^1244667-1 is not prime.  Res64: 701F67EDCB34138C  Time : 0.0 sec.
user=juhehe
[2013-04-16 00:32:55]
895*2^1244665-1 is not prime.  Res64: 11584526698DC549  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:33:51]
879*2^1244667-1 is not prime.  Res64: C6157255F6001B41  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:33:51]
903*2^1244667-1 is not prime.  Res64: AC4FEF3215C02DEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:47:34]
863*2^1244668-1 is not prime.  Res64: E0F07A5D7D69C4E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:47:35]
869*2^1244668-1 is not prime.  Res64: E7F4A908D3EE8E28  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:51:26]
685*2^1244669-1 is not prime.  Res64: 6C8789C5E4927ADE  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 00:51:26]
831*2^1244669-1 is not prime.  Res64: EB53281DC86FEC19  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:05:04]
837*2^1244669-1 is not prime.  Res64: DD89A1147CBF270E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:05:05]
969*2^1244669-1 is not prime.  Res64: 59C4ED5D8008F494  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:08:54]
647*2^1244670-1 is not prime.  Res64: 413229EF56451147  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:08:55]
723*2^1244670-1 is not prime.  Res64: 3F25B83B20DCE3B4  Time : 0.0 sec.
user=juhehe
[2013-04-16 01:20:03]
983*2^1244666-1 is not prime.  Res64: E823F6633D9D3A4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:22:35]
821*2^1244670-1 is not prime.  Res64: 33D064004F427C66  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:22:36]
893*2^1244670-1 is not prime.  Res64: 7C26E2205E45D7F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:26:21]
917*2^1244670-1 is not prime.  Res64: A6E46A6695361751  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:26:22]
921*2^1244670-1 is not prime.  Res64: 3BB1200C8FAD4463  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:40:04]
933*2^1244670-1 is not prime.  Res64: 8F30B8FD9F1D5B67  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:40:04]
951*2^1244670-1 is not prime.  Res64: B55828319B23CC24  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:43:47]
977*2^1244670-1 is not prime.  Res64: 2F2C62AFD34BC965  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:43:47]
705*2^1244671-1 is not prime.  Res64: C4D465BB15492AE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:57:31]
771*2^1244671-1 is not prime.  Res64: 349AD117E1F9FA84  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 01:57:32]
883*2^1244671-1 is not prime.  Res64: 08C9A52687CCD06A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:01:13]
951*2^1244671-1 is not prime.  Res64: 27BE095C946F1CFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:01:14]
617*2^1244672-1 is not prime.  Res64: 1A69A66C1F19AF72  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:14:59]
623*2^1244672-1 is not prime.  Res64: 31EF4BBAA2F31826  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:15:00]
689*2^1244672-1 is not prime.  Res64: 2A73B1A43A38049D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:18:40]
693*2^1244672-1 is not prime.  Res64: 09B936658F7B59E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:18:40]
915*2^1244672-1 is not prime.  Res64: D9C7C06EC37A5007  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:32:34]
609*2^1244673-1 is not prime.  Res64: FEE89A5A678B1EFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:32:35]
811*2^1244673-1 is not prime.  Res64: F6992A13061C366F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:36:07]
849*2^1244673-1 is not prime.  Res64: 2CF31FCB7D82E136  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:36:08]
867*2^1244673-1 is not prime.  Res64: F59291C9F1238EAA  Time : 0.0 sec.
user=juhehe
[2013-04-16 02:36:09]
769*2^1244671-1 is not prime.  Res64: FA60C8066F8BA2C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:50:06]
901*2^1244673-1 is not prime.  Res64: 8AAA74290EDB7B8F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:50:07]
605*2^1244674-1 is not prime.  Res64: 77ABB7A70A201510  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:53:35]
633*2^1244674-1 is not prime.  Res64: 3608E6D58F20F666  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 02:53:35]
773*2^1244674-1 is not prime.  Res64: E4BCD6B83300FEFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:07:39]
815*2^1244674-1 is not prime.  Res64: 503EC32AC0416FB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:07:40]
951*2^1244674-1 is not prime.  Res64: DB946D34F3CB1422  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:11:02]
983*2^1244674-1 is not prime.  Res64: 4D599EFAAF7E7AC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:11:03]
673*2^1244675-1 is not prime.  Res64: 16FC352CA81A9EC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:25:10]
783*2^1244675-1 is not prime.  Res64: 578F3EE2534B3EA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:25:11]
855*2^1244675-1 is not prime.  Res64: B83AA49A2F8F3FD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:28:29]
885*2^1244675-1 is not prime.  Res64: 51CD3F959F6C08D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:28:29]
669*2^1244676-1 is not prime.  Res64: 0D639DE7DC6CD02F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:42:37]
759*2^1244676-1 is not prime.  Res64: A3FB00F0C1FFB067  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:42:38]
773*2^1244676-1 is not prime.  Res64: 60384A23CDB6A236  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:45:55]
779*2^1244676-1 is not prime.  Res64: E280C0D882338FD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 03:45:55]
789*2^1244676-1 is not prime.  Res64: 362CFDB03A431AA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:00:04]
845*2^1244676-1 is not prime.  Res64: 4980259E2BCC313A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:00:05]
947*2^1244676-1 is not prime.  Res64: 7F12A52CD99193DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:03:22]
607*2^1244677-1 is not prime.  Res64: 24D1C966FC9DAFD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:03:23]
805*2^1244677-1 is not prime.  Res64: 79FCEFD627B524F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:17:34]
817*2^1244677-1 is not prime.  Res64: F0925DB4377BB3BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:17:35]
885*2^1244677-1 is not prime.  Res64: BAA6C0DE7EF5AC47  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:20:51]
641*2^1244678-1 is not prime.  Res64: 70538E2B55D9B0A1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:20:52]
693*2^1244678-1 is not prime.  Res64: 7310CBA991AE43C6  Time : 0.0 sec.
user=juhehe
[2013-04-16 04:22:40]
683*2^1244676-1 is not prime.  Res64: D88E122BFAAFCC46  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:35:02]
743*2^1244678-1 is not prime.  Res64: AAF920FA4086DE37  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:35:02]
827*2^1244678-1 is not prime.  Res64: 8F7E4E378D18271C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:38:17]
857*2^1244678-1 is not prime.  Res64: BFC76FB0A284ED66  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:38:18]
893*2^1244678-1 is not prime.  Res64: E53E0D98B2B01B82  Time : 0.0 sec.
user=juhehe
[2013-04-16 04:39:10]
837*2^1244676-1 is not prime.  Res64: F900DCB8C0B7F93D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:52:28]
897*2^1244678-1 is not prime.  Res64: 9A2812AA0E702D0B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:52:29]
923*2^1244678-1 is not prime.  Res64: 0EC4C4C3578C7F4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:55:42]
935*2^1244678-1 is not prime.  Res64: C81C60EA3FE61ED0  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 04:55:43]
941*2^1244678-1 is not prime.  Res64: 96AAEEED65D54345  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:09:55]
649*2^1244679-1 is not prime.  Res64: 681C953ACD163D9A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:09:56]
693*2^1244679-1 is not prime.  Res64: D8C7C482072BFF3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:13:08]
703*2^1244679-1 is not prime.  Res64: 6D46F847FFE65D5B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:13:08]
735*2^1244679-1 is not prime.  Res64: 686F9257D5C4B5AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:27:23]
891*2^1244679-1 is not prime.  Res64: B4D10548FC35361A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:27:24]
919*2^1244679-1 is not prime.  Res64: DB6B8894C2DF5899  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:30:34]
979*2^1244679-1 is not prime.  Res64: DB490D75173BF8C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:30:35]
663*2^1244680-1 is not prime.  Res64: 9513E2E3E8A4FDF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:44:49]
719*2^1244680-1 is not prime.  Res64: 9E9789EC6D452AB7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:44:50]
785*2^1244680-1 is not prime.  Res64: 618025F748A9B7D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:48:00]
843*2^1244680-1 is not prime.  Res64: D5EBFEEF6FEC5AD2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 05:48:01]
887*2^1244680-1 is not prime.  Res64: F3A079604819B094  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:02:15]
975*2^1244680-1 is not prime.  Res64: 15C5A70A082148F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:02:17]
795*2^1244681-1 is not prime.  Res64: E82CA61FF378D4BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:05:25]
829*2^1244681-1 is not prime.  Res64: 941E390C4242CB76  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:05:27]
611*2^1244682-1 is not prime.  Res64: D68692D84763FC34  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:19:53]
633*2^1244682-1 is not prime.  Res64: B6F6B17E1722C32C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:19:54]
635*2^1244682-1 is not prime.  Res64: 7F70B0C1E3ADBC3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:22:54]
695*2^1244682-1 is not prime.  Res64: 65BD900D689AF8F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:22:55]
791*2^1244682-1 is not prime.  Res64: 7FBCD734F43B8BDC  Time : 0.0 sec.
user=juhehe
[2013-04-16 06:25:27]
695*2^1244680-1 is not prime.  Res64: 8A44DB9C2E87441C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:37:39]
801*2^1244682-1 is not prime.  Res64: 42C5326A8C66C8E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:37:40]
825*2^1244682-1 is not prime.  Res64: 9D7357860760A89D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:40:22]
833*2^1244682-1 is not prime.  Res64: 680A81B28F2A26CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:40:22]
867*2^1244682-1 is not prime.  Res64: 1C8B79D38D6E2C7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:55:05]
891*2^1244682-1 is not prime.  Res64: 95D3E3105F2E1EA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:55:06]
977*2^1244682-1 is not prime.  Res64: 7A097B5933FFB528  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:57:47]
885*2^1244683-1 is not prime.  Res64: E4C89FA7DD32E6DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 06:57:48]
945*2^1244683-1 is not prime.  Res64: 53B6C8A32762390C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:12:37]
819*2^1244684-1 is not prime.  Res64: E116A77AF95BA40E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:12:37]
669*2^1244685-1 is not prime.  Res64: E5DD6DE79C192227  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:15:20]
685*2^1244685-1 is not prime.  Res64: B1FB0E640D600DBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:15:20]
795*2^1244685-1 is not prime.  Res64: E9D27890E687BD62  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:30:14]
825*2^1244685-1 is not prime.  Res64: 35E8D7D3BDA2EBE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:30:15]
895*2^1244685-1 is not prime.  Res64: 094134F2E178DE60  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:32:53]
979*2^1244685-1 is not prime.  Res64: 9605E0844D2507FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:32:53]
991*2^1244685-1 is not prime.  Res64: 17E93EBFE0043D1C  Time : 0.0 sec.
user=juhehe
[2013-04-16 07:42:22]
609*2^1244683-1 is not prime.  Res64: C08E390635783784  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:47:44]
635*2^1244686-1 is not prime.  Res64: D62400FF6F8911EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:47:44]
645*2^1244686-1 is not prime.  Res64: 19362B44C443A8AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:50:21]
675*2^1244686-1 is not prime.  Res64: C6C07AA653AE0FE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 07:50:22]
765*2^1244686-1 is not prime.  Res64: 6AE5752F550465BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:05:13]
777*2^1244686-1 is not prime.  Res64: 03446D22D5AF5D51  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:05:15]
813*2^1244686-1 is not prime.  Res64: B2BAF5D8F881DF22  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:07:49]
903*2^1244686-1 is not prime.  Res64: C8D629C5470D92FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:07:51]
917*2^1244686-1 is not prime.  Res64: C1C78D347B1E4FE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:22:50]
601*2^1244687-1 is not prime.  Res64: BA6FCAFD85AB0954  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:22:51]
693*2^1244687-1 is not prime.  Res64: D71BC65D87FB20D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:25:20]
883*2^1244687-1 is not prime.  Res64: 79BAD575D6712055  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:25:21]
825*2^1244688-1 is not prime.  Res64: AE939C285DF99CC1  Time : 0.0 sec.
user=juhehe
[2013-04-16 08:27:57]
617*2^1244686-1 is not prime.  Res64: 53EEEA52C64217F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:40:21]
849*2^1244688-1 is not prime.  Res64: 4EB76DCA5D5DCF48  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:40:22]
945*2^1244688-1 is not prime.  Res64: BB155D69D3D3CC80  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:42:49]
969*2^1244688-1 is not prime.  Res64: 19A0EC13EE5FBE9A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:42:49]
649*2^1244689-1 is not prime.  Res64: CAC46E8DE572070D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:57:51]
751*2^1244689-1 is not prime.  Res64: A9602F1747EE38BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 08:57:51]
801*2^1244689-1 is not prime.  Res64: 5DAFEF82BAD7EA8F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:00:17]
651*2^1244690-1 is not prime.  Res64: 76324E62D7A951B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:00:18]
713*2^1244690-1 is not prime.  Res64: 08F2606481C625A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:15:20]
783*2^1244690-1 is not prime.  Res64: FD7898F864371B02  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:15:21]
833*2^1244690-1 is not prime.  Res64: E33FB67CCA85858E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:17:47]
609*2^1244691-1 is not prime.  Res64: 94FA0D3EA3FFCE63  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:17:47]
741*2^1244691-1 is not prime.  Res64: 7554DEB487195128  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:32:52]
991*2^1244691-1 is not prime.  Res64: 6C6730529CEA214E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:32:53]
999*2^1244691-1 is not prime.  Res64: AAF0D6B77ED68B24  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:35:15]
705*2^1244692-1 is not prime.  Res64: 1C8C25260E572E05  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:35:16]
735*2^1244692-1 is not prime.  Res64: 2C5D572BD5D53E1E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:50:21]
827*2^1244692-1 is not prime.  Res64: D70FE4120AB70CF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:50:22]
621*2^1244693-1 is not prime.  Res64: 81C9DBB8446BEF9D  Time : 0.0 sec.
user=juhehe
[2013-04-16 09:51:30]
987*2^1244689-1 is not prime.  Res64: C0B2C99F82C135E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:52:45]
631*2^1244693-1 is not prime.  Res64: C92835300AFA7A5D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 09:52:45]
699*2^1244693-1 is not prime.  Res64: EA5D804593419DB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:07:51]
735*2^1244693-1 is not prime.  Res64: 241F97BDAE04CFFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:07:52]
775*2^1244693-1 is not prime.  Res64: 4F294CE5E66B50F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:10:13]
805*2^1244693-1 is not prime.  Res64: E8F248807A0FE251  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:10:14]
819*2^1244693-1 is not prime.  Res64: AC2798FFEBB7CDED  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:25:25]
829*2^1244693-1 is not prime.  Res64: 2F25278A25A70918  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:25:25]
837*2^1244693-1 is not prime.  Res64: A367030A5889BD0B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:27:42]
937*2^1244693-1 is not prime.  Res64: 1F15613684C59F94  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:27:43]
951*2^1244693-1 is not prime.  Res64: 922E904869409FF3  Time : 0.0 sec.
user=juhehe
[2013-04-16 10:31:17]
759*2^1244692-1 is not prime.  Res64: 8DA9B275A6FE1474  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:42:57]
663*2^1244694-1 is not prime.  Res64: 1BEC4C17C3031964  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:42:57]
741*2^1244694-1 is not prime.  Res64: 4F516A1A7A1422F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:45:11]
755*2^1244694-1 is not prime.  Res64: 4AE1BFDF05D6DF0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 10:45:12]
851*2^1244694-1 is not prime.  Res64: 8871D8E556A100BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:00:27]
893*2^1244694-1 is not prime.  Res64: DEB6561761F8640B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:00:29]
951*2^1244694-1 is not prime.  Res64: 357DACB06937C9FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:02:40]
971*2^1244694-1 is not prime.  Res64: 308FD4B36FC6871D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:02:41]
625*2^1244695-1 is not prime.  Res64: 0DD0BD34845080CA  Time : 0.0 sec.
user=juhehe
[2013-04-16 11:17:46]
793*2^1244695-1 is not prime.  Res64: 512AC4C97FFC485C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:18:16]
853*2^1244695-1 is not prime.  Res64: 2E88AFCE639CCF25  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:18:17]
885*2^1244695-1 is not prime.  Res64: 6F88392A8513B2E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:20:20]
677*2^1244696-1 is not prime.  Res64: 8F008E4EB8BA1730  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:20:21]
743*2^1244696-1 is not prime.  Res64: FA4F0CB11EAC70C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:35:58]
667*2^1244697-1 is not prime.  Res64: E181E4F3F7683DC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:35:58]
747*2^1244697-1 is not prime.  Res64: 51255E7265101010  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:38:03]
937*2^1244697-1 is not prime.  Res64: 941B273344DFAB4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:38:03]
663*2^1244698-1 is not prime.  Res64: D356B15D1693F140  Time : 0.0 sec.
user=juhehe
[2013-04-16 11:42:53]
875*2^1244696-1 is not prime.  Res64: 7DE0FF60EDA215AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:53:37]
743*2^1244698-1 is not prime.  Res64: 64CD3121FAA71938  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:53:37]
755*2^1244698-1 is not prime.  Res64: C4AD0E8828E8055C  Time : 0.0 sec.
user=juhehe
[2013-04-16 11:54:04]
759*2^1244695-1 is not prime.  Res64: 1C2ECC45E4B9B3AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:55:42]
791*2^1244698-1 is not prime.  Res64: 441EB5BC300AA937  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 11:55:43]
803*2^1244698-1 is not prime.  Res64: A1C286D3E5A5C4CB  Time : 0.0 sec.
user=juhehe
[2013-04-16 12:07:35]
833*2^1244698-1 is not prime.  Res64: B60F76660F001D6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:11:16]
845*2^1244698-1 is not prime.  Res64: CFE5C9034E8CDC99  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:11:17]
891*2^1244698-1 is not prime.  Res64: 41FA2CDB339A5104  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:13:21]
987*2^1244698-1 is not prime.  Res64: A8084B869071F920  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:13:22]
601*2^1244699-1 is not prime.  Res64: D2C6F4DFCA79D8D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:29:09]
733*2^1244699-1 is not prime.  Res64: A303A55182759B57  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:29:10]
799*2^1244699-1 is not prime.  Res64: 2D535416EC96BA29  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:31:14]
801*2^1244699-1 is not prime.  Res64: 6BFDDC9671C29F80  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:31:14]
859*2^1244699-1 is not prime.  Res64: DED5D590D8A6927D  Time : 0.0 sec.
user=juhehe
[2013-04-16 12:32:19]
649*2^1244699-1 is not prime.  Res64: C30D77154493C732  Time : 0.0 sec.
user=juhehe
[2013-04-16 12:34:03]
671*2^1244698-1 is not prime.  Res64: C7651361CAFE317C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:47:11]
909*2^1244699-1 is not prime.  Res64: 7975D703C96A1F43  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:47:12]
695*2^1244700-1 is not prime.  Res64: 5A4ACEEC3FE21DAC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:49:07]
779*2^1244700-1 is not prime.  Res64: 578B6C77D3E869B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 12:49:08]
797*2^1244700-1 is not prime.  Res64: 925F95757BCDE12A  Time : 0.0 sec.
user=juhehe
[2013-04-16 12:57:03]
839*2^1244700-1 is not prime.  Res64: 5B2B961058C8A321  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:04:54]
867*2^1244700-1 is not prime.  Res64: FE138497F2453310  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:04:54]
945*2^1244700-1 is not prime.  Res64: DC168FB3C93E5DC9  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:06:50]
959*2^1244700-1 is not prime.  Res64: E136CBCF0816F744  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:06:51]
741*2^1244701-1 is not prime.  Res64: 75B3F095ED4718BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:22:38]
617*2^1244702-1 is not prime.  Res64: EC07852FC32FE3DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:22:38]
635*2^1244702-1 is not prime.  Res64: ADE2712DC9DA2157  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:24:32]
645*2^1244702-1 is not prime.  Res64: 5080AB46E2927523  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:24:32]
771*2^1244702-1 is not prime.  Res64: C5F11F6E57B6554F  Time : 0.0 sec.
user=juhehe
[2013-04-16 13:25:59]
967*2^1244701-1 is not prime.  Res64: 8F9568A144DFDB68  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:40:16]
831*2^1244702-1 is not prime.  Res64: E35560630F39E9B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:40:16]
903*2^1244702-1 is not prime.  Res64: 6DD046516F976464  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:42:09]
915*2^1244702-1 is not prime.  Res64: 66C7ED2CA06E9E91  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:42:10]
669*2^1244703-1 is not prime.  Res64: FF9B507B4A606DCB  Time : 0.0 sec.
user=juhehe
[2013-04-16 13:56:44]
877*2^1244701-1 is not prime.  Res64: ECAD8A65B857ED5C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:57:54]
789*2^1244703-1 is not prime.  Res64: 5F1CD6C13F4AF860  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:57:54]
823*2^1244703-1 is not prime.  Res64: 455493E161CC0264  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:59:47]
825*2^1244703-1 is not prime.  Res64: D1C4E36594D6E1EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 13:59:48]
871*2^1244703-1 is not prime.  Res64: 9C65D8957203D510  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:15:32]
879*2^1244703-1 is not prime.  Res64: E108AAE9EDC62453  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:15:32]
921*2^1244703-1 is not prime.  Res64: 6083229F25321706  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:17:25]
961*2^1244703-1 is not prime.  Res64: 30CEFA911320419C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:17:25]
609*2^1244704-1 is not prime.  Res64: 36331D61412AF884  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:33:20]
635*2^1244704-1 is not prime.  Res64: 19C2683B061325F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:33:20]
869*2^1244704-1 is not prime.  Res64: 9599FC8FEE5ECEB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:35:11]
909*2^1244704-1 is not prime.  Res64: 362910F4C3E4BE99  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:35:12]
721*2^1244705-1 is not prime.  Res64: BC0CCCEF1E81F0F7  Time : 0.0 sec.
user=juhehe
[2013-04-16 14:37:19]
769*2^1244703-1 is not prime.  Res64: F8F8869DBDE7E4D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:51:12]
759*2^1244705-1 is not prime.  Res64: A8BEECE44CC66E04  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:51:13]
805*2^1244705-1 is not prime.  Res64: 3FAAC1907F1F914C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:53:03]
885*2^1244705-1 is not prime.  Res64: 5AF4CE25352B6758  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 14:53:04]
909*2^1244705-1 is not prime.  Res64: BD88BA1CED6D7EC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:09:04]
979*2^1244705-1 is not prime.  Res64: FD97AF0D011B71F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:09:04]
635*2^1244706-1 is not prime.  Res64: 170245EE10C418E3  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:10:52]
843*2^1244706-1 is not prime.  Res64: BBC7D2E560C34FCC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:10:52]
903*2^1244706-1 is not prime.  Res64: 9C30E28C3E0BE522  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:27:06]
603*2^1244707-1 is not prime.  Res64: 65A5BD601DFF87FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:27:06]
609*2^1244707-1 is not prime.  Res64: FE33A510A87168C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:28:51]
631*2^1244707-1 is not prime.  Res64: 2E8AAAE3B361A58E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:28:51]
633*2^1244707-1 is not prime.  Res64: B463917649904F3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:45:03]
861*2^1244707-1 is not prime.  Res64: 02EF73CBD9D9BC5B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:45:03]
993*2^1244707-1 is not prime.  Res64: D984214B9C65572B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:46:45]
629*2^1244708-1 is not prime.  Res64: C1565EB97DFB2BD2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 15:46:45]
795*2^1244708-1 is not prime.  Res64: 1CF920054166143E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:02:53]
813*2^1244708-1 is not prime.  Res64: 3292291A04D0FCCC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:02:54]
837*2^1244708-1 is not prime.  Res64: 37ED42F3486E14FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:04:34]
843*2^1244708-1 is not prime.  Res64: F755BC18556C11A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:04:35]
869*2^1244708-1 is not prime.  Res64: 64430BD7BA9CA7C7  Time : 0.0 sec.
user=juhehe
[2013-04-16 16:06:09]
947*2^1244706-1 is not prime.  Res64: 0DFC2F9657C2BA57  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:21:06]
909*2^1244708-1 is not prime.  Res64: 1849316E61C17A14  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:21:06]
945*2^1244708-1 is not prime.  Res64: 03075FC054FA3494  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:22:22]
999*2^1244708-1 is not prime.  Res64: EDC93C6FD6FA44A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:22:22]
601*2^1244709-1 is not prime.  Res64: B9A3BA6C1376CCB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:38:53]
741*2^1244709-1 is not prime.  Res64: F95925C233E68908  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:38:54]
745*2^1244709-1 is not prime.  Res64: 1F0BEE5FF1E5240A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:40:06]
867*2^1244709-1 is not prime.  Res64: 4A8E2F78AF56140D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:40:07]
919*2^1244709-1 is not prime.  Res64: D53B1C3279A79612  Time : 0.0 sec.
user=juhehe
[2013-04-16 16:40:22]
797*2^1244708-1 is not prime.  Res64: BCA31FFCD055EEE5  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:56:57]
955*2^1244709-1 is not prime.  Res64: 6A98C6C35CAD7457  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:56:58]
623*2^1244710-1 is not prime.  Res64: C459B02EEEA293F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:58:08]
635*2^1244710-1 is not prime.  Res64: 1ACA578A64DE6FCF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 16:58:09]
645*2^1244710-1 is not prime.  Res64: E5A9D5039893B4F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:14:48]
647*2^1244710-1 is not prime.  Res64: FCD473CF599F9E53  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:14:48]
665*2^1244710-1 is not prime.  Res64: 58D18323925F3A5B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:15:59]
761*2^1244710-1 is not prime.  Res64: 6EE3CE431A22ACD8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:15:59]
785*2^1244710-1 is not prime.  Res64: AFC5D2E0D5F69242  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:32:40]
813*2^1244710-1 is not prime.  Res64: 652B11AC5BCD83B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:32:41]
825*2^1244710-1 is not prime.  Res64: 91068E7FDC265C8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:33:48]
843*2^1244710-1 is not prime.  Res64: 5B3AA0533AF9DC6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:33:48]
897*2^1244710-1 is not prime.  Res64: C4431A02BC149041  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:50:27]
987*2^1244710-1 is not prime.  Res64: 148E8BC083DEE8D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:50:27]
673*2^1244711-1 is not prime.  Res64: F5F42131E4D9AE08  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:51:34]
763*2^1244711-1 is not prime.  Res64: FE7C92A33D3C45E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 17:51:35]
781*2^1244711-1 is not prime.  Res64: 77F2331BC258FAA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:08:12]
921*2^1244711-1 is not prime.  Res64: FE67370677F6A0AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:08:13]
939*2^1244711-1 is not prime.  Res64: 0510AE0B63D109C0  Time : 0.0 sec.
user=juhehe
[2013-04-16 18:08:31]
791*2^1244710-1 is not prime.  Res64: 893BB5D6A93FB71E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:09:19]
669*2^1244712-1 is not prime.  Res64: A1572A68A11E434E  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:09:20]
753*2^1244712-1 is not prime.  Res64: 1CFD3D54C2CF5083  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:26:02]
819*2^1244712-1 is not prime.  Res64: 9034B3E9F6F7D15B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:26:02]
849*2^1244712-1 is not prime.  Res64: 9C7B5018C6933EF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:27:06]
909*2^1244712-1 is not prime.  Res64: 2EBBB99408BEEBB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:27:06]
619*2^1244713-1 is not prime.  Res64: 788BCAE1D0412A48  Time : 0.0 sec.
user=juhehe
[2013-04-16 18:42:47]
841*2^1244711-1 is not prime.  Res64: C72DD28E013439B9  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:43:49]
679*2^1244713-1 is not prime.  Res64: 1F2DA6B67AD803E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:43:49]
747*2^1244713-1 is not prime.  Res64: 21D39A8E89BE255C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:44:51]
847*2^1244713-1 is not prime.  Res64: 212F7B87225B6E9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 18:44:51]
919*2^1244713-1 is not prime.  Res64: 998468C0719018E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:01:35]
675*2^1244714-1 is not prime.  Res64: FA6655BD60524168  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:01:36]
705*2^1244714-1 is not prime.  Res64: 56C8543D23BD6F22  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:02:35]
873*2^1244714-1 is not prime.  Res64: 42EA3FD20AECBE6B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:02:36]
887*2^1244714-1 is not prime.  Res64: E948EC3877675CCC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:19:35]
601*2^1244715-1 is not prime.  Res64: 57714B3543EFA323  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:19:35]
679*2^1244715-1 is not prime.  Res64: A69150BBEE46F367  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:20:21]
723*2^1244715-1 is not prime.  Res64: 9DDB73A7464ECAAB  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:20:21]
789*2^1244715-1 is not prime.  Res64: FECF8DE4DEC6B7F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:37:48]
871*2^1244715-1 is not prime.  Res64: BFF869A8BDF6709F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:37:49]
943*2^1244715-1 is not prime.  Res64: E0E7904CDB84577D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:38:32]
695*2^1244716-1 is not prime.  Res64: 35A461A78780FFF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:38:32]
785*2^1244716-1 is not prime.  Res64: 1A9F69D2926A61A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:56:01]
843*2^1244716-1 is not prime.  Res64: 48AE6BEBB074C135  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:56:01]
845*2^1244716-1 is not prime.  Res64: B75DA9FFE0338311  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:56:42]
933*2^1244716-1 is not prime.  Res64: 2CBFCE495286E958  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 19:56:43]
947*2^1244716-1 is not prime.  Res64: 4CDD2E7F7036C516  Time : 0.0 sec.
user=juhehe
[2013-04-16 20:10:55]
861*2^1244715-1 is not prime.  Res64: 0EA4E6DB0B69693F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:13:38]
685*2^1244717-1 is not prime.  Res64: B5F6458421AAA120  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:13:39]
715*2^1244717-1 is not prime.  Res64: D9A6EF9C2A3F2F9D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:14:19]
801*2^1244717-1 is not prime.  Res64: 8599F424946CFD53  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:14:19]
871*2^1244717-1 is not prime.  Res64: 0B504721FA868342  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:31:33]
885*2^1244717-1 is not prime.  Res64: D4251E68A5D6B2AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:31:34]
901*2^1244717-1 is not prime.  Res64: 842AE4DD1020DF92  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:31:57]
915*2^1244717-1 is not prime.  Res64: EE7C0BE40258B916  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:31:57]
927*2^1244717-1 is not prime.  Res64: 054FD5A5E89DA8D0  Time : 0.0 sec.
user=juhehe
[2013-04-16 20:45:53]
649*2^1244717-1 is not prime.  Res64: B15AED80AEFFF711  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:49:16]
615*2^1244718-1 is not prime.  Res64: D46C3A38264DA60C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:49:16]
657*2^1244718-1 is not prime.  Res64: 7544AFC83A5B5EC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:49:39]
713*2^1244718-1 is not prime.  Res64: 6717F54840DB31EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 20:49:40]
777*2^1244718-1 is not prime.  Res64: 45A9EB8969E44CD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:07:00]
921*2^1244718-1 is not prime.  Res64: EC317BB1C7F0CA2D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:07:03]
927*2^1244718-1 is not prime.  Res64: C78558D10963795A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:07:21]
945*2^1244718-1 is not prime.  Res64: 4E91456E5A64FF05  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:07:22]
975*2^1244718-1 is not prime.  Res64: E24C57D9767245B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:24:57]
661*2^1244719-1 is not prime.  Res64: 0B65B9147F0ACBAE  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:24:58]
729*2^1244719-1 is not prime.  Res64: F63BFC9F045AEFD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:25:05]
745*2^1244719-1 is not prime.  Res64: 5613605B47747538  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:25:06]
811*2^1244719-1 is not prime.  Res64: 6EA1A6DC913C4425  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:42:41]
993*2^1244719-1 is not prime.  Res64: 352A9EB3C04C56FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:42:41]
659*2^1244720-1 is not prime.  Res64: 9FE6B72104900FC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:42:49]
735*2^1244720-1 is not prime.  Res64: C5751DC37765408A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 21:42:50]
753*2^1244720-1 is not prime.  Res64: 21CC52BAF10AAF49  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:00:26]
813*2^1244720-1 is not prime.  Res64: FFE18DBBD49A21B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:00:27]
839*2^1244720-1 is not prime.  Res64: B5E186B9CBB3222B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:00:33]
843*2^1244720-1 is not prime.  Res64: 38BE6C333FA7AAE6  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:00:33]
651*2^1244721-1 is not prime.  Res64: EBBC98671259DABA  Time : 0.0 sec.
user=juhehe
[2013-04-16 22:13:27]
855*2^1244719-1 is not prime.  Res64: A70717F1C141DB4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:18:25]
781*2^1244721-1 is not prime.  Res64: BE42FCEEB869A710  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:18:26]
847*2^1244721-1 is not prime.  Res64: B49E90FC989ED06F  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:18:27]
895*2^1244721-1 is not prime.  Res64: 2A0E78F6D54AD7A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:18:28]
907*2^1244721-1 is not prime.  Res64: 472042907921DDBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:36:27]
681*2^1244722-1 is not prime.  Res64: 8BDF59F585657E27  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:36:27]
731*2^1244722-1 is not prime.  Res64: 0A8E1172B9629AC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:36:27]
677*2^1244722-1 is not prime.  Res64: 4679D780C7BB5A60  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:36:28]
923*2^1244722-1 is not prime.  Res64: 25D1893DD00B51F4  Time : 0.0 sec.
user=juhehe
[2013-04-16 22:48:12]
675*2^1244721-1 is not prime.  Res64: 29850403A865C20C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:54:16]
615*2^1244723-1 is not prime.  Res64: 512004F557F1675B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:54:16]
631*2^1244723-1 is not prime.  Res64: 72A62A6F6FDE8F7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:54:17]
621*2^1244723-1 is not prime.  Res64: 9AF4B3989C96FEB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 22:54:17]
685*2^1244723-1 is not prime.  Res64: 2A6290176A27EB7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:11:59]
693*2^1244723-1 is not prime.  Res64: EB05626F1A1AFA52  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:11:59]
805*2^1244723-1 is not prime.  Res64: 872E1304A6F6DC5B  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:11:59]
705*2^1244723-1 is not prime.  Res64: A88EB1F2F7CB597C  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:11:59]
955*2^1244723-1 is not prime.  Res64: 37EEFBFBB8CFAD0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:29:41]
963*2^1244723-1 is not prime.  Res64: 0E4B56D42546B9D8  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:29:41]
609*2^1244724-1 is not prime.  Res64: AE0ECE058457C0B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:29:41]
699*2^1244724-1 is not prime.  Res64: 73CBF80FB41FB99D  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:29:42]
723*2^1244724-1 is not prime.  Res64: B631C2F223093445  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:47:23]
903*2^1244724-1 is not prime.  Res64: D7C747E31E3E6FF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:47:23]
915*2^1244724-1 is not prime.  Res64: 88BDC57201910656  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:47:24]
825*2^1244724-1 is not prime.  Res64: 0B886E7C862CE4C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-16 23:47:24]
873*2^1244724-1 is not prime.  Res64: 1EB3E3F49E3E36BF  Time : 0.0 sec.