user=mdettweiler [2016-07-20 00:09:04] 653*2^1435686-1 is not prime. Res64: 2E9DDEB2FBC8C972 Time : 0.0 sec. user=mdettweiler [2016-07-20 00:09:05] 765*2^1435686-1 is not prime. Res64: 5E60C5D27D3A26BE Time : 0.0 sec. user=mdettweiler [2016-07-20 00:09:07] 867*2^1435686-1 is not prime. Res64: DD9EB51C93B0C9BA Time : 0.0 sec. user=mdettweiler [2016-07-20 00:09:08] 875*2^1435686-1 is not prime. Res64: 582D147ABDF4364E Time : 0.0 sec. user=mdettweiler [2016-07-20 00:09:10] 893*2^1435686-1 is not prime. Res64: A43EAC9ABAE3399A Time : 0.0 sec. user=mdettweiler [2016-07-20 00:41:46] 971*2^1435686-1 is not prime. Res64: 814D9AB7B67D832D Time : 0.0 sec. user=mdettweiler [2016-07-20 00:41:48] 975*2^1435686-1 is not prime. Res64: 138F851562F134D5 Time : 0.0 sec. user=mdettweiler [2016-07-20 00:41:50] 1001*2^1435686-1 is not prime. Res64: A4DE174B44A79F2C Time : 0.0 sec. user=mdettweiler [2016-07-20 00:41:52] 601*2^1435687-1 is not prime. Res64: 89BFEA09AB14ABE7 Time : 0.0 sec. user=mdettweiler [2016-07-20 00:41:54] 663*2^1435687-1 is not prime. Res64: 035F7127CC90BB7F Time : 0.0 sec. user=mdettweiler [2016-07-20 00:43:33] 729*2^1435687-1 is not prime. Res64: 35A9E0CCD973630E Time : 0.0 sec. user=mdettweiler [2016-07-20 00:43:35] 841*2^1435687-1 is not prime. Res64: FAA8CC77199C02EB Time : 0.0 sec. user=mdettweiler [2016-07-20 00:43:37] 993*2^1435687-1 is not prime. Res64: 78181DCD299FF806 Time : 0.0 sec. user=mdettweiler [2016-07-20 00:43:39] 603*2^1435688-1 is not prime. Res64: D97E402B3012618A Time : 0.0 sec. user=mdettweiler [2016-07-20 00:43:42] 615*2^1435688-1 is not prime. Res64: E2934DABACC259D8 Time : 0.0 sec. user=mdettweiler [2016-07-20 00:53:27] 623*2^1435688-1 is not prime. Res64: BAA58ADF4664699D Time : 0.0 sec. user=mdettweiler [2016-07-20 00:53:28] 629*2^1435688-1 is not prime. Res64: 48689D84D690C1FD Time : 0.0 sec. user=mdettweiler [2016-07-20 00:53:28] 657*2^1435688-1 is not prime. Res64: 757D3723A4435DA2 Time : 0.0 sec. user=mdettweiler [2016-07-20 00:53:28] 813*2^1435688-1 is not prime. Res64: 21ECFEDD5F9824D4 Time : 0.0 sec. user=mdettweiler [2016-07-20 00:53:29] 963*2^1435688-1 is not prime. Res64: 62DF3FE1367D66A6 Time : 0.0 sec. user=mdettweiler [2016-07-20 01:26:02] 675*2^1435689-1 is not prime. Res64: 4925946AE95E043F Time : 0.0 sec. user=mdettweiler [2016-07-20 01:26:04] 681*2^1435689-1 is not prime. Res64: 181626D333923B26 Time : 0.0 sec. user=mdettweiler [2016-07-20 01:26:05] 745*2^1435689-1 is not prime. Res64: 9E53C9D0C87F51BC Time : 0.0 sec. user=mdettweiler [2016-07-20 01:26:06] 747*2^1435689-1 is not prime. Res64: 8048595A0E2DC480 Time : 0.0 sec. user=mdettweiler [2016-07-20 01:26:07] 889*2^1435689-1 is not prime. Res64: C7F9C7081F30E1A5 Time : 0.0 sec. user=mdettweiler [2016-07-20 01:27:53] 909*2^1435689-1 is not prime. Res64: 292C812AF4053784 Time : 0.0 sec. user=mdettweiler [2016-07-20 01:27:54] 945*2^1435689-1 is not prime. Res64: 97D9AB85D72BCF22 Time : 0.0 sec. user=mdettweiler [2016-07-20 01:27:55] 979*2^1435689-1 is not prime. Res64: E3FB6D8DD1146B3D Time : 0.0 sec. user=mdettweiler [2016-07-20 01:27:55] 665*2^1435690-1 is not prime. Res64: 983714C0809AA75F Time : 0.0 sec. user=mdettweiler [2016-07-20 01:27:56] 671*2^1435690-1 is not prime. Res64: 8E290B7C4CE88ACD Time : 0.0 sec. user=mdettweiler [2016-07-20 01:37:44] 707*2^1435690-1 is not prime. Res64: B1C88701F21A51FD Time : 0.0 sec. user=mdettweiler [2016-07-20 01:37:45] 713*2^1435690-1 is not prime. Res64: 3B60E5E73DE56C1C Time : 0.0 sec. user=mdettweiler [2016-07-20 01:37:45] 803*2^1435690-1 is not prime. Res64: 33CCA48BF89593F3 Time : 0.0 sec. user=mdettweiler [2016-07-20 01:37:46] 873*2^1435690-1 is not prime. Res64: 5AD9B99CFDF4DFA7 Time : 0.0 sec. user=mdettweiler [2016-07-20 01:37:46] 693*2^1435691-1 is not prime. Res64: C48C2392FBFDFEF7 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:10:43] 775*2^1435691-1 is not prime. Res64: 2BA331E6AF6ECAA2 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:10:44] 783*2^1435691-1 is not prime. Res64: 155CB634CB239D53 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:10:45] 825*2^1435691-1 is not prime. Res64: FB3604DD57B483E0 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:10:46] 939*2^1435691-1 is not prime. Res64: 80DA06564A73D7C3 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:10:46] 695*2^1435692-1 is not prime. Res64: AC2DE5E06E90E601 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:12:24] 765*2^1435692-1 is not prime. Res64: 43964EAC8276C024 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:12:24] 825*2^1435692-1 is not prime. Res64: 0B4113A68527E5E6 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:12:25] 863*2^1435692-1 is not prime. Res64: DC481867E0119EEE Time : 0.0 sec. user=mdettweiler [2016-07-20 02:12:25] 909*2^1435692-1 is not prime. Res64: E6B3B2715ABA88D0 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:12:25] 615*2^1435693-1 is not prime. Res64: AE6E0C37A6CC46F4 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:22:02] 691*2^1435693-1 is not prime. Res64: 5A07D3BC0DB3061C Time : 0.0 sec. user=mdettweiler [2016-07-20 02:22:05] 751*2^1435693-1 is not prime. Res64: 26AE72521ECD8929 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:22:08] 801*2^1435693-1 is not prime. Res64: EF1EC5595B40F24D Time : 0.0 sec. user=mdettweiler [2016-07-20 02:22:11] 937*2^1435693-1 is not prime. Res64: B59D8C9723126087 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:22:12] 961*2^1435693-1 is not prime. Res64: 6D4C9EB456B4EB91 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:54:54] 657*2^1435694-1 is not prime. Res64: CF0BC4F54B052C58 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:54:58] 773*2^1435694-1 is not prime. Res64: 9EE3501F8F7811DC Time : 0.0 sec. user=mdettweiler [2016-07-20 02:55:01] 827*2^1435694-1 is not prime. Res64: 7558EC2098AAE768 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:55:04] 873*2^1435694-1 is not prime. Res64: 77AF6A4E0C7F45C0 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:55:06] 917*2^1435694-1 is not prime. Res64: BF409357C65E8E94 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:56:28] 945*2^1435694-1 is not prime. Res64: 37BDAD7FFA93E573 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:56:28] 663*2^1435695-1 is not prime. Res64: 1EB457BB21C8C0C9 Time : 0.0 sec. user=mdettweiler [2016-07-20 02:56:28] 705*2^1435695-1 is not prime. Res64: 51282496A2D9037C Time : 0.0 sec. user=mdettweiler [2016-07-20 02:56:29] 765*2^1435695-1 is not prime. Res64: F75F9E70055CBCBB Time : 0.0 sec. user=mdettweiler [2016-07-20 02:56:29] 793*2^1435695-1 is not prime. Res64: 49CFF4BF1D04C624 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:06:17] 871*2^1435695-1 is not prime. Res64: 403C5C94AE2A2466 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:06:18] 629*2^1435696-1 is not prime. Res64: 38EBF65252DC1833 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:06:18] 645*2^1435696-1 is not prime. Res64: B1DBA94F36B2FFA9 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:06:18] 689*2^1435696-1 is not prime. Res64: B3BEFD3F86A64E60 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:06:19] 735*2^1435696-1 is not prime. Res64: A294AFC77BBC7E16 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:39:16] 839*2^1435696-1 is not prime. Res64: E95D94789647654D Time : 0.0 sec. user=mdettweiler [2016-07-20 03:39:17] 843*2^1435696-1 is not prime. Res64: 66C7355F0F1B167F Time : 0.0 sec. user=mdettweiler [2016-07-20 03:39:18] 845*2^1435696-1 is not prime. Res64: 7D99018F6E607EC0 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:39:19] 831*2^1435697-1 is not prime. Res64: 003A978257A798C0 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:39:20] 909*2^1435697-1 is not prime. Res64: 81C4D84074E217F4 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:40:38] 937*2^1435697-1 is not prime. Res64: 52BABF479524C990 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:40:39] 949*2^1435697-1 is not prime. Res64: 81739795CFFAB5D8 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:40:39] 635*2^1435698-1 is not prime. Res64: 92C8A8274B4B0802 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:40:40] 663*2^1435698-1 is not prime. Res64: C49A8912571C77F1 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:40:41] 755*2^1435698-1 is not prime. Res64: 2C1941816C2ABDBF Time : 0.0 sec. user=mdettweiler [2016-07-20 03:50:23] 791*2^1435698-1 is not prime. Res64: 00F587425FA4B79E Time : 0.0 sec. user=mdettweiler [2016-07-20 03:50:26] 803*2^1435698-1 is not prime. Res64: EA9F02518F82E4C5 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:50:27] 843*2^1435698-1 is not prime. Res64: B630A48CAA0C3C36 Time : 0.0 sec. user=mdettweiler [2016-07-20 03:50:29] 649*2^1435699-1 is not prime. Res64: CCAD9CDAB078645C Time : 0.0 sec. user=mdettweiler [2016-07-20 03:50:31] 735*2^1435699-1 is not prime. Res64: 7E40BE999F0C2AF1 Time : 0.0 sec. user=mdettweiler [2016-07-20 04:23:32] 889*2^1435699-1 is not prime. Res64: 358087C19E51FD9B Time : 0.0 sec. user=mdettweiler [2016-07-20 04:23:32] 895*2^1435699-1 is not prime. Res64: 868E03F9AE67B280 Time : 0.0 sec. user=mdettweiler [2016-07-20 04:23:33] 985*2^1435699-1 is not prime. Res64: 18DA28D87B57076E Time : 0.0 sec. user=mdettweiler [2016-07-20 04:23:33] 677*2^1435700-1 is not prime. Res64: 36D43A4C775DF2AF Time : 0.0 sec. user=mdettweiler [2016-07-20 04:23:33] 743*2^1435700-1 is not prime. Res64: CB25C8E5FCEC4D94 Time : 0.0 sec. user=mdettweiler [2016-07-20 04:24:45] 797*2^1435700-1 is not prime. Res64: 40CE4B9D8BE6ABDD Time : 0.0 sec. user=mdettweiler [2016-07-20 04:24:45] 909*2^1435700-1 is not prime. Res64: 5D619B0A6A63C755 Time : 0.0 sec. user=mdettweiler [2016-07-20 04:24:45] 959*2^1435700-1 is not prime. Res64: 1390579F8AA17310 Time : 0.0 sec. user=mdettweiler [2016-07-20 04:24:46] 607*2^1435701-1 is not prime. Res64: E382A8DD23DA5C8A Time : 0.0 sec. user=mdettweiler [2016-07-20 04:24:46] 811*2^1435701-1 is not prime. Res64: D0AC56C6ABC997B6 Time : 0.0 sec. user=mdettweiler [2016-07-20 04:34:54] 847*2^1435701-1 is not prime. Res64: 325E00F762DB475B Time : 0.0 sec. user=mdettweiler [2016-07-20 04:34:55] 889*2^1435701-1 is not prime. Res64: 7F6F0287186DD581 Time : 0.0 sec. user=mdettweiler [2016-07-20 04:34:55] 617*2^1435702-1 is not prime. Res64: 412DB88B3AF6FC50 Time : 0.0 sec. user=mdettweiler [2016-07-20 04:34:56] 623*2^1435702-1 is not prime. Res64: 2232D8A7E832718B Time : 0.0 sec. user=mdettweiler [2016-07-20 04:34:56] 731*2^1435702-1 is not prime. Res64: E4F026253E684F6B Time : 0.0 sec. user=mdettweiler [2016-07-20 05:07:37] 761*2^1435702-1 is not prime. Res64: DFB8FA561618CA02 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:07:40] 827*2^1435702-1 is not prime. Res64: 8CFF90B1D0EB14F1 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:07:42] 855*2^1435702-1 is not prime. Res64: ED3F2B72E8DE3360 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:07:43] 897*2^1435702-1 is not prime. Res64: 1BED644A5081D2EA Time : 0.0 sec. user=mdettweiler [2016-07-20 05:07:44] 917*2^1435702-1 is not prime. Res64: 2C294313CFC08B8C Time : 0.0 sec. user=mdettweiler [2016-07-20 05:08:50] 621*2^1435703-1 is not prime. Res64: 6D689AD745BB297C Time : 0.0 sec. user=mdettweiler [2016-07-20 05:08:51] 661*2^1435703-1 is not prime. Res64: 97FCA94421CC6705 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:08:51] 753*2^1435703-1 is not prime. Res64: 74E77185DC9BEB51 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:08:51] 775*2^1435703-1 is not prime. Res64: 7EE397408E23A458 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:08:52] 855*2^1435703-1 is not prime. Res64: FE11BA4D789F8222 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:18:58] 981*2^1435703-1 is not prime. Res64: 7A3A722EF52505A1 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:18:58] 627*2^1435704-1 is not prime. Res64: 968778D2157210DE Time : 0.0 sec. user=mdettweiler [2016-07-20 05:18:58] 747*2^1435704-1 is not prime. Res64: D5D1EEAE1E46365D Time : 0.0 sec. user=mdettweiler [2016-07-20 05:18:59] 849*2^1435704-1 is not prime. Res64: 8F877E36C3201D23 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:18:59] 857*2^1435704-1 is not prime. Res64: AC12A50A9E5D2405 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:51:58] 899*2^1435704-1 is not prime. Res64: 595179E190D3AFFB Time : 0.0 sec. user=mdettweiler [2016-07-20 05:51:58] 983*2^1435704-1 is not prime. Res64: 2425B765D53E954B Time : 0.0 sec. user=mdettweiler [2016-07-20 05:51:59] 651*2^1435705-1 is not prime. Res64: BDE232706AE98738 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:51:59] 685*2^1435705-1 is not prime. Res64: 60CA72D815A75949 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:52:00] 705*2^1435705-1 is not prime. Res64: 490DE5946CC5AFF2 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:52:57] 765*2^1435705-1 is not prime. Res64: 0A92F46FB2BA705E Time : 0.0 sec. user=mdettweiler [2016-07-20 05:52:58] 789*2^1435705-1 is not prime. Res64: 2B3E24E103137447 Time : 0.0 sec. user=mdettweiler [2016-07-20 05:52:58] 799*2^1435705-1 is not prime. Res64: 97D27028ED2C41DE Time : 0.0 sec. user=mdettweiler [2016-07-20 05:52:59] 831*2^1435705-1 is not prime. Res64: DC0FB18E516D02CE Time : 0.0 sec. user=mdettweiler [2016-07-20 05:52:59] 847*2^1435705-1 is not prime. Res64: 4B5B77D36CA079DB Time : 0.0 sec. user=mdettweiler [2016-07-20 06:03:10] 877*2^1435705-1 is not prime. Res64: 1319A1725E7C0E2B Time : 0.0 sec. user=mdettweiler [2016-07-20 06:03:11] 937*2^1435705-1 is not prime. Res64: 51C7BD35853FE8C9 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:03:12] 997*2^1435705-1 is not prime. Res64: 181A81EBEFA4A213 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:03:13] 773*2^1435706-1 is not prime. Res64: EED38A08AA7CA9BE Time : 0.0 sec. user=mdettweiler [2016-07-20 06:03:14] 783*2^1435706-1 is not prime. Res64: 4E6913AA534AF95B Time : 0.0 sec. user=mdettweiler [2016-07-20 06:36:06] 971*2^1435706-1 is not prime. Res64: 62B67038ADA76194 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:36:06] 983*2^1435706-1 is not prime. Res64: EB30EA427D153965 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:36:07] 1001*2^1435706-1 is not prime. Res64: 97FBF12D1537A23D Time : 0.0 sec. user=mdettweiler [2016-07-20 06:36:07] 639*2^1435707-1 is not prime. Res64: B10A7B7A5B3C91D9 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:36:07] 739*2^1435707-1 is not prime. Res64: F41152F0A76625CD Time : 0.0 sec. user=mdettweiler [2016-07-20 06:37:10] 765*2^1435707-1 is not prime. Res64: 3BC35D0E7F71E9DA Time : 0.0 sec. user=mdettweiler [2016-07-20 06:37:10] 891*2^1435707-1 is not prime. Res64: E7526686ECA29932 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:37:11] 961*2^1435707-1 is not prime. Res64: 2E384A0A108CD001 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:37:11] 635*2^1435708-1 is not prime. Res64: 644F4A3CA42C8528 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:37:12] 783*2^1435708-1 is not prime. Res64: 8F8E067FA10797C6 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:47:35] 957*2^1435708-1 is not prime. Res64: 064FED9AE4900E81 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:47:35] 799*2^1435709-1 is not prime. Res64: 700ECC37A9F30436 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:47:35] 819*2^1435709-1 is not prime. Res64: 9FA7139AE99E6D62 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:47:36] 847*2^1435709-1 is not prime. Res64: 6143315BC2187948 Time : 0.0 sec. user=mdettweiler [2016-07-20 06:47:36] 897*2^1435709-1 is not prime. Res64: DCD29CA1433DB497 Time : 0.0 sec. user=mdettweiler [2016-07-20 07:20:11] 955*2^1435709-1 is not prime. Res64: 44D187844AB77343 Time : 0.0 sec. user=mdettweiler [2016-07-20 07:20:12] 783*2^1435710-1 is not prime. Res64: A9233E5E15F010A1 Time : 0.0 sec. user=mdettweiler [2016-07-20 07:20:12] 791*2^1435710-1 is not prime. Res64: 4A1D61BF5BC0379A Time : 0.0 sec. user=mdettweiler [2016-07-20 07:20:12] 795*2^1435710-1 is not prime. Res64: 4DF6A093A6413A52 Time : 0.0 sec. user=mdettweiler [2016-07-20 07:20:13] 845*2^1435710-1 is not prime. Res64: 045116E3F43321CE Time : 0.0 sec. user=mdettweiler [2016-07-20 07:21:16] 861*2^1435710-1 is not prime. Res64: 849BC7295CB3080C Time : 0.0 sec. user=mdettweiler [2016-07-20 07:21:16] 885*2^1435710-1 is not prime. Res64: C8D6519D2EA777A2 Time : 0.0 sec. user=mdettweiler [2016-07-20 07:21:17] 927*2^1435710-1 is not prime. Res64: A8B30FB875503308 Time : 0.0 sec. user=mdettweiler [2016-07-20 07:21:17] 933*2^1435710-1 is not prime. Res64: B58C59B422A62015 Time : 0.0 sec. user=mdettweiler [2016-07-20 07:21:17] 945*2^1435710-1 is not prime. Res64: B957778A635465F6 Time : 0.0 sec. user=mdettweiler [2016-07-20 07:31:40] 645*2^1435711-1 is not prime. Res64: C3E30DC4D4EC384B Time : 0.0 sec. user=mdettweiler [2016-07-20 07:31:40] 675*2^1435711-1 is not prime. Res64: 28A10C0CF934F6AE Time : 0.0 sec. user=mdettweiler [2016-07-20 07:31:41] 769*2^1435711-1 is not prime. Res64: 8C1061AA1F30B2FB Time : 0.0 sec. user=mdettweiler [2016-07-20 07:31:41] 901*2^1435711-1 is not prime. Res64: 092B2FEFADF17E3B Time : 0.0 sec. user=mdettweiler [2016-07-20 07:31:41] 687*2^1435712-1 is not prime. Res64: 051FD62BF33C6322 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:04:23] 699*2^1435712-1 is not prime. Res64: A15667ECFFAE7FFC Time : 0.0 sec. user=mdettweiler [2016-07-20 08:04:24] 803*2^1435712-1 is not prime. Res64: 6A25620E4B4E9E85 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:04:25] 815*2^1435712-1 is not prime. Res64: AC47242A210FE9F9 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:04:26] 873*2^1435712-1 is not prime. Res64: A38C274A27670FCD Time : 0.0 sec. user=mdettweiler [2016-07-20 08:04:28] 977*2^1435712-1 is not prime. Res64: A14C42F7F59007EA Time : 0.0 sec. user=mdettweiler [2016-07-20 08:05:24] 675*2^1435713-1 is not prime. Res64: D36F9DA7FCACC554 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:05:25] 685*2^1435713-1 is not prime. Res64: E57E683CEE9CB1E9 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:05:26] 705*2^1435713-1 is not prime. Res64: B35F4C54554B05AA Time : 0.0 sec. user=mdettweiler [2016-07-20 08:05:27] 747*2^1435713-1 is not prime. Res64: 7A00E87D95C831EE Time : 0.0 sec. user=mdettweiler [2016-07-20 08:05:27] 835*2^1435713-1 is not prime. Res64: D8B74E54573D1F62 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:15:45] 861*2^1435713-1 is not prime. Res64: 28B1E8543BE70E9B Time : 0.0 sec. user=mdettweiler [2016-07-20 08:15:48] 915*2^1435713-1 is not prime. Res64: DE4BC00EC69CD080 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:15:50] 951*2^1435713-1 is not prime. Res64: CF8BEC55310FB98A Time : 0.0 sec. user=mdettweiler [2016-07-20 08:15:51] 987*2^1435713-1 is not prime. Res64: ACCB67CFB5698EF5 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:15:53] 999*2^1435713-1 is not prime. Res64: 7806B0A6CE0885B0 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:48:41] 617*2^1435714-1 is not prime. Res64: C8AE9448D305C038 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:48:41] 623*2^1435714-1 is not prime. Res64: 19BB5B62CE73A6E1 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:48:42] 663*2^1435714-1 is not prime. Res64: A0DD8FDA64717FC4 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:48:42] 765*2^1435714-1 is not prime. Res64: E6AD13C5994460DF Time : 0.0 sec. user=mdettweiler [2016-07-20 08:48:42] 773*2^1435714-1 is not prime. Res64: E2E2C7F11081ED38 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:49:30] 815*2^1435714-1 is not prime. Res64: F56B2EA9783FD469 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:49:31] 917*2^1435714-1 is not prime. Res64: 89DF79A12580EE10 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:49:31] 601*2^1435715-1 is not prime. Res64: F4F491C5F3041E79 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:49:32] 619*2^1435715-1 is not prime. Res64: 2975398F262BC714 Time : 0.0 sec. user=mdettweiler [2016-07-20 08:49:32] 759*2^1435715-1 is not prime. Res64: CBF37CFCFFE47F18 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:00:10] 969*2^1435715-1 is not prime. Res64: 04B6A7D727A94F46 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:00:10] 653*2^1435716-1 is not prime. Res64: E6AE30FACE632C7E Time : 0.0 sec. user=mdettweiler [2016-07-20 09:00:11] 689*2^1435716-1 is not prime. Res64: 5269567DE8DD7D09 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:00:11] 803*2^1435716-1 is not prime. Res64: 9C92B386544BA882 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:00:12] 927*2^1435716-1 is not prime. Res64: 0EAB8DE0C0B4B693 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:32:49] 609*2^1435717-1 is not prime. Res64: FA74EEE035634028 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:32:50] 615*2^1435717-1 is not prime. Res64: 5C2C77EE20CBCC68 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:32:50] 639*2^1435717-1 is not prime. Res64: 4E2D336692FCCDE6 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:32:50] 717*2^1435717-1 is not prime. Res64: 3365B53541A437A5 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:32:51] 777*2^1435717-1 is not prime. Res64: B281412309100E48 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:33:39] 829*2^1435717-1 is not prime. Res64: 6B3DC869AE362B8A Time : 0.0 sec. user=mdettweiler [2016-07-20 09:33:40] 919*2^1435717-1 is not prime. Res64: C485800BDC9BE973 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:33:40] 931*2^1435717-1 is not prime. Res64: 309889DD9A305D9E Time : 0.0 sec. user=mdettweiler [2016-07-20 09:33:41] 605*2^1435718-1 is not prime. Res64: 7C82161E140DEDAE Time : 0.0 sec. user=mdettweiler [2016-07-20 09:33:41] 623*2^1435718-1 is not prime. Res64: 666357C32428618B Time : 0.0 sec. user=mdettweiler [2016-07-20 09:44:31] 635*2^1435718-1 is not prime. Res64: 5052CE122C42A8DF Time : 0.0 sec. user=mdettweiler [2016-07-20 09:44:32] 677*2^1435718-1 is not prime. Res64: F9B3ED841868FDEB Time : 0.0 sec. user=mdettweiler [2016-07-20 09:44:32] 791*2^1435718-1 is not prime. Res64: EC3B00FAF663D7D7 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:44:32] 825*2^1435718-1 is not prime. Res64: D5D6AA187F3EC730 Time : 0.0 sec. user=mdettweiler [2016-07-20 09:44:32] 827*2^1435718-1 is not prime. Res64: 301366972C55966C Time : 0.0 sec. user=mdettweiler [2016-07-20 10:17:53] 831*2^1435718-1 is not prime. Res64: AF0BEDEEBFB16239 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:17:54] 833*2^1435718-1 is not prime. Res64: FCCED597D01C7960 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:17:54] 861*2^1435718-1 is not prime. Res64: 691C580EFA5896F5 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:17:54] 893*2^1435718-1 is not prime. Res64: 4D1CB81BB88989F2 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:17:54] 915*2^1435718-1 is not prime. Res64: E282B6FCE6066A24 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:18:43] 935*2^1435718-1 is not prime. Res64: 1CC35EB3AD337C53 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:18:43] 675*2^1435719-1 is not prime. Res64: 1FB8AD5812D91CCA Time : 0.0 sec. user=mdettweiler [2016-07-20 10:18:43] 703*2^1435719-1 is not prime. Res64: 98BF6509AD7575E9 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:18:43] 735*2^1435719-1 is not prime. Res64: 92FA1B199D43CFD3 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:18:44] 825*2^1435719-1 is not prime. Res64: EA04D22C183115EB Time : 0.0 sec. user=mdettweiler [2016-07-20 10:29:55] 859*2^1435719-1 is not prime. Res64: 6ED00EB1A8DC6A83 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:29:56] 951*2^1435719-1 is not prime. Res64: ED461D6AE30E471F Time : 0.0 sec. user=mdettweiler [2016-07-20 10:29:56] 975*2^1435719-1 is not prime. Res64: 7B4616B32F638C34 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:29:57] 675*2^1435720-1 is not prime. Res64: 2BF5A27011A43091 Time : 0.0 sec. user=mdettweiler [2016-07-20 10:29:58] 695*2^1435720-1 is not prime. Res64: 8B33FEFDBC33B0AB Time : 0.0 sec. user=mdettweiler [2016-07-20 11:03:17] 927*2^1435720-1 is not prime. Res64: 682E0F569D0F191D Time : 0.0 sec. user=mdettweiler [2016-07-20 11:03:18] 939*2^1435720-1 is not prime. Res64: DD1DB8010188B97B Time : 0.0 sec. user=mdettweiler [2016-07-20 11:03:19] 615*2^1435721-1 is not prime. Res64: EDB73FD091E6C41B Time : 0.0 sec. user=mdettweiler [2016-07-20 11:03:20] 697*2^1435721-1 is not prime. Res64: 41EBBE3232DC01A5 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:03:20] 889*2^1435721-1 is not prime. Res64: 0E66E630D73C398C Time : 0.0 sec. user=mdettweiler [2016-07-20 11:04:01] 901*2^1435721-1 is not prime. Res64: C52CDEE2E1BB456C Time : 0.0 sec. user=mdettweiler [2016-07-20 11:04:02] 925*2^1435721-1 is not prime. Res64: 79DDD9F73937C54C Time : 0.0 sec. user=mdettweiler [2016-07-20 11:04:03] 931*2^1435721-1 is not prime. Res64: C7C68072C5D8E3AC Time : 0.0 sec. user=mdettweiler [2016-07-20 11:04:03] 957*2^1435721-1 is not prime. Res64: 39D4812DE77D9851 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:04:04] 967*2^1435721-1 is not prime. Res64: AC96E8D8D2177EDB Time : 0.0 sec. user=mdettweiler [2016-07-20 11:15:04] 633*2^1435722-1 is not prime. Res64: 1BFF599385F8B952 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:15:04] 647*2^1435722-1 is not prime. Res64: 520F39EA441763CC Time : 0.0 sec. user=mdettweiler [2016-07-20 11:15:04] 653*2^1435722-1 is not prime. Res64: 4C769B1A90EF4230 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:15:04] 837*2^1435722-1 is not prime. Res64: 6DF52B46A100F0B5 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:15:05] 891*2^1435722-1 is not prime. Res64: E4C73502329ADECD Time : 0.0 sec. user=mdettweiler [2016-07-20 11:48:31] 921*2^1435722-1 is not prime. Res64: FE978B8A0D79DAB5 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:48:31] 663*2^1435723-1 is not prime. Res64: 4942A1C08362CC95 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:48:31] 679*2^1435723-1 is not prime. Res64: 54C17F5503C14533 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:48:32] 723*2^1435723-1 is not prime. Res64: 8E0B2BE4E7EE22CC Time : 0.0 sec. user=mdettweiler [2016-07-20 11:48:32] 871*2^1435723-1 is not prime. Res64: B918109CF96D9AE3 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:49:12] 951*2^1435723-1 is not prime. Res64: FA4AFC1DE375E6C7 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:49:13] 629*2^1435724-1 is not prime. Res64: E81652E298D1F119 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:49:13] 855*2^1435724-1 is not prime. Res64: 458CDA3DA657E52B Time : 0.0 sec. user=mdettweiler [2016-07-20 11:49:14] 935*2^1435724-1 is not prime. Res64: A484FA25D04E2629 Time : 0.0 sec. user=mdettweiler [2016-07-20 11:49:14] 625*2^1435725-1 is not prime. Res64: D334A54FED25A1CE Time : 0.0 sec. user=juhehe [2016-07-20 11:56:41] 921*2^1435725-1 is not prime. Res64: 4F0B6072AB26CDE0 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:00:09] 649*2^1435725-1 is not prime. Res64: 06534F89DA58F431 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:00:09] 667*2^1435725-1 is not prime. Res64: CB4B2173588243F3 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:00:09] 781*2^1435725-1 is not prime. Res64: E74FC74DE3D34724 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:00:09] 787*2^1435725-1 is not prime. Res64: 7D8E4A22F8DC0557 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:00:14] 861*2^1435725-1 is not prime. Res64: 1677AA01C41AA944 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:33:36] 999*2^1435725-1 is not prime. Res64: 747D1CB948A573A5 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:33:36] 657*2^1435726-1 is not prime. Res64: BCC7833F076D5C4C Time : 0.0 sec. user=mdettweiler [2016-07-20 12:33:37] 663*2^1435726-1 is not prime. Res64: B4D53C418D6C5739 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:33:37] 737*2^1435726-1 is not prime. Res64: 2DA47C35F8B4E739 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:33:37] 633*2^1435727-1 is not prime. Res64: 0254937CC1D8CB6C Time : 0.0 sec. user=mdettweiler [2016-07-20 12:34:17] 643*2^1435727-1 is not prime. Res64: 61EEDFF2FCB32295 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:34:18] 645*2^1435727-1 is not prime. Res64: 5549A3CFFF7971C2 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:34:18] 711*2^1435727-1 is not prime. Res64: B2EA6B5DFE11E553 Time : 0.0 sec. user=mdettweiler [2016-07-20 12:34:18] 825*2^1435727-1 is not prime. Res64: EC5BCAE5F114B55C Time : 0.0 sec. user=mdettweiler [2016-07-20 12:34:19] 879*2^1435727-1 is not prime. Res64: D6DC1BD2EC46C7A3 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:09:45] 735*2^1435728-1 is not prime. Res64: 2DEA787E1BAEF127 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:09:45] 797*2^1435728-1 is not prime. Res64: 4276A2DE509FEFB8 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:09:45] 803*2^1435728-1 is not prime. Res64: AF0E88A5AB0DF0AD Time : 0.0 sec. user=mdettweiler [2016-07-20 13:09:46] 849*2^1435728-1 is not prime. Res64: BF7514E79EFCD7A2 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:09:46] 887*2^1435728-1 is not prime. Res64: 4AF1FDD195B3C76F Time : 0.0 sec. user=mdettweiler [2016-07-20 13:18:48] 615*2^1435729-1 is not prime. Res64: 049E9607388B202B Time : 0.0 sec. user=mdettweiler [2016-07-20 13:18:48] 751*2^1435729-1 is not prime. Res64: CF86BE51FF79A066 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:18:49] 765*2^1435729-1 is not prime. Res64: EE4FAEBBFC025C51 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:18:49] 799*2^1435729-1 is not prime. Res64: EEA88C63DBFDE929 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:18:49] 861*2^1435729-1 is not prime. Res64: E00EB8FED16AAEC3 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:19:26] 665*2^1435730-1 is not prime. Res64: D0BA17ECE144A85F Time : 0.0 sec. user=mdettweiler [2016-07-20 13:19:26] 675*2^1435730-1 is not prime. Res64: 03344EEECB79B87B Time : 0.0 sec. user=mdettweiler [2016-07-20 13:19:26] 755*2^1435730-1 is not prime. Res64: 120F62926E590890 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:19:26] 783*2^1435730-1 is not prime. Res64: A3D1BE7DAF3DD120 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:19:26] 861*2^1435730-1 is not prime. Res64: AFE464507B1DCB50 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:55:39] 893*2^1435730-1 is not prime. Res64: 637B0683440371A3 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:55:40] 995*2^1435730-1 is not prime. Res64: 7502794B7E9B6967 Time : 0.0 sec. user=mdettweiler [2016-07-20 13:55:40] 613*2^1435731-1 is not prime. Res64: 8D06B2F88C43A8CE Time : 0.0 sec. user=mdettweiler [2016-07-20 13:55:40] 619*2^1435731-1 is not prime. Res64: 19BC742EFB9D770A Time : 0.0 sec. user=mdettweiler [2016-07-20 13:55:40] 639*2^1435731-1 is not prime. Res64: B678E9D902E6B6D1 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:04:39] 679*2^1435731-1 is not prime. Res64: DF829742E8D39A96 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:04:40] 753*2^1435731-1 is not prime. Res64: F9C9CE33219B9E6C Time : 0.0 sec. user=mdettweiler [2016-07-20 14:04:41] 871*2^1435731-1 is not prime. Res64: F652B7BA9AA7FBA8 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:04:42] 895*2^1435731-1 is not prime. Res64: 5C4305D33788A3AE Time : 0.0 sec. user=mdettweiler [2016-07-20 14:04:43] 975*2^1435731-1 is not prime. Res64: 43C301A0A3A56305 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:05:14] 979*2^1435731-1 is not prime. Res64: B8C6A27045B1464E Time : 0.0 sec. user=mdettweiler [2016-07-20 14:05:15] 615*2^1435732-1 is not prime. Res64: F0EBF1C128F24763 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:05:15] 623*2^1435732-1 is not prime. Res64: DB5F73BE1036EB38 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:05:16] 657*2^1435732-1 is not prime. Res64: 1F588459B9C5A488 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:05:17] 675*2^1435732-1 is not prime. Res64: 2A01A766BA3C2301 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:40:03] 677*2^1435732-1 is not prime. Res64: FB2EE43B53D315C3 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:40:03] 705*2^1435732-1 is not prime. Res64: 2E83D51748C7D641 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:40:03] 743*2^1435732-1 is not prime. Res64: ED2915BF4AB6F3A7 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:40:04] 765*2^1435732-1 is not prime. Res64: 4D2069F21F2C2A86 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:40:04] 777*2^1435732-1 is not prime. Res64: 88D6C179E5BD1ADC Time : 0.0 sec. user=mdettweiler [2016-07-20 14:48:59] 825*2^1435732-1 is not prime. Res64: C2A1923294C099C8 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:48:59] 975*2^1435732-1 is not prime. Res64: 1D77FFE5812A7B7C Time : 0.0 sec. user=mdettweiler [2016-07-20 14:49:00] 989*2^1435732-1 is not prime. Res64: 3859E012C3F9C9E6 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:49:00] 741*2^1435733-1 is not prime. Res64: C25698B70C881173 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:49:01] 759*2^1435733-1 is not prime. Res64: FAAF8C74B377FEC3 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:49:38] 801*2^1435733-1 is not prime. Res64: 5D497D6A67B8D84C Time : 0.0 sec. user=mdettweiler [2016-07-20 14:49:38] 725*2^1435734-1 is not prime. Res64: 5ABA725017CFC7C1 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:49:39] 755*2^1435734-1 is not prime. Res64: 00214324751B971E Time : 0.0 sec. user=mdettweiler [2016-07-20 14:49:39] 765*2^1435734-1 is not prime. Res64: 66D5133A62B2BE38 Time : 0.0 sec. user=mdettweiler [2016-07-20 14:49:40] 797*2^1435734-1 is not prime. Res64: 1E025CEAFEBBD819 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:24:13] 917*2^1435734-1 is not prime. Res64: FCC7604DC1B42AEB Time : 0.0 sec. user=mdettweiler [2016-07-20 15:24:13] 603*2^1435735-1 is not prime. Res64: 71EE70D52C7AB601 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:24:14] 609*2^1435735-1 is not prime. Res64: F00B3E169BE59E50 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:24:14] 661*2^1435735-1 is not prime. Res64: 28734ECB31261234 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:24:14] 775*2^1435735-1 is not prime. Res64: 85D07EDBA56967B9 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:09] 885*2^1435735-1 is not prime. Res64: 02850DD6D21D034A Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:09] 909*2^1435735-1 is not prime. Res64: 1FE26FA9A0106EBC Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:10] 961*2^1435735-1 is not prime. Res64: 299AF6F216F7A9F8 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:10] 617*2^1435736-1 is not prime. Res64: 9033735AB71039BB Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:11] 867*2^1435736-1 is not prime. Res64: 45E77DE29D7640B2 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:47] 691*2^1435737-1 is not prime. Res64: 322D8321A6507026 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:48] 765*2^1435737-1 is not prime. Res64: E573AE37AFC0CF15 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:48] 861*2^1435737-1 is not prime. Res64: FA29348A907F9AAE Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:49] 895*2^1435737-1 is not prime. Res64: 0D343ECEA5CEA840 Time : 0.0 sec. user=mdettweiler [2016-07-20 15:33:49] 681*2^1435738-1 is not prime. Res64: 0D1CAE27BCE5DE81 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:08:21] 687*2^1435738-1 is not prime. Res64: 5D6345F20E58F195 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:08:22] 707*2^1435738-1 is not prime. Res64: EC07CC8A2DD2F3A2 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:08:22] 737*2^1435738-1 is not prime. Res64: F2490BD16E498DED Time : 0.0 sec. user=mdettweiler [2016-07-20 16:08:23] 755*2^1435738-1 is not prime. Res64: F4183DAED5390DBA Time : 0.0 sec. user=mdettweiler [2016-07-20 16:08:23] 957*2^1435738-1 is not prime. Res64: 26F7A23FF86751BA Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:18] 663*2^1435739-1 is not prime. Res64: 46EA8AC4776ECA0F Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:18] 669*2^1435739-1 is not prime. Res64: 8835976487BBE8FC Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:18] 861*2^1435739-1 is not prime. Res64: F1B730DE26509371 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:19] 885*2^1435739-1 is not prime. Res64: 67F9D96119D976B1 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:19] 943*2^1435739-1 is not prime. Res64: 0735F340FF3F65A2 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:54] 969*2^1435739-1 is not prime. Res64: C03901B0CFCF0CA1 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:55] 647*2^1435740-1 is not prime. Res64: 93118CEC3A7F5F36 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:56] 653*2^1435740-1 is not prime. Res64: AA7992430A3A2477 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:56] 669*2^1435740-1 is not prime. Res64: 80759F68FDC2C14A Time : 0.0 sec. user=mdettweiler [2016-07-20 16:17:57] 737*2^1435740-1 is not prime. Res64: 16FBC2217288860C Time : 0.0 sec. user=mdettweiler [2016-07-20 16:52:36] 765*2^1435740-1 is not prime. Res64: 4D121FAD31C7A266 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:52:37] 767*2^1435740-1 is not prime. Res64: A984A2C8E88C9B5A Time : 0.0 sec. user=mdettweiler [2016-07-20 16:52:37] 777*2^1435740-1 is not prime. Res64: 7D1758C1A48F8B51 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:52:37] 965*2^1435740-1 is not prime. Res64: 5D610723E50F36E0 Time : 0.0 sec. user=mdettweiler [2016-07-20 16:52:38] 987*2^1435740-1 is not prime. Res64: CA07EF73BAB7088E Time : 0.0 sec. user=mdettweiler [2016-07-20 17:01:27] 601*2^1435741-1 is not prime. Res64: 9C55B51D4DCF42E0 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:01:28] 645*2^1435741-1 is not prime. Res64: ED6E67D4AA576415 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:01:29] 691*2^1435741-1 is not prime. Res64: A15E4198012310FC Time : 0.0 sec. user=mdettweiler [2016-07-20 17:01:30] 747*2^1435741-1 is not prime. Res64: 22620BC7A2B8B541 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:01:31] 769*2^1435741-1 is not prime. Res64: E8F2347F8E237A14 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:02:05] 777*2^1435741-1 is not prime. Res64: 6DD8F6772820179A Time : 0.0 sec. user=mdettweiler [2016-07-20 17:02:06] 861*2^1435741-1 is not prime. Res64: 1FA74B605263472B Time : 0.0 sec. user=mdettweiler [2016-07-20 17:02:07] 877*2^1435741-1 is not prime. Res64: 5F3AE6981802D016 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:02:08] 937*2^1435741-1 is not prime. Res64: 11453A1EAA0E6864 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:02:08] 939*2^1435741-1 is not prime. Res64: 95FB8472CCFD47CE Time : 0.0 sec. user=mdettweiler [2016-07-20 17:36:50] 671*2^1435742-1 is not prime. Res64: 960952A34BC6BD64 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:36:51] 801*2^1435742-1 is not prime. Res64: ED14A2F77FAA0FD0 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:36:51] 843*2^1435742-1 is not prime. Res64: 8850685547F4A4C2 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:36:51] 867*2^1435742-1 is not prime. Res64: F22918A4A4A5D92B Time : 0.0 sec. user=mdettweiler [2016-07-20 17:36:52] 897*2^1435742-1 is not prime. Res64: 210A6C36DAF4B0D3 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:45:53] 911*2^1435742-1 is not prime. Res64: 746321576007738E Time : 0.0 sec. user=mdettweiler [2016-07-20 17:45:54] 953*2^1435742-1 is not prime. Res64: FCAC3A8479B15540 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:45:54] 965*2^1435742-1 is not prime. Res64: 59FA70A86B5EBA4E Time : 0.0 sec. user=mdettweiler [2016-07-20 17:45:54] 619*2^1435743-1 is not prime. Res64: 5FE15B0CD3085085 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:45:55] 663*2^1435743-1 is not prime. Res64: 4B62C16E3C9EC81E Time : 0.0 sec. user=mdettweiler [2016-07-20 17:46:30] 693*2^1435743-1 is not prime. Res64: 61DD59B7C518BB7C Time : 0.0 sec. user=mdettweiler [2016-07-20 17:46:31] 735*2^1435743-1 is not prime. Res64: AE3BBDC179AE9C66 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:46:31] 775*2^1435743-1 is not prime. Res64: D9F23E62E38535A1 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:46:31] 783*2^1435743-1 is not prime. Res64: F0A07B9DA3A2D2E2 Time : 0.0 sec. user=mdettweiler [2016-07-20 17:46:32] 805*2^1435743-1 is not prime. Res64: 1D64A8EBA738F786 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:22:03] 933*2^1435743-1 is not prime. Res64: EE36C18268DA5E73 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:22:04] 705*2^1435744-1 is not prime. Res64: 374257881DCF0FEE Time : 0.0 sec. user=mdettweiler [2016-07-20 18:22:04] 717*2^1435744-1 is not prime. Res64: 621F69B51C885B0F Time : 0.0 sec. user=mdettweiler [2016-07-20 18:22:05] 723*2^1435744-1 is not prime. Res64: 54A247885BE0A591 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:22:05] 747*2^1435744-1 is not prime. Res64: 8B207837497720B6 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:30:46] 875*2^1435744-1 is not prime. Res64: DA914AE9F5D229C4 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:30:47] 915*2^1435744-1 is not prime. Res64: CB4F96131DD64CC0 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:30:47] 939*2^1435744-1 is not prime. Res64: 86F51176BD9B1AB9 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:30:47] 607*2^1435745-1 is not prime. Res64: B7AA216A35308A1E Time : 0.0 sec. user=mdettweiler [2016-07-20 18:30:47] 711*2^1435745-1 is not prime. Res64: E03A9CCBCA143F29 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:31:27] 775*2^1435745-1 is not prime. Res64: DDE78573587E89BC Time : 0.0 sec. user=mdettweiler [2016-07-20 18:31:27] 819*2^1435745-1 is not prime. Res64: 4C4A95E8A51D264F Time : 0.0 sec. user=mdettweiler [2016-07-20 18:31:27] 855*2^1435745-1 is not prime. Res64: 6C369A976D1418A7 Time : 0.0 sec. user=mdettweiler [2016-07-20 18:31:27] 981*2^1435745-1 is not prime. Res64: 4E1244B5F9C6676B Time : 0.0 sec. user=mdettweiler [2016-07-20 18:31:28] 807*2^1435746-1 is not prime. Res64: 5E0D3C4F18D5A751 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:06:23] 825*2^1435746-1 is not prime. Res64: E0297346F7B814E6 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:06:24] 833*2^1435746-1 is not prime. Res64: 52B59C1F9AC2320E Time : 0.0 sec. user=mdettweiler [2016-07-20 19:06:25] 971*2^1435746-1 is not prime. Res64: 6C886791D34EAD48 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:06:26] 993*2^1435746-1 is not prime. Res64: 4AFFD900EBDD0305 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:06:27] 633*2^1435747-1 is not prime. Res64: 8296FA35BE39F57D Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:05] 663*2^1435747-1 is not prime. Res64: 47E2839F0290D347 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:05] 885*2^1435747-1 is not prime. Res64: C0E67C92F8C8B36B Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:05] 973*2^1435747-1 is not prime. Res64: 396D52ED769B23B1 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:06] 665*2^1435748-1 is not prime. Res64: 7812D08197CCFC19 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:06] 687*2^1435748-1 is not prime. Res64: 1772C68C19FDB162 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:47] 777*2^1435748-1 is not prime. Res64: 24121E4608D4E0BA Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:47] 797*2^1435748-1 is not prime. Res64: F2038A78F62E9896 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:48] 855*2^1435748-1 is not prime. Res64: FDFCEB9CE2E12553 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:48] 885*2^1435748-1 is not prime. Res64: C77C8B50AA7B79CE Time : 0.0 sec. user=mdettweiler [2016-07-20 19:15:48] 897*2^1435748-1 is not prime. Res64: 75CA1F204C476D3C Time : 0.0 sec. user=mdettweiler [2016-07-20 19:50:55] 899*2^1435748-1 is not prime. Res64: 0B4876A6B1FEEA73 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:50:55] 765*2^1435749-1 is not prime. Res64: BC971B50E6E6B151 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:50:55] 891*2^1435749-1 is not prime. Res64: 18B4DC842105A730 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:50:55] 955*2^1435749-1 is not prime. Res64: 51D2B5DE482E9B54 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:50:56] 603*2^1435750-1 is not prime. Res64: 7AA46C863DDBD66E Time : 0.0 sec. user=mdettweiler [2016-07-20 19:59:25] 647*2^1435750-1 is not prime. Res64: 1017E6F6DE92AAF1 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:59:25] 791*2^1435750-1 is not prime. Res64: C194EC4E026D8722 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:59:25] 887*2^1435750-1 is not prime. Res64: D0F64322B6BF858D Time : 0.0 sec. user=mdettweiler [2016-07-20 19:59:26] 975*2^1435750-1 is not prime. Res64: 82754A370657B450 Time : 0.0 sec. user=mdettweiler [2016-07-20 19:59:26] 981*2^1435750-1 is not prime. Res64: F9594E69140DF498 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:00:06] 669*2^1435751-1 is not prime. Res64: 0C3ACD49059A6FA6 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:00:06] 735*2^1435751-1 is not prime. Res64: AF439C9F8DD7ED3F Time : 0.0 sec. user=mdettweiler [2016-07-20 20:00:06] 945*2^1435751-1 is not prime. Res64: 388EA2EBA6152B01 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:00:06] 969*2^1435751-1 is not prime. Res64: 5629B7CF8BA14399 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:00:07] 999*2^1435751-1 is not prime. Res64: 4314DEE48D14EB99 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:35:20] 635*2^1435752-1 is not prime. Res64: A108E7108545A5A2 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:35:21] 717*2^1435752-1 is not prime. Res64: 9C733C0C923BB5D7 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:35:21] 759*2^1435752-1 is not prime. Res64: 62E0E48B6CC5BA19 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:35:21] 903*2^1435752-1 is not prime. Res64: 819169B3D6F28E25 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:35:21] 607*2^1435753-1 is not prime. Res64: 6F3BE7194E6B14C0 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:43:51] 625*2^1435753-1 is not prime. Res64: 995FAB66992ABBF9 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:43:51] 705*2^1435753-1 is not prime. Res64: 398080F9CD7A2450 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:43:51] 769*2^1435753-1 is not prime. Res64: 5BCB77994EB44C47 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:43:52] 819*2^1435753-1 is not prime. Res64: DB62133752FB00F8 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:43:52] 831*2^1435753-1 is not prime. Res64: 861873334CE8C44C Time : 0.0 sec. user=mdettweiler [2016-07-20 20:44:34] 847*2^1435753-1 is not prime. Res64: 876A9ADDD7B73DAC Time : 0.0 sec. user=mdettweiler [2016-07-20 20:44:34] 895*2^1435753-1 is not prime. Res64: F676F95BD63C3806 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:44:34] 925*2^1435753-1 is not prime. Res64: 3A3AD62C13422625 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:44:34] 951*2^1435753-1 is not prime. Res64: BD7E07B58271FC21 Time : 0.0 sec. user=mdettweiler [2016-07-20 20:44:35] 617*2^1435754-1 is not prime. Res64: 88CA02E3A5A4331E Time : 0.0 sec. user=mdettweiler [2016-07-20 21:20:10] 635*2^1435754-1 is not prime. Res64: 928B453C1AD01E5D Time : 0.0 sec. user=mdettweiler [2016-07-20 21:20:10] 675*2^1435754-1 is not prime. Res64: 8A88E212CF70AD4D Time : 0.0 sec. user=mdettweiler [2016-07-20 21:20:11] 743*2^1435754-1 is not prime. Res64: 4E47D399C933C26A Time : 0.0 sec. user=mdettweiler [2016-07-20 21:20:11] 825*2^1435755-1 is not prime. Res64: 7A1B1AB91C66E4DC Time : 0.0 sec. user=mdettweiler [2016-07-20 21:20:12] 853*2^1435755-1 is not prime. Res64: 7DBD21569EB5FCF8 Time : 0.0 sec. user=mdettweiler [2016-07-20 21:28:45] 895*2^1435755-1 is not prime. Res64: 1160D812F81834E8 Time : 0.0 sec. user=mdettweiler [2016-07-20 21:28:45] 961*2^1435755-1 is not prime. Res64: 03C95946305001F8 Time : 0.0 sec. user=mdettweiler [2016-07-20 21:28:45] 657*2^1435756-1 is not prime. Res64: 6C9F16E42EA6D8D3 Time : 0.0 sec. user=mdettweiler [2016-07-20 21:28:46] 699*2^1435756-1 is not prime. Res64: 7F2E3270C1AB948C Time : 0.0 sec. user=mdettweiler [2016-07-20 21:28:46] 953*2^1435756-1 is not prime. Res64: 50787E07C2121C45 Time : 0.0 sec. user=mdettweiler [2016-07-20 21:29:24] 615*2^1435757-1 is not prime. Res64: E736FB7BC53C7907 Time : 0.0 sec. user=mdettweiler [2016-07-20 21:29:24] 621*2^1435757-1 is not prime. Res64: BA92A965206F365E Time : 0.0 sec. user=mdettweiler [2016-07-20 21:29:25] 729*2^1435757-1 is not prime. Res64: 1910EC7C816F3F95 Time : 0.0 sec. user=mdettweiler [2016-07-20 21:29:25] 759*2^1435757-1 is not prime. Res64: 5300E08B5D24A011 Time : 0.0 sec. user=mdettweiler [2016-07-20 21:29:25] 825*2^1435757-1 is not prime. Res64: E5C77B7B7705C314 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:05:26] 927*2^1435757-1 is not prime. Res64: 0AABF09DC80F833B Time : 0.0 sec. user=mdettweiler [2016-07-20 22:05:27] 949*2^1435757-1 is not prime. Res64: EFB0757B18720BF5 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:05:28] 955*2^1435757-1 is not prime. Res64: 807F7ACC3866BB3B Time : 0.0 sec. user=mdettweiler [2016-07-20 22:05:30] 957*2^1435757-1 is not prime. Res64: 44D37BB9B075AA3F Time : 0.0 sec. user=mdettweiler [2016-07-20 22:05:31] 985*2^1435757-1 is not prime. Res64: 2E48F3E38693AC40 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:06] 997*2^1435757-1 is not prime. Res64: 4BC184437BC087D0 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:07] 681*2^1435758-1 is not prime. Res64: EE64DAA37E32A44F Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:07] 861*2^1435758-1 is not prime. Res64: DA7C28DDB9C2119F Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:07] 675*2^1435759-1 is not prime. Res64: 0878339BF990CCF6 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:08] 751*2^1435759-1 is not prime. Res64: B488943897F3D171 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:45] 873*2^1435759-1 is not prime. Res64: BAC6E29713B928E9 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:46] 919*2^1435759-1 is not prime. Res64: F1C488589E54BC75 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:46] 603*2^1435760-1 is not prime. Res64: B0DEECF93273DB0C Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:46] 633*2^1435760-1 is not prime. Res64: 061AC1650510898D Time : 0.0 sec. user=mdettweiler [2016-07-20 22:14:46] 689*2^1435760-1 is not prime. Res64: D41DF6BB79480289 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:50:29] 725*2^1435760-1 is not prime. Res64: DF8F9A8638CC5889 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:50:29] 785*2^1435760-1 is not prime. Res64: F1C880B13CD0A588 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:50:30] 909*2^1435760-1 is not prime. Res64: B29D0A200003A5F5 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:50:30] 963*2^1435760-1 is not prime. Res64: FAE2EE5155A7533C Time : 0.0 sec. user=mdettweiler [2016-07-20 22:50:31] 651*2^1435761-1 is not prime. Res64: 1849746B94C06722 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:58:26] 657*2^1435761-1 is not prime. Res64: CBECC7E4A8DBF6E3 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:58:26] 907*2^1435761-1 is not prime. Res64: C8EF6A9545E3D0F1 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:58:27] 955*2^1435761-1 is not prime. Res64: 8C34A95F606E6520 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:58:27] 999*2^1435761-1 is not prime. Res64: 15AF0AE7D3BA293A Time : 0.0 sec. user=mdettweiler [2016-07-20 22:58:27] 713*2^1435762-1 is not prime. Res64: 7FAEF855F47F2643 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:59:08] 827*2^1435762-1 is not prime. Res64: 7282F8EC960A9BD8 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:59:09] 915*2^1435762-1 is not prime. Res64: 937056B98E2320A0 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:59:09] 621*2^1435763-1 is not prime. Res64: E2A679196E445B53 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:59:09] 813*2^1435763-1 is not prime. Res64: 3BA2772584FC5F53 Time : 0.0 sec. user=mdettweiler [2016-07-20 22:59:10] 885*2^1435763-1 is not prime. Res64: ACE222397D87E1BE Time : 0.0 sec. user=mdettweiler [2016-07-20 23:34:42] 913*2^1435763-1 is not prime. Res64: 5A82DB37CCF7FB60 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:34:43] 963*2^1435763-1 is not prime. Res64: EA0F729BA233A2DC Time : 0.0 sec. user=mdettweiler [2016-07-20 23:34:43] 999*2^1435763-1 is not prime. Res64: 83F84FFDF1D2AD26 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:34:43] 665*2^1435764-1 is not prime. Res64: 1DADA7D137B02CD4 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:34:44] 725*2^1435764-1 is not prime. Res64: 40E063E8E50B3EDB Time : 0.0 sec. user=mdettweiler [2016-07-20 23:42:38] 909*2^1435764-1 is not prime. Res64: 34FCE0255E6ECFCC Time : 0.0 sec. user=mdettweiler [2016-07-20 23:42:38] 959*2^1435764-1 is not prime. Res64: F765A902E93429A2 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:42:39] 993*2^1435764-1 is not prime. Res64: 3578BA670CBD8C03 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:42:39] 937*2^1435765-1 is not prime. Res64: 6BDB6C7B7F3539F9 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:42:40] 939*2^1435765-1 is not prime. Res64: 13FED29E28872DCB Time : 0.0 sec. user=mdettweiler [2016-07-20 23:43:21] 951*2^1435765-1 is not prime. Res64: 993881DA2DBD0A13 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:43:22] 997*2^1435765-1 is not prime. Res64: 1CD5AD1AE2BBD9D7 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:43:22] 623*2^1435766-1 is not prime. Res64: EF60A41507BC9761 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:43:22] 635*2^1435766-1 is not prime. Res64: 07203BF2CB57E5D4 Time : 0.0 sec. user=mdettweiler [2016-07-20 23:43:23] 657*2^1435766-1 is not prime. Res64: 33521146D22F0E68 Time : 0.0 sec.