user=mdettweiler
[2015-10-25 00:02:45]
867*2^1413146-1 is not prime.  Res64: FE90072FFA3A8FEE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:02:46]
843*2^1413146-1 is not prime.  Res64: 490A043CFE97AFE9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:02:47]
873*2^1413146-1 is not prime.  Res64: 532E28F332C265C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:02:47]
887*2^1413146-1 is not prime.  Res64: 5757C45B79FA05C1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:02:51]
971*2^1413146-1 is not prime.  Res64: 4BE464D2B5AE1A05  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:02:52]
1001*2^1413146-1 is not prime.  Res64: 6D90D0AF436238D3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:21:00]
919*2^1413147-1 is not prime.  Res64: 14525A914D1B2562  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:21:01]
749*2^1413148-1 is not prime.  Res64: 62CF5B4FB8A0C93B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:21:02]
813*2^1413148-1 is not prime.  Res64: BDADB5F0B8DFDDC1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:21:03]
949*2^1413147-1 is not prime.  Res64: 2672F91EB4B71C84  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:21:03]
639*2^1413148-1 is not prime.  Res64: 979667FBE17CC486  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:21:04]
663*2^1413148-1 is not prime.  Res64: DEEAB0E964704A49  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:38:32]
863*2^1413148-1 is not prime.  Res64: 29CE07523B0D8326  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:38:33]
887*2^1413148-1 is not prime.  Res64: AFC199B9554E4505  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:38:34]
825*2^1413148-1 is not prime.  Res64: CD042FFDEA5A22F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:38:35]
855*2^1413148-1 is not prime.  Res64: 5131A4C4688F85CC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:38:35]
953*2^1413148-1 is not prime.  Res64: 0E4642A1E7D9A725  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:38:36]
987*2^1413148-1 is not prime.  Res64: 3E6BA9773A0AA993  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:56:05]
655*2^1413149-1 is not prime.  Res64: 77E6820DE86506C8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:56:05]
995*2^1413148-1 is not prime.  Res64: 1BA185AC4498CCFE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:56:06]
691*2^1413149-1 is not prime.  Res64: 167C043C4F265086  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:56:06]
621*2^1413149-1 is not prime.  Res64: 3FC14A5676ECCFA6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:56:07]
945*2^1413149-1 is not prime.  Res64: F800DA5AB36EF87B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 00:56:08]
957*2^1413149-1 is not prime.  Res64: 7D2E32B4F0CED14A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:13:36]
717*2^1413150-1 is not prime.  Res64: 500C6FDD697140C4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:13:37]
863*2^1413150-1 is not prime.  Res64: DAFCD4DE7ADE4762  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:13:37]
987*2^1413149-1 is not prime.  Res64: CB235BD1ED29A7F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:13:38]
783*2^1413150-1 is not prime.  Res64: 5F77F473F496C533  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:13:38]
891*2^1413150-1 is not prime.  Res64: 710ADBAD37FCEF63  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:13:38]
641*2^1413150-1 is not prime.  Res64: 35834541A20ECB70  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:31:11]
945*2^1413150-1 is not prime.  Res64: D87B61554861B361  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:31:14]
603*2^1413151-1 is not prime.  Res64: ABF92832CB64BA33  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:31:16]
621*2^1413151-1 is not prime.  Res64: 2986E0097C1667B6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:31:17]
841*2^1413151-1 is not prime.  Res64: B8890841EA30E612  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:31:18]
645*2^1413151-1 is not prime.  Res64: 125B21507C79AC83  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:31:18]
909*2^1413151-1 is not prime.  Res64: 387955108A445AD7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:49:25]
925*2^1413151-1 is not prime.  Res64: 14280AB40063A29C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:49:26]
975*2^1413151-1 is not prime.  Res64: 8B6B40D37D5C4ADC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:49:27]
603*2^1413152-1 is not prime.  Res64: 1097CB150106EBA0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:49:28]
617*2^1413152-1 is not prime.  Res64: 2896CD26BA6B46C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:49:29]
675*2^1413152-1 is not prime.  Res64: F6425E34A747DC25  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 01:49:30]
735*2^1413152-1 is not prime.  Res64: 8E281977BB4190A2  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:07:06]
945*2^1413152-1 is not prime.  Res64: ECA3D1B56810CE53  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:07:06]
867*2^1413152-1 is not prime.  Res64: 2E4F04C2791AE45D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:07:07]
959*2^1413152-1 is not prime.  Res64: 6F8D8AA2AC3F5F0C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:07:07]
879*2^1413152-1 is not prime.  Res64: DD71D1B549A18F56  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:07:11]
637*2^1413153-1 is not prime.  Res64: 38648AA7A01C3EFB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:07:13]
705*2^1413153-1 is not prime.  Res64: 3FAD35DD11B19EAD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:24:43]
805*2^1413153-1 is not prime.  Res64: 918204BA915A27E3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:24:44]
811*2^1413153-1 is not prime.  Res64: BE7296738E039CAE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:24:45]
829*2^1413153-1 is not prime.  Res64: 91DD2B24311A60C3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:24:46]
611*2^1413154-1 is not prime.  Res64: 89AADF62D2764C10  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:24:46]
717*2^1413154-1 is not prime.  Res64: A33333F8FACB6D06  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:24:47]
765*2^1413154-1 is not prime.  Res64: 0FD90A373906474A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:42:16]
821*2^1413154-1 is not prime.  Res64: 2922C6FCF702395B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:42:17]
861*2^1413154-1 is not prime.  Res64: 02AB026C24667FF1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:42:17]
857*2^1413154-1 is not prime.  Res64: 01C567BDD37D0CED  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:42:18]
885*2^1413154-1 is not prime.  Res64: 7A4D43FAF36C2D34  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:42:18]
945*2^1413154-1 is not prime.  Res64: 51FB722077AB8869  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:42:19]
983*2^1413154-1 is not prime.  Res64: 32C9B8C04A06206C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:59:48]
655*2^1413155-1 is not prime.  Res64: 17DAB970D049B9BA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:59:49]
799*2^1413155-1 is not prime.  Res64: 32F7A682A7AC95EF  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:59:49]
693*2^1413156-1 is not prime.  Res64: A14E864CB36014AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:59:50]
717*2^1413156-1 is not prime.  Res64: 5917FA3318BB22D7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:59:50]
829*2^1413155-1 is not prime.  Res64: CAE6F95086EF96F4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 02:59:51]
981*2^1413155-1 is not prime.  Res64: F1F1AC2120B922AA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:17:24]
723*2^1413156-1 is not prime.  Res64: BB84935562F54B2F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:17:27]
779*2^1413156-1 is not prime.  Res64: 653697E4BAA10A7D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:17:27]
775*2^1413157-1 is not prime.  Res64: 6628681D6B773507  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:17:28]
861*2^1413157-1 is not prime.  Res64: 780872C45C63B2D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:17:29]
909*2^1413156-1 is not prime.  Res64: 85B5F249C19E54A5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:17:30]
639*2^1413157-1 is not prime.  Res64: 101FFA85403E5D52  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:34:59]
927*2^1413157-1 is not prime.  Res64: 41767C3BA7615553  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:35:00]
961*2^1413157-1 is not prime.  Res64: 861A854F1B591AB3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:35:01]
945*2^1413157-1 is not prime.  Res64: 2A8223A917AA1806  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:35:03]
975*2^1413157-1 is not prime.  Res64: 907BE5671FF7ADAC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:35:04]
635*2^1413158-1 is not prime.  Res64: 5999F74013190D1D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:35:05]
657*2^1413158-1 is not prime.  Res64: D03D061153FAC7BC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:52:54]
711*2^1413158-1 is not prime.  Res64: 4FCE80D3ADE8A68A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:52:54]
797*2^1413158-1 is not prime.  Res64: 1034A8528FA81915  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:52:55]
705*2^1413158-1 is not prime.  Res64: C9966A444A48A5B1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:52:56]
753*2^1413158-1 is not prime.  Res64: 077EA9038C44FAA2  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:52:56]
801*2^1413158-1 is not prime.  Res64: A3B08D5725A36A4B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 03:52:56]
707*2^1413158-1 is not prime.  Res64: 8552B1A42579661B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:10:46]
815*2^1413158-1 is not prime.  Res64: 063C1F3B7C67085B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:10:49]
843*2^1413158-1 is not prime.  Res64: E231FF84C9541EBB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:10:52]
911*2^1413158-1 is not prime.  Res64: 39C8D3279830D3DB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:10:55]
923*2^1413158-1 is not prime.  Res64: 35CE75E958811F69  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:10:59]
951*2^1413158-1 is not prime.  Res64: 45DB7AF769610EF2  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:11:02]
977*2^1413158-1 is not prime.  Res64: E1156191DDE11A76  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:28:42]
649*2^1413159-1 is not prime.  Res64: 12E4787D5F68A694  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:28:43]
693*2^1413159-1 is not prime.  Res64: 6C14B56EE96D86DC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:28:46]
721*2^1413159-1 is not prime.  Res64: 9EDFE5D942E9ED0A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:28:47]
735*2^1413159-1 is not prime.  Res64: 70895C1FD58C0A13  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:28:48]
751*2^1413159-1 is not prime.  Res64: 93378CE63452634C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:28:49]
909*2^1413159-1 is not prime.  Res64: C7DF88370BC8742E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:46:33]
949*2^1413159-1 is not prime.  Res64: B4FFB7AD65C20D43  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:46:33]
635*2^1413160-1 is not prime.  Res64: E24278AB8ABF5C80  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:46:33]
605*2^1413160-1 is not prime.  Res64: A21529054FCD80E1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:46:34]
955*2^1413159-1 is not prime.  Res64: 5702911BFA4359EA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:46:34]
665*2^1413160-1 is not prime.  Res64: B232D84505CAA07E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 04:46:34]
609*2^1413160-1 is not prime.  Res64: 820C66EC55B47DAE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:04:11]
899*2^1413160-1 is not prime.  Res64: 851B3334C9ACEBC1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:04:13]
777*2^1413160-1 is not prime.  Res64: 1D4F3061B9B79F56  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:04:15]
975*2^1413160-1 is not prime.  Res64: A0F2D3BD5F8F3385  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:04:16]
959*2^1413160-1 is not prime.  Res64: 4F1D1D3053582521  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:04:17]
657*2^1413161-1 is not prime.  Res64: BC83C4206922E0BE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:04:17]
843*2^1413160-1 is not prime.  Res64: E0F685F668427DB0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:22:22]
685*2^1413161-1 is not prime.  Res64: 08225A73283C7125  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:22:22]
691*2^1413161-1 is not prime.  Res64: D34057228B2E9C44  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:22:24]
697*2^1413161-1 is not prime.  Res64: 2352FA2E0A60578D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:22:24]
955*2^1413161-1 is not prime.  Res64: C3830F3B4D49C554  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:22:24]
907*2^1413161-1 is not prime.  Res64: BAF1D8BB03AE46AB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:22:24]
991*2^1413161-1 is not prime.  Res64: D7A7402F8B8C5AC1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:40:06]
801*2^1413162-1 is not prime.  Res64: 254124BEF4AD4BF1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:40:06]
621*2^1413162-1 is not prime.  Res64: AC8C3AB1666C8DC6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:40:06]
893*2^1413162-1 is not prime.  Res64: 3106B931540EB6F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:40:06]
777*2^1413162-1 is not prime.  Res64: D8633524195C0B2E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:40:06]
947*2^1413162-1 is not prime.  Res64: 7B9590872EAA6657  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:40:06]
975*2^1413162-1 is not prime.  Res64: E512E0E6452D2B46  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:57:37]
685*2^1413163-1 is not prime.  Res64: 0E0B762A2342699F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:57:37]
633*2^1413163-1 is not prime.  Res64: A45FEE9001D07BDC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:57:38]
813*2^1413163-1 is not prime.  Res64: 976EEF52CC79A896  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:57:38]
819*2^1413163-1 is not prime.  Res64: 03FB6BC15EF8E5DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:57:38]
663*2^1413163-1 is not prime.  Res64: 1A7EEB8D314FC207  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 05:57:39]
835*2^1413163-1 is not prime.  Res64: F015494B2F4B51D0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:15:06]
855*2^1413163-1 is not prime.  Res64: 2AB30F923E021C14  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:15:07]
961*2^1413163-1 is not prime.  Res64: 2000D7724B03F610  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:15:08]
885*2^1413163-1 is not prime.  Res64: EC477A0413963AD4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:15:09]
925*2^1413163-1 is not prime.  Res64: 02B4E1A79D977021  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:15:10]
635*2^1413164-1 is not prime.  Res64: 7B048A5AA7F9232D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:15:10]
657*2^1413164-1 is not prime.  Res64: AD1A0A8F49F11BFA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:32:34]
923*2^1413164-1 is not prime.  Res64: 2ABAEF3B945EEFD7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:32:35]
929*2^1413164-1 is not prime.  Res64: 02566613C1CA73E7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:32:38]
885*2^1413164-1 is not prime.  Res64: 9DF654802B365D2A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:32:38]
909*2^1413164-1 is not prime.  Res64: F24D8E3CCA7402B1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:32:38]
665*2^1413164-1 is not prime.  Res64: 550C290F26D73B33  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:32:39]
789*2^1413164-1 is not prime.  Res64: 36ADFF1D1561B998  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:49:59]
935*2^1413164-1 is not prime.  Res64: 5711207330EA8AE0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:50:00]
983*2^1413164-1 is not prime.  Res64: 4CF57CF8672C119A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:50:01]
979*2^1413165-1 is not prime.  Res64: B997426A46BF39C0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:50:01]
819*2^1413165-1 is not prime.  Res64: 1D6EA27929B51FC8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:50:02]
603*2^1413166-1 is not prime.  Res64: 164E6E879C5C5482  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 06:50:02]
927*2^1413165-1 is not prime.  Res64: 76ABA2D3C2F8FF84  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:07:26]
855*2^1413166-1 is not prime.  Res64: 51E86196000808D4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:07:27]
957*2^1413166-1 is not prime.  Res64: A03AF05B1F7B8CA1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:07:27]
723*2^1413166-1 is not prime.  Res64: 83A05D0A41B728DC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:07:27]
813*2^1413166-1 is not prime.  Res64: 9C98AC0E090E45D9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:07:28]
983*2^1413166-1 is not prime.  Res64: 3A9D1C402E07E6D3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:07:29]
993*2^1413166-1 is not prime.  Res64: 4097E341F56309CC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:24:55]
645*2^1413167-1 is not prime.  Res64: C3B57B7F50F2044D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:24:55]
703*2^1413167-1 is not prime.  Res64: 603EB816900F5250  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:24:55]
685*2^1413167-1 is not prime.  Res64: 5977C0C84A9AEE9B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:24:55]
705*2^1413167-1 is not prime.  Res64: 71A3E1924B3B764F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:24:55]
735*2^1413167-1 is not prime.  Res64: 5DCE70E935C3770A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:24:56]
739*2^1413167-1 is not prime.  Res64: CE59C24B7C75A01F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:42:19]
985*2^1413167-1 is not prime.  Res64: 09B2D077BDB73A75  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:42:19]
741*2^1413167-1 is not prime.  Res64: 490A6E7FE376483A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:42:19]
737*2^1413168-1 is not prime.  Res64: 34647478956CC012  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:42:19]
825*2^1413167-1 is not prime.  Res64: 1AAB5A560F6178E7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:42:23]
841*2^1413167-1 is not prime.  Res64: C97F13DDBDE70DD9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:42:23]
981*2^1413167-1 is not prime.  Res64: 865B7B702BC38299  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:59:43]
825*2^1413168-1 is not prime.  Res64: 1AE34455267932E0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:59:44]
933*2^1413168-1 is not prime.  Res64: CD2443D3E4E7CD48  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:59:45]
753*2^1413168-1 is not prime.  Res64: A875DFFFB65A7FF5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:59:45]
959*2^1413168-1 is not prime.  Res64: 4C335777BF93B3ED  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:59:46]
767*2^1413168-1 is not prime.  Res64: 03926D5877F1C6A1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 07:59:46]
817*2^1413169-1 is not prime.  Res64: A1A7574E78D8FFDE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:17:09]
957*2^1413169-1 is not prime.  Res64: E3ED14585B581117  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:17:09]
675*2^1413170-1 is not prime.  Res64: 827C0B711EB321F0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:17:09]
717*2^1413170-1 is not prime.  Res64: E05630662C88A0C7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:17:10]
997*2^1413169-1 is not prime.  Res64: 7C756FB17A41E460  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:17:10]
847*2^1413169-1 is not prime.  Res64: E9B16801A7E8D24C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:17:10]
885*2^1413169-1 is not prime.  Res64: 436B7E486B1A4A76  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:34:33]
851*2^1413170-1 is not prime.  Res64: C89FAFDD1F46C68A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:34:33]
829*2^1413171-1 is not prime.  Res64: 5199462F5AB9C339  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:34:33]
901*2^1413171-1 is not prime.  Res64: 2EF34BE734CF41EF  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:34:33]
917*2^1413170-1 is not prime.  Res64: 99CC30BA770EA518  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:34:35]
977*2^1413170-1 is not prime.  Res64: 3BD2C704AE863013  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:34:35]
613*2^1413171-1 is not prime.  Res64: B4FD6713F0490A07  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:51:56]
749*2^1413172-1 is not prime.  Res64: C5A744C2B1922459  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:51:56]
777*2^1413172-1 is not prime.  Res64: 5A1171E056FA7E03  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:51:58]
635*2^1413172-1 is not prime.  Res64: 0339F2A402029E63  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:51:59]
717*2^1413172-1 is not prime.  Res64: 59C07D6E13B4921B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:52:02]
909*2^1413172-1 is not prime.  Res64: 25C8E2F33D4F21D3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 08:52:03]
933*2^1413172-1 is not prime.  Res64: E28A6E59E08620D4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:09:19]
947*2^1413172-1 is not prime.  Res64: 8AD555E20D0F7BE3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:09:20]
675*2^1413173-1 is not prime.  Res64: 1A26783EAE1FD134  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:09:21]
685*2^1413173-1 is not prime.  Res64: B8E83B7B1A58B74E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:09:22]
697*2^1413173-1 is not prime.  Res64: 312BF4A7408F77F1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:09:25]
727*2^1413173-1 is not prime.  Res64: B1742253B32BB96B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:09:25]
769*2^1413173-1 is not prime.  Res64: B447A95D47D74BF0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:26:46]
787*2^1413173-1 is not prime.  Res64: B486C6DF738560CA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:26:46]
867*2^1413173-1 is not prime.  Res64: E90FB65C4F9E5EE1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:26:46]
885*2^1413173-1 is not prime.  Res64: 8AFB2E984AA274F8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:26:47]
627*2^1413174-1 is not prime.  Res64: 94D821629DF026B1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:26:48]
671*2^1413174-1 is not prime.  Res64: 07590C100B55E0D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:26:49]
683*2^1413174-1 is not prime.  Res64: 9FA5A999710BC8AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:44:10]
747*2^1413174-1 is not prime.  Res64: 202EE9A260A5D43A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:44:10]
755*2^1413174-1 is not prime.  Res64: B60BF56A86C97E88  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:44:11]
765*2^1413174-1 is not prime.  Res64: 1C015B1E7BFCD462  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:44:11]
773*2^1413174-1 is not prime.  Res64: 914339F7345741D7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:44:14]
783*2^1413174-1 is not prime.  Res64: E4F8F7C881C60210  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 09:44:14]
951*2^1413174-1 is not prime.  Res64: 153A0A35FF7D7D34  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:01:34]
983*2^1413174-1 is not prime.  Res64: 24CEED20F02B3BD5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:01:35]
633*2^1413175-1 is not prime.  Res64: C78D6F89E0E6B096  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:01:35]
709*2^1413175-1 is not prime.  Res64: 0DAD9566FA46BC59  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:01:36]
723*2^1413175-1 is not prime.  Res64: 31DE3F4551010C18  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:01:38]
763*2^1413175-1 is not prime.  Res64: ED7306E31329E562  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:01:39]
871*2^1413175-1 is not prime.  Res64: 85502A7C332AD0B6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:19:19]
603*2^1413176-1 is not prime.  Res64: A795D899CC4F728E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:19:20]
669*2^1413176-1 is not prime.  Res64: 187FE3A05B2C5991  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:19:20]
855*2^1413176-1 is not prime.  Res64: 42593F02BA0AB6DD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:19:20]
875*2^1413176-1 is not prime.  Res64: 767E5C6020ECDB8E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:19:21]
879*2^1413176-1 is not prime.  Res64: 689FDD67D4943698  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:19:21]
607*2^1413177-1 is not prime.  Res64: EE5B32DD9B7273C7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:36:45]
765*2^1413177-1 is not prime.  Res64: 0AE3406169AA4B2A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:36:45]
781*2^1413177-1 is not prime.  Res64: 28F2317C811F3ED5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:36:46]
955*2^1413177-1 is not prime.  Res64: 6FBF060B48FCF603  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:36:46]
997*2^1413177-1 is not prime.  Res64: 655BCFB2D7812B20  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:36:48]
837*2^1413177-1 is not prime.  Res64: 1CE813A01B2A6BAD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:36:48]
885*2^1413177-1 is not prime.  Res64: 19AB9A68053DC618  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:54:11]
777*2^1413178-1 is not prime.  Res64: 5CE7E432836D60B6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:54:11]
621*2^1413178-1 is not prime.  Res64: D7E57F67D37AD231  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:54:12]
881*2^1413178-1 is not prime.  Res64: 401745DE37B9F530  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:54:12]
623*2^1413178-1 is not prime.  Res64: D6A7DB937B37EE71  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:54:13]
957*2^1413178-1 is not prime.  Res64: 598689D0032A2A72  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 10:54:14]
603*2^1413179-1 is not prime.  Res64: 5F49AB0DFA6AE18C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:11:36]
663*2^1413179-1 is not prime.  Res64: F7F7D1B9A6B29480  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:11:36]
675*2^1413179-1 is not prime.  Res64: 63EEF328C84DD99C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:11:37]
913*2^1413179-1 is not prime.  Res64: 2317DAF119528155  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:11:37]
811*2^1413179-1 is not prime.  Res64: C9BA5A105FF9F25A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:11:37]
955*2^1413179-1 is not prime.  Res64: AF45DF39395337B9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:11:38]
879*2^1413179-1 is not prime.  Res64: 8176A377FDE9AEF9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:29:04]
887*2^1413180-1 is not prime.  Res64: DD4E1AC6FAFFA341  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:29:05]
773*2^1413180-1 is not prime.  Res64: B2D79EC4E81896C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:29:05]
893*2^1413180-1 is not prime.  Res64: E91148DB1AB81F68  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:29:05]
819*2^1413180-1 is not prime.  Res64: F1A837832E94C5FE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:29:06]
627*2^1413180-1 is not prime.  Res64: B2E0D78B1707B7EF  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:29:07]
719*2^1413180-1 is not prime.  Res64: 610E974BEA3BE880  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:46:28]
905*2^1413180-1 is not prime.  Res64: A770CD2FC83E0D6C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:46:29]
933*2^1413180-1 is not prime.  Res64: DBC45A69B4EC7B92  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:46:32]
741*2^1413181-1 is not prime.  Res64: 8E2045C0E234AC50  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:46:33]
975*2^1413180-1 is not prime.  Res64: 0249B61837AF3B35  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:46:33]
747*2^1413181-1 is not prime.  Res64: C0721FB14DED766B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 11:46:33]
999*2^1413180-1 is not prime.  Res64: C505881AEC6A7B5A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:03:58]
693*2^1413182-1 is not prime.  Res64: 66A55F4D00B60C08  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:03:58]
921*2^1413182-1 is not prime.  Res64: FABEB2D6E27D8CBF  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:03:59]
875*2^1413182-1 is not prime.  Res64: 134CB16F755861FC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:04:00]
987*2^1413182-1 is not prime.  Res64: C18AFE975B1CB16D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:04:02]
799*2^1413181-1 is not prime.  Res64: EE92A707CF03B5AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:04:04]
955*2^1413181-1 is not prime.  Res64: CF70B47B3222C6E1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:21:49]
709*2^1413183-1 is not prime.  Res64: 983C1F99AC1803A8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:21:49]
739*2^1413183-1 is not prime.  Res64: 34E2782C4BB95072  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:21:49]
805*2^1413183-1 is not prime.  Res64: FC73D5940AA5F6A1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:21:49]
871*2^1413183-1 is not prime.  Res64: 7481C37BA33A9F08  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:21:52]
621*2^1413183-1 is not prime.  Res64: F827955EDBC3F15C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:21:52]
679*2^1413183-1 is not prime.  Res64: A669CD3E4E2DD7B9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:39:13]
969*2^1413183-1 is not prime.  Res64: 67694E53E9CC0A94  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:39:14]
985*2^1413183-1 is not prime.  Res64: D27A5167E2E56D6A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:39:16]
717*2^1413184-1 is not prime.  Res64: 8326BBB6B961F494  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:39:17]
875*2^1413184-1 is not prime.  Res64: 5E789B164A5A42D6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:39:20]
995*2^1413184-1 is not prime.  Res64: E7C7D388E6E0C4B4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:39:21]
705*2^1413185-1 is not prime.  Res64: 5CD0F1D3A107FDF6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:56:37]
781*2^1413185-1 is not prime.  Res64: 0A19A5DD05C4CA7A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:56:37]
789*2^1413185-1 is not prime.  Res64: A442381FDC585E50  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:56:41]
885*2^1413185-1 is not prime.  Res64: 792C4C17C14360B2  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:56:42]
981*2^1413185-1 is not prime.  Res64: EBCE0C4568885769  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:56:45]
627*2^1413186-1 is not prime.  Res64: 7C2A8D06C01D15D3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 12:56:45]
647*2^1413186-1 is not prime.  Res64: 0168020FFB751F18  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:14:00]
755*2^1413186-1 is not prime.  Res64: FA9D31882AEC3CA8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:14:01]
833*2^1413186-1 is not prime.  Res64: 4D870A390C17D32C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:14:06]
941*2^1413186-1 is not prime.  Res64: 7B45FDEB5383E9A0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:14:06]
947*2^1413186-1 is not prime.  Res64: FBD96F9EA90E7668  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:14:11]
603*2^1413187-1 is not prime.  Res64: 2A73852AC74911DF  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:14:11]
619*2^1413187-1 is not prime.  Res64: 6C4BFB952F21A975  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:31:32]
835*2^1413187-1 is not prime.  Res64: 57B464EF1DDA4AC1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:31:32]
961*2^1413187-1 is not prime.  Res64: DFCC3BC0BE8F5372  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:31:35]
645*2^1413187-1 is not prime.  Res64: BE135E067614FD00  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:31:35]
759*2^1413187-1 is not prime.  Res64: CC798B83D926A865  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:31:38]
973*2^1413187-1 is not prime.  Res64: CE6D4F9933CEEA39  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:31:39]
993*2^1413187-1 is not prime.  Res64: AAE80C5D4C5896D5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:48:56]
743*2^1413188-1 is not prime.  Res64: 31054329C7039FFE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:48:57]
795*2^1413188-1 is not prime.  Res64: E3C488CAA4B6231A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:48:58]
893*2^1413188-1 is not prime.  Res64: D26E9CF0869E3232  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:48:59]
977*2^1413188-1 is not prime.  Res64: 290B833825AD2A93  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:49:02]
625*2^1413189-1 is not prime.  Res64: BED724128BC7C753  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 13:49:03]
639*2^1413189-1 is not prime.  Res64: 0197ECEFF5A0DEBE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:06:45]
655*2^1413189-1 is not prime.  Res64: 81DEBBF568249275  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:06:45]
669*2^1413189-1 is not prime.  Res64: 98782799D8AC03E3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:06:48]
679*2^1413189-1 is not prime.  Res64: F37BAA9D37363075  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:06:48]
765*2^1413189-1 is not prime.  Res64: 6F6B6C54DE39FFA9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:06:51]
829*2^1413189-1 is not prime.  Res64: C116CDA99B8D952C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:06:52]
867*2^1413189-1 is not prime.  Res64: 840A9E01EDD6DF2A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:24:56]
985*2^1413189-1 is not prime.  Res64: 07D967DA181DD3B4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:24:56]
645*2^1413190-1 is not prime.  Res64: E38D32DC505CD94E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:24:58]
783*2^1413190-1 is not prime.  Res64: F0D412F28F261CBF  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:24:59]
831*2^1413190-1 is not prime.  Res64: EEDCAAE43B16EE63  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:25:01]
873*2^1413190-1 is not prime.  Res64: 14D3948EBB1A6AE7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:25:01]
915*2^1413190-1 is not prime.  Res64: 14FDBAB1D56C2E79  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:42:55]
759*2^1413191-1 is not prime.  Res64: 3625F400E904CBAA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:42:55]
775*2^1413191-1 is not prime.  Res64: 09720F5DD8C53FFC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:42:57]
623*2^1413192-1 is not prime.  Res64: DE92964A6C2651AB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:42:57]
693*2^1413192-1 is not prime.  Res64: 480B67233D5F633F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:42:57]
843*2^1413191-1 is not prime.  Res64: 15FC85A55B46802B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 14:42:58]
889*2^1413191-1 is not prime.  Res64: 718DC566E3D02C39  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:00:50]
903*2^1413192-1 is not prime.  Res64: FFB499B06E900C70  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:00:51]
923*2^1413192-1 is not prime.  Res64: ED8CC77BC140C23E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:00:52]
695*2^1413192-1 is not prime.  Res64: 7ADCCD543AF15CDE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:00:53]
725*2^1413192-1 is not prime.  Res64: 20C905D3BBF93F4B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:00:54]
609*2^1413193-1 is not prime.  Res64: 345AA847BD25EFE0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:00:55]
885*2^1413193-1 is not prime.  Res64: 4FF88EA27F9BE830  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:18:56]
901*2^1413193-1 is not prime.  Res64: CDFF6952FB306FB6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:18:56]
873*2^1413194-1 is not prime.  Res64: 932AC40F658904EE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:18:58]
887*2^1413194-1 is not prime.  Res64: 3939A39CC2E61639  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:18:59]
619*2^1413195-1 is not prime.  Res64: B6104DF2E0C242F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:19:02]
685*2^1413195-1 is not prime.  Res64: 65C30EE474C848AC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:19:02]
789*2^1413195-1 is not prime.  Res64: D8CD4B17A9E2BF29  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:36:53]
793*2^1413195-1 is not prime.  Res64: 8A54129877A2C48E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:36:54]
795*2^1413195-1 is not prime.  Res64: F29A579D9ED01518  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:36:57]
801*2^1413195-1 is not prime.  Res64: E203CC753EC193E4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:36:57]
663*2^1413196-1 is not prime.  Res64: 00C0E069E1965C0D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:36:57]
963*2^1413195-1 is not prime.  Res64: 58222AE4FBB20E46  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:36:57]
689*2^1413196-1 is not prime.  Res64: 573096F62BA33AD4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:54:52]
803*2^1413196-1 is not prime.  Res64: 3855DCA76DD3EF0F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:54:52]
923*2^1413196-1 is not prime.  Res64: EC52580168383CAD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:54:53]
607*2^1413197-1 is not prime.  Res64: 021CB59A2876B567  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:54:53]
697*2^1413197-1 is not prime.  Res64: 73F0802F010EC21D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:54:57]
999*2^1413196-1 is not prime.  Res64: DE1E3F765B0836D5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 15:54:58]
601*2^1413197-1 is not prime.  Res64: 1231FABE5A50C812  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:12:53]
831*2^1413197-1 is not prime.  Res64: 1888C5C2A2297D7B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:12:53]
861*2^1413197-1 is not prime.  Res64: F74A8C4B7CFD7175  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:12:55]
757*2^1413197-1 is not prime.  Res64: 792A83CE864BD7E8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:12:55]
795*2^1413197-1 is not prime.  Res64: 05F955E205EBDBF5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:12:56]
955*2^1413197-1 is not prime.  Res64: D3A2E472FA219E2A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:12:57]
981*2^1413197-1 is not prime.  Res64: 6DE877972F860F1E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:30:32]
671*2^1413198-1 is not prime.  Res64: F1841637DEDCC492  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:30:33]
707*2^1413198-1 is not prime.  Res64: 7C014B544A132E63  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:30:33]
677*2^1413198-1 is not prime.  Res64: 1F29AC9AC6493EFC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:30:33]
725*2^1413198-1 is not prime.  Res64: 2934F916F365B034  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:30:34]
891*2^1413198-1 is not prime.  Res64: 0255ED7545E8ACFE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:30:35]
977*2^1413198-1 is not prime.  Res64: 0A93E8AF1E274728  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:47:57]
661*2^1413199-1 is not prime.  Res64: 784FED7502D63FC6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:47:57]
763*2^1413199-1 is not prime.  Res64: EACA1E1807358A1C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:47:57]
831*2^1413199-1 is not prime.  Res64: E3F6569A7089CAB0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:47:58]
615*2^1413200-1 is not prime.  Res64: 6BB8A56765AD3833  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:47:59]
669*2^1413200-1 is not prime.  Res64: 3A72C8CA1B3C7F5F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 16:47:59]
725*2^1413200-1 is not prime.  Res64: 9DDBF69F4060C5EC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:05:23]
773*2^1413200-1 is not prime.  Res64: 790EDBA8290C2B79  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:05:26]
727*2^1413201-1 is not prime.  Res64: 93AFF0AFB855A345  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:05:27]
845*2^1413200-1 is not prime.  Res64: 58D38697326A3BD2  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:05:28]
895*2^1413201-1 is not prime.  Res64: 5DC9E027335061CC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:05:29]
927*2^1413200-1 is not prime.  Res64: AFCA31702DD07126  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:05:31]
669*2^1413201-1 is not prime.  Res64: C601BA33C34C4189  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:23:16]
735*2^1413202-1 is not prime.  Res64: 546126105692FF8D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:23:17]
791*2^1413202-1 is not prime.  Res64: 41A649BEF0B0AB12  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:23:17]
975*2^1413201-1 is not prime.  Res64: FC23EBA143C5A8CC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:23:17]
647*2^1413202-1 is not prime.  Res64: BF3FC93A1DF6D256  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:23:21]
611*2^1413202-1 is not prime.  Res64: 35C2DBD03EAF3426  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:23:21]
717*2^1413202-1 is not prime.  Res64: 45C2BDD1A8D749C1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:40:40]
891*2^1413202-1 is not prime.  Res64: 870464F81FF53B5B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:40:40]
987*2^1413202-1 is not prime.  Res64: 37CD0C6105AB75FB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:40:40]
983*2^1413202-1 is not prime.  Res64: 94A74592145D2CBE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:40:40]
609*2^1413203-1 is not prime.  Res64: 6C22A5EA7CDA3C87  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:40:47]
631*2^1413203-1 is not prime.  Res64: 21B4E6E8E1850150  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:40:47]
715*2^1413203-1 is not prime.  Res64: 2CF078DADF445849  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:58:04]
775*2^1413203-1 is not prime.  Res64: 2CD6168422B1484F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:58:04]
963*2^1413203-1 is not prime.  Res64: 0FDF0FEC18AF5D81  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:58:05]
945*2^1413203-1 is not prime.  Res64: 80099FEDE8941561  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:58:05]
973*2^1413203-1 is not prime.  Res64: 6415EB08A58F6157  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:58:10]
985*2^1413203-1 is not prime.  Res64: E88667282BA60E71  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 17:58:10]
705*2^1413204-1 is not prime.  Res64: 8ED157EF52B5CF0C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:15:29]
873*2^1413204-1 is not prime.  Res64: 97EDC0C03D6088C8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:15:29]
975*2^1413204-1 is not prime.  Res64: 39AF0EB75E740363  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:15:31]
719*2^1413204-1 is not prime.  Res64: 970CA375DB26A07D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:15:31]
837*2^1413204-1 is not prime.  Res64: 8005394F330E28CA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:15:33]
609*2^1413205-1 is not prime.  Res64: 8A260D592707781A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:15:34]
675*2^1413205-1 is not prime.  Res64: 2F736B41BAB7749C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:32:55]
739*2^1412967-1 is not prime.  Res64: 811652B316F01BBA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:32:56]
771*2^1413205-1 is not prime.  Res64: 992965FFE3D30349  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:32:58]
859*2^1412967-1 is not prime.  Res64: 58C54AA042DCA902  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:32:59]
777*2^1413205-1 is not prime.  Res64: BE8697236C9B8F81  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:33:02]
799*2^1413205-1 is not prime.  Res64: 4CCD0181B249A3DD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:33:05]
825*2^1413205-1 is not prime.  Res64: F47279D42FB35A08  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:50:34]
939*2^1413205-1 is not prime.  Res64: 445A910DB3528BB8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:50:35]
915*2^1413205-1 is not prime.  Res64: 83F266AF028155A3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:50:35]
999*2^1413205-1 is not prime.  Res64: 264471F898826DAD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:50:35]
603*2^1413206-1 is not prime.  Res64: B94951404075E5E0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:50:38]
615*2^1413206-1 is not prime.  Res64: F9DD810F06A1481C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 18:50:38]
627*2^1413206-1 is not prime.  Res64: 0FE98DFADAD0226B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:08:00]
875*2^1413206-1 is not prime.  Res64: DABBD9E71BDBDE63  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:08:00]
671*2^1413206-1 is not prime.  Res64: FADD3DBA893CAD98  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:08:00]
893*2^1413206-1 is not prime.  Res64: 1448548D53DA4156  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:08:01]
825*2^1413206-1 is not prime.  Res64: 883941D80E0EBDC6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:08:02]
615*2^1413207-1 is not prime.  Res64: 20657FCF07C02D94  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:08:03]
669*2^1413207-1 is not prime.  Res64: 128FDFAB4EE7DD99  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:25:27]
711*2^1413207-1 is not prime.  Res64: C5EA9ED5DAFA8748  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:25:27]
865*2^1413207-1 is not prime.  Res64: E7C3EAE8B95B2A49  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:25:28]
691*2^1413207-1 is not prime.  Res64: 29BC82462FCEE199  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:25:28]
829*2^1413207-1 is not prime.  Res64: A41646783267A237  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:25:29]
693*2^1413207-1 is not prime.  Res64: EB6F8A4F56C88348  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:25:30]
901*2^1413207-1 is not prime.  Res64: DBD43566221BA9D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:42:57]
843*2^1413208-1 is not prime.  Res64: B1B0633687575F6E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:42:57]
913*2^1413207-1 is not prime.  Res64: E11704506094E076  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:42:57]
905*2^1413208-1 is not prime.  Res64: 620035CBAC6B798F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:42:57]
605*2^1413208-1 is not prime.  Res64: CEB0C125850E17CD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:42:57]
631*2^1413209-1 is not prime.  Res64: B29D4D9F9B4171CA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 19:42:58]
657*2^1413209-1 is not prime.  Res64: DBE569FAC0493015  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:00:34]
685*2^1413209-1 is not prime.  Res64: 2486A70F8FF92B69  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:00:35]
771*2^1413209-1 is not prime.  Res64: 222D9730A90C902B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:00:36]
789*2^1413209-1 is not prime.  Res64: C1728CF7F2C94572  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:00:36]
819*2^1413209-1 is not prime.  Res64: D835BC5244325186  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:00:38]
847*2^1413209-1 is not prime.  Res64: FECA21BD32F100DB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:00:39]
885*2^1413209-1 is not prime.  Res64: A4D23F849464E307  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:18:37]
889*2^1413209-1 is not prime.  Res64: EEAF85CA57612559  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:18:38]
939*2^1413209-1 is not prime.  Res64: 6692EE9627DCF311  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:18:39]
949*2^1413209-1 is not prime.  Res64: 6D4609778F9FBEDD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:18:39]
647*2^1413210-1 is not prime.  Res64: EAF76C231473C6F8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:18:40]
725*2^1413210-1 is not prime.  Res64: A196FBB4C50F7329  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:18:40]
735*2^1413210-1 is not prime.  Res64: A1EBEB5269FDC615  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:36:42]
773*2^1413210-1 is not prime.  Res64: A97982D6F201F9CE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:36:43]
893*2^1413210-1 is not prime.  Res64: 04678590E23A5D9E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:36:43]
775*2^1413211-1 is not prime.  Res64: 133F779670466D61  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:36:44]
993*2^1413211-1 is not prime.  Res64: 8A24054C717F775F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:36:48]
609*2^1413212-1 is not prime.  Res64: E23FB583CE4BAB0C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:36:49]
665*2^1413212-1 is not prime.  Res64: B7C6703D06FEF9AB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:54:46]
873*2^1413212-1 is not prime.  Res64: 3DA088606D3D56F3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:54:46]
897*2^1413212-1 is not prime.  Res64: 9F9DFF729B10D2E0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:54:54]
923*2^1413212-1 is not prime.  Res64: C7ACBB7AAE2A0A65  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:54:54]
817*2^1413213-1 is not prime.  Res64: 59D4558B8AC8B7CC  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:54:55]
747*2^1413213-1 is not prime.  Res64: 59527D617300EDC3  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 20:54:55]
871*2^1413213-1 is not prime.  Res64: D5CC3FD3DA08F188  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:12:52]
999*2^1413213-1 is not prime.  Res64: 3C993E6F619AB19B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:12:53]
665*2^1413214-1 is not prime.  Res64: 525A6719755EA19A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:13:02]
981*2^1413214-1 is not prime.  Res64: 2DEC8B5807331630  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:13:03]
663*2^1413215-1 is not prime.  Res64: 563A2E9D900D3707  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:13:03]
785*2^1413214-1 is not prime.  Res64: 564D2CC46281A378  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:13:03]
915*2^1413214-1 is not prime.  Res64: AB1F4DDFDF8C0A9F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:30:59]
789*2^1413215-1 is not prime.  Res64: 54BFC80695D9B9C2  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:31:00]
799*2^1413215-1 is not prime.  Res64: 90B79EBD53385912  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:31:01]
823*2^1413215-1 is not prime.  Res64: 200472E13BD7C7CB  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:31:02]
855*2^1413215-1 is not prime.  Res64: 84FDF05261D21DE4  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:31:06]
699*2^1413216-1 is not prime.  Res64: 5CEE729D0271057A  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:31:07]
759*2^1413216-1 is not prime.  Res64: B355A52E2CF92253  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:48:34]
887*2^1413216-1 is not prime.  Res64: D3A186BE2812710B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:48:34]
927*2^1413216-1 is not prime.  Res64: EC34580A9BEA60D1  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:48:38]
717*2^1413217-1 is not prime.  Res64: AED987EA1DC39C8C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:48:38]
817*2^1413217-1 is not prime.  Res64: 06E247991E44452F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:48:44]
847*2^1413217-1 is not prime.  Res64: 5E57C9FC8614A370  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 21:48:44]
867*2^1413217-1 is not prime.  Res64: A8ABB21BA3F2703B  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:06:10]
895*2^1413217-1 is not prime.  Res64: BFB106C260D3B106  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:06:10]
605*2^1413218-1 is not prime.  Res64: F6DFFB22B25A0FFE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:06:13]
635*2^1413218-1 is not prime.  Res64: 65D8F42EED78E808  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:06:13]
767*2^1413218-1 is not prime.  Res64: 0EB0F481676F87F0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:06:19]
893*2^1413218-1 is not prime.  Res64: A682F84722724FC5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:06:19]
911*2^1413218-1 is not prime.  Res64: CBAB1360E913F5DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:24:08]
951*2^1413218-1 is not prime.  Res64: E6F8B1371B7DE447  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:24:09]
971*2^1413218-1 is not prime.  Res64: 5ADC9164EECA5A8F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:24:11]
1001*2^1413218-1 is not prime.  Res64: E095F6F728DF8993  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:24:11]
663*2^1413219-1 is not prime.  Res64: 728066BC38752113  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:24:17]
669*2^1413219-1 is not prime.  Res64: 0B1F6899B3718690  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:24:17]
795*2^1413219-1 is not prime.  Res64: 76C5C1E993720E07  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:42:14]
853*2^1413219-1 is not prime.  Res64: 90C9C7247EA5F5E9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:42:14]
879*2^1413219-1 is not prime.  Res64: 030BA607B640BA38  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:42:20]
921*2^1413219-1 is not prime.  Res64: 44F315BFD9276BB6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:42:20]
991*2^1413219-1 is not prime.  Res64: E96A34DD4CE20282  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:42:24]
647*2^1413220-1 is not prime.  Res64: 096706DF9F45CCBE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:42:24]
717*2^1413220-1 is not prime.  Res64: 24709FAA83AEF67E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:59:45]
819*2^1413220-1 is not prime.  Res64: 50783CB0288C8C3C  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:59:45]
863*2^1413220-1 is not prime.  Res64: D904C25F012C3CCD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:59:55]
933*2^1413220-1 is not prime.  Res64: 0C826A986348FDCE  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:59:55]
999*2^1413220-1 is not prime.  Res64: 338B56D097936AF6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:59:59]
645*2^1413221-1 is not prime.  Res64: 417E3F1182AA13B0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 22:59:59]
769*2^1413221-1 is not prime.  Res64: 30AA9E2E1B0F88AD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:17:18]
811*2^1413221-1 is not prime.  Res64: BF87F3AA0411C3BD  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:17:18]
937*2^1413221-1 is not prime.  Res64: DC173EAB5CAB37C0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:17:30]
955*2^1413221-1 is not prime.  Res64: 7C1AB77EDBCDFE87  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:17:31]
653*2^1413222-1 is not prime.  Res64: A8DAF17CB57FF8C2  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:17:37]
755*2^1413222-1 is not prime.  Res64: 0422DA5ABC6853BA  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:17:38]
965*2^1413222-1 is not prime.  Res64: 59D5EDFA99135CD6  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:34:44]
975*2^1413222-1 is not prime.  Res64: 59E5EBD91E9E9366  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:34:45]
609*2^1413223-1 is not prime.  Res64: A84031DEBA180AE9  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:34:57]
925*2^1413223-1 is not prime.  Res64: 022D97F39851DDE0  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:34:57]
933*2^1413223-1 is not prime.  Res64: 8B3A8D953F1AFD23  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:35:04]
943*2^1413223-1 is not prime.  Res64: 68D99FC0F12013B8  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:35:04]
609*2^1413224-1 is not prime.  Res64: C6633FF19700CA29  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:52:13]
615*2^1413224-1 is not prime.  Res64: 07847E77516620D7  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:52:13]
675*2^1413224-1 is not prime.  Res64: 667429A5D525234F  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:52:25]
683*2^1413224-1 is not prime.  Res64: BF7A9E41C402D18E  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:52:26]
747*2^1413224-1 is not prime.  Res64: BFCA5B057AFB68C5  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:52:32]
833*2^1413224-1 is not prime.  Res64: 63F2CAC64852003D  Time : 0.0 sec.
user=mdettweiler
[2015-10-25 23:52:33]
917*2^1413224-1 is not prime.  Res64: 35354A4AA4236E8B  Time : 0.0 sec.