user=mdettweiler
[2015-04-27 14:48:20]
857*2^1397704-1 is not prime.  Res64: B489C2D0A4F98690  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 14:48:20]
645*2^1397705-1 is not prime.  Res64: 8012024862F7EFB6  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:09:38]
843*2^1397706-1 is not prime.  Res64: 907371BF360561C4  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:09:39]
1001*2^1397706-1 is not prime.  Res64: 68521D2832F3C9BF  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:14:17]
787*2^1397705-1 is not prime.  Res64: 5BC200777D88AC5A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:14:18]
841*2^1397705-1 is not prime.  Res64: 21A53C5D46EA725F  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:17:07]
711*2^1397706-1 is not prime.  Res64: 7FD67A80C9C0C57E  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:17:08]
803*2^1397706-1 is not prime.  Res64: C456E0DE5E81C7D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:18:51]
937*2^1397705-1 is not prime.  Res64: FE3A9EEB5174D031  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:18:52]
939*2^1397705-1 is not prime.  Res64: 31BD98B5B48EE972  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:28:13]
769*2^1397707-1 is not prime.  Res64: 2DC3E37B2593B13A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:28:13]
829*2^1397707-1 is not prime.  Res64: 2938BD120220708C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:32:03]
849*2^1397707-1 is not prime.  Res64: 44825F5B4C505541  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:32:03]
873*2^1397707-1 is not prime.  Res64: 2E3D58824B1248FE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:34:41]
913*2^1397707-1 is not prime.  Res64: 22DFC8A4406E5137  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:34:41]
993*2^1397707-1 is not prime.  Res64: 34731CDF49B23DFB  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:36:27]
665*2^1397708-1 is not prime.  Res64: 434AE7DEFA41C828  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:36:27]
669*2^1397708-1 is not prime.  Res64: F6A9D8A459957A80  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:45:43]
755*2^1397708-1 is not prime.  Res64: 10EBD09870782C49  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:45:43]
813*2^1397708-1 is not prime.  Res64: ACAAFB6B47811673  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:49:37]
837*2^1397708-1 is not prime.  Res64: AF9B7BE9562FF176  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:49:37]
869*2^1397708-1 is not prime.  Res64: 30C76D10BCAEEED5  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:52:14]
875*2^1397708-1 is not prime.  Res64: DEDA5DE266803989  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:52:14]
909*2^1397708-1 is not prime.  Res64: F71BE4410A1CF583  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:53:58]
915*2^1397708-1 is not prime.  Res64: E77DE6F5C39AED56  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 15:53:58]
945*2^1397708-1 is not prime.  Res64: B10AC2E9EE25B23E  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:03:18]
957*2^1397708-1 is not prime.  Res64: 9129CCDFDA906485  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:03:20]
969*2^1397708-1 is not prime.  Res64: 26C4BCE71F771D78  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:07:12]
621*2^1397709-1 is not prime.  Res64: 28C963226F9F110A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:07:12]
649*2^1397709-1 is not prime.  Res64: BD1B006B8F06E36E  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:09:48]
679*2^1397709-1 is not prime.  Res64: ED0C56E775847BF4  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:09:48]
789*2^1397709-1 is not prime.  Res64: E1BFFE36D3345B10  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:11:34]
919*2^1397709-1 is not prime.  Res64: 4E334009CAFCE99C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:11:34]
951*2^1397709-1 is not prime.  Res64: 089EC3FE0EDB2223  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:21:05]
955*2^1397709-1 is not prime.  Res64: D6853DDC4A59F20B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:21:06]
645*2^1397710-1 is not prime.  Res64: D721E1ED2CF44473  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:24:49]
741*2^1397710-1 is not prime.  Res64: 7559C69F9EC173CA  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:24:49]
885*2^1397710-1 is not prime.  Res64: 6D56D01F374A7EA1  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:27:18]
951*2^1397710-1 is not prime.  Res64: 8365FAD1DE5C0704  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:27:18]
609*2^1397711-1 is not prime.  Res64: 503E30E143DC83B5  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:29:11]
711*2^1397711-1 is not prime.  Res64: 25AA45870D41BA0C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:29:11]
789*2^1397711-1 is not prime.  Res64: 3FBB1D00EA71964E  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:38:38]
819*2^1397711-1 is not prime.  Res64: 854A35DBB26C21AA  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:38:38]
883*2^1397711-1 is not prime.  Res64: 3468D23251F48903  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:42:21]
909*2^1397711-1 is not prime.  Res64: 06C2FC565CAD3194  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:42:21]
605*2^1397712-1 is not prime.  Res64: 26B8D1BC305D241C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:44:48]
693*2^1397712-1 is not prime.  Res64: 49263A48338EE6B2  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:44:48]
725*2^1397712-1 is not prime.  Res64: 9198760489415B40  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:46:50]
815*2^1397712-1 is not prime.  Res64: 0C7C3BC50D13CF22  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:46:50]
819*2^1397712-1 is not prime.  Res64: D274D11EB6A5DC8D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:56:19]
849*2^1397712-1 is not prime.  Res64: 416A3CD89AF7133D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 16:56:20]
857*2^1397712-1 is not prime.  Res64: F5C14648289DA24C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:00:03]
947*2^1397712-1 is not prime.  Res64: 292FDD4175D7A153  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:00:04]
687*2^1397713-1 is not prime.  Res64: 97B333644E5FFBAE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:02:27]
741*2^1397713-1 is not prime.  Res64: 216F60D070634B1D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:02:28]
775*2^1397713-1 is not prime.  Res64: 115E7F8A6DCA1105  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:04:37]
807*2^1397713-1 is not prime.  Res64: A87D7E9D7B04BC97  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:04:38]
829*2^1397713-1 is not prime.  Res64: E69486BA62DE6662  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:13:59]
847*2^1397713-1 is not prime.  Res64: EA2F71F448D5ECE7  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:13:59]
945*2^1397713-1 is not prime.  Res64: A9346D9936604BEC  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:17:40]
633*2^1397714-1 is not prime.  Res64: 6349DA0A8601D81A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:17:40]
701*2^1397714-1 is not prime.  Res64: 52063624CA6CA4F8  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:20:03]
741*2^1397714-1 is not prime.  Res64: 3D61CB2F8BA97BB1  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:20:04]
743*2^1397714-1 is not prime.  Res64: 6E29DC1DEF319E61  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:22:12]
837*2^1397714-1 is not prime.  Res64: FD4D7DE828DAD993  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:22:12]
861*2^1397714-1 is not prime.  Res64: 6470CF6AC888B0E4  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:31:43]
951*2^1397714-1 is not prime.  Res64: 5CC7626746886063  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:31:43]
953*2^1397714-1 is not prime.  Res64: C87F03924C0195BE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:35:19]
619*2^1397715-1 is not prime.  Res64: A6DE4CBFA4E65A56  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:35:19]
639*2^1397715-1 is not prime.  Res64: 2AA3B8971331C1AF  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:37:54]
679*2^1397715-1 is not prime.  Res64: 2D196B5A53523FD5  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:37:54]
685*2^1397715-1 is not prime.  Res64: C22098CB40FF2D25  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:39:45]
699*2^1397715-1 is not prime.  Res64: E03DFF04DA56028F  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:39:45]
819*2^1397715-1 is not prime.  Res64: C2E658B4D0E4E422  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:49:22]
853*2^1397715-1 is not prime.  Res64: FFE060DBF96524BE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:49:22]
909*2^1397715-1 is not prime.  Res64: EAD4C9BF8DF099A3  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:52:54]
913*2^1397715-1 is not prime.  Res64: F582F3C6AE42173C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:52:54]
951*2^1397715-1 is not prime.  Res64: 1798ACDA47DA9030  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:55:28]
603*2^1397716-1 is not prime.  Res64: 6F1338B0AEAB51BB  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:55:28]
609*2^1397716-1 is not prime.  Res64: 678B392E50A633F2  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:57:20]
705*2^1397716-1 is not prime.  Res64: 5969B8DD74CB033B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 17:57:20]
765*2^1397716-1 is not prime.  Res64: F4FE0EB075D6D8D9  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:06:58]
785*2^1397716-1 is not prime.  Res64: 3F024D19B86C6FA0  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:06:59]
803*2^1397716-1 is not prime.  Res64: F89B04A01DA04DC5  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:10:28]
813*2^1397716-1 is not prime.  Res64: 580306B5B20D3EEC  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:10:29]
843*2^1397716-1 is not prime.  Res64: 06C18BE988A9ABF0  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:12:56]
845*2^1397716-1 is not prime.  Res64: E1CBBEB5EF9825B7  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:12:58]
887*2^1397716-1 is not prime.  Res64: 336C7BA5AF7F8C7F  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:14:51]
923*2^1397716-1 is not prime.  Res64: EDBBF8C2806E67A0  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:14:51]
965*2^1397716-1 is not prime.  Res64: 3339527C2708EBA1  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:24:35]
999*2^1397716-1 is not prime.  Res64: 1F9C25E5FB0C2890  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:24:36]
669*2^1397717-1 is not prime.  Res64: BEE1E290876AF9B3  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:28:01]
685*2^1397717-1 is not prime.  Res64: C9C5B483B072C078  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:28:01]
717*2^1397717-1 is not prime.  Res64: 01FA5B4F731AA017  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:30:32]
757*2^1397717-1 is not prime.  Res64: 7D0BD87BE943956A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:30:33]
901*2^1397717-1 is not prime.  Res64: D97F5496DBCA7096  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:32:22]
937*2^1397717-1 is not prime.  Res64: D5EF62809DF55B3B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:32:22]
605*2^1397718-1 is not prime.  Res64: A9FB56C97F4CF1DE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:42:05]
611*2^1397718-1 is not prime.  Res64: D0B2FA834C1ADC5A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:42:05]
705*2^1397718-1 is not prime.  Res64: 5A4DD02B1AD3116A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:45:29]
707*2^1397718-1 is not prime.  Res64: EDA62E034DBE581A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:45:29]
737*2^1397718-1 is not prime.  Res64: CDEC39B4C54A6045  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:48:01]
777*2^1397718-1 is not prime.  Res64: 60C65C775BE69BE0  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:48:01]
797*2^1397718-1 is not prime.  Res64: 186891B993F56E79  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:49:48]
843*2^1397718-1 is not prime.  Res64: B57290D4454F729B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:49:48]
891*2^1397718-1 is not prime.  Res64: 21BCF562365E0973  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:59:41]
915*2^1397718-1 is not prime.  Res64: D80F5155EBC85869  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 18:59:41]
975*2^1397718-1 is not prime.  Res64: F3E3C66EBC350FE5  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:02:59]
993*2^1397718-1 is not prime.  Res64: D544FC542CDA8BD4  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:03:00]
603*2^1397719-1 is not prime.  Res64: DA24BE4E9DB09499  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:05:37]
625*2^1397719-1 is not prime.  Res64: 618B000EFAC070E9  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:05:39]
661*2^1397719-1 is not prime.  Res64: 0FB502C587B0BA19  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:07:19]
693*2^1397719-1 is not prime.  Res64: 64DBB3490947BB5C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:07:19]
735*2^1397719-1 is not prime.  Res64: 9D32C840AA58DDEB  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:17:13]
763*2^1397719-1 is not prime.  Res64: B0B37EA6B90B6DD9  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:17:14]
775*2^1397719-1 is not prime.  Res64: 8E69F749B0047F80  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:20:43]
813*2^1397719-1 is not prime.  Res64: 2487511D3C91DFFD  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:20:43]
859*2^1397719-1 is not prime.  Res64: 839C3AA003414DA6  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:23:40]
885*2^1397719-1 is not prime.  Res64: AA43B6EB0C38BB41  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:23:40]
919*2^1397719-1 is not prime.  Res64: D484FAED7B3FC45D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:24:48]
973*2^1397719-1 is not prime.  Res64: CAF091ABB2634FEC  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:24:48]
659*2^1397720-1 is not prime.  Res64: 1553ED78A619C78C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:34:44]
767*2^1397720-1 is not prime.  Res64: 08BC69D29C6D9637  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:34:44]
789*2^1397720-1 is not prime.  Res64: 2D1D5845A057A838  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:38:09]
637*2^1397721-1 is not prime.  Res64: F626BE95153BDF4C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:38:10]
649*2^1397721-1 is not prime.  Res64: C8922620563F4503  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:41:10]
711*2^1397721-1 is not prime.  Res64: C19D36CBEE08FB02  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:41:10]
717*2^1397721-1 is not prime.  Res64: FAB586F8C3325EFB  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:42:18]
741*2^1397721-1 is not prime.  Res64: 5F2D35C27F1646FC  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:42:18]
847*2^1397721-1 is not prime.  Res64: C90E7641259EC193  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:52:26]
675*2^1397722-1 is not prime.  Res64: 370310FD15C86D59  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:52:26]
735*2^1397722-1 is not prime.  Res64: FE8BAC62785EB80B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:55:47]
741*2^1397722-1 is not prime.  Res64: E346C36A580F832F  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:55:47]
803*2^1397722-1 is not prime.  Res64: DAA27F80A8CCEA6E  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:58:42]
915*2^1397722-1 is not prime.  Res64: 222DF9353AA0FF9B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:58:42]
917*2^1397722-1 is not prime.  Res64: 59F27A6B801967C9  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:59:49]
947*2^1397722-1 is not prime.  Res64: 2E69B06768EC34C5  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 19:59:49]
983*2^1397722-1 is not prime.  Res64: 9B46B751C2987A57  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:09:58]
987*2^1397722-1 is not prime.  Res64: 9229AEC27429703F  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:09:59]
633*2^1397723-1 is not prime.  Res64: 742560E7E99E4A69  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:13:18]
703*2^1397723-1 is not prime.  Res64: 677553D25F640298  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:13:18]
739*2^1397723-1 is not prime.  Res64: B9607388D45AD7E4  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:16:13]
753*2^1397723-1 is not prime.  Res64: A2FF9E4C07D53BEB  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:16:14]
853*2^1397723-1 is not prime.  Res64: 4C714211AA4F4A8D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:17:22]
871*2^1397723-1 is not prime.  Res64: 822C705125272DFE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:17:22]
913*2^1397723-1 is not prime.  Res64: ACD63AAD3ACD89B2  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:27:53]
981*2^1397723-1 is not prime.  Res64: C80DB066840E38C0  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:27:53]
629*2^1397724-1 is not prime.  Res64: 6E936E74F024B19F  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:30:59]
639*2^1397724-1 is not prime.  Res64: 7C584CD9EF1316DA  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:30:59]
705*2^1397724-1 is not prime.  Res64: 5B48204542CA520C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:33:46]
915*2^1397724-1 is not prime.  Res64: 36565183E6D8DEF2  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:33:46]
959*2^1397724-1 is not prime.  Res64: 1F06C941D58A7659  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:34:53]
607*2^1397725-1 is not prime.  Res64: 258DC7888B798F78  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:34:53]
691*2^1397725-1 is not prime.  Res64: 1AA8B5686DBAC9E3  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:45:21]
771*2^1397725-1 is not prime.  Res64: FF5B95C1AF12BA89  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:45:21]
855*2^1397725-1 is not prime.  Res64: 973BAB2B6E39D60A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:48:28]
937*2^1397725-1 is not prime.  Res64: B1D18DEFB9A72AEF  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:48:29]
827*2^1397726-1 is not prime.  Res64: 32A24CADA49E8D7D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:51:19]
831*2^1397726-1 is not prime.  Res64: 4217EA02DB2428BC  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:51:19]
867*2^1397726-1 is not prime.  Res64: AAD4EC77E6CBCC24  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:52:24]
941*2^1397726-1 is not prime.  Res64: 14BD844B06ECFD05  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 20:52:25]
965*2^1397726-1 is not prime.  Res64: FAD6642E3575D885  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:02:54]
705*2^1397727-1 is not prime.  Res64: FD54FCECCAEF215D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:02:57]
901*2^1397727-1 is not prime.  Res64: C5D75EE58CAB1609  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:06:07]
961*2^1397727-1 is not prime.  Res64: 0EF49608D29096F7  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:06:07]
615*2^1397728-1 is not prime.  Res64: 716F2BFC30E6390A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:08:53]
735*2^1397728-1 is not prime.  Res64: 6126D6BA2F0FF953  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:08:54]
813*2^1397728-1 is not prime.  Res64: 4361A780549F8304  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:09:58]
825*2^1397728-1 is not prime.  Res64: 140490A8B0E94E94  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:09:58]
631*2^1397729-1 is not prime.  Res64: 26BF0F193FB992A8  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:21:00]
705*2^1397729-1 is not prime.  Res64: A1BA398D38193F1C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:21:00]
787*2^1397729-1 is not prime.  Res64: FDCD4BB2652A8FCE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:23:36]
847*2^1397729-1 is not prime.  Res64: 4C0574603E5FDB31  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:23:36]
885*2^1397729-1 is not prime.  Res64: 47CE84C35578BEF1  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:26:28]
889*2^1397729-1 is not prime.  Res64: 9D4963909A5A7D17  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:26:28]
627*2^1397730-1 is not prime.  Res64: 1559DFBCCC0CFE2C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:27:24]
677*2^1397730-1 is not prime.  Res64: EFA0F1C2EA5DE39B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:27:24]
695*2^1397730-1 is not prime.  Res64: 66637FD56591E49A  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:38:25]
765*2^1397730-1 is not prime.  Res64: E96B1FBC885FF9EE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:38:25]
891*2^1397730-1 is not prime.  Res64: E7D29FD73A70ADC9  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:41:04]
945*2^1397730-1 is not prime.  Res64: E73ADC19DE7D0C41  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:41:04]
601*2^1397731-1 is not prime.  Res64: 57CDF01026DBDA71  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:43:56]
751*2^1397731-1 is not prime.  Res64: 7ED3DDFBFBCBC332  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:43:57]
769*2^1397731-1 is not prime.  Res64: 851248F581C70D98  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:44:54]
789*2^1397731-1 is not prime.  Res64: E15FE8CEA9062D5B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:44:54]
609*2^1397732-1 is not prime.  Res64: 7567C813C3B16C65  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:55:55]
615*2^1397732-1 is not prime.  Res64: CF180AA22AC7D137  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:55:56]
717*2^1397732-1 is not prime.  Res64: A29345839AFE7B93  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:58:35]
743*2^1397732-1 is not prime.  Res64: 4C258BC52FA46F82  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 21:58:35]
873*2^1397732-1 is not prime.  Res64: D8D9AF7F9416FD0B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:01:27]
879*2^1397732-1 is not prime.  Res64: C14FC868318DD89D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:01:28]
899*2^1397732-1 is not prime.  Res64: 43F67A5B00A5B5C1  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:02:28]
957*2^1397732-1 is not prime.  Res64: 86D5C49EFAE61B35  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:02:29]
741*2^1397733-1 is not prime.  Res64: 04B93E1B8A0D0479  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:13:32]
747*2^1397733-1 is not prime.  Res64: 532C105FA7C63E5B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:13:33]
837*2^1397733-1 is not prime.  Res64: 8BB1E6863F1E977B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:16:03]
849*2^1397733-1 is not prime.  Res64: 4D5505CBCA32FF89  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:16:03]
861*2^1397733-1 is not prime.  Res64: 4BA3C7FE966891A4  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:19:02]
877*2^1397733-1 is not prime.  Res64: EBD9B8D0B6AFC8C1  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:19:03]
891*2^1397733-1 is not prime.  Res64: 80C9426235BB6BE8  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:20:06]
921*2^1397733-1 is not prime.  Res64: 3125BAA391D1338E  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:20:06]
955*2^1397733-1 is not prime.  Res64: 7AD5802209D2DAF9  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:31:06]
985*2^1397733-1 is not prime.  Res64: DA1018D5B91D0282  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:31:07]
617*2^1397734-1 is not prime.  Res64: 1DBEBC1DA13A0611  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:33:34]
717*2^1397734-1 is not prime.  Res64: 02FA766B59921F67  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:33:35]
827*2^1397734-1 is not prime.  Res64: FD0F4753D5F35764  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:36:32]
603*2^1397735-1 is not prime.  Res64: 9E73542ED79B0055  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:36:33]
673*2^1397735-1 is not prime.  Res64: 4818C5FD8E6BE8DF  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:37:35]
675*2^1397735-1 is not prime.  Res64: 18B76AEFCC40B365  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:37:35]
693*2^1397735-1 is not prime.  Res64: 13E6D59209CBF56D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:48:41]
735*2^1397735-1 is not prime.  Res64: 4F0500709DAE69E2  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:48:41]
775*2^1397735-1 is not prime.  Res64: EBBFC183707BA530  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:51:06]
789*2^1397735-1 is not prime.  Res64: 89ED9894FB2973C6  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:51:07]
909*2^1397735-1 is not prime.  Res64: 0D53F3FA2AAC9DD5  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:54:01]
707*2^1397736-1 is not prime.  Res64: 84239A8150DEE402  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:54:02]
767*2^1397736-1 is not prime.  Res64: D74AEFF0A51800F2  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:55:06]
845*2^1397736-1 is not prime.  Res64: 94672C4A15E5D323  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 22:55:07]
609*2^1397737-1 is not prime.  Res64: 2410CC1BE1BDCD80  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:06:11]
715*2^1397737-1 is not prime.  Res64: 402D6598D58E16B0  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:06:12]
717*2^1397737-1 is not prime.  Res64: 11712B830947B0BB  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:08:36]
835*2^1397737-1 is not prime.  Res64: DF301BF7A1260545  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:08:36]
867*2^1397737-1 is not prime.  Res64: 0873262444F18117  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:11:30]
605*2^1397738-1 is not prime.  Res64: 09F1F366E86C0955  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:11:31]
705*2^1397738-1 is not prime.  Res64: 34A5D370F267C41C  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:12:33]
797*2^1397738-1 is not prime.  Res64: 809763DB696B267E  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:12:33]
885*2^1397738-1 is not prime.  Res64: E5B496BE00A79CBD  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:24:03]
789*2^1397739-1 is not prime.  Res64: 36C8DFBE5EDD1426  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:24:04]
853*2^1397739-1 is not prime.  Res64: 95E7B092549FFBF2  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:26:23]
879*2^1397739-1 is not prime.  Res64: 21DAC9BFCF0FC5CB  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:26:23]
891*2^1397739-1 is not prime.  Res64: 33E2507376B0097B  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:29:18]
951*2^1397739-1 is not prime.  Res64: 0CA78DA72B82F597  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:29:18]
635*2^1397740-1 is not prime.  Res64: 07EB735B193EAA14  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:30:12]
675*2^1397740-1 is not prime.  Res64: D1DC80BA58846A45  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:30:13]
759*2^1397740-1 is not prime.  Res64: B385F6C0CFFBF873  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:41:33]
783*2^1397740-1 is not prime.  Res64: 26E0FF7D9E95DB63  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:41:33]
797*2^1397740-1 is not prime.  Res64: A2995CCEE76C68D0  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:43:54]
827*2^1397740-1 is not prime.  Res64: 45069FDEBD04B7CD  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:43:54]
601*2^1397741-1 is not prime.  Res64: 3BD59E92CB7C5613  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:46:45]
607*2^1397741-1 is not prime.  Res64: 6C4D33F7C93AD0AE  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:46:45]
615*2^1397741-1 is not prime.  Res64: 7CD829C0909B06F8  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:47:39]
619*2^1397741-1 is not prime.  Res64: D3A56A0FC51FB80D  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:47:40]
621*2^1397741-1 is not prime.  Res64: 3EEB5F54E5F96F84  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:58:59]
669*2^1397741-1 is not prime.  Res64: 0D06E6EEFCF9BCE8  Time : 0.0 sec.
user=mdettweiler
[2015-04-27 23:59:00]
775*2^1397741-1 is not prime.  Res64: 72EC2EF817AB5818  Time : 0.0 sec.