user=mdettweiler
[2013-04-23 00:17:24]
949*2^1245093-1 is not prime.  Res64: 6B4516E63B880187  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:17:24]
987*2^1245093-1 is not prime.  Res64: 92D61543A216B947  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:17:35]
991*2^1245093-1 is not prime.  Res64: 6B9667E19504CA1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:17:35]
635*2^1245094-1 is not prime.  Res64: 6D571741A81115D5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:35:12]
717*2^1245094-1 is not prime.  Res64: D187DD1B4DE58696  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:35:12]
831*2^1245094-1 is not prime.  Res64: CE212DC506DB0F8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:35:21]
651*2^1245095-1 is not prime.  Res64: 57D129885B0AEF13  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:35:21]
655*2^1245095-1 is not prime.  Res64: 22FC79C6EC66C44B  Time : 0.0 sec.
user=vaughan
[2013-04-23 00:40:53]
945*2^1245093-1 is not prime.  Res64: 4CFA2E416F076E20  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:52:58]
661*2^1245095-1 is not prime.  Res64: E1164300DD52DCF0  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:52:59]
673*2^1245095-1 is not prime.  Res64: 89D4AAF2F381CE8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:53:05]
679*2^1245095-1 is not prime.  Res64: 7D675492D4C0B6D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 00:53:05]
825*2^1245095-1 is not prime.  Res64: E1AE127BE4460C8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:10:44]
843*2^1245095-1 is not prime.  Res64: BDFDA9F2D8530483  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:10:45]
855*2^1245095-1 is not prime.  Res64: EEB533D437DBCDE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:10:49]
909*2^1245095-1 is not prime.  Res64: 08FCC5FCA9E8A9A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:10:50]
963*2^1245095-1 is not prime.  Res64: 1F5769573D0021C5  Time : 0.0 sec.
user=vaughan
[2013-04-23 01:18:57]
829*2^1245095-1 is not prime.  Res64: 719D389D09B3CB3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:28:33]
969*2^1245095-1 is not prime.  Res64: 996C82655BADB6A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:28:34]
981*2^1245095-1 is not prime.  Res64: 75066C9021B75D46  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:28:34]
639*2^1245096-1 is not prime.  Res64: 623CD9A693922437  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:28:34]
669*2^1245096-1 is not prime.  Res64: 168F48C39A9D8EFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:46:18]
879*2^1245096-1 is not prime.  Res64: 566193586A15362A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:46:18]
947*2^1245096-1 is not prime.  Res64: 8DA354EA9948A810  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:46:19]
803*2^1245096-1 is not prime.  Res64: 5FF3612EC4F051EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 01:46:19]
845*2^1245096-1 is not prime.  Res64: C41EDA68F68DAB84  Time : 0.0 sec.
user=vaughan
[2013-04-23 01:57:04]
693*2^1245096-1 is not prime.  Res64: 0C7A69F2B9CC13EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:04:02]
831*2^1245097-1 is not prime.  Res64: C2110391E9D015D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:04:03]
707*2^1245098-1 is not prime.  Res64: 7C682CA306683A63  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:04:04]
967*2^1245097-1 is not prime.  Res64: 7763EB47BF6DEE52  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:04:05]
797*2^1245098-1 is not prime.  Res64: 7A5E791ABDDFB669  Time : 0.0 sec.
user=juhehe
[2013-04-23 02:12:49]
711*2^1245066-1 is not prime.  Res64: 3560481443355CE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:22:03]
801*2^1245099-1 is not prime.  Res64: F70F083A07DE167D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:22:03]
861*2^1245099-1 is not prime.  Res64: D308F1CA5AB64527  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:22:53]
921*2^1245098-1 is not prime.  Res64: 233F2C02CB6C858A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:22:54]
1001*2^1245098-1 is not prime.  Res64: D42EA5C6E3FFBA1C  Time : 0.0 sec.
user=vaughan
[2013-04-23 02:35:09]
857*2^1245098-1 is not prime.  Res64: 59B2AAAA33653E5C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:39:29]
819*2^1245100-1 is not prime.  Res64: E03697C1E00D806F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:39:30]
873*2^1245100-1 is not prime.  Res64: 8FC8E3B7686BDBCA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:40:19]
875*2^1245100-1 is not prime.  Res64: A05316B830C92538  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:40:19]
909*2^1245100-1 is not prime.  Res64: 2B435F5C1B0924A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:57:45]
781*2^1245101-1 is not prime.  Res64: 92C133BF4743CAAB  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:57:45]
889*2^1245101-1 is not prime.  Res64: 308C6D651697F6C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:57:46]
999*2^1245100-1 is not prime.  Res64: 67862AD32F28E517  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 02:57:46]
769*2^1245101-1 is not prime.  Res64: 029C92B13E44C338  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:15:12]
791*2^1245102-1 is not prime.  Res64: 98138A5394CD08FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:15:13]
867*2^1245102-1 is not prime.  Res64: 95EAA0C1539F6DA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:15:14]
891*2^1245102-1 is not prime.  Res64: E08BCEC7C3A85030  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:15:15]
917*2^1245102-1 is not prime.  Res64: 01C738901B1EA6EC  Time : 0.0 sec.
user=vaughan
[2013-04-23 03:18:26]
933*2^1245100-1 is not prime.  Res64: 7B079A79F4FA38BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:32:41]
639*2^1245103-1 is not prime.  Res64: 86C686E9C60C9D3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:32:42]
947*2^1245102-1 is not prime.  Res64: 77E32FFBFD530DF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:32:44]
679*2^1245103-1 is not prime.  Res64: 0D963D4CFFA5173B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:32:44]
977*2^1245102-1 is not prime.  Res64: 7A4AA3E20A33648D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:50:21]
885*2^1245103-1 is not prime.  Res64: 2585177E3D157CEF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:50:22]
913*2^1245103-1 is not prime.  Res64: 5AF0559D80828670  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:50:24]
617*2^1245104-1 is not prime.  Res64: DA588CDB52072CB2  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 03:50:24]
677*2^1245104-1 is not prime.  Res64: 64DF03D051D03329  Time : 0.0 sec.
user=vaughan
[2013-04-23 03:56:33]
849*2^1245103-1 is not prime.  Res64: 43CCBC6A191F62D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:07:48]
687*2^1245104-1 is not prime.  Res64: 27568F9CA5E535CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:07:49]
915*2^1245104-1 is not prime.  Res64: 4B04F2506CAB0A78  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:07:50]
765*2^1245105-1 is not prime.  Res64: 794338E19C45EE85  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:07:50]
915*2^1245105-1 is not prime.  Res64: 68F2333E614AEF9F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:25:18]
657*2^1245106-1 is not prime.  Res64: 7F7627366C59846A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:25:19]
705*2^1245106-1 is not prime.  Res64: 79BB1431F0750DBD  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:26:07]
997*2^1245105-1 is not prime.  Res64: 0BE5A340D424A47E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:26:07]
653*2^1245106-1 is not prime.  Res64: 01AC9ABF27EFB904  Time : 0.0 sec.
user=vaughan
[2013-04-23 04:39:36]
937*2^1245105-1 is not prime.  Res64: 03DA679B6E2F8FD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:42:45]
713*2^1245106-1 is not prime.  Res64: BE3E492E4ED97724  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:42:45]
741*2^1245106-1 is not prime.  Res64: 54696651CDE5CE5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:43:32]
803*2^1245106-1 is not prime.  Res64: 070BDC8609135816  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 04:43:32]
881*2^1245106-1 is not prime.  Res64: E013DFB7C00BF17D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:00:09]
645*2^1245107-1 is not prime.  Res64: 1CFB5A82BD99889C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:00:10]
673*2^1245107-1 is not prime.  Res64: 2073AC4821FA6B49  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:00:56]
675*2^1245107-1 is not prime.  Res64: B0B35ACF36C67F20  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:00:57]
705*2^1245107-1 is not prime.  Res64: 132FA50C6C4713F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:17:36]
753*2^1245107-1 is not prime.  Res64: 38B5BD1E05571735  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:17:37]
781*2^1245107-1 is not prime.  Res64: BDE11DE28813C06D  Time : 0.0 sec.
user=vaughan
[2013-04-23 05:17:49]
887*2^1245106-1 is not prime.  Res64: 0AA9A789BA842C97  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:18:22]
805*2^1245107-1 is not prime.  Res64: B2373A7FFAD89C42  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:18:23]
633*2^1245108-1 is not prime.  Res64: FD0AE28D356041B9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:35:05]
647*2^1245108-1 is not prime.  Res64: 823A349C7AB93471  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:35:05]
705*2^1245108-1 is not prime.  Res64: 2C35D04FA79719DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:35:49]
735*2^1245108-1 is not prime.  Res64: 537C285A59CD375A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:35:49]
737*2^1245108-1 is not prime.  Res64: E526AB99D8C2CE49  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:52:30]
773*2^1245108-1 is not prime.  Res64: 005247BD2478ED5F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:52:30]
795*2^1245108-1 is not prime.  Res64: A9F9CA1585CD0D0E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:53:14]
927*2^1245108-1 is not prime.  Res64: 93401A228059DCEF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 05:53:15]
947*2^1245108-1 is not prime.  Res64: 64A6E7A9AD644DF9  Time : 0.0 sec.
user=vaughan
[2013-04-23 05:55:54]
707*2^1245108-1 is not prime.  Res64: 60FF2019EFB4E5AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:09:55]
987*2^1245108-1 is not prime.  Res64: 243076582E8DA7D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:09:56]
615*2^1245109-1 is not prime.  Res64: E2A3167F47E814FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:10:39]
625*2^1245109-1 is not prime.  Res64: FAD193E763494F62  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:10:40]
649*2^1245109-1 is not prime.  Res64: CB3C260794F40370  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:27:22]
741*2^1245109-1 is not prime.  Res64: 45DF8F1438E65C57  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:27:22]
751*2^1245109-1 is not prime.  Res64: D32B7D660687A170  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:28:04]
769*2^1245109-1 is not prime.  Res64: 3E53979A2C990235  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:28:05]
829*2^1245109-1 is not prime.  Res64: B3F74C7F50AADF9A  Time : 0.0 sec.
user=vaughan
[2013-04-23 06:34:02]
699*2^1245109-1 is not prime.  Res64: AF8BA36E2A41DA08  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:44:47]
861*2^1245109-1 is not prime.  Res64: 49A6AFEE7E96CCF0  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:44:47]
895*2^1245109-1 is not prime.  Res64: C3F95CC70C2458C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:45:30]
623*2^1245110-1 is not prime.  Res64: 2869E8296AF2D509  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 06:45:31]
651*2^1245110-1 is not prime.  Res64: D376AE8759980791  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:02:12]
713*2^1245110-1 is not prime.  Res64: 29BFA1F626AE3980  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:02:14]
861*2^1245110-1 is not prime.  Res64: 845D8F551220C0A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:02:56]
911*2^1245110-1 is not prime.  Res64: 720FB2291179F29A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:02:58]
783*2^1245111-1 is not prime.  Res64: 1F110C557A24CE76  Time : 0.0 sec.
user=vaughan
[2013-04-23 07:12:08]
711*2^1245110-1 is not prime.  Res64: 2114D623AF62A795  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:19:59]
909*2^1245111-1 is not prime.  Res64: F358DF5AFD25A920  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:20:00]
979*2^1245111-1 is not prime.  Res64: 22B4F7F437BA0B76  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:20:23]
639*2^1245112-1 is not prime.  Res64: 08D27B43AD4C4F48  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:20:24]
675*2^1245112-1 is not prime.  Res64: 435E73C17CDDC476  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:37:24]
747*2^1245112-1 is not prime.  Res64: 3A3054F7A2DF65DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:37:25]
797*2^1245112-1 is not prime.  Res64: 66D7C5A5F72E85B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:37:48]
855*2^1245112-1 is not prime.  Res64: 94146F6F81F4D134  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:37:48]
857*2^1245112-1 is not prime.  Res64: 18372B1371FECB95  Time : 0.0 sec.
user=vaughan
[2013-04-23 07:50:16]
735*2^1245112-1 is not prime.  Res64: FD3642A43D0676EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:54:51]
899*2^1245112-1 is not prime.  Res64: 33BC2318FB353AFF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:54:51]
909*2^1245112-1 is not prime.  Res64: 5AC059C5103D89A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:55:13]
915*2^1245112-1 is not prime.  Res64: 8117525ACA1B5FAF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 07:55:14]
939*2^1245112-1 is not prime.  Res64: A204170B950BE592  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:12:17]
685*2^1245113-1 is not prime.  Res64: A6CD3BFCCC923721  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:12:17]
691*2^1245113-1 is not prime.  Res64: 163A0AF78AAB402C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:12:38]
741*2^1245113-1 is not prime.  Res64: 874F9EB6E54B5354  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:12:39]
747*2^1245113-1 is not prime.  Res64: 3434F9A8A5697D6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:29:46]
789*2^1245113-1 is not prime.  Res64: 29652A6CA1BC6D8D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:29:46]
967*2^1245113-1 is not prime.  Res64: 7F9A8CAC388078FE  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:30:04]
605*2^1245114-1 is not prime.  Res64: 7AC5DEDF01C561E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:30:06]
611*2^1245114-1 is not prime.  Res64: 2A57EADB76EF9FEE  Time : 0.0 sec.
user=vaughan
[2013-04-23 08:33:20]
947*2^1245112-1 is not prime.  Res64: 4A50A932442ECFE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:47:12]
707*2^1245114-1 is not prime.  Res64: CF42986D22361A81  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:47:12]
915*2^1245114-1 is not prime.  Res64: 90FAFA03D7B884BC  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:47:32]
861*2^1245115-1 is not prime.  Res64: EFE5B3B2FE5A3A2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 08:47:32]
693*2^1245116-1 is not prime.  Res64: 13ED8425D195AB5C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:04:38]
767*2^1245116-1 is not prime.  Res64: A0EDC371F96A89BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:04:39]
789*2^1245116-1 is not prime.  Res64: C1E963F9594AF3C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:04:58]
869*2^1245116-1 is not prime.  Res64: AAACE994A2C3B665  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:04:59]
927*2^1245116-1 is not prime.  Res64: 0B0FC0207454B563  Time : 0.0 sec.
user=vaughan
[2013-04-23 09:11:25]
699*2^1245116-1 is not prime.  Res64: 011FA1069AE50A40  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:22:10]
957*2^1245116-1 is not prime.  Res64: 7733CA3279244315  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:22:11]
987*2^1245116-1 is not prime.  Res64: D68904B5DB990E55  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:22:23]
627*2^1245117-1 is not prime.  Res64: EF547711DCF8EB38  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:22:24]
699*2^1245117-1 is not prime.  Res64: E67C24F071A4F601  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:39:39]
805*2^1245117-1 is not prime.  Res64: A37D6E9966520F49  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:39:39]
859*2^1245117-1 is not prime.  Res64: C250B66870D7531A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:39:48]
901*2^1245117-1 is not prime.  Res64: 28E09FF9151F0A2E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:39:48]
949*2^1245117-1 is not prime.  Res64: 6BBFA422D3125DF8  Time : 0.0 sec.
user=vaughan
[2013-04-23 09:49:34]
717*2^1245117-1 is not prime.  Res64: D305AF4C0E6B35EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:57:14]
617*2^1245118-1 is not prime.  Res64: 9D75E41ADDCA4A95  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:57:14]
681*2^1245118-1 is not prime.  Res64: 423C43C06D274B06  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:57:55]
979*2^1245117-1 is not prime.  Res64: 19C9906505DFA225  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 09:57:56]
997*2^1245117-1 is not prime.  Res64: 4E212F10F450191C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:14:40]
707*2^1245118-1 is not prime.  Res64: 7EE166D30C11E1ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:14:40]
723*2^1245118-1 is not prime.  Res64: D1C28E66810A2185  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:15:20]
911*2^1245118-1 is not prime.  Res64: B1A23CB995F7E4AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:15:21]
941*2^1245118-1 is not prime.  Res64: 3658B8B76FD140BC  Time : 0.0 sec.
user=vaughan
[2013-04-23 10:27:40]
687*2^1245118-1 is not prime.  Res64: 14E93E050979FEE3  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:32:10]
951*2^1245118-1 is not prime.  Res64: 355DADC58B19B17A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:32:11]
987*2^1245118-1 is not prime.  Res64: 90E34AB8052F3CAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:32:45]
993*2^1245118-1 is not prime.  Res64: 8188D011F2F6C508  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:32:45]
661*2^1245119-1 is not prime.  Res64: 65CBA4574E2595FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:49:36]
679*2^1245119-1 is not prime.  Res64: 683758FF336B1BF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:49:36]
825*2^1245119-1 is not prime.  Res64: 034B1B1201863097  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:50:10]
831*2^1245119-1 is not prime.  Res64: 4B65D8CCD6B932DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 10:50:11]
895*2^1245119-1 is not prime.  Res64: CA93DCAC88E31A18  Time : 0.0 sec.
user=vaughan
[2013-04-23 11:05:46]
669*2^1245119-1 is not prime.  Res64: 0910D0B89C019592  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:07:01]
909*2^1245119-1 is not prime.  Res64: 76853B9D03759648  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:07:02]
979*2^1245119-1 is not prime.  Res64: AB5F92F36C137305  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:07:35]
765*2^1245120-1 is not prime.  Res64: AEA5AB8374B67F3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:07:36]
797*2^1245120-1 is not prime.  Res64: 610AC40D24928F28  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:24:27]
933*2^1245120-1 is not prime.  Res64: 0F26DAD0ED0DF052  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:24:28]
691*2^1245121-1 is not prime.  Res64: 597E61B02C4B9568  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:25:01]
741*2^1245121-1 is not prime.  Res64: D530B9ECC2173FE9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:25:01]
745*2^1245121-1 is not prime.  Res64: 75529FE6D36C3E32  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:41:53]
811*2^1245121-1 is not prime.  Res64: B89A5CE997CB776B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:41:54]
847*2^1245121-1 is not prime.  Res64: 34296589C98050C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:42:26]
671*2^1245122-1 is not prime.  Res64: 55899872D18060C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:42:27]
711*2^1245122-1 is not prime.  Res64: 26CA0AB7F70776F7  Time : 0.0 sec.
user=vaughan
[2013-04-23 11:43:54]
873*2^1245120-1 is not prime.  Res64: 603D7ADFA07EF102  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:59:19]
837*2^1245122-1 is not prime.  Res64: C1886F235831B042  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:59:20]
983*2^1245122-1 is not prime.  Res64: 33A11CFA1D0686F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:59:51]
663*2^1245123-1 is not prime.  Res64: 2BC0496E0BEA7281  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 11:59:51]
885*2^1245123-1 is not prime.  Res64: 92A9C55BFBB82529  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:16:45]
605*2^1245124-1 is not prime.  Res64: A99B4DA7D3138706  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:16:46]
657*2^1245124-1 is not prime.  Res64: CE8D5893FA84E28E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:17:16]
773*2^1245124-1 is not prime.  Res64: FFC9C63EF3FF12AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:17:17]
785*2^1245124-1 is not prime.  Res64: CDB41FAECFB58EE0  Time : 0.0 sec.
user=vaughan
[2013-04-23 12:26:57]
969*2^1245123-1 is not prime.  Res64: CC849082F0096BBB  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:34:14]
819*2^1245124-1 is not prime.  Res64: 88B5C2520BDBCCE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:34:14]
875*2^1245124-1 is not prime.  Res64: 2E577C87A27DBA71  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:34:41]
887*2^1245124-1 is not prime.  Res64: 746927E9F5662D98  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:34:42]
897*2^1245124-1 is not prime.  Res64: 0C3A3F9A44178DDA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:51:41]
939*2^1245124-1 is not prime.  Res64: 1208D4ACA6328980  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:51:41]
657*2^1245125-1 is not prime.  Res64: BA9447EF8480B97C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:52:09]
777*2^1245125-1 is not prime.  Res64: C3616C1A47CF9B5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 12:52:09]
837*2^1245125-1 is not prime.  Res64: 8EF2D494E82E1FD1  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:09:22]
925*2^1245125-1 is not prime.  Res64: 4DD87235B306C76A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:09:23]
927*2^1245125-1 is not prime.  Res64: 6D8458A285A10110  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:09:49]
611*2^1245126-1 is not prime.  Res64: 38997A477182EA41  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:09:49]
705*2^1245126-1 is not prime.  Res64: 6519D65B2B81C712  Time : 0.0 sec.
user=vaughan
[2013-04-23 13:10:15]
915*2^1245124-1 is not prime.  Res64: 7891701D8F62EE3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:27:21]
711*2^1245126-1 is not prime.  Res64: 0F66A9349FA36C87  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:27:21]
825*2^1245126-1 is not prime.  Res64: 97EAF9950C9BB1E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:27:40]
993*2^1245126-1 is not prime.  Res64: C59EFCB48B938FB2  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:27:41]
615*2^1245127-1 is not prime.  Res64: 003E16C78E3A8969  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:45:05]
705*2^1245127-1 is not prime.  Res64: F88D4D613D10BFD0  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:45:06]
975*2^1245127-1 is not prime.  Res64: 82F31C6C1BA40712  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:45:23]
993*2^1245127-1 is not prime.  Res64: B1E205DA769122E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 13:45:24]
927*2^1245128-1 is not prime.  Res64: 12450E42B82DC88E  Time : 0.0 sec.
user=vaughan
[2013-04-23 13:48:24]
675*2^1245127-1 is not prime.  Res64: 6224E8008F6FA0CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:02:47]
615*2^1245129-1 is not prime.  Res64: BD648A0F5EF84013  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:02:48]
769*2^1245129-1 is not prime.  Res64: 0183771C3A0828A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:03:04]
795*2^1245129-1 is not prime.  Res64: B28FD14EEA683864  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:03:05]
861*2^1245129-1 is not prime.  Res64: DDB1F31F6DB09728  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:20:58]
657*2^1245130-1 is not prime.  Res64: 84155F5BDB0730A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:20:59]
701*2^1245130-1 is not prime.  Res64: 7358A7B69BBA894B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:20:59]
723*2^1245130-1 is not prime.  Res64: 99D74F8A3C40AE7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:21:00]
741*2^1245130-1 is not prime.  Res64: 6AFAABBB7A422F68  Time : 0.0 sec.
user=vaughan
[2013-04-23 14:26:27]
895*2^1245129-1 is not prime.  Res64: D5CF1F07B8424AF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:38:41]
923*2^1245130-1 is not prime.  Res64: F212944BD36B3CDE  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:38:41]
951*2^1245130-1 is not prime.  Res64: 7A5ED48E3FD70769  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:38:43]
987*2^1245130-1 is not prime.  Res64: 1ACDF148C282A199  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:38:44]
601*2^1245131-1 is not prime.  Res64: 3C2147E4B317DDA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:56:23]
715*2^1245131-1 is not prime.  Res64: A9185206383AF54A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:56:23]
889*2^1245131-1 is not prime.  Res64: CE89FDFD7E406418  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:56:24]
945*2^1245131-1 is not prime.  Res64: 2CA5B4A4EF72DC68  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 14:56:25]
979*2^1245131-1 is not prime.  Res64: 3873C9D0C2D8B2F3  Time : 0.0 sec.
user=vaughan
[2013-04-23 15:04:31]
663*2^1245131-1 is not prime.  Res64: 2BF2A3D08F5C3858  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:14:03]
633*2^1245132-1 is not prime.  Res64: 33F7551196D8672C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:14:03]
753*2^1245132-1 is not prime.  Res64: DE2250C91C936DAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:14:04]
843*2^1245132-1 is not prime.  Res64: 19796C6E30311E97  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:14:04]
639*2^1245133-1 is not prime.  Res64: 24F43CF6C97CC43F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:31:46]
939*2^1245133-1 is not prime.  Res64: 0E8440266B49AA9F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:31:46]
951*2^1245133-1 is not prime.  Res64: F82BC9ADF2E3C91E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:31:47]
623*2^1245134-1 is not prime.  Res64: C1BA06FB63B92D58  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:31:47]
665*2^1245134-1 is not prime.  Res64: 85D46A7A841B54E3  Time : 0.0 sec.
user=vaughan
[2013-04-23 15:42:40]
901*2^1245133-1 is not prime.  Res64: D14AED1352A865D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:49:31]
685*2^1245135-1 is not prime.  Res64: 6BA928C4E18B2689  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:49:31]
783*2^1245135-1 is not prime.  Res64: 90B4159EC2251FD5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:49:32]
671*2^1245134-1 is not prime.  Res64: E8C71666EF581043  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 15:49:32]
833*2^1245134-1 is not prime.  Res64: 7513A4F560FFB984  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:07:13]
849*2^1245135-1 is not prime.  Res64: A35E66C27AD7FD88  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:07:14]
895*2^1245135-1 is not prime.  Res64: 56AB02C6A59E8D95  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:07:14]
853*2^1245135-1 is not prime.  Res64: 55E0E2B398DC7C6D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:07:15]
695*2^1245136-1 is not prime.  Res64: 3B384AFCF3F2AD42  Time : 0.0 sec.
user=vaughan
[2013-04-23 16:20:45]
793*2^1245135-1 is not prime.  Res64: 6370A4FA23119E46  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:25:10]
717*2^1245136-1 is not prime.  Res64: D5F32A73866D33B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:25:11]
743*2^1245136-1 is not prime.  Res64: 64088813A56FD9D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:25:11]
923*2^1245136-1 is not prime.  Res64: 47D2783E2588FCEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:25:11]
983*2^1245136-1 is not prime.  Res64: 7F085B7FEA2B9D24  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:42:56]
717*2^1245137-1 is not prime.  Res64: EF5839BBD4FCA97E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:42:56]
769*2^1245137-1 is not prime.  Res64: FF60371CA400E397  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:42:57]
885*2^1245137-1 is not prime.  Res64: 72F51F8AE380811F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 16:42:58]
949*2^1245137-1 is not prime.  Res64: DEEE64274713BF74  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:00:40]
605*2^1245138-1 is not prime.  Res64: 2EB333E4D024785B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:00:41]
821*2^1245138-1 is not prime.  Res64: D2484DE03BDCF7A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:00:42]
633*2^1245138-1 is not prime.  Res64: 9AF40448A4049D44  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:00:43]
867*2^1245138-1 is not prime.  Res64: 1ECB8ABA5846BA32  Time : 0.0 sec.
user=vaughan
[2013-04-23 17:03:48]
999*2^1245136-1 is not prime.  Res64: 84BCEE107738E9BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:19:17]
975*2^1245138-1 is not prime.  Res64: 5AB041194667D39D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:19:18]
645*2^1245139-1 is not prime.  Res64: 16278C152F4867B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:19:18]
603*2^1245139-1 is not prime.  Res64: A365F9913411D1EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:19:18]
693*2^1245139-1 is not prime.  Res64: BB3C59B3E127BA50  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:37:46]
943*2^1245139-1 is not prime.  Res64: E157138CF9FE0331  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:37:46]
973*2^1245139-1 is not prime.  Res64: 43F7230E76ACBD12  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:38:39]
999*2^1245139-1 is not prime.  Res64: EFE7FC580229D8D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:38:39]
609*2^1245140-1 is not prime.  Res64: 500F8CFA230D8269  Time : 0.0 sec.
user=vaughan
[2013-04-23 17:42:03]
703*2^1245139-1 is not prime.  Res64: 84B0B36449EC427B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:55:49]
669*2^1245140-1 is not prime.  Res64: 846F8D27A233627C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:55:49]
915*2^1245140-1 is not prime.  Res64: EAF9B0D9E90437F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:56:40]
609*2^1245141-1 is not prime.  Res64: 4CEA4E3BBC0DA668  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 17:56:41]
615*2^1245141-1 is not prime.  Res64: 72F2DF6D673AD86D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:13:32]
691*2^1245141-1 is not prime.  Res64: 27E2F6669750F577  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:13:33]
735*2^1245141-1 is not prime.  Res64: CB95F4FFBED7B1C7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:14:22]
741*2^1245141-1 is not prime.  Res64: 03185FB6175AC6BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:14:22]
747*2^1245141-1 is not prime.  Res64: E921A31BAAAF9948  Time : 0.0 sec.
user=vaughan
[2013-04-23 18:20:23]
685*2^1245141-1 is not prime.  Res64: 4E3FCE9711A5AC71  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:31:31]
895*2^1245141-1 is not prime.  Res64: E4211D85C623F71D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:31:32]
927*2^1245141-1 is not prime.  Res64: F84CB5B23FB673CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:32:04]
975*2^1245141-1 is not prime.  Res64: 74483D423C1244EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:32:04]
603*2^1245142-1 is not prime.  Res64: C1860C522E04C5AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:49:13]
761*2^1245142-1 is not prime.  Res64: B8361D1235612D8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:49:14]
765*2^1245142-1 is not prime.  Res64: 24E69C9A6B3112DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:49:45]
867*2^1245142-1 is not prime.  Res64: F01A86598111F316  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 18:49:45]
975*2^1245142-1 is not prime.  Res64: D4E2120A8EAEE50C  Time : 0.0 sec.
user=vaughan
[2013-04-23 18:58:42]
681*2^1245142-1 is not prime.  Res64: 90FB2249184ED224  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:07:06]
703*2^1245143-1 is not prime.  Res64: 8F646EFB9F81854B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:07:07]
715*2^1245143-1 is not prime.  Res64: C3FAFA2420104635  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:07:37]
789*2^1245143-1 is not prime.  Res64: F105A2D6D28DFE6A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:07:37]
913*2^1245143-1 is not prime.  Res64: 95410E3C505BF68A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:25:21]
973*2^1245143-1 is not prime.  Res64: 8F629E1915928A9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:25:21]
627*2^1245144-1 is not prime.  Res64: 796C53A4FFA9E5A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:25:50]
705*2^1245144-1 is not prime.  Res64: 7B0480874C6AEAA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:25:51]
737*2^1245144-1 is not prime.  Res64: 7FFD14B139BFA806  Time : 0.0 sec.
user=vaughan
[2013-04-23 19:42:05]
915*2^1245143-1 is not prime.  Res64: F5146AA7D198E431  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:43:09]
747*2^1245144-1 is not prime.  Res64: 21FDB2D9CF57BEBE  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:43:09]
753*2^1245144-1 is not prime.  Res64: 6C3C2590BA1CD7BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:43:38]
809*2^1245144-1 is not prime.  Res64: 984915A051AB593B  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 19:43:38]
875*2^1245144-1 is not prime.  Res64: FD12114B0954A063  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:01:00]
687*2^1245145-1 is not prime.  Res64: 21CD1E461572C912  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:01:02]
817*2^1245145-1 is not prime.  Res64: 0BDCDDE97636143A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:01:29]
841*2^1245145-1 is not prime.  Res64: BE7705F31D77D81A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:01:30]
847*2^1245145-1 is not prime.  Res64: 33FAA548DCCA2DAD  Time : 0.0 sec.
user=vaughan
[2013-04-23 20:20:26]
609*2^1245145-1 is not prime.  Res64: EB6CAB6330412D3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:20:42]
985*2^1245145-1 is not prime.  Res64: 75A4A486BD42A81F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:20:43]
987*2^1245145-1 is not prime.  Res64: 178C4F7ED5F51867  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:20:44]
997*2^1245145-1 is not prime.  Res64: 637FCC8507614080  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:20:45]
623*2^1245146-1 is not prime.  Res64: F7B326FD75CD2FBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:38:33]
657*2^1245146-1 is not prime.  Res64: D88889A4B2CDE3A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:38:34]
671*2^1245146-1 is not prime.  Res64: E9B7F6552CDD3596  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:38:35]
711*2^1245146-1 is not prime.  Res64: FC48941A221CE292  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:38:35]
743*2^1245146-1 is not prime.  Res64: 8C9421E6E9C2B7DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:56:25]
773*2^1245146-1 is not prime.  Res64: B035F8AD41452FE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:56:25]
843*2^1245146-1 is not prime.  Res64: 568E168511F4D4EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:56:25]
783*2^1245146-1 is not prime.  Res64: 751492FE9EF38D3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 20:56:25]
857*2^1245146-1 is not prime.  Res64: 1ADD30555FDDBEE2  Time : 0.0 sec.
user=vaughan
[2013-04-23 20:58:49]
645*2^1245146-1 is not prime.  Res64: E8998C024B8BBF2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:14:24]
873*2^1245146-1 is not prime.  Res64: 61BA928B72144235  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:14:24]
953*2^1245146-1 is not prime.  Res64: 31677F9AEC73082C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:15:18]
709*2^1245147-1 is not prime.  Res64: CE34F6506D54950D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:15:19]
735*2^1245147-1 is not prime.  Res64: 82F51A4C7E4B6494  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:32:20]
825*2^1245148-1 is not prime.  Res64: D3F02C3BB01457BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:32:21]
827*2^1245148-1 is not prime.  Res64: E425E8909C614AB5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:33:15]
875*2^1245148-1 is not prime.  Res64: A55317072761C6B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:33:15]
899*2^1245148-1 is not prime.  Res64: 5CD21F259E72CC36  Time : 0.0 sec.
user=vaughan
[2013-04-23 21:37:10]
665*2^1245148-1 is not prime.  Res64: B5CED49449CAF5CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:50:10]
947*2^1245148-1 is not prime.  Res64: EDBF7F324A548A5F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:50:11]
619*2^1245149-1 is not prime.  Res64: 315FE486F2B7DABD  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:51:03]
735*2^1245149-1 is not prime.  Res64: F879AD2F3F447EAF  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 21:51:04]
741*2^1245149-1 is not prime.  Res64: 5209104348DE36B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:08:08]
717*2^1245150-1 is not prime.  Res64: AA9222CC6C3020D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:08:09]
725*2^1245150-1 is not prime.  Res64: F4C9C11303652588  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:09:02]
797*2^1245150-1 is not prime.  Res64: 7E94D1EDE069E2B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:09:03]
825*2^1245150-1 is not prime.  Res64: AD29882B99E981AA  Time : 0.0 sec.
user=vaughan
[2013-04-23 22:15:30]
867*2^1245149-1 is not prime.  Res64: F28D5C70B707271C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:26:36]
945*2^1245150-1 is not prime.  Res64: 1669C1CC377A36B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:26:36]
679*2^1245151-1 is not prime.  Res64: 0055F0DDD9B5025D  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:27:25]
681*2^1245151-1 is not prime.  Res64: 805B682BBD4CBE35  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:27:25]
693*2^1245151-1 is not prime.  Res64: A703DA430ACF9C53  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:44:59]
763*2^1245151-1 is not prime.  Res64: BA54C221AD190F9F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:44:59]
771*2^1245151-1 is not prime.  Res64: 48513192F0AB108E  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:45:49]
843*2^1245151-1 is not prime.  Res64: 11170BD1E16F1FE9  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 22:45:49]
849*2^1245151-1 is not prime.  Res64: C30165F53F50B0AF  Time : 0.0 sec.
user=vaughan
[2013-04-23 22:53:54]
709*2^1245151-1 is not prime.  Res64: 6B28C575B77C8549  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:03:15]
885*2^1245151-1 is not prime.  Res64: 5E5B1B7B463EA8F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:03:16]
933*2^1245151-1 is not prime.  Res64: 0DFC1391EE391A10  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:04:04]
951*2^1245151-1 is not prime.  Res64: B1885BF9C9EA094C  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:04:04]
961*2^1245151-1 is not prime.  Res64: 157144E6395E9C09  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:21:31]
819*2^1245152-1 is not prime.  Res64: 2B7E08964C3881A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:21:31]
983*2^1245152-1 is not prime.  Res64: 47BB9E2115AF59E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:23:10]
999*2^1245152-1 is not prime.  Res64: F8F0E6E9D5923F0A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:23:10]
609*2^1245153-1 is not prime.  Res64: 575B4220A8884976  Time : 0.0 sec.
user=vaughan
[2013-04-23 23:37:19]
969*2^1245151-1 is not prime.  Res64: 16A0EB52791980E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:39:44]
657*2^1245153-1 is not prime.  Res64: A5C8CD16FEB46CE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:39:45]
787*2^1245153-1 is not prime.  Res64: 256E0BB4467C6AC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:41:22]
817*2^1245153-1 is not prime.  Res64: 13E3C9613FA1D40F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:41:23]
921*2^1245153-1 is not prime.  Res64: 74B9FA6229255F98  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:57:58]
773*2^1245154-1 is not prime.  Res64: 263FBACF6B9E894A  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:57:59]
903*2^1245154-1 is not prime.  Res64: EE39918364474092  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:59:35]
609*2^1245155-1 is not prime.  Res64: 614AB96029A29A5F  Time : 0.0 sec.
user=mdettweiler
[2013-04-23 23:59:35]
651*2^1245155-1 is not prime.  Res64: 0F2E33ADE3EA5D98  Time : 0.0 sec.