user=mdettweiler
[2013-09-12 00:07:27]
651*2^1252991-1 is not prime.  Res64: C95C699687DE996B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:07:28]
703*2^1252991-1 is not prime.  Res64: CB05B1E1E8AA30BC  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:17:46]
711*2^1252991-1 is not prime.  Res64: BF79C9CF776C4EED  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:17:47]
789*2^1252991-1 is not prime.  Res64: 63C98EC186611BEA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:18:45]
805*2^1252991-1 is not prime.  Res64: AAE61280FBF7E9D8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:18:45]
819*2^1252991-1 is not prime.  Res64: 240635C8586525C9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:21:03]
825*2^1252991-1 is not prime.  Res64: FED4A64B73EE4EA3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:21:03]
921*2^1252991-1 is not prime.  Res64: A3376587FA423FF3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:28:19]
609*2^1252992-1 is not prime.  Res64: 5B120329F8635685  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:28:19]
669*2^1252992-1 is not prime.  Res64: 6D58812451FF57C4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:38:59]
695*2^1252992-1 is not prime.  Res64: 89948E0117041458  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:39:00]
747*2^1252992-1 is not prime.  Res64: B22F51758086CE3B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:40:46]
863*2^1252992-1 is not prime.  Res64: F1ADE3D1FA07A941  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:40:47]
977*2^1252992-1 is not prime.  Res64: 5BC0B270FDE3E251  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:43:08]
999*2^1252992-1 is not prime.  Res64: 1903C4C51EA72E81  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:43:08]
649*2^1252993-1 is not prime.  Res64: 89FCEDA8219FE4E2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:49:42]
747*2^1252993-1 is not prime.  Res64: C0FB8D344381AC97  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 00:49:43]
789*2^1252993-1 is not prime.  Res64: 95C5255F6ACCAB75  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:02:01]
817*2^1252993-1 is not prime.  Res64: 1DEF362C22C64145  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:02:02]
877*2^1252993-1 is not prime.  Res64: A37BFE4D045A677B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:05:14]
897*2^1252993-1 is not prime.  Res64: D6B4D74DA29A8AE0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:05:15]
979*2^1252993-1 is not prime.  Res64: 5CCBFB671E550EDD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:06:37]
999*2^1252993-1 is not prime.  Res64: 11FB028EF9BF3765  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:06:38]
711*2^1252994-1 is not prime.  Res64: AC3E95A2707BF187  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:13:45]
773*2^1252994-1 is not prime.  Res64: B72413967F20B3CA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:13:45]
873*2^1252994-1 is not prime.  Res64: DCCA38B9C2D72546  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:26:11]
971*2^1252994-1 is not prime.  Res64: FFCD6661D9B16BF9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:26:11]
625*2^1252995-1 is not prime.  Res64: 8B5F3A49A33659A9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:28:03]
643*2^1252995-1 is not prime.  Res64: DCE60F9306AFB084  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:28:03]
649*2^1252995-1 is not prime.  Res64: DAB6DD6B319BAF5E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:30:34]
903*2^1252995-1 is not prime.  Res64: 87F2FD56C81C4286  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:30:34]
653*2^1252996-1 is not prime.  Res64: 9CA7B23D4C4406D5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:37:44]
839*2^1252996-1 is not prime.  Res64: D7CA2C4B76C23106  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:37:44]
873*2^1252996-1 is not prime.  Res64: B7E833BC6B8AB80B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:51:37]
899*2^1252996-1 is not prime.  Res64: D7AD0C0D0C8D74E9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:51:37]
909*2^1252996-1 is not prime.  Res64: 8E1C748435BF74F6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:52:25]
933*2^1252996-1 is not prime.  Res64: 9886778A7DE17071  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:52:25]
829*2^1252997-1 is not prime.  Res64: E5D3A680ABCCA314  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:54:26]
831*2^1252997-1 is not prime.  Res64: 24C044C353064C9E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 01:54:26]
879*2^1252997-1 is not prime.  Res64: 4308116DCC26C691  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:02:04]
981*2^1252997-1 is not prime.  Res64: F1A646CA87DB28EF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:02:05]
615*2^1252998-1 is not prime.  Res64: 68173C8CC1B12D7B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:16:36]
635*2^1252998-1 is not prime.  Res64: 77BA3D46059C3816  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:16:37]
641*2^1252998-1 is not prime.  Res64: 8205076AFD6F2077  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:17:06]
695*2^1252998-1 is not prime.  Res64: 1DB66E300E218135  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:17:07]
777*2^1252998-1 is not prime.  Res64: 0107BD04293E686F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:19:09]
825*2^1252998-1 is not prime.  Res64: 35CCA4F49C13A3D8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:19:09]
601*2^1252999-1 is not prime.  Res64: F30096618C332920  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:32:47]
723*2^1252999-1 is not prime.  Res64: 864769CF21E893FB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:32:49]
831*2^1252999-1 is not prime.  Res64: F0FDCCB007E6CC92  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:42:57]
855*2^1252999-1 is not prime.  Res64: B34BE0A526EDFAAB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:42:59]
861*2^1252999-1 is not prime.  Res64: 8AF49AC3C76EA25A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:45:01]
961*2^1252999-1 is not prime.  Res64: E918D778ADCBA122  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:45:01]
975*2^1252999-1 is not prime.  Res64: 60AFE48CC7F87D2E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:45:08]
885*2^1252999-1 is not prime.  Res64: 689125ED2B1C5BA8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:45:09]
933*2^1252999-1 is not prime.  Res64: C57F20FDA6D6D56A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:54:40]
665*2^1253000-1 is not prime.  Res64: 22659F8547E5164D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 02:54:41]
717*2^1253000-1 is not prime.  Res64: C6DE3C68B679990A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:04:22]
753*2^1253000-1 is not prime.  Res64: 6D4F0BD844F4B33D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:04:23]
795*2^1253000-1 is not prime.  Res64: BCC7636739172B0E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:06:28]
843*2^1253000-1 is not prime.  Res64: 76F586B552C7D84A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:06:29]
649*2^1253001-1 is not prime.  Res64: 1EFA1701B5109BF2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:06:36]
691*2^1253001-1 is not prime.  Res64: 6236055D2D7FB79D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:06:36]
789*2^1253001-1 is not prime.  Res64: 099B8D4627F94CB2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:16:27]
861*2^1253001-1 is not prime.  Res64: 53954BDE810B1681  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:16:28]
865*2^1253001-1 is not prime.  Res64: B908F84A4D656267  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:22:06]
907*2^1253001-1 is not prime.  Res64: 3F5A092511B8EFE6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:28:13]
969*2^1253001-1 is not prime.  Res64: 08371D32DF3CB3AD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:28:13]
997*2^1253001-1 is not prime.  Res64: 51ACE2775C9AE6BA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:28:16]
653*2^1253002-1 is not prime.  Res64: 959C1ABF603079D6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:28:16]
681*2^1253002-1 is not prime.  Res64: 33447C2915179D3A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:28:18]
723*2^1253002-1 is not prime.  Res64: D176A78710BEE788  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:28:18]
731*2^1253002-1 is not prime.  Res64: 55C7D8972AAE6669  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:37:55]
735*2^1253002-1 is not prime.  Res64: D52A164C257D92B1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:37:55]
803*2^1253002-1 is not prime.  Res64: 7951A26812EE7C4B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:49:58]
669*2^1253003-1 is not prime.  Res64: 65BE9BC41598D052  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:49:58]
679*2^1253003-1 is not prime.  Res64: 046B73F412B7FD9C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:50:53]
951*2^1253002-1 is not prime.  Res64: 7A92080E170D3877  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:50:53]
615*2^1253003-1 is not prime.  Res64: 91399B1AD26B2784  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:51:48]
911*2^1253002-1 is not prime.  Res64: A12CB698EBC3A655  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:51:48]
947*2^1253002-1 is not prime.  Res64: 394ACF4E5973F7E5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:59:16]
789*2^1253003-1 is not prime.  Res64: BB0226F99BFC11F2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 03:59:16]
805*2^1253003-1 is not prime.  Res64: A156EE8593067FF8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:11:24]
707*2^1253004-1 is not prime.  Res64: 49A7CDF58FEEF569  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:11:25]
767*2^1253004-1 is not prime.  Res64: 4F3FBAC9E565FF44  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:13:08]
751*2^1253005-1 is not prime.  Res64: BC08D7147F7EDABD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:13:08]
799*2^1253005-1 is not prime.  Res64: 213B499049C31A59  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:13:17]
843*2^1253004-1 is not prime.  Res64: 923514AF0CAC437F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:13:17]
987*2^1253004-1 is not prime.  Res64: E4A5705BA7625BC7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:20:46]
627*2^1253006-1 is not prime.  Res64: DA97DFE848E9AD7B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:20:46]
801*2^1253006-1 is not prime.  Res64: 581D4320E82F614C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:33:48]
831*2^1253006-1 is not prime.  Res64: 33FF8A9574FBC663  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:33:49]
911*2^1253006-1 is not prime.  Res64: 7C2114EAB7A8AA66  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:34:28]
615*2^1253007-1 is not prime.  Res64: BF16B89685A77FBE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:34:29]
619*2^1253007-1 is not prime.  Res64: F1CCA6EC599C44B6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:36:23]
971*2^1253006-1 is not prime.  Res64: 1BABA447B2A56C53  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:36:23]
1001*2^1253006-1 is not prime.  Res64: B712AA9E5041ED92  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:41:55]
625*2^1253007-1 is not prime.  Res64: E1B6930A69E0DC50  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:41:55]
639*2^1253007-1 is not prime.  Res64: 8C262529C0B151ED  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:55:05]
685*2^1253007-1 is not prime.  Res64: 92E6B9CF0D6470AB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:55:06]
739*2^1253007-1 is not prime.  Res64: B6C19C97E14B3BEF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:55:20]
819*2^1253007-1 is not prime.  Res64: 18B7B908D4621917  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:55:20]
861*2^1253007-1 is not prime.  Res64: 280F076B59543C45  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:59:33]
933*2^1253007-1 is not prime.  Res64: 7374353EE7A87920  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 04:59:34]
985*2^1253007-1 is not prime.  Res64: AD80B6267FD19E64  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:03:48]
803*2^1253008-1 is not prime.  Res64: 0A5C1234284C2229  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:03:50]
995*2^1253008-1 is not prime.  Res64: 29917AC75E33774B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:15:32]
699*2^1253009-1 is not prime.  Res64: 70011792009E8CA5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:15:33]
771*2^1253009-1 is not prime.  Res64: AF4AAE4FFF3865E3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:15:46]
847*2^1253009-1 is not prime.  Res64: 25553F37596C4351  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:15:46]
855*2^1253009-1 is not prime.  Res64: 3E15E424643A3583  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:20:00]
633*2^1253010-1 is not prime.  Res64: D56D0AE2C675C82F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:20:01]
635*2^1253010-1 is not prime.  Res64: 5DB77E47DDA7FD95  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:24:10]
665*2^1253010-1 is not prime.  Res64: 76EAB80541FFCB7D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:24:10]
681*2^1253010-1 is not prime.  Res64: 98E82E6A4B65BF70  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:35:55]
603*2^1253011-1 is not prime.  Res64: 982BBF13BDC7543E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:35:55]
619*2^1253011-1 is not prime.  Res64: 928CE8C37DEE8EAD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:36:08]
631*2^1253011-1 is not prime.  Res64: B0014727AFB29914  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:36:09]
639*2^1253011-1 is not prime.  Res64: 5858882098FFFAF3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:40:19]
645*2^1253011-1 is not prime.  Res64: 830AE4C0AAE05251  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:40:19]
703*2^1253011-1 is not prime.  Res64: D35710F08FA23570  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:44:28]
709*2^1253011-1 is not prime.  Res64: 10CC41583A420AA6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:44:28]
733*2^1253011-1 is not prime.  Res64: ACB5379DC754D08D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:56:16]
745*2^1253011-1 is not prime.  Res64: E78B7A3FF36BA076  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:56:17]
789*2^1253011-1 is not prime.  Res64: C776B6ABF0A974A8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:56:30]
819*2^1253011-1 is not prime.  Res64: D8FB57116E622788  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 05:56:30]
829*2^1253011-1 is not prime.  Res64: F2DA42934A444F60  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:01:37]
843*2^1253011-1 is not prime.  Res64: B87938E285B97132  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:01:38]
979*2^1253011-1 is not prime.  Res64: 64152B8ABEB0A785  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:04:51]
603*2^1253012-1 is not prime.  Res64: 494FCA0038AFFF92  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:04:52]
665*2^1253012-1 is not prime.  Res64: 285AFF5488826F93  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:16:43]
683*2^1253012-1 is not prime.  Res64: 856A339509901667  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:16:43]
785*2^1253012-1 is not prime.  Res64: 0F394CE5B29C8191  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:17:52]
855*2^1253012-1 is not prime.  Res64: C7BC90813AAE8C5A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:17:53]
875*2^1253012-1 is not prime.  Res64: 551BE03522CC09F0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:23:00]
929*2^1253012-1 is not prime.  Res64: 59EA3D9B8D278707  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:23:01]
609*2^1253013-1 is not prime.  Res64: F4E6AF2A8FAB6179  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:25:19]
675*2^1253013-1 is not prime.  Res64: B9998171A2D8C672  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:25:19]
685*2^1253013-1 is not prime.  Res64: 8BFDD90BCBFED7BD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:37:10]
747*2^1253013-1 is not prime.  Res64: B1E29BA927D97205  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:37:11]
849*2^1253013-1 is not prime.  Res64: 428989F087164081  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:39:18]
861*2^1253013-1 is not prime.  Res64: 44D1B93911D64336  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:39:18]
937*2^1253013-1 is not prime.  Res64: FD09925CC16B48F2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:45:23]
985*2^1253013-1 is not prime.  Res64: 6395674EA78328A4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:45:24]
917*2^1253014-1 is not prime.  Res64: E1B62C1E041959C4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:47:46]
971*2^1253014-1 is not prime.  Res64: 57666642EC9F4A48  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:47:47]
975*2^1253014-1 is not prime.  Res64: 8DE8A0CBC7042123  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:57:41]
645*2^1253015-1 is not prime.  Res64: A0AB049893D799C9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:57:42]
673*2^1253015-1 is not prime.  Res64: 146AB45B227724CE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:59:49]
679*2^1253015-1 is not prime.  Res64: 98707D70A4D7965B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 06:59:49]
693*2^1253015-1 is not prime.  Res64: F4F929C733DBE5D6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:06:47]
763*2^1253015-1 is not prime.  Res64: 4359A14429E45299  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:06:48]
963*2^1253015-1 is not prime.  Res64: D96E679AC672BC32  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:08:15]
627*2^1253016-1 is not prime.  Res64: 673EE0747DABD0C2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:08:16]
639*2^1253016-1 is not prime.  Res64: 48197102B23442E4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:18:02]
789*2^1253016-1 is not prime.  Res64: 6078B59E00938D72  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:18:03]
717*2^1253017-1 is not prime.  Res64: 63CD300555CD252D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:20:14]
747*2^1253017-1 is not prime.  Res64: A895759C6D5F5559  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:20:15]
807*2^1253017-1 is not prime.  Res64: 4E4E2E877A37F2ED  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:27:15]
829*2^1253017-1 is not prime.  Res64: 6DB553E473DBB1BB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:27:15]
861*2^1253017-1 is not prime.  Res64: 31C5EEE0DBD00ADC  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:30:32]
955*2^1253017-1 is not prime.  Res64: 18C8641A84686A94  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:30:33]
957*2^1253017-1 is not prime.  Res64: 40ACE702661AF6E5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:39:33]
985*2^1253017-1 is not prime.  Res64: 452CA5A8841EAC6F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:39:33]
711*2^1253018-1 is not prime.  Res64: 9B1D00C779DD6515  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:40:36]
743*2^1253018-1 is not prime.  Res64: 2333F30BDAB16E27  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:40:36]
747*2^1253018-1 is not prime.  Res64: 826175EE62ABB8A1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:48:28]
833*2^1253018-1 is not prime.  Res64: 07C79A7AFCEF2B66  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:48:29]
875*2^1253018-1 is not prime.  Res64: 7BDA795EF5E6B9EE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:52:46]
923*2^1253018-1 is not prime.  Res64: 8C7D169AAFFFDB8A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:52:47]
927*2^1253018-1 is not prime.  Res64: FDE2C5AEA3CC853C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:59:57]
823*2^1253019-1 is not prime.  Res64: BC2B7DE2C14E0EBC  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 07:59:58]
859*2^1253019-1 is not prime.  Res64: F7163CAFC7367E2D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:02:01]
891*2^1253019-1 is not prime.  Res64: 5EA86328DA6692C0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:02:02]
629*2^1253020-1 is not prime.  Res64: 767550F7D2F665F4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:08:51]
687*2^1253020-1 is not prime.  Res64: 79602C8AAD324E91  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:08:53]
759*2^1253020-1 is not prime.  Res64: 3B40FCB48DF9C453  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:13:09]
777*2^1253020-1 is not prime.  Res64: F9AACB27FB784638  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:13:10]
833*2^1253020-1 is not prime.  Res64: 564056AE0C3F171B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:21:16]
855*2^1253020-1 is not prime.  Res64: 61B63D6A1BC90243  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:21:16]
897*2^1253020-1 is not prime.  Res64: AEF138769B76D756  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:24:18]
909*2^1253020-1 is not prime.  Res64: D0FEB103663E71FF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:24:19]
929*2^1253020-1 is not prime.  Res64: 24BAB02C50C4951B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:31:10]
983*2^1253020-1 is not prime.  Res64: FBE90110B36ED000  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:31:11]
989*2^1253020-1 is not prime.  Res64: 58B5D5301941DA47  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:33:34]
615*2^1253021-1 is not prime.  Res64: 28259A6843ED16C7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:33:34]
657*2^1253021-1 is not prime.  Res64: 5FFA881D4EBD919B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:41:39]
715*2^1253021-1 is not prime.  Res64: B3937D9C2CCCC7B8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:41:40]
727*2^1253021-1 is not prime.  Res64: 3E9EC30A2597B518  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:44:48]
745*2^1253021-1 is not prime.  Res64: 1E521C4E09A1F678  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:44:49]
789*2^1253021-1 is not prime.  Res64: 7C52FA41C39715F2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:53:29]
955*2^1253021-1 is not prime.  Res64: F1FF2BC2248C5024  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:53:30]
981*2^1253021-1 is not prime.  Res64: 6FAF90D5098A4DA0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:53:54]
833*2^1253022-1 is not prime.  Res64: 024E38DB358BC407  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 08:53:55]
843*2^1253022-1 is not prime.  Res64: D2772D7BCDE612A1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:04:04]
977*2^1253022-1 is not prime.  Res64: 136E10346FC4FEDA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:04:05]
983*2^1253022-1 is not prime.  Res64: 1F1FF6A774E5D5FB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:05:13]
615*2^1253023-1 is not prime.  Res64: D76A2F916B2E733B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:05:14]
709*2^1253023-1 is not prime.  Res64: B83535D9DDA6C32B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:13:43]
723*2^1253023-1 is not prime.  Res64: 5614BE425856EDAA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:13:44]
769*2^1253023-1 is not prime.  Res64: 86A501B267CD93E4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:15:08]
853*2^1253023-1 is not prime.  Res64: 59222B4B50233394  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:15:09]
939*2^1253023-1 is not prime.  Res64: E4101BACA1465918  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:25:18]
943*2^1253023-1 is not prime.  Res64: 7BC53FA644875788  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:25:19]
743*2^1253024-1 is not prime.  Res64: 7B58B5E4371123BB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:26:28]
759*2^1253024-1 is not prime.  Res64: 5F2717C74F34E3D5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:26:29]
959*2^1253024-1 is not prime.  Res64: 5615E1C36E55F4F3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:34:56]
993*2^1253024-1 is not prime.  Res64: 046BE45087D64CF5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:34:57]
639*2^1253025-1 is not prime.  Res64: 4625FD8749788545  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:35:27]
699*2^1253025-1 is not prime.  Res64: B0940153CF8CB5AE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:35:28]
781*2^1253025-1 is not prime.  Res64: 87AE6922C191EDBF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:46:39]
817*2^1253025-1 is not prime.  Res64: 7EA1FFA3F629D44F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:46:39]
891*2^1253025-1 is not prime.  Res64: BDD2AA6346F89467  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:46:47]
635*2^1253026-1 is not prime.  Res64: 6A1AE464B15C1A9E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:46:48]
723*2^1253026-1 is not prime.  Res64: 07F0977253096786  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:55:12]
783*2^1253026-1 is not prime.  Res64: CF1671D0B6BB7774  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:55:12]
813*2^1253026-1 is not prime.  Res64: B1E85CA19C5F65FD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:55:44]
833*2^1253026-1 is not prime.  Res64: DB1F899BCAAEBF35  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 09:55:44]
861*2^1253026-1 is not prime.  Res64: A9EF52EE2730465E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:06:56]
609*2^1253027-1 is not prime.  Res64: 41CE538CDC79D9C0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:06:57]
675*2^1253027-1 is not prime.  Res64: 1826B4AA4CA6856B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:07:03]
703*2^1253027-1 is not prime.  Res64: 0D80577642EC16FE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:07:04]
805*2^1253027-1 is not prime.  Res64: 7B33521339EEB594  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:16:03]
629*2^1253028-1 is not prime.  Res64: 786846B9FD45E54C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:16:04]
657*2^1253028-1 is not prime.  Res64: D4071CB924A91088  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:16:31]
829*2^1253027-1 is not prime.  Res64: DE2F5CB677558496  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:16:32]
999*2^1253027-1 is not prime.  Res64: E2EDF6003BCFBAF2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:27:19]
705*2^1253028-1 is not prime.  Res64: CF5BB98E2911A388  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:27:20]
809*2^1253028-1 is not prime.  Res64: 46F104721ED0DBD3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:27:32]
839*2^1253028-1 is not prime.  Res64: D9622AC0180BC3C9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:27:33]
801*2^1253029-1 is not prime.  Res64: 45EEF927621086D5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:36:56]
623*2^1253030-1 is not prime.  Res64: 6F1CECCC3318CAD5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:36:57]
743*2^1253030-1 is not prime.  Res64: 7755EC3DAC536B7E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:38:28]
945*2^1253029-1 is not prime.  Res64: AE0AE9911C96746B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:38:28]
999*2^1253029-1 is not prime.  Res64: BCDCD079A40137BF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:47:58]
753*2^1253030-1 is not prime.  Res64: D715924124AB5B20  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:47:58]
827*2^1253030-1 is not prime.  Res64: C749B0B3A6E3E07E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:49:12]
851*2^1253030-1 is not prime.  Res64: D9511A4921D4DCFA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:49:12]
995*2^1253030-1 is not prime.  Res64: 637A353075A1DE2F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:57:32]
705*2^1253031-1 is not prime.  Res64: E2747BBBC2D01DB5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 10:57:33]
861*2^1253031-1 is not prime.  Res64: B7E5C7F4104232FC  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:01:05]
895*2^1253031-1 is not prime.  Res64: 5266092B2FE73B3A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:01:06]
921*2^1253031-1 is not prime.  Res64: 7FCAE774CAD856A2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:10:03]
955*2^1253031-1 is not prime.  Res64: B7B3A41FCAE00382  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:10:04]
675*2^1253032-1 is not prime.  Res64: 4F58CCA1B3AB4095  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:10:14]
785*2^1253032-1 is not prime.  Res64: 4E004726272463E2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:10:14]
855*2^1253032-1 is not prime.  Res64: F8BD5C4AD33BB9DB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:19:38]
903*2^1253032-1 is not prime.  Res64: 8D0C355C89F4A91D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:19:38]
721*2^1253033-1 is not prime.  Res64: B8372BDFD7DEEF6C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:23:13]
861*2^1253033-1 is not prime.  Res64: 4BA047913EEB0E98  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:23:14]
937*2^1253033-1 is not prime.  Res64: 52AA99CF7CB757F1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:31:11]
615*2^1253034-1 is not prime.  Res64: E138E0C2FE8993F4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:31:12]
633*2^1253034-1 is not prime.  Res64: B00D5D7ED1EA5743  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:31:21]
635*2^1253034-1 is not prime.  Res64: 5AC8C163C47CEB0B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:31:21]
657*2^1253034-1 is not prime.  Res64: 0BA2D8CD29D61495  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:40:54]
677*2^1253034-1 is not prime.  Res64: 04EE7B9E3FC2D900  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:40:55]
683*2^1253034-1 is not prime.  Res64: 0DBE1414B019E8F0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:44:25]
705*2^1253034-1 is not prime.  Res64: 38CC832830F31AE7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:44:25]
767*2^1253034-1 is not prime.  Res64: 666008CEE0E69380  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:52:14]
733*2^1253035-1 is not prime.  Res64: 4F91038A64E3EDA3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:52:15]
765*2^1253035-1 is not prime.  Res64: 3573E3A462793EE4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:54:03]
893*2^1253034-1 is not prime.  Res64: E84E80E24833B61E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 11:54:04]
993*2^1253034-1 is not prime.  Res64: C679838F658607C2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:02:28]
841*2^1253035-1 is not prime.  Res64: 72DEAE8FC39FC11E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:02:29]
909*2^1253035-1 is not prime.  Res64: 8F3B328126374679  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:05:53]
999*2^1253035-1 is not prime.  Res64: 667CB964EF78AC1F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:05:54]
677*2^1253036-1 is not prime.  Res64: 57DE8F860D57E1D1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:12:43]
833*2^1253036-1 is not prime.  Res64: EFE28EF57A0D9112  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:12:44]
855*2^1253036-1 is not prime.  Res64: 5D28797594747C95  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:16:26]
969*2^1253036-1 is not prime.  Res64: 3EBF745C4BA28B9A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:16:26]
999*2^1253036-1 is not prime.  Res64: 41628EA2883F2E2D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:22:57]
769*2^1253037-1 is not prime.  Res64: 90D27D5C900F62FF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:22:57]
861*2^1253037-1 is not prime.  Res64: 1E3BDCFE03026DCA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:27:18]
885*2^1253037-1 is not prime.  Res64: 404A694B9DCD285C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:27:18]
657*2^1253038-1 is not prime.  Res64: 75F24A2B514B4E9F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:34:16]
723*2^1253038-1 is not prime.  Res64: 4F712AC5CC8D15CD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:34:17]
923*2^1253038-1 is not prime.  Res64: DB19AC67AFB9379C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:38:45]
957*2^1253038-1 is not prime.  Res64: B82CCDC876167848  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:38:45]
993*2^1253038-1 is not prime.  Res64: 818C72E5C74A672B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:43:20]
621*2^1253039-1 is not prime.  Res64: DDB4F33A90F9E809  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:43:20]
663*2^1253039-1 is not prime.  Res64: 8946A0DD4C41F210  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:47:50]
745*2^1253039-1 is not prime.  Res64: 269D43C166E8EE9E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:47:50]
753*2^1253039-1 is not prime.  Res64: 9865D44F0109CFB1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:54:46]
813*2^1253039-1 is not prime.  Res64: 4DAFD0B72FB53547  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 12:54:47]
737*2^1253040-1 is not prime.  Res64: 6A7361B7F597A227  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:00:05]
819*2^1253040-1 is not prime.  Res64: 30BAEDD06DDC9C2A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:00:06]
873*2^1253040-1 is not prime.  Res64: 1B821FE08373E7A6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:05:47]
887*2^1253040-1 is not prime.  Res64: 7EB7284066A52F33  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:05:48]
927*2^1253040-1 is not prime.  Res64: 322BECA16AC3503A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:09:14]
835*2^1253041-1 is not prime.  Res64: 7A17CD9145E66734  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:09:15]
871*2^1253041-1 is not prime.  Res64: 267308AEFF6519F2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:17:11]
937*2^1253041-1 is not prime.  Res64: 91A62A627DFF9D2C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:17:12]
967*2^1253041-1 is not prime.  Res64: 2D95EC85BB0D9615  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:21:25]
791*2^1253042-1 is not prime.  Res64: 799319EE529B4151  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:21:25]
921*2^1253042-1 is not prime.  Res64: DC73DB9D5E54CAFE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:28:00]
957*2^1253042-1 is not prime.  Res64: 43C6755011BE2524  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:28:00]
983*2^1253042-1 is not prime.  Res64: C35BA470D6B5820B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:29:36]
685*2^1253043-1 is not prime.  Res64: 3F14418674C771E3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:29:37]
703*2^1253043-1 is not prime.  Res64: 87D5D61EC6C90A56  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:37:30]
735*2^1253043-1 is not prime.  Res64: A293F6BD0531F212  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:37:30]
769*2^1253043-1 is not prime.  Res64: F8A1F8244BD8D4BD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:41:42]
717*2^1253044-1 is not prime.  Res64: 4FD0EBBA6A9C2BD7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:41:43]
803*2^1253044-1 is not prime.  Res64: 64E5492868C434A3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:48:12]
843*2^1253044-1 is not prime.  Res64: 874A8FDFAB6233BB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:48:12]
855*2^1253044-1 is not prime.  Res64: 60089F07438133CE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:50:46]
869*2^1253044-1 is not prime.  Res64: 9B14B6450239DF22  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:50:47]
887*2^1253044-1 is not prime.  Res64: 5853B2B2BFF63C29  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:58:44]
897*2^1253044-1 is not prime.  Res64: A7A42297C033D379  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 13:58:44]
669*2^1253045-1 is not prime.  Res64: D91B11534C4B0EFB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:02:02]
775*2^1253045-1 is not prime.  Res64: 530D53DE58C24C56  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:02:03]
789*2^1253045-1 is not prime.  Res64: 947C492A129ECE92  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:09:29]
795*2^1253045-1 is not prime.  Res64: D4F2A6B377898260  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:09:30]
889*2^1253045-1 is not prime.  Res64: AC7DC693EC62F70B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:13:01]
925*2^1253045-1 is not prime.  Res64: 1761F65DFA11EAA1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:13:01]
939*2^1253045-1 is not prime.  Res64: E06DB2701526082D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:19:00]
755*2^1253046-1 is not prime.  Res64: DE1B6F50ABB68719  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:19:00]
833*2^1253046-1 is not prime.  Res64: 0246EA3E69DE54FD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:24:07]
945*2^1253046-1 is not prime.  Res64: 55686C2EB3621E71  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:24:07]
975*2^1253046-1 is not prime.  Res64: 575E43E192110473  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:30:42]
993*2^1253046-1 is not prime.  Res64: FE00244E11DEC8BE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:30:42]
663*2^1253047-1 is not prime.  Res64: CA96AA4911E9223E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:34:12]
859*2^1253047-1 is not prime.  Res64: CD1ECFA2FB0EB696  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:34:12]
885*2^1253047-1 is not prime.  Res64: A32D4895C91AA757  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:41:10]
913*2^1253047-1 is not prime.  Res64: F2726CD86A55B99D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:41:11]
975*2^1253047-1 is not prime.  Res64: 5FA261FEAADD2FD2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:44:31]
713*2^1253048-1 is not prime.  Res64: 8445C043F11536A5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:44:31]
725*2^1253048-1 is not prime.  Res64: FF6889B454AE01F8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:50:57]
755*2^1253048-1 is not prime.  Res64: F80170EC0C9B4991  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:50:58]
759*2^1253048-1 is not prime.  Res64: A4F09FBCD82EBBDE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:55:24]
767*2^1253048-1 is not prime.  Res64: BED6C1856D301A5B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 14:55:24]
993*2^1253048-1 is not prime.  Res64: BE95BC13C8CF4AAE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:01:28]
721*2^1253049-1 is not prime.  Res64: B8DACE19EF7C771B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:01:29]
741*2^1253049-1 is not prime.  Res64: 7724630A98117D7E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:05:42]
955*2^1253049-1 is not prime.  Res64: 4884F8D3785E320C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:05:43]
603*2^1253050-1 is not prime.  Res64: 2C2A209B86809B3F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:11:10]
777*2^1253050-1 is not prime.  Res64: EDF1D7631665CF90  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:11:11]
827*2^1253050-1 is not prime.  Res64: BE3796993B8852EF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:17:31]
891*2^1253050-1 is not prime.  Res64: 9766FA142D8AD891  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:17:32]
923*2^1253050-1 is not prime.  Res64: A7A5BA8AE91F59C4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:22:42]
941*2^1253050-1 is not prime.  Res64: 7FC122C80B3DDF53  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:22:42]
601*2^1253051-1 is not prime.  Res64: 578C6999FB976696  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:25:55]
715*2^1253051-1 is not prime.  Res64: 8FCCADB9970B8114  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:25:55]
735*2^1253051-1 is not prime.  Res64: 0C66B7E018F5A1BA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:31:27]
811*2^1253051-1 is not prime.  Res64: 17EBF878A9D5C028  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:31:28]
855*2^1253051-1 is not prime.  Res64: C1D556C43CB93F28  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:37:48]
665*2^1253052-1 is not prime.  Res64: 163D8EF786EE75C4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:37:49]
749*2^1253052-1 is not prime.  Res64: 715DDAE15EDC5E00  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:42:55]
767*2^1253052-1 is not prime.  Res64: CFCB321621BD14AE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:42:56]
803*2^1253052-1 is not prime.  Res64: 77F6AA19EC6E71CD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:47:06]
819*2^1253052-1 is not prime.  Res64: 2409A0DBBDED51A1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:47:07]
903*2^1253052-1 is not prime.  Res64: 2B157D8D52C245EC  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:53:39]
923*2^1253052-1 is not prime.  Res64: 8BE76BC26DD8452A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 15:53:39]
933*2^1253052-1 is not prime.  Res64: 2DF3CDFDFDB4602A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:00:02]
965*2^1253052-1 is not prime.  Res64: 474537604ACEA4F4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:00:02]
977*2^1253052-1 is not prime.  Res64: 61EF02F30FF7AAA9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:04:17]
987*2^1253052-1 is not prime.  Res64: 693055F3E6DF3F31  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:04:17]
639*2^1253053-1 is not prime.  Res64: 6C6B29B3480F0F08  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:07:34]
687*2^1253053-1 is not prime.  Res64: A1241160E78631D6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:07:35]
771*2^1253053-1 is not prime.  Res64: 37C1875870C7C7EA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:13:57]
775*2^1253053-1 is not prime.  Res64: 54A95CB2CB7BEAFB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:13:58]
819*2^1253053-1 is not prime.  Res64: B2A1F35187FB9D99  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:22:19]
889*2^1253053-1 is not prime.  Res64: 773342B5C980D4BE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:22:20]
939*2^1253053-1 is not prime.  Res64: F1D4E155247228BF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:26:29]
957*2^1253053-1 is not prime.  Res64: 5145F6DF17264B07  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:26:29]
961*2^1253053-1 is not prime.  Res64: 99FF1CEFBEEA3055  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:27:52]
663*2^1253054-1 is not prime.  Res64: BD70FEF19C6A72F2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:27:52]
773*2^1253054-1 is not prime.  Res64: 2D9B1576812681C2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:35:19]
857*2^1253054-1 is not prime.  Res64: 0B4BFF5054D1388F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:35:20]
885*2^1253054-1 is not prime.  Res64: DE66D5EB10D2662D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:42:38]
685*2^1253055-1 is not prime.  Res64: 2739E87EB0F784CD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:42:38]
709*2^1253055-1 is not prime.  Res64: 060D1A03E493ED83  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:47:00]
765*2^1253055-1 is not prime.  Res64: 005DBE1D4A9218EE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:47:00]
783*2^1253055-1 is not prime.  Res64: 1ECEE305B8823420  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:48:21]
805*2^1253055-1 is not prime.  Res64: ECAC2368FB8278AE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:48:21]
853*2^1253055-1 is not prime.  Res64: CF437957DCE6A84B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:59:06]
895*2^1253055-1 is not prime.  Res64: C941A60CBD71710A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 16:59:06]
969*2^1253055-1 is not prime.  Res64: F6BD4D3FC066E44D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:06:01]
985*2^1253055-1 is not prime.  Res64: BEBA60941C2B15E1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:06:01]
743*2^1253056-1 is not prime.  Res64: 3F34E149A59E57C5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:09:44]
759*2^1253056-1 is not prime.  Res64: 72DF8DF8137C362A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:09:45]
777*2^1253056-1 is not prime.  Res64: E223EA23209FDAD5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:12:13]
807*2^1253056-1 is not prime.  Res64: 640FDA6596EF845F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:12:14]
875*2^1253056-1 is not prime.  Res64: 9F6A0F8537D15561  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:24:12]
939*2^1253056-1 is not prime.  Res64: C7BB6295582BB06D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:24:12]
993*2^1253056-1 is not prime.  Res64: F7C4D4496BA0C9B5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:29:44]
999*2^1253056-1 is not prime.  Res64: 173B3BD9E030AF18  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:29:44]
619*2^1253057-1 is not prime.  Res64: ED18DDABA14EA315  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:32:03]
627*2^1253057-1 is not prime.  Res64: A13D771A4EE152A9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:32:04]
697*2^1253057-1 is not prime.  Res64: 54434533497D5E06  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:34:18]
781*2^1253057-1 is not prime.  Res64: C2715ECCDD6B20E6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:34:18]
829*2^1253057-1 is not prime.  Res64: 11E951F36948C128  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:47:16]
937*2^1253057-1 is not prime.  Res64: D8BB538650EECFBF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:47:17]
967*2^1253057-1 is not prime.  Res64: 4BD0EE3F4C36E545  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:50:32]
683*2^1253058-1 is not prime.  Res64: 28C5C4BF2A37085A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:50:32]
867*2^1253058-1 is not prime.  Res64: 9FB6C0912802EBF6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:53:49]
971*2^1253058-1 is not prime.  Res64: C661F791F17ED211  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:53:50]
603*2^1253059-1 is not prime.  Res64: E0AE1E51067525FE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:55:23]
615*2^1253059-1 is not prime.  Res64: 0F75B21F3E53A18E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 17:55:23]
679*2^1253059-1 is not prime.  Res64: A17069F47AEEBC02  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:08:37]
733*2^1253059-1 is not prime.  Res64: 3B64C68F0087D4D0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:08:37]
861*2^1253059-1 is not prime.  Res64: 8E776C866562286E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:14:09]
919*2^1253059-1 is not prime.  Res64: 75144177E4B79440  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:14:09]
931*2^1253059-1 is not prime.  Res64: E140A0D6FF9D4CF9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:14:58]
635*2^1253060-1 is not prime.  Res64: 960738EBE9C9C5A9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:14:58]
675*2^1253060-1 is not prime.  Res64: E4E856627C88FCD2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:16:55]
707*2^1253060-1 is not prime.  Res64: 73D104E7D32FFAB8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:16:55]
719*2^1253060-1 is not prime.  Res64: 9DAC57C4C0C0A607  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:29:35]
797*2^1253060-1 is not prime.  Res64: 32DBC94C9716C4D2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:29:36]
819*2^1253060-1 is not prime.  Res64: 2E31CEE5D4D35EDA  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:36:48]
983*2^1253060-1 is not prime.  Res64: 5D0E4EBCE04532E4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:36:48]
657*2^1253061-1 is not prime.  Res64: AE98695DC7ADAE62  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:37:13]
959*2^1253060-1 is not prime.  Res64: B99B8E99998E56E0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:37:13]
963*2^1253060-1 is not prime.  Res64: 4BFB6D2A82F39D42  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:37:56]
811*2^1253061-1 is not prime.  Res64: 5718AA954604AC6D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:37:56]
847*2^1253061-1 is not prime.  Res64: 85DE1E3205B52DC9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:51:32]
859*2^1253061-1 is not prime.  Res64: FC15CA4FD3F007A3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:51:33]
951*2^1253061-1 is not prime.  Res64: 669FAFF891192E71  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:57:46]
647*2^1253062-1 is not prime.  Res64: 3AC3A6A0395D697F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:57:46]
665*2^1253062-1 is not prime.  Res64: 648AA7552B2D5483  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:58:00]
671*2^1253062-1 is not prime.  Res64: 41050E2EEA1EA2D4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:58:00]
681*2^1253062-1 is not prime.  Res64: 56EC4FCA0FAD0E39  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:59:07]
713*2^1253062-1 is not prime.  Res64: FA610777614B3793  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 18:59:07]
741*2^1253062-1 is not prime.  Res64: 7D75385E49A76374  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:13:45]
833*2^1253062-1 is not prime.  Res64: F0C6DDF96119CAD5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:13:45]
885*2^1253062-1 is not prime.  Res64: 57F38F6DDCB8755A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:20:40]
945*2^1253062-1 is not prime.  Res64: 27AFE96576545AD5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:20:41]
739*2^1253063-1 is not prime.  Res64: 236EE5C88F18A746  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:21:00]
917*2^1253062-1 is not prime.  Res64: 82136EC1E8767FD3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:21:00]
941*2^1253062-1 is not prime.  Res64: 601FB4467E0FDA5D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:21:20]
823*2^1253063-1 is not prime.  Res64: 17F36A88D85277C8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:21:20]
963*2^1253063-1 is not prime.  Res64: 4F45E25E7237110A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:36:42]
981*2^1253063-1 is not prime.  Res64: C04991213942F71E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:36:43]
663*2^1253064-1 is not prime.  Res64: 258464DB9C60D0B0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:42:30]
799*2^1253065-1 is not prime.  Res64: 320C3125CB5007ED  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:42:30]
831*2^1253065-1 is not prime.  Res64: 90CBF4924902DCCF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:44:07]
909*2^1253064-1 is not prime.  Res64: 19D080CBEACEFCE6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:44:08]
929*2^1253064-1 is not prime.  Res64: 5990537238FE7D45  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:44:34]
871*2^1253065-1 is not prime.  Res64: C519CC9E956B1306  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:44:34]
919*2^1253065-1 is not prime.  Res64: E1FF947E23825EA8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:59:44]
939*2^1253065-1 is not prime.  Res64: FF39B79DF10AC887  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 19:59:45]
957*2^1253065-1 is not prime.  Res64: EDD005DDA609040B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:03:17]
603*2^1253066-1 is not prime.  Res64: AA6A54DBC40EE61D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:03:18]
635*2^1253066-1 is not prime.  Res64: CBD06E6FB73E012D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:04:54]
755*2^1253066-1 is not prime.  Res64: 5ED44020BDD61E8F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:04:55]
801*2^1253066-1 is not prime.  Res64: B5D9DE6FC299B050  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:05:28]
837*2^1253066-1 is not prime.  Res64: FC3FFD26B3DC5F9E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:05:29]
609*2^1253067-1 is not prime.  Res64: 5D24B3DC37947FA7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:20:38]
633*2^1253067-1 is not prime.  Res64: A132DBF906BECE3F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:20:38]
649*2^1253067-1 is not prime.  Res64: 45F3A0245CA77D8E  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:24:09]
651*2^1253067-1 is not prime.  Res64: 0AB9E45EA284F82F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:24:09]
735*2^1253067-1 is not prime.  Res64: D6CF8206759F7B0C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:25:39]
801*2^1253067-1 is not prime.  Res64: 8F9136D5DBA6C0C5  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:25:39]
859*2^1253067-1 is not prime.  Res64: 0D43EC112A0436C4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:27:14]
861*2^1253067-1 is not prime.  Res64: 68760282CBD6D5A0  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:27:15]
879*2^1253067-1 is not prime.  Res64: 0B01ADD8D1938839  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:41:26]
743*2^1253068-1 is not prime.  Res64: 099B59CA17CB1DB3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:41:26]
845*2^1253068-1 is not prime.  Res64: E2CDA1D7D05939AC  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:44:53]
863*2^1253068-1 is not prime.  Res64: F6A0C8613571D4FE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:44:54]
869*2^1253068-1 is not prime.  Res64: 6390F5E5E6E012A2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:48:02]
685*2^1253069-1 is not prime.  Res64: B54C242E8B0676E7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:48:03]
729*2^1253069-1 is not prime.  Res64: BD1E9166DA5810E4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:48:20]
887*2^1253068-1 is not prime.  Res64: 41F0CA5822F8160C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 20:48:21]
899*2^1253068-1 is not prime.  Res64: 916B4D780B8576EE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:02:04]
745*2^1253069-1 is not prime.  Res64: B7A36A04FD57A3DD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:02:05]
771*2^1253069-1 is not prime.  Res64: 0B0AE655ABB51D89  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:06:42]
861*2^1253069-1 is not prime.  Res64: 815D8066B1961B80  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:06:42]
967*2^1253069-1 is not prime.  Res64: 7C9D3AFBC7BF4F22  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:09:16]
681*2^1253070-1 is not prime.  Res64: E4BD03CC597DDF5B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:09:17]
767*2^1253070-1 is not prime.  Res64: F30ADC06152ABE76  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:09:48]
987*2^1253069-1 is not prime.  Res64: 792A554AD5B7126A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:09:49]
641*2^1253070-1 is not prime.  Res64: 82F87076A6442727  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:23:12]
833*2^1253070-1 is not prime.  Res64: 3076C3AF62A9D5D3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:23:13]
851*2^1253070-1 is not prime.  Res64: 69127323EEFAE70A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:28:33]
867*2^1253070-1 is not prime.  Res64: 292AE8095ED718A7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:28:33]
977*2^1253070-1 is not prime.  Res64: 05644DD263534AA4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:30:02]
601*2^1253071-1 is not prime.  Res64: 03EFC4E9054E60F9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:30:03]
615*2^1253071-1 is not prime.  Res64: 55623F442E0344D2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:30:41]
651*2^1253071-1 is not prime.  Res64: 7182BB7D12A0334A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:30:41]
735*2^1253071-1 is not prime.  Res64: E55DE34E8DD5241A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:45:21]
849*2^1253071-1 is not prime.  Res64: C541C9A8F3BA66EE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:45:21]
873*2^1253071-1 is not prime.  Res64: 2954BCBDC4B5CC7D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:50:17]
891*2^1253071-1 is not prime.  Res64: 35F8BC4343E5A9FB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:50:17]
629*2^1253072-1 is not prime.  Res64: D3418952055B88E6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:50:47]
687*2^1253072-1 is not prime.  Res64: 4E3AFD877DE528AB  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:50:47]
717*2^1253072-1 is not prime.  Res64: 2FC1A08492F2F65A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:51:39]
767*2^1253072-1 is not prime.  Res64: C891870A8AAA5D97  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 21:51:39]
825*2^1253072-1 is not prime.  Res64: AEBF0F238E012A71  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:06:03]
855*2^1253072-1 is not prime.  Res64: 15E774754177F320  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:06:04]
637*2^1253073-1 is not prime.  Res64: 0DED011224FB84F8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:11:04]
679*2^1253073-1 is not prime.  Res64: 36974BFA24CB61C4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:11:04]
681*2^1253073-1 is not prime.  Res64: AE5F616BD4603FE8  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:11:28]
699*2^1253073-1 is not prime.  Res64: B86B6666E8524570  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:11:29]
727*2^1253073-1 is not prime.  Res64: F12F96D3D9361C5A  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:12:26]
739*2^1253073-1 is not prime.  Res64: 81E21B1BA45C5796  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:12:27]
769*2^1253073-1 is not prime.  Res64: 4A0DE05E852CA07F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:27:17]
795*2^1253073-1 is not prime.  Res64: 8F394E66F3118A5B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:27:18]
835*2^1253073-1 is not prime.  Res64: 9B72F22613D397E2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:33:20]
755*2^1253074-1 is not prime.  Res64: 991630AD32424EB4  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:33:20]
831*2^1253074-1 is not prime.  Res64: 2AC51669F96FDFC3  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:34:03]
871*2^1253073-1 is not prime.  Res64: BBCB0FF13CAFC822  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:34:03]
955*2^1253073-1 is not prime.  Res64: CCAA593926A47E57  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:34:25]
979*2^1253073-1 is not prime.  Res64: F2EED246C2AE023B  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:34:25]
991*2^1253073-1 is not prime.  Res64: BE5D19F0176E63A9  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:50:22]
887*2^1253074-1 is not prime.  Res64: 5323C0F7542E3FB7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:50:22]
1001*2^1253074-1 is not prime.  Res64: 21A98C07CB06ACAE  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:54:18]
601*2^1253075-1 is not prime.  Res64: A127294873D22E9C  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:54:18]
643*2^1253075-1 is not prime.  Res64: 6DFB28BDB21BEED1  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:54:58]
645*2^1253075-1 is not prime.  Res64: B6EB55E04AA6EEC6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:54:58]
679*2^1253075-1 is not prime.  Res64: 68AEBA36DE0B4518  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:55:19]
805*2^1253075-1 is not prime.  Res64: 5F89F6EB73C34F07  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 22:55:19]
859*2^1253075-1 is not prime.  Res64: 063D18E6C76BD727  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:13:44]
909*2^1253075-1 is not prime.  Res64: FB91DD007A136345  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:13:45]
939*2^1253075-1 is not prime.  Res64: B22F3D00F43F2701  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:15:55]
647*2^1253076-1 is not prime.  Res64: 040AB96288BC95FC  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:15:55]
723*2^1253076-1 is not prime.  Res64: C930ECE48CC1BBB7  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:17:29]
843*2^1253076-1 is not prime.  Res64: 5B5405B2308A68FD  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:17:29]
873*2^1253076-1 is not prime.  Res64: EB4EAB92C0F85109  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:18:58]
893*2^1253076-1 is not prime.  Res64: 84508D9789B99927  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:18:58]
927*2^1253076-1 is not prime.  Res64: 26DF205BEA4515B6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:34:16]
619*2^1253077-1 is not prime.  Res64: 6B9B6DF0342D564D  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:34:17]
625*2^1253077-1 is not prime.  Res64: 89E9B768F9989B73  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:36:07]
751*2^1253077-1 is not prime.  Res64: 7B59BD08D3E6B6FC  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:36:07]
835*2^1253077-1 is not prime.  Res64: 004BC964E14727A2  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:39:16]
705*2^1253078-1 is not prime.  Res64: 93B8FA1920E732E6  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:39:17]
827*2^1253078-1 is not prime.  Res64: 6027F04F51C32300  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:39:36]
937*2^1253077-1 is not prime.  Res64: 73AC8A1B7CFD6799  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:39:36]
979*2^1253077-1 is not prime.  Res64: A746C962D777D668  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:56:16]
619*2^1253079-1 is not prime.  Res64: E2128F9459E19066  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:56:17]
711*2^1253079-1 is not prime.  Res64: 117E91095AEDC251  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:56:24]
911*2^1253078-1 is not prime.  Res64: A4C9062DD43B8C8F  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:56:24]
977*2^1253078-1 is not prime.  Res64: 63950FD2510EB128  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:59:26]
735*2^1253079-1 is not prime.  Res64: A9C90F86441671AF  Time : 0.0 sec.
user=mdettweiler
[2013-09-12 23:59:26]
793*2^1253079-1 is not prime.  Res64: 5B7DD66444DB28BC  Time : 0.0 sec.
user=mdettweiler
[2013-09-13 00:00:45]
719*2^1253080-1 is not prime.  Res64: F4907F5AC62900DF  Time : 0.0 sec.
user=mdettweiler
[2013-09-13 00:00:45]
939*2^1253080-1 is not prime.  Res64: 64F18D0AC6EC970F  Time : 0.0 sec.