user=mdettweiler
[2015-03-26 00:02:07]
741*2^1396166-1 is not prime.  Res64: 86A937C4DF44C00D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:02:08]
773*2^1396166-1 is not prime.  Res64: BD8ECB4F84E8DD00  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:06:04]
813*2^1396166-1 is not prime.  Res64: A094081005D0EDBF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:06:05]
1001*2^1396166-1 is not prime.  Res64: 53034566293E0873  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:08:08]
619*2^1396167-1 is not prime.  Res64: C260922FEFB114ED  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:08:08]
625*2^1396167-1 is not prime.  Res64: 6E857511037415F8  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:10:38]
945*2^1396167-1 is not prime.  Res64: 6C532B69F95D9122  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:10:39]
663*2^1396168-1 is not prime.  Res64: B3C129A63B1D69D4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:29:22]
695*2^1396168-1 is not prime.  Res64: E875CD0C3BCA6A0D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:29:22]
713*2^1396168-1 is not prime.  Res64: B1E575EFF4EC263E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:33:15]
777*2^1396168-1 is not prime.  Res64: 89E171930C80EF41  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:33:15]
833*2^1396168-1 is not prime.  Res64: 4AA29B27DA6ED616  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:35:16]
839*2^1396168-1 is not prime.  Res64: C254201D62229BD3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:35:17]
863*2^1396168-1 is not prime.  Res64: 89A9A8AED793764F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:37:42]
899*2^1396168-1 is not prime.  Res64: B4A77FE22B5036A3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:37:43]
649*2^1396169-1 is not prime.  Res64: 6F48D0ED3B47AA88  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:56:19]
787*2^1396169-1 is not prime.  Res64: C203DB05FC5219B4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 00:56:19]
799*2^1396169-1 is not prime.  Res64: EC43E2551E76D432  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:00:24]
829*2^1396169-1 is not prime.  Res64: 1F6DEA51D1917176  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:00:25]
925*2^1396169-1 is not prime.  Res64: 19ADDF55B8142FE5  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:02:25]
969*2^1396169-1 is not prime.  Res64: 682898D1ABEAF5B2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:02:26]
627*2^1396170-1 is not prime.  Res64: 93D9104657520BAC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:04:28]
681*2^1396170-1 is not prime.  Res64: DFF8145C832B47BE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:04:29]
707*2^1396170-1 is not prime.  Res64: 3CD13141D6D046C8  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:22:52]
927*2^1396170-1 is not prime.  Res64: 6B449CF1B195D2CE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:22:53]
971*2^1396170-1 is not prime.  Res64: 3E2F22A982857C4D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:26:58]
733*2^1396171-1 is not prime.  Res64: 1563A4E085C8BC22  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:27:00]
759*2^1396171-1 is not prime.  Res64: 6555BA01FA5804B0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:29:03]
801*2^1396171-1 is not prime.  Res64: 21F7143A8EAE3117  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:29:04]
819*2^1396171-1 is not prime.  Res64: 96F817432E03A387  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:31:08]
973*2^1396171-1 is not prime.  Res64: A98240A836647F1B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:31:08]
635*2^1396172-1 is not prime.  Res64: 4A96602195D26074  Time : 0.0 sec.
user=juhehe
[2015-03-26 01:32:02]
851*2^1396170-1 is not prime.  Res64: 420A236F38A59D32  Time : 0.0 sec.
user=juhehe
[2015-03-26 01:38:05]
783*2^1396171-1 is not prime.  Res64: 41D35D8A3315DC11  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:49:24]
717*2^1396172-1 is not prime.  Res64: B6DC425324545B68  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:49:25]
797*2^1396172-1 is not prime.  Res64: B6B17316EAFCBC23  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:53:37]
915*2^1396172-1 is not prime.  Res64: B3164476DD917CC4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:53:37]
923*2^1396172-1 is not prime.  Res64: ADA573AAF222C96B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:55:56]
959*2^1396172-1 is not prime.  Res64: A90E51B21713AC02  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:55:56]
999*2^1396172-1 is not prime.  Res64: 3BBAF775375D315F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:57:44]
745*2^1396173-1 is not prime.  Res64: 87FBE45E7EC5388D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 01:57:44]
811*2^1396173-1 is not prime.  Res64: 75F545EF56E2AC99  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:16:02]
927*2^1396173-1 is not prime.  Res64: B580C363CB90508F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:16:03]
979*2^1396173-1 is not prime.  Res64: 3355262D4505B7AA  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:20:57]
737*2^1396174-1 is not prime.  Res64: 1D35D69DD9B651EA  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:20:57]
783*2^1396174-1 is not prime.  Res64: 8D4970C2324E7748  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:23:27]
827*2^1396174-1 is not prime.  Res64: 442FD47A7E9E6261  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:23:28]
917*2^1396174-1 is not prime.  Res64: BB68AECA05267922  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:25:20]
805*2^1396175-1 is not prime.  Res64: A03E52D512DA6E1A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:25:20]
853*2^1396175-1 is not prime.  Res64: 7BF4565C43C89602  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:43:25]
913*2^1396175-1 is not prime.  Res64: 1E6CF2995494EED6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:43:26]
653*2^1396176-1 is not prime.  Res64: 6588F9065A6DCF40  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:47:53]
693*2^1396176-1 is not prime.  Res64: 6C76096CB7116060  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:47:53]
765*2^1396176-1 is not prime.  Res64: 7B268E793BAEF5A4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:50:08]
789*2^1396176-1 is not prime.  Res64: B59779BE30FBAFCC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:50:08]
615*2^1396177-1 is not prime.  Res64: 6C750DA8E8F75F2B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:52:09]
645*2^1396177-1 is not prime.  Res64: 5C396CA3B9FD7B57  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 02:52:09]
651*2^1396177-1 is not prime.  Res64: BA2E59C9B129A2D2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:09:34]
691*2^1396177-1 is not prime.  Res64: B0443EA5CBA5EFAD  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:09:35]
771*2^1396177-1 is not prime.  Res64: B0672929781F8D4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:13:57]
831*2^1396177-1 is not prime.  Res64: 54218B23958E03A0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:13:57]
937*2^1396177-1 is not prime.  Res64: E31FF36595190435  Time : 0.0 sec.
user=juhehe
[2015-03-26 03:14:06]
687*2^1396177-1 is not prime.  Res64: DAB8E556A6E47209  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:16:15]
687*2^1396178-1 is not prime.  Res64: E542080D17C36FFE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:16:15]
711*2^1396178-1 is not prime.  Res64: BD398D3F5DA84544  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:18:15]
713*2^1396178-1 is not prime.  Res64: 1B0DB2BACEBA6CA2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:18:16]
755*2^1396178-1 is not prime.  Res64: 1C2CAB4ABCEC3257  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:35:38]
833*2^1396178-1 is not prime.  Res64: 32756428FA17A98A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:35:40]
875*2^1396178-1 is not prime.  Res64: A1E00518E506E8F8  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:40:00]
963*2^1396178-1 is not prime.  Res64: CA89F35055AE902C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:40:01]
639*2^1396179-1 is not prime.  Res64: 309AED902112938B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:42:09]
675*2^1396179-1 is not prime.  Res64: 727CE3167105742B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:42:10]
609*2^1396180-1 is not prime.  Res64: 94862B40417CB6C7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:44:12]
653*2^1396180-1 is not prime.  Res64: 56F1C39E81ED58F9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 03:44:14]
833*2^1396180-1 is not prime.  Res64: DF21E14DA53F6B99  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:01:58]
857*2^1396180-1 is not prime.  Res64: C371948CF4F92224  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:01:59]
983*2^1396180-1 is not prime.  Res64: FADAC04BEB9EB85F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:06:08]
989*2^1396180-1 is not prime.  Res64: B3A7B939E9A4A5EF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:06:09]
619*2^1396181-1 is not prime.  Res64: DFCD6CB4B1F8A376  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:08:11]
675*2^1396181-1 is not prime.  Res64: 304397C0556F60C3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:08:11]
795*2^1396181-1 is not prime.  Res64: E8519D06ACFC955B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:10:15]
889*2^1396181-1 is not prime.  Res64: EDEA5A45345124FB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:10:15]
949*2^1396181-1 is not prime.  Res64: 32E95BEA61AD7A5D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:28:20]
621*2^1396182-1 is not prime.  Res64: 966E0B37176FA824  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:28:21]
677*2^1396182-1 is not prime.  Res64: C5744884DF1ED3E0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:32:15]
717*2^1396182-1 is not prime.  Res64: F32A8011D990908F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:32:15]
1001*2^1396182-1 is not prime.  Res64: 2A94B092AC28EA73  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:34:12]
685*2^1396183-1 is not prime.  Res64: D9A9844D6CCBAFF6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:34:12]
765*2^1396183-1 is not prime.  Res64: 7468BCE5A11E53E7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:36:06]
775*2^1396183-1 is not prime.  Res64: EA66556B10190B78  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:36:07]
783*2^1396183-1 is not prime.  Res64: 543604E4BD563C5F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:54:15]
855*2^1396183-1 is not prime.  Res64: DBD14BF00F81A660  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:54:16]
901*2^1396183-1 is not prime.  Res64: C8AD4B48B345F31F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:58:08]
683*2^1396184-1 is not prime.  Res64: AC6F26C246EEB993  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 04:58:09]
699*2^1396184-1 is not prime.  Res64: 90BE4D733C17221A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:00:04]
857*2^1396184-1 is not prime.  Res64: DF9CF81CC34AAEE6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:00:04]
873*2^1396184-1 is not prime.  Res64: C7CFE3A0FC8DA0CE  Time : 0.0 sec.
user=juhehe
[2015-03-26 05:01:49]
805*2^1396183-1 is not prime.  Res64: AF05377E1B41E1A3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:02:03]
917*2^1396184-1 is not prime.  Res64: 58C5E83DD63A8344  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:02:04]
945*2^1396184-1 is not prime.  Res64: 4E4544848AEE8213  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:20:10]
607*2^1396185-1 is not prime.  Res64: 41486B3A09EF1240  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:20:11]
649*2^1396185-1 is not prime.  Res64: 1CE98226E9B08DAB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:24:05]
727*2^1396185-1 is not prime.  Res64: 2796D0C77C2E7241  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:24:06]
765*2^1396185-1 is not prime.  Res64: 1823CC05916BA652  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:25:58]
885*2^1396185-1 is not prime.  Res64: 6C5025F180399963  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:25:59]
937*2^1396185-1 is not prime.  Res64: 7B650F59EA45259F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:27:56]
651*2^1396186-1 is not prime.  Res64: 849355282BE06E55  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:27:57]
705*2^1396186-1 is not prime.  Res64: FBB02AF49DA4F202  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:46:02]
801*2^1396186-1 is not prime.  Res64: 6636223AF7F9A095  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:46:03]
619*2^1396187-1 is not prime.  Res64: 8D1DBBD5C1036822  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:50:04]
735*2^1396187-1 is not prime.  Res64: A92CC2E652FFCEB2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:50:05]
801*2^1396187-1 is not prime.  Res64: 1A879BA76607E9BF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:51:48]
871*2^1396187-1 is not prime.  Res64: D870876473E769FE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:51:49]
985*2^1396187-1 is not prime.  Res64: BD297E116D059CC2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:53:51]
605*2^1396188-1 is not prime.  Res64: 7F3B4D5AEA1CCC67  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 05:53:51]
633*2^1396188-1 is not prime.  Res64: 9AF87D0E56F91187  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:11:54]
665*2^1396188-1 is not prime.  Res64: 7E88B2AF6C9AD97D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:11:54]
669*2^1396188-1 is not prime.  Res64: 1E6D5A52E0943467  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:16:02]
725*2^1396188-1 is not prime.  Res64: 8903815E809DD087  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:16:03]
735*2^1396188-1 is not prime.  Res64: A5B2D4187EA70DDF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:17:38]
737*2^1396188-1 is not prime.  Res64: DDE7292FE41C9A62  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:17:39]
767*2^1396188-1 is not prime.  Res64: B8D199AA97315634  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:19:44]
789*2^1396188-1 is not prime.  Res64: 728490CC77103D9D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:19:44]
795*2^1396188-1 is not prime.  Res64: 57D2935D9181D6FE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:37:50]
899*2^1396188-1 is not prime.  Res64: EB94AD10248FA68D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:37:51]
959*2^1396188-1 is not prime.  Res64: D871B86996C86281  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:41:55]
661*2^1396189-1 is not prime.  Res64: 4977EDA53D02C93C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:41:55]
667*2^1396189-1 is not prime.  Res64: BC8FB108A01CFB97  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:43:34]
681*2^1396189-1 is not prime.  Res64: DCD725D58D18BB97  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:43:34]
835*2^1396189-1 is not prime.  Res64: D0E2B0B5F1BDA4E3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:45:40]
861*2^1396189-1 is not prime.  Res64: 30CDED13BB6C9E6B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 06:45:41]
753*2^1396190-1 is not prime.  Res64: 547E424046E8B0E4  Time : 0.0 sec.
user=juhehe
[2015-03-26 06:45:58]
809*2^1396188-1 is not prime.  Res64: 774373AA53E39E06  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:03:41]
755*2^1396190-1 is not prime.  Res64: B9E73A7F9DECDBA4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:03:43]
885*2^1396190-1 is not prime.  Res64: 50547451DFCE861C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:07:39]
915*2^1396190-1 is not prime.  Res64: D94206821D5AE045  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:07:40]
1001*2^1396190-1 is not prime.  Res64: 69D509E2F3C983BC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:09:24]
621*2^1396191-1 is not prime.  Res64: 9C330504A774B402  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:09:25]
709*2^1396191-1 is not prime.  Res64: 982DAF21C5441478  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:11:36]
735*2^1396191-1 is not prime.  Res64: CEF5544CD0C475BE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:11:36]
775*2^1396191-1 is not prime.  Res64: 384CB10241C902F7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:29:58]
635*2^1396192-1 is not prime.  Res64: 6A0780945A2800F7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:29:59]
675*2^1396192-1 is not prime.  Res64: EA2116AB223558B5  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:33:37]
887*2^1396192-1 is not prime.  Res64: F6798D1CA9DD38EE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:33:38]
939*2^1396192-1 is not prime.  Res64: 4C084B26D6E9A263  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:35:28]
619*2^1396193-1 is not prime.  Res64: 316EDE8190AA4C5B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:35:28]
741*2^1396193-1 is not prime.  Res64: F1874EC08D769A02  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:37:28]
759*2^1396193-1 is not prime.  Res64: 6960D67F160D618C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:37:28]
837*2^1396193-1 is not prime.  Res64: 57B3606CD4B7B4CB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:55:52]
871*2^1396193-1 is not prime.  Res64: 14ED28D04A07C4A8  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:55:52]
901*2^1396193-1 is not prime.  Res64: 50A42012423587BA  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:59:25]
949*2^1396193-1 is not prime.  Res64: 3D622E4EB9D71249  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 07:59:26]
957*2^1396193-1 is not prime.  Res64: CA245F53CBDFFB2E  Time : 0.0 sec.
user=juhehe
[2015-03-26 08:00:03]
861*2^1396193-1 is not prime.  Res64: 65836F6E992D2F0A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:01:13]
969*2^1396193-1 is not prime.  Res64: B47CD3970BD130A4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:01:14]
981*2^1396193-1 is not prime.  Res64: A4A688BC90E19A6E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:03:16]
633*2^1396194-1 is not prime.  Res64: B2070381CC265EB8  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:03:18]
663*2^1396194-1 is not prime.  Res64: 6D3E72BE8567A9F4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:21:51]
741*2^1396194-1 is not prime.  Res64: C950E3DDDF1314A3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:21:52]
783*2^1396194-1 is not prime.  Res64: 0BCD018C7F621182  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:25:13]
881*2^1396194-1 is not prime.  Res64: 48BEDCD4CA0324B1  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:25:13]
903*2^1396194-1 is not prime.  Res64: 700FE03E768F8101  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:27:10]
917*2^1396194-1 is not prime.  Res64: B20027C2FEAEEA96  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:27:10]
941*2^1396194-1 is not prime.  Res64: 079BCDEFDECE95C7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:29:17]
609*2^1396195-1 is not prime.  Res64: E2113BD4E8473356  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:29:18]
619*2^1396195-1 is not prime.  Res64: 09E9779C49494906  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:47:45]
705*2^1396195-1 is not prime.  Res64: E95DD8C07985F28D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:47:46]
759*2^1396195-1 is not prime.  Res64: BB70D279C50E9995  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:51:09]
819*2^1396195-1 is not prime.  Res64: 433E7AE646C16722  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:51:09]
843*2^1396195-1 is not prime.  Res64: 99EB25A13883736F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:52:59]
919*2^1396195-1 is not prime.  Res64: 77D17863367E3ED3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:53:00]
677*2^1396196-1 is not prime.  Res64: D242EB3B5E63CED7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:55:07]
719*2^1396196-1 is not prime.  Res64: 123052F47B0135D2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 08:55:08]
837*2^1396196-1 is not prime.  Res64: 9D26F2EC74F53EE1  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:13:41]
903*2^1396196-1 is not prime.  Res64: 9886A14877EBB5FA  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:13:42]
615*2^1396197-1 is not prime.  Res64: E86981AA233840F3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:16:53]
655*2^1396197-1 is not prime.  Res64: 4CA712B840E40FAC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:16:53]
717*2^1396197-1 is not prime.  Res64: 86663B2AA7AB9A7E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:18:47]
831*2^1396197-1 is not prime.  Res64: B59CA5F0B75A2819  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:18:48]
889*2^1396197-1 is not prime.  Res64: 12F858F12C8CF915  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:20:55]
919*2^1396197-1 is not prime.  Res64: A780C7A34658FA28  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:20:56]
821*2^1396198-1 is not prime.  Res64: 6AF58F0029084A69  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:39:35]
885*2^1396198-1 is not prime.  Res64: 2D777281324BA659  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:39:35]
915*2^1396198-1 is not prime.  Res64: 1FFC6A042BC718A2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:42:38]
995*2^1396198-1 is not prime.  Res64: F854EB16A9B4BF45  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:42:39]
615*2^1396199-1 is not prime.  Res64: 1668E33174C491AB  Time : 0.0 sec.
user=juhehe
[2015-03-26 09:42:57]
881*2^1396198-1 is not prime.  Res64: 673687F69BB6577C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:44:39]
753*2^1396199-1 is not prime.  Res64: B460310E6E0508C3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:44:39]
759*2^1396199-1 is not prime.  Res64: 4069B344258AE093  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:46:40]
819*2^1396199-1 is not prime.  Res64: EB24D0406885A16D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 09:46:40]
825*2^1396199-1 is not prime.  Res64: 2A7DA1AE786959BB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:05:19]
843*2^1396199-1 is not prime.  Res64: 8038EE6CD82EC183  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:05:19]
855*2^1396199-1 is not prime.  Res64: 5E8300F65893A728  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:08:26]
883*2^1396199-1 is not prime.  Res64: 85ECF4E4F47D8794  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:08:26]
885*2^1396199-1 is not prime.  Res64: 820735698A9F54CD  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:10:21]
991*2^1396199-1 is not prime.  Res64: 48AE346F2D6976C7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:10:22]
689*2^1396200-1 is not prime.  Res64: 06CC14484E0303EA  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:12:21]
753*2^1396200-1 is not prime.  Res64: AD84468DE11EA706  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:12:21]
819*2^1396200-1 is not prime.  Res64: 033CC59EB229611B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:31:10]
927*2^1396200-1 is not prime.  Res64: FDFCE7EDA268FF44  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:31:11]
687*2^1396201-1 is not prime.  Res64: 36C80B891DE7F49A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:34:18]
775*2^1396201-1 is not prime.  Res64: 71B38B5CF892EDED  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:34:18]
789*2^1396201-1 is not prime.  Res64: B0548F6137508B2A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:36:04]
951*2^1396201-1 is not prime.  Res64: 3A6C46BC2EA83497  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:36:04]
997*2^1396201-1 is not prime.  Res64: E9FC7B2C2B1D8512  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:38:06]
999*2^1396201-1 is not prime.  Res64: 11AAC89209E53DA0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:38:06]
603*2^1396202-1 is not prime.  Res64: 5C4CE5636E9AA384  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:56:56]
713*2^1396202-1 is not prime.  Res64: 049B263AB50026C6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 10:56:57]
675*2^1396203-1 is not prime.  Res64: 42B3A9C687F1302D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:00:04]
793*2^1396203-1 is not prime.  Res64: 8766006D2CDCEF05  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:00:05]
805*2^1396203-1 is not prime.  Res64: A0AF7A77ECE23F4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:01:48]
859*2^1396203-1 is not prime.  Res64: 4B84320F25845500  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:01:49]
913*2^1396203-1 is not prime.  Res64: D0261CE8323B0FC9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:03:50]
657*2^1396204-1 is not prime.  Res64: 8A008609E7479764  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:03:51]
693*2^1396204-1 is not prime.  Res64: FB211818F227E3AE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:22:34]
717*2^1396204-1 is not prime.  Res64: 0EA8CE339E16D253  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:22:35]
719*2^1396204-1 is not prime.  Res64: 6E2A2FEC8429A4CC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:25:46]
983*2^1396204-1 is not prime.  Res64: 3738B2F8E78D88CC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:25:46]
619*2^1396205-1 is not prime.  Res64: B9E988D87B6FB30F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:27:31]
699*2^1396205-1 is not prime.  Res64: 5E42A0ED8B741E73  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:27:31]
735*2^1396205-1 is not prime.  Res64: F77AB75E4A2AC51A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:29:40]
925*2^1396205-1 is not prime.  Res64: 89A6359D4FB6828C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:29:40]
635*2^1396206-1 is not prime.  Res64: 8AC4DE286314C0B2  Time : 0.0 sec.
user=juhehe
[2015-03-26 11:31:05]
705*2^1396204-1 is not prime.  Res64: E2FBDBE0FB043DEF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:48:22]
741*2^1396206-1 is not prime.  Res64: A14DEC7F4BB7EB04  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:48:22]
765*2^1396206-1 is not prime.  Res64: 972D1698EBFBB3CE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:51:31]
801*2^1396206-1 is not prime.  Res64: 957B74DA9ACE560F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:51:31]
815*2^1396206-1 is not prime.  Res64: 387A33366EBF6B65  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:53:11]
735*2^1396207-1 is not prime.  Res64: DE8460C2F6274312  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:53:11]
831*2^1396207-1 is not prime.  Res64: 9B19CD5FED3B560D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:55:23]
871*2^1396207-1 is not prime.  Res64: A2B9B10A5FBD871E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 11:55:23]
603*2^1396208-1 is not prime.  Res64: 3EC23D496A796A44  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:14:04]
635*2^1396208-1 is not prime.  Res64: 092CD110AB25E4F8  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:14:05]
669*2^1396208-1 is not prime.  Res64: E517637453CE8C22  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:17:16]
725*2^1396208-1 is not prime.  Res64: 7259C1ADE4F1966A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:17:17]
843*2^1396208-1 is not prime.  Res64: D6D46808AB48EA8E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:19:01]
855*2^1396208-1 is not prime.  Res64: 9A87E5F9E8125976  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:19:02]
929*2^1396208-1 is not prime.  Res64: 6712237FEA2378E6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:21:03]
969*2^1396208-1 is not prime.  Res64: DBBF43CF3FAAFBBF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:21:03]
667*2^1396209-1 is not prime.  Res64: 3D3DAB4A0BC74B4E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:39:51]
705*2^1396209-1 is not prime.  Res64: 3ECF807CA6991059  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:39:51]
745*2^1396209-1 is not prime.  Res64: C9C90CB332E6FC13  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:43:08]
747*2^1396209-1 is not prime.  Res64: 5CCAEBF00BCF354B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:43:08]
751*2^1396209-1 is not prime.  Res64: F249A86C582E8D8A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:44:46]
807*2^1396209-1 is not prime.  Res64: 80069EF342BAB0B0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:44:47]
865*2^1396209-1 is not prime.  Res64: 3385C5FEF200EE9B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:46:48]
949*2^1396209-1 is not prime.  Res64: 267D17F6F6997B28  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 12:46:49]
991*2^1396209-1 is not prime.  Res64: 43C94D5945C7E7B9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:05:38]
997*2^1396209-1 is not prime.  Res64: D266F6E5F6A3A821  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:05:39]
623*2^1396210-1 is not prime.  Res64: 90DF4A7C2D02C1AE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:08:52]
675*2^1396210-1 is not prime.  Res64: 1CDDD400AA9DD5DB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:08:52]
717*2^1396210-1 is not prime.  Res64: 66DD586048808FE5  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:10:42]
731*2^1396210-1 is not prime.  Res64: B41407BBB81C664E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:10:43]
735*2^1396210-1 is not prime.  Res64: 6C04D0FFFF846EBB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:12:54]
791*2^1396210-1 is not prime.  Res64: 17B498791D1A8013  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:12:55]
803*2^1396210-1 is not prime.  Res64: 31D27EC6FC87577C  Time : 0.0 sec.
user=juhehe
[2015-03-26 13:15:35]
657*2^1396210-1 is not prime.  Res64: 0930103501685655  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:33:53]
845*2^1396210-1 is not prime.  Res64: 78C4FA9CC9DCB8F9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:33:54]
917*2^1396210-1 is not prime.  Res64: 47C6BD9F36A441B0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:37:33]
705*2^1396211-1 is not prime.  Res64: BA356BCCEEAB9411  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:37:33]
745*2^1396211-1 is not prime.  Res64: F952712A07FAEE4F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:39:19]
825*2^1396211-1 is not prime.  Res64: 729825F44D188DC0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:39:19]
605*2^1396212-1 is not prime.  Res64: EC23D5767BB4FD7C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:41:50]
693*2^1396212-1 is not prime.  Res64: C4E61618ADF6D043  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 13:41:50]
723*2^1396212-1 is not prime.  Res64: 3FEDBC2340179A68  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:01:17]
797*2^1396212-1 is not prime.  Res64: 0877755CDDE6A99D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:01:18]
863*2^1396212-1 is not prime.  Res64: E9EDB471AA7AC991  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:04:48]
649*2^1396213-1 is not prime.  Res64: 7BFFC28EFBEBEE7D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:04:49]
747*2^1396213-1 is not prime.  Res64: 8A4CB75A619908D2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:06:24]
805*2^1396213-1 is not prime.  Res64: 91140F62C725AC67  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:06:24]
985*2^1396213-1 is not prime.  Res64: 15A73F5FDCB5EB97  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:08:45]
741*2^1396214-1 is not prime.  Res64: A14260B73627972E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:08:45]
785*2^1396214-1 is not prime.  Res64: 91CBE4E1ABF9EA56  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:27:43]
827*2^1396214-1 is not prime.  Res64: 0A7D31AFDD4F0E86  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:27:43]
897*2^1396214-1 is not prime.  Res64: B80FB381AD0113FF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:30:58]
917*2^1396214-1 is not prime.  Res64: 1A10037C01DB623E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:30:58]
921*2^1396214-1 is not prime.  Res64: 966F5451FAFF1409  Time : 0.0 sec.
user=juhehe
[2015-03-26 14:31:28]
813*2^1396214-1 is not prime.  Res64: FCE2DABA88559EAD  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:33:00]
993*2^1396214-1 is not prime.  Res64: 0DC0362238F9F67F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:33:01]
649*2^1396215-1 is not prime.  Res64: B6F53B3364A39434  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:35:18]
859*2^1396215-1 is not prime.  Res64: 665E042D4FDB2B91  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:35:19]
865*2^1396215-1 is not prime.  Res64: AEEC0AC679E0F09D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:54:07]
951*2^1396215-1 is not prime.  Res64: 55618C0914DF04BD  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:54:08]
991*2^1396215-1 is not prime.  Res64: 0100A19864099DFC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:57:45]
653*2^1396216-1 is not prime.  Res64: 7C7EC163AD191FC7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:57:45]
765*2^1396216-1 is not prime.  Res64: B7F369418BD4CDDE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:59:39]
875*2^1396216-1 is not prime.  Res64: A656C102AA3F0734  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 14:59:40]
909*2^1396216-1 is not prime.  Res64: 88E0A4F6ACAC2850  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:02:04]
927*2^1396216-1 is not prime.  Res64: A63A4C1E913570F3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:02:05]
933*2^1396216-1 is not prime.  Res64: 5F04302F9327231B  Time : 0.0 sec.
user=juhehe
[2015-03-26 15:04:23]
895*2^1396215-1 is not prime.  Res64: 6B853D1F1BDD229A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:22:00]
993*2^1396216-1 is not prime.  Res64: 128B7221E9984592  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:22:01]
637*2^1396217-1 is not prime.  Res64: 597EDE870255D407  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:26:20]
691*2^1396217-1 is not prime.  Res64: E14EE55745F9F358  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:26:20]
699*2^1396217-1 is not prime.  Res64: ECCC0A8EE67D8C0A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:28:21]
729*2^1396217-1 is not prime.  Res64: 98957B18F3B3A284  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:28:22]
925*2^1396217-1 is not prime.  Res64: BAAB8E940F602C09  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:30:35]
955*2^1396217-1 is not prime.  Res64: 1B3D3D86255BF3E6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:30:36]
627*2^1396218-1 is not prime.  Res64: B0C7269CD05C813A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:52:21]
633*2^1396218-1 is not prime.  Res64: E276B92E146904FF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:52:21]
657*2^1396218-1 is not prime.  Res64: 60BA037AD534101D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:56:47]
713*2^1396218-1 is not prime.  Res64: 43CEC9E99019E47A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:56:48]
885*2^1396218-1 is not prime.  Res64: AC8E676779EE1BBC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:59:14]
923*2^1396218-1 is not prime.  Res64: 3001EC9F590060AD  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 15:59:15]
933*2^1396218-1 is not prime.  Res64: 42EE0B7D591D3350  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:01:42]
975*2^1396218-1 is not prime.  Res64: DCEDECC5CA017719  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:01:43]
601*2^1396219-1 is not prime.  Res64: 31C84123874C9488  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:26:25]
855*2^1396219-1 is not prime.  Res64: BC30F658C108FBF0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:26:26]
889*2^1396219-1 is not prime.  Res64: 1582CB2073219F2A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:30:34]
951*2^1396219-1 is not prime.  Res64: EDB7BBA28BE23BFB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:30:34]
969*2^1396219-1 is not prime.  Res64: 0848FDE1CA3EACA8  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:34:20]
659*2^1396220-1 is not prime.  Res64: ED076FF705EFB797  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:34:20]
753*2^1396220-1 is not prime.  Res64: 3C3D7FA1F78DD92B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:37:36]
855*2^1396220-1 is not prime.  Res64: 024D6A182A99608A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 16:37:36]
857*2^1396220-1 is not prime.  Res64: 40F5F5FF35299072  Time : 0.0 sec.
user=juhehe
[2015-03-26 16:50:46]
879*2^1396220-1 is not prime.  Res64: 2E7C76F9FFF42439  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:04:02]
915*2^1396220-1 is not prime.  Res64: A8E365D2324383E4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:04:03]
829*2^1396221-1 is not prime.  Res64: B58E11F7645FBAEF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:07:43]
837*2^1396221-1 is not prime.  Res64: 087C7A78BEC20FB2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:07:44]
849*2^1396221-1 is not prime.  Res64: 0F04E7EF5AA5ABC2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:12:30]
945*2^1396221-1 is not prime.  Res64: 5E39E4133C57E302  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:12:30]
651*2^1396222-1 is not prime.  Res64: A46CC2511A601298  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:14:23]
777*2^1396222-1 is not prime.  Res64: 683E359F8EB480EC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:14:24]
951*2^1396222-1 is not prime.  Res64: 7D19E29F4C036EDC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:33:32]
1001*2^1396222-1 is not prime.  Res64: 245BBA2021DE1776  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:33:32]
603*2^1396223-1 is not prime.  Res64: C6859081A382B2D7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:37:06]
679*2^1396223-1 is not prime.  Res64: 03E640662E30FF48  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:37:06]
721*2^1396223-1 is not prime.  Res64: 1CE7CCE4AC57195B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:40:29]
783*2^1396223-1 is not prime.  Res64: 033CAB14C048AFB2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:40:30]
969*2^1396223-1 is not prime.  Res64: 899FCFAB35A00B0F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:41:56]
627*2^1396224-1 is not prime.  Res64: 5D4E6A708221D926  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 17:41:56]
665*2^1396224-1 is not prime.  Res64: DDF95176BE0DACBB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:00:47]
717*2^1396224-1 is not prime.  Res64: 6FFB3B60615AC980  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:00:48]
959*2^1396224-1 is not prime.  Res64: 3500BE61A5D49408  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:04:20]
975*2^1396224-1 is not prime.  Res64: 1DD3465141FC7418  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:04:21]
831*2^1396225-1 is not prime.  Res64: 5F8BED97426A2075  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:07:29]
847*2^1396225-1 is not prime.  Res64: 9A64B6615F3496AF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:07:29]
895*2^1396225-1 is not prime.  Res64: 765346A3B3E74E21  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:08:50]
987*2^1396225-1 is not prime.  Res64: F9170B53A93820AC  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:08:51]
641*2^1396226-1 is not prime.  Res64: B7C5D4F6504B8325  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:27:40]
675*2^1396226-1 is not prime.  Res64: DBE8F4593490432B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:27:40]
677*2^1396226-1 is not prime.  Res64: A224A0D461B10554  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:31:10]
827*2^1396226-1 is not prime.  Res64: 6B0168B7D4C399A9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:31:11]
837*2^1396226-1 is not prime.  Res64: D4D79C29D6E6C1C3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:34:23]
981*2^1396226-1 is not prime.  Res64: 0DCCF680867BB122  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:34:23]
705*2^1396227-1 is not prime.  Res64: A725B7E8D5FB3901  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:35:37]
741*2^1396227-1 is not prime.  Res64: 9715E0368619790D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:35:38]
901*2^1396227-1 is not prime.  Res64: B70F72BAAAAB9E71  Time : 0.0 sec.
user=juhehe
[2015-03-26 18:38:23]
713*2^1396226-1 is not prime.  Res64: 746F4BD1ED3BE54A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:54:23]
979*2^1396227-1 is not prime.  Res64: 1D79F13884C9743D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:54:24]
833*2^1396228-1 is not prime.  Res64: 7825E687E34F68D6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:57:55]
831*2^1396229-1 is not prime.  Res64: 40BFA8D8EDDC9B0A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 18:57:55]
931*2^1396229-1 is not prime.  Res64: 65BAC1DEA9C105DA  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:01:15]
777*2^1396230-1 is not prime.  Res64: 696B82EC2711D7A5  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:01:17]
845*2^1396230-1 is not prime.  Res64: 0B8A60ECD5B1BBFD  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:02:35]
933*2^1396230-1 is not prime.  Res64: 374B0D0CED411693  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:02:36]
639*2^1396231-1 is not prime.  Res64: 82003B0BB33620E4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:21:08]
709*2^1396231-1 is not prime.  Res64: EA0A6D9E579746CD  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:21:08]
759*2^1396231-1 is not prime.  Res64: CB7794DF8F34AFD9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:25:24]
883*2^1396231-1 is not prime.  Res64: 81C3C2ECF4744DD4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:25:24]
979*2^1396231-1 is not prime.  Res64: 278B6AAB30F1F3B9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:29:08]
689*2^1396232-1 is not prime.  Res64: 779B8D926CC71393  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:29:09]
875*2^1396232-1 is not prime.  Res64: C0F74F99CB65FC1C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:30:52]
923*2^1396232-1 is not prime.  Res64: AF5813151BE3C83B  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:30:53]
625*2^1396233-1 is not prime.  Res64: 14F9C40B62CF6652  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:48:24]
657*2^1396233-1 is not prime.  Res64: 447656ECE0A04D61  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:48:24]
735*2^1396233-1 is not prime.  Res64: D608A540F26DC34F  Time : 0.0 sec.
user=juhehe
[2015-03-26 19:52:04]
639*2^1396233-1 is not prime.  Res64: 808A86841183A970  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:52:33]
741*2^1396233-1 is not prime.  Res64: B72CA8801B118D08  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:52:34]
811*2^1396233-1 is not prime.  Res64: E4410975ED35710D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:56:15]
919*2^1396233-1 is not prime.  Res64: B42537C6C00B6F71  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:56:15]
663*2^1396234-1 is not prime.  Res64: 4F4217B3E9C6ECA0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:57:51]
671*2^1396234-1 is not prime.  Res64: F0CB116E79EA293C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 19:57:51]
675*2^1396234-1 is not prime.  Res64: C7FCF8E2220B00FF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:15:20]
681*2^1396234-1 is not prime.  Res64: 9B119291BAB3E948  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:15:21]
705*2^1396234-1 is not prime.  Res64: 2E7402F6CDE247C3  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:19:34]
723*2^1396234-1 is not prime.  Res64: 74A309D96A335A71  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:19:34]
813*2^1396234-1 is not prime.  Res64: 394A6920A050FB14  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:23:13]
957*2^1396234-1 is not prime.  Res64: F3B195FA033BE1A5  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:23:14]
993*2^1396234-1 is not prime.  Res64: 05155004D8C163C9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:24:49]
693*2^1396235-1 is not prime.  Res64: 18084EBC34226BED  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:24:49]
963*2^1396235-1 is not prime.  Res64: 8709B4B98802AC66  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:42:11]
969*2^1396235-1 is not prime.  Res64: E9757C95253A3EC4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:42:12]
633*2^1396236-1 is not prime.  Res64: 01821187D49238AA  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:46:24]
675*2^1396236-1 is not prime.  Res64: F14FB2B8C1177AB1  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:46:24]
969*2^1396236-1 is not prime.  Res64: 40D0C38053715FB8  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:49:43]
645*2^1396237-1 is not prime.  Res64: FB9E7A41110099D6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:49:44]
931*2^1396237-1 is not prime.  Res64: 32953CE8727D4A55  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:51:25]
945*2^1396237-1 is not prime.  Res64: 4176CE4C1674E9A6  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 20:51:25]
683*2^1396238-1 is not prime.  Res64: A114D49955C732BE  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:08:20]
707*2^1396238-1 is not prime.  Res64: 59592447DD6CB17E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:08:21]
711*2^1396238-1 is not prime.  Res64: A6E3D59E89CEA47F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:12:31]
773*2^1396238-1 is not prime.  Res64: E2CE098FC702769D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:12:31]
827*2^1396238-1 is not prime.  Res64: 809D9EC18A8B0D09  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:15:58]
845*2^1396238-1 is not prime.  Res64: 27291EC0DE90DC7D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:15:59]
861*2^1396238-1 is not prime.  Res64: D5093B338B98C785  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:17:44]
921*2^1396238-1 is not prime.  Res64: 1DE19DC074DE0977  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:17:45]
957*2^1396238-1 is not prime.  Res64: 3B4CAD394A5672DB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:34:34]
685*2^1396239-1 is not prime.  Res64: 40073AD7AE210D52  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:34:34]
709*2^1396239-1 is not prime.  Res64: 38FD39471D0EF13A  Time : 0.0 sec.
user=juhehe
[2015-03-26 21:35:08]
669*2^1396239-1 is not prime.  Res64: A937EB3C23AC73A0  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:38:34]
873*2^1396239-1 is not prime.  Res64: E82CDC050555842A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:38:34]
885*2^1396239-1 is not prime.  Res64: B2BA5A99F85B9290  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:42:08]
921*2^1396239-1 is not prime.  Res64: C9C8DC3BB306337F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:42:08]
955*2^1396239-1 is not prime.  Res64: 17C36247FB74FAF5  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:44:02]
603*2^1396240-1 is not prime.  Res64: 3F081AD833CB605F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 21:44:02]
609*2^1396240-1 is not prime.  Res64: 0B2031D8C4F24B7C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:00:41]
765*2^1396240-1 is not prime.  Res64: B99EFEDF861F1625  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:00:43]
875*2^1396240-1 is not prime.  Res64: 409F2541211529E9  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:04:46]
957*2^1396240-1 is not prime.  Res64: 63B63F0235D4D362  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:04:47]
965*2^1396240-1 is not prime.  Res64: E90F82F164E2F299  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:08:16]
607*2^1396241-1 is not prime.  Res64: B52AEF2AAE4F946F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:08:17]
637*2^1396241-1 is not prime.  Res64: C783ED3C6ADD761C  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:10:14]
811*2^1396241-1 is not prime.  Res64: 7510C9A324FE41B7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:10:14]
855*2^1396241-1 is not prime.  Res64: 06E721152F8A0DF2  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:27:30]
671*2^1396242-1 is not prime.  Res64: 74F5F1127FC20275  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:27:30]
765*2^1396242-1 is not prime.  Res64: 62412489C85C9A66  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:31:30]
797*2^1396242-1 is not prime.  Res64: B36D9F060963D99E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:31:31]
983*2^1396242-1 is not prime.  Res64: 4D4A7353A6A6BE64  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:35:25]
631*2^1396243-1 is not prime.  Res64: 1DE14A0A14A70BA4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:35:26]
835*2^1396243-1 is not prime.  Res64: F4C293C8FFC55CE7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:37:16]
861*2^1396243-1 is not prime.  Res64: 315617F2F0D14C97  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:37:16]
895*2^1396243-1 is not prime.  Res64: 53CCE15C88D3587D  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:53:58]
925*2^1396243-1 is not prime.  Res64: 27BF462907CCCE46  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:53:59]
985*2^1396243-1 is not prime.  Res64: 7C9D91252D541C13  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:58:06]
999*2^1396243-1 is not prime.  Res64: BF95BA43E6445918  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 22:58:06]
605*2^1396244-1 is not prime.  Res64: 1BF22334CAFC30FF  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:02:01]
617*2^1396244-1 is not prime.  Res64: AD622471247B847F  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:02:02]
719*2^1396244-1 is not prime.  Res64: 90DD56FEC30FBD5E  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:03:53]
927*2^1396244-1 is not prime.  Res64: F1A71F9B83CE3DB5  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:03:54]
953*2^1396244-1 is not prime.  Res64: D1902E17BB1651CB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:20:26]
859*2^1396245-1 is not prime.  Res64: 1D701C0B0EA7D830  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:20:26]
889*2^1396245-1 is not prime.  Res64: 0E42F47B62B69390  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:24:42]
927*2^1396245-1 is not prime.  Res64: 31DE2782428F6716  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:24:42]
955*2^1396245-1 is not prime.  Res64: 1F8A06708FDDE658  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:28:50]
813*2^1396246-1 is not prime.  Res64: 345971B470BC2072  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:28:50]
873*2^1396246-1 is not prime.  Res64: F0069ED18CF72276  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:30:37]
983*2^1396246-1 is not prime.  Res64: 18095F5761CF0831  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:30:38]
643*2^1396247-1 is not prime.  Res64: 131831C254CE2EC4  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:47:14]
703*2^1396247-1 is not prime.  Res64: 1A35CC3A305342EB  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:47:14]
931*2^1396247-1 is not prime.  Res64: FDD379DAC499CC7A  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:51:42]
981*2^1396247-1 is not prime.  Res64: 39EE1F5DF360C816  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:51:42]
999*2^1396247-1 is not prime.  Res64: 2D94ED39637D085C  Time : 0.0 sec.
user=juhehe
[2015-03-26 23:54:37]
979*2^1396247-1 is not prime.  Res64: F95168881C9AFCB7  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:55:49]
759*2^1396248-1 is not prime.  Res64: C795B6DA91888080  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:55:50]
839*2^1396248-1 is not prime.  Res64: CDA56918A0A83C39  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:57:42]
875*2^1396248-1 is not prime.  Res64: D2F2D09563F03936  Time : 0.0 sec.
user=mdettweiler
[2015-03-26 23:57:42]
893*2^1396248-1 is not prime.  Res64: 51AA01EB361816BF  Time : 0.0 sec.