user=vaughan
[2012-10-28 00:06:49]
897*2^1233262-1 is not prime.  Res64: 70BF10ED6C34BEBC  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:07:46]
717*2^1233264-1 is not prime.  Res64: 41273213E5F68BFA  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:07:48]
825*2^1233264-1 is not prime.  Res64: A7CE46C2EC9781C4  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:09:05]
929*2^1233264-1 is not prime.  Res64: BDEC437DAA57B27B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:09:06]
607*2^1233265-1 is not prime.  Res64: 3EC23FFAC9227076  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:28:34]
679*2^1233265-1 is not prime.  Res64: C91540CDF0A4A145  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:28:35]
841*2^1233265-1 is not prime.  Res64: FAEA5855E46FD6CC  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:29:47]
855*2^1233265-1 is not prime.  Res64: BBE80D63ECC6A059  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:29:47]
645*2^1233266-1 is not prime.  Res64: 5BE7826000BFB4D2  Time : 0.0 sec.
user=vaughan
[2012-10-28 00:44:46]
625*2^1233265-1 is not prime.  Res64: 6DBFEDD21156CD48  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:49:32]
711*2^1233266-1 is not prime.  Res64: 6FC4AC9C2E502D01  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:49:32]
713*2^1233266-1 is not prime.  Res64: 9616A1DBF64A8AD9  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:50:29]
717*2^1233266-1 is not prime.  Res64: 9F567DE6276B7246  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 00:50:29]
893*2^1233266-1 is not prime.  Res64: 5941079230F27024  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:10:12]
953*2^1233266-1 is not prime.  Res64: 04EDA6F0190B8C1D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:10:12]
963*2^1233266-1 is not prime.  Res64: 0224EC538764D592  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:11:10]
849*2^1233267-1 is not prime.  Res64: BC710083AB9E9B3B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:11:11]
871*2^1233267-1 is not prime.  Res64: F00D0E2F26C3D790  Time : 0.0 sec.
user=vaughan
[2012-10-28 01:22:42]
903*2^1233266-1 is not prime.  Res64: 2E0E930224C969D2  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:30:56]
879*2^1233267-1 is not prime.  Res64: C0027505F721BAC1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:30:57]
705*2^1233268-1 is not prime.  Res64: 70A935361492D814  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:31:53]
813*2^1233268-1 is not prime.  Res64: EEC945A776202196  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:31:54]
927*2^1233268-1 is not prime.  Res64: C262EE3C9E5DE849  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:51:35]
855*2^1233269-1 is not prime.  Res64: 723E47CA46C27C12  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:51:36]
955*2^1233269-1 is not prime.  Res64: D05867B7FE979CD7  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:52:32]
635*2^1233270-1 is not prime.  Res64: 6B2A5536BB56FED3  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 01:52:32]
641*2^1233270-1 is not prime.  Res64: 7CE8FF49C9D50BF6  Time : 0.0 sec.
user=vaughan
[2012-10-28 02:00:28]
601*2^1233269-1 is not prime.  Res64: 3618039E1CAF547E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:12:13]
695*2^1233270-1 is not prime.  Res64: 83085CB3E9FF7691  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:12:14]
707*2^1233270-1 is not prime.  Res64: DBA44149C2EDC87B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:13:08]
791*2^1233270-1 is not prime.  Res64: E8B698AB43F160D1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:13:10]
863*2^1233270-1 is not prime.  Res64: 811551315D7A66B0  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:32:55]
945*2^1233270-1 is not prime.  Res64: ECC634C244C5831E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:32:56]
965*2^1233270-1 is not prime.  Res64: F0BD223B3E2CF903  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:33:48]
661*2^1233271-1 is not prime.  Res64: 8AE7536C4D5F5F65  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:33:49]
673*2^1233271-1 is not prime.  Res64: 9F8B1B018ED87363  Time : 0.0 sec.
user=vaughan
[2012-10-28 02:38:15]
873*2^1233270-1 is not prime.  Res64: 754709633F94B80B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:53:41]
693*2^1233271-1 is not prime.  Res64: 37A5801BBABDD135  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:54:27]
741*2^1233271-1 is not prime.  Res64: 105E30350EE6C157  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 02:54:29]
855*2^1233271-1 is not prime.  Res64: 0F59F6B6D29F12B3  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 03:15:29]
895*2^1233271-1 is not prime.  Res64: B96AF472FFC0DA1B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 03:15:31]
603*2^1233272-1 is not prime.  Res64: 71AFA0CC36A0F181  Time : 0.0 sec.
user=vaughan
[2012-10-28 03:19:23]
861*2^1233271-1 is not prime.  Res64: 38FCBD3A62A081DA  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 03:40:05]
617*2^1233272-1 is not prime.  Res64: 3C5D0F81D307124E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 03:40:09]
693*2^1233272-1 is not prime.  Res64: 34AEA6B63CDCCE6F  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 03:45:23]
705*2^1233271-1 is not prime.  Res64: 2B99CD2A5447E486  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:01:08]
903*2^1233272-1 is not prime.  Res64: C86EC50657A57C6E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:01:09]
923*2^1233272-1 is not prime.  Res64: C70E192A24FB8AF4  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:06:03]
627*2^1233273-1 is not prime.  Res64: E286CB0DD266376E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:06:05]
685*2^1233273-1 is not prime.  Res64: 1BFD52E526CC3F07  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:22:10]
759*2^1233273-1 is not prime.  Res64: AC6AF71C3A8FE16A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:22:11]
937*2^1233273-1 is not prime.  Res64: 3C6A265A2EB65904  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:27:14]
707*2^1233274-1 is not prime.  Res64: 5D6741AB08A5CC26  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:27:15]
723*2^1233274-1 is not prime.  Res64: 0116FA7C983D8694  Time : 0.0 sec.
user=vaughan
[2012-10-28 04:29:46]
705*2^1233273-1 is not prime.  Res64: 41505D023C8FBB1C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:42:54]
755*2^1233274-1 is not prime.  Res64: A82DDED0503653DC  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:42:54]
765*2^1233274-1 is not prime.  Res64: 89299452A7CD041F  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:47:56]
803*2^1233274-1 is not prime.  Res64: 03269DA863A870EE  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 04:47:56]
813*2^1233274-1 is not prime.  Res64: F0505DAD341213EC  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:03:36]
857*2^1233274-1 is not prime.  Res64: 9FDB4109D4BB20C7  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:03:37]
917*2^1233274-1 is not prime.  Res64: 1817C64DF60AC611  Time : 0.0 sec.
user=vaughan
[2012-10-28 05:07:33]
831*2^1233274-1 is not prime.  Res64: 83E1BCF5B1E959E1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:08:40]
923*2^1233274-1 is not prime.  Res64: 010560CC050697FA  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:08:42]
945*2^1233274-1 is not prime.  Res64: 36952F1F635A84FE  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:24:35]
639*2^1233067-1 is not prime.  Res64: CADD3C984D588373  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:24:35]
705*2^1233275-1 is not prime.  Res64: F2B3C4EF8B7DE31C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:29:23]
823*2^1233275-1 is not prime.  Res64: 3034D0B2EBB8D086  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:29:24]
859*2^1233275-1 is not prime.  Res64: B2D3797DC861061E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:45:19]
921*2^1233275-1 is not prime.  Res64: 6F7616219F678410  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:45:20]
939*2^1233275-1 is not prime.  Res64: B6EEEF95A9CCB431  Time : 0.0 sec.
user=vaughan
[2012-10-28 05:45:25]
733*2^1233275-1 is not prime.  Res64: 5C5D1F94AA1CC216  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:50:06]
963*2^1233275-1 is not prime.  Res64: 69152BB9522D183C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 05:50:06]
633*2^1233276-1 is not prime.  Res64: 6264D15A31A0D6A1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:06:02]
689*2^1233276-1 is not prime.  Res64: 31CC9FB1013A2C83  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:06:03]
759*2^1233276-1 is not prime.  Res64: 79E552E81E0D8818  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:10:48]
843*2^1233276-1 is not prime.  Res64: F47A53DE73EFE367  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:10:51]
601*2^1233277-1 is not prime.  Res64: 07EEBFEC1AB176FE  Time : 0.0 sec.
user=vaughan
[2012-10-28 06:23:09]
779*2^1233276-1 is not prime.  Res64: A55E60CE8566C977  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:26:47]
615*2^1233277-1 is not prime.  Res64: 8568EBB1E8A2AB3C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:26:47]
667*2^1233277-1 is not prime.  Res64: 6BA672D2BBE105BF  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:31:37]
867*2^1233277-1 is not prime.  Res64: 1308C178ACDB8B23  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:31:38]
895*2^1233277-1 is not prime.  Res64: 9D6371B27F5AF565  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:47:31]
961*2^1233277-1 is not prime.  Res64: E378F95DA41A9D76  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:47:31]
979*2^1233277-1 is not prime.  Res64: 12532547FA79631A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:52:21]
801*2^1233278-1 is not prime.  Res64: 2366DA1B9507F98D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 06:52:21]
875*2^1233278-1 is not prime.  Res64: 5813C62B5FCC6769  Time : 0.0 sec.
user=vaughan
[2012-10-28 07:01:04]
919*2^1233277-1 is not prime.  Res64: B4A6D63F955CF56D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:08:15]
927*2^1233278-1 is not prime.  Res64: 83CB5CB08D08B480  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:08:16]
953*2^1233278-1 is not prime.  Res64: 567C1FFDCD2992D4  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:13:05]
663*2^1233279-1 is not prime.  Res64: 545CF3C9F6487DF8  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:13:06]
763*2^1233279-1 is not prime.  Res64: 7A57CAE53ADE6DAD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:29:00]
885*2^1233279-1 is not prime.  Res64: 3467C52C4AC98FC7  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:29:00]
921*2^1233279-1 is not prime.  Res64: F28280C5DC0C3B71  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:33:56]
955*2^1233279-1 is not prime.  Res64: D7AF4440DB71EC25  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:33:56]
961*2^1233279-1 is not prime.  Res64: 66BB6165DDA4400B  Time : 0.0 sec.
user=vaughan
[2012-10-28 07:38:57]
861*2^1233279-1 is not prime.  Res64: 3858EB99F7F191F9  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:49:46]
653*2^1233280-1 is not prime.  Res64: 8C3406452FCD9D1B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:49:46]
743*2^1233280-1 is not prime.  Res64: 1F4C8FCB58687334  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:54:43]
773*2^1233280-1 is not prime.  Res64: E9D29E29A348CA88  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 07:54:44]
813*2^1233280-1 is not prime.  Res64: 4346F0655FA827C3  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:10:31]
939*2^1233280-1 is not prime.  Res64: 5AD724FD5E946A93  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:10:32]
607*2^1233281-1 is not prime.  Res64: D4942662530993D0  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:15:29]
675*2^1233281-1 is not prime.  Res64: 43510793FC811DA0  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:15:34]
705*2^1233281-1 is not prime.  Res64: 9BEC6A7B7186770A  Time : 0.0 sec.
user=vaughan
[2012-10-28 08:16:36]
873*2^1233280-1 is not prime.  Res64: 4E458A3BEE840ADD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:31:21]
711*2^1233281-1 is not prime.  Res64: 4CA2E54E3B90FCFE  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:31:22]
735*2^1233281-1 is not prime.  Res64: 9F77FD1D33C9A383  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:36:47]
775*2^1233281-1 is not prime.  Res64: 24E21F34C2E6156E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:36:48]
937*2^1233281-1 is not prime.  Res64: 835A804DFA1168B8  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:52:07]
633*2^1233282-1 is not prime.  Res64: 1EBE4E955626B16D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:52:07]
683*2^1233282-1 is not prime.  Res64: 68C5873BA24507FD  Time : 0.0 sec.
user=vaughan
[2012-10-28 08:54:19]
987*2^1233281-1 is not prime.  Res64: 404EFA3003E7FB89  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:57:33]
717*2^1233282-1 is not prime.  Res64: DFB5FB6569DF97B8  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 08:57:33]
723*2^1233282-1 is not prime.  Res64: C03286B7696DDC5F  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:12:53]
725*2^1233282-1 is not prime.  Res64: 8E8077CB33D6A2E6  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:12:55]
777*2^1233282-1 is not prime.  Res64: 2B428BF9F82F6DD7  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:18:18]
741*2^1233283-1 is not prime.  Res64: 7C91D0FA7D07566D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:18:19]
793*2^1233283-1 is not prime.  Res64: 9415870997CA77AE  Time : 0.0 sec.
user=vaughan
[2012-10-28 09:31:53]
945*2^1233282-1 is not prime.  Res64: 5F7C20ABD298F7CF  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:33:59]
889*2^1233283-1 is not prime.  Res64: 40C88DD1C35101F2  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:34:00]
973*2^1233283-1 is not prime.  Res64: C6335A194631CA2E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:39:11]
993*2^1233283-1 is not prime.  Res64: 62B14F255DDF0AE1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:39:11]
665*2^1233284-1 is not prime.  Res64: D36F2443911FCB96  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:54:48]
789*2^1233284-1 is not prime.  Res64: 627E4F9DF972882F  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:54:49]
929*2^1233284-1 is not prime.  Res64: 2401340D80607570  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:59:57]
959*2^1233284-1 is not prime.  Res64: 29EF892EF8AFEA75  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 09:59:58]
735*2^1233285-1 is not prime.  Res64: B46999C827D4B719  Time : 0.0 sec.
user=vaughan
[2012-10-28 10:09:32]
707*2^1233284-1 is not prime.  Res64: D2A744654667393D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:15:35]
895*2^1233285-1 is not prime.  Res64: E34603CD86FA1335  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:15:38]
951*2^1233285-1 is not prime.  Res64: 5916B44EC386480A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:20:43]
603*2^1233286-1 is not prime.  Res64: E2FFE13B9DD4B2E1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:20:44]
647*2^1233286-1 is not prime.  Res64: A6214F241D1715F2  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:37:00]
911*2^1233286-1 is not prime.  Res64: 92802D9BC4BDD6FF  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:37:00]
923*2^1233286-1 is not prime.  Res64: 9A581E9E43ED4DC8  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:41:33]
947*2^1233286-1 is not prime.  Res64: A6724FD57BA7E07A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:41:34]
965*2^1233286-1 is not prime.  Res64: FDA6DB9955D83357  Time : 0.0 sec.
user=vaughan
[2012-10-28 10:47:12]
773*2^1233286-1 is not prime.  Res64: C79C5BF8B648EB24  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:57:47]
715*2^1233287-1 is not prime.  Res64: C12E868C4EDBECDD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 10:57:48]
735*2^1233287-1 is not prime.  Res64: A897F7AC8FD9B7CE  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:02:21]
883*2^1233287-1 is not prime.  Res64: FA9A81C491D7CFCD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:02:22]
949*2^1233287-1 is not prime.  Res64: F714F31A566EB19B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:18:34]
735*2^1233288-1 is not prime.  Res64: C93D9E7E47FAC87C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:18:35]
765*2^1233288-1 is not prime.  Res64: 24E96E36C2985361  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:23:09]
789*2^1233288-1 is not prime.  Res64: 764AD8156FB6C311  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:23:10]
809*2^1233288-1 is not prime.  Res64: AA636954D4B82BDB  Time : 0.0 sec.
user=vaughan
[2012-10-28 11:24:52]
605*2^1233288-1 is not prime.  Res64: 9230D908397770C0  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:39:26]
879*2^1233288-1 is not prime.  Res64: 925484DB08657518  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:39:26]
887*2^1233288-1 is not prime.  Res64: 6AB5EA3C34135944  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:43:56]
999*2^1233288-1 is not prime.  Res64: B61AF5210CFF3E6B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 11:43:56]
615*2^1233289-1 is not prime.  Res64: DF31264E3E36BCFA  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:00:13]
817*2^1233289-1 is not prime.  Res64: B454A6C7248025F2  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:00:14]
605*2^1233290-1 is not prime.  Res64: D80AB7D59D8CBCF1  Time : 0.0 sec.
user=vaughan
[2012-10-28 12:02:30]
799*2^1233289-1 is not prime.  Res64: 1209DBE216172E63  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:04:42]
645*2^1233290-1 is not prime.  Res64: 1625E5AD34FD8027  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:04:43]
755*2^1233290-1 is not prime.  Res64: 722DBE5E897A07D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:21:03]
801*2^1233290-1 is not prime.  Res64: F2902CFD358DFAAA  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:21:04]
851*2^1233290-1 is not prime.  Res64: 206686B410BE1F76  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:25:29]
619*2^1233291-1 is not prime.  Res64: 48A32C00826FC985  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:25:30]
805*2^1233291-1 is not prime.  Res64: 1CFB7E8AF9A15B39  Time : 0.0 sec.
user=vaughan
[2012-10-28 12:40:06]
887*2^1233290-1 is not prime.  Res64: 0C46C9C1219B75D6  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:41:52]
861*2^1233291-1 is not prime.  Res64: DB364AB73BEE9D73  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:41:53]
879*2^1233291-1 is not prime.  Res64: D0D4E050A39F7576  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:46:17]
903*2^1233291-1 is not prime.  Res64: 9FA81C40E123E4A1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 12:46:18]
909*2^1233291-1 is not prime.  Res64: 406C39DD3B2A4943  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:02:40]
945*2^1233291-1 is not prime.  Res64: 29D5E02829640A24  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:02:41]
819*2^1233292-1 is not prime.  Res64: 96C97866340B6864  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:07:06]
833*2^1233292-1 is not prime.  Res64: 27BEE92C5C7C2340  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:07:09]
875*2^1233292-1 is not prime.  Res64: 88B3B3B42B06B23D  Time : 0.0 sec.
user=vaughan
[2012-10-28 13:17:45]
931*2^1233291-1 is not prime.  Res64: 8896D555B24E06E6  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:23:33]
909*2^1233292-1 is not prime.  Res64: 588522502CF5E2A4  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:23:34]
929*2^1233292-1 is not prime.  Res64: E2F12E29EC8B3075  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:27:59]
939*2^1233292-1 is not prime.  Res64: 332FF1D918595222  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:28:00]
631*2^1233293-1 is not prime.  Res64: 7B20F7F3D18CD50A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:44:21]
969*2^1233293-1 is not prime.  Res64: 545DA56A600B00FD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:44:21]
611*2^1233294-1 is not prime.  Res64: D1135D0EB73CC3B6  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:48:47]
615*2^1233294-1 is not prime.  Res64: 25719D093D6BAFF5  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 13:48:47]
627*2^1233294-1 is not prime.  Res64: 6A2BA6C168B06BC2  Time : 0.0 sec.
user=vaughan
[2012-10-28 13:55:25]
829*2^1233293-1 is not prime.  Res64: CF745D6A9175251A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:05:12]
765*2^1233294-1 is not prime.  Res64: 6106DE4E0747B4F9  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:05:14]
917*2^1233294-1 is not prime.  Res64: 43CAF7DA63813193  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:09:40]
971*2^1233294-1 is not prime.  Res64: 652FA4BE1E331BAE  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:09:43]
993*2^1233294-1 is not prime.  Res64: BF1218A7B60EC408  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:26:29]
841*2^1233295-1 is not prime.  Res64: DD834D45286D151C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:26:29]
985*2^1233295-1 is not prime.  Res64: 8A563AC67B7408F4  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:30:46]
615*2^1233296-1 is not prime.  Res64: B4F9736A472D94D0  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:30:46]
669*2^1233296-1 is not prime.  Res64: 74F64161DBCA0551  Time : 0.0 sec.
user=vaughan
[2012-10-28 14:33:03]
693*2^1233295-1 is not prime.  Res64: 219D0137AC77B9C3  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:47:26]
747*2^1233296-1 is not prime.  Res64: A65CC042395CEEC8  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:47:26]
867*2^1233296-1 is not prime.  Res64: DC5BA701EEF7D80A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:51:46]
875*2^1233296-1 is not prime.  Res64: BCD4A1FF1F5040E0  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 14:51:46]
899*2^1233296-1 is not prime.  Res64: 89D93EF847C8707C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:08:31]
969*2^1233296-1 is not prime.  Res64: 1CF2F44E88597F37  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:08:33]
999*2^1233296-1 is not prime.  Res64: 58AFCDC043AD58D6  Time : 0.0 sec.
user=vaughan
[2012-10-28 15:10:46]
927*2^1233296-1 is not prime.  Res64: 4095E19E2903CA27  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:12:45]
649*2^1233297-1 is not prime.  Res64: 84E7296A06B4B57D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:12:46]
885*2^1233297-1 is not prime.  Res64: 3861931837BAC774  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:29:22]
919*2^1233297-1 is not prime.  Res64: 785E83F76A897AA2  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:29:22]
665*2^1233298-1 is not prime.  Res64: 4F9C41EDC613C1F3  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:33:49]
705*2^1233298-1 is not prime.  Res64: 1DD7F62C5401228C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:33:49]
801*2^1233298-1 is not prime.  Res64: C1659D7A9F4D741B  Time : 0.0 sec.
user=vaughan
[2012-10-28 15:48:26]
671*2^1233298-1 is not prime.  Res64: BE1DE5B63B2CD2BD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:50:12]
971*2^1233298-1 is not prime.  Res64: 65182D81A53A7D0F  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:50:12]
693*2^1233299-1 is not prime.  Res64: C21986FF33749613  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:54:39]
753*2^1233299-1 is not prime.  Res64: 777DFCCFB8BC68B1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 15:54:40]
859*2^1233299-1 is not prime.  Res64: 15CE2E070B4E6659  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:11:02]
913*2^1233299-1 is not prime.  Res64: 91A5A363B8D7219C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:11:03]
669*2^1233300-1 is not prime.  Res64: 1F408F48F11BF082  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:15:29]
783*2^1233300-1 is not prime.  Res64: 72B49E53E01D1508  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:15:29]
795*2^1233300-1 is not prime.  Res64: 583C603B4D5836A3  Time : 0.0 sec.
user=vaughan
[2012-10-28 16:26:04]
895*2^1233299-1 is not prime.  Res64: D45DA9847563BD85  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:32:06]
803*2^1233300-1 is not prime.  Res64: CFAAFC739FB553A1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:32:07]
819*2^1233300-1 is not prime.  Res64: 2F32BE39CE1D8A83  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:36:21]
899*2^1233300-1 is not prime.  Res64: D91761731F767708  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:36:21]
959*2^1233300-1 is not prime.  Res64: 50319BF9EDEBD682  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:52:56]
867*2^1233301-1 is not prime.  Res64: 113743EC03974B46  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:52:57]
651*2^1233302-1 is not prime.  Res64: 70D6C0C19285E62B  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:57:11]
665*2^1233302-1 is not prime.  Res64: 39393BE7D23F5095  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 16:57:12]
731*2^1233302-1 is not prime.  Res64: 0FEA7BB7AB83B7CA  Time : 0.0 sec.
user=vaughan
[2012-10-28 17:03:42]
687*2^1233301-1 is not prime.  Res64: 64DD1494869CA8B9  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:13:47]
801*2^1233302-1 is not prime.  Res64: DE7EBDC7A6C8548D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:13:49]
875*2^1233302-1 is not prime.  Res64: 7E8AF521B35E8EB4  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:18:03]
897*2^1233302-1 is not prime.  Res64: 457D502A005CE4BD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:18:04]
915*2^1233302-1 is not prime.  Res64: D3B96CC1CAE44B45  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:34:56]
935*2^1233302-1 is not prime.  Res64: 4328FA9118BE48A0  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:34:56]
957*2^1233302-1 is not prime.  Res64: E8456754C0FE8187  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:38:52]
625*2^1233303-1 is not prime.  Res64: E53F676ECB4BAAF5  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:38:53]
691*2^1233303-1 is not prime.  Res64: E2B6FFE56ECDF1C5  Time : 0.0 sec.
user=vaughan
[2012-10-28 17:41:20]
921*2^1233302-1 is not prime.  Res64: D279FEC2713713C5  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:55:56]
721*2^1233303-1 is not prime.  Res64: 1773779C324DD174  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:55:56]
751*2^1233303-1 is not prime.  Res64: F584CAAA0183BB04  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:59:52]
781*2^1233303-1 is not prime.  Res64: 155E015AA731143F  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 17:59:53]
831*2^1233303-1 is not prime.  Res64: 121B34C4F2C51345  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:16:52]
949*2^1233303-1 is not prime.  Res64: 0F52A4D6DDF551F2  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:16:55]
765*2^1233304-1 is not prime.  Res64: DEA7ABBE3EBAFEE2  Time : 0.0 sec.
user=vaughan
[2012-10-28 18:18:57]
895*2^1233303-1 is not prime.  Res64: 1997971927C585F4  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:20:54]
869*2^1233304-1 is not prime.  Res64: 8571FD3EC9A69F02  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:20:54]
875*2^1233304-1 is not prime.  Res64: 7DD7EDE93A7B4E29  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:38:30]
903*2^1233304-1 is not prime.  Res64: 02D2854469E36EE5  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:38:31]
649*2^1233305-1 is not prime.  Res64: C3A4C0D89DF3CE5F  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:42:02]
679*2^1233305-1 is not prime.  Res64: 18B6717B60883283  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:42:02]
717*2^1233305-1 is not prime.  Res64: F555EC6C2AE12F16  Time : 0.0 sec.
user=vaughan
[2012-10-28 18:56:36]
675*2^1233305-1 is not prime.  Res64: 80E57E8941FDD40C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:59:33]
727*2^1233305-1 is not prime.  Res64: A7C8F5B71BB3166E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 18:59:33]
741*2^1233305-1 is not prime.  Res64: 346C1C5B989A396C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:03:04]
795*2^1233305-1 is not prime.  Res64: 5D77F1339A68B81C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:03:05]
939*2^1233305-1 is not prime.  Res64: 29C991CD3B55F03E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:20:44]
695*2^1233306-1 is not prime.  Res64: A54653A924AB6CDD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:20:45]
891*2^1233306-1 is not prime.  Res64: 8C4DF54F9C4CF983  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:24:12]
957*2^1233306-1 is not prime.  Res64: 4B715BE0D5C68C7E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:24:12]
983*2^1233306-1 is not prime.  Res64: A184E21055304EB0  Time : 0.0 sec.
user=vaughan
[2012-10-28 19:34:14]
991*2^1233305-1 is not prime.  Res64: 64A3970078602924  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:41:54]
633*2^1233307-1 is not prime.  Res64: D2C7DBADAD58EC0D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:41:54]
651*2^1233307-1 is not prime.  Res64: 43C2803E35A4B552  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:45:21]
673*2^1233307-1 is not prime.  Res64: 5A71E0BA81F20A69  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 19:45:22]
691*2^1233307-1 is not prime.  Res64: 2D4384DF721C0254  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:03:15]
793*2^1233307-1 is not prime.  Res64: 864EFF9D7B6C1392  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:03:16]
871*2^1233307-1 is not prime.  Res64: 0B86B1E83A89FE0F  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:06:48]
883*2^1233307-1 is not prime.  Res64: 0AF2C3DC6C0BBCED  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:06:49]
885*2^1233307-1 is not prime.  Res64: 7347E8F0F0B09F1F  Time : 0.0 sec.
user=vaughan
[2012-10-28 20:11:51]
741*2^1233307-1 is not prime.  Res64: B4DBB551DAC392C0  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:24:35]
909*2^1233307-1 is not prime.  Res64: 78BF1F2EC9A62B49  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:24:36]
683*2^1233308-1 is not prime.  Res64: 04B22808AEC61ECB  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:28:00]
743*2^1233308-1 is not prime.  Res64: 9296B96E13A2758C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:28:01]
755*2^1233308-1 is not prime.  Res64: 7B20DB0CF27B1A3C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:45:23]
797*2^1233308-1 is not prime.  Res64: E83E382F45210BA3  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:45:24]
845*2^1233308-1 is not prime.  Res64: C91FB6B2C728182D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:48:49]
959*2^1233308-1 is not prime.  Res64: E127F59AAF6A5ED6  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 20:48:50]
963*2^1233308-1 is not prime.  Res64: 94EB6EE0E3CE5FFA  Time : 0.0 sec.
user=vaughan
[2012-10-28 20:49:40]
795*2^1233308-1 is not prime.  Res64: 87D47763079AD429  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:06:09]
977*2^1233308-1 is not prime.  Res64: 3D171E4C6ADA2CBD  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:06:10]
627*2^1233309-1 is not prime.  Res64: F7AD6D41B017776D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:09:38]
769*2^1233309-1 is not prime.  Res64: 91A534D0C37016C6  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:09:41]
781*2^1233309-1 is not prime.  Res64: 57C9ECA769350E2A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:26:59]
955*2^1233309-1 is not prime.  Res64: 2662D6864F5A5D31  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:26:59]
975*2^1233309-1 is not prime.  Res64: 53FE8AF3C67F5235  Time : 0.0 sec.
user=vaughan
[2012-10-28 21:27:19]
847*2^1233309-1 is not prime.  Res64: 13712852351D27E9  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:30:30]
991*2^1233309-1 is not prime.  Res64: D81F6D4AF1C8063C  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:30:31]
997*2^1233309-1 is not prime.  Res64: 8DA86993B4746773  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:47:46]
603*2^1233310-1 is not prime.  Res64: 4DC7045BE7070B04  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:47:47]
611*2^1233310-1 is not prime.  Res64: 12AA6A7BC3F44FD7  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:51:16]
821*2^1233310-1 is not prime.  Res64: 610279B1BB329594  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 21:51:16]
827*2^1233310-1 is not prime.  Res64: 3BFBEFFD97F79EA6  Time : 0.0 sec.
user=vaughan
[2012-10-28 22:04:56]
681*2^1233310-1 is not prime.  Res64: 8EEE6C1048458D1A  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:08:40]
741*2^1233311-1 is not prime.  Res64: 7F78C8066151E9F4  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:08:41]
993*2^1233311-1 is not prime.  Res64: 0E57491A139F15B7  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:12:00]
633*2^1233312-1 is not prime.  Res64: 8994D23C7CCE674D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:12:03]
675*2^1233312-1 is not prime.  Res64: C7E3B14494B39EB3  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:29:27]
767*2^1233312-1 is not prime.  Res64: D23D50A3284DCB2D  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:29:27]
815*2^1233312-1 is not prime.  Res64: 31FA634B61E770DA  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:32:55]
863*2^1233312-1 is not prime.  Res64: 349EBD7637348F87  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:32:56]
917*2^1233312-1 is not prime.  Res64: 6102B4F3B260F473  Time : 0.0 sec.
user=vaughan
[2012-10-28 22:42:40]
723*2^1233312-1 is not prime.  Res64: 74A4914B681D7B8E  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:50:47]
959*2^1233312-1 is not prime.  Res64: 51B709330AD9CC79  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:50:48]
983*2^1233312-1 is not prime.  Res64: 1CFBF8C9A4C38A10  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:54:05]
609*2^1233313-1 is not prime.  Res64: D4CE319D5C70AB17  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 22:54:05]
615*2^1233313-1 is not prime.  Res64: 3962A35675B7E593  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:11:38]
691*2^1233313-1 is not prime.  Res64: 4EDB6DE26B0E0C27  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:11:40]
745*2^1233313-1 is not prime.  Res64: CEF523A4FD3D0A22  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:14:59]
981*2^1233313-1 is not prime.  Res64: 279517EDE5B1FBCA  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:15:02]
717*2^1233314-1 is not prime.  Res64: 455AD6B2BF53A6C0  Time : 0.0 sec.
user=vaughan
[2012-10-28 23:20:18]
687*2^1233313-1 is not prime.  Res64: 29DDE10AC18DEEF7  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:32:43]
743*2^1233314-1 is not prime.  Res64: 4BBF9FD3AB37B313  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:32:43]
773*2^1233314-1 is not prime.  Res64: B28D05A92671A848  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:36:04]
791*2^1233314-1 is not prime.  Res64: 76F562B1BD99B3B1  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:36:04]
825*2^1233314-1 is not prime.  Res64: 4D20856508BA3C21  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:53:28]
1001*2^1233314-1 is not prime.  Res64: 729DCE2E285B9909  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:53:29]
691*2^1233315-1 is not prime.  Res64: F0320A4C114BD084  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:56:51]
823*2^1233315-1 is not prime.  Res64: A7C1C922897381DB  Time : 0.0 sec.
user=mdettweiler
[2012-10-28 23:56:52]
825*2^1233315-1 is not prime.  Res64: F44457154BDD466B  Time : 0.0 sec.
user=vaughan
[2012-10-28 23:57:59]
873*2^1233314-1 is not prime.  Res64: D4F0AD44BE8373DD  Time : 0.0 sec.