user=mdettweiler
[2012-09-23 00:11:18]
717*2^1229117-1 is not prime.  Res64: 0A9D2FECE6086476  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:11:19]
727*2^1229117-1 is not prime.  Res64: E6747E40D35D0305  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:11:20]
805*2^1229117-1 is not prime.  Res64: F6022021BC9AB3E2  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:11:21]
681*2^1229118-1 is not prime.  Res64: FCE46FEB845E20A7  Time : 0.0 sec.
user=vaughan
[2012-09-23 00:14:42]
903*2^1229116-1 is not prime.  Res64: C6EB796CC5FD5BE5  Time : 0.0 sec.
user=juhehe
[2012-09-23 00:30:30]
675*2^1229117-1 is not prime.  Res64: BA3FDC06CDBD075A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:31:55]
797*2^1229118-1 is not prime.  Res64: 1B8553FBE3BC6907  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:31:55]
893*2^1229118-1 is not prime.  Res64: CD591B0B0CAE1165  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:31:57]
971*2^1229118-1 is not prime.  Res64: 702FD8C4A774CD4D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:31:57]
1001*2^1229118-1 is not prime.  Res64: 0B68720575BCF4C1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 00:49:02]
675*2^1229119-1 is not prime.  Res64: 990E8BF22B905CC7  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:52:35]
751*2^1229119-1 is not prime.  Res64: BD020785A88ED096  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:52:36]
883*2^1229119-1 is not prime.  Res64: B6F177E9112906D0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:52:36]
931*2^1229119-1 is not prime.  Res64: 838204748437C766  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 00:52:37]
615*2^1229120-1 is not prime.  Res64: 3CC152222102B110  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 00:54:55]
663*2^1229119-1 is not prime.  Res64: 3B102E8D21EFFAA8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 00:54:57]
639*2^1229119-1 is not prime.  Res64: 87177D395832A764  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:13:13]
843*2^1229120-1 is not prime.  Res64: B2F376F24132FBC0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:13:15]
705*2^1229121-1 is not prime.  Res64: CDA4A6613B2B0FFB  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:13:17]
959*2^1229120-1 is not prime.  Res64: CECBB5687861CDFE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:13:19]
795*2^1229121-1 is not prime.  Res64: 89FE99FED8D0A088  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:34:03]
861*2^1229121-1 is not prime.  Res64: 0BA750EEC0053F3A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:34:04]
865*2^1229121-1 is not prime.  Res64: 42F7DEF2EA7C5C87  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:34:06]
895*2^1229121-1 is not prime.  Res64: E29E18DF8F40FC49  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:34:07]
991*2^1229121-1 is not prime.  Res64: 05A915554A5B4EA5  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:54:41]
765*2^1229122-1 is not prime.  Res64: FF3DB8E49FCEAE94  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:54:42]
911*2^1229122-1 is not prime.  Res64: 2FF8FBF0C7E4F613  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:54:43]
923*2^1229122-1 is not prime.  Res64: B8C70204AAA3BBEF  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 01:54:44]
941*2^1229122-1 is not prime.  Res64: 82611F0EB035A042  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:15:19]
643*2^1229123-1 is not prime.  Res64: FE60F4D196517C7D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:15:22]
669*2^1229123-1 is not prime.  Res64: 91DF43057E3555E3  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:15:25]
741*2^1229123-1 is not prime.  Res64: B82AE092FF9983C8  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:15:30]
745*2^1229123-1 is not prime.  Res64: C38D991AF2543972  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:36:36]
775*2^1229123-1 is not prime.  Res64: 8A9822F62DAED954  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:36:38]
901*2^1229123-1 is not prime.  Res64: D49CAAA2D2776499  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:36:38]
943*2^1229123-1 is not prime.  Res64: 41230B49C894809A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:36:39]
949*2^1229123-1 is not prime.  Res64: E8E04C45569F0FEC  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:57:30]
955*2^1229123-1 is not prime.  Res64: 274E44A538AB4E8D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:57:31]
999*2^1229123-1 is not prime.  Res64: 44063498309978DE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:57:32]
973*2^1229123-1 is not prime.  Res64: 1D5BC5719377029B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 02:57:32]
689*2^1229124-1 is not prime.  Res64: 500A2B35FF5BEA55  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:18:12]
803*2^1229124-1 is not prime.  Res64: C4825F3D354668AB  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:18:14]
809*2^1229124-1 is not prime.  Res64: 3AD1729991CAD5C2  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:18:16]
923*2^1229124-1 is not prime.  Res64: 7326AC923E52DC0B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:18:17]
651*2^1229125-1 is not prime.  Res64: 61626E41107D06A4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 03:21:30]
737*2^1229124-1 is not prime.  Res64: 6D99C5DB3B73D6F1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 03:26:29]
707*2^1229124-1 is not prime.  Res64: FA450BA24F36DC9D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:38:54]
685*2^1229125-1 is not prime.  Res64: E2764B6083170E5A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:38:56]
715*2^1229125-1 is not prime.  Res64: EC9B11B50A13601B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:38:57]
801*2^1229125-1 is not prime.  Res64: CB72A2C05CBF925D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:38:58]
897*2^1229125-1 is not prime.  Res64: 52868304EF3AFD64  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:59:39]
937*2^1229125-1 is not prime.  Res64: DDED2048CC98D79D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:59:40]
951*2^1229125-1 is not prime.  Res64: 64CD3B27D4F39447  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:59:41]
987*2^1229125-1 is not prime.  Res64: 1A536987C03CE77C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 03:59:42]
999*2^1229125-1 is not prime.  Res64: DABACF005E042EF2  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 04:20:11]
615*2^1229126-1 is not prime.  Res64: 08083D69E19A9AA0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 04:20:11]
645*2^1229126-1 is not prime.  Res64: 4D7875F22701B993  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 04:20:12]
831*2^1229126-1 is not prime.  Res64: 0D5CD03464E4B7CD  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 04:20:12]
893*2^1229126-1 is not prime.  Res64: F417C84A1A49C0A0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 04:40:44]
953*2^1229126-1 is not prime.  Res64: EA4D14F9BB3B9802  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 04:40:44]
921*2^1229126-1 is not prime.  Res64: D3EEB317001DE68B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 04:40:44]
981*2^1229126-1 is not prime.  Res64: 39FF90E7E2D0805C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 04:40:45]
923*2^1229126-1 is not prime.  Res64: 7181BB501492FE53  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:01:34]
691*2^1229127-1 is not prime.  Res64: C3DD54311FB504B8  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:01:36]
735*2^1229127-1 is not prime.  Res64: 7A237ECEA4E2F3C3  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:03:32]
795*2^1229127-1 is not prime.  Res64: 4FB7BC854D386A47  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:03:33]
933*2^1229127-1 is not prime.  Res64: 9D0359023F4C76B7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 05:03:35]
685*2^1229127-1 is not prime.  Res64: 80B1C55D15A44BEA  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:22:38]
687*2^1229128-1 is not prime.  Res64: A6FC07518D76E7DF  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:22:40]
909*2^1229128-1 is not prime.  Res64: 7B10CAD810362C81  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:24:58]
989*2^1229128-1 is not prime.  Res64: CA34F9831B0018A0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:25:00]
697*2^1229129-1 is not prime.  Res64: 75909B9A7EE5EE30  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:43:30]
771*2^1229129-1 is not prime.  Res64: B6414734D391EDAE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:43:31]
831*2^1229129-1 is not prime.  Res64: FE444272D27599F5  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:45:40]
879*2^1229129-1 is not prime.  Res64: D62B511BF51AF146  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 05:45:41]
907*2^1229129-1 is not prime.  Res64: F696C261BFFC2914  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:05:07]
843*2^1229130-1 is not prime.  Res64: 273E6820CC62DD66  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:05:10]
891*2^1229130-1 is not prime.  Res64: 1A83A6BF747F11B7  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:06:22]
933*2^1229130-1 is not prime.  Res64: 5179F4038DE87C58  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:06:23]
941*2^1229130-1 is not prime.  Res64: 541CC8B47DD10A76  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:25:51]
957*2^1229130-1 is not prime.  Res64: 8FBA83CD35B59C49  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:25:52]
625*2^1229131-1 is not prime.  Res64: 5AA93E565DE49FF0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:27:00]
709*2^1229131-1 is not prime.  Res64: C6F8F335BE35B90F  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:27:00]
805*2^1229131-1 is not prime.  Res64: 34E2C5516CBB49EE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:46:38]
829*2^1229131-1 is not prime.  Res64: 1F25C7E99FF68988  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:46:39]
895*2^1229131-1 is not prime.  Res64: 4354090007DEC3CE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:47:44]
973*2^1229131-1 is not prime.  Res64: A3DA450E8F1728D4  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 06:47:44]
797*2^1229132-1 is not prime.  Res64: 873B79332778FC08  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:07:16]
813*2^1229132-1 is not prime.  Res64: 9DB92C51A5275315  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:07:17]
875*2^1229132-1 is not prime.  Res64: D407D4B12083985B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:08:17]
963*2^1229132-1 is not prime.  Res64: 3E6670C0EB8B8FF1  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:08:18]
987*2^1229132-1 is not prime.  Res64: FED4E7F936C2C5FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:27:51]
679*2^1229133-1 is not prime.  Res64: 2E85760B26921F37  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:27:52]
781*2^1229133-1 is not prime.  Res64: A327E749C19C5A24  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:28:48]
847*2^1229133-1 is not prime.  Res64: 82565554EB09AC43  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:28:49]
919*2^1229133-1 is not prime.  Res64: 14779845C5C9066D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:48:25]
999*2^1229133-1 is not prime.  Res64: AF05B176BDD6FF52  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:48:26]
611*2^1229134-1 is not prime.  Res64: EDDD18189A053F6B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:49:19]
755*2^1229134-1 is not prime.  Res64: 56DC3ADFFD8806C0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 07:49:20]
825*2^1229134-1 is not prime.  Res64: 2F1297FAC87A2628  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:08:58]
833*2^1229134-1 is not prime.  Res64: 6931D71A9CCBE2D2  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:09:00]
857*2^1229134-1 is not prime.  Res64: 35882FB965ABCC9E  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:09:51]
951*2^1229134-1 is not prime.  Res64: DE8A9C75DEB902B0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:09:52]
957*2^1229134-1 is not prime.  Res64: 0C912FB006E6FEC0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:29:36]
1001*2^1229134-1 is not prime.  Res64: 8580AC4528987DF6  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:29:36]
609*2^1229135-1 is not prime.  Res64: 7F7294FA35F2A70E  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:30:23]
799*2^1229135-1 is not prime.  Res64: D7929C9F3C6B72F5  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:30:24]
859*2^1229135-1 is not prime.  Res64: 3336E8D0D1568EA9  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:50:11]
895*2^1229135-1 is not prime.  Res64: 742D439BDC7D1C33  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:50:12]
615*2^1229136-1 is not prime.  Res64: 094D9B1E22E563A1  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:50:54]
779*2^1229136-1 is not prime.  Res64: 3015AF72274A338F  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 08:50:54]
789*2^1229136-1 is not prime.  Res64: 2A8295D90FF9A5C0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:10:42]
909*2^1229136-1 is not prime.  Res64: 0AFD28D6E207B506  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:10:44]
917*2^1229136-1 is not prime.  Res64: 8F6EEA2C09A9393C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:11:23]
777*2^1229137-1 is not prime.  Res64: 0BE6F6D015AD3C96  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:11:25]
805*2^1229137-1 is not prime.  Res64: 2618242AC5AC1D0E  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:31:20]
885*2^1229137-1 is not prime.  Res64: 62D8B5892EA7404F  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:31:22]
967*2^1229137-1 is not prime.  Res64: CE2A192F1097887F  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:31:57]
633*2^1229138-1 is not prime.  Res64: 57613131263FEBA4  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:31:57]
755*2^1229138-1 is not prime.  Res64: E19BD1C25C995BC4  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:52:04]
837*2^1229138-1 is not prime.  Res64: AF7E1B96C7629DD1  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:52:04]
945*2^1229138-1 is not prime.  Res64: 968623054D4BC364  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:52:28]
971*2^1229138-1 is not prime.  Res64: 9E035835D3261F86  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 09:52:28]
995*2^1229138-1 is not prime.  Res64: FB46A9A3B6EC2885  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:12:35]
601*2^1229139-1 is not prime.  Res64: 8955A4235C3ED134  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:12:37]
613*2^1229139-1 is not prime.  Res64: 3005BA6E0FC65AB9  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:12:59]
723*2^1229139-1 is not prime.  Res64: 38D49A61145B800D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:13:01]
979*2^1229139-1 is not prime.  Res64: 34F204A714F6AA42  Time : 0.0 sec.
user=juhehe
[2012-09-23 10:22:14]
1001*2^1229138-1 is not prime.  Res64: 93ED6F7FBD96641B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:33:26]
999*2^1229139-1 is not prime.  Res64: 6D85BF4502399B08  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:33:27]
615*2^1229140-1 is not prime.  Res64: B4959105C8EE1321  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:33:34]
689*2^1229140-1 is not prime.  Res64: CA252B2470267EA4  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:33:35]
707*2^1229140-1 is not prime.  Res64: 62D13D1B7B5CAB07  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:53:57]
803*2^1229140-1 is not prime.  Res64: 91BC843C919853F6  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:53:58]
669*2^1229141-1 is not prime.  Res64: 78974AB348D9F40B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:54:06]
727*2^1229141-1 is not prime.  Res64: 1E80BF134E8C674D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 10:54:06]
819*2^1229141-1 is not prime.  Res64: CFD1F648DDA7B035  Time : 0.0 sec.
user=juhehe
[2012-09-23 11:06:47]
777*2^1229140-1 is not prime.  Res64: DF1BA9B0A5C9F67D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:14:28]
925*2^1229141-1 is not prime.  Res64: B07678D3DCA05248  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:14:31]
705*2^1229142-1 is not prime.  Res64: 10C77A9A464A6C67  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:14:37]
815*2^1229142-1 is not prime.  Res64: FE8E37CD441EC5FC  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:14:39]
833*2^1229142-1 is not prime.  Res64: CE67E5937133CD6D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:35:12]
983*2^1229142-1 is not prime.  Res64: 9BB1080FEED5CB58  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:35:13]
805*2^1229143-1 is not prime.  Res64: B9113AC1223BDE41  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:35:16]
853*2^1229143-1 is not prime.  Res64: F4BB9F2C6CB2B122  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:35:17]
889*2^1229143-1 is not prime.  Res64: F5B6A90E3B1BE522  Time : 0.0 sec.
user=juhehe
[2012-09-23 11:51:29]
977*2^1229142-1 is not prime.  Res64: 25C7413552EEF35C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:55:44]
629*2^1229144-1 is not prime.  Res64: 8A5F371C370F4D37  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:55:44]
789*2^1229144-1 is not prime.  Res64: B3C134BC2C183F58  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:55:46]
899*2^1229144-1 is not prime.  Res64: 8DB1C7F6B46F2333  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 11:55:47]
903*2^1229144-1 is not prime.  Res64: E998AB96B5EC6DA7  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:16:15]
789*2^1229145-1 is not prime.  Res64: FA0DA929AEC111AA  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:16:16]
847*2^1229145-1 is not prime.  Res64: C2E6799104D205E5  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:16:17]
921*2^1229145-1 is not prime.  Res64: 9FA82878DC452D4E  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:16:18]
969*2^1229145-1 is not prime.  Res64: C693A78D32EADD89  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:17:56]
625*2^1229145-1 is not prime.  Res64: 31C4E15723393467  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:20:17]
679*2^1229145-1 is not prime.  Res64: DBC6D45A927FAC4D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:20:58]
727*2^1229145-1 is not prime.  Res64: 048D5A9D4553BAE7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:24:49]
611*2^1229146-1 is not prime.  Res64: F684F8D775DCFD4B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:25:12]
645*2^1229146-1 is not prime.  Res64: 4AEEE011A0C17C83  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:31:18]
777*2^1229146-1 is not prime.  Res64: 2A9A984E03BA7D69  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:34:25]
803*2^1229146-1 is not prime.  Res64: 2747954C1B574C89  Time : 0.0 sec.
user=juhehe
[2012-09-23 12:35:56]
957*2^1229144-1 is not prime.  Res64: 75D28A1A5C1EF548  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:36:48]
741*2^1229147-1 is not prime.  Res64: 3F7F1B1A11D1D713  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:36:48]
753*2^1229147-1 is not prime.  Res64: 2E8B7BCCE5298454  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:36:49]
759*2^1229147-1 is not prime.  Res64: C76631BBA9E93160  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:36:50]
843*2^1229147-1 is not prime.  Res64: B5B3CF9EEC0A42D5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:40:22]
843*2^1229146-1 is not prime.  Res64: B7146907B091B4FE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:41:06]
887*2^1229146-1 is not prime.  Res64: F6787C71A9927785  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:41:26]
673*2^1229147-1 is not prime.  Res64: E2311D62A0F305E2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:44:21]
859*2^1229147-1 is not prime.  Res64: F4E36D6F4A59ABEC  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:44:30]
945*2^1229147-1 is not prime.  Res64: 0E67E1637948F342  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:46:24]
819*2^1229148-1 is not prime.  Res64: 0FC0F5267B6A5365  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:46:35]
955*2^1229147-1 is not prime.  Res64: A2E70EDB860B8B5D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:50:28]
899*2^1229148-1 is not prime.  Res64: 19E8DFECBB8C88AC  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:50:36]
957*2^1229148-1 is not prime.  Res64: F0901121BC5DCB18  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:51:07]
843*2^1229148-1 is not prime.  Res64: 3DEE4963A83FC7EC  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:51:12]
737*2^1229148-1 is not prime.  Res64: 7B4C109F097657F8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:53:37]
975*2^1229148-1 is not prime.  Res64: 35C9DAFADE2ECD5D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:56:46]
729*2^1229149-1 is not prime.  Res64: 37B797259EF57B49  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:57:17]
923*2^1229150-1 is not prime.  Res64: 5F1D3A7E0EAC7A84  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:57:18]
977*2^1229150-1 is not prime.  Res64: 18BE2B631BE0E4B8  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:57:19]
615*2^1229151-1 is not prime.  Res64: CBF82CADC211D059  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 12:57:20]
703*2^1229151-1 is not prime.  Res64: 8D452CBE8ED621B9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:59:34]
771*2^1229149-1 is not prime.  Res64: EEDA065C37C88AD7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 12:59:52]
819*2^1229149-1 is not prime.  Res64: 52779FF253A36829  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:00:52]
951*2^1229149-1 is not prime.  Res64: 47C37D2EE5AF12A2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:01:47]
743*2^1229150-1 is not prime.  Res64: 4F41F937032765FF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:06:47]
741*2^1229151-1 is not prime.  Res64: FF0B3019BAF48105  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:06:48]
751*2^1229151-1 is not prime.  Res64: 928B494533E31B3D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:07:04]
775*2^1229151-1 is not prime.  Res64: 3404CEA3EDD87464  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:10:02]
979*2^1229151-1 is not prime.  Res64: 67F58E0A0C9DFF4E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:10:44]
849*2^1229151-1 is not prime.  Res64: 2FADE46F626CFAF9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:11:54]
759*2^1229152-1 is not prime.  Res64: 9C8D2846C4568551  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:13:00]
825*2^1229152-1 is not prime.  Res64: 7755554AAB26216B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:16:06]
855*2^1229152-1 is not prime.  Res64: F279668D6EEF3F37  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:17:09]
857*2^1229152-1 is not prime.  Res64: 8CCC48405159C232  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:17:32]
875*2^1229152-1 is not prime.  Res64: D4BDFF696D1CB6E0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:17:48]
691*2^1229153-1 is not prime.  Res64: 8E0243AD16601759  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:17:49]
699*2^1229153-1 is not prime.  Res64: C505120419870B75  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:17:50]
829*2^1229153-1 is not prime.  Res64: D000A3E863F2C47F  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:17:51]
831*2^1229153-1 is not prime.  Res64: 5A2B4F68E9571B65  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:19:16]
995*2^1229152-1 is not prime.  Res64: 8D04EB86338B8C67  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:22:11]
657*2^1229153-1 is not prime.  Res64: 74EC3151B9F0999D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:25:08]
869*2^1229152-1 is not prime.  Res64: 22BF467C9F004505  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:25:22]
969*2^1229153-1 is not prime.  Res64: E016E44E7755672C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:25:34]
965*2^1229152-1 is not prime.  Res64: 2E597A8C08350431  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:26:22]
879*2^1229153-1 is not prime.  Res64: 6E8F45C3DA21E1A2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:26:25]
981*2^1229153-1 is not prime.  Res64: 8CF0E288D85F49EE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:27:10]
765*2^1229154-1 is not prime.  Res64: 633377F665398B80  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:32:46]
917*2^1229154-1 is not prime.  Res64: 8286DF2C34909C55  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:32:59]
851*2^1229154-1 is not prime.  Res64: 64D58D9237AA8D5C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:33:08]
887*2^1229154-1 is not prime.  Res64: BC846BE07361F1EC  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:35:40]
921*2^1229154-1 is not prime.  Res64: E4098F3A2A317BF5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:36:46]
679*2^1229155-1 is not prime.  Res64: 77D57CF2C3523E4B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:37:24]
793*2^1229155-1 is not prime.  Res64: 142EC2982E9D9225  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:38:19]
627*2^1229157-1 is not prime.  Res64: 9EAA1418100FAC42  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:38:19]
769*2^1229157-1 is not prime.  Res64: 90FEE70328E784A2  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:38:20]
777*2^1229157-1 is not prime.  Res64: 8D6ADD869C3C8867  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:38:21]
901*2^1229157-1 is not prime.  Res64: AB7E76FB6046DCF3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:39:01]
617*2^1229156-1 is not prime.  Res64: DBF10D3038DB7F8A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:41:48]
623*2^1229156-1 is not prime.  Res64: 33B7ABB270E50F5B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:42:29]
629*2^1229156-1 is not prime.  Res64: 3BCD0BD0B7CACEFA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:43:16]
935*2^1229156-1 is not prime.  Res64: DB5090601A6944C0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:44:52]
979*2^1229157-1 is not prime.  Res64: C792B0209DA90065  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:47:42]
611*2^1229158-1 is not prime.  Res64: 34F15DE69F6690CB  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:50:51]
761*2^1229158-1 is not prime.  Res64: 662E92EC689FF4EB  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:51:51]
759*2^1229159-1 is not prime.  Res64: 39B6191A28663FAF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:51:53]
619*2^1229159-1 is not prime.  Res64: 180CA8E8BF48B21A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:52:41]
815*2^1229158-1 is not prime.  Res64: 67654C178B321D4E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:58:15]
865*2^1229159-1 is not prime.  Res64: 199334493015898C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:58:31]
645*2^1229158-1 is not prime.  Res64: 6FA0AACA387EDEAC  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:58:41]
811*2^1229159-1 is not prime.  Res64: 5B2D17CD542D1514  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:58:49]
861*2^1229159-1 is not prime.  Res64: F499856FBA358F94  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:58:49]
753*2^1229160-1 is not prime.  Res64: E1D381C6537D26C6  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:58:50]
779*2^1229160-1 is not prime.  Res64: 4FF9571DB8806738  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:58:51]
849*2^1229160-1 is not prime.  Res64: 9F32E07CF4758E6E  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 13:58:51]
687*2^1229161-1 is not prime.  Res64: 87B8DB3B3783B0F7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 13:59:27]
813*2^1229158-1 is not prime.  Res64: 8DA191F8D8686DF0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:01:11]
909*2^1229159-1 is not prime.  Res64: ACA7BE047E16F5CD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:02:22]
993*2^1229159-1 is not prime.  Res64: 7735DCDF612E968E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:02:53]
725*2^1229160-1 is not prime.  Res64: EA445F5991167501  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:04:34]
705*2^1229161-1 is not prime.  Res64: 9D166EA1D0545F8F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:07:29]
867*2^1229161-1 is not prime.  Res64: BFE851F6B3A8A70C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:08:39]
889*2^1229161-1 is not prime.  Res64: 778CB697FFEB95CF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:08:52]
931*2^1229161-1 is not prime.  Res64: 5E95D0F0194FB77F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:10:34]
999*2^1229161-1 is not prime.  Res64: F9516F1BBAF13AAD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:13:11]
603*2^1229162-1 is not prime.  Res64: 9F72E735424AB3C6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:16:22]
731*2^1229162-1 is not prime.  Res64: 54368526CD5AC81A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:17:17]
867*2^1229162-1 is not prime.  Res64: 6576ABFA3D056A1D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:17:21]
755*2^1229162-1 is not prime.  Res64: B985398CCD3339A6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:18:34]
741*2^1229162-1 is not prime.  Res64: 9CBCBE8AA43DFEBA  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 14:19:19]
739*2^1229163-1 is not prime.  Res64: 1152944325C7DBF9  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 14:19:20]
781*2^1229163-1 is not prime.  Res64: C2C338F983C9945D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 14:19:21]
795*2^1229163-1 is not prime.  Res64: 4F09E1C37E7C07D0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 14:19:21]
913*2^1229163-1 is not prime.  Res64: 2D6DC8F64571A299  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:23:28]
953*2^1229162-1 is not prime.  Res64: FD6D25894952F5FA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:24:28]
783*2^1229163-1 is not prime.  Res64: 5F3A5A56A64AA4B3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:24:39]
663*2^1229163-1 is not prime.  Res64: CD038EE5DFFB647E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:26:44]
943*2^1229163-1 is not prime.  Res64: 4A59C7AF5D9B911B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:28:24]
609*2^1229164-1 is not prime.  Res64: 9F3E929AA2F67E86  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:28:25]
961*2^1229163-1 is not prime.  Res64: C5AD266B83A49940  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:30:39]
635*2^1229164-1 is not prime.  Res64: B875899E58C801DB  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:30:40]
977*2^1229162-1 is not prime.  Res64: ACBAF7554A7712F2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:31:11]
921*2^1229163-1 is not prime.  Res64: E20B6A227E0338B1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:33:19]
675*2^1229164-1 is not prime.  Res64: D7038A9AD133F4A9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:34:39]
687*2^1229164-1 is not prime.  Res64: 2734EC52CFB7D646  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:35:00]
755*2^1229164-1 is not prime.  Res64: CF383F0423E5FF98  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:36:13]
813*2^1229164-1 is not prime.  Res64: 67C3019AD79D8F89  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:38:45]
905*2^1229164-1 is not prime.  Res64: 52C059BB081DE438  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 14:40:04]
713*2^1229166-1 is not prime.  Res64: 2FC9D32FCABE505C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 14:40:04]
767*2^1229166-1 is not prime.  Res64: D8AD1F84011F7C83  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 14:40:05]
801*2^1229166-1 is not prime.  Res64: D04E344C68E66C65  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 14:40:06]
833*2^1229166-1 is not prime.  Res64: AE69F572A58F9731  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:41:51]
915*2^1229164-1 is not prime.  Res64: 005C9755101067F7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:42:50]
735*2^1229165-1 is not prime.  Res64: 41BBE0CE2401DCFA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:43:15]
699*2^1229165-1 is not prime.  Res64: D2334136DCE87B37  Time : 0.0 sec.
user=juhehe
[2012-09-23 14:43:33]
723*2^1229163-1 is not prime.  Res64: EB6ABF336A3E3956  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:44:29]
865*2^1229165-1 is not prime.  Res64: B64B6E4797526891  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:50:06]
601*2^1229167-1 is not prime.  Res64: C4997867A6FA33B1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:50:08]
993*2^1229166-1 is not prime.  Res64: D855471B2B33A965  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:50:53]
649*2^1229167-1 is not prime.  Res64: 66F85439F32217E0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:52:23]
775*2^1229167-1 is not prime.  Res64: 3A83501B4782A527  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:53:54]
831*2^1229167-1 is not prime.  Res64: 02B2DD9DB6B12136  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:54:36]
925*2^1229167-1 is not prime.  Res64: 3F82462D595D2AA0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:56:49]
975*2^1229167-1 is not prime.  Res64: E19148EAF2D5BC45  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 14:58:49]
819*2^1229168-1 is not prime.  Res64: 3FF2038A52AB7A31  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:00:37]
875*2^1229168-1 is not prime.  Res64: B57B28DB0EB8952A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:01:00]
803*2^1229170-1 is not prime.  Res64: 003E0ED6F42E2E28  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:01:01]
831*2^1229170-1 is not prime.  Res64: F8775FEBF394B1B6  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:01:02]
891*2^1229170-1 is not prime.  Res64: C74838D2469D26B8  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:01:02]
971*2^1229170-1 is not prime.  Res64: 5A75B90004DB04E2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:01:18]
957*2^1229168-1 is not prime.  Res64: B8AB013F8787ACBA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:01:56]
627*2^1229169-1 is not prime.  Res64: B08AF8A11047FF86  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:04:15]
665*2^1229170-1 is not prime.  Res64: 72CEC17658B2B025  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:04:30]
657*2^1229168-1 is not prime.  Res64: 29E5DEA189F528C4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:04:34]
777*2^1229168-1 is not prime.  Res64: 22555DBBC026FCFD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:07:25]
735*2^1229171-1 is not prime.  Res64: 12DEC4FEBE42D429  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:08:22]
753*2^1229171-1 is not prime.  Res64: 6C24CF855B93B4F8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:09:32]
811*2^1229171-1 is not prime.  Res64: B0E15A8796308356  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:11:34]
859*2^1229171-1 is not prime.  Res64: D99F6FB3DD02B984  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:15:25]
653*2^1229172-1 is not prime.  Res64: A8F2D3A32AD67651  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:15:47]
939*2^1229171-1 is not prime.  Res64: C19C87C9064F5FFD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:16:59]
699*2^1229172-1 is not prime.  Res64: 16B439B21019AAF8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:18:03]
863*2^1229172-1 is not prime.  Res64: C3074B94A0802CBA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:19:27]
873*2^1229172-1 is not prime.  Res64: 5C942873264F8331  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:20:37]
887*2^1229172-1 is not prime.  Res64: D62315D4B0C5C148  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:21:41]
977*2^1229172-1 is not prime.  Res64: 38A0696FB97528DE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:21:41]
771*2^1229173-1 is not prime.  Res64: 185CDADB550247EC  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:21:42]
789*2^1229173-1 is not prime.  Res64: 2A4B3B91782BB087  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:21:43]
859*2^1229173-1 is not prime.  Res64: 9F352385EC3A5432  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:22:49]
893*2^1229172-1 is not prime.  Res64: FBB4621E275339D4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:24:23]
909*2^1229172-1 is not prime.  Res64: DC3C04ED288F6D1A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:26:31]
975*2^1229172-1 is not prime.  Res64: 998590C2B5F9CBAA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:27:11]
861*2^1229173-1 is not prime.  Res64: 50F5BBD5AE91DFCD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:27:31]
615*2^1229174-1 is not prime.  Res64: 240B8CBE18189D31  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:29:47]
657*2^1229174-1 is not prime.  Res64: D5D562B54DD101F2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:32:58]
971*2^1229174-1 is not prime.  Res64: 7C779D44D750BC6A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:33:52]
709*2^1229175-1 is not prime.  Res64: 2327487C29534056  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:35:11]
831*2^1229175-1 is not prime.  Res64: 3838EE115A0449BD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:36:15]
849*2^1229175-1 is not prime.  Res64: A03F5449B3AC5759  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:39:07]
917*2^1229174-1 is not prime.  Res64: 198840E10329DE3D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:39:13]
731*2^1229174-1 is not prime.  Res64: 61043F1A0920704C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:40:00]
891*2^1229175-1 is not prime.  Res64: 3C860F20467CF275  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:41:21]
933*2^1229175-1 is not prime.  Res64: 7A3C38B57248CFE3  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:42:20]
983*2^1229176-1 is not prime.  Res64: 27D5A570AE9481E0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:42:21]
651*2^1229177-1 is not prime.  Res64: D9581A75CF18E526  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:42:21]
699*2^1229177-1 is not prime.  Res64: AB754C0D2A7EFAD9  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 15:42:22]
781*2^1229177-1 is not prime.  Res64: 1A9A7637E2A3FBFD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:42:32]
639*2^1229176-1 is not prime.  Res64: 6BDC5C96E9916282  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:43:37]
735*2^1229176-1 is not prime.  Res64: EA08F54E9BC0E7A9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:44:54]
843*2^1229176-1 is not prime.  Res64: D747164EAC65645E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:46:04]
927*2^1229176-1 is not prime.  Res64: AB67C1EF85BBB2DE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:48:20]
871*2^1229177-1 is not prime.  Res64: A5EA3331AA35440C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:49:59]
901*2^1229177-1 is not prime.  Res64: D6B3388A6ABD7291  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:51:47]
915*2^1229177-1 is not prime.  Res64: 3C6D9365ED4723B0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:52:42]
955*2^1229177-1 is not prime.  Res64: D426995FFD3A3C6A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:53:09]
991*2^1229177-1 is not prime.  Res64: 1891EBE516A833E0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:55:15]
797*2^1229178-1 is not prime.  Res64: 1770FEBEBCDE6C32  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:58:28]
821*2^1229178-1 is not prime.  Res64: 2CC2062690F56BF3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 15:59:18]
977*2^1229178-1 is not prime.  Res64: A13D1E729D07638D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:01:13]
645*2^1229179-1 is not prime.  Res64: FB4C567A995063DF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:01:15]
631*2^1229179-1 is not prime.  Res64: 829473D6DACDFBF7  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:03:02]
677*2^1229180-1 is not prime.  Res64: BD877B1DA20C56AC  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:03:02]
939*2^1229179-1 is not prime.  Res64: 1D1508D2D7D4126E  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:03:03]
979*2^1229179-1 is not prime.  Res64: 06987FC92C65E487  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:03:03]
717*2^1229180-1 is not prime.  Res64: A94DE5E9260BE58C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:06:14]
793*2^1229179-1 is not prime.  Res64: 86A25B2C0FE41D02  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:06:57]
813*2^1229179-1 is not prime.  Res64: CC9F3C57D4BCB596  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:08:22]
789*2^1229180-1 is not prime.  Res64: E9688354F925D45C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:09:15]
813*2^1229180-1 is not prime.  Res64: 902E28291662E5CA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:10:22]
681*2^1229179-1 is not prime.  Res64: 0E321D9A997D2B39  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:10:25]
885*2^1229180-1 is not prime.  Res64: 150554F527D42CA3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:10:33]
693*2^1229179-1 is not prime.  Res64: FE722AE85D9C4D13  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:11:54]
915*2^1229180-1 is not prime.  Res64: 73083BCFDBD5A019  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:14:16]
945*2^1229180-1 is not prime.  Res64: 5BF6CC517905EE04  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:15:39]
999*2^1229180-1 is not prime.  Res64: FF2F54F1B913240E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:17:23]
741*2^1229181-1 is not prime.  Res64: 1099A358407607D7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:18:43]
847*2^1229181-1 is not prime.  Res64: DC1A631CDBDCBE7B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:18:47]
871*2^1229181-1 is not prime.  Res64: A9E9D3D7FA11508C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:20:42]
623*2^1229182-1 is not prime.  Res64: 4176C3767C7CF9FB  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:23:42]
965*2^1229182-1 is not prime.  Res64: B1AA3EBB6EDAD105  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:23:43]
811*2^1229183-1 is not prime.  Res64: DEA25770B42BCBF6  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:23:43]
615*2^1229183-1 is not prime.  Res64: 388D5D878B97C227  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:23:43]
859*2^1229183-1 is not prime.  Res64: F7609E00DA676610  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:23:56]
713*2^1229182-1 is not prime.  Res64: 98A1CFEE605DE5DD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:24:47]
761*2^1229182-1 is not prime.  Res64: DAEF1F1C54802B33  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:27:26]
891*2^1229182-1 is not prime.  Res64: EF52B9E0B54ED94F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:28:08]
863*2^1229182-1 is not prime.  Res64: 1280668A579C3145  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:31:26]
871*2^1229183-1 is not prime.  Res64: D59184ABCEB5018C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:32:43]
915*2^1229183-1 is not prime.  Res64: CC4BB5A090C42E9D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:34:27]
963*2^1229183-1 is not prime.  Res64: 6B1D1F3ADBC0FA8E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:34:47]
665*2^1229184-1 is not prime.  Res64: 0FFC083065B671F2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:35:57]
863*2^1229184-1 is not prime.  Res64: 741EB7D90D1420B9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:38:02]
625*2^1229185-1 is not prime.  Res64: 394666FCC9AD489D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:40:23]
741*2^1229185-1 is not prime.  Res64: 82C6DE641CDBBF45  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:41:22]
895*2^1229185-1 is not prime.  Res64: A687041B8511759F  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:44:24]
831*2^1229186-1 is not prime.  Res64: 55D1D41E15BEB07A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:44:24]
837*2^1229186-1 is not prime.  Res64: E9111217A4F3B25C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:44:25]
843*2^1229186-1 is not prime.  Res64: 16C1FB383938FB31  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 16:44:25]
935*2^1229186-1 is not prime.  Res64: 8BEFFF3245BD10D9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:44:26]
683*2^1229186-1 is not prime.  Res64: 6DDF802F6FADE13D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:44:32]
705*2^1229186-1 is not prime.  Res64: 6EBE8E9A670EDA09  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:44:51]
701*2^1229186-1 is not prime.  Res64: 3A95A82FAAAAE66B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:46:02]
983*2^1229184-1 is not prime.  Res64: C017F2AA6E932AC6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:46:08]
773*2^1229186-1 is not prime.  Res64: F0EFCB74558D95E1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:46:11]
753*2^1229184-1 is not prime.  Res64: 5B21898F92E93259  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:49:22]
941*2^1229186-1 is not prime.  Res64: 1C299929C071060E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:50:14]
751*2^1229187-1 is not prime.  Res64: A0F661BBCDD13B1B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:52:52]
677*2^1229188-1 is not prime.  Res64: 5A5812B5AA0BC90B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:54:26]
687*2^1229188-1 is not prime.  Res64: DED54766D3429719  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:56:10]
845*2^1229188-1 is not prime.  Res64: 05796500A13EC09E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 16:58:15]
869*2^1229188-1 is not prime.  Res64: 7D1DACE99278E57A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:00:25]
811*2^1229189-1 is not prime.  Res64: C09F8935346F144D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:00:38]
741*2^1229189-1 is not prime.  Res64: 88E65AD018F78E08  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:01:28]
861*2^1229189-1 is not prime.  Res64: 1410098BC829BA62  Time : 0.0 sec.
user=juhehe
[2012-09-23 17:01:49]
649*2^1229185-1 is not prime.  Res64: DCBEE6B3213B4116  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:04:12]
925*2^1229189-1 is not prime.  Res64: 07DD86BBB3154CE8  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:05:18]
627*2^1229190-1 is not prime.  Res64: 5A39B20D49400A1E  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:05:18]
671*2^1229190-1 is not prime.  Res64: 5E90121A268C9B74  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:05:18]
681*2^1229190-1 is not prime.  Res64: 794C1724C5CD61F0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:05:19]
707*2^1229190-1 is not prime.  Res64: 89876E0E3B984CE2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:06:34]
931*2^1229189-1 is not prime.  Res64: C079FB604E310AF7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:07:01]
611*2^1229190-1 is not prime.  Res64: B4D9049F5AC6F5D7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:10:11]
875*2^1229190-1 is not prime.  Res64: 26314582C7BF8EC4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:11:00]
891*2^1229190-1 is not prime.  Res64: DA93AD6C81F9D948  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:11:36]
651*2^1229191-1 is not prime.  Res64: AF55985307619C30  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:11:36]
797*2^1229190-1 is not prime.  Res64: 8E80FEC25AEEE2ED  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:14:49]
679*2^1229191-1 is not prime.  Res64: FE128610DEE6B1D8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:15:40]
703*2^1229191-1 is not prime.  Res64: 73F4C140C325C89C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:17:59]
741*2^1229191-1 is not prime.  Res64: CC3F6CC5FBD33ECA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:20:06]
771*2^1229191-1 is not prime.  Res64: D156A6660B645932  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:23:04]
789*2^1229191-1 is not prime.  Res64: 6599DABB6C69075A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:23:51]
931*2^1229191-1 is not prime.  Res64: 892BEE46138421AB  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:24:11]
663*2^1229191-1 is not prime.  Res64: 353691DAFCA2A472  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:24:11]
927*2^1229190-1 is not prime.  Res64: D9DDC75EB022ECF1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:26:08]
961*2^1229191-1 is not prime.  Res64: 868656C13D1216DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:26:13]
789*2^1229193-1 is not prime.  Res64: E44FC2BEF19D4843  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:26:13]
811*2^1229193-1 is not prime.  Res64: 9AB0E8642C65DFD1  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:26:17]
847*2^1229193-1 is not prime.  Res64: E9A618084A47E85A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:26:17]
915*2^1229193-1 is not prime.  Res64: 8B0716740CE0DA4E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:26:45]
979*2^1229191-1 is not prime.  Res64: 0CEB207850A40BFA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:27:00]
867*2^1229192-1 is not prime.  Res64: 7B4121DCA8C3BF9E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:30:24]
669*2^1229193-1 is not prime.  Res64: BD18587C7FD6234C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:32:33]
921*2^1229193-1 is not prime.  Res64: 2AF9BABB6A85950C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:32:36]
999*2^1229193-1 is not prime.  Res64: 11FD9E2151A99CEF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:35:59]
951*2^1229194-1 is not prime.  Res64: E4C0FA78E8A7067D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:36:33]
855*2^1229195-1 is not prime.  Res64: 45BE958CADB72A57  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:36:51]
601*2^1229195-1 is not prime.  Res64: 73F302FF32F95149  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:37:10]
669*2^1229195-1 is not prime.  Res64: 868789E19DA0A137  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:40:22]
883*2^1229195-1 is not prime.  Res64: 203161C18359F697  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:41:12]
979*2^1229195-1 is not prime.  Res64: 4A121FEDE6CAA03A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:42:31]
669*2^1229196-1 is not prime.  Res64: 4418BF3BC8D550BD  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:47:09]
803*2^1229196-1 is not prime.  Res64: 3806CFEDB78E2FB6  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:47:09]
625*2^1229197-1 is not prime.  Res64: F525D3F4A25C779C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:47:13]
699*2^1229197-1 is not prime.  Res64: A2AA9BA7F1153484  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 17:47:13]
751*2^1229197-1 is not prime.  Res64: B79B6D9CB395B130  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:47:27]
719*2^1229196-1 is not prime.  Res64: F5995414C949B71D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:47:51]
695*2^1229196-1 is not prime.  Res64: 26FAF5463F5B4904  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:49:24]
735*2^1229196-1 is not prime.  Res64: D7967217ED844E81  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:51:44]
779*2^1229196-1 is not prime.  Res64: B2A26946188017F5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:52:14]
769*2^1229197-1 is not prime.  Res64: E3A30E4D2F9A5359  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:52:30]
831*2^1229197-1 is not prime.  Res64: 8CEC26854E9DB47B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:53:20]
749*2^1229196-1 is not prime.  Res64: 7B104307AE74E119  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:53:23]
773*2^1229196-1 is not prime.  Res64: 11C5CF22C8A5419D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:55:53]
937*2^1229197-1 is not prime.  Res64: 6CFE04B2A11853BE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:58:03]
961*2^1229197-1 is not prime.  Res64: 10E4A4A96C13AD9D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 17:58:17]
645*2^1229198-1 is not prime.  Res64: 3D2C61705FC05E20  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:01:33]
651*2^1229198-1 is not prime.  Res64: 31109D9AE00E09C4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:01:34]
743*2^1229198-1 is not prime.  Res64: 9A761004210E6157  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:02:21]
753*2^1229198-1 is not prime.  Res64: 64F132DDBE9901CC  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:02:40]
813*2^1229198-1 is not prime.  Res64: 7D3DDF25FCBF9656  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:05:49]
887*2^1229198-1 is not prime.  Res64: C665582274423D47  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:06:42]
915*2^1229198-1 is not prime.  Res64: D92DB78BCFD695F1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:07:58]
941*2^1229198-1 is not prime.  Res64: 034C33AE00C2F151  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:08:29]
639*2^1229199-1 is not prime.  Res64: C8BB971B66B41322  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:08:29]
957*2^1229198-1 is not prime.  Res64: E580A7C1D9CF9208  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:08:29]
679*2^1229199-1 is not prime.  Res64: 02A41472D12ADA82  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:08:29]
1001*2^1229198-1 is not prime.  Res64: 28445F90A2AF0A6E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:12:54]
691*2^1229199-1 is not prime.  Res64: 30FFA3A5A219085A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:14:03]
693*2^1229199-1 is not prime.  Res64: 1E2C82BCDF1D4B8A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:15:01]
705*2^1229199-1 is not prime.  Res64: C94FDEBF3897F510  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:17:25]
745*2^1229199-1 is not prime.  Res64: F8B26A19E3D287B0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:17:55]
635*2^1229200-1 is not prime.  Res64: 48E41DE88C369740  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:17:58]
985*2^1229199-1 is not prime.  Res64: EE24CDA5C35437ED  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:21:42]
729*2^1229200-1 is not prime.  Res64: EE7096AE1010C9A7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:23:50]
849*2^1229200-1 is not prime.  Res64: A9AE84BCD29CC48D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:23:53]
797*2^1229200-1 is not prime.  Res64: DB033CFD0D1E9759  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:26:19]
917*2^1229200-1 is not prime.  Res64: 9D813D57A2F395FA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:27:15]
855*2^1229200-1 is not prime.  Res64: AA97112C8B47AE78  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:27:16]
693*2^1229200-1 is not prime.  Res64: 3736E95E06D05EC4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:27:18]
663*2^1229200-1 is not prime.  Res64: D890F3CE1FDEDCB2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:28:11]
829*2^1229201-1 is not prime.  Res64: 207421E32EE9A362  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:28:18]
927*2^1229200-1 is not prime.  Res64: B3932234F20B18C0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:29:49]
755*2^1229202-1 is not prime.  Res64: 5D8CA27AB7252C16  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:29:50]
767*2^1229202-1 is not prime.  Res64: 10AC6999807995CF  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:29:52]
797*2^1229202-1 is not prime.  Res64: 91F2528F127C376A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:29:53]
801*2^1229202-1 is not prime.  Res64: D9565B6F3DEEBBFE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:31:24]
907*2^1229201-1 is not prime.  Res64: FD87F06F8861DE13  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:32:17]
717*2^1229202-1 is not prime.  Res64: BD8ACE99BBBF1B41  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:34:07]
735*2^1229202-1 is not prime.  Res64: 3D8A3D2ED088133C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:39:02]
833*2^1229202-1 is not prime.  Res64: E300A4D5536A46C6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:40:08]
893*2^1229202-1 is not prime.  Res64: 32137EF4B78A6185  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:40:37]
975*2^1229202-1 is not prime.  Res64: B8244384F1B55B24  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:43:00]
619*2^1229203-1 is not prime.  Res64: 707369BFD5431C8B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:43:28]
679*2^1229203-1 is not prime.  Res64: 29D35C4364F42D13  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:44:01]
705*2^1229203-1 is not prime.  Res64: 1CDC46F3826CD8D5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:47:43]
735*2^1229203-1 is not prime.  Res64: EC08494920638F27  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:49:30]
741*2^1229203-1 is not prime.  Res64: 71E110B8686284D4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:49:52]
849*2^1229203-1 is not prime.  Res64: B9BE274DE50C5240  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:50:54]
607*2^1229205-1 is not prime.  Res64: 996C3955A44B4678  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:50:54]
609*2^1229205-1 is not prime.  Res64: 31B4E8AB58577CEE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:50:55]
649*2^1229205-1 is not prime.  Res64: B7EC8002142E97BF  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 18:50:55]
709*2^1229205-1 is not prime.  Res64: 7F41334BAAB10287  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:51:42]
915*2^1229203-1 is not prime.  Res64: 5135B1155DA3F337  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:52:53]
985*2^1229203-1 is not prime.  Res64: 566D47CD9BAA149F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:53:39]
885*2^1229204-1 is not prime.  Res64: F4DDF04F5DCA9457  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:54:08]
903*2^1229204-1 is not prime.  Res64: 8B4347090F5FA0FA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:56:53]
889*2^1229205-1 is not prime.  Res64: B93D7129E55A091E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 18:57:46]
891*2^1229205-1 is not prime.  Res64: 0C1CE0A28B175639  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:00:26]
949*2^1229205-1 is not prime.  Res64: 60F63D9BB2C66D0A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:02:36]
837*2^1229204-1 is not prime.  Res64: 237F9F274FDC7D03  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:02:39]
813*2^1229204-1 is not prime.  Res64: D73E43AEE2764F8B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:03:46]
765*2^1229206-1 is not prime.  Res64: C2777FFE079E4687  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:05:34]
857*2^1229206-1 is not prime.  Res64: B12796FB15FFAB8E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:06:17]
965*2^1229206-1 is not prime.  Res64: 6D829BCC65786DD5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:08:39]
739*2^1229207-1 is not prime.  Res64: F11F97BF0FBC5956  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:08:59]
883*2^1229207-1 is not prime.  Res64: 3F98E80A1E2BB9BB  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:09:28]
981*2^1229207-1 is not prime.  Res64: DCB2CE14159BFDC7  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:11:54]
721*2^1229209-1 is not prime.  Res64: 9871CAD7687DA3F5  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:11:54]
765*2^1229209-1 is not prime.  Res64: 8F46FCA5BA75F2DD  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:11:55]
829*2^1229209-1 is not prime.  Res64: 9DD240A15887D22E  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:11:56]
841*2^1229209-1 is not prime.  Res64: CBB391C3CBE9B70B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:13:12]
633*2^1229208-1 is not prime.  Res64: AAC035CC4A2F5E58  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:15:09]
725*2^1229208-1 is not prime.  Res64: 1D7913D31D246BE7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:15:22]
649*2^1229209-1 is not prime.  Res64: C5A725367EE17163  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:16:25]
939*2^1229209-1 is not prime.  Res64: 10093D2C1455BCEA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:18:31]
957*2^1229209-1 is not prime.  Res64: A66E7AFC7C7A691C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:19:08]
603*2^1229210-1 is not prime.  Res64: 5C28B73D83EDBAD0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:19:39]
605*2^1229210-1 is not prime.  Res64: 23691BDD70B8DF2A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:22:20]
731*2^1229210-1 is not prime.  Res64: A6F8E41A84C57DA0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:23:16]
813*2^1229210-1 is not prime.  Res64: 579D5C5AAD060D04  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:24:49]
981*2^1229210-1 is not prime.  Res64: 25054C54B6E4CF51  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:30:07]
793*2^1229211-1 is not prime.  Res64: 581FF2AFF905E2D9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:31:14]
805*2^1229211-1 is not prime.  Res64: BB83F4929B9E277D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:31:59]
879*2^1229211-1 is not prime.  Res64: 020C17739F99B84A  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:32:53]
749*2^1229212-1 is not prime.  Res64: 7278C1C6EE1234E0  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:32:54]
755*2^1229212-1 is not prime.  Res64: 4F372C82529F4036  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:32:58]
777*2^1229212-1 is not prime.  Res64: 18CAB9A61B4C6142  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:32:59]
857*2^1229212-1 is not prime.  Res64: 39A744F787E9C7A6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:33:40]
781*2^1229211-1 is not prime.  Res64: 7AA923D927E73183  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:34:19]
753*2^1229211-1 is not prime.  Res64: 5A98A0E653876776  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:34:20]
603*2^1229212-1 is not prime.  Res64: 0E89082FBCA940E2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:34:27]
657*2^1229212-1 is not prime.  Res64: A54FFD7B21833186  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:34:58]
743*2^1229212-1 is not prime.  Res64: 2C4184A048A336B5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:38:44]
875*2^1229212-1 is not prime.  Res64: E867571BCD8172A0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:40:42]
615*2^1229213-1 is not prime.  Res64: D86931CB2D25AE19  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:40:54]
619*2^1229213-1 is not prime.  Res64: 5806C974B4F313B3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:41:04]
631*2^1229213-1 is not prime.  Res64: 82AC403500F94F3B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:44:12]
837*2^1229213-1 is not prime.  Res64: E0948967DA463E8F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:44:37]
985*2^1229213-1 is not prime.  Res64: 61BD004DAFBAEEFF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:45:15]
627*2^1229214-1 is not prime.  Res64: 83D3FF4F69665615  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:48:19]
635*2^1229214-1 is not prime.  Res64: DAE2849152986742  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:48:49]
681*2^1229214-1 is not prime.  Res64: 3499A53920A93909  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:51:25]
707*2^1229214-1 is not prime.  Res64: B57F8C0F8ED52C59  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:53:51]
815*2^1229214-1 is not prime.  Res64: 4A2A21E4071D4318  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:53:51]
971*2^1229214-1 is not prime.  Res64: 9551AE083CBEF34C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:53:52]
983*2^1229214-1 is not prime.  Res64: 465061EA7944DCDA  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 19:53:53]
715*2^1229215-1 is not prime.  Res64: 89076758C0CB3C6B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:54:53]
747*2^1229214-1 is not prime.  Res64: 41C1EAA865B6DF7A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:57:12]
773*2^1229214-1 is not prime.  Res64: 1F4811E50451F863  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:57:31]
797*2^1229214-1 is not prime.  Res64: 42525F67E441B90A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 19:59:53]
891*2^1229215-1 is not prime.  Res64: 05E9CE0561A89663  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:00:01]
861*2^1229215-1 is not prime.  Res64: 44E29DB7B7ECF216  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:00:45]
961*2^1229215-1 is not prime.  Res64: 21B1B8FDA21B83F5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:04:30]
999*2^1229215-1 is not prime.  Res64: E6717502BEDE048A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:06:20]
767*2^1229216-1 is not prime.  Res64: 38E9EA931FD2325D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:06:41]
783*2^1229215-1 is not prime.  Res64: CEA598877AA1E5D9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:06:41]
893*2^1229216-1 is not prime.  Res64: 876CF27A7B571548  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:06:42]
879*2^1229216-1 is not prime.  Res64: ABE0AE96AB970356  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:07:39]
789*2^1229215-1 is not prime.  Res64: 08225C968C040003  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:09:53]
681*2^1229217-1 is not prime.  Res64: F649F436C706BCE9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:10:07]
727*2^1229217-1 is not prime.  Res64: 4DEC7E506C24FC70  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:11:07]
741*2^1229217-1 is not prime.  Res64: FD7E1180A51C3C72  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:13:49]
807*2^1229217-1 is not prime.  Res64: D3C878140834A057  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:14:17]
945*2^1229217-1 is not prime.  Res64: 2482513387A332FE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:14:43]
663*2^1229218-1 is not prime.  Res64: D058ECF45242344D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:14:43]
665*2^1229218-1 is not prime.  Res64: 8FD1D095C6FF7898  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:14:48]
755*2^1229218-1 is not prime.  Res64: 3AEF07C3EFCC25A7  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:14:49]
773*2^1229218-1 is not prime.  Res64: 895B8FEAEE7C9A5C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:16:42]
621*2^1229218-1 is not prime.  Res64: 353F47870E9408CD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:20:42]
791*2^1229218-1 is not prime.  Res64: D5E2250A855640C3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:23:08]
951*2^1229218-1 is not prime.  Res64: 20F23025EAD77680  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:24:18]
827*2^1229218-1 is not prime.  Res64: 7739604980582B75  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:25:23]
987*2^1229218-1 is not prime.  Res64: 837A10D44EABD5F6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:25:35]
735*2^1229219-1 is not prime.  Res64: 84BA1C4034F4A0BF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:26:44]
759*2^1229219-1 is not prime.  Res64: 20410E36981C7126  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:30:32]
799*2^1229219-1 is not prime.  Res64: B49624CDB5017980  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:32:02]
859*2^1229219-1 is not prime.  Res64: 643F4BA9C84C50D6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:32:03]
913*2^1229219-1 is not prime.  Res64: 4467A382FB365EF4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:32:50]
931*2^1229219-1 is not prime.  Res64: 27E9E6E74D066F88  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:35:33]
635*2^1229220-1 is not prime.  Res64: 7FE4CABD3A03BCC5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:35:35]
699*2^1229220-1 is not prime.  Res64: 9F83FD93392F4990  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:35:42]
797*2^1229220-1 is not prime.  Res64: 98FE7B176342B948  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:35:43]
809*2^1229220-1 is not prime.  Res64: 92AD38C3E270D196  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:35:47]
825*2^1229220-1 is not prime.  Res64: 14969B3D93A9DDCF  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:35:47]
933*2^1229220-1 is not prime.  Res64: 48248B320883140C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:37:12]
767*2^1229220-1 is not prime.  Res64: FA1AB21A3D091212  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:39:29]
773*2^1229220-1 is not prime.  Res64: 87519CCC45EEEB9D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:39:47]
783*2^1229220-1 is not prime.  Res64: 23DCCEA1AE131B68  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:41:13]
861*2^1229219-1 is not prime.  Res64: E2DDB6FC2A5925A8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:41:50]
999*2^1229220-1 is not prime.  Res64: 4D37CCD5E2BB6A23  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:41:57]
991*2^1229219-1 is not prime.  Res64: FCDD297549BAB9B5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:46:55]
747*2^1229221-1 is not prime.  Res64: 42E490D7C3340F3C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:48:56]
805*2^1229221-1 is not prime.  Res64: 2E98C5E8E39C38C0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:50:13]
871*2^1229221-1 is not prime.  Res64: A0E0D077A91BFE61  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:50:57]
937*2^1229221-1 is not prime.  Res64: ECB97220D40E651F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:51:15]
967*2^1229221-1 is not prime.  Res64: FFDD9B814DEF3258  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:52:51]
683*2^1229222-1 is not prime.  Res64: D8E3A81FDC233FDD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:56:45]
815*2^1229222-1 is not prime.  Res64: E09654EA075D6F67  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:57:04]
895*2^1229223-1 is not prime.  Res64: BBD9A9626C0B5414  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:57:05]
961*2^1229223-1 is not prime.  Res64: D8FA2731272F2E2D  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:57:09]
623*2^1229224-1 is not prime.  Res64: ADA85BD1FC8C11EA  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 20:57:09]
665*2^1229224-1 is not prime.  Res64: F59802D17FD2E357  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:57:47]
669*2^1229223-1 is not prime.  Res64: C285B7200FCF3C4D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:58:37]
705*2^1229223-1 is not prime.  Res64: 632E54ACC697945E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 20:58:59]
775*2^1229223-1 is not prime.  Res64: D8594091C8602864  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:01:16]
781*2^1229223-1 is not prime.  Res64: AB6F197FFD8E788E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:01:28]
861*2^1229223-1 is not prime.  Res64: BB790DAF031346D9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:03:28]
719*2^1229224-1 is not prime.  Res64: 3BBDED1882DA3219  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:04:59]
843*2^1229224-1 is not prime.  Res64: 3F4444DFF242C7BF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:05:21]
875*2^1229224-1 is not prime.  Res64: 62E7B1799019378D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:08:12]
657*2^1229225-1 is not prime.  Res64: FE4BEF723DB1481C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:12:55]
775*2^1229225-1 is not prime.  Res64: 9042EC65724E0EBB  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:13:38]
989*2^1229224-1 is not prime.  Res64: 7DFD5DCFDC7E2557  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:14:33]
787*2^1229225-1 is not prime.  Res64: BB4A47AC1BF2B949  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:15:25]
771*2^1229225-1 is not prime.  Res64: ED440BA967A77126  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:15:32]
831*2^1229225-1 is not prime.  Res64: 4A8709BE6A24C9CD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:16:23]
889*2^1229225-1 is not prime.  Res64: 3451B53843D8CFD6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:16:51]
985*2^1229225-1 is not prime.  Res64: 82CB03B9CC4B8454  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:18:00]
925*2^1229227-1 is not prime.  Res64: 08B23868DD31B708  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:18:01]
985*2^1229227-1 is not prime.  Res64: D22B14FCC52907DE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:18:04]
993*2^1229227-1 is not prime.  Res64: 08464AB5473A815B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:18:05]
617*2^1229228-1 is not prime.  Res64: 997DB235C38FF292  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:19:00]
647*2^1229226-1 is not prime.  Res64: 68F670BE5EEA3976  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:22:51]
815*2^1229226-1 is not prime.  Res64: 82C8B3C4782C9628  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:23:25]
869*2^1229228-1 is not prime.  Res64: 1035BF192A55E6E0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:24:39]
893*2^1229228-1 is not prime.  Res64: 54FB0D4D6E42FC53  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:25:11]
915*2^1229228-1 is not prime.  Res64: DADE37D184A37507  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:27:03]
923*2^1229228-1 is not prime.  Res64: 7C162BD667EFC9BF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:27:20]
963*2^1229228-1 is not prime.  Res64: 2D00BDDBB0BB71FA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:29:39]
969*2^1229228-1 is not prime.  Res64: DB1A1E877E33A2BE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:30:30]
685*2^1229229-1 is not prime.  Res64: 09E8E73CF7840C0C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:30:53]
787*2^1229229-1 is not prime.  Res64: 8DDFA0AB6330C6DF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:34:27]
895*2^1229229-1 is not prime.  Res64: D0A0F1D0441BF055  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:38:55]
861*2^1229230-1 is not prime.  Res64: AEDE7F3631D036FF  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:38:55]
867*2^1229230-1 is not prime.  Res64: 40B0E1BF1A103B52  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:38:58]
917*2^1229230-1 is not prime.  Res64: C0A9A8F8B6FC8C22  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:38:58]
951*2^1229230-1 is not prime.  Res64: 5EF402D9DC837A45  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:39:22]
951*2^1229229-1 is not prime.  Res64: B1BDDB7D96D63B99  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:40:09]
997*2^1229229-1 is not prime.  Res64: 4AF7178226DA2AC2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:40:44]
605*2^1229230-1 is not prime.  Res64: 808D212CB0DA2999  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:41:53]
647*2^1229230-1 is not prime.  Res64: 4046947D92F0934A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:42:32]
843*2^1229230-1 is not prime.  Res64: E8EE15D2F6C4F1A3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:45:11]
1001*2^1229230-1 is not prime.  Res64: 268310884917579E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:47:12]
975*2^1229229-1 is not prime.  Res64: 0F664C1359F4D4E7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:47:33]
603*2^1229230-1 is not prime.  Res64: B7157C5FAE6E6593  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:49:03]
741*2^1229231-1 is not prime.  Res64: 73641AC177D305F9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:49:03]
843*2^1229231-1 is not prime.  Res64: 30CFDB29B97E15B3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:51:04]
889*2^1229231-1 is not prime.  Res64: 00714B4F507D0776  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:51:24]
979*2^1229231-1 is not prime.  Res64: C26411752E1A9766  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:52:29]
669*2^1229232-1 is not prime.  Res64: C21E094DFDC62EE1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:53:02]
725*2^1229232-1 is not prime.  Res64: 17583A224B9902EC  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:55:50]
765*2^1229232-1 is not prime.  Res64: 66AF692B9DF00C16  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:56:03]
837*2^1229232-1 is not prime.  Res64: 3B900F20EA6BAD12  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 21:56:22]
751*2^1229233-1 is not prime.  Res64: D65A24001C1E86B4  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:59:48]
807*2^1229233-1 is not prime.  Res64: 738F87207C3ABD82  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:59:49]
867*2^1229233-1 is not prime.  Res64: 64DEA6254BE4BCB2  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:59:51]
885*2^1229233-1 is not prime.  Res64: 1E80A5F0A48E09FA  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 21:59:52]
919*2^1229233-1 is not prime.  Res64: A919447AACCE3DDC  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:00:47]
801*2^1229233-1 is not prime.  Res64: CDD3F41539789592  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:05:45]
671*2^1229234-1 is not prime.  Res64: 9C795ABDD6EE75CA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:05:57]
755*2^1229234-1 is not prime.  Res64: A0E3679DE5987037  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:06:10]
945*2^1229233-1 is not prime.  Res64: 232327FBB040B591  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:07:30]
797*2^1229234-1 is not prime.  Res64: 109C334CD3D84D15  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:08:13]
851*2^1229234-1 is not prime.  Res64: 75810F69D2486AF5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:11:20]
685*2^1229235-1 is not prime.  Res64: 8FA429717148B2E2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:14:36]
615*2^1229236-1 is not prime.  Res64: 95202E72454DB71A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:15:15]
617*2^1229236-1 is not prime.  Res64: 2026ABBA9BDE88F4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:16:20]
723*2^1229236-1 is not prime.  Res64: 6B8FD7D2FA63E9E2  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:17:34]
857*2^1229236-1 is not prime.  Res64: 5A607A7C15234A08  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:18:01]
899*2^1229236-1 is not prime.  Res64: 35A368FF0D9967C8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:18:44]
909*2^1229236-1 is not prime.  Res64: D529CCC9F66D6A59  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 22:20:43]
757*2^1229237-1 is not prime.  Res64: A219806A6A45F857  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 22:20:43]
865*2^1229237-1 is not prime.  Res64: B735D25E74BC5B82  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 22:20:46]
915*2^1229237-1 is not prime.  Res64: 6D342E268ABC854C  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 22:20:46]
957*2^1229237-1 is not prime.  Res64: 92137E8BAC760856  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:21:35]
691*2^1229237-1 is not prime.  Res64: 1E1FB585A80C2D18  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:21:54]
735*2^1229237-1 is not prime.  Res64: 1D8D283516FD6E4D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:22:01]
927*2^1229236-1 is not prime.  Res64: E921C39F89BA7680  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:25:33]
919*2^1229235-1 is not prime.  Res64: 000A6241449FA7FF  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:25:45]
949*2^1229235-1 is not prime.  Res64: 6EFD4E47B728C872  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:26:47]
605*2^1229238-1 is not prime.  Res64: AE86858AB8126339  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:31:29]
615*2^1229238-1 is not prime.  Res64: A772D5133E102FF5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:31:42]
627*2^1229238-1 is not prime.  Res64: 335D0B4A08096138  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:32:30]
641*2^1229238-1 is not prime.  Res64: 284889E897EC2F12  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:33:03]
657*2^1229238-1 is not prime.  Res64: D74D59228FB728EA  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:33:49]
705*2^1229238-1 is not prime.  Res64: 4341B2F888CBF76F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:37:35]
843*2^1229238-1 is not prime.  Res64: 3325717F4EE49096  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:40:24]
893*2^1229238-1 is not prime.  Res64: 9EC0E0CB558216D4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:41:30]
933*2^1229238-1 is not prime.  Res64: 1186B17CB3F097BC  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 22:41:37]
693*2^1229239-1 is not prime.  Res64: 65E380A977CAFF00  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 22:41:37]
895*2^1229239-1 is not prime.  Res64: 24BECAADFE68AD12  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 22:41:40]
759*2^1229240-1 is not prime.  Res64: 5C942E53B93B09BF  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 22:41:40]
797*2^1229240-1 is not prime.  Res64: 108EE838B00C42F4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:42:04]
963*2^1229238-1 is not prime.  Res64: 18947B26E7A6FC5F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:43:29]
681*2^1229239-1 is not prime.  Res64: F8C05A4C5AFAD8F6  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:43:49]
609*2^1229239-1 is not prime.  Res64: 6BADE7736697BFA8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:44:21]
685*2^1229239-1 is not prime.  Res64: C29E1CD445A5FA91  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:47:06]
855*2^1229240-1 is not prime.  Res64: B2A70A9A4A163FAE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:47:23]
995*2^1229240-1 is not prime.  Res64: BCB75CFA56BDCE0D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:48:17]
669*2^1229241-1 is not prime.  Res64: 26312FE513AC5B0D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:52:47]
751*2^1229241-1 is not prime.  Res64: 04E661549C491BE3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:56:05]
727*2^1229241-1 is not prime.  Res64: AADC9CDA1EFDEBCD  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:56:28]
739*2^1229241-1 is not prime.  Res64: FF37DCDC9389A147  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:57:05]
795*2^1229241-1 is not prime.  Res64: 21519801ED5AC524  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:57:56]
907*2^1229241-1 is not prime.  Res64: C31F1D6891CA923F  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:58:29]
999*2^1229241-1 is not prime.  Res64: E3047588594F8DD8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:59:08]
937*2^1229241-1 is not prime.  Res64: BF8DD67C6B3D0F60  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 22:59:22]
645*2^1229242-1 is not prime.  Res64: 8BE3320104612FF9  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:02:32]
679*2^1229243-1 is not prime.  Res64: CEE3D85605175AEE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:02:36]
693*2^1229243-1 is not prime.  Res64: 54E00544B958C0FA  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:02:38]
705*2^1229243-1 is not prime.  Res64: A7FB0CAC18DCF195  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:02:40]
789*2^1229243-1 is not prime.  Res64: 67DE9E3EA3D2EB57  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:03:49]
713*2^1229242-1 is not prime.  Res64: 14DE26B89006FF64  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:06:05]
643*2^1229243-1 is not prime.  Res64: 994AE0378B931392  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:07:25]
707*2^1229244-1 is not prime.  Res64: 31C96CDFF079F55B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:07:43]
663*2^1229243-1 is not prime.  Res64: 41F89720C8FB733E  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:08:59]
749*2^1229244-1 is not prime.  Res64: 5BF66A798C451D11  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:09:57]
727*2^1229245-1 is not prime.  Res64: E668BCEB025C92C3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:10:04]
947*2^1229244-1 is not prime.  Res64: B7164A25C467BF2A  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:12:34]
741*2^1229245-1 is not prime.  Res64: F8CF8C35E58E2753  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:12:53]
811*2^1229245-1 is not prime.  Res64: B3051B654E1C087D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:14:29]
825*2^1229245-1 is not prime.  Res64: 7CF8F413A50DA781  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:18:22]
985*2^1229245-1 is not prime.  Res64: 7F6F9B49B7584BB9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:22:43]
671*2^1229246-1 is not prime.  Res64: 8F5C1C7182162944  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:23:44]
693*2^1229246-1 is not prime.  Res64: 690EA80161F2EDFB  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:23:56]
839*2^1229248-1 is not prime.  Res64: 7BD3097C22F766DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:23:56]
843*2^1229248-1 is not prime.  Res64: D0C6E665D8890045  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:23:57]
615*2^1229249-1 is not prime.  Res64: F3142001C12FBC5B  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:23:58]
645*2^1229249-1 is not prime.  Res64: AA46B7ADB0C4F14D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:23:58]
825*2^1229246-1 is not prime.  Res64: 64F21FA0DBFC0B62  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:24:54]
885*2^1229247-1 is not prime.  Res64: F8438C8DA41328B3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:25:25]
649*2^1229247-1 is not prime.  Res64: 58CFF68B08DFC21B  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:30:05]
649*2^1229249-1 is not prime.  Res64: 369384D3C5DD2BF1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:30:17]
997*2^1229245-1 is not prime.  Res64: 267FF76F99552590  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:30:48]
615*2^1229246-1 is not prime.  Res64: 0ACF80729569C7D5  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:31:43]
721*2^1229249-1 is not prime.  Res64: B8BE683057B064CE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:33:39]
727*2^1229249-1 is not prime.  Res64: F4F729016DB949D1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:33:58]
801*2^1229249-1 is not prime.  Res64: C8EDE55ADEEED2C7  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:34:36]
861*2^1229249-1 is not prime.  Res64: 2A65C35F8B7B01A8  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:35:38]
879*2^1229249-1 is not prime.  Res64: A967E888CEBC1AD1  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:36:14]
801*2^1229250-1 is not prime.  Res64: 47A94AD2B827A1B3  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:38:06]
803*2^1229250-1 is not prime.  Res64: F30E4C37F792A20D  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:38:22]
873*2^1229250-1 is not prime.  Res64: 5CAFDB633677A575  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:40:47]
601*2^1229251-1 is not prime.  Res64: 51F850B4A42353A0  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:44:14]
649*2^1229251-1 is not prime.  Res64: 289576C7F75570AE  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:44:51]
633*2^1229252-1 is not prime.  Res64: D32AF0F2C3238446  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:44:51]
699*2^1229252-1 is not prime.  Res64: CBCD920509D66ACF  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:44:52]
749*2^1229252-1 is not prime.  Res64: 0B1140E7BF3E19DA  Time : 0.0 sec.
user=mdettweiler
[2012-09-23 23:44:52]
855*2^1229252-1 is not prime.  Res64: BE6FE0868302DC28  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:48:21]
741*2^1229251-1 is not prime.  Res64: A47150465FFF932C  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:49:30]
875*2^1229252-1 is not prime.  Res64: E48E49B580AB5D28  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:49:32]
813*2^1229251-1 is not prime.  Res64: 630BF9742DFEA6F9  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:50:26]
899*2^1229252-1 is not prime.  Res64: B57A966A968CE0DE  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:52:06]
691*2^1229253-1 is not prime.  Res64: 3CD9BC409E4ECFA4  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:56:26]
699*2^1229253-1 is not prime.  Res64: 5CA6CB8452103813  Time : 0.0 sec.
user=gd_barnes
[2012-09-23 23:57:25]
645*2^1229254-1 is not prime.  Res64: C877D8F031837B14  Time : 0.0 sec.
user=gd_barnes
[2012-09-24 00:00:08]
965*2^1229254-1 is not prime.  Res64: F3A8C3D203334F24  Time : 0.0 sec.
user=gd_barnes
[2012-09-24 00:00:14]
947*2^1229254-1 is not prime.  Res64: 3B5DF6C19668D9E4  Time : 0.0 sec.
user=gd_barnes
[2012-09-24 00:00:37]
681*2^1229254-1 is not prime.  Res64: 61803949A2513030  Time : 0.0 sec.