user=mdettweiler
[2013-04-30 00:09:44]
635*2^1245486-1 is not prime.  Res64: DF1B777BCB1856F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:09:44]
677*2^1245486-1 is not prime.  Res64: 9E12400875BB3A0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:17:58]
711*2^1245486-1 is not prime.  Res64: F6127E4EB34A399F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:17:59]
825*2^1245486-1 is not prime.  Res64: 43439B0A8E3A3E02  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:27:12]
933*2^1245486-1 is not prime.  Res64: B85E216BD55A6729  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:27:12]
971*2^1245486-1 is not prime.  Res64: 415C671BA73F835E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:35:31]
601*2^1245487-1 is not prime.  Res64: 8E9476AD3D1CF4C7  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:35:31]
615*2^1245487-1 is not prime.  Res64: 7176408DA29F66D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:44:40]
675*2^1245487-1 is not prime.  Res64: 4D332644B84D597D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:44:40]
759*2^1245487-1 is not prime.  Res64: E5364B21963C4488  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:52:59]
763*2^1245487-1 is not prime.  Res64: ED3C844E0CD1AF5F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 00:52:59]
843*2^1245487-1 is not prime.  Res64: ECAF48F72DA4CB1E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:02:08]
871*2^1245487-1 is not prime.  Res64: 55DA1DA9681338A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:02:09]
945*2^1245487-1 is not prime.  Res64: 942DBA05F6AD5FAE  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:10:25]
635*2^1245488-1 is not prime.  Res64: 8D8DC413377D8AB7  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:10:27]
663*2^1245488-1 is not prime.  Res64: FB7CEDE27C23FDCC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:19:57]
735*2^1245488-1 is not prime.  Res64: 9E8284065BD2F5CD  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:19:58]
743*2^1245488-1 is not prime.  Res64: 836A90C2DBDB7642  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:27:55]
747*2^1245488-1 is not prime.  Res64: A2529FB24A424C04  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:27:56]
789*2^1245488-1 is not prime.  Res64: 82F438F7BF981C77  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:37:28]
813*2^1245488-1 is not prime.  Res64: D9F015D01D3659FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:37:28]
845*2^1245488-1 is not prime.  Res64: D250ACEF995A2EFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:45:22]
875*2^1245488-1 is not prime.  Res64: 0BA5194F89A58EB1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:45:23]
897*2^1245488-1 is not prime.  Res64: FA0013CE70EC9919  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:55:46]
999*2^1245488-1 is not prime.  Res64: C38664BC9E5E1118  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 01:55:46]
639*2^1245489-1 is not prime.  Res64: 325959D21B74E06B  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:02:50]
685*2^1245489-1 is not prime.  Res64: 6BA2DC542C582C2B  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:02:51]
765*2^1245489-1 is not prime.  Res64: F7FD23A3D5D4BC37  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:13:14]
817*2^1245489-1 is not prime.  Res64: 8831CD57BBFA0C1F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:13:15]
861*2^1245489-1 is not prime.  Res64: 503971E44ABD48ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:21:09]
951*2^1245489-1 is not prime.  Res64: 14A031A1585088EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:21:09]
991*2^1245489-1 is not prime.  Res64: 27F4FE194F5BCC45  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:30:47]
677*2^1245490-1 is not prime.  Res64: E5CC9BF6E06EB6C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:30:49]
701*2^1245490-1 is not prime.  Res64: 012BB8CCFB939B58  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:38:40]
765*2^1245490-1 is not prime.  Res64: 99E352BE9E88275C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:38:41]
777*2^1245490-1 is not prime.  Res64: 79D17C78562DFCBC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:48:35]
785*2^1245490-1 is not prime.  Res64: 894B48CE0D6C7B05  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:48:36]
791*2^1245490-1 is not prime.  Res64: D4789BB1B068A576  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:56:08]
857*2^1245490-1 is not prime.  Res64: 04CA21B9D51E1C2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 02:56:08]
873*2^1245490-1 is not prime.  Res64: FA88BED7E233BFC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:06:12]
885*2^1245490-1 is not prime.  Res64: ED0F4A53E9B59E8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:06:13]
601*2^1245491-1 is not prime.  Res64: 7405D8B4B38CFED4  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:13:35]
703*2^1245491-1 is not prime.  Res64: 7836B37F3A3552F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:13:36]
733*2^1245491-1 is not prime.  Res64: 0B3F8F951A0917DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:23:45]
735*2^1245491-1 is not prime.  Res64: 11EA25EB78054D17  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:23:46]
843*2^1245491-1 is not prime.  Res64: 5194EB9D48A1770C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:31:04]
913*2^1245491-1 is not prime.  Res64: 37B1E42BA92CD424  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:31:05]
615*2^1245492-1 is not prime.  Res64: 065A791CA7D3AEFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:41:23]
635*2^1245492-1 is not prime.  Res64: 329495272D6CFE80  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:41:23]
639*2^1245492-1 is not prime.  Res64: B032DA08F3EDE15E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:48:58]
717*2^1245492-1 is not prime.  Res64: F7AD8809D3EAE6A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:48:58]
737*2^1245492-1 is not prime.  Res64: 5B3463CB6B3B7D6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:58:53]
819*2^1245492-1 is not prime.  Res64: 4199C06E9DBA35EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 03:58:54]
903*2^1245492-1 is not prime.  Res64: 9815E6BD6400C485  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:06:25]
615*2^1245493-1 is not prime.  Res64: 8BD3ADD2B8D45694  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:06:27]
617*2^1245494-1 is not prime.  Res64: F751153A7361DE0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:16:21]
663*2^1245494-1 is not prime.  Res64: CD294E77C1051EC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:16:22]
677*2^1245494-1 is not prime.  Res64: 1B5F2E3805166A3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:24:00]
741*2^1245494-1 is not prime.  Res64: 7654B1B52DD9CE5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:24:01]
833*2^1245494-1 is not prime.  Res64: 9228B26E6FAF0BD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:33:52]
875*2^1245494-1 is not prime.  Res64: 16CEB77821DC2477  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:33:53]
941*2^1245494-1 is not prime.  Res64: C13ED9CEEFE684B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:41:28]
909*2^1245495-1 is not prime.  Res64: 0EA3869F7FC684B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:41:28]
979*2^1245495-1 is not prime.  Res64: 283BA1E94514B9F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:51:40]
695*2^1245496-1 is not prime.  Res64: D85B5AA9BDCE6D15  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:51:41]
777*2^1245496-1 is not prime.  Res64: 2888802D245B09F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:58:55]
779*2^1245496-1 is not prime.  Res64: B24C126B73CE94A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 04:58:55]
855*2^1245496-1 is not prime.  Res64: 016B8DB911D353F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:09:10]
875*2^1245496-1 is not prime.  Res64: 27F63E88B9DA60A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:09:11]
887*2^1245496-1 is not prime.  Res64: A23953554AF2C10E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:17:11]
939*2^1245496-1 is not prime.  Res64: 704026DE1A587055  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:17:12]
999*2^1245496-1 is not prime.  Res64: 6C43032D52EF0814  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:26:40]
619*2^1245497-1 is not prime.  Res64: 50266F2136FC8E3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:26:40]
747*2^1245497-1 is not prime.  Res64: 350B8E1F86FFB906  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:34:42]
981*2^1245497-1 is not prime.  Res64: 8DF2342043C1C248  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:34:43]
713*2^1245498-1 is not prime.  Res64: BCBF3990605BF9DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:44:09]
887*2^1245498-1 is not prime.  Res64: 7401046B093D7A4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:44:09]
977*2^1245498-1 is not prime.  Res64: 4AE2BCA81FC09855  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:52:11]
625*2^1245499-1 is not prime.  Res64: EE7820174838FE30  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 05:52:11]
639*2^1245499-1 is not prime.  Res64: 984A067FFCC2D336  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:01:38]
703*2^1245499-1 is not prime.  Res64: DC319B0AAA3394E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:01:39]
733*2^1245499-1 is not prime.  Res64: B15845E627BB1B22  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:09:39]
745*2^1245499-1 is not prime.  Res64: D546D673C06D3145  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:09:40]
829*2^1245499-1 is not prime.  Res64: 9E0D4052B4BB3501  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:19:07]
885*2^1245499-1 is not prime.  Res64: 8450B241B71D747B  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:19:08]
633*2^1245500-1 is not prime.  Res64: 3443FDE03FA7D0F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:27:08]
635*2^1245500-1 is not prime.  Res64: 5BC164A734010B6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:27:09]
699*2^1245500-1 is not prime.  Res64: CCC0A1A1189925B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:36:35]
707*2^1245500-1 is not prime.  Res64: AFF25D8B5EE1FFCA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:36:36]
759*2^1245500-1 is not prime.  Res64: 348315ABFE88F769  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:44:36]
797*2^1245500-1 is not prime.  Res64: DB09A1236B9F3A76  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:44:36]
957*2^1245500-1 is not prime.  Res64: F7BE2A7D08B6D404  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:54:02]
959*2^1245500-1 is not prime.  Res64: D7B4BEF14E586DA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 06:54:03]
691*2^1245501-1 is not prime.  Res64: 895F8ABAB1A72BC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:02:04]
711*2^1245501-1 is not prime.  Res64: 519BD6BA224B9E33  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:02:05]
819*2^1245501-1 is not prime.  Res64: F3CC4D599F237C26  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:11:30]
961*2^1245501-1 is not prime.  Res64: 9D502766AD2C466B  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:11:30]
651*2^1245502-1 is not prime.  Res64: 269E6B10A86B7C56  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:20:22]
665*2^1245502-1 is not prime.  Res64: A225FF97C6B1CCD1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:20:22]
1001*2^1245502-1 is not prime.  Res64: 95D15F08F6B3CD11  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:28:58]
609*2^1245503-1 is not prime.  Res64: E66F2633DE28B0DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:28:58]
685*2^1245503-1 is not prime.  Res64: C17A1993722CD31D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:37:48]
721*2^1245503-1 is not prime.  Res64: 2C49DA54F1444010  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:37:49]
753*2^1245503-1 is not prime.  Res64: 7AD516F9626743FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:46:25]
775*2^1245503-1 is not prime.  Res64: 7D69800FDE782A49  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:46:25]
823*2^1245503-1 is not prime.  Res64: D3FF30B34796EAD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:55:16]
825*2^1245503-1 is not prime.  Res64: 4AC1D8E902D2E067  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 07:55:16]
963*2^1245503-1 is not prime.  Res64: 70D66D2066745407  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:04:41]
993*2^1245503-1 is not prime.  Res64: DC130DC76C653A61  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:04:42]
605*2^1245504-1 is not prime.  Res64: E711C7FC9B0B7269  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:12:43]
789*2^1245504-1 is not prime.  Res64: FB8FA3CE7E8CF0AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:12:44]
903*2^1245504-1 is not prime.  Res64: 842EA43CB4139AF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:22:10]
905*2^1245504-1 is not prime.  Res64: 863AFF6E9AEC01C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:22:10]
929*2^1245504-1 is not prime.  Res64: 134B57EAF05A00AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:30:10]
969*2^1245504-1 is not prime.  Res64: B0EABECDF5D4DD4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:30:11]
983*2^1245504-1 is not prime.  Res64: D4ECC677DA18D98E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:39:37]
679*2^1245505-1 is not prime.  Res64: 2F3F4F0C44E10FB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:39:38]
685*2^1245505-1 is not prime.  Res64: DF01F4B007D5C739  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:47:37]
687*2^1245505-1 is not prime.  Res64: C8B092AFD0B083C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:47:37]
729*2^1245505-1 is not prime.  Res64: 4219DB7925644350  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:57:05]
741*2^1245505-1 is not prime.  Res64: 57BF457C130EDCD5  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 08:57:06]
775*2^1245505-1 is not prime.  Res64: 5583AA4A4ED91CF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:05:05]
817*2^1245505-1 is not prime.  Res64: 3644338028182345  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:05:06]
831*2^1245505-1 is not prime.  Res64: 3140B1E7AE1C8EC9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:14:33]
919*2^1245505-1 is not prime.  Res64: 0CEF49B5BEAC51C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:14:34]
939*2^1245505-1 is not prime.  Res64: 81901ABF6F149BFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:22:38]
783*2^1245506-1 is not prime.  Res64: C5F311314EF1092D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:22:39]
873*2^1245506-1 is not prime.  Res64: C1A5A307B5312F97  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:32:05]
893*2^1245506-1 is not prime.  Res64: F7BFA393D77C8F03  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:32:05]
935*2^1245506-1 is not prime.  Res64: 5AD6D35F72250085  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:40:09]
971*2^1245506-1 is not prime.  Res64: 56F6096352A39F6D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:40:10]
609*2^1245507-1 is not prime.  Res64: 9EDFC7F5221E7280  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:49:32]
633*2^1245507-1 is not prime.  Res64: 494A217F3E02E730  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:49:33]
781*2^1245507-1 is not prime.  Res64: 1D2CB41B5178A8EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:57:38]
615*2^1245508-1 is not prime.  Res64: 30A38456A67B6471  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 09:57:38]
827*2^1245508-1 is not prime.  Res64: 4E766B6BB7E1D2AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:06:59]
899*2^1245508-1 is not prime.  Res64: 7EC374081B94AE9A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:07:01]
933*2^1245508-1 is not prime.  Res64: EE672AAEB8344EC4  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:15:06]
675*2^1245509-1 is not prime.  Res64: 46DFBF88D8DE3CD9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:15:06]
729*2^1245509-1 is not prime.  Res64: FD8B9FAEC58F59A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:24:28]
745*2^1245509-1 is not prime.  Res64: 4686CA8D9DCEA96A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:24:29]
865*2^1245509-1 is not prime.  Res64: 226D3428D64DB3ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:32:36]
693*2^1245510-1 is not prime.  Res64: B775C1926595F212  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:32:36]
783*2^1245510-1 is not prime.  Res64: 8C8FB6DBB2167320  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:41:56]
795*2^1245510-1 is not prime.  Res64: B9528661CFE680F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:41:56]
825*2^1245510-1 is not prime.  Res64: 45B6673666FAFA99  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:50:04]
977*2^1245510-1 is not prime.  Res64: BBC4E6B30F37CB2E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:50:05]
625*2^1245511-1 is not prime.  Res64: C2C3D8083D9F34C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:59:24]
651*2^1245511-1 is not prime.  Res64: 6E1F94D4F61A14D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 10:59:24]
715*2^1245511-1 is not prime.  Res64: E3D48A6C1B311940  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:07:34]
735*2^1245511-1 is not prime.  Res64: FFA134927F2C60E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:07:35]
763*2^1245511-1 is not prime.  Res64: 41D8675621E32CD9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:16:51]
909*2^1245511-1 is not prime.  Res64: 75213577E2148828  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:16:52]
939*2^1245511-1 is not prime.  Res64: DC7DBCC1DE39FA23  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:25:08]
617*2^1245512-1 is not prime.  Res64: C817481172439D42  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:25:09]
635*2^1245512-1 is not prime.  Res64: 9A213F7CACCB8FF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:34:18]
687*2^1245512-1 is not prime.  Res64: 5A455FF6E0A1BE8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:34:19]
759*2^1245512-1 is not prime.  Res64: 809F174C62AB10E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:42:48]
837*2^1245512-1 is not prime.  Res64: 86F8EA75CD4EB2AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:42:48]
857*2^1245512-1 is not prime.  Res64: 835C94356CCB8929  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:51:56]
923*2^1245512-1 is not prime.  Res64: 2D81D8CD4B1A7843  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 11:51:56]
649*2^1245513-1 is not prime.  Res64: 2B6D36973FCA2BD0  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:00:40]
679*2^1245513-1 is not prime.  Res64: 2C8BFD75610C13D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:00:41]
681*2^1245513-1 is not prime.  Res64: 887A63A84BBC1FFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:09:40]
735*2^1245513-1 is not prime.  Res64: 9AF948575C8C9CA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:09:42]
885*2^1245513-1 is not prime.  Res64: 72A53DE41631354C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:18:32]
677*2^1245514-1 is not prime.  Res64: 9F4CAA74DB0BD9E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:18:33]
701*2^1245514-1 is not prime.  Res64: 94572184059FB39A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:27:20]
707*2^1245514-1 is not prime.  Res64: 44E0B2AC2B8B40CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:27:20]
773*2^1245514-1 is not prime.  Res64: 847F35CC7AB36DCA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:36:05]
987*2^1245514-1 is not prime.  Res64: A03B98598216F1F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:36:06]
789*2^1245515-1 is not prime.  Res64: F1AEDA100DF33A76  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:44:54]
843*2^1245515-1 is not prime.  Res64: 658657768C330D40  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:44:55]
861*2^1245515-1 is not prime.  Res64: 0F657C1C7809D04A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:53:45]
963*2^1245515-1 is not prime.  Res64: BD1E4661FA642FC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 12:53:46]
825*2^1245516-1 is not prime.  Res64: 2837FA1AAB3D029C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:02:34]
867*2^1245516-1 is not prime.  Res64: F5D3FEF163E19CBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:02:35]
983*2^1245516-1 is not prime.  Res64: 72BDCFA1B30E118F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:12:08]
993*2^1245516-1 is not prime.  Res64: 961CB6D58F549783  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:12:08]
649*2^1245517-1 is not prime.  Res64: F10EF1C2C62FB619  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:20:09]
727*2^1245517-1 is not prime.  Res64: 36277049D3AF6E03  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:20:10]
729*2^1245517-1 is not prime.  Res64: 748949B508C0BDA7  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:29:45]
759*2^1245517-1 is not prime.  Res64: 2A43BEB498484531  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:29:46]
769*2^1245517-1 is not prime.  Res64: 93E6251FC4BA724E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:37:49]
799*2^1245517-1 is not prime.  Res64: EE3309CF7CFBC531  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:37:50]
825*2^1245517-1 is not prime.  Res64: C2C99221CDDC69AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:47:25]
831*2^1245517-1 is not prime.  Res64: DE818BE82E9A8F9A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:47:26]
835*2^1245517-1 is not prime.  Res64: 00FF9C238BF3AFF3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:55:27]
847*2^1245517-1 is not prime.  Res64: 8A1997BC2B32993D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 13:55:28]
861*2^1245517-1 is not prime.  Res64: 4690E6CB3983E368  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:05:03]
605*2^1245518-1 is not prime.  Res64: 666FA42BD03C1544  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:05:04]
657*2^1245518-1 is not prime.  Res64: 96FFDB7CAE14ED53  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:13:05]
705*2^1245518-1 is not prime.  Res64: 2CA2D644CD61E9BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:13:05]
711*2^1245518-1 is not prime.  Res64: 9D18186931D4C600  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:22:52]
713*2^1245518-1 is not prime.  Res64: 948249074CC6EC5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:22:53]
845*2^1245518-1 is not prime.  Res64: 9907A26E90C4F53E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:30:56]
867*2^1245518-1 is not prime.  Res64: 2B5932C97D73C83B  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:30:57]
935*2^1245518-1 is not prime.  Res64: B8F2ABBE00C600AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:40:40]
609*2^1245519-1 is not prime.  Res64: 22958752AD5C6D20  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:40:41]
711*2^1245519-1 is not prime.  Res64: B510EB163F48A941  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:48:29]
831*2^1245519-1 is not prime.  Res64: 979C6A04DC3AB2CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:48:30]
969*2^1245519-1 is not prime.  Res64: 4518D77E65FF335F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:58:10]
665*2^1245520-1 is not prime.  Res64: 1EDEC0DB834C8BBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 14:58:11]
743*2^1245520-1 is not prime.  Res64: 0C725DE02117085A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:05:59]
827*2^1245520-1 is not prime.  Res64: 88030730F381B864  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:06:00]
849*2^1245520-1 is not prime.  Res64: 1DDE76912069B7E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:15:42]
929*2^1245520-1 is not prime.  Res64: AD44EA92B4F8268E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:15:43]
957*2^1245520-1 is not prime.  Res64: 90E0A6C913876C7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:23:43]
645*2^1245521-1 is not prime.  Res64: D9B9EEA565E99E6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:23:43]
705*2^1245521-1 is not prime.  Res64: EA4FB747331576EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:33:33]
741*2^1245521-1 is not prime.  Res64: D4F1A59DAD1EDBAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:33:33]
769*2^1245521-1 is not prime.  Res64: 167B4804D53ED6FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:41:29]
789*2^1245521-1 is not prime.  Res64: 49F596F4FBD69022  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:41:29]
879*2^1245521-1 is not prime.  Res64: 6236BC194C52AB5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:51:07]
657*2^1245522-1 is not prime.  Res64: B1440F6426962108  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:51:08]
777*2^1245522-1 is not prime.  Res64: E8AA6C6F9B2BB829  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:58:59]
875*2^1245522-1 is not prime.  Res64: 7D7987113496438A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 15:59:00]
639*2^1245523-1 is not prime.  Res64: 2F6E2CC79B9DE9A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:08:39]
723*2^1245523-1 is not prime.  Res64: 6F80C2B0060A84EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:08:40]
741*2^1245523-1 is not prime.  Res64: EAF90EA86AA07211  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:16:30]
789*2^1245523-1 is not prime.  Res64: 7E83C0B717EB6748  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:16:30]
813*2^1245523-1 is not prime.  Res64: ADC2D52A6BF1F572  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:26:17]
829*2^1245523-1 is not prime.  Res64: 25ABE8894178504A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:26:18]
885*2^1245523-1 is not prime.  Res64: 1C797DE5E3D52A02  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:34:15]
635*2^1245524-1 is not prime.  Res64: 30BAEEC40BB9008A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:34:15]
699*2^1245524-1 is not prime.  Res64: AAB39624AE5B46EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:45:00]
825*2^1245524-1 is not prime.  Res64: 47208384ACAA0EC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:45:00]
959*2^1245524-1 is not prime.  Res64: 1167CD37C7A11169  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:52:58]
983*2^1245524-1 is not prime.  Res64: BB4176D6B692A93A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 16:52:59]
651*2^1245525-1 is not prime.  Res64: 8AB4F78E166F9655  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:02:49]
727*2^1245525-1 is not prime.  Res64: 003D28C31651A08D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:02:50]
889*2^1245525-1 is not prime.  Res64: 5D08F30615817548  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:10:44]
603*2^1245526-1 is not prime.  Res64: 50C38BE262DF94B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:10:45]
653*2^1245526-1 is not prime.  Res64: FFFBB29D3FC2DFA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:20:59]
705*2^1245526-1 is not prime.  Res64: 5CA9E9C285481E2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:21:00]
741*2^1245526-1 is not prime.  Res64: C6A4E2E02FBD805B  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:28:36]
815*2^1245526-1 is not prime.  Res64: 90604F7B1DC21301  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:28:36]
833*2^1245526-1 is not prime.  Res64: BA95BB74ED711AA3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:38:44]
843*2^1245526-1 is not prime.  Res64: E39A48BEE0C8E1DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:38:44]
729*2^1245527-1 is not prime.  Res64: 2122822E5744EF4A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:46:07]
763*2^1245527-1 is not prime.  Res64: 3CE626495054CC65  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:46:07]
825*2^1245527-1 is not prime.  Res64: 494BAC5B0C6107AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:56:12]
885*2^1245527-1 is not prime.  Res64: 979165F42CC2E194  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 17:56:13]
915*2^1245527-1 is not prime.  Res64: 41B768666E3F7F66  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:03:35]
979*2^1245527-1 is not prime.  Res64: 2A687C37E7F44808  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:03:36]
689*2^1245528-1 is not prime.  Res64: 375BFAE9AA027A3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:13:40]
695*2^1245528-1 is not prime.  Res64: 33A16B6DCFF3A4B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:13:41]
753*2^1245528-1 is not prime.  Res64: 5A15F2617A839E89  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:21:17]
893*2^1245528-1 is not prime.  Res64: 265EDEE1E2059932  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:21:18]
661*2^1245529-1 is not prime.  Res64: C91C6D6DA10B2E81  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:31:08]
681*2^1245529-1 is not prime.  Res64: 3EB4E1660197066D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:31:09]
771*2^1245529-1 is not prime.  Res64: 3165F560A1FD8A1F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:38:46]
801*2^1245529-1 is not prime.  Res64: C2AD9011AB271F8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:38:46]
931*2^1245529-1 is not prime.  Res64: D287826A43769A86  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:49:24]
939*2^1245529-1 is not prime.  Res64: 346CC972EFE73CC2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:49:24]
999*2^1245529-1 is not prime.  Res64: A1E3CC2710EFB5B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:56:13]
675*2^1245530-1 is not prime.  Res64: 8569A95683D427BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 18:56:13]
717*2^1245530-1 is not prime.  Res64: 415A20C3E3EB2791  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:06:51]
735*2^1245530-1 is not prime.  Res64: 75D47AD982FE1DFA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:06:53]
773*2^1245530-1 is not prime.  Res64: E918D64E83046D18  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:13:41]
791*2^1245530-1 is not prime.  Res64: 95342AD7D4D840E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:13:42]
797*2^1245530-1 is not prime.  Res64: 4965990F4EEC7144  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:24:21]
801*2^1245530-1 is not prime.  Res64: 0E19A17C095D885F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:24:21]
867*2^1245530-1 is not prime.  Res64: 1414D192446767D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:31:12]
887*2^1245530-1 is not prime.  Res64: 2997E7C61B1BB594  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:31:13]
723*2^1245531-1 is not prime.  Res64: 28584BB39A88D6CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:41:47]
879*2^1245531-1 is not prime.  Res64: DD47002EB49608BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:41:48]
895*2^1245531-1 is not prime.  Res64: 1C4687FA2CA71C45  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:48:39]
903*2^1245531-1 is not prime.  Res64: 67FC491CE3680D79  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:48:40]
979*2^1245531-1 is not prime.  Res64: 4B1595AC9C05FD44  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:59:14]
665*2^1245532-1 is not prime.  Res64: 7F2FB091551DED90  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 19:59:15]
869*2^1245532-1 is not prime.  Res64: EC423C636333F092  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:06:25]
875*2^1245532-1 is not prime.  Res64: BF7EEDED5AF278E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:06:26]
983*2^1245532-1 is not prime.  Res64: 6D487AA77D361764  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:17:30]
885*2^1245533-1 is not prime.  Res64: 60CBB09636F297A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:17:30]
627*2^1245534-1 is not prime.  Res64: A83BEFB6812ED280  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:24:46]
681*2^1245534-1 is not prime.  Res64: DB9E81DEEEE56A1C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:24:47]
741*2^1245534-1 is not prime.  Res64: 5515BD667F8691B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:35:47]
815*2^1245534-1 is not prime.  Res64: 9A023809E11DA30D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:35:47]
863*2^1245534-1 is not prime.  Res64: A3DC3B61CA605BF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:43:09]
921*2^1245534-1 is not prime.  Res64: A1F68227E410D60D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:43:09]
947*2^1245534-1 is not prime.  Res64: CEDD96845321B77D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:53:59]
965*2^1245534-1 is not prime.  Res64: 77EBEF6F7CE475B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 20:53:59]
609*2^1245535-1 is not prime.  Res64: FDC7C056ED55EE1D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:01:24]
673*2^1245535-1 is not prime.  Res64: 329DFE1FA891545D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:01:25]
765*2^1245535-1 is not prime.  Res64: 4112291BC5E43BFA  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:12:09]
789*2^1245535-1 is not prime.  Res64: 248A5E71C772D78A  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:12:09]
831*2^1245535-1 is not prime.  Res64: 41215609AFBBE9EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:19:45]
855*2^1245535-1 is not prime.  Res64: 43E950F6C9B9FEFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:19:46]
939*2^1245535-1 is not prime.  Res64: 06D828BD2501EB04  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:30:09]
689*2^1245536-1 is not prime.  Res64: EE2B9C5BC5BB5415  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:30:09]
837*2^1245537-1 is not prime.  Res64: 29BF2BCD4DB2FE9D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:37:56]
901*2^1245537-1 is not prime.  Res64: 9501F3D8E5680D38  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:37:56]
645*2^1245538-1 is not prime.  Res64: 825A1700433A45B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:47:56]
657*2^1245538-1 is not prime.  Res64: C4DDF6C7FB10057C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:47:56]
755*2^1245538-1 is not prime.  Res64: 7ED39F7B2B104F3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:55:43]
821*2^1245538-1 is not prime.  Res64: 4BA6CFB46074CE74  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 21:55:43]
825*2^1245538-1 is not prime.  Res64: 78C35BB2ED544E02  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:05:42]
855*2^1245538-1 is not prime.  Res64: 8CC12871B3AF9253  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:05:43]
857*2^1245538-1 is not prime.  Res64: 15C4A463859CAABD  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:14:18]
971*2^1245538-1 is not prime.  Res64: 784467549AA4BC49  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:14:19]
993*2^1245538-1 is not prime.  Res64: 9A93EC4D1A916C5F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:24:20]
1001*2^1245538-1 is not prime.  Res64: D6B96CB821E3869D  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:24:20]
675*2^1245539-1 is not prime.  Res64: 09EAA257349BB26C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:32:07]
685*2^1245539-1 is not prime.  Res64: 92C5E6D8A1F9F0FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:32:07]
771*2^1245539-1 is not prime.  Res64: 874483FA61C8DB97  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:42:05]
909*2^1245539-1 is not prime.  Res64: 62D6B13AEE963459  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:42:06]
985*2^1245539-1 is not prime.  Res64: A550177A8F6B7253  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:50:43]
999*2^1245539-1 is not prime.  Res64: A612FA688FE35534  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:50:44]
725*2^1245540-1 is not prime.  Res64: 9BF7FEA09F394F6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:59:51]
797*2^1245540-1 is not prime.  Res64: C5A892B1A598D2C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 22:59:51]
839*2^1245540-1 is not prime.  Res64: B8E05F886A9B7E06  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:08:29]
923*2^1245540-1 is not prime.  Res64: 5B80F3F5BB6B4A52  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:08:30]
959*2^1245540-1 is not prime.  Res64: 4F0E63540E89970F  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:17:37]
983*2^1245540-1 is not prime.  Res64: 5D0C86AAA64D1018  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:17:37]
649*2^1245541-1 is not prime.  Res64: C72663CAC6F2A293  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:26:17]
675*2^1245541-1 is not prime.  Res64: 4058437B78F78269  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:26:17]
771*2^1245541-1 is not prime.  Res64: 16F5E0995805EF05  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:35:25]
777*2^1245541-1 is not prime.  Res64: 77979E1DD691FA4C  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:35:26]
789*2^1245541-1 is not prime.  Res64: 046FEF2F2BDACF37  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:44:09]
855*2^1245541-1 is not prime.  Res64: EB9F732A40F8C691  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:44:09]
937*2^1245541-1 is not prime.  Res64: DB1840D02D54EBE3  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:53:18]
945*2^1245541-1 is not prime.  Res64: C875157CF226F652  Time : 0.0 sec.
user=mdettweiler
[2013-04-30 23:53:18]
677*2^1245542-1 is not prime.  Res64: A57381D565995DC3  Time : 0.0 sec.