user=mdettweiler
[2012-12-11 00:04:40]
953*2^1237180-1 is not prime.  Res64: BFAFB83B6F3B6884  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:04:40]
999*2^1237180-1 is not prime.  Res64: A020D5A04386ABAE  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:16:30]
657*2^1237181-1 is not prime.  Res64: 2D905579224D62C5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:16:31]
837*2^1237181-1 is not prime.  Res64: 8AE7E0A346283E9F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:22:02]
651*2^1237182-1 is not prime.  Res64: BD62FADB064B125B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:22:02]
681*2^1237182-1 is not prime.  Res64: C98CFD3FF08E2A93  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:33:54]
977*2^1237182-1 is not prime.  Res64: 5B81F08F8444315A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:33:55]
723*2^1237183-1 is not prime.  Res64: 9F63B9264C1C2FE0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:39:24]
951*2^1237183-1 is not prime.  Res64: 08389CD9D7B49D0C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:39:24]
969*2^1237183-1 is not prime.  Res64: 8C76A02357EB938D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:51:19]
615*2^1237184-1 is not prime.  Res64: 651332DC1AEC3BEC  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:51:20]
635*2^1237184-1 is not prime.  Res64: 10E6EC7614F4558F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:56:47]
665*2^1237184-1 is not prime.  Res64: 935BA6A41735FB9D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 00:56:48]
717*2^1237184-1 is not prime.  Res64: 522F793B7992D1BF  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:08:42]
813*2^1237184-1 is not prime.  Res64: 515CC6C15AA65BD6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:08:43]
909*2^1237184-1 is not prime.  Res64: B04CF258AB7FF7C0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:14:11]
993*2^1237184-1 is not prime.  Res64: D2A7EC597CDD9B94  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:14:13]
667*2^1237185-1 is not prime.  Res64: 10BD0C6F6A222E12  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:26:08]
741*2^1237185-1 is not prime.  Res64: 1F1966949B19E355  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:26:08]
787*2^1237185-1 is not prime.  Res64: 7003FBC1DC931DD2  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:31:44]
789*2^1237185-1 is not prime.  Res64: F49553263968948C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:31:45]
991*2^1237185-1 is not prime.  Res64: 9C1061AD517297C1  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:43:31]
997*2^1237185-1 is not prime.  Res64: 032B0D90366E5470  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:43:32]
671*2^1237186-1 is not prime.  Res64: 05549B7A0BF70F02  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:49:07]
723*2^1237186-1 is not prime.  Res64: BA27DC4DFA3FB440  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 01:49:08]
801*2^1237186-1 is not prime.  Res64: 489A248688240ACC  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:00:54]
873*2^1237186-1 is not prime.  Res64: 3377777C342D742B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:00:55]
911*2^1237186-1 is not prime.  Res64: 4E1EA2DB497783A6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:06:30]
981*2^1237186-1 is not prime.  Res64: 0D2A67C27F4E9C36  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:06:31]
645*2^1237187-1 is not prime.  Res64: 4E027FFF77A5F911  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:18:18]
673*2^1237187-1 is not prime.  Res64: 96E03A5925914CA4  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:18:19]
703*2^1237187-1 is not prime.  Res64: A14AB48BD0F1AD10  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:24:04]
781*2^1237187-1 is not prime.  Res64: 2F5C3020A83A3472  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:24:05]
633*2^1237188-1 is not prime.  Res64: 055369A959639D81  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:35:48]
663*2^1237188-1 is not prime.  Res64: 1C05D7B00A092972  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:35:50]
773*2^1237188-1 is not prime.  Res64: 76873486F9263BA8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:41:26]
825*2^1237188-1 is not prime.  Res64: DA9819247EE7F4A8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:41:30]
899*2^1237188-1 is not prime.  Res64: 671BD2A7EDD5989E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:53:16]
927*2^1237188-1 is not prime.  Res64: 45B763A3C38545A4  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:53:17]
947*2^1237188-1 is not prime.  Res64: B05B4B2DDB5CAB73  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:59:08]
639*2^1237189-1 is not prime.  Res64: 5A91A040CAA069F0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 02:59:09]
801*2^1237189-1 is not prime.  Res64: 225C44D5A8C9DFB1  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:10:44]
861*2^1237189-1 is not prime.  Res64: 77DEEF4EEBDC7E82  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:10:47]
885*2^1237189-1 is not prime.  Res64: 03CD6DB2E31B5F29  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:16:29]
945*2^1237189-1 is not prime.  Res64: CDFA60C9A89955C7  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:16:29]
657*2^1237190-1 is not prime.  Res64: A618AB77E9DCA69A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:28:20]
677*2^1237190-1 is not prime.  Res64: BFE83E4D52D0AF8E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:28:20]
785*2^1237190-1 is not prime.  Res64: 87B6C7270C27A01F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:33:53]
851*2^1237190-1 is not prime.  Res64: F39307280EBA9B48  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:33:56]
867*2^1237190-1 is not prime.  Res64: 174B62CE6601B0F2  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:45:40]
885*2^1237190-1 is not prime.  Res64: FE1DDFC6E2DA88E6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:45:43]
887*2^1237190-1 is not prime.  Res64: E37C5AECD3F59881  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:51:43]
915*2^1237190-1 is not prime.  Res64: 4E2859FE8C8ACF2B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 03:51:43]
921*2^1237190-1 is not prime.  Res64: 6BB09C2F903B9EA1  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:03:15]
977*2^1237190-1 is not prime.  Res64: 1D57BBCB209CB80D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:03:16]
651*2^1237191-1 is not prime.  Res64: C384E9A5E5A02BF7  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:09:04]
691*2^1237191-1 is not prime.  Res64: 2B2EBC96F44B0D33  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:09:12]
703*2^1237191-1 is not prime.  Res64: 2F5D66C24F955973  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:20:40]
793*2^1237191-1 is not prime.  Res64: 529CBEB5F146EE07  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:20:41]
805*2^1237191-1 is not prime.  Res64: 7E370E6B7CD42A20  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:26:57]
849*2^1237191-1 is not prime.  Res64: 1BCBAF9AAC549DB5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:26:58]
909*2^1237191-1 is not prime.  Res64: E1D4DD3987900761  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:38:03]
969*2^1237191-1 is not prime.  Res64: B7E5137CC5E9D1A9  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:38:05]
975*2^1237191-1 is not prime.  Res64: 537B06DF889904F8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:44:17]
695*2^1237192-1 is not prime.  Res64: 8AF9327291EF8273  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:44:18]
717*2^1237192-1 is not prime.  Res64: 9D1F2F2E006E83F3  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:55:53]
843*2^1237192-1 is not prime.  Res64: 7E8CC6BFC6659097  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 04:55:54]
849*2^1237192-1 is not prime.  Res64: 4FEB3FA8F081D957  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:01:39]
863*2^1237192-1 is not prime.  Res64: 5F6F58A308EDB02F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:01:41]
917*2^1237192-1 is not prime.  Res64: 63FFA9D6F4FBB41F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:13:14]
939*2^1237192-1 is not prime.  Res64: 04F79BF0F12EE302  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:13:15]
975*2^1237192-1 is not prime.  Res64: BC41B29AA8692F25  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:19:20]
735*2^1237193-1 is not prime.  Res64: 18AE3E7EDAE6C0D8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:19:20]
747*2^1237193-1 is not prime.  Res64: 8A2441396F11C6EC  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:30:38]
871*2^1237193-1 is not prime.  Res64: 36CAB472FF259890  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:30:41]
969*2^1237193-1 is not prime.  Res64: 8994311E1DF8CE7D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:36:39]
981*2^1237193-1 is not prime.  Res64: EF55D736E7E235EB  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:36:40]
611*2^1237194-1 is not prime.  Res64: 83D867F79188A255  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:48:19]
671*2^1237194-1 is not prime.  Res64: D050A71EA704F45A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:48:20]
833*2^1237194-1 is not prime.  Res64: 66A142A7CCF6F437  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:54:00]
881*2^1237194-1 is not prime.  Res64: A1D4ED9373C01B74  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 05:54:01]
885*2^1237194-1 is not prime.  Res64: F19727C8F0F60090  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:05:40]
975*2^1237194-1 is not prime.  Res64: AB39DBFBC95101DC  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:05:41]
631*2^1237195-1 is not prime.  Res64: F120C73B77EC6DDC  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:11:21]
639*2^1237195-1 is not prime.  Res64: 2A3A66E59B328E40  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:11:27]
679*2^1237195-1 is not prime.  Res64: 5CBCDB263C9A538C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:23:00]
691*2^1237195-1 is not prime.  Res64: BF579ECC63AE73ED  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:23:01]
733*2^1237195-1 is not prime.  Res64: 62D4084BB4536965  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:29:28]
849*2^1237195-1 is not prime.  Res64: 6A2385C62DD3A37A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:29:28]
909*2^1237195-1 is not prime.  Res64: D32A6F4DF6F98FFA  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:40:21]
939*2^1237195-1 is not prime.  Res64: 8E540192BB86875B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:40:22]
985*2^1237195-1 is not prime.  Res64: 90D675360A151F1C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:46:48]
603*2^1237196-1 is not prime.  Res64: 029CB0648C0C814C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:46:49]
677*2^1237196-1 is not prime.  Res64: 47D3A3A13E2DA008  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:57:42]
707*2^1237196-1 is not prime.  Res64: 048B58A493EE7AE9  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 06:57:42]
767*2^1237196-1 is not prime.  Res64: 95EEA84D9BC39FF2  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:04:09]
773*2^1237196-1 is not prime.  Res64: 9F8BE9151B89F70C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:04:10]
857*2^1237196-1 is not prime.  Res64: 6F738D7446B4837B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:15:04]
909*2^1237196-1 is not prime.  Res64: 6272AF26182A35F8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:15:10]
945*2^1237196-1 is not prime.  Res64: DD62B0F9F6478263  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:21:34]
649*2^1237197-1 is not prime.  Res64: C4373EBC3CAAE9A6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:21:34]
655*2^1237197-1 is not prime.  Res64: 5D0EF156B3251CD6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:32:54]
699*2^1237197-1 is not prime.  Res64: 55856172AF05C3A0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:32:54]
747*2^1237197-1 is not prime.  Res64: 607A618DA3A05690  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:38:54]
795*2^1237197-1 is not prime.  Res64: 4272D42A1461DE68  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:38:55]
835*2^1237197-1 is not prime.  Res64: 2904FE4F21BE2F1A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:50:14]
887*2^1237198-1 is not prime.  Res64: E4338D5B8ABFDCC0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:50:15]
941*2^1237198-1 is not prime.  Res64: 0B7E453CEDBF117D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:56:15]
951*2^1237198-1 is not prime.  Res64: 3CDC12BDDA37D6B9  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 07:56:15]
993*2^1237198-1 is not prime.  Res64: AD03D415C4AD9357  Time : 0.0 sec.
user=juhehe
[2012-12-11 08:05:27]
927*2^1237197-1 is not prime.  Res64: 968C587E5F4FC099  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:07:34]
1001*2^1237198-1 is not prime.  Res64: F030622013764042  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:07:35]
609*2^1237199-1 is not prime.  Res64: 57049B42056B6A42  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:13:36]
661*2^1237199-1 is not prime.  Res64: 808E4867BE7FC43E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:13:39]
663*2^1237199-1 is not prime.  Res64: FB9667FE814C84B1  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:24:56]
993*2^1237199-1 is not prime.  Res64: 1DD7A1C1B625C8C3  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:24:57]
609*2^1237200-1 is not prime.  Res64: A0E0F93DA0BFA3D5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:31:24]
653*2^1237200-1 is not prime.  Res64: 167311016C12C0FF  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:31:24]
735*2^1237200-1 is not prime.  Res64: D0FBF0CFD5A3E160  Time : 0.0 sec.
user=juhehe
[2012-12-11 08:40:29]
939*2^1237199-1 is not prime.  Res64: 7AEC58B114771653  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:42:17]
845*2^1237200-1 is not prime.  Res64: 3B3C295B6F701099  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:42:18]
849*2^1237200-1 is not prime.  Res64: 7D1A8D882D745172  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:48:44]
867*2^1237200-1 is not prime.  Res64: BA6AE41711C7FA6C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:48:44]
875*2^1237200-1 is not prime.  Res64: B3FC749811532C19  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:59:38]
945*2^1237200-1 is not prime.  Res64: B28B33B0BBF0C20C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 08:59:38]
967*2^1237201-1 is not prime.  Res64: 0AE290C21CE8E22E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:06:04]
713*2^1237202-1 is not prime.  Res64: 8492D01421497F3D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:06:09]
813*2^1237202-1 is not prime.  Res64: 4734FEF2E80D6451  Time : 0.0 sec.
user=juhehe
[2012-12-11 09:15:38]
899*2^1237200-1 is not prime.  Res64: 77FA3F9DC33127B8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:16:58]
893*2^1237202-1 is not prime.  Res64: 4C17AF1B2F8E1925  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:16:59]
917*2^1237202-1 is not prime.  Res64: 8714E0302BC2D5DF  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:23:56]
983*2^1237202-1 is not prime.  Res64: 7897FA503A7D4737  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:23:57]
995*2^1237202-1 is not prime.  Res64: F1330CC706CD1B0E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:34:19]
751*2^1237203-1 is not prime.  Res64: 238EA69102786153  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:34:19]
795*2^1237203-1 is not prime.  Res64: B813CD2D0B9454A7  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:41:17]
801*2^1237203-1 is not prime.  Res64: D24328685EAC384D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:41:17]
945*2^1237203-1 is not prime.  Res64: 777D0B6D22A9AA01  Time : 0.0 sec.
user=juhehe
[2012-12-11 09:50:27]
723*2^1237203-1 is not prime.  Res64: BB565AD66B228743  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:51:40]
955*2^1237203-1 is not prime.  Res64: 7601A4A1E82288D7  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:51:40]
961*2^1237203-1 is not prime.  Res64: 9B748046FC1BAA77  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:58:38]
973*2^1237203-1 is not prime.  Res64: 83872022E689D6DA  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 09:58:38]
609*2^1237204-1 is not prime.  Res64: C2FCDB6340A9DCFB  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:09:00]
717*2^1237204-1 is not prime.  Res64: 8B86E397C2BA66C5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:09:02]
825*2^1237204-1 is not prime.  Res64: A9A632064B7A1285  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:15:59]
899*2^1237204-1 is not prime.  Res64: 14E39673F0EF850B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:15:59]
993*2^1237204-1 is not prime.  Res64: 2B572223261016C7  Time : 0.0 sec.
user=juhehe
[2012-12-11 10:24:57]
675*2^1237204-1 is not prime.  Res64: E0D53C92DDC8B13B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:26:26]
649*2^1237205-1 is not prime.  Res64: 9590414E95599247  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:26:26]
697*2^1237205-1 is not prime.  Res64: 84C2F78F2B060B79  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:33:22]
741*2^1237205-1 is not prime.  Res64: 53D9F3563A5F43F3  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:33:22]
775*2^1237205-1 is not prime.  Res64: CE003EDF2BC85F23  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:43:46]
885*2^1237205-1 is not prime.  Res64: 6991A9A4BFC34078  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:43:47]
915*2^1237205-1 is not prime.  Res64: B59ABE173ABA87D5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:50:42]
991*2^1237205-1 is not prime.  Res64: 18C18E4F1D226F8A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 10:50:43]
641*2^1237206-1 is not prime.  Res64: 581F145F5E56BC45  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:01:07]
807*2^1237206-1 is not prime.  Res64: 51BE2B0E6B1D31C4  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:01:09]
861*2^1237206-1 is not prime.  Res64: 12BFCC37DCE85CB0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:08:03]
983*2^1237206-1 is not prime.  Res64: 6D6E95C699CC445C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:08:04]
619*2^1237207-1 is not prime.  Res64: 048E55C73B811E6C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:18:41]
673*2^1237207-1 is not prime.  Res64: 79D4CFEE45C3CBFD  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:18:42]
715*2^1237207-1 is not prime.  Res64: 7A26533F20D352C9  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:25:43]
763*2^1237207-1 is not prime.  Res64: BFE4BF6709E1AFAF  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:25:43]
861*2^1237207-1 is not prime.  Res64: 2449D1EDA49D6BE2  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:36:04]
939*2^1237207-1 is not prime.  Res64: 0141EEE5C3682F9B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:36:04]
617*2^1237208-1 is not prime.  Res64: 6E612697C2F1BF04  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:43:03]
629*2^1237208-1 is not prime.  Res64: 77160B2B759DEDBF  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:43:03]
663*2^1237208-1 is not prime.  Res64: EED019EBB35EFE27  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:53:25]
665*2^1237208-1 is not prime.  Res64: CB254A86E3FD3C9D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 11:53:26]
683*2^1237208-1 is not prime.  Res64: 8FBA92F6E42B5D4D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:00:25]
825*2^1237208-1 is not prime.  Res64: 65DF8F54C211C5FE  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:00:26]
843*2^1237208-1 is not prime.  Res64: C6CEE22A82B63C5F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:10:53]
855*2^1237208-1 is not prime.  Res64: E362F71EE90DF5AC  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:10:55]
627*2^1237209-1 is not prime.  Res64: 9E9128FE8B1EF092  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:18:36]
669*2^1237209-1 is not prime.  Res64: 4E7CB82B796FF142  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:18:37]
747*2^1237209-1 is not prime.  Res64: 650F970E58F22B4B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:29:07]
781*2^1237209-1 is not prime.  Res64: 2B81E7CE6E684BD4  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:29:08]
817*2^1237209-1 is not prime.  Res64: 4604501C8C67E38E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:36:02]
861*2^1237209-1 is not prime.  Res64: 8F54B4A4A3A5F802  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:36:02]
877*2^1237209-1 is not prime.  Res64: 2EA38EC5CCB6ECE2  Time : 0.0 sec.
user=juhehe
[2012-12-11 12:37:03]
759*2^1237209-1 is not prime.  Res64: 6CE3C254C51C6A9E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:46:32]
921*2^1237209-1 is not prime.  Res64: 67C854AC50965F6E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:46:32]
969*2^1237209-1 is not prime.  Res64: 3609E521B38D8878  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:53:26]
687*2^1237210-1 is not prime.  Res64: FCBF5A47A5B1C422  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 12:53:27]
695*2^1237210-1 is not prime.  Res64: FA7791D94F05E328  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:03:56]
735*2^1237210-1 is not prime.  Res64: E2E11809401CD4C0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:04:00]
743*2^1237210-1 is not prime.  Res64: 48330D5F5666AF47  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:10:51]
601*2^1237211-1 is not prime.  Res64: 775A64A70F692A47  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:10:55]
645*2^1237211-1 is not prime.  Res64: 83D0D5B87FCEF226  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:21:33]
855*2^1237211-1 is not prime.  Res64: BF5A0BE39624A7EB  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:21:34]
889*2^1237211-1 is not prime.  Res64: 15C9ECBBA21F82D8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:28:47]
903*2^1237211-1 is not prime.  Res64: 1C1D6E00B08D628B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:28:48]
969*2^1237211-1 is not prime.  Res64: AAFBAC376DBDC3FA  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:39:00]
605*2^1237212-1 is not prime.  Res64: 82B9164F7F5C11BC  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:39:01]
639*2^1237212-1 is not prime.  Res64: 0650E41D7933BE2C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:46:15]
669*2^1237212-1 is not prime.  Res64: 7A135C05716A1E4F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:46:15]
695*2^1237212-1 is not prime.  Res64: D568572CAEAC4374  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:56:25]
699*2^1237212-1 is not prime.  Res64: 442ABAC569915988  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 13:56:25]
797*2^1237212-1 is not prime.  Res64: FDAAB5300182EA95  Time : 0.0 sec.
user=odicin
[2012-12-11 14:00:17]
999*2^1237212-1 is not prime.  Res64: FCE0FA15619569AA  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:03:41]
863*2^1237212-1 is not prime.  Res64: 09C2C68CF4361B79  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:03:43]
957*2^1237212-1 is not prime.  Res64: 5E0C57BE214D2A15  Time : 0.0 sec.
user=odicin
[2012-12-11 14:12:05]
769*2^1237213-1 is not prime.  Res64: 63BDA719C0BD4E76  Time : 0.0 sec.
user=odicin
[2012-12-11 14:12:46]
755*2^1237214-1 is not prime.  Res64: ABD8F1360E2DE4D0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:13:49]
607*2^1237213-1 is not prime.  Res64: 3756E23ACFC38DB9  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:13:50]
729*2^1237213-1 is not prime.  Res64: B79213ABD7342C84  Time : 0.0 sec.
user=odicin
[2012-12-11 14:13:53]
771*2^1237213-1 is not prime.  Res64: 8CC73AE3A0CEF3E7  Time : 0.0 sec.
user=odicin
[2012-12-11 14:17:21]
885*2^1237214-1 is not prime.  Res64: 4436C42B155EF3B0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:21:23]
851*2^1237214-1 is not prime.  Res64: BFE81CB9D21BFDAE  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:21:24]
861*2^1237214-1 is not prime.  Res64: 541CEC1DE320475A  Time : 0.0 sec.
user=odicin
[2012-12-11 14:22:23]
609*2^1237215-1 is not prime.  Res64: 8305D6563021FB2C  Time : 0.0 sec.
user=odicin
[2012-12-11 14:25:52]
887*2^1237214-1 is not prime.  Res64: 98CF8CF61E095E53  Time : 0.0 sec.
user=odicin
[2012-12-11 14:27:30]
735*2^1237215-1 is not prime.  Res64: 15572B141752FB30  Time : 0.0 sec.
user=odicin
[2012-12-11 14:30:56]
951*2^1237215-1 is not prime.  Res64: 605C6FCD26152498  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:31:39]
619*2^1237215-1 is not prime.  Res64: 04A8148AA13826CA  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:31:39]
705*2^1237215-1 is not prime.  Res64: C098679DB81D675D  Time : 0.0 sec.
user=odicin
[2012-12-11 14:31:44]
849*2^1237216-1 is not prime.  Res64: C8CEFE18ECE7197A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:39:09]
705*2^1237216-1 is not prime.  Res64: E8EA43E1DA6F2639  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:39:09]
735*2^1237216-1 is not prime.  Res64: A8FCFA4398A9A293  Time : 0.0 sec.
user=odicin
[2012-12-11 14:39:29]
873*2^1237216-1 is not prime.  Res64: 8FF925F41E9A95E6  Time : 0.0 sec.
user=odicin
[2012-12-11 14:41:02]
909*2^1237217-1 is not prime.  Res64: C53A4C3AA3AB4C7A  Time : 0.0 sec.
user=odicin
[2012-12-11 14:41:06]
875*2^1237216-1 is not prime.  Res64: BF78E72E900B61BB  Time : 0.0 sec.
user=odicin
[2012-12-11 14:44:32]
699*2^1237217-1 is not prime.  Res64: 119DEEECE2345B17  Time : 0.0 sec.
user=odicin
[2012-12-11 14:45:59]
981*2^1237217-1 is not prime.  Res64: 70B9B9F9D261B010  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:49:03]
715*2^1237217-1 is not prime.  Res64: 65500AD4E2E2317B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:49:03]
901*2^1237217-1 is not prime.  Res64: 38B33E4473B04CB6  Time : 0.0 sec.
user=odicin
[2012-12-11 14:50:27]
843*2^1237218-1 is not prime.  Res64: 8BA9F4B5D49456AE  Time : 0.0 sec.
user=odicin
[2012-12-11 14:53:01]
641*2^1237218-1 is not prime.  Res64: 61B11D5289916D42  Time : 0.0 sec.
user=odicin
[2012-12-11 14:54:39]
921*2^1237218-1 is not prime.  Res64: 27DC99B3AD29974C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:56:33]
621*2^1237218-1 is not prime.  Res64: C3F35518A013206B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 14:56:33]
627*2^1237218-1 is not prime.  Res64: 56E0340AA3C40AA1  Time : 0.0 sec.
user=odicin
[2012-12-11 14:58:06]
951*2^1237218-1 is not prime.  Res64: 1F5E312B4457DB3C  Time : 0.0 sec.
user=odicin
[2012-12-11 14:59:30]
625*2^1237219-1 is not prime.  Res64: 31CE785811F1B0F2  Time : 0.0 sec.
user=odicin
[2012-12-11 14:59:49]
741*2^1237219-1 is not prime.  Res64: 058BD9F199D2DBB6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:06:26]
631*2^1237219-1 is not prime.  Res64: 239B78B905BBD75E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:06:27]
709*2^1237219-1 is not prime.  Res64: 410D21ED814B0589  Time : 0.0 sec.
user=odicin
[2012-12-11 15:06:34]
811*2^1237219-1 is not prime.  Res64: 167E5C5A40E47B0A  Time : 0.0 sec.
user=odicin
[2012-12-11 15:08:11]
829*2^1237219-1 is not prime.  Res64: 6FA4A2E745C31F66  Time : 0.0 sec.
user=odicin
[2012-12-11 15:09:18]
819*2^1237220-1 is not prime.  Res64: 0CE5A3E77519F2DD  Time : 0.0 sec.
user=odicin
[2012-12-11 15:11:37]
931*2^1237219-1 is not prime.  Res64: 89BAA3F8EEE98E17  Time : 0.0 sec.
user=odicin
[2012-12-11 15:12:58]
707*2^1237220-1 is not prime.  Res64: 472C513FC1AA0746  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:13:58]
861*2^1237219-1 is not prime.  Res64: B90DDED1C7F9007A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:13:59]
883*2^1237219-1 is not prime.  Res64: B701B616F713B1C0  Time : 0.0 sec.
user=odicin
[2012-12-11 15:18:47]
611*2^1237222-1 is not prime.  Res64: 149BAF3BE473F76A  Time : 0.0 sec.
user=odicin
[2012-12-11 15:20:01]
745*2^1237221-1 is not prime.  Res64: BCF35BB9F90F98A9  Time : 0.0 sec.
user=odicin
[2012-12-11 15:21:39]
829*2^1237221-1 is not prime.  Res64: 3A5608A0338EE5EF  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:23:52]
959*2^1237220-1 is not prime.  Res64: DFCF9575F4700728  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:23:53]
627*2^1237221-1 is not prime.  Res64: D14CB74C1E93BDD9  Time : 0.0 sec.
user=odicin
[2012-12-11 15:25:15]
713*2^1237222-1 is not prime.  Res64: 9E269C8282AAB14B  Time : 0.0 sec.
user=odicin
[2012-12-11 15:26:25]
717*2^1237222-1 is not prime.  Res64: 9B34DBEA2324A8E9  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:27:04]
605*2^1237218-1 is not prime.  Res64: 01C0BF588A34EE18  Time : 0.0 sec.
user=odicin
[2012-12-11 15:28:13]
941*2^1237222-1 is not prime.  Res64: 2D313E4C00B08958  Time : 0.0 sec.
user=odicin
[2012-12-11 15:28:40]
885*2^1237222-1 is not prime.  Res64: 4284004AAD0AE433  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:31:27]
765*2^1237222-1 is not prime.  Res64: C15C0BE2C620F7F0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:31:28]
873*2^1237222-1 is not prime.  Res64: 323B5DF8CDD72C9F  Time : 0.0 sec.
user=odicin
[2012-12-11 15:32:24]
945*2^1237222-1 is not prime.  Res64: 9514EEF07B526485  Time : 0.0 sec.
user=odicin
[2012-12-11 15:33:24]
669*2^1237223-1 is not prime.  Res64: 05A3B5F740785393  Time : 0.0 sec.
user=odicin
[2012-12-11 15:33:26]
675*2^1237223-1 is not prime.  Res64: CD2E1F453BFD0FC2  Time : 0.0 sec.
user=odicin
[2012-12-11 15:35:03]
705*2^1237223-1 is not prime.  Res64: 85F5287E58F7164F  Time : 0.0 sec.
user=odicin
[2012-12-11 15:37:26]
679*2^1237225-1 is not prime.  Res64: 13E9CBF70B03FF47  Time : 0.0 sec.
user=odicin
[2012-12-11 15:38:36]
753*2^1237224-1 is not prime.  Res64: 652FD2D44F27A805  Time : 0.0 sec.
user=odicin
[2012-12-11 15:39:05]
717*2^1237225-1 is not prime.  Res64: 234E4F33444AB079  Time : 0.0 sec.
user=odicin
[2012-12-11 15:39:46]
893*2^1237224-1 is not prime.  Res64: B9EFF1C0D6C63C08  Time : 0.0 sec.
user=odicin
[2012-12-11 15:40:39]
979*2^1237225-1 is not prime.  Res64: 9550B0E0B8F6FF1C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:41:17]
783*2^1237223-1 is not prime.  Res64: BD17453BBAEAF229  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:41:18]
811*2^1237223-1 is not prime.  Res64: A7A84F037179EB05  Time : 0.0 sec.
user=odicin
[2012-12-11 15:41:37]
857*2^1237226-1 is not prime.  Res64: 9448BE61A25F66A6  Time : 0.0 sec.
user=odicin
[2012-12-11 15:42:00]
699*2^1237225-1 is not prime.  Res64: 90B0578252B366C4  Time : 0.0 sec.
user=odicin
[2012-12-11 15:45:46]
997*2^1237225-1 is not prime.  Res64: CDFEA876DD5ABB43  Time : 0.0 sec.
user=odicin
[2012-12-11 15:46:30]
685*2^1237227-1 is not prime.  Res64: AD991AA8DF6A1331  Time : 0.0 sec.
user=odicin
[2012-12-11 15:46:47]
861*2^1237226-1 is not prime.  Res64: D036433FAC9644CD  Time : 0.0 sec.
user=odicin
[2012-12-11 15:46:49]
917*2^1237226-1 is not prime.  Res64: 794F536351007FE5  Time : 0.0 sec.
user=odicin
[2012-12-11 15:48:11]
805*2^1237227-1 is not prime.  Res64: 65567ABD822EC49C  Time : 0.0 sec.
user=odicin
[2012-12-11 15:48:25]
675*2^1237227-1 is not prime.  Res64: 6B2CB496C7642DBF  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:48:58]
789*2^1237225-1 is not prime.  Res64: 50E2FC12B30F92CB  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:48:59]
817*2^1237225-1 is not prime.  Res64: 52675274446FFCA8  Time : 0.0 sec.
user=odicin
[2012-12-11 15:49:44]
919*2^1237227-1 is not prime.  Res64: BDDC3798DDA16CF1  Time : 0.0 sec.
user=odicin
[2012-12-11 15:50:44]
629*2^1237228-1 is not prime.  Res64: F6DC690980AC23F8  Time : 0.0 sec.
user=odicin
[2012-12-11 15:51:59]
699*2^1237227-1 is not prime.  Res64: 0B8F696405423112  Time : 0.0 sec.
user=odicin
[2012-12-11 15:53:07]
823*2^1237227-1 is not prime.  Res64: FB534325B9B648F4  Time : 0.0 sec.
user=odicin
[2012-12-11 15:55:23]
687*2^1237228-1 is not prime.  Res64: 9514D6E33AFB723B  Time : 0.0 sec.
user=odicin
[2012-12-11 15:55:33]
909*2^1237228-1 is not prime.  Res64: B43B87066466E68A  Time : 0.0 sec.
user=odicin
[2012-12-11 15:57:14]
729*2^1237229-1 is not prime.  Res64: 2035BCC1C8514C1B  Time : 0.0 sec.
user=odicin
[2012-12-11 15:58:47]
627*2^1237230-1 is not prime.  Res64: A6058F96049A6ECE  Time : 0.0 sec.
user=odicin
[2012-12-11 15:59:09]
827*2^1237228-1 is not prime.  Res64: B3AF35D248ABB5B6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:59:14]
961*2^1237227-1 is not prime.  Res64: F8C96A9A38C05218  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 15:59:14]
603*2^1237228-1 is not prime.  Res64: E41AE32A5915E0A1  Time : 0.0 sec.
user=odicin
[2012-12-11 15:59:47]
635*2^1237230-1 is not prime.  Res64: ED3B170358C72399  Time : 0.0 sec.
user=odicin
[2012-12-11 16:00:08]
619*2^1237229-1 is not prime.  Res64: B8192E6A93DA4DB5  Time : 0.0 sec.
user=odicin
[2012-12-11 16:00:10]
655*2^1237229-1 is not prime.  Res64: A7006688EBEC973C  Time : 0.0 sec.
user=odicin
[2012-12-11 16:01:48]
829*2^1237229-1 is not prime.  Res64: 1F0BEA2565B0E1CA  Time : 0.0 sec.
user=odicin
[2012-12-11 16:05:18]
741*2^1237230-1 is not prime.  Res64: 8C1121145E91BA64  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:07:06]
861*2^1237229-1 is not prime.  Res64: D1B22B5791263E0A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:07:06]
985*2^1237229-1 is not prime.  Res64: 009566F2DC7666B2  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:17:22]
791*2^1237230-1 is not prime.  Res64: FC789BE454DB6E39  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:17:22]
891*2^1237230-1 is not prime.  Res64: 76C35AAE66671A75  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:25:13]
893*2^1237230-1 is not prime.  Res64: 6C1924BDAEC9912D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:25:14]
945*2^1237230-1 is not prime.  Res64: B243DCD56EDACAB8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:35:37]
1001*2^1237230-1 is not prime.  Res64: FAFCEEA2E62B5C4E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:35:37]
619*2^1237231-1 is not prime.  Res64: 57A5D96C05FEDE4B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:43:18]
735*2^1237231-1 is not prime.  Res64: B2037F9E071B0A2B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:43:18]
855*2^1237231-1 is not prime.  Res64: 90F56F1C2926F993  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:53:46]
895*2^1237231-1 is not prime.  Res64: BF4FDADAD9AF9FD4  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 16:53:47]
909*2^1237231-1 is not prime.  Res64: 37A75ADEE01EDCF5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:01:16]
973*2^1237231-1 is not prime.  Res64: 3B354CE941510ADD  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:01:18]
605*2^1237232-1 is not prime.  Res64: 800C170BCBDF41BB  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:11:33]
623*2^1237232-1 is not prime.  Res64: 5BF560D115BCE718  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:19:14]
827*2^1237232-1 is not prime.  Res64: 93875CDB9EC7F0D1  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:19:15]
923*2^1237232-1 is not prime.  Res64: 5D2C1CD515EAB2C3  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:37:01]
957*2^1237232-1 is not prime.  Res64: E777C999E3AC44A5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:37:01]
679*2^1237233-1 is not prime.  Res64: 55FB310250EC88CB  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:37:51]
677*2^1237232-1 is not prime.  Res64: B78B33CEA8592212  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:54:47]
727*2^1237233-1 is not prime.  Res64: 002917BC3C899933  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:54:48]
765*2^1237233-1 is not prime.  Res64: EC976C529866D977  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:55:36]
805*2^1237233-1 is not prime.  Res64: 68F65C549117F108  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 17:55:37]
861*2^1237233-1 is not prime.  Res64: 183713FBC2CE02B5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:12:43]
937*2^1237233-1 is not prime.  Res64: DFD996715F7AEA08  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:12:44]
917*2^1237234-1 is not prime.  Res64: EC7D1A7083C0BBD6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:13:32]
601*2^1237235-1 is not prime.  Res64: 6955B76427D0690C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:13:34]
783*2^1237235-1 is not prime.  Res64: 7E30BF74EDB96552  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:30:35]
799*2^1237235-1 is not prime.  Res64: E3F35D0DD1FAB9B3  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:30:36]
859*2^1237235-1 is not prime.  Res64: 022223BC62548B82  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:31:22]
883*2^1237235-1 is not prime.  Res64: 1B6DC6DF8C6C6C47  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:31:23]
895*2^1237235-1 is not prime.  Res64: 019D1983DDB3BD0E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:48:25]
615*2^1237236-1 is not prime.  Res64: 96E51EC253B682B5  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:48:26]
647*2^1237236-1 is not prime.  Res64: 9497E96108B51261  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:49:10]
777*2^1237236-1 is not prime.  Res64: F6CD67C48045D20A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 18:49:11]
873*2^1237236-1 is not prime.  Res64: 1C0C06D334E8A94B  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:06:12]
879*2^1237236-1 is not prime.  Res64: 4C1D3890CC7BC25A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:06:13]
893*2^1237236-1 is not prime.  Res64: 0074AA81C391F615  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:06:58]
975*2^1237236-1 is not prime.  Res64: 84FE5ED0D51836F7  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:06:59]
993*2^1237236-1 is not prime.  Res64: 11A9EAF7B9E889C7  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:24:03]
601*2^1237237-1 is not prime.  Res64: 7FA4C7497AE2D772  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:24:04]
675*2^1237237-1 is not prime.  Res64: 5ED819BBDB0149D7  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:24:47]
717*2^1237237-1 is not prime.  Res64: E2FFC6916E904B45  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:24:48]
777*2^1237237-1 is not prime.  Res64: 623116C6C4CE08C9  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:41:52]
801*2^1237237-1 is not prime.  Res64: 07EA1BC546BC8F2E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:41:52]
805*2^1237237-1 is not prime.  Res64: 51053CF6B55748A4  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:42:33]
871*2^1237237-1 is not prime.  Res64: 2F0CA617F8428E87  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:42:34]
919*2^1237237-1 is not prime.  Res64: 0809BC25D6C8B446  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:59:45]
997*2^1237237-1 is not prime.  Res64: 35E3DDCA92D5E734  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 19:59:45]
641*2^1237238-1 is not prime.  Res64: 3C8A6F32E0C8A236  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:00:26]
645*2^1237238-1 is not prime.  Res64: 8D5E7CACAE60BF47  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:00:28]
743*2^1237238-1 is not prime.  Res64: F5E4AFA058F70E2A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:17:33]
761*2^1237238-1 is not prime.  Res64: 62FA45EFEF657272  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:17:34]
791*2^1237238-1 is not prime.  Res64: 33B7189D5D22B1DF  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:18:15]
977*2^1237238-1 is not prime.  Res64: 3706306889AB43E6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:18:16]
993*2^1237238-1 is not prime.  Res64: 89C73DF7D0897A92  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:35:23]
1001*2^1237238-1 is not prime.  Res64: F96F3FD3B98BA283  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:35:23]
865*2^1237239-1 is not prime.  Res64: 64AB41AA5482BE20  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:35:59]
885*2^1237239-1 is not prime.  Res64: E8D695048603577A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:36:00]
707*2^1237240-1 is not prime.  Res64: 228268605C7F641E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:53:12]
713*2^1237240-1 is not prime.  Res64: 1C7514E059F733FD  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:53:12]
735*2^1237240-1 is not prime.  Res64: 365B6CA8D8ABD537  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:53:51]
839*2^1237240-1 is not prime.  Res64: 905666E609F767B1  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 20:53:52]
873*2^1237240-1 is not prime.  Res64: E7C4B62D1AA01D4C  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:11:08]
669*2^1237241-1 is not prime.  Res64: 699DCA6D3C72D3D3  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:11:09]
795*2^1237241-1 is not prime.  Res64: A18CE4C605D8925E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:11:51]
855*2^1237241-1 is not prime.  Res64: 3222098FD5721DA8  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:11:52]
861*2^1237241-1 is not prime.  Res64: AE19BBB948F77E7F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:29:06]
955*2^1237241-1 is not prime.  Res64: 98437E83F9CA81D1  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:29:07]
997*2^1237241-1 is not prime.  Res64: B7AF89FAF97D57B1  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:29:39]
735*2^1237242-1 is not prime.  Res64: 4A970BB13D3C9228  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:29:40]
755*2^1237242-1 is not prime.  Res64: E5C9FCDDA4FF0687  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:46:52]
765*2^1237242-1 is not prime.  Res64: F4D9ABB0F8F0E990  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:46:53]
723*2^1237243-1 is not prime.  Res64: AF52B576B4B197ED  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:47:26]
853*2^1237243-1 is not prime.  Res64: 6D3C5017600A920F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 21:47:26]
895*2^1237243-1 is not prime.  Res64: 987EE1EF189B9540  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:04:38]
939*2^1237243-1 is not prime.  Res64: 5C7F66AB53FDEB17  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:04:39]
973*2^1237243-1 is not prime.  Res64: 48985A88D3D9C416  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:05:12]
635*2^1237244-1 is not prime.  Res64: C82FDA9B906B1439  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:05:13]
659*2^1237244-1 is not prime.  Res64: 8EF3C98258B8E372  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:22:33]
753*2^1237244-1 is not prime.  Res64: 78D2AABE2AC4D57F  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:22:34]
927*2^1237244-1 is not prime.  Res64: E22D754E72CC6967  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:23:03]
929*2^1237244-1 is not prime.  Res64: E392A5A37A376549  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:23:03]
885*2^1237245-1 is not prime.  Res64: CEAD4DF96B69001D  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:40:22]
975*2^1237245-1 is not prime.  Res64: 1201E8F4C1675AD7  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:40:22]
695*2^1237246-1 is not prime.  Res64: 6F815605E3A62DBA  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:40:48]
987*2^1237246-1 is not prime.  Res64: ADB70053A61C0E37  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:40:49]
993*2^1237246-1 is not prime.  Res64: 5743A553FA5952AE  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:58:08]
603*2^1237247-1 is not prime.  Res64: D8DB10BF4A040B1E  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:58:09]
621*2^1237247-1 is not prime.  Res64: D6F758BD77BDB1C6  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:58:34]
663*2^1237247-1 is not prime.  Res64: FA020E48A19CF950  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 22:58:34]
813*2^1237247-1 is not prime.  Res64: 164D7026C588FFBB  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:15:54]
865*2^1237247-1 is not prime.  Res64: 5AB2E89670093D90  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:15:55]
871*2^1237247-1 is not prime.  Res64: 8DC3A1446CDFF933  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:16:21]
913*2^1237247-1 is not prime.  Res64: AA7BED47012C53B0  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:16:21]
955*2^1237247-1 is not prime.  Res64: 7CDDCC3211FF4CBE  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:33:42]
683*2^1237248-1 is not prime.  Res64: 40D2B20331E96C04  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:33:42]
689*2^1237248-1 is not prime.  Res64: 6248FD5353CB0AA9  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:34:07]
747*2^1237248-1 is not prime.  Res64: 51E904B23AB6CC69  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:34:07]
887*2^1237248-1 is not prime.  Res64: 99DD9E610B81843A  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:51:28]
929*2^1237248-1 is not prime.  Res64: 6AAF3E872E3C39F4  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:51:28]
829*2^1237249-1 is not prime.  Res64: F0770490489BE808  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:51:53]
919*2^1237249-1 is not prime.  Res64: 9435AFC01CD68AAD  Time : 0.0 sec.
user=mdettweiler
[2012-12-11 23:51:53]
987*2^1237249-1 is not prime.  Res64: 37319FE5DE956FA2  Time : 0.0 sec.