user=mdettweiler [2015-11-26 00:06:12] 957*2^1416110-1 is not prime. Res64: B030803882A3E025 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:06:13] 981*2^1416110-1 is not prime. Res64: E478474E4E20066F Time : 0.0 sec. user=mdettweiler [2015-11-26 00:06:32] 987*2^1416110-1 is not prime. Res64: 251F28AE511A92DE Time : 0.0 sec. user=mdettweiler [2015-11-26 00:06:33] 649*2^1416111-1 is not prime. Res64: 6964F7BD1C755D5D Time : 0.0 sec. user=mdettweiler [2015-11-26 00:15:35] 781*2^1416111-1 is not prime. Res64: 0FEA2A10C4D28874 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:15:36] 865*2^1416111-1 is not prime. Res64: 60E63FCDA116DD79 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:24:04] 873*2^1416111-1 is not prime. Res64: 160084BD567601BE Time : 0.0 sec. user=mdettweiler [2015-11-26 00:24:04] 951*2^1416111-1 is not prime. Res64: B8D7B047AB83690C Time : 0.0 sec. user=mdettweiler [2015-11-26 00:24:14] 961*2^1416111-1 is not prime. Res64: 0AE5B0FDD48FDB44 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:24:15] 743*2^1416112-1 is not prime. Res64: 3D30B3277B651E6F Time : 0.0 sec. user=mdettweiler [2015-11-26 00:33:25] 825*2^1416112-1 is not prime. Res64: 83192BF1CA62319F Time : 0.0 sec. user=mdettweiler [2015-11-26 00:33:25] 887*2^1416112-1 is not prime. Res64: 0C4686BAF682E0F2 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:41:41] 903*2^1416112-1 is not prime. Res64: 71946EEFCD36FD86 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:41:42] 929*2^1416112-1 is not prime. Res64: 0C50E2C204C88962 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:41:51] 975*2^1416112-1 is not prime. Res64: C50C1535C4CE78AF Time : 0.0 sec. user=mdettweiler [2015-11-26 00:41:52] 657*2^1416113-1 is not prime. Res64: CFD983F10C54C4B3 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:51:01] 735*2^1416113-1 is not prime. Res64: C53904C212245666 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:51:01] 771*2^1416113-1 is not prime. Res64: 56787F5BAABA4E5B Time : 0.0 sec. user=mdettweiler [2015-11-26 00:59:18] 811*2^1416113-1 is not prime. Res64: 6AC7E40232FC131D Time : 0.0 sec. user=mdettweiler [2015-11-26 00:59:19] 945*2^1416113-1 is not prime. Res64: 312D8D97B0ABBC09 Time : 0.0 sec. user=mdettweiler [2015-11-26 00:59:29] 981*2^1416113-1 is not prime. Res64: 6F05F1EC4EDDEA9F Time : 0.0 sec. user=mdettweiler [2015-11-26 00:59:29] 621*2^1416114-1 is not prime. Res64: 9E5581361CFE6D5A Time : 0.0 sec. user=mdettweiler [2015-11-26 01:08:37] 873*2^1416114-1 is not prime. Res64: 8F02BBABEFA912C7 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:08:38] 983*2^1416114-1 is not prime. Res64: 49B140CB22B81942 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:16:54] 685*2^1416115-1 is not prime. Res64: 0669354E35A4FC0A Time : 0.0 sec. user=mdettweiler [2015-11-26 01:16:54] 723*2^1416115-1 is not prime. Res64: 5F8A588E25E0C251 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:17:04] 735*2^1416115-1 is not prime. Res64: 888EA308C3B807A8 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:17:04] 849*2^1416115-1 is not prime. Res64: 006D68F76A7705FD Time : 0.0 sec. user=mdettweiler [2015-11-26 01:26:20] 891*2^1416115-1 is not prime. Res64: F5D55528BFF3644E Time : 0.0 sec. user=mdettweiler [2015-11-26 01:26:23] 999*2^1416115-1 is not prime. Res64: F3D23F58ECB6FE8F Time : 0.0 sec. user=mdettweiler [2015-11-26 01:34:30] 827*2^1416116-1 is not prime. Res64: 1A5A08A10F580B60 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:34:32] 867*2^1416116-1 is not prime. Res64: 1BF34C243F2B4162 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:34:39] 735*2^1416117-1 is not prime. Res64: 7A2E1C2A1EB4F41E Time : 0.0 sec. user=mdettweiler [2015-11-26 01:34:39] 849*2^1416117-1 is not prime. Res64: 27028D8200093E29 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:44:06] 861*2^1416117-1 is not prime. Res64: 696EC43EE4FCBC1C Time : 0.0 sec. user=mdettweiler [2015-11-26 01:44:06] 663*2^1416118-1 is not prime. Res64: F9FD7B49D76519C1 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:52:10] 743*2^1416118-1 is not prime. Res64: B135C8DBEBDC5FB8 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:52:11] 887*2^1416118-1 is not prime. Res64: 4E55F40141AC33C2 Time : 0.0 sec. user=mdettweiler [2015-11-26 01:52:14] 915*2^1416118-1 is not prime. Res64: CE4AD1BC38E6F7FC Time : 0.0 sec. user=mdettweiler [2015-11-26 01:52:14] 933*2^1416118-1 is not prime. Res64: 25FAA801F356D6D2 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:01:43] 957*2^1416118-1 is not prime. Res64: 6EAB025AB50B8B47 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:01:44] 675*2^1416119-1 is not prime. Res64: 60F2E1FCF534E811 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:09:46] 811*2^1416119-1 is not prime. Res64: 363039C241695924 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:09:48] 843*2^1416119-1 is not prime. Res64: FDB4B1C9F8DA0147 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:09:53] 993*2^1416119-1 is not prime. Res64: 47248144B8318433 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:09:55] 609*2^1416120-1 is not prime. Res64: 638E33BC521CA7C6 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:19:32] 653*2^1416120-1 is not prime. Res64: 91FEA9FF3EC8619A Time : 0.0 sec. user=mdettweiler [2015-11-26 02:19:32] 693*2^1416120-1 is not prime. Res64: 49A7989D731CCC65 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:27:30] 737*2^1416120-1 is not prime. Res64: EE353E44ABCC7A4D Time : 0.0 sec. user=mdettweiler [2015-11-26 02:27:31] 819*2^1416120-1 is not prime. Res64: 2880D47B1370FBFE Time : 0.0 sec. user=mdettweiler [2015-11-26 02:27:32] 845*2^1416120-1 is not prime. Res64: A391B93CFC6BBBBC Time : 0.0 sec. user=mdettweiler [2015-11-26 02:27:33] 863*2^1416120-1 is not prime. Res64: 38E6341CC5F7A251 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:37:12] 879*2^1416120-1 is not prime. Res64: 8299CCF3AD51A808 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:37:13] 691*2^1416121-1 is not prime. Res64: D1A68257103CEF88 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:45:18] 867*2^1416121-1 is not prime. Res64: 28324F4FC7D74F90 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:45:19] 751*2^1416121-1 is not prime. Res64: C2A2CCEBA2DE53BA Time : 0.0 sec. user=mdettweiler [2015-11-26 02:45:19] 871*2^1416121-1 is not prime. Res64: D41ADB1182D0046A Time : 0.0 sec. user=mdettweiler [2015-11-26 02:45:19] 771*2^1416121-1 is not prime. Res64: 9351C602DB7C9242 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:54:52] 931*2^1416121-1 is not prime. Res64: DFFEAEE123854C77 Time : 0.0 sec. user=mdettweiler [2015-11-26 02:54:53] 981*2^1416121-1 is not prime. Res64: D9BAEA128643BA7D Time : 0.0 sec. user=mdettweiler [2015-11-26 03:03:02] 747*2^1416122-1 is not prime. Res64: E3B040C074E651C7 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:03:03] 833*2^1416122-1 is not prime. Res64: 7CDE8621464B2A98 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:03:03] 767*2^1416122-1 is not prime. Res64: 5ECA92266AD7BEDA Time : 0.0 sec. user=mdettweiler [2015-11-26 03:03:04] 981*2^1416122-1 is not prime. Res64: 969762F89AD0329F Time : 0.0 sec. user=mdettweiler [2015-11-26 03:12:28] 739*2^1416123-1 is not prime. Res64: C3672F15F6E3D344 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:12:29] 805*2^1416123-1 is not prime. Res64: 552BDCA51724741E Time : 0.0 sec. user=mdettweiler [2015-11-26 03:20:52] 819*2^1416123-1 is not prime. Res64: 69BF2F993D2876C3 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:20:52] 895*2^1416123-1 is not prime. Res64: FFB0AE52B02AB102 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:20:52] 859*2^1416123-1 is not prime. Res64: 8B6DCBED6B681F77 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:20:53] 635*2^1416124-1 is not prime. Res64: 7C72A7DEF2A45DA4 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:30:18] 717*2^1416124-1 is not prime. Res64: 10378A839734EE30 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:30:20] 803*2^1416124-1 is not prime. Res64: 27C4E1CB8CE7B8E0 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:38:29] 655*2^1416125-1 is not prime. Res64: 0246614C9694069C Time : 0.0 sec. user=mdettweiler [2015-11-26 03:38:30] 969*2^1416124-1 is not prime. Res64: 5037A93189843840 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:38:30] 735*2^1416125-1 is not prime. Res64: 06B97118F7475DFE Time : 0.0 sec. user=mdettweiler [2015-11-26 03:38:31] 645*2^1416125-1 is not prime. Res64: 2BD3816815EC2B84 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:48:09] 837*2^1416125-1 is not prime. Res64: 220B3FB15CE59100 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:48:13] 871*2^1416125-1 is not prime. Res64: 20CF51CE1FC615FB Time : 0.0 sec. user=mdettweiler [2015-11-26 03:56:18] 889*2^1416125-1 is not prime. Res64: 66664E818EE0C1F1 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:56:20] 969*2^1416125-1 is not prime. Res64: FEF6A1476BA4C9B2 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:56:22] 925*2^1416125-1 is not prime. Res64: CD509B14650CE2F3 Time : 0.0 sec. user=mdettweiler [2015-11-26 03:56:24] 641*2^1416126-1 is not prime. Res64: 8421BAF18F08EC4A Time : 0.0 sec. user=mdettweiler [2015-11-26 04:06:10] 777*2^1416126-1 is not prime. Res64: 12A59234C16DE5F2 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:06:11] 807*2^1416126-1 is not prime. Res64: E98C8F02D708E38A Time : 0.0 sec. user=mdettweiler [2015-11-26 04:14:46] 921*2^1416126-1 is not prime. Res64: BF2E8F898E5DFAF9 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:14:47] 603*2^1416127-1 is not prime. Res64: AFD9C733503770F6 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:14:51] 615*2^1416127-1 is not prime. Res64: FFBFBC4EF9BE452A Time : 0.0 sec. user=mdettweiler [2015-11-26 04:14:51] 681*2^1416127-1 is not prime. Res64: 35107526A9DCC1C6 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:24:00] 751*2^1416127-1 is not prime. Res64: 210FB5B2B336610A Time : 0.0 sec. user=mdettweiler [2015-11-26 04:24:01] 939*2^1416127-1 is not prime. Res64: C3CEDD24F8F6B91D Time : 0.0 sec. user=mdettweiler [2015-11-26 04:32:29] 657*2^1416128-1 is not prime. Res64: B928AA1395A12DB3 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:32:29] 777*2^1416128-1 is not prime. Res64: 26E25783EB9CCC51 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:32:31] 839*2^1416128-1 is not prime. Res64: 85FD8D310621793F Time : 0.0 sec. user=mdettweiler [2015-11-26 04:32:32] 843*2^1416128-1 is not prime. Res64: 66FFB8ECA3D55E1F Time : 0.0 sec. user=mdettweiler [2015-11-26 04:41:39] 855*2^1416128-1 is not prime. Res64: F9D68DE0AEAD9C91 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:41:40] 957*2^1416128-1 is not prime. Res64: 77947711374A8C5D Time : 0.0 sec. user=mdettweiler [2015-11-26 04:50:08] 963*2^1416128-1 is not prime. Res64: 012FA3E8B164CAEF Time : 0.0 sec. user=mdettweiler [2015-11-26 04:50:08] 639*2^1416129-1 is not prime. Res64: 08D10C01D2EF2DB8 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:50:08] 969*2^1416128-1 is not prime. Res64: EB7704F3602B61A2 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:50:08] 781*2^1416129-1 is not prime. Res64: 574D1745075389A7 Time : 0.0 sec. user=mdettweiler [2015-11-26 04:59:14] 835*2^1416129-1 is not prime. Res64: 2C0464978B33D5EA Time : 0.0 sec. user=mdettweiler [2015-11-26 04:59:14] 877*2^1416129-1 is not prime. Res64: 80D1B0CBFB88666B Time : 0.0 sec. user=mdettweiler [2015-11-26 05:07:46] 695*2^1416130-1 is not prime. Res64: 7E2DC1994D02A188 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:07:46] 717*2^1416130-1 is not prime. Res64: 6D66AFD38CC98338 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:07:46] 889*2^1416129-1 is not prime. Res64: 1B02995B160CF3EA Time : 0.0 sec. user=mdettweiler [2015-11-26 05:07:47] 675*2^1416130-1 is not prime. Res64: 483BF9741919F48F Time : 0.0 sec. user=mdettweiler [2015-11-26 05:16:52] 777*2^1416130-1 is not prime. Res64: ECD4629711ECCC1C Time : 0.0 sec. user=mdettweiler [2015-11-26 05:16:53] 867*2^1416130-1 is not prime. Res64: 17819988C96A4A31 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:25:24] 987*2^1416130-1 is not prime. Res64: 25472B99305E1FB9 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:25:24] 917*2^1416130-1 is not prime. Res64: DCCDB93A989E61CC Time : 0.0 sec. user=mdettweiler [2015-11-26 05:25:25] 645*2^1416131-1 is not prime. Res64: A5B45BCF1492CE56 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:25:25] 975*2^1416130-1 is not prime. Res64: 2ACFA437D174E7C1 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:34:27] 753*2^1416131-1 is not prime. Res64: 931D3A3363697A21 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:34:28] 855*2^1416131-1 is not prime. Res64: AF319C6959FF35A9 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:43:02] 979*2^1416131-1 is not prime. Res64: E36FA643264045D9 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:43:02] 623*2^1416132-1 is not prime. Res64: F249C68745FD712C Time : 0.0 sec. user=mdettweiler [2015-11-26 05:43:02] 605*2^1416132-1 is not prime. Res64: B9345516704A8BCC Time : 0.0 sec. user=mdettweiler [2015-11-26 05:43:02] 635*2^1416132-1 is not prime. Res64: 32C7845556636AF3 Time : 0.0 sec. user=mdettweiler [2015-11-26 05:52:06] 717*2^1416132-1 is not prime. Res64: C9EC9E3D916D922B Time : 0.0 sec. user=mdettweiler [2015-11-26 05:52:07] 749*2^1416132-1 is not prime. Res64: 271DF3216C8C87F7 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:00:38] 983*2^1416132-1 is not prime. Res64: D1F2F0CF29F3AE35 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:00:40] 987*2^1416132-1 is not prime. Res64: 9397B06002FE4E82 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:00:41] 797*2^1416132-1 is not prime. Res64: 35ADA6E65F5BEB85 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:00:42] 887*2^1416132-1 is not prime. Res64: C6F9A07378F31423 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:09:45] 765*2^1416133-1 is not prime. Res64: 933DEBDFE8417144 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:09:45] 861*2^1416133-1 is not prime. Res64: 452278F67A96526F Time : 0.0 sec. user=mdettweiler [2015-11-26 06:18:25] 671*2^1416134-1 is not prime. Res64: 8CDD2F25B023F8C1 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:18:26] 677*2^1416134-1 is not prime. Res64: 216397E2AE5A19FB Time : 0.0 sec. user=mdettweiler [2015-11-26 06:18:26] 987*2^1416133-1 is not prime. Res64: BDF5621EC735B1A3 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:18:26] 665*2^1416134-1 is not prime. Res64: C4B289719109C089 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:27:32] 741*2^1416134-1 is not prime. Res64: BD9BFBD648A55ADA Time : 0.0 sec. user=mdettweiler [2015-11-26 06:27:33] 743*2^1416134-1 is not prime. Res64: 07BDA0FFC5503613 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:36:03] 755*2^1416134-1 is not prime. Res64: 42C2141DD4366008 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:36:04] 825*2^1416134-1 is not prime. Res64: A9849BCF1647D5BB Time : 0.0 sec. user=mdettweiler [2015-11-26 06:36:04] 833*2^1416134-1 is not prime. Res64: 3DA0F9A0BD5BF427 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:36:04] 679*2^1416135-1 is not prime. Res64: 037623AF53F4327F Time : 0.0 sec. user=mdettweiler [2015-11-26 06:45:14] 723*2^1416135-1 is not prime. Res64: D6EB874D49C6CDA8 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:45:15] 741*2^1416135-1 is not prime. Res64: 6545269269281819 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:53:40] 921*2^1416135-1 is not prime. Res64: B40B4EEA54D60D77 Time : 0.0 sec. user=mdettweiler [2015-11-26 06:53:40] 657*2^1416136-1 is not prime. Res64: 769D09662BCF3E1B Time : 0.0 sec. user=mdettweiler [2015-11-26 06:53:41] 963*2^1416135-1 is not prime. Res64: 74579805BB71957F Time : 0.0 sec. user=mdettweiler [2015-11-26 06:53:41] 735*2^1416136-1 is not prime. Res64: EDB69F3E1E63B058 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:02:54] 849*2^1416136-1 is not prime. Res64: 2DF759AD45CA32EC Time : 0.0 sec. user=mdettweiler [2015-11-26 07:02:55] 903*2^1416136-1 is not prime. Res64: 6B3B81C8FA6FC6D7 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:11:17] 607*2^1416137-1 is not prime. Res64: 691A4F351EF4392A Time : 0.0 sec. user=mdettweiler [2015-11-26 07:11:18] 645*2^1416137-1 is not prime. Res64: FF265DE49E2AEFB8 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:11:18] 697*2^1416137-1 is not prime. Res64: B9F83834ADE273C3 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:11:18] 717*2^1416137-1 is not prime. Res64: 74D1AC8638C117DF Time : 0.0 sec. user=mdettweiler [2015-11-26 07:20:42] 885*2^1416137-1 is not prime. Res64: 6950FF3D6894B6AD Time : 0.0 sec. user=mdettweiler [2015-11-26 07:20:43] 909*2^1416137-1 is not prime. Res64: B13E09D42C8FE579 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:28:54] 967*2^1416137-1 is not prime. Res64: A2A88A82D26CAB9B Time : 0.0 sec. user=mdettweiler [2015-11-26 07:28:55] 615*2^1416138-1 is not prime. Res64: 16E3D82EB0B8444D Time : 0.0 sec. user=mdettweiler [2015-11-26 07:28:55] 981*2^1416137-1 is not prime. Res64: CC00BC860FDDEE9E Time : 0.0 sec. user=mdettweiler [2015-11-26 07:28:55] 621*2^1416138-1 is not prime. Res64: 19B42EC98D80A2CF Time : 0.0 sec. user=mdettweiler [2015-11-26 07:38:28] 641*2^1416138-1 is not prime. Res64: CA3FCEC62E7681ED Time : 0.0 sec. user=mdettweiler [2015-11-26 07:38:28] 647*2^1416138-1 is not prime. Res64: 599875C027E2A759 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:46:32] 951*2^1416138-1 is not prime. Res64: 57C32729B6651CB7 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:46:33] 691*2^1416139-1 is not prime. Res64: 72A39EF793ECE98D Time : 0.0 sec. user=mdettweiler [2015-11-26 07:46:34] 713*2^1416138-1 is not prime. Res64: 3761387FB615BDCF Time : 0.0 sec. user=mdettweiler [2015-11-26 07:46:34] 815*2^1416138-1 is not prime. Res64: DC2B926B3E79AF08 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:56:03] 703*2^1416139-1 is not prime. Res64: BF778B92CDDAD3F6 Time : 0.0 sec. user=mdettweiler [2015-11-26 07:56:04] 709*2^1416139-1 is not prime. Res64: 85A9706A0B4F42B3 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:04:08] 735*2^1416139-1 is not prime. Res64: 7C997F46C6810DE6 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:04:09] 931*2^1416139-1 is not prime. Res64: A99356BFBB0D4B3A Time : 0.0 sec. user=mdettweiler [2015-11-26 08:04:11] 745*2^1416139-1 is not prime. Res64: FD9E453FB9B89E83 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:04:12] 609*2^1416140-1 is not prime. Res64: A8F6A3F79EC7927A Time : 0.0 sec. user=mdettweiler [2015-11-26 08:13:39] 635*2^1416140-1 is not prime. Res64: 432E6CE677A95F54 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:13:40] 717*2^1416140-1 is not prime. Res64: C7598931BF64FA1D Time : 0.0 sec. user=mdettweiler [2015-11-26 08:22:09] 879*2^1416140-1 is not prime. Res64: 0464DC8D24DD10A7 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:22:10] 909*2^1416140-1 is not prime. Res64: 27C8C37BC66831F4 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:22:10] 639*2^1416141-1 is not prime. Res64: AC6B373469774714 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:22:10] 741*2^1416141-1 is not prime. Res64: 869CFF6BEB827357 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:31:19] 745*2^1416141-1 is not prime. Res64: 253D32A5124A64FF Time : 0.0 sec. user=mdettweiler [2015-11-26 08:31:19] 829*2^1416141-1 is not prime. Res64: 2B4B72C00A296E90 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:39:45] 895*2^1416141-1 is not prime. Res64: 1178254873A96471 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:39:45] 865*2^1416141-1 is not prime. Res64: BB09BE809C36B9DE Time : 0.0 sec. user=mdettweiler [2015-11-26 08:39:46] 907*2^1416141-1 is not prime. Res64: 22871CE6B4D0F421 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:39:46] 889*2^1416141-1 is not prime. Res64: F5FE3F55CC0C2514 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:48:58] 979*2^1416141-1 is not prime. Res64: 314AF823EBBDDE08 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:48:58] 611*2^1416142-1 is not prime. Res64: 46838877ADC5AEFF Time : 0.0 sec. user=mdettweiler [2015-11-26 08:57:21] 777*2^1416142-1 is not prime. Res64: 9FC031B3178ADF42 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:57:21] 723*2^1416142-1 is not prime. Res64: 4A2FE54BE745FBCE Time : 0.0 sec. user=mdettweiler [2015-11-26 08:57:22] 833*2^1416142-1 is not prime. Res64: F51586D81F169C54 Time : 0.0 sec. user=mdettweiler [2015-11-26 08:57:22] 747*2^1416142-1 is not prime. Res64: 2C300A2AFF0C33E3 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:06:34] 661*2^1416143-1 is not prime. Res64: AC8EBAC00BBE628A Time : 0.0 sec. user=mdettweiler [2015-11-26 09:06:34] 741*2^1416143-1 is not prime. Res64: 05028F578BB2E740 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:14:56] 623*2^1416144-1 is not prime. Res64: AB65874A67BB53C7 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:14:57] 753*2^1416144-1 is not prime. Res64: 3C0D61318BFF07C6 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:14:59] 693*2^1416144-1 is not prime. Res64: 325FC5C6970FB407 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:15:01] 765*2^1416144-1 is not prime. Res64: 04A3EDC95ACAD8A8 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:24:11] 789*2^1416144-1 is not prime. Res64: 503DCB96D20EF34E Time : 0.0 sec. user=mdettweiler [2015-11-26 09:24:11] 825*2^1416144-1 is not prime. Res64: 33D7A79AB9EAFC51 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:32:54] 903*2^1416144-1 is not prime. Res64: 375EA48D86830D37 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:32:54] 645*2^1416145-1 is not prime. Res64: B84B32A2B8F3D40C Time : 0.0 sec. user=mdettweiler [2015-11-26 09:32:55] 909*2^1416144-1 is not prime. Res64: C0B15DF7089F2042 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:32:55] 789*2^1416145-1 is not prime. Res64: EC6167756EEB062E Time : 0.0 sec. user=mdettweiler [2015-11-26 09:41:49] 951*2^1416145-1 is not prime. Res64: 61C95F3DF6F20429 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:41:49] 615*2^1416146-1 is not prime. Res64: 7668222B4889AC8C Time : 0.0 sec. user=mdettweiler [2015-11-26 09:50:29] 701*2^1416146-1 is not prime. Res64: AFC98867470AEE36 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:50:29] 783*2^1416146-1 is not prime. Res64: 82938976A5C09182 Time : 0.0 sec. user=mdettweiler [2015-11-26 09:50:29] 767*2^1416146-1 is not prime. Res64: D05F9351B97765CD Time : 0.0 sec. user=mdettweiler [2015-11-26 09:50:30] 861*2^1416146-1 is not prime. Res64: 8099C71084A7DDEE Time : 0.0 sec. user=mdettweiler [2015-11-26 09:59:26] 867*2^1416146-1 is not prime. Res64: 9EF394B715D0ABAC Time : 0.0 sec. user=mdettweiler [2015-11-26 09:59:26] 875*2^1416146-1 is not prime. Res64: 55CE9F408085E61D Time : 0.0 sec. user=mdettweiler [2015-11-26 10:08:11] 903*2^1416146-1 is not prime. Res64: 5D49879A73F7417F Time : 0.0 sec. user=mdettweiler [2015-11-26 10:08:12] 921*2^1416146-1 is not prime. Res64: 994966924E21247E Time : 0.0 sec. user=mdettweiler [2015-11-26 10:08:14] 941*2^1416146-1 is not prime. Res64: 8ED453DF2D62558A Time : 0.0 sec. user=mdettweiler [2015-11-26 10:08:15] 601*2^1416147-1 is not prime. Res64: 604C3E51713B441B Time : 0.0 sec. user=mdettweiler [2015-11-26 10:17:05] 835*2^1416147-1 is not prime. Res64: 80A90A1079D55478 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:17:05] 871*2^1416147-1 is not prime. Res64: 8B4DA1FD73687234 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:25:49] 879*2^1416147-1 is not prime. Res64: FC721F266E3F2C0F Time : 0.0 sec. user=mdettweiler [2015-11-26 10:25:49] 955*2^1416147-1 is not prime. Res64: C8396D74C4D35F6D Time : 0.0 sec. user=mdettweiler [2015-11-26 10:25:53] 735*2^1416148-1 is not prime. Res64: ABCC83A225D45880 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:25:53] 839*2^1416148-1 is not prime. Res64: 34491138E6597F8F Time : 0.0 sec. user=mdettweiler [2015-11-26 10:34:43] 899*2^1416148-1 is not prime. Res64: 3B8B8218CADA73C8 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:34:43] 947*2^1416148-1 is not prime. Res64: B2D58FAA0B8B6422 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:43:25] 989*2^1416148-1 is not prime. Res64: 4876D90FFE136DD7 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:43:25] 999*2^1416148-1 is not prime. Res64: 712D22AE02DED75E Time : 0.0 sec. user=mdettweiler [2015-11-26 10:43:29] 879*2^1416149-1 is not prime. Res64: 7BEA7F63CD33F9D6 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:43:29] 641*2^1416150-1 is not prime. Res64: BE2DC4D71EEB2E71 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:52:20] 651*2^1416150-1 is not prime. Res64: E355D6F18800DA55 Time : 0.0 sec. user=mdettweiler [2015-11-26 10:52:20] 713*2^1416150-1 is not prime. Res64: B9BD0270C1D22260 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:01:03] 717*2^1416150-1 is not prime. Res64: 89B45657DE2922A6 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:01:04] 741*2^1416150-1 is not prime. Res64: C1433CEE978363AB Time : 0.0 sec. user=mdettweiler [2015-11-26 11:01:06] 755*2^1416150-1 is not prime. Res64: 6CFAF9F6DC88CD0B Time : 0.0 sec. user=mdettweiler [2015-11-26 11:01:07] 765*2^1416150-1 is not prime. Res64: B0B6F3105C08EEE3 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:09:57] 773*2^1416150-1 is not prime. Res64: ACBC4EC75A7C1C00 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:09:59] 941*2^1416150-1 is not prime. Res64: C7E4797B5D114CA8 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:18:46] 609*2^1416151-1 is not prime. Res64: 9DF266F6DC5F1E7E Time : 0.0 sec. user=mdettweiler [2015-11-26 11:18:46] 673*2^1416151-1 is not prime. Res64: 904009DBBA93AEDE Time : 0.0 sec. user=mdettweiler [2015-11-26 11:18:49] 681*2^1416151-1 is not prime. Res64: DA3A1404DBA3D419 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:18:50] 993*2^1416151-1 is not prime. Res64: 09680E9C5338B062 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:27:52] 623*2^1416152-1 is not prime. Res64: 28D587E4C02604DF Time : 0.0 sec. user=mdettweiler [2015-11-26 11:27:52] 629*2^1416152-1 is not prime. Res64: 5AC5AF0E5F5E1A9A Time : 0.0 sec. user=mdettweiler [2015-11-26 11:36:29] 777*2^1416152-1 is not prime. Res64: 0C5C1999C6DEF5EE Time : 0.0 sec. user=mdettweiler [2015-11-26 11:36:30] 813*2^1416152-1 is not prime. Res64: 7274AA7CCB91D87B Time : 0.0 sec. user=mdettweiler [2015-11-26 11:36:31] 827*2^1416152-1 is not prime. Res64: A9AAFD15F9556424 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:36:31] 873*2^1416152-1 is not prime. Res64: 255B435908C86C2E Time : 0.0 sec. user=mdettweiler [2015-11-26 11:46:26] 903*2^1416152-1 is not prime. Res64: C7690BC20927DB11 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:46:26] 923*2^1416152-1 is not prime. Res64: 136BAC0BEA114EAA Time : 0.0 sec. user=mdettweiler [2015-11-26 11:55:10] 607*2^1416153-1 is not prime. Res64: 95141734110AC069 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:55:10] 609*2^1416153-1 is not prime. Res64: E48CF03A07A68504 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:55:11] 625*2^1416153-1 is not prime. Res64: 037FFF47F6BF4492 Time : 0.0 sec. user=mdettweiler [2015-11-26 11:55:11] 747*2^1416153-1 is not prime. Res64: 894808B0C1B7805C Time : 0.0 sec. user=mdettweiler [2015-11-26 12:04:34] 769*2^1416153-1 is not prime. Res64: 1130BB2C86BD6158 Time : 0.0 sec. user=mdettweiler [2015-11-26 12:04:36] 817*2^1416153-1 is not prime. Res64: BDD41255E75376AE Time : 0.0 sec. user=mdettweiler [2015-11-26 12:13:03] 665*2^1416154-1 is not prime. Res64: EEB9E35331C1AAFF Time : 0.0 sec. user=mdettweiler [2015-11-26 12:13:04] 621*2^1416154-1 is not prime. Res64: 134B4FAE5D0DB67A Time : 0.0 sec. user=mdettweiler [2015-11-26 12:13:04] 675*2^1416154-1 is not prime. Res64: 206D227FBF24723C Time : 0.0 sec. user=mdettweiler [2015-11-26 12:13:05] 651*2^1416154-1 is not prime. Res64: 662B9B222C1E0F7F Time : 0.0 sec. user=mdettweiler [2015-11-26 12:22:22] 783*2^1416154-1 is not prime. Res64: DE76546DD72D805A Time : 0.0 sec. user=mdettweiler [2015-11-26 12:22:22] 857*2^1416154-1 is not prime. Res64: 60206D435C7EF8FC Time : 0.0 sec. user=mdettweiler [2015-11-26 12:31:00] 887*2^1416154-1 is not prime. Res64: 93EE502EA899A294 Time : 0.0 sec. user=mdettweiler [2015-11-26 12:31:01] 945*2^1416154-1 is not prime. Res64: 88B97D3E60F806BF Time : 0.0 sec. user=mdettweiler [2015-11-26 12:31:02] 663*2^1416155-1 is not prime. Res64: C16DCACB5355AE66 Time : 0.0 sec. user=mdettweiler [2015-11-26 12:31:03] 679*2^1416155-1 is not prime. Res64: 1C06D758BB1C7B22 Time : 0.0 sec. user=mdettweiler [2015-11-26 12:40:00] 739*2^1416155-1 is not prime. Res64: 327583FB6CACB094 Time : 0.0 sec. user=mdettweiler [2015-11-26 12:40:01] 741*2^1416155-1 is not prime. Res64: 11A77B94C8A31AFB Time : 0.0 sec. user=mdettweiler [2015-11-26 12:48:38] 963*2^1416155-1 is not prime. Res64: 7D633F4C68EC55FF Time : 0.0 sec. user=mdettweiler [2015-11-26 12:48:38] 823*2^1416155-1 is not prime. Res64: 9191A62B4295C22B Time : 0.0 sec. user=mdettweiler [2015-11-26 12:48:38] 981*2^1416155-1 is not prime. Res64: 66CEAF518F7FE3EC Time : 0.0 sec. user=mdettweiler [2015-11-26 12:48:38] 871*2^1416155-1 is not prime. Res64: 61F54BC451130B39 Time : 0.0 sec. user=mdettweiler [2015-11-26 12:57:43] 623*2^1416156-1 is not prime. Res64: 6A4074566A76EAB6 Time : 0.0 sec. user=mdettweiler [2015-11-26 12:57:43] 629*2^1416156-1 is not prime. Res64: 3A218BD19F26B5DA Time : 0.0 sec. user=mdettweiler [2015-11-26 13:06:19] 867*2^1416156-1 is not prime. Res64: 8B29555D3AEC8EA0 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:06:20] 707*2^1416156-1 is not prime. Res64: D7A90185C15CCC7E Time : 0.0 sec. user=mdettweiler [2015-11-26 13:06:21] 927*2^1416156-1 is not prime. Res64: 1E87442986A497C6 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:06:22] 723*2^1416156-1 is not prime. Res64: CDD4DDD417108AB7 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:15:39] 609*2^1416157-1 is not prime. Res64: BD13B95356464A0E Time : 0.0 sec. user=mdettweiler [2015-11-26 13:15:40] 621*2^1416157-1 is not prime. Res64: 61FDD6A3059ADA3F Time : 0.0 sec. user=mdettweiler [2015-11-26 13:24:15] 625*2^1416157-1 is not prime. Res64: B1A586C00170BC02 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:24:16] 859*2^1416157-1 is not prime. Res64: 1CF1FF10CCA408A8 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:24:16] 801*2^1416157-1 is not prime. Res64: 4ED1F6B92FA2A0BB Time : 0.0 sec. user=mdettweiler [2015-11-26 13:24:16] 895*2^1416157-1 is not prime. Res64: 78D84221589C8659 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:33:14] 945*2^1416157-1 is not prime. Res64: CDF0D3BC6ABACC41 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:33:14] 641*2^1416158-1 is not prime. Res64: 2F4199C0D3071D4B Time : 0.0 sec. user=mdettweiler [2015-11-26 13:41:51] 677*2^1416158-1 is not prime. Res64: 65FE5066C3494BE7 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:41:51] 693*2^1416158-1 is not prime. Res64: 77CC201CB6C41D72 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:41:52] 773*2^1416158-1 is not prime. Res64: 0C14182FEA247DEB Time : 0.0 sec. user=mdettweiler [2015-11-26 13:41:52] 885*2^1416158-1 is not prime. Res64: 8AD4B5E0C260A1DD Time : 0.0 sec. user=mdettweiler [2015-11-26 13:50:49] 897*2^1416158-1 is not prime. Res64: 49E48F47C25A87F8 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:50:50] 977*2^1416158-1 is not prime. Res64: 64491E9F4ED834E9 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:59:25] 913*2^1416159-1 is not prime. Res64: 560F6DA4B646D61E Time : 0.0 sec. user=mdettweiler [2015-11-26 13:59:26] 991*2^1416159-1 is not prime. Res64: 2C7FDE4846EC99EF Time : 0.0 sec. user=mdettweiler [2015-11-26 13:59:26] 705*2^1416159-1 is not prime. Res64: 0E1C2F58BA8ACCB5 Time : 0.0 sec. user=mdettweiler [2015-11-26 13:59:27] 885*2^1416159-1 is not prime. Res64: 11825FE1BC4FB237 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:08:24] 609*2^1416160-1 is not prime. Res64: A907DC3B20DFBA6E Time : 0.0 sec. user=mdettweiler [2015-11-26 14:08:26] 623*2^1416160-1 is not prime. Res64: 72584D0F900C5AB2 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:16:59] 929*2^1416160-1 is not prime. Res64: 0A6FB51E7D0AD539 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:17:00] 999*2^1416160-1 is not prime. Res64: 33BAE42D332C3D56 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:17:03] 729*2^1416160-1 is not prime. Res64: 8248DB87AB16143A Time : 0.0 sec. user=mdettweiler [2015-11-26 14:17:04] 759*2^1416160-1 is not prime. Res64: E551FCFEB1860CB6 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:26:18] 705*2^1416161-1 is not prime. Res64: 42F8442B54978269 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:26:19] 805*2^1416161-1 is not prime. Res64: B5AD27C47A2AF873 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:34:34] 855*2^1416161-1 is not prime. Res64: 913FF9C0BD0AB36E Time : 0.0 sec. user=mdettweiler [2015-11-26 14:34:35] 861*2^1416161-1 is not prime. Res64: C8F95A48824DB6F5 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:34:37] 717*2^1416162-1 is not prime. Res64: 667018ED4F75E86D Time : 0.0 sec. user=mdettweiler [2015-11-26 14:34:37] 765*2^1416162-1 is not prime. Res64: E3E0BF0999A45245 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:43:53] 791*2^1416162-1 is not prime. Res64: 7FD490AFD4754775 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:43:53] 807*2^1416162-1 is not prime. Res64: 3B2799CF40450993 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:52:09] 825*2^1416162-1 is not prime. Res64: 9AC1C72DE9694C23 Time : 0.0 sec. user=mdettweiler [2015-11-26 14:52:09] 837*2^1416162-1 is not prime. Res64: 1D499EE048D8CE9E Time : 0.0 sec. user=mdettweiler [2015-11-26 14:52:11] 923*2^1416162-1 is not prime. Res64: 2205EB92F1C54A0B Time : 0.0 sec. user=mdettweiler [2015-11-26 14:52:11] 705*2^1416163-1 is not prime. Res64: C5CACF894B0B5AD2 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:01:30] 813*2^1416163-1 is not prime. Res64: AAA561CBB3B34F03 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:01:31] 855*2^1416163-1 is not prime. Res64: 70EA96205CA6CD88 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:09:45] 871*2^1416163-1 is not prime. Res64: 8A20D0916BD64683 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:09:46] 885*2^1416163-1 is not prime. Res64: FF207CB2DE55DD89 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:09:48] 725*2^1416164-1 is not prime. Res64: 731DF1804868A910 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:09:48] 759*2^1416164-1 is not prime. Res64: 9AF941F8789614DE Time : 0.0 sec. user=mdettweiler [2015-11-26 15:19:21] 915*2^1416164-1 is not prime. Res64: 4CD84FDBB01FA761 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:19:21] 983*2^1416164-1 is not prime. Res64: 9A6A28BF03FAC0EB Time : 0.0 sec. user=mdettweiler [2015-11-26 15:27:33] 741*2^1416165-1 is not prime. Res64: F56E96D1C3119B2D Time : 0.0 sec. user=mdettweiler [2015-11-26 15:27:34] 871*2^1416165-1 is not prime. Res64: 5F764D34FFDEBFCA Time : 0.0 sec. user=mdettweiler [2015-11-26 15:27:34] 975*2^1416165-1 is not prime. Res64: DE51DCE62EB513C1 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:27:35] 647*2^1416166-1 is not prime. Res64: 0016DBA2E61CCFB2 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:36:57] 705*2^1416166-1 is not prime. Res64: 1A826C451698143D Time : 0.0 sec. user=mdettweiler [2015-11-26 15:36:58] 741*2^1416166-1 is not prime. Res64: AE51431B213C7267 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:45:10] 773*2^1416166-1 is not prime. Res64: B147379409F11715 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:45:10] 857*2^1416166-1 is not prime. Res64: 2AE0F9CC334F5105 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:45:11] 843*2^1416166-1 is not prime. Res64: 42CD374BE5233674 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:45:11] 891*2^1416166-1 is not prime. Res64: AB3AD645749DF873 Time : 0.0 sec. user=mdettweiler [2015-11-26 15:54:59] 945*2^1416166-1 is not prime. Res64: AB38B9CF8479CA8E Time : 0.0 sec. user=mdettweiler [2015-11-26 15:55:00] 993*2^1416166-1 is not prime. Res64: 7F7EAB7312146049 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:03:11] 703*2^1416167-1 is not prime. Res64: B9652B1689573E0B Time : 0.0 sec. user=mdettweiler [2015-11-26 16:03:11] 737*2^1416168-1 is not prime. Res64: 4CD791B217364FE9 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:03:13] 765*2^1416168-1 is not prime. Res64: 12EF8BEA4F5B49D7 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:03:14] 669*2^1416168-1 is not prime. Res64: CE10239530384AEA Time : 0.0 sec. user=mdettweiler [2015-11-26 16:12:35] 839*2^1416168-1 is not prime. Res64: CB8CF92828DA65BD Time : 0.0 sec. user=mdettweiler [2015-11-26 16:12:36] 845*2^1416168-1 is not prime. Res64: 9C95D8E44256FB54 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:21:15] 999*2^1416168-1 is not prime. Res64: 2B76849DCE40D310 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:21:16] 885*2^1416169-1 is not prime. Res64: 2EE2F5BF3DAFC3D5 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:21:18] 919*2^1416169-1 is not prime. Res64: E77E3C86D2813623 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:21:18] 987*2^1416169-1 is not prime. Res64: AF2CBFD647B489CD Time : 0.0 sec. user=mdettweiler [2015-11-26 16:30:22] 741*2^1416170-1 is not prime. Res64: 60B00DF7607CFCFA Time : 0.0 sec. user=mdettweiler [2015-11-26 16:30:23] 783*2^1416170-1 is not prime. Res64: 855861937E78E7A6 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:39:14] 801*2^1416170-1 is not prime. Res64: B096739804D70C77 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:39:15] 851*2^1416170-1 is not prime. Res64: 697097547045CD08 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:39:15] 945*2^1416170-1 is not prime. Res64: 2933D1F580F8B991 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:39:16] 711*2^1416171-1 is not prime. Res64: 40276530D6169BB3 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:48:42] 795*2^1416171-1 is not prime. Res64: 0805546674B42551 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:48:42] 823*2^1416171-1 is not prime. Res64: D4C02A24569E42CC Time : 0.0 sec. user=mdettweiler [2015-11-26 16:57:32] 951*2^1416171-1 is not prime. Res64: 79C630B4C8FD7680 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:57:32] 835*2^1416171-1 is not prime. Res64: AEBA9687D3041141 Time : 0.0 sec. user=mdettweiler [2015-11-26 16:57:33] 975*2^1416171-1 is not prime. Res64: D17A23B8B6E325FC Time : 0.0 sec. user=mdettweiler [2015-11-26 16:57:33] 873*2^1416171-1 is not prime. Res64: F6A49CADA583FBDB Time : 0.0 sec. user=mdettweiler [2015-11-26 17:06:46] 687*2^1416172-1 is not prime. Res64: 0E4894E2CC782301 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:06:50] 863*2^1416172-1 is not prime. Res64: 3C69BEF155EA322B Time : 0.0 sec. user=mdettweiler [2015-11-26 17:15:21] 933*2^1416172-1 is not prime. Res64: 847A529C26767B6F Time : 0.0 sec. user=mdettweiler [2015-11-26 17:15:21] 939*2^1416172-1 is not prime. Res64: AB3D18D806EC0650 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:15:26] 887*2^1416172-1 is not prime. Res64: 112C7034BABEFF80 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:15:27] 923*2^1416172-1 is not prime. Res64: 24FD79994A3E583A Time : 0.0 sec. user=mdettweiler [2015-11-26 17:25:11] 615*2^1416173-1 is not prime. Res64: 4D94A36D10B06C12 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:25:11] 721*2^1416173-1 is not prime. Res64: E541AAD76BB29ABE Time : 0.0 sec. user=mdettweiler [2015-11-26 17:33:23] 767*2^1416174-1 is not prime. Res64: F9D154854D2C82D2 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:33:23] 735*2^1416173-1 is not prime. Res64: E79C82A266913F55 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:33:23] 833*2^1416174-1 is not prime. Res64: 5DDA64A233523FC2 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:33:23] 925*2^1416173-1 is not prime. Res64: 7EBA6ED351F00FC7 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:43:11] 887*2^1416174-1 is not prime. Res64: 3718DD6C8890DE67 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:43:11] 893*2^1416174-1 is not prime. Res64: 6EBE0F6B9FE85D2D Time : 0.0 sec. user=mdettweiler [2015-11-26 17:51:23] 903*2^1416174-1 is not prime. Res64: B8BF4EA83CF4184A Time : 0.0 sec. user=mdettweiler [2015-11-26 17:51:23] 947*2^1416174-1 is not prime. Res64: BFE931963346A93D Time : 0.0 sec. user=mdettweiler [2015-11-26 17:51:24] 975*2^1416174-1 is not prime. Res64: 4F3248768BCCC4A8 Time : 0.0 sec. user=mdettweiler [2015-11-26 17:51:24] 645*2^1416175-1 is not prime. Res64: 7E7A2811D21E90F0 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:01:17] 675*2^1416175-1 is not prime. Res64: E9686BE7A7A9B175 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:01:18] 855*2^1416175-1 is not prime. Res64: 8C8A6D46C1CC4C7D Time : 0.0 sec. user=mdettweiler [2015-11-26 18:09:29] 861*2^1416175-1 is not prime. Res64: 2A36BDCA753D20A7 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:09:29] 871*2^1416175-1 is not prime. Res64: E20A90433E67BCD4 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:09:31] 873*2^1416175-1 is not prime. Res64: C7FFB914C37CA9F0 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:09:32] 913*2^1416175-1 is not prime. Res64: AEF08B19B5880375 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:18:58] 767*2^1416176-1 is not prime. Res64: 373F21804542D31F Time : 0.0 sec. user=mdettweiler [2015-11-26 18:18:59] 773*2^1416176-1 is not prime. Res64: B14519FECD608559 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:27:13] 827*2^1416176-1 is not prime. Res64: FC12E92BD178215C Time : 0.0 sec. user=mdettweiler [2015-11-26 18:27:13] 909*2^1416176-1 is not prime. Res64: F9654E0B7E57F51A Time : 0.0 sec. user=mdettweiler [2015-11-26 18:27:14] 935*2^1416176-1 is not prime. Res64: 1889ED288962DB99 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:27:15] 945*2^1416176-1 is not prime. Res64: 1681F2361641F47C Time : 0.0 sec. user=mdettweiler [2015-11-26 18:36:49] 993*2^1416176-1 is not prime. Res64: 1B0CC8C67FECDB90 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:36:50] 609*2^1416177-1 is not prime. Res64: 12CF1E2D7C511E09 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:44:55] 625*2^1416177-1 is not prime. Res64: FF1099903667AF11 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:44:56] 667*2^1416177-1 is not prime. Res64: E891E94564BA31C1 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:44:57] 727*2^1416177-1 is not prime. Res64: 92CCB467586A4EFF Time : 0.0 sec. user=mdettweiler [2015-11-26 18:44:57] 865*2^1416177-1 is not prime. Res64: 4F67FC847A8426EE Time : 0.0 sec. user=mdettweiler [2015-11-26 18:54:27] 915*2^1416177-1 is not prime. Res64: E22AD320D85FA748 Time : 0.0 sec. user=mdettweiler [2015-11-26 18:54:27] 651*2^1416178-1 is not prime. Res64: 155E4A4CFFCBC547 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:02:31] 671*2^1416178-1 is not prime. Res64: 37E61D22469BA5BA Time : 0.0 sec. user=mdettweiler [2015-11-26 19:02:32] 857*2^1416178-1 is not prime. Res64: 9E9E37CDCC7906C2 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:02:33] 987*2^1416178-1 is not prime. Res64: 58B1F131F65EF6B9 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:02:34] 631*2^1416179-1 is not prime. Res64: 41B663E0DE869FE5 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:12:02] 693*2^1416179-1 is not prime. Res64: 79529341F1856000 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:12:03] 741*2^1416179-1 is not prime. Res64: D7D39E8998DA5757 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:20:08] 775*2^1416179-1 is not prime. Res64: 1D95CA5F6F6F15CF Time : 0.0 sec. user=mdettweiler [2015-11-26 19:20:08] 801*2^1416179-1 is not prime. Res64: 9EF06FD8EFE63052 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:20:10] 811*2^1416179-1 is not prime. Res64: F3449B4FE38C16D9 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:20:10] 829*2^1416179-1 is not prime. Res64: 4BF8FB5F8547944B Time : 0.0 sec. user=mdettweiler [2015-11-26 19:29:48] 913*2^1416179-1 is not prime. Res64: 65E2DF169D088E66 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:29:49] 939*2^1416179-1 is not prime. Res64: BB485BF2CEC2FF56 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:37:42] 969*2^1416179-1 is not prime. Res64: BC7481C89C492015 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:37:43] 979*2^1416179-1 is not prime. Res64: B3A8BE17023F0EFE Time : 0.0 sec. user=mdettweiler [2015-11-26 19:37:45] 627*2^1416180-1 is not prime. Res64: 8628CDD284CF1BCA Time : 0.0 sec. user=mdettweiler [2015-11-26 19:37:46] 669*2^1416180-1 is not prime. Res64: 1AE65515134EA052 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:47:25] 695*2^1416180-1 is not prime. Res64: 69119BB8C2637C6A Time : 0.0 sec. user=mdettweiler [2015-11-26 19:47:25] 777*2^1416180-1 is not prime. Res64: 3045ADE838BF00EC Time : 0.0 sec. user=mdettweiler [2015-11-26 19:55:18] 845*2^1416180-1 is not prime. Res64: 9C7F1CF3E41564BE Time : 0.0 sec. user=mdettweiler [2015-11-26 19:55:18] 863*2^1416180-1 is not prime. Res64: 949664BB7470BAB4 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:55:20] 929*2^1416180-1 is not prime. Res64: 8BD32AD3CE3BBC24 Time : 0.0 sec. user=mdettweiler [2015-11-26 19:55:21] 945*2^1416180-1 is not prime. Res64: B5531B1E2E8210BB Time : 0.0 sec. user=mdettweiler [2015-11-26 20:05:03] 645*2^1416181-1 is not prime. Res64: 83888FB734DC56E0 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:05:12] 679*2^1416181-1 is not prime. Res64: ED147FD9EE201E9D Time : 0.0 sec. user=mdettweiler [2015-11-26 20:12:53] 777*2^1416181-1 is not prime. Res64: 105EF3D917CB3B31 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:12:54] 855*2^1416181-1 is not prime. Res64: D53547E9BFC5B0A4 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:12:57] 939*2^1416181-1 is not prime. Res64: E03CDC62EAD97A98 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:12:58] 945*2^1416181-1 is not prime. Res64: FD0754F10F6F5E4E Time : 0.0 sec. user=mdettweiler [2015-11-26 20:23:10] 975*2^1416181-1 is not prime. Res64: 06ED1C157963E75C Time : 0.0 sec. user=mdettweiler [2015-11-26 20:23:11] 979*2^1416181-1 is not prime. Res64: B97F0AA294E3B72E Time : 0.0 sec. user=mdettweiler [2015-11-26 20:30:50] 785*2^1416182-1 is not prime. Res64: F66313AD24E8FBFD Time : 0.0 sec. user=mdettweiler [2015-11-26 20:30:50] 825*2^1416182-1 is not prime. Res64: 7A2259CC7402AD28 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:30:50] 813*2^1416182-1 is not prime. Res64: 1E994A7503914457 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:30:51] 827*2^1416182-1 is not prime. Res64: 240CD96239A3FBEF Time : 0.0 sec. user=mdettweiler [2015-11-26 20:40:46] 941*2^1416182-1 is not prime. Res64: D15E86EE7E7804B9 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:40:47] 649*2^1416183-1 is not prime. Res64: 8FC4BE85C4B39262 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:48:26] 721*2^1416183-1 is not prime. Res64: CF5E295C5ACEE2B8 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:48:26] 949*2^1416183-1 is not prime. Res64: 465935F24C77F5B4 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:48:27] 765*2^1416183-1 is not prime. Res64: 0DCDD39378A44C8A Time : 0.0 sec. user=mdettweiler [2015-11-26 20:48:27] 665*2^1416184-1 is not prime. Res64: D5238B92FBCDBC98 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:58:22] 785*2^1416184-1 is not prime. Res64: 92F1FF134D738B25 Time : 0.0 sec. user=mdettweiler [2015-11-26 20:58:22] 899*2^1416184-1 is not prime. Res64: BB3AC3CBF1FA0F53 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:06:02] 729*2^1416185-1 is not prime. Res64: 71043E9A1EB01BDD Time : 0.0 sec. user=mdettweiler [2015-11-26 21:06:02] 959*2^1416184-1 is not prime. Res64: 42985ADC4BA9AF81 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:06:03] 957*2^1416185-1 is not prime. Res64: 6A33F276B64D1E08 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:06:03] 685*2^1416185-1 is not prime. Res64: BABF55165F51A030 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:15:57] 987*2^1416185-1 is not prime. Res64: 195956FBC012E549 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:15:58] 991*2^1416185-1 is not prime. Res64: 96E5C5B8489292BA Time : 0.0 sec. user=mdettweiler [2015-11-26 21:23:45] 777*2^1416186-1 is not prime. Res64: 5CD0A825FF4C5D2E Time : 0.0 sec. user=mdettweiler [2015-11-26 21:23:46] 783*2^1416186-1 is not prime. Res64: C2FFC9AABBCECA2B Time : 0.0 sec. user=mdettweiler [2015-11-26 21:23:46] 815*2^1416186-1 is not prime. Res64: FA279FE37ACAF761 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:23:47] 821*2^1416186-1 is not prime. Res64: 2144EFF0D401D999 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:33:43] 867*2^1416186-1 is not prime. Res64: 53560F3318B288A0 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:33:43] 993*2^1416186-1 is not prime. Res64: BB4C556169B2A535 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:41:28] 603*2^1416187-1 is not prime. Res64: 8619073E65D0A146 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:41:29] 619*2^1416187-1 is not prime. Res64: DE9CD593F02E7DB3 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:41:33] 733*2^1416187-1 is not prime. Res64: 84C5E86B3FD399C6 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:41:33] 741*2^1416187-1 is not prime. Res64: 94730CAFE49A28B2 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:51:18] 775*2^1416187-1 is not prime. Res64: 98C40123C76415F2 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:51:19] 805*2^1416187-1 is not prime. Res64: 73CA69EF93042597 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:59:09] 813*2^1416187-1 is not prime. Res64: 7E8F9F5FAA4E878B Time : 0.0 sec. user=mdettweiler [2015-11-26 21:59:09] 909*2^1416187-1 is not prime. Res64: 714F6D89CE0B0718 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:59:13] 951*2^1416187-1 is not prime. Res64: 8408B2AEE9E61A81 Time : 0.0 sec. user=mdettweiler [2015-11-26 21:59:13] 617*2^1416188-1 is not prime. Res64: 748423871BE67FBC Time : 0.0 sec. user=mdettweiler [2015-11-26 22:09:02] 677*2^1416188-1 is not prime. Res64: 845D58DE05268772 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:09:03] 699*2^1416188-1 is not prime. Res64: 7C5EEF139B4F0BA3 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:16:53] 813*2^1416188-1 is not prime. Res64: AE13EA4718DFB50D Time : 0.0 sec. user=mdettweiler [2015-11-26 22:16:53] 987*2^1416188-1 is not prime. Res64: 61ECB4A8BF13F4EF Time : 0.0 sec. user=mdettweiler [2015-11-26 22:16:56] 667*2^1416189-1 is not prime. Res64: 6BEA5C4C14CBE6FE Time : 0.0 sec. user=mdettweiler [2015-11-26 22:16:57] 741*2^1416189-1 is not prime. Res64: 58A679B0C58688EA Time : 0.0 sec. user=mdettweiler [2015-11-26 22:26:52] 921*2^1416189-1 is not prime. Res64: 749FF54B179C76B1 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:26:52] 955*2^1416189-1 is not prime. Res64: 48F7F3D82B2CB599 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:34:36] 611*2^1416190-1 is not prime. Res64: 3909C3BD45584C7F Time : 0.0 sec. user=mdettweiler [2015-11-26 22:34:36] 695*2^1416190-1 is not prime. Res64: 3737532FB5E2ADC5 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:34:39] 831*2^1416190-1 is not prime. Res64: 448CB7252A221D3E Time : 0.0 sec. user=mdettweiler [2015-11-26 22:34:39] 843*2^1416190-1 is not prime. Res64: 9C2E626365321C50 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:44:40] 951*2^1416190-1 is not prime. Res64: 02C8F925E2B27358 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:44:41] 965*2^1416190-1 is not prime. Res64: E59EEC136828ED2B Time : 0.0 sec. user=mdettweiler [2015-11-26 22:52:21] 609*2^1416191-1 is not prime. Res64: E82B44904BE65495 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:52:21] 669*2^1416191-1 is not prime. Res64: 32102C6BD9A41560 Time : 0.0 sec. user=mdettweiler [2015-11-26 22:52:25] 703*2^1416191-1 is not prime. Res64: 0BD8DBA07607FE5B Time : 0.0 sec. user=mdettweiler [2015-11-26 22:52:25] 823*2^1416191-1 is not prime. Res64: A491BB8D2E95452A Time : 0.0 sec. user=mdettweiler [2015-11-26 23:02:29] 969*2^1416191-1 is not prime. Res64: 55A97358A6B72D80 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:02:30] 979*2^1416191-1 is not prime. Res64: 563D8F7ADBA8FF81 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:10:11] 981*2^1416191-1 is not prime. Res64: 38FD15FA1A14567A Time : 0.0 sec. user=mdettweiler [2015-11-26 23:10:12] 627*2^1416192-1 is not prime. Res64: 93A761CDA23BEC52 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:10:15] 669*2^1416192-1 is not prime. Res64: 859665685804DA6C Time : 0.0 sec. user=mdettweiler [2015-11-26 23:10:17] 693*2^1416192-1 is not prime. Res64: E437E8FF6A8E0E50 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:20:34] 875*2^1416192-1 is not prime. Res64: 463A91EA7616D91A Time : 0.0 sec. user=mdettweiler [2015-11-26 23:20:35] 651*2^1416193-1 is not prime. Res64: A23C191D24498937 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:28:13] 861*2^1416193-1 is not prime. Res64: F2B5BA04720A8596 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:28:13] 685*2^1416193-1 is not prime. Res64: 88E608611E5F9E65 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:28:13] 955*2^1416193-1 is not prime. Res64: D0A5CC6A26EB125B Time : 0.0 sec. user=mdettweiler [2015-11-26 23:28:13] 765*2^1416193-1 is not prime. Res64: C8EB0B333A879B5A Time : 0.0 sec. user=mdettweiler [2015-11-26 23:38:27] 615*2^1416194-1 is not prime. Res64: C3D5FCF3A70833DB Time : 0.0 sec. user=mdettweiler [2015-11-26 23:38:28] 743*2^1416194-1 is not prime. Res64: AEF65F8DF50157BC Time : 0.0 sec. user=mdettweiler [2015-11-26 23:46:09] 837*2^1416194-1 is not prime. Res64: 5B1FCE6A92FE1ACB Time : 0.0 sec. user=mdettweiler [2015-11-26 23:46:09] 857*2^1416194-1 is not prime. Res64: 7B4BA644A88A3B21 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:46:10] 753*2^1416194-1 is not prime. Res64: B9F31C1BE5DC489E Time : 0.0 sec. user=mdettweiler [2015-11-26 23:46:10] 797*2^1416194-1 is not prime. Res64: A42E8B98A6DB7291 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:56:22] 875*2^1416194-1 is not prime. Res64: 26A0734535E9C319 Time : 0.0 sec. user=mdettweiler [2015-11-26 23:56:23] 921*2^1416194-1 is not prime. Res64: 339DFB3530FC0536 Time : 0.0 sec.