user=mdettweiler [2018-07-29 00:03:46] 627*2^1519746-1 is not prime. Res64: 37E68BF9D7DB59A1 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:03:47] 653*2^1519746-1 is not prime. Res64: 883AB9A652BA1939 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:03:48] 713*2^1519746-1 is not prime. Res64: 8C6AD4E11DDF0CCD Time : 0.0 sec. user=mdettweiler [2018-07-29 00:03:48] 783*2^1519746-1 is not prime. Res64: D33A36778A28763B Time : 0.0 sec. user=mdettweiler [2018-07-29 00:03:49] 867*2^1519746-1 is not prime. Res64: 3C11F32C46D8774A Time : 0.0 sec. user=mdettweiler [2018-07-29 00:12:52] 875*2^1519746-1 is not prime. Res64: 6253957179F5B40C Time : 0.0 sec. user=mdettweiler [2018-07-29 00:12:52] 621*2^1519747-1 is not prime. Res64: 01B93C743A73AC5D Time : 0.0 sec. user=mdettweiler [2018-07-29 00:12:53] 741*2^1519747-1 is not prime. Res64: A90AE99CF6404B8E Time : 0.0 sec. user=mdettweiler [2018-07-29 00:12:53] 765*2^1519747-1 is not prime. Res64: B83A5FB0C620E07F Time : 0.0 sec. user=mdettweiler [2018-07-29 00:12:54] 819*2^1519747-1 is not prime. Res64: D60B84BD1E6F62AD Time : 0.0 sec. user=mdettweiler [2018-07-29 00:32:29] 849*2^1519747-1 is not prime. Res64: A69A10EA495302B6 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:32:29] 919*2^1519747-1 is not prime. Res64: 7891B32324F24688 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:32:30] 973*2^1519747-1 is not prime. Res64: 7B22EA1D12B608EE Time : 0.0 sec. user=mdettweiler [2018-07-29 00:32:30] 699*2^1519748-1 is not prime. Res64: 8F05A8CA777A9EE0 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:32:30] 725*2^1519748-1 is not prime. Res64: 221D53E6CBAA318D Time : 0.0 sec. user=mdettweiler [2018-07-29 00:34:11] 795*2^1519748-1 is not prime. Res64: 5996BA17395DF1B6 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:34:11] 797*2^1519748-1 is not prime. Res64: 69210E27FF925BB4 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:34:11] 879*2^1519748-1 is not prime. Res64: 882ED80229705DC2 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:34:12] 927*2^1519748-1 is not prime. Res64: D86E969E93DA1E7C Time : 0.0 sec. user=mdettweiler [2018-07-29 00:34:12] 935*2^1519748-1 is not prime. Res64: D39E13DA4C6D76EC Time : 0.0 sec. user=mdettweiler [2018-07-29 00:54:46] 953*2^1519748-1 is not prime. Res64: 81232FBB6C2EA6A5 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:54:46] 627*2^1519749-1 is not prime. Res64: AF10403A7BF73B57 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:54:47] 681*2^1519749-1 is not prime. Res64: C76738D808A88FDC Time : 0.0 sec. user=mdettweiler [2018-07-29 00:54:47] 685*2^1519749-1 is not prime. Res64: 208545D027758E94 Time : 0.0 sec. user=mdettweiler [2018-07-29 00:54:47] 741*2^1519749-1 is not prime. Res64: A63B07B489E742CA Time : 0.0 sec. user=mdettweiler [2018-07-29 01:03:33] 745*2^1519749-1 is not prime. Res64: E63C3E9EB62980EB Time : 0.0 sec. user=mdettweiler [2018-07-29 01:03:34] 751*2^1519749-1 is not prime. Res64: F4D898A72C19B1AF Time : 0.0 sec. user=mdettweiler [2018-07-29 01:03:35] 769*2^1519749-1 is not prime. Res64: 959DD225F100DC84 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:03:36] 781*2^1519749-1 is not prime. Res64: D45B9238899B016A Time : 0.0 sec. user=mdettweiler [2018-07-29 01:03:37] 885*2^1519749-1 is not prime. Res64: 90AC3BE28FA15830 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:26:13] 951*2^1519749-1 is not prime. Res64: 5DDF7E0E5673FED7 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:26:14] 979*2^1519749-1 is not prime. Res64: F0E9C5B8BFEB08A6 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:26:15] 645*2^1519750-1 is not prime. Res64: 2E25C1E094B43187 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:26:15] 741*2^1519750-1 is not prime. Res64: 327F36FFF0E230D7 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:26:15] 747*2^1519750-1 is not prime. Res64: 8D728FE49BDF2438 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:29:03] 755*2^1519750-1 is not prime. Res64: DD12723367366093 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:29:04] 827*2^1519750-1 is not prime. Res64: 9B035EAC23DA6C79 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:29:05] 831*2^1519750-1 is not prime. Res64: 52760BA15596A7AB Time : 0.0 sec. user=mdettweiler [2018-07-29 01:29:05] 917*2^1519750-1 is not prime. Res64: FD097FCA5EC1A9C1 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:29:06] 941*2^1519750-1 is not prime. Res64: E94D5B2446CA55CF Time : 0.0 sec. user=mdettweiler [2018-07-29 01:49:37] 995*2^1519750-1 is not prime. Res64: 3B3DE3BADDF5C13D Time : 0.0 sec. user=mdettweiler [2018-07-29 01:49:37] 669*2^1519751-1 is not prime. Res64: 55BF8A36DB40903D Time : 0.0 sec. user=mdettweiler [2018-07-29 01:49:38] 675*2^1519751-1 is not prime. Res64: CD859C86E5A2F6CB Time : 0.0 sec. user=mdettweiler [2018-07-29 01:49:38] 685*2^1519751-1 is not prime. Res64: B4171A3BA72F7F04 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:49:39] 715*2^1519751-1 is not prime. Res64: AF55FA6092BC85C7 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:57:25] 735*2^1519751-1 is not prime. Res64: 39127C8BBA3108EC Time : 0.0 sec. user=mdettweiler [2018-07-29 01:57:26] 745*2^1519751-1 is not prime. Res64: E3ADF5F744CE63E7 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:57:28] 781*2^1519751-1 is not prime. Res64: 6D21C4F93F8B2829 Time : 0.0 sec. user=mdettweiler [2018-07-29 01:57:28] 783*2^1519751-1 is not prime. Res64: 50153332126BB59A Time : 0.0 sec. user=mdettweiler [2018-07-29 01:57:29] 939*2^1519751-1 is not prime. Res64: 4575B8C27EC518B7 Time : 0.0 sec. user=mdettweiler [2018-07-29 02:17:40] 605*2^1519752-1 is not prime. Res64: 2A25782436A5FB3E Time : 0.0 sec. user=mdettweiler [2018-07-29 02:17:41] 657*2^1519752-1 is not prime. Res64: 1052199BECBD0AA9 Time : 0.0 sec. user=mdettweiler [2018-07-29 02:17:41] 717*2^1519752-1 is not prime. Res64: F60E9A4CC9B52A7D Time : 0.0 sec. user=mdettweiler [2018-07-29 02:17:41] 777*2^1519752-1 is not prime. Res64: 6B03F6DC890EAF81 Time : 0.0 sec. user=mdettweiler [2018-07-29 02:17:42] 893*2^1519752-1 is not prime. Res64: F5F59EAC7521ABAB Time : 0.0 sec. user=mdettweiler [2018-07-29 02:20:27] 947*2^1519752-1 is not prime. Res64: 8FAA0CFEE5FBE02E Time : 0.0 sec. user=mdettweiler [2018-07-29 02:20:27] 741*2^1519753-1 is not prime. Res64: 92C555267DB718AD Time : 0.0 sec. user=mdettweiler [2018-07-29 02:20:27] 867*2^1519753-1 is not prime. Res64: 66BCE117971D6A46 Time : 0.0 sec. user=mdettweiler [2018-07-29 02:20:28] 957*2^1519753-1 is not prime. Res64: 924D4CD7EE9F3B0A Time : 0.0 sec. user=mdettweiler [2018-07-29 02:20:28] 617*2^1519754-1 is not prime. Res64: B8FD85E06F181D09 Time : 0.0 sec. user=mdettweiler [2018-07-29 02:48:22] 635*2^1519754-1 is not prime. Res64: A693A4570FA0B6EF Time : 0.0 sec. user=mdettweiler [2018-07-29 02:48:23] 645*2^1519754-1 is not prime. Res64: 3A355D82FE67FFEA Time : 0.0 sec. user=mdettweiler [2018-07-29 02:48:24] 657*2^1519754-1 is not prime. Res64: 32D1CD6E6230A9DB Time : 0.0 sec. user=mdettweiler [2018-07-29 02:48:24] 753*2^1519754-1 is not prime. Res64: 662F2A35E55747D4 Time : 0.0 sec. user=mdettweiler [2018-07-29 02:48:25] 813*2^1519754-1 is not prime. Res64: 18840ADF5AE82A66 Time : 0.0 sec. user=mdettweiler [2018-07-29 02:49:22] 815*2^1519754-1 is not prime. Res64: 3B58879564DADCEE Time : 0.0 sec. user=mdettweiler [2018-07-29 02:49:23] 887*2^1519754-1 is not prime. Res64: B9082C5D2F001A9C Time : 0.0 sec. user=mdettweiler [2018-07-29 02:49:23] 927*2^1519754-1 is not prime. Res64: 31249CEF5256BE3C Time : 0.0 sec. user=mdettweiler [2018-07-29 02:49:24] 953*2^1519754-1 is not prime. Res64: B18255501F9FD584 Time : 0.0 sec. user=mdettweiler [2018-07-29 02:49:25] 613*2^1519755-1 is not prime. Res64: FB40EA642FCCA765 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:10:47] 619*2^1519755-1 is not prime. Res64: C9F1524FA79518F8 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:10:48] 649*2^1519755-1 is not prime. Res64: C55751F56A7A314D Time : 0.0 sec. user=mdettweiler [2018-07-29 03:10:48] 675*2^1519755-1 is not prime. Res64: 7DE3B0E6DB3853F9 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:10:49] 765*2^1519755-1 is not prime. Res64: 43E28BD61BF8511C Time : 0.0 sec. user=mdettweiler [2018-07-29 03:10:49] 783*2^1519755-1 is not prime. Res64: FC8147061948C893 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:15:51] 859*2^1519755-1 is not prime. Res64: 5A519204E4ACC2F8 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:15:52] 969*2^1519755-1 is not prime. Res64: B7991E4A1DFB8CCC Time : 0.0 sec. user=mdettweiler [2018-07-29 03:15:52] 629*2^1519756-1 is not prime. Res64: 44478F1D7AD8FD8E Time : 0.0 sec. user=mdettweiler [2018-07-29 03:15:53] 719*2^1519756-1 is not prime. Res64: F5015928F2F679C4 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:15:53] 785*2^1519756-1 is not prime. Res64: 3288F8546AB8CEFC Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:07] 845*2^1519756-1 is not prime. Res64: BAE52794DF9A4FB0 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:09] 939*2^1519756-1 is not prime. Res64: F7E3883A3740723B Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:10] 957*2^1519756-1 is not prime. Res64: 210117351199EE9C Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:11] 993*2^1519756-1 is not prime. Res64: 9AE3221192A3604C Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:13] 655*2^1519757-1 is not prime. Res64: 62E5293CC3AB8E0C Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:16] 669*2^1519757-1 is not prime. Res64: 6AD34843906C3891 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:17] 717*2^1519757-1 is not prime. Res64: 6CA6B602D754A4F9 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:18] 757*2^1519757-1 is not prime. Res64: F2FCBBD8C6939353 Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:20] 771*2^1519757-1 is not prime. Res64: 5273345375F93FDF Time : 0.0 sec. user=mdettweiler [2018-07-29 03:41:21] 799*2^1519757-1 is not prime. Res64: C74279BEBE0CA7BA Time : 0.0 sec. user=mdettweiler [2018-07-29 04:02:17] 981*2^1519757-1 is not prime. Res64: 0DC7381FCDD73C52 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:02:23] 833*2^1519758-1 is not prime. Res64: 6BDFE7C6315F631B Time : 0.0 sec. user=mdettweiler [2018-07-29 04:02:25] 861*2^1519758-1 is not prime. Res64: 5DF844FB743FB3C4 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:02:28] 915*2^1519758-1 is not prime. Res64: BEB74C3B391B62FE Time : 0.0 sec. user=mdettweiler [2018-07-29 04:02:30] 941*2^1519758-1 is not prime. Res64: C64789B13C08487B Time : 0.0 sec. user=mdettweiler [2018-07-29 04:08:08] 619*2^1519759-1 is not prime. Res64: 850A8C9D985C2B6C Time : 0.0 sec. user=mdettweiler [2018-07-29 04:32:45] 663*2^1519760-1 is not prime. Res64: 436AA989D9734D87 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:32:46] 725*2^1519760-1 is not prime. Res64: C3D2600F9BF9D80A Time : 0.0 sec. user=mdettweiler [2018-07-29 04:32:46] 753*2^1519760-1 is not prime. Res64: 2C5E737DE5AC6790 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:32:47] 755*2^1519760-1 is not prime. Res64: 67142F4D4AEB0647 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:32:47] 825*2^1519760-1 is not prime. Res64: 55E79B3CC4ECE21A Time : 0.0 sec. user=mdettweiler [2018-07-29 04:33:10] 793*2^1519759-1 is not prime. Res64: E5A235E2EA5C42F7 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:33:10] 861*2^1519759-1 is not prime. Res64: 5453252E9BE48A09 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:33:11] 951*2^1519759-1 is not prime. Res64: D5B19E3D8F3BACAE Time : 0.0 sec. user=mdettweiler [2018-07-29 04:33:11] 975*2^1519759-1 is not prime. Res64: F2A6D18C03443EBC Time : 0.0 sec. user=mdettweiler [2018-07-29 04:33:11] 603*2^1519760-1 is not prime. Res64: 50DE274F2CFBDD02 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:55:18] 983*2^1519760-1 is not prime. Res64: A4EA83EEBF4C5332 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:55:19] 649*2^1519761-1 is not prime. Res64: 5657DC6860A55180 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:55:19] 675*2^1519761-1 is not prime. Res64: 460EF979D17E1C33 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:55:20] 685*2^1519761-1 is not prime. Res64: 5AE2C854F3B1F094 Time : 0.0 sec. user=mdettweiler [2018-07-29 04:55:20] 705*2^1519761-1 is not prime. Res64: F2831F2B60D7B6CD Time : 0.0 sec. user=mdettweiler [2018-07-29 05:24:41] 635*2^1519762-1 is not prime. Res64: A90754D92D5E1781 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:24:42] 645*2^1519762-1 is not prime. Res64: 624D1AA5E8ED4811 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:24:42] 675*2^1519762-1 is not prime. Res64: C00565EFB3B3F525 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:24:42] 741*2^1519762-1 is not prime. Res64: B6DEF5F90E41FAB9 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:24:43] 843*2^1519762-1 is not prime. Res64: 4C1F56416073C70B Time : 0.0 sec. user=mdettweiler [2018-07-29 05:25:11] 709*2^1519761-1 is not prime. Res64: 7D4D64F5448D083C Time : 0.0 sec. user=mdettweiler [2018-07-29 05:25:12] 871*2^1519761-1 is not prime. Res64: 80D120DCADD5D82F Time : 0.0 sec. user=mdettweiler [2018-07-29 05:25:13] 885*2^1519761-1 is not prime. Res64: EF5AB359D9DFB057 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:25:13] 999*2^1519761-1 is not prime. Res64: 8CD7C64DE3D27BA0 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:25:14] 617*2^1519762-1 is not prime. Res64: EDB762774E040C16 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:47:49] 783*2^1519763-1 is not prime. Res64: 0B74AB277FA66DE4 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:47:50] 813*2^1519763-1 is not prime. Res64: 27E05CB94ED18155 Time : 0.0 sec. user=mdettweiler [2018-07-29 05:47:50] 939*2^1519763-1 is not prime. Res64: 14955E79313B978C Time : 0.0 sec. user=mdettweiler [2018-07-29 05:47:51] 981*2^1519763-1 is not prime. Res64: B6678EAB7CE9CE4D Time : 0.0 sec. user=mdettweiler [2018-07-29 05:47:52] 689*2^1519764-1 is not prime. Res64: 638444F8F9EB1233 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:17:39] 693*2^1519764-1 is not prime. Res64: 972A45562A0375D1 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:17:40] 705*2^1519764-1 is not prime. Res64: DD168C987114A7DB Time : 0.0 sec. user=mdettweiler [2018-07-29 06:17:40] 723*2^1519764-1 is not prime. Res64: BC1CDE4D97A2BCE0 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:17:41] 753*2^1519764-1 is not prime. Res64: 50D863DDB1901288 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:17:42] 759*2^1519764-1 is not prime. Res64: EFDB8534F6709642 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:20:35] 767*2^1519764-1 is not prime. Res64: 59F528F9B4D3560F Time : 0.0 sec. user=mdettweiler [2018-07-29 06:20:35] 875*2^1519764-1 is not prime. Res64: FA20152E9C97855F Time : 0.0 sec. user=mdettweiler [2018-07-29 06:20:36] 899*2^1519764-1 is not prime. Res64: 806E1B6CA57FD77C Time : 0.0 sec. user=mdettweiler [2018-07-29 06:20:36] 715*2^1519765-1 is not prime. Res64: DFAE130282E2BBA5 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:20:36] 741*2^1519765-1 is not prime. Res64: DA55982D440CCDA4 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:40:33] 771*2^1519765-1 is not prime. Res64: 4CAD0CD9765AE6F4 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:40:33] 919*2^1519765-1 is not prime. Res64: 341CB2AAA01D6412 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:40:34] 693*2^1519766-1 is not prime. Res64: 0F90F93DB64C2201 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:40:34] 785*2^1519766-1 is not prime. Res64: 346DFB6FD785AF60 Time : 0.0 sec. user=mdettweiler [2018-07-29 06:40:34] 873*2^1519766-1 is not prime. Res64: 7A17894C9C2CA525 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:12:26] 669*2^1519767-1 is not prime. Res64: 68C0E673D988F2C4 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:12:27] 823*2^1519767-1 is not prime. Res64: EBE704AC18016BE3 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:12:27] 963*2^1519767-1 is not prime. Res64: BE8D15AB87A3CC03 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:12:28] 615*2^1519768-1 is not prime. Res64: 0E7323C968AE43A8 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:12:28] 645*2^1519768-1 is not prime. Res64: 3928C9D32389798C Time : 0.0 sec. user=mdettweiler [2018-07-29 07:15:09] 665*2^1519768-1 is not prime. Res64: C78252C3584876E5 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:15:10] 819*2^1519768-1 is not prime. Res64: 114F465906605664 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:15:10] 855*2^1519768-1 is not prime. Res64: 415074D12B598A70 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:15:11] 863*2^1519768-1 is not prime. Res64: 293C7C9C87038687 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:15:11] 649*2^1519769-1 is not prime. Res64: C20B74CF5630E349 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:33:22] 699*2^1519769-1 is not prime. Res64: 5FCAA9C77C4E9B4B Time : 0.0 sec. user=mdettweiler [2018-07-29 07:33:23] 727*2^1519769-1 is not prime. Res64: 10FB399D3AEDAB40 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:33:23] 759*2^1519769-1 is not prime. Res64: 8E9D98F324068359 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:33:23] 787*2^1519769-1 is not prime. Res64: 3B6297180C4207C3 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:33:24] 861*2^1519769-1 is not prime. Res64: FCF9B7D4F954AB27 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:43:28] 633*2^1519759-1 is not prime. Res64: 69CD4938D3522E0D Time : 0.0 sec. user=mdettweiler [2018-07-29 07:43:28] 645*2^1519759-1 is not prime. Res64: FC1858BA32CD201A Time : 0.0 sec. user=mdettweiler [2018-07-29 07:43:28] 709*2^1519759-1 is not prime. Res64: 14CE5F586A4660A6 Time : 0.0 sec. user=mdettweiler [2018-07-29 07:43:29] 763*2^1519759-1 is not prime. Res64: F2B8E246C6838491 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:04:32] 885*2^1519769-1 is not prime. Res64: F936C49DC2589069 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:04:33] 987*2^1519769-1 is not prime. Res64: 93AE114DB34A21AC Time : 0.0 sec. user=mdettweiler [2018-07-29 08:04:34] 755*2^1519770-1 is not prime. Res64: 9675D542E624992B Time : 0.0 sec. user=mdettweiler [2018-07-29 08:04:37] 741*2^1519771-1 is not prime. Res64: 3B16E9472EED05C2 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:04:38] 759*2^1519771-1 is not prime. Res64: 8FF8222844F70615 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:06:34] 769*2^1519771-1 is not prime. Res64: 4B71753ED0CA3A45 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:06:35] 969*2^1519771-1 is not prime. Res64: 12FF552DE4D699CA Time : 0.0 sec. user=mdettweiler [2018-07-29 08:06:36] 603*2^1519772-1 is not prime. Res64: 07ABCD8D8D317D1E Time : 0.0 sec. user=mdettweiler [2018-07-29 08:06:37] 615*2^1519772-1 is not prime. Res64: E84C6EA39D4B8393 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:06:37] 617*2^1519772-1 is not prime. Res64: A22CD426634A5A4C Time : 0.0 sec. user=mdettweiler [2018-07-29 08:24:19] 687*2^1519772-1 is not prime. Res64: C17611AB33A2BF0F Time : 0.0 sec. user=mdettweiler [2018-07-29 08:24:20] 717*2^1519772-1 is not prime. Res64: E1C42C2D6B3D70DC Time : 0.0 sec. user=mdettweiler [2018-07-29 08:24:20] 797*2^1519772-1 is not prime. Res64: E7E98ABFAF1EA602 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:24:21] 855*2^1519772-1 is not prime. Res64: 673DC2B6F52B7BFB Time : 0.0 sec. user=mdettweiler [2018-07-29 08:24:21] 945*2^1519772-1 is not prime. Res64: DD466960D2A520E2 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:34:10] 963*2^1519772-1 is not prime. Res64: C584A26A4659D4F0 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:34:11] 621*2^1519773-1 is not prime. Res64: 6865FBAA1177876B Time : 0.0 sec. user=mdettweiler [2018-07-29 08:34:11] 639*2^1519773-1 is not prime. Res64: AAD1CB843A88BA02 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:34:11] 699*2^1519773-1 is not prime. Res64: A06E8FAD41EB728E Time : 0.0 sec. user=mdettweiler [2018-07-29 08:34:12] 727*2^1519773-1 is not prime. Res64: A2BBC2CEE9247808 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:55:42] 759*2^1519773-1 is not prime. Res64: 9E589D4BCC579DF0 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:55:43] 781*2^1519773-1 is not prime. Res64: 0037C041FA36ED3D Time : 0.0 sec. user=mdettweiler [2018-07-29 08:55:43] 789*2^1519773-1 is not prime. Res64: 48E2855AF3F0648C Time : 0.0 sec. user=mdettweiler [2018-07-29 08:55:43] 829*2^1519773-1 is not prime. Res64: EE665D46D23CCC6E Time : 0.0 sec. user=mdettweiler [2018-07-29 08:55:44] 837*2^1519773-1 is not prime. Res64: DF1EB298B134D330 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:57:12] 871*2^1519773-1 is not prime. Res64: C1A3BC6ECF8A0623 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:57:13] 877*2^1519773-1 is not prime. Res64: 80FF8F8BA79B2993 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:57:13] 961*2^1519773-1 is not prime. Res64: 628519E883F9D689 Time : 0.0 sec. user=mdettweiler [2018-07-29 08:57:13] 985*2^1519773-1 is not prime. Res64: 99F3ABA815BE6B6C Time : 0.0 sec. user=mdettweiler [2018-07-29 08:57:14] 621*2^1519774-1 is not prime. Res64: A1EF1D9C8DBF009A Time : 0.0 sec. user=mdettweiler [2018-07-29 09:15:11] 681*2^1519774-1 is not prime. Res64: 3DE1772A2557A9F1 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:15:12] 687*2^1519774-1 is not prime. Res64: D0E6120601A18E43 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:15:12] 815*2^1519774-1 is not prime. Res64: 6603A207C95EAB0D Time : 0.0 sec. user=mdettweiler [2018-07-29 09:15:12] 857*2^1519774-1 is not prime. Res64: 164C6049FE1F3FD1 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:15:13] 947*2^1519774-1 is not prime. Res64: 37A0707257D37444 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:25:00] 951*2^1519774-1 is not prime. Res64: CC4BA290656151C4 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:25:00] 775*2^1519775-1 is not prime. Res64: 89950A27155AD0AD Time : 0.0 sec. user=mdettweiler [2018-07-29 09:25:00] 859*2^1519775-1 is not prime. Res64: A8F2A76C6A8BF80C Time : 0.0 sec. user=mdettweiler [2018-07-29 09:25:01] 939*2^1519775-1 is not prime. Res64: E579DC1BDC409F89 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:25:01] 963*2^1519775-1 is not prime. Res64: C579DA63BDAA6E03 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:46:23] 629*2^1519776-1 is not prime. Res64: 424286A0DEA6F73F Time : 0.0 sec. user=mdettweiler [2018-07-29 09:46:24] 843*2^1519776-1 is not prime. Res64: 080922F288B61CC6 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:46:24] 947*2^1519776-1 is not prime. Res64: 92A6EFDF4EC1E7F9 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:46:24] 609*2^1519777-1 is not prime. Res64: 10DF33FAC50D5540 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:46:25] 807*2^1519777-1 is not prime. Res64: 40BC003872DFBCE8 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:48:03] 847*2^1519777-1 is not prime. Res64: 3739CFE9F0841C62 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:48:03] 939*2^1519777-1 is not prime. Res64: 02C7BECD7267043B Time : 0.0 sec. user=mdettweiler [2018-07-29 09:48:04] 967*2^1519777-1 is not prime. Res64: CD33CBAD572448EF Time : 0.0 sec. user=mdettweiler [2018-07-29 09:48:04] 645*2^1519778-1 is not prime. Res64: E5F15C9CC531D5C6 Time : 0.0 sec. user=mdettweiler [2018-07-29 09:48:04] 743*2^1519778-1 is not prime. Res64: 3C136DD1D2422B2C Time : 0.0 sec. user=mdettweiler [2018-07-29 10:06:18] 797*2^1519778-1 is not prime. Res64: A12710551E98003D Time : 0.0 sec. user=mdettweiler [2018-07-29 10:06:20] 843*2^1519778-1 is not prime. Res64: 2FCF7E9831A6CD1A Time : 0.0 sec. user=mdettweiler [2018-07-29 10:06:20] 927*2^1519778-1 is not prime. Res64: 16D2726487418628 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:06:20] 957*2^1519778-1 is not prime. Res64: BFAD53FF1D2AC82C Time : 0.0 sec. user=mdettweiler [2018-07-29 10:06:21] 621*2^1519779-1 is not prime. Res64: F64F54B5317B40B7 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:17:09] 633*2^1519779-1 is not prime. Res64: 9CBF0FBBB636B4B0 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:17:09] 685*2^1519779-1 is not prime. Res64: 42B9815C35B6682D Time : 0.0 sec. user=mdettweiler [2018-07-29 10:17:09] 741*2^1519779-1 is not prime. Res64: 79F0159449AA76C4 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:17:10] 751*2^1519779-1 is not prime. Res64: AD3DC010B7748C24 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:17:10] 843*2^1519779-1 is not prime. Res64: 3A3D04784BF3CC06 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:37:44] 919*2^1519779-1 is not prime. Res64: 7B589CF910E2DFD3 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:37:44] 955*2^1519779-1 is not prime. Res64: B80F17CDAF70CF26 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:37:44] 653*2^1519780-1 is not prime. Res64: 1623C8F7F949BA36 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:37:45] 675*2^1519780-1 is not prime. Res64: F5C535FA8D2FD39F Time : 0.0 sec. user=mdettweiler [2018-07-29 10:37:45] 693*2^1519780-1 is not prime. Res64: 9AAFEB7549973550 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:39:34] 707*2^1519780-1 is not prime. Res64: 17F7E44038B15E92 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:39:34] 723*2^1519780-1 is not prime. Res64: CF8C3713ADAF09E3 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:39:34] 783*2^1519780-1 is not prime. Res64: 44655FBA32003A58 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:39:35] 819*2^1519780-1 is not prime. Res64: 0D45F6715AF6C1C6 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:39:35] 825*2^1519780-1 is not prime. Res64: 03F1EFF0768924AD Time : 0.0 sec. user=mdettweiler [2018-07-29 10:58:06] 999*2^1519780-1 is not prime. Res64: 450EDAE55B6F923B Time : 0.0 sec. user=mdettweiler [2018-07-29 10:58:06] 645*2^1519781-1 is not prime. Res64: B141AD7BC0F5D28D Time : 0.0 sec. user=mdettweiler [2018-07-29 10:58:07] 829*2^1519781-1 is not prime. Res64: 033331131BAB5DAE Time : 0.0 sec. user=mdettweiler [2018-07-29 10:58:07] 859*2^1519781-1 is not prime. Res64: 550FC30321EA6DF2 Time : 0.0 sec. user=mdettweiler [2018-07-29 10:58:07] 885*2^1519781-1 is not prime. Res64: 7BBA8B7DF05ED794 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:08:57] 693*2^1519782-1 is not prime. Res64: 5DA27702E33E4BD6 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:08:58] 941*2^1519782-1 is not prime. Res64: 0204275F72867245 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:08:58] 951*2^1519782-1 is not prime. Res64: 0323F841B1066148 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:08:59] 829*2^1519783-1 is not prime. Res64: 2F8E93F7C40CFCBA Time : 0.0 sec. user=mdettweiler [2018-07-29 11:08:59] 961*2^1519783-1 is not prime. Res64: E0CAA1CC83B19BBF Time : 0.0 sec. user=mdettweiler [2018-07-29 11:28:58] 969*2^1519783-1 is not prime. Res64: BF126AD6015C2B60 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:28:58] 985*2^1519783-1 is not prime. Res64: 1114D48CED854159 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:28:58] 675*2^1519784-1 is not prime. Res64: 50463715D5807395 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:28:59] 683*2^1519784-1 is not prime. Res64: 7AD0F8DF429F0448 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:28:59] 747*2^1519784-1 is not prime. Res64: 335EB6D102FB2B34 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:30:36] 833*2^1519784-1 is not prime. Res64: 3501652F7626A8C7 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:30:36] 917*2^1519784-1 is not prime. Res64: B1D9D95988889AAC Time : 0.0 sec. user=mdettweiler [2018-07-29 11:30:36] 959*2^1519784-1 is not prime. Res64: 6FF6D103F5353BFF Time : 0.0 sec. user=mdettweiler [2018-07-29 11:30:37] 969*2^1519784-1 is not prime. Res64: 4416DC9C0AF1765A Time : 0.0 sec. user=mdettweiler [2018-07-29 11:30:37] 983*2^1519784-1 is not prime. Res64: 175659D0FCA3A394 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:49:02] 679*2^1519785-1 is not prime. Res64: AC9733472C07D5F4 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:49:03] 685*2^1519785-1 is not prime. Res64: 0F01F21ECB06F05D Time : 0.0 sec. user=mdettweiler [2018-07-29 11:49:03] 777*2^1519785-1 is not prime. Res64: 7DCD14B69651A194 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:49:03] 919*2^1519785-1 is not prime. Res64: 0844CE5E71226A45 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:49:04] 991*2^1519785-1 is not prime. Res64: 292C9CFB7624D2FF Time : 0.0 sec. user=mdettweiler [2018-07-29 11:59:52] 623*2^1519786-1 is not prime. Res64: 9BDF5E31EE557631 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:59:53] 651*2^1519786-1 is not prime. Res64: D21A434CE548A4CC Time : 0.0 sec. user=mdettweiler [2018-07-29 11:59:53] 677*2^1519786-1 is not prime. Res64: 695A12194BD014E1 Time : 0.0 sec. user=mdettweiler [2018-07-29 11:59:53] 705*2^1519786-1 is not prime. Res64: 37AFF62AA5070CCD Time : 0.0 sec. user=mdettweiler [2018-07-29 11:59:54] 741*2^1519786-1 is not prime. Res64: E173480329074352 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:19:52] 755*2^1519786-1 is not prime. Res64: E66D9E890525BC14 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:19:53] 945*2^1519786-1 is not prime. Res64: 2BCFFAF75132691E Time : 0.0 sec. user=mdettweiler [2018-07-29 12:19:53] 735*2^1519787-1 is not prime. Res64: 788A69AC5A0C32F5 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:19:54] 859*2^1519787-1 is not prime. Res64: 5490122957658381 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:19:54] 909*2^1519787-1 is not prime. Res64: 052F5F2B0029053A Time : 0.0 sec. user=mdettweiler [2018-07-29 12:21:30] 963*2^1519787-1 is not prime. Res64: 0CE46756981EAB5A Time : 0.0 sec. user=mdettweiler [2018-07-29 12:21:30] 981*2^1519787-1 is not prime. Res64: 010E765025123A12 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:21:31] 985*2^1519787-1 is not prime. Res64: 8E6A8E32A7861614 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:21:31] 633*2^1519788-1 is not prime. Res64: 9C19A5C3582227AD Time : 0.0 sec. user=mdettweiler [2018-07-29 12:21:32] 737*2^1519788-1 is not prime. Res64: 9E5DCC31684E89C6 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:39:39] 753*2^1519788-1 is not prime. Res64: 7FB7A544FC9B6E42 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:39:39] 915*2^1519788-1 is not prime. Res64: 52E3017CAB75DBCA Time : 0.0 sec. user=mdettweiler [2018-07-29 12:39:39] 923*2^1519788-1 is not prime. Res64: 0B76808C1913029E Time : 0.0 sec. user=mdettweiler [2018-07-29 12:39:40] 601*2^1519789-1 is not prime. Res64: AD546186DD08B82C Time : 0.0 sec. user=mdettweiler [2018-07-29 12:39:40] 625*2^1519789-1 is not prime. Res64: 4D815B04C88C0A6D Time : 0.0 sec. user=mdettweiler [2018-07-29 12:50:54] 699*2^1519789-1 is not prime. Res64: 0DC9ED59A896B0A8 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:50:54] 721*2^1519789-1 is not prime. Res64: 24E164C53B43AC78 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:50:54] 769*2^1519789-1 is not prime. Res64: 127FE38008922452 Time : 0.0 sec. user=mdettweiler [2018-07-29 12:50:55] 829*2^1519789-1 is not prime. Res64: CCF3812A70490F1D Time : 0.0 sec. user=mdettweiler [2018-07-29 12:50:55] 961*2^1519789-1 is not prime. Res64: 5BA70128338A0827 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:11:05] 979*2^1519789-1 is not prime. Res64: FABE33CC003C803C Time : 0.0 sec. user=mdettweiler [2018-07-29 13:11:06] 987*2^1519789-1 is not prime. Res64: B1EF51FEB334B563 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:11:06] 999*2^1519789-1 is not prime. Res64: 4D066C5194680D7B Time : 0.0 sec. user=mdettweiler [2018-07-29 13:11:07] 845*2^1519790-1 is not prime. Res64: C0903F9F8F70E627 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:11:09] 915*2^1519790-1 is not prime. Res64: 5AABEFB1FBA383AC Time : 0.0 sec. user=mdettweiler [2018-07-29 13:12:23] 917*2^1519790-1 is not prime. Res64: 7F6DEF0277EA608D Time : 0.0 sec. user=mdettweiler [2018-07-29 13:12:24] 651*2^1519791-1 is not prime. Res64: 593188C880C14691 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:12:24] 739*2^1519791-1 is not prime. Res64: DEF6002C289B596B Time : 0.0 sec. user=mdettweiler [2018-07-29 13:12:25] 783*2^1519791-1 is not prime. Res64: 1EE40334FBD33CC0 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:12:25] 891*2^1519791-1 is not prime. Res64: 679384119B0EE4CC Time : 0.0 sec. user=mdettweiler [2018-07-29 13:31:26] 813*2^1519792-1 is not prime. Res64: 6804867FD786C1B6 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:31:27] 855*2^1519792-1 is not prime. Res64: 5DD7A10757D038A6 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:31:27] 875*2^1519792-1 is not prime. Res64: 1CF1E2DB5E070198 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:31:27] 933*2^1519792-1 is not prime. Res64: 62268E118EEAE150 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:31:28] 685*2^1519793-1 is not prime. Res64: 4A0642F9FE6F15D4 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:41:33] 721*2^1519793-1 is not prime. Res64: 5AFF8F949528099A Time : 0.0 sec. user=mdettweiler [2018-07-29 13:41:33] 811*2^1519793-1 is not prime. Res64: 273CB22688F8D9CE Time : 0.0 sec. user=mdettweiler [2018-07-29 13:41:34] 831*2^1519793-1 is not prime. Res64: 4B5A84A6E6C1082D Time : 0.0 sec. user=mdettweiler [2018-07-29 13:41:34] 955*2^1519793-1 is not prime. Res64: C2DD61962718D905 Time : 0.0 sec. user=mdettweiler [2018-07-29 13:41:34] 605*2^1519794-1 is not prime. Res64: 7FECAC06B99EA219 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:03:13] 611*2^1519794-1 is not prime. Res64: 55003C8769A48DF8 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:03:14] 635*2^1519794-1 is not prime. Res64: 2FACBBE3D04104E9 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:03:15] 711*2^1519794-1 is not prime. Res64: 0EF682BE8E0CB500 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:03:16] 717*2^1519794-1 is not prime. Res64: 853DAFB0B98D23A8 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:03:17] 885*2^1519794-1 is not prime. Res64: 6F2A0F6FBAD08643 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:05:28] 921*2^1519794-1 is not prime. Res64: 5BA9BC67A0CDC3DF Time : 0.0 sec. user=mdettweiler [2018-07-29 14:05:29] 993*2^1519794-1 is not prime. Res64: 23DB8D3D93989752 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:05:30] 709*2^1519795-1 is not prime. Res64: 6F6B3A3D9D5F809D Time : 0.0 sec. user=mdettweiler [2018-07-29 14:05:31] 715*2^1519795-1 is not prime. Res64: 8F79079CCC9AE2BB Time : 0.0 sec. user=mdettweiler [2018-07-29 14:05:32] 793*2^1519795-1 is not prime. Res64: 260D4D34552306AA Time : 0.0 sec. user=mdettweiler [2018-07-29 14:25:05] 853*2^1519795-1 is not prime. Res64: 1CEC416D2E68AA7D Time : 0.0 sec. user=mdettweiler [2018-07-29 14:25:05] 861*2^1519795-1 is not prime. Res64: 4FDF28AD995EE2ED Time : 0.0 sec. user=mdettweiler [2018-07-29 14:25:05] 961*2^1519795-1 is not prime. Res64: DF3AEF58A81603F6 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:25:06] 789*2^1519796-1 is not prime. Res64: 5AA238B03171556F Time : 0.0 sec. user=mdettweiler [2018-07-29 14:25:06] 813*2^1519796-1 is not prime. Res64: 0FFE635E05CE9AD5 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:35:41] 825*2^1519796-1 is not prime. Res64: BFFA5FB7E3D52BCA Time : 0.0 sec. user=mdettweiler [2018-07-29 14:35:42] 873*2^1519796-1 is not prime. Res64: 5D105530C2FCE877 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:35:42] 903*2^1519796-1 is not prime. Res64: E3ECE005B7B38F3E Time : 0.0 sec. user=mdettweiler [2018-07-29 14:35:43] 957*2^1519796-1 is not prime. Res64: 1747B97C8E08E0A8 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:35:43] 621*2^1519797-1 is not prime. Res64: B8D64329A83A7A6C Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:01] 651*2^1519797-1 is not prime. Res64: 3050E01DF482CB5E Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:01] 691*2^1519797-1 is not prime. Res64: 3E7D5960402652E0 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:01] 835*2^1519797-1 is not prime. Res64: A2B083A72BA43E22 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:02] 927*2^1519797-1 is not prime. Res64: 8E0CC08568B92857 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:02] 621*2^1519798-1 is not prime. Res64: E0095CF8539C8A59 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:58] 623*2^1519798-1 is not prime. Res64: 356BD3F88C2AA8B6 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:58] 821*2^1519798-1 is not prime. Res64: B813DE92311722BA Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:59] 941*2^1519798-1 is not prime. Res64: 743E887916026CD4 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:59] 685*2^1519799-1 is not prime. Res64: 24EAC9FAF4CE7263 Time : 0.0 sec. user=mdettweiler [2018-07-29 14:57:59] 693*2^1519799-1 is not prime. Res64: 501585BFB9D65945 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:16:34] 729*2^1519799-1 is not prime. Res64: 4CBB98F8ADD3F6EE Time : 0.0 sec. user=mdettweiler [2018-07-29 15:16:34] 823*2^1519799-1 is not prime. Res64: DC8CCEA6009D0A75 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:16:35] 831*2^1519799-1 is not prime. Res64: 891F6290F930CE87 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:16:35] 895*2^1519799-1 is not prime. Res64: ACC6EECF6033B218 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:16:36] 939*2^1519799-1 is not prime. Res64: 33ECA75A10174501 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:26:46] 999*2^1519799-1 is not prime. Res64: C713336A3C6E0391 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:26:46] 627*2^1519800-1 is not prime. Res64: 154E0071760B8940 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:26:46] 633*2^1519800-1 is not prime. Res64: 4393724D5DA2A0BC Time : 0.0 sec. user=mdettweiler [2018-07-29 15:26:47] 735*2^1519800-1 is not prime. Res64: 81A6CD2FBE46A81D Time : 0.0 sec. user=mdettweiler [2018-07-29 15:26:47] 747*2^1519800-1 is not prime. Res64: A672914CA5E866B9 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:47:41] 753*2^1519800-1 is not prime. Res64: D2CF88AF3EF478AB Time : 0.0 sec. user=mdettweiler [2018-07-29 15:47:41] 899*2^1519800-1 is not prime. Res64: 176331B37C0B5394 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:47:41] 625*2^1519801-1 is not prime. Res64: 9EF67A902E2B9C2B Time : 0.0 sec. user=mdettweiler [2018-07-29 15:47:42] 937*2^1519801-1 is not prime. Res64: 54242917E661399F Time : 0.0 sec. user=mdettweiler [2018-07-29 15:47:42] 615*2^1519802-1 is not prime. Res64: E65AFD8467F7E428 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:48:21] 677*2^1519802-1 is not prime. Res64: 4D088F4AF02F39C0 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:48:21] 797*2^1519802-1 is not prime. Res64: 12BC1E432D59E052 Time : 0.0 sec. user=mdettweiler [2018-07-29 15:48:22] 609*2^1519803-1 is not prime. Res64: 27C9E5660EB192EA Time : 0.0 sec. user=mdettweiler [2018-07-29 15:48:22] 619*2^1519803-1 is not prime. Res64: EC412E7416928D8F Time : 0.0 sec. user=mdettweiler [2018-07-29 15:48:22] 679*2^1519803-1 is not prime. Res64: CAA36B4D1B377279 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:07:50] 769*2^1519803-1 is not prime. Res64: B40C2BA1DAF9F569 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:07:51] 781*2^1519803-1 is not prime. Res64: 4BC957082D80AB6D Time : 0.0 sec. user=mdettweiler [2018-07-29 16:07:52] 789*2^1519803-1 is not prime. Res64: 3CA14108858D7403 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:07:52] 823*2^1519803-1 is not prime. Res64: A33802306FD01D11 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:07:53] 891*2^1519803-1 is not prime. Res64: DEDC4D62F629C432 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:17:50] 963*2^1519803-1 is not prime. Res64: B779DD38BF5D2084 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:17:50] 973*2^1519803-1 is not prime. Res64: 5B5423C3889EB2B7 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:17:50] 635*2^1519804-1 is not prime. Res64: DACA6EB28B8084E8 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:17:51] 843*2^1519804-1 is not prime. Res64: 29BDCDE6CE774285 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:17:51] 897*2^1519804-1 is not prime. Res64: 43596AE5AA9431AD Time : 0.0 sec. user=mdettweiler [2018-07-29 16:38:25] 995*2^1519804-1 is not prime. Res64: FA2A31093B8A0F91 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:38:25] 645*2^1519805-1 is not prime. Res64: E9DA6E443C22FA1A Time : 0.0 sec. user=mdettweiler [2018-07-29 16:38:25] 735*2^1519805-1 is not prime. Res64: 200FAD012382BAF6 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:38:26] 867*2^1519805-1 is not prime. Res64: 2D811473EEEE6AB6 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:38:26] 707*2^1519806-1 is not prime. Res64: 3D9C2F6762F20BBA Time : 0.0 sec. user=mdettweiler [2018-07-29 16:39:15] 807*2^1519806-1 is not prime. Res64: 5ADF09C53169953A Time : 0.0 sec. user=mdettweiler [2018-07-29 16:39:15] 821*2^1519806-1 is not prime. Res64: 5A37299F2C1203BA Time : 0.0 sec. user=mdettweiler [2018-07-29 16:39:16] 833*2^1519806-1 is not prime. Res64: 24DC678A87310B51 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:39:16] 921*2^1519806-1 is not prime. Res64: DBD409415F8138E0 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:39:16] 769*2^1519807-1 is not prime. Res64: 9363082CCA93A067 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:59:06] 775*2^1519807-1 is not prime. Res64: 79267702BD47FECD Time : 0.0 sec. user=mdettweiler [2018-07-29 16:59:07] 819*2^1519807-1 is not prime. Res64: 84B21834F7D58071 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:59:07] 871*2^1519807-1 is not prime. Res64: 9F26C3850A1307C0 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:59:07] 891*2^1519807-1 is not prime. Res64: AF4E4351E117D9A7 Time : 0.0 sec. user=mdettweiler [2018-07-29 16:59:08] 975*2^1519807-1 is not prime. Res64: C392B53C1E9AB378 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:08:50] 617*2^1519808-1 is not prime. Res64: 24782DC290E6F3AD Time : 0.0 sec. user=mdettweiler [2018-07-29 17:08:51] 689*2^1519808-1 is not prime. Res64: 99EAB3BB1F0F981B Time : 0.0 sec. user=mdettweiler [2018-07-29 17:08:51] 755*2^1519808-1 is not prime. Res64: 6A806D4DDDE7CF20 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:08:52] 827*2^1519808-1 is not prime. Res64: E01A656B3FBA7FFD Time : 0.0 sec. user=mdettweiler [2018-07-29 17:08:52] 843*2^1519808-1 is not prime. Res64: 1BC7944BF383172B Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:18] 855*2^1519808-1 is not prime. Res64: D842B4598F979BAF Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:18] 869*2^1519808-1 is not prime. Res64: 298B563007F7B901 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:19] 657*2^1519809-1 is not prime. Res64: 8B96CED7F3F8009C Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:19] 681*2^1519809-1 is not prime. Res64: 8471DA9075510206 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:20] 751*2^1519809-1 is not prime. Res64: ECB6375A01EADD06 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:49] 829*2^1519809-1 is not prime. Res64: 5AAD1811CF63C77A Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:49] 835*2^1519809-1 is not prime. Res64: 7C00338898CEBBF7 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:49] 909*2^1519809-1 is not prime. Res64: 58226F4C69A00CC4 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:50] 969*2^1519809-1 is not prime. Res64: 7282A517A6A0967A Time : 0.0 sec. user=mdettweiler [2018-07-29 17:29:50] 701*2^1519810-1 is not prime. Res64: AD511B20596B30A6 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:49:43] 813*2^1519810-1 is not prime. Res64: 47E2DE35FF8DA522 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:49:43] 867*2^1519810-1 is not prime. Res64: F0C581B51BF96D48 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:49:44] 933*2^1519810-1 is not prime. Res64: EEC1100313D8FB7C Time : 0.0 sec. user=mdettweiler [2018-07-29 17:49:44] 995*2^1519810-1 is not prime. Res64: E120F5ED69AA1837 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:49:44] 621*2^1519811-1 is not prime. Res64: EA6105D6D6462310 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:59:24] 643*2^1519811-1 is not prime. Res64: 021B8D9128BDAAA5 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:59:24] 679*2^1519811-1 is not prime. Res64: 348E97BC9527011C Time : 0.0 sec. user=mdettweiler [2018-07-29 17:59:25] 715*2^1519811-1 is not prime. Res64: D3979DF68BF4B411 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:59:25] 871*2^1519811-1 is not prime. Res64: 51EFE05E8379B864 Time : 0.0 sec. user=mdettweiler [2018-07-29 17:59:25] 909*2^1519811-1 is not prime. Res64: 00737B26DCE79D42 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:19:52] 949*2^1519811-1 is not prime. Res64: 7B4BF0D2484E89CF Time : 0.0 sec. user=mdettweiler [2018-07-29 18:19:53] 973*2^1519811-1 is not prime. Res64: 3CA750172D6FAE0D Time : 0.0 sec. user=mdettweiler [2018-07-29 18:19:53] 981*2^1519811-1 is not prime. Res64: B93C559DB5853605 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:19:53] 719*2^1519812-1 is not prime. Res64: 6273B534D052B46D Time : 0.0 sec. user=mdettweiler [2018-07-29 18:19:54] 753*2^1519812-1 is not prime. Res64: F95B9A4373AB135B Time : 0.0 sec. user=mdettweiler [2018-07-29 18:20:26] 759*2^1519812-1 is not prime. Res64: 29404E25E80CCEB5 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:20:27] 819*2^1519812-1 is not prime. Res64: 5B5A8305F5E14700 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:20:27] 843*2^1519812-1 is not prime. Res64: 022FF02E56F51E08 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:20:28] 887*2^1519812-1 is not prime. Res64: 2247CDC3637A0651 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:20:28] 903*2^1519812-1 is not prime. Res64: E1352F14296327CB Time : 0.0 sec. user=mdettweiler [2018-07-29 18:40:41] 745*2^1519813-1 is not prime. Res64: F5CF466834C1B845 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:40:41] 831*2^1519813-1 is not prime. Res64: 57FD19BB3BF4E27B Time : 0.0 sec. user=mdettweiler [2018-07-29 18:40:41] 861*2^1519813-1 is not prime. Res64: 6EACB1A2B80233AC Time : 0.0 sec. user=mdettweiler [2018-07-29 18:40:42] 919*2^1519813-1 is not prime. Res64: E6D0D1E319F5E2C1 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:40:42] 945*2^1519813-1 is not prime. Res64: B024612A26D4599A Time : 0.0 sec. user=mdettweiler [2018-07-29 18:50:42] 957*2^1519813-1 is not prime. Res64: 41D1C8E090521620 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:50:43] 987*2^1519813-1 is not prime. Res64: B488A0A1BB39696E Time : 0.0 sec. user=mdettweiler [2018-07-29 18:50:43] 665*2^1519814-1 is not prime. Res64: 7847156A061C8C82 Time : 0.0 sec. user=mdettweiler [2018-07-29 18:50:43] 693*2^1519814-1 is not prime. Res64: 14FE75222A3A26AF Time : 0.0 sec. user=mdettweiler [2018-07-29 18:50:44] 755*2^1519814-1 is not prime. Res64: B20695270547458F Time : 0.0 sec. user=mdettweiler [2018-07-29 19:10:55] 827*2^1519814-1 is not prime. Res64: 87FF81AEC582CA00 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:10:56] 885*2^1519814-1 is not prime. Res64: 2FA044C0EA17B481 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:10:56] 663*2^1519815-1 is not prime. Res64: 0DC34C68EE5CFFC1 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:10:57] 685*2^1519815-1 is not prime. Res64: 9DAAD7ABC4D898FA Time : 0.0 sec. user=mdettweiler [2018-07-29 19:10:57] 739*2^1519815-1 is not prime. Res64: E6FA561B9F0AEBCF Time : 0.0 sec. user=mdettweiler [2018-07-29 19:11:26] 919*2^1519815-1 is not prime. Res64: E297B5F826DF8BDD Time : 0.0 sec. user=mdettweiler [2018-07-29 19:11:26] 949*2^1519815-1 is not prime. Res64: 6598F000A28287BB Time : 0.0 sec. user=mdettweiler [2018-07-29 19:11:26] 807*2^1519816-1 is not prime. Res64: 5B044B6CF8230E9B Time : 0.0 sec. user=mdettweiler [2018-07-29 19:11:27] 833*2^1519816-1 is not prime. Res64: 799E5050A0B9F635 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:11:27] 645*2^1519817-1 is not prime. Res64: 880EC40469737DC4 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:31:45] 675*2^1519817-1 is not prime. Res64: AE304E62F06FCD02 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:31:45] 879*2^1519817-1 is not prime. Res64: E74948BCE61EB724 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:31:46] 997*2^1519817-1 is not prime. Res64: 948AC81225F3708A Time : 0.0 sec. user=mdettweiler [2018-07-29 19:31:46] 671*2^1519818-1 is not prime. Res64: D5A06C55CF581A27 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:31:46] 711*2^1519818-1 is not prime. Res64: 2C37D22C798D7729 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:41:44] 735*2^1519818-1 is not prime. Res64: 6892BC55E1474310 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:41:44] 747*2^1519818-1 is not prime. Res64: E989B9A10ED8C7F1 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:41:45] 927*2^1519818-1 is not prime. Res64: 8EE5C0172B68BC55 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:41:45] 945*2^1519818-1 is not prime. Res64: 428668B6D9434E28 Time : 0.0 sec. user=mdettweiler [2018-07-29 19:41:46] 1001*2^1519818-1 is not prime. Res64: A8965427AF04AB15 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:02:22] 891*2^1519819-1 is not prime. Res64: A9D44686B9ADFECA Time : 0.0 sec. user=mdettweiler [2018-07-29 20:02:23] 919*2^1519819-1 is not prime. Res64: 6057BE90B73B72A7 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:02:24] 943*2^1519819-1 is not prime. Res64: E9F861EC85C33B6E Time : 0.0 sec. user=mdettweiler [2018-07-29 20:02:25] 707*2^1519820-1 is not prime. Res64: 40B850727042C4DA Time : 0.0 sec. user=mdettweiler [2018-07-29 20:02:25] 879*2^1519820-1 is not prime. Res64: A5C5D77380B26C9D Time : 0.0 sec. user=mdettweiler [2018-07-29 20:03:05] 733*2^1519819-1 is not prime. Res64: EF8CC710607394D0 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:03:07] 741*2^1519819-1 is not prime. Res64: 9C86E4ECCA13F02B Time : 0.0 sec. user=mdettweiler [2018-07-29 20:03:10] 835*2^1519819-1 is not prime. Res64: EE879CC33AEBCA89 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:03:12] 853*2^1519819-1 is not prime. Res64: 542CDFC1322538E7 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:03:14] 861*2^1519819-1 is not prime. Res64: 71BFD39F5B0A41C4 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:22:32] 963*2^1519820-1 is not prime. Res64: DAC1754D5F11F2AB Time : 0.0 sec. user=mdettweiler [2018-07-29 20:22:33] 621*2^1519821-1 is not prime. Res64: 24D80E3D81060642 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:22:33] 639*2^1519821-1 is not prime. Res64: 3C5841926DE3652E Time : 0.0 sec. user=mdettweiler [2018-07-29 20:22:33] 685*2^1519821-1 is not prime. Res64: 12ED5404E3E17AF5 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:22:34] 717*2^1519821-1 is not prime. Res64: 023C19D87794437F Time : 0.0 sec. user=mdettweiler [2018-07-29 20:32:44] 747*2^1519821-1 is not prime. Res64: 6B92233D9AE2D951 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:32:44] 789*2^1519821-1 is not prime. Res64: 8838DC5256F79ACC Time : 0.0 sec. user=mdettweiler [2018-07-29 20:32:44] 859*2^1519821-1 is not prime. Res64: 7DE2B674CBE5B06C Time : 0.0 sec. user=mdettweiler [2018-07-29 20:32:45] 999*2^1519821-1 is not prime. Res64: 743A4FE2568505FC Time : 0.0 sec. user=mdettweiler [2018-07-29 20:32:45] 623*2^1519822-1 is not prime. Res64: 673E3A2BD1038E28 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:00] 693*2^1519823-1 is not prime. Res64: BCE4404F13B0B173 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:00] 703*2^1519823-1 is not prime. Res64: 27DB7F67A0471D22 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:01] 705*2^1519823-1 is not prime. Res64: FC88230D28C7A569 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:01] 753*2^1519823-1 is not prime. Res64: 43ADBE9691AE9242 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:01] 861*2^1519823-1 is not prime. Res64: C2774B3AC3E1ED6E Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:02] 741*2^1519822-1 is not prime. Res64: 5660344293CAFDCF Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:03] 855*2^1519822-1 is not prime. Res64: AE589FB6E59C9FB1 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:03] 863*2^1519822-1 is not prime. Res64: E9F0496997E3AAF1 Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:03] 923*2^1519822-1 is not prime. Res64: E909477A0626314F Time : 0.0 sec. user=mdettweiler [2018-07-29 20:54:04] 945*2^1519822-1 is not prime. Res64: AB01CA699387C41E Time : 0.0 sec. user=mdettweiler [2018-07-29 21:13:24] 885*2^1519823-1 is not prime. Res64: 1B8CAE716C457DB1 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:13:25] 895*2^1519823-1 is not prime. Res64: 917BAF712C78FA6C Time : 0.0 sec. user=mdettweiler [2018-07-29 21:13:25] 913*2^1519823-1 is not prime. Res64: 5C48E8FF4C5DA1DC Time : 0.0 sec. user=mdettweiler [2018-07-29 21:13:25] 973*2^1519823-1 is not prime. Res64: 1CCF6E4BB2060F59 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:13:26] 635*2^1519824-1 is not prime. Res64: 000A1884BC20CD44 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:23:45] 657*2^1519824-1 is not prime. Res64: 726709586AF472E4 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:23:46] 693*2^1519824-1 is not prime. Res64: 1E2CEA4E9E58E6BC Time : 0.0 sec. user=mdettweiler [2018-07-29 21:23:46] 857*2^1519824-1 is not prime. Res64: 78974256D5DB4343 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:23:46] 899*2^1519824-1 is not prime. Res64: FCAF21EFA367D10D Time : 0.0 sec. user=mdettweiler [2018-07-29 21:23:47] 923*2^1519824-1 is not prime. Res64: D1BD06ED9912288F Time : 0.0 sec. user=mdettweiler [2018-07-29 21:44:55] 657*2^1519826-1 is not prime. Res64: C38F55E57782EF54 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:44:55] 683*2^1519826-1 is not prime. Res64: 5588A05930F790A3 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:44:56] 743*2^1519826-1 is not prime. Res64: 4C6BB06BEB51D860 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:44:56] 755*2^1519826-1 is not prime. Res64: 066889831E9FB5D2 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:44:56] 767*2^1519826-1 is not prime. Res64: DDEE217AC276EF55 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:45:04] 945*2^1519824-1 is not prime. Res64: 4C5A37AE2E8FBCD2 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:45:05] 727*2^1519825-1 is not prime. Res64: 77906472BE907FD5 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:45:05] 817*2^1519825-1 is not prime. Res64: 7E5496B7C57D6624 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:45:05] 985*2^1519825-1 is not prime. Res64: 2E9BDB7585036D35 Time : 0.0 sec. user=mdettweiler [2018-07-29 21:45:06] 641*2^1519826-1 is not prime. Res64: 0E75A2E3399C2BFE Time : 0.0 sec. user=mdettweiler [2018-07-29 22:04:07] 785*2^1519826-1 is not prime. Res64: 5617F291728FF6ED Time : 0.0 sec. user=mdettweiler [2018-07-29 22:04:08] 815*2^1519826-1 is not prime. Res64: 7D1225F42665159D Time : 0.0 sec. user=mdettweiler [2018-07-29 22:04:09] 893*2^1519826-1 is not prime. Res64: 923ECC4CEE3D87C8 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:04:10] 829*2^1519827-1 is not prime. Res64: 55FFDEEC7CFB5A08 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:04:11] 919*2^1519827-1 is not prime. Res64: 421409539CE7D7B2 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:13:58] 605*2^1519828-1 is not prime. Res64: DF14EB73AAA4C16D Time : 0.0 sec. user=mdettweiler [2018-07-29 22:13:58] 663*2^1519828-1 is not prime. Res64: 8194E9F6F58CB2CE Time : 0.0 sec. user=mdettweiler [2018-07-29 22:13:59] 735*2^1519828-1 is not prime. Res64: 2C86A7CFC499D2C7 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:13:59] 833*2^1519828-1 is not prime. Res64: 01157FE96F58A964 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:14:00] 839*2^1519828-1 is not prime. Res64: 2CF5F74426C6913F Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:48] 769*2^1519829-1 is not prime. Res64: CC5F52F77FAA6923 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:48] 615*2^1519830-1 is not prime. Res64: DEB388FCAF5784C1 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:49] 681*2^1519830-1 is not prime. Res64: CE98B776137082EF Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:49] 755*2^1519830-1 is not prime. Res64: 47FC874878F5C74A Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:50] 797*2^1519830-1 is not prime. Res64: E097EDC505C5D4B2 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:54] 899*2^1519828-1 is not prime. Res64: 6C1DD5F1DDDF596C Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:54] 915*2^1519828-1 is not prime. Res64: 80DAE04B9B58A425 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:54] 615*2^1519829-1 is not prime. Res64: E93A1691C49A82B9 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:55] 711*2^1519829-1 is not prime. Res64: 2C722F0A0E02E131 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:35:55] 735*2^1519829-1 is not prime. Res64: 51513EF7AA865FC4 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:55:16] 833*2^1519830-1 is not prime. Res64: BD3CEF03D5DFCFED Time : 0.0 sec. user=mdettweiler [2018-07-29 22:55:16] 843*2^1519830-1 is not prime. Res64: 246F17B1D50D0A5A Time : 0.0 sec. user=mdettweiler [2018-07-29 22:55:17] 963*2^1519830-1 is not prime. Res64: 29B4C0B4604A8B6C Time : 0.0 sec. user=mdettweiler [2018-07-29 22:55:17] 965*2^1519830-1 is not prime. Res64: 5EA62253AFA5CD65 Time : 0.0 sec. user=mdettweiler [2018-07-29 22:55:17] 673*2^1519831-1 is not prime. Res64: 059E72F73A50024A Time : 0.0 sec. user=mdettweiler [2018-07-29 23:06:07] 843*2^1519831-1 is not prime. Res64: 9C4BD6C5887B519B Time : 0.0 sec. user=mdettweiler [2018-07-29 23:06:08] 849*2^1519831-1 is not prime. Res64: D451EFAF71245C7E Time : 0.0 sec. user=mdettweiler [2018-07-29 23:06:09] 871*2^1519831-1 is not prime. Res64: 9835441290FD4A6B Time : 0.0 sec. user=mdettweiler [2018-07-29 23:06:10] 931*2^1519831-1 is not prime. Res64: E6B5C861535F3013 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:06:11] 693*2^1519832-1 is not prime. Res64: 4A267824C687AAB0 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:26:45] 893*2^1519832-1 is not prime. Res64: 9BB99605B317D974 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:26:45] 607*2^1519833-1 is not prime. Res64: 9B31F2B0AEF1B90F Time : 0.0 sec. user=mdettweiler [2018-07-29 23:26:45] 741*2^1519833-1 is not prime. Res64: 7A4ED752E47FCB88 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:26:46] 787*2^1519833-1 is not prime. Res64: A6CB24992A4D31EB Time : 0.0 sec. user=mdettweiler [2018-07-29 23:26:46] 871*2^1519833-1 is not prime. Res64: EFAA7A31CEA8D36C Time : 0.0 sec. user=mdettweiler [2018-07-29 23:27:19] 895*2^1519833-1 is not prime. Res64: 6F7BE85EED095712 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:27:19] 621*2^1519834-1 is not prime. Res64: D32261242F0E7061 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:27:20] 665*2^1519834-1 is not prime. Res64: 39504F1C0129FC7F Time : 0.0 sec. user=mdettweiler [2018-07-29 23:27:20] 681*2^1519834-1 is not prime. Res64: DE9EA3CBE4162FD5 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:27:21] 687*2^1519834-1 is not prime. Res64: 30D0109E7EC64394 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:46:53] 707*2^1519834-1 is not prime. Res64: 157C674683C96A18 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:46:54] 717*2^1519834-1 is not prime. Res64: 0F5559A8C621C0C2 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:46:54] 815*2^1519834-1 is not prime. Res64: 4A0194234679D50F Time : 0.0 sec. user=mdettweiler [2018-07-29 23:46:54] 833*2^1519834-1 is not prime. Res64: 4324F6E0DD54AF6E Time : 0.0 sec. user=mdettweiler [2018-07-29 23:46:55] 857*2^1519834-1 is not prime. Res64: 4646B94B3A38975C Time : 0.0 sec. user=mdettweiler [2018-07-29 23:57:22] 945*2^1519834-1 is not prime. Res64: 513B36AAB3914350 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:57:22] 603*2^1519835-1 is not prime. Res64: A44024058E4F29C0 Time : 0.0 sec. user=mdettweiler [2018-07-29 23:57:23] 645*2^1519835-1 is not prime. Res64: 2CD9C845E79D511A Time : 0.0 sec. user=mdettweiler [2018-07-29 23:57:23] 669*2^1519835-1 is not prime. Res64: 7B339D695828142D Time : 0.0 sec. user=mdettweiler [2018-07-29 23:57:23] 685*2^1519835-1 is not prime. Res64: DE21A055189B363B Time : 0.0 sec.