user=mdettweiler [2019-08-23 00:17:40] 711*2^1545227-1 is not prime. Res64: 1293E656EEFCD91C Time : 0.0 sec. user=mdettweiler [2019-08-23 00:17:40] 733*2^1545227-1 is not prime. Res64: 55261091BEDCDC04 Time : 0.0 sec. user=mdettweiler [2019-08-23 00:17:41] 825*2^1545227-1 is not prime. Res64: 066FD1CFB059C330 Time : 0.0 sec. user=mdettweiler [2019-08-23 00:17:42] 871*2^1545227-1 is not prime. Res64: 12F58C5E4997AE62 Time : 0.0 sec. user=mdettweiler [2019-08-23 00:17:42] 883*2^1545227-1 is not prime. Res64: 05F503DEBEA8671E Time : 0.0 sec. user=mdettweiler [2019-08-23 00:22:43] 993*2^1545227-1 is not prime. Res64: A32F0117709E588A Time : 0.0 sec. user=mdettweiler [2019-08-23 00:22:44] 639*2^1545228-1 is not prime. Res64: 904FC924A8520390 Time : 0.0 sec. user=mdettweiler [2019-08-23 00:22:44] 737*2^1545228-1 is not prime. Res64: 4D04CC109E111DFF Time : 0.0 sec. user=mdettweiler [2019-08-23 00:22:45] 765*2^1545228-1 is not prime. Res64: ABED8184AF9B6E3E Time : 0.0 sec. user=mdettweiler [2019-08-23 00:22:45] 783*2^1545228-1 is not prime. Res64: 11881845CEC2AD12 Time : 0.0 sec. user=mdettweiler [2019-08-23 00:34:50] 795*2^1545228-1 is not prime. Res64: F2497B98CB832313 Time : 0.0 sec. user=mdettweiler [2019-08-23 00:34:51] 915*2^1545228-1 is not prime. Res64: 37478384ABE8E426 Time : 0.0 sec. user=mdettweiler [2019-08-23 00:34:52] 959*2^1545228-1 is not prime. Res64: 527152D8C7EE035E Time : 0.0 sec. user=mdettweiler [2019-08-23 00:34:53] 801*2^1545229-1 is not prime. Res64: 96AC70DCAE746159 Time : 0.0 sec. user=mdettweiler [2019-08-23 00:34:54] 997*2^1545229-1 is not prime. Res64: 2B492DAC87A71076 Time : 0.0 sec. user=mdettweiler [2019-08-23 01:21:35] 843*2^1545230-1 is not prime. Res64: B821D78C977B6777 Time : 0.0 sec. user=mdettweiler [2019-08-23 01:21:36] 861*2^1545230-1 is not prime. Res64: 968EAAF66B994D46 Time : 0.0 sec. user=mdettweiler [2019-08-23 01:21:36] 977*2^1545230-1 is not prime. Res64: 21E798D5706ADA63 Time : 0.0 sec. user=mdettweiler [2019-08-23 01:21:37] 619*2^1545231-1 is not prime. Res64: DB5F8E9A0A8A6944 Time : 0.0 sec. user=mdettweiler [2019-08-23 01:21:37] 621*2^1545231-1 is not prime. Res64: EB3B24F8EB5110D0 Time : 0.0 sec. user=mdettweiler [2019-08-23 01:30:11] 661*2^1545231-1 is not prime. Res64: 342AD8215EE78619 Time : 0.0 sec. user=mdettweiler [2019-08-23 01:30:19] 705*2^1545231-1 is not prime. Res64: B40DF7B62DB9F68B Time : 0.0 sec. user=mdettweiler [2019-08-23 01:40:23] 739*2^1545231-1 is not prime. Res64: C76F91A1169938A6 Time : 0.0 sec. user=mdettweiler [2019-08-23 02:02:07] 795*2^1545221-1 is not prime. Res64: E906242DA0D683B9 Time : 0.0 sec. user=mdettweiler [2019-08-23 07:30:46] 901*2^1545221-1 is not prime. Res64: 2E49729D1F47E6EE Time : 0.0 sec. user=mdettweiler [2019-08-23 07:30:47] 705*2^1545222-1 is not prime. Res64: 87302D5D6AFF3774 Time : 0.0 sec. user=mdettweiler [2019-08-23 08:12:31] 709*2^1545231-1 is not prime. Res64: E161DE7B81F9429B Time : 0.0 sec. user=mdettweiler [2019-08-23 08:12:32] 723*2^1545231-1 is not prime. Res64: 4A717930948B04F2 Time : 0.0 sec. user=mdettweiler [2019-08-23 08:12:33] 735*2^1545231-1 is not prime. Res64: 0E40876AF19599C1 Time : 0.0 sec. user=mdettweiler [2019-08-23 08:54:51] 861*2^1545231-1 is not prime. Res64: EA972031F2BA1941 Time : 0.0 sec. user=mdettweiler [2019-08-23 08:54:52] 909*2^1545231-1 is not prime. Res64: F39B6A378A9EDDBC Time : 0.0 sec. user=mdettweiler [2019-08-23 08:54:52] 945*2^1545231-1 is not prime. Res64: 184C4A44C10F4B08 Time : 0.0 sec. user=mdettweiler [2019-08-23 08:54:53] 615*2^1545232-1 is not prime. Res64: 7A5633CF6B46F6EE Time : 0.0 sec. user=mdettweiler [2019-08-23 09:01:04] 879*2^1545233-1 is not prime. Res64: DD013BBAEDAED826 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:01:07] 901*2^1545233-1 is not prime. Res64: F76243647C72A1B7 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:01:10] 611*2^1545234-1 is not prime. Res64: 91EED80B28E486FA Time : 0.0 sec. user=mdettweiler [2019-08-23 09:01:13] 663*2^1545234-1 is not prime. Res64: 5210FC81419B25D1 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:01:15] 945*2^1545234-1 is not prime. Res64: B11011A775E5D680 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:03:56] 825*2^1545232-1 is not prime. Res64: 3D53171819CDB061 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:04:00] 939*2^1545232-1 is not prime. Res64: D3857037D555CF8F Time : 0.0 sec. user=mdettweiler [2019-08-23 09:04:03] 715*2^1545233-1 is not prime. Res64: 8A463FFFB73320FE Time : 0.0 sec. user=mdettweiler [2019-08-23 09:04:06] 741*2^1545233-1 is not prime. Res64: C0301CFB5AB9D2C7 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:04:09] 805*2^1545233-1 is not prime. Res64: C5C673EDCA689936 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:21:32] 645*2^1545235-1 is not prime. Res64: 70F5A5043989ADC1 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:21:33] 693*2^1545235-1 is not prime. Res64: DCADA36A818FA414 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:21:34] 883*2^1545235-1 is not prime. Res64: F45F752F5E5F4D3F Time : 0.0 sec. user=mdettweiler [2019-08-23 09:21:35] 919*2^1545235-1 is not prime. Res64: C77536A6108F5465 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:21:37] 617*2^1545236-1 is not prime. Res64: C01910596225682D Time : 0.0 sec. user=mdettweiler [2019-08-23 09:56:15] 897*2^1545236-1 is not prime. Res64: 59A5773B20B317D3 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:56:16] 909*2^1545236-1 is not prime. Res64: 04BA05E8BDE2FE4A Time : 0.0 sec. user=mdettweiler [2019-08-23 09:56:17] 669*2^1545237-1 is not prime. Res64: 751A14A06ED0ACA1 Time : 0.0 sec. user=mdettweiler [2019-08-23 09:56:18] 717*2^1545237-1 is not prime. Res64: 5AF6CAB1FEBB7CFA Time : 0.0 sec. user=mdettweiler [2019-08-23 09:56:19] 861*2^1545237-1 is not prime. Res64: A387A9A2060E73E8 Time : 0.0 sec. user=mdettweiler [2019-08-23 10:07:40] 919*2^1545237-1 is not prime. Res64: 97570F290F168AB5 Time : 0.0 sec. user=mdettweiler [2019-08-23 10:07:50] 997*2^1545237-1 is not prime. Res64: EC1D3E5B93EE9258 Time : 0.0 sec. user=mdettweiler [2019-08-23 10:07:54] 635*2^1545238-1 is not prime. Res64: 38938E2D5EF6210F Time : 0.0 sec. user=mdettweiler [2019-08-23 10:07:58] 645*2^1545238-1 is not prime. Res64: BF07568ED9A83AE4 Time : 0.0 sec. user=mdettweiler [2019-08-23 10:08:02] 705*2^1545238-1 is not prime. Res64: 9AB1242EC62C34B0 Time : 0.0 sec. user=mdettweiler [2019-08-23 10:09:12] 791*2^1545238-1 is not prime. Res64: 1546D2282B931F91 Time : 0.0 sec. user=mdettweiler [2019-08-23 10:25:09] 645*2^1545239-1 is not prime. Res64: 4E2128DCE31947EA Time : 0.0 sec. user=mdettweiler [2019-08-23 10:25:10] 669*2^1545239-1 is not prime. Res64: D71D79BE2B677671 Time : 0.0 sec. user=mdettweiler [2019-08-23 10:25:11] 711*2^1545239-1 is not prime. Res64: AD68E868EACBBD9C Time : 0.0 sec. user=mdettweiler [2019-08-23 10:25:11] 775*2^1545239-1 is not prime. Res64: 4C1FE389F549FC0B Time : 0.0 sec. user=mdettweiler [2019-08-23 10:25:12] 725*2^1545240-1 is not prime. Res64: 35AAF12A82A702A4 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:04:27] 845*2^1545240-1 is not prime. Res64: 31B5824DCC75036F Time : 0.0 sec. user=mdettweiler [2019-08-23 11:04:30] 857*2^1545240-1 is not prime. Res64: 420C53F7E6D0FA15 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:04:33] 873*2^1545240-1 is not prime. Res64: 4314B77A3C381364 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:04:36] 945*2^1545240-1 is not prime. Res64: 5B29F2AE2F1F0F54 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:04:39] 983*2^1545240-1 is not prime. Res64: F5E2BF9410525483 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:14:34] 999*2^1545240-1 is not prime. Res64: B68D837A51958EB9 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:14:35] 625*2^1545241-1 is not prime. Res64: EB4E2EB29F78D6E1 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:14:36] 705*2^1545241-1 is not prime. Res64: D7668CAF063F3217 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:14:37] 769*2^1545241-1 is not prime. Res64: BD40466CEE21251C Time : 0.0 sec. user=mdettweiler [2019-08-23 11:14:38] 807*2^1545241-1 is not prime. Res64: 64560E36889B8148 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:34:38] 871*2^1545241-1 is not prime. Res64: 06F5825659E4E7E9 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:34:39] 895*2^1545241-1 is not prime. Res64: 6A78987DA3A64FBD Time : 0.0 sec. user=mdettweiler [2019-08-23 11:34:40] 615*2^1545242-1 is not prime. Res64: 30D893135D743827 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:34:41] 617*2^1545242-1 is not prime. Res64: 442307735B9DAEB1 Time : 0.0 sec. user=mdettweiler [2019-08-23 11:34:41] 627*2^1545242-1 is not prime. Res64: 6B51ECF0A31ADCED Time : 0.0 sec. user=mdettweiler [2019-08-23 12:22:59] 675*2^1545242-1 is not prime. Res64: 4328EBC0EE32654F Time : 0.0 sec. user=mdettweiler [2019-08-23 12:23:00] 683*2^1545242-1 is not prime. Res64: B87644CBAB58DE75 Time : 0.0 sec. user=mdettweiler [2019-08-23 12:23:00] 735*2^1545242-1 is not prime. Res64: 83088032887EFC19 Time : 0.0 sec. user=mdettweiler [2019-08-23 12:23:01] 963*2^1545242-1 is not prime. Res64: 233FD4AC02C0C39F Time : 0.0 sec. user=mdettweiler [2019-08-23 12:23:02] 619*2^1545243-1 is not prime. Res64: 138B5DF9B08CAAE8 Time : 0.0 sec. user=mdettweiler [2019-08-23 12:24:56] 649*2^1545243-1 is not prime. Res64: E5AA4DF6A321B24E Time : 0.0 sec. user=mdettweiler [2019-08-23 12:24:58] 669*2^1545243-1 is not prime. Res64: 46D384C96BC788AC Time : 0.0 sec. user=mdettweiler [2019-08-23 12:24:58] 721*2^1545243-1 is not prime. Res64: B18A1D9C80596323 Time : 0.0 sec. user=mdettweiler [2019-08-23 12:25:02] 949*2^1545243-1 is not prime. Res64: A4F93F4F2695964A Time : 0.0 sec. user=mdettweiler [2019-08-23 12:25:03] 963*2^1545243-1 is not prime. Res64: 6C24A022E4E2DCD7 Time : 0.0 sec. user=mdettweiler [2019-08-23 12:45:23] 635*2^1545244-1 is not prime. Res64: 55236AEB656631CB Time : 0.0 sec. user=mdettweiler [2019-08-23 12:45:24] 693*2^1545244-1 is not prime. Res64: 786277034F6CD24B Time : 0.0 sec. user=mdettweiler [2019-08-23 12:45:25] 819*2^1545244-1 is not prime. Res64: 5B99803FE45646D2 Time : 0.0 sec. user=mdettweiler [2019-08-23 12:45:25] 899*2^1545244-1 is not prime. Res64: 50F29EC55AD5DB2A Time : 0.0 sec. user=mdettweiler [2019-08-23 12:45:26] 909*2^1545244-1 is not prime. Res64: 24BE2B6DF5E83F0F Time : 0.0 sec. user=mdettweiler [2019-08-23 13:31:46] 811*2^1545245-1 is not prime. Res64: 51892A4337790061 Time : 0.0 sec. user=mdettweiler [2019-08-23 13:31:48] 825*2^1545245-1 is not prime. Res64: 3A7864A46A53AFC2 Time : 0.0 sec. user=mdettweiler [2019-08-23 13:31:48] 831*2^1545245-1 is not prime. Res64: 7BB9FD3BF97CC3E6 Time : 0.0 sec. user=mdettweiler [2019-08-23 13:31:49] 837*2^1545245-1 is not prime. Res64: 4A2F6C815E168E77 Time : 0.0 sec. user=mdettweiler [2019-08-23 13:31:49] 969*2^1545245-1 is not prime. Res64: 7DC43E52BA62FFFA Time : 0.0 sec. user=mdettweiler [2019-08-23 13:39:47] 929*2^1545244-1 is not prime. Res64: F936C9696FBA15C1 Time : 0.0 sec. user=mdettweiler [2019-08-23 13:39:48] 619*2^1545245-1 is not prime. Res64: E8A89AC9D1B43F3F Time : 0.0 sec. user=mdettweiler [2019-08-23 13:39:48] 645*2^1545245-1 is not prime. Res64: 8063393EFC9A491A Time : 0.0 sec. user=mdettweiler [2019-08-23 13:39:49] 657*2^1545245-1 is not prime. Res64: F52D2DEDABCA1E6D Time : 0.0 sec. user=mdettweiler [2019-08-23 13:39:49] 699*2^1545245-1 is not prime. Res64: 9C1FDD625FB70F1E Time : 0.0 sec. user=mdettweiler [2019-08-23 13:54:10] 987*2^1545245-1 is not prime. Res64: A4AC9E0F45E3E578 Time : 0.0 sec. user=mdettweiler [2019-08-23 13:54:11] 683*2^1545246-1 is not prime. Res64: EF36A9D4A1D43D50 Time : 0.0 sec. user=mdettweiler [2019-08-23 13:54:12] 917*2^1545246-1 is not prime. Res64: 48670C4FE6BF961D Time : 0.0 sec. user=mdettweiler [2019-08-23 13:54:13] 963*2^1545246-1 is not prime. Res64: 640E6E850FB237CC Time : 0.0 sec. user=mdettweiler [2019-08-23 13:54:14] 975*2^1545246-1 is not prime. Res64: 5491E2D130A8A466 Time : 0.0 sec. user=mdettweiler [2019-08-23 14:39:46] 993*2^1545246-1 is not prime. Res64: FFF729EF5FFF6AE1 Time : 0.0 sec. user=mdettweiler [2019-08-23 14:39:47] 603*2^1545247-1 is not prime. Res64: 494587875C6D09FF Time : 0.0 sec. user=mdettweiler [2019-08-23 14:39:48] 633*2^1545247-1 is not prime. Res64: 8B87253C19DF005F Time : 0.0 sec. user=mdettweiler [2019-08-23 14:39:49] 741*2^1545247-1 is not prime. Res64: 9F642C74F5F0DA03 Time : 0.0 sec. user=mdettweiler [2019-08-23 14:39:49] 763*2^1545247-1 is not prime. Res64: 9B1E60DFA32A2FF3 Time : 0.0 sec. user=mdettweiler [2019-08-23 14:46:51] 849*2^1545247-1 is not prime. Res64: F1430294B9FE5646 Time : 0.0 sec. user=mdettweiler [2019-08-23 14:46:52] 873*2^1545247-1 is not prime. Res64: 2423D75FED4A5068 Time : 0.0 sec. user=mdettweiler [2019-08-23 14:46:53] 883*2^1545247-1 is not prime. Res64: 13772E24F7926279 Time : 0.0 sec. user=mdettweiler [2019-08-23 14:46:53] 975*2^1545247-1 is not prime. Res64: 00F5F7223C92D14E Time : 0.0 sec. user=mdettweiler [2019-08-23 14:46:54] 623*2^1545248-1 is not prime. Res64: 3778D2A06BAE88F0 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:04:35] 831*2^1545238-1 is not prime. Res64: 3172739F0D80C0A0 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:04:37] 887*2^1545238-1 is not prime. Res64: 2E94259DFC0FE7F7 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:04:39] 971*2^1545238-1 is not prime. Res64: 88DCA87BD20171D7 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:04:41] 615*2^1545239-1 is not prime. Res64: A2BE109975CFFC76 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:07:41] 683*2^1545248-1 is not prime. Res64: DBC4120B2966E2EF Time : 0.0 sec. user=mdettweiler [2019-08-23 15:07:43] 713*2^1545248-1 is not prime. Res64: 773BA7147D893C7F Time : 0.0 sec. user=mdettweiler [2019-08-23 15:07:45] 843*2^1545248-1 is not prime. Res64: BA5A871A44CFB19B Time : 0.0 sec. user=mdettweiler [2019-08-23 15:07:46] 855*2^1545248-1 is not prime. Res64: 1C9924B5F1B94238 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:07:47] 867*2^1545248-1 is not prime. Res64: 3C0907BAC803060E Time : 0.0 sec. user=mdettweiler [2019-08-23 15:41:28] 709*2^1545249-1 is not prime. Res64: CF1ED3382D6BC868 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:41:29] 817*2^1545249-1 is not prime. Res64: 49F2F4AD04DC86EB Time : 0.0 sec. user=mdettweiler [2019-08-23 15:41:29] 895*2^1545249-1 is not prime. Res64: EDC0105585FD6BA6 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:41:31] 921*2^1545249-1 is not prime. Res64: 5D69F6578A3A5910 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:41:32] 653*2^1545250-1 is not prime. Res64: B59C1EF6A019DC4B Time : 0.0 sec. user=mdettweiler [2019-08-23 15:51:59] 717*2^1545250-1 is not prime. Res64: 0608BF73ADE3657D Time : 0.0 sec. user=mdettweiler [2019-08-23 15:52:00] 723*2^1545250-1 is not prime. Res64: 6E7F80E6052D244E Time : 0.0 sec. user=mdettweiler [2019-08-23 15:52:02] 755*2^1545250-1 is not prime. Res64: 394B0387D84373D2 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:52:02] 777*2^1545250-1 is not prime. Res64: FB023E19E5FBA908 Time : 0.0 sec. user=mdettweiler [2019-08-23 15:52:02] 651*2^1545251-1 is not prime. Res64: D89D6C248410C4F4 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:06] 711*2^1545251-1 is not prime. Res64: 1BF42AAAB59CBF37 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:10] 781*2^1545251-1 is not prime. Res64: 00A51606D27B10B9 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:12] 813*2^1545251-1 is not prime. Res64: 06F717240A31E720 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:14] 859*2^1545251-1 is not prime. Res64: 3AC70F3284FD3609 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:18] 981*2^1545251-1 is not prime. Res64: 028FCE96C863A0BE Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:25] 779*2^1545252-1 is not prime. Res64: 359012B6FB9C144C Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:29] 649*2^1545253-1 is not prime. Res64: F31E868F568FA5A1 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:32] 747*2^1545253-1 is not prime. Res64: 952EC1E30A3B180A Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:34] 789*2^1545253-1 is not prime. Res64: F0A4E9E93EFBCA34 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:11:36] 819*2^1545253-1 is not prime. Res64: 505CD1660D47EF77 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:45:41] 835*2^1545253-1 is not prime. Res64: FDA76408E07C4E61 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:45:41] 885*2^1545253-1 is not prime. Res64: 9E0B5073F8901FC1 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:45:42] 957*2^1545253-1 is not prime. Res64: CA0596E1A3C0273E Time : 0.0 sec. user=mdettweiler [2019-08-23 16:45:42] 961*2^1545253-1 is not prime. Res64: 0730CB6825E7F639 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:45:42] 665*2^1545254-1 is not prime. Res64: F92D6FF2E06CAB32 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:54:25] 717*2^1545254-1 is not prime. Res64: 1ED38D81018338CC Time : 0.0 sec. user=mdettweiler [2019-08-23 16:54:25] 825*2^1545254-1 is not prime. Res64: 40FAB4A71C089594 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:54:26] 1001*2^1545254-1 is not prime. Res64: 9EA15CF373DE2483 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:54:26] 663*2^1545255-1 is not prime. Res64: D5209C775E8A5372 Time : 0.0 sec. user=mdettweiler [2019-08-23 16:54:26] 679*2^1545255-1 is not prime. Res64: 3481AF65F3840253 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:16:48] 711*2^1545255-1 is not prime. Res64: 7196DB964D544CF2 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:16:48] 781*2^1545255-1 is not prime. Res64: FD5471712468A23F Time : 0.0 sec. user=mdettweiler [2019-08-23 17:16:49] 795*2^1545255-1 is not prime. Res64: 5B9A8BB81538E5BB Time : 0.0 sec. user=mdettweiler [2019-08-23 17:16:49] 823*2^1545255-1 is not prime. Res64: D0B7C11DAA459AF3 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:16:49] 933*2^1545255-1 is not prime. Res64: 11C9D36B80E20C89 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:18:10] 955*2^1545255-1 is not prime. Res64: 44D69BCC37037AD2 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:18:11] 973*2^1545255-1 is not prime. Res64: 11FCF326E474B770 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:18:12] 603*2^1545256-1 is not prime. Res64: 4A7A8EE712906B53 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:18:12] 623*2^1545256-1 is not prime. Res64: 9A749FD94F58B5A9 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:18:13] 777*2^1545256-1 is not prime. Res64: 23CF901F98C9BEEA Time : 0.0 sec. user=mdettweiler [2019-08-23 17:48:55] 813*2^1545256-1 is not prime. Res64: 4A8D41112308F3B7 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:48:59] 989*2^1545256-1 is not prime. Res64: C5B390E7620AA388 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:49:00] 645*2^1545257-1 is not prime. Res64: A41F52C44FBE3D2F Time : 0.0 sec. user=mdettweiler [2019-08-23 17:49:00] 651*2^1545257-1 is not prime. Res64: 0B3959D10234F836 Time : 0.0 sec. user=mdettweiler [2019-08-23 17:49:01] 697*2^1545257-1 is not prime. Res64: 941B1559296779FF Time : 0.0 sec. user=mdettweiler [2019-08-23 18:00:20] 711*2^1545257-1 is not prime. Res64: 8D92EFCC59D7D1F1 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:20:48] 879*2^1545257-1 is not prime. Res64: A3D288B17114779B Time : 0.0 sec. user=mdettweiler [2019-08-23 18:20:49] 997*2^1545257-1 is not prime. Res64: 45536AE00AEE20A3 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:20:49] 605*2^1545258-1 is not prime. Res64: B38A6EDD676814D6 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:20:49] 657*2^1545258-1 is not prime. Res64: 384B82E4F04F29C3 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:20:50] 683*2^1545258-1 is not prime. Res64: 5C02E3CF914A1C13 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:22:32] 773*2^1545258-1 is not prime. Res64: F6DC6A1F6D36E0BB Time : 0.0 sec. user=mdettweiler [2019-08-23 18:22:32] 797*2^1545258-1 is not prime. Res64: 106B2763DE9FFF72 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:22:33] 825*2^1545258-1 is not prime. Res64: A9849C39DAA5AA34 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:22:34] 837*2^1545258-1 is not prime. Res64: 7BC65DC48FCDA33E Time : 0.0 sec. user=mdettweiler [2019-08-23 18:22:34] 927*2^1545258-1 is not prime. Res64: 548187D99C811BDE Time : 0.0 sec. user=mdettweiler [2019-08-23 18:53:57] 663*2^1545259-1 is not prime. Res64: 766A6987E1B62E76 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:53:58] 843*2^1545259-1 is not prime. Res64: CF886BE9BEFB0F69 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:53:58] 951*2^1545259-1 is not prime. Res64: 36F8660EBCF54810 Time : 0.0 sec. user=mdettweiler [2019-08-23 18:53:59] 603*2^1545260-1 is not prime. Res64: C73B9036288E1B6F Time : 0.0 sec. user=mdettweiler [2019-08-23 18:54:00] 609*2^1545260-1 is not prime. Res64: 3B21048EEB7784AE Time : 0.0 sec. user=mdettweiler [2019-08-23 19:29:45] 649*2^1545261-1 is not prime. Res64: 4B9C42B6957A809F Time : 0.0 sec. user=mdettweiler [2019-08-23 19:29:46] 691*2^1545261-1 is not prime. Res64: A47EF46062D7F7A2 Time : 0.0 sec. user=mdettweiler [2019-08-23 19:29:47] 709*2^1545261-1 is not prime. Res64: E5EF7AB45292E73B Time : 0.0 sec. user=mdettweiler [2019-08-23 19:29:49] 747*2^1545261-1 is not prime. Res64: 4B51C12DD7680501 Time : 0.0 sec. user=mdettweiler [2019-08-23 19:29:51] 795*2^1545261-1 is not prime. Res64: 2396E9ED601DAED0 Time : 0.0 sec. user=mdettweiler [2019-08-23 19:30:29] 663*2^1545260-1 is not prime. Res64: C7F92522637A0BDD Time : 0.0 sec. user=mdettweiler [2019-08-23 19:30:32] 875*2^1545260-1 is not prime. Res64: 88C7AE3285523FAA Time : 0.0 sec. user=mdettweiler [2019-08-23 19:30:33] 929*2^1545260-1 is not prime. Res64: 0CAE42276B2E48BF Time : 0.0 sec. user=mdettweiler [2019-08-23 19:30:34] 963*2^1545260-1 is not prime. Res64: 6D5404DF0EB6B742 Time : 0.0 sec. user=mdettweiler [2019-08-23 19:30:35] 615*2^1545261-1 is not prime. Res64: 52358ED1A063002B Time : 0.0 sec. user=mdettweiler [2019-08-23 19:59:44] 867*2^1545261-1 is not prime. Res64: D69F6A08D15739C8 Time : 0.0 sec. user=mdettweiler [2019-08-23 19:59:45] 961*2^1545261-1 is not prime. Res64: 8BFAA17DE1B9C65A Time : 0.0 sec. user=mdettweiler [2019-08-23 19:59:45] 651*2^1545262-1 is not prime. Res64: F3C4EC5CB5D5D1F6 Time : 0.0 sec. user=mdettweiler [2019-08-23 19:59:46] 653*2^1545262-1 is not prime. Res64: 7A450AFE9F35A052 Time : 0.0 sec. user=mdettweiler [2019-08-23 19:59:47] 681*2^1545262-1 is not prime. Res64: 5C6D564764AC190B Time : 0.0 sec. user=mdettweiler [2019-08-23 20:35:44] 1001*2^1545262-1 is not prime. Res64: A09C3AE573A9EC84 Time : 0.0 sec. user=mdettweiler [2019-08-23 20:35:45] 643*2^1545263-1 is not prime. Res64: A74F0904093B6C06 Time : 0.0 sec. user=mdettweiler [2019-08-23 20:35:45] 715*2^1545263-1 is not prime. Res64: 9BBF5B7BD5D7C77F Time : 0.0 sec. user=mdettweiler [2019-08-23 20:35:46] 739*2^1545263-1 is not prime. Res64: CE6157418DE65082 Time : 0.0 sec. user=mdettweiler [2019-08-23 20:35:47] 871*2^1545263-1 is not prime. Res64: DACC8680BD00AD2C Time : 0.0 sec. user=mdettweiler [2019-08-23 20:36:43] 791*2^1545262-1 is not prime. Res64: 7C702E42D057412B Time : 0.0 sec. user=mdettweiler [2019-08-23 20:36:44] 857*2^1545262-1 is not prime. Res64: A0B8E95CF256E18F Time : 0.0 sec. user=mdettweiler [2019-08-23 20:36:44] 873*2^1545262-1 is not prime. Res64: 265074AAB4159B7D Time : 0.0 sec. user=mdettweiler [2019-08-23 20:36:45] 917*2^1545262-1 is not prime. Res64: F3C9CEC2C41F3333 Time : 0.0 sec. user=mdettweiler [2019-08-23 20:36:46] 957*2^1545262-1 is not prime. Res64: A5DB98A5CF2BA27F Time : 0.0 sec. user=mdettweiler [2019-08-23 21:13:27] 943*2^1545263-1 is not prime. Res64: 281E111204147212 Time : 0.0 sec. user=mdettweiler [2019-08-23 21:13:28] 747*2^1545264-1 is not prime. Res64: A195AD242E3E9A38 Time : 0.0 sec. user=mdettweiler [2019-08-23 21:13:30] 773*2^1545264-1 is not prime. Res64: F99105BA7B60EABC Time : 0.0 sec. user=mdettweiler [2019-08-23 21:13:32] 803*2^1545264-1 is not prime. Res64: CE55672C3503B425 Time : 0.0 sec. user=mdettweiler [2019-08-23 21:13:33] 887*2^1545264-1 is not prime. Res64: B92E61DE1C9FBECD Time : 0.0 sec. user=mdettweiler [2019-08-23 21:42:47] 617*2^1545266-1 is not prime. Res64: 097EE17EB968EDF6 Time : 0.0 sec. user=mdettweiler [2019-08-23 21:42:48] 645*2^1545266-1 is not prime. Res64: 607F25040FF895CD Time : 0.0 sec. user=mdettweiler [2019-08-23 21:42:49] 711*2^1545266-1 is not prime. Res64: 1A5C94E418E6A1CF Time : 0.0 sec. user=mdettweiler [2019-08-23 21:42:50] 773*2^1545266-1 is not prime. Res64: EB955349032E98A8 Time : 0.0 sec. user=mdettweiler [2019-08-23 21:42:51] 827*2^1545266-1 is not prime. Res64: EFAC9D3A07535431 Time : 0.0 sec. user=mdettweiler [2019-08-23 21:45:18] 923*2^1545264-1 is not prime. Res64: DDEFDCD089B5575A Time : 0.0 sec. user=mdettweiler [2019-08-23 21:45:18] 741*2^1545265-1 is not prime. Res64: 1E816755BEF79207 Time : 0.0 sec. user=mdettweiler [2019-08-23 21:45:19] 819*2^1545265-1 is not prime. Res64: D7762E98494788A4 Time : 0.0 sec. user=mdettweiler [2019-08-23 21:45:19] 895*2^1545265-1 is not prime. Res64: B4DCAE857B7313BE Time : 0.0 sec. user=mdettweiler [2019-08-23 21:45:20] 897*2^1545265-1 is not prime. Res64: B72308BDA1C40035 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:21:08] 911*2^1545266-1 is not prime. Res64: C5DDCFB297CFA1AC Time : 0.0 sec. user=mdettweiler [2019-08-23 22:21:09] 981*2^1545266-1 is not prime. Res64: CA7328EF8A7E927E Time : 0.0 sec. user=mdettweiler [2019-08-23 22:21:10] 983*2^1545266-1 is not prime. Res64: 55284955BCF33255 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:21:10] 633*2^1545267-1 is not prime. Res64: 017D0370CB677E2D Time : 0.0 sec. user=mdettweiler [2019-08-23 22:21:11] 769*2^1545267-1 is not prime. Res64: 5535C5F31A42E667 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:41:22] 727*2^1545257-1 is not prime. Res64: A0EDC8A36F1B2138 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:41:23] 819*2^1545257-1 is not prime. Res64: 138AF703F6F045BA Time : 0.0 sec. user=mdettweiler [2019-08-23 22:41:24] 829*2^1545257-1 is not prime. Res64: 70ADB4CA2744D9FF Time : 0.0 sec. user=mdettweiler [2019-08-23 22:41:25] 847*2^1545257-1 is not prime. Res64: 177D9CA1D03D17E7 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:46:58] 795*2^1545267-1 is not prime. Res64: 33CC9185D636F360 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:46:59] 825*2^1545267-1 is not prime. Res64: 10344F7FA1E4E684 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:46:59] 635*2^1545268-1 is not prime. Res64: E1DD7B87BE067FFE Time : 0.0 sec. user=mdettweiler [2019-08-23 22:47:00] 699*2^1545268-1 is not prime. Res64: E325F3A3CF9072CC Time : 0.0 sec. user=mdettweiler [2019-08-23 22:47:00] 777*2^1545268-1 is not prime. Res64: 866869250919FDC3 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:53:28] 885*2^1545268-1 is not prime. Res64: A7D1D9720A0D9B9D Time : 0.0 sec. user=mdettweiler [2019-08-23 22:53:28] 953*2^1545268-1 is not prime. Res64: C1F4D5F39C143114 Time : 0.0 sec. user=mdettweiler [2019-08-23 22:53:28] 999*2^1545268-1 is not prime. Res64: 4257DA13E90B046C Time : 0.0 sec. user=mdettweiler [2019-08-23 22:53:29] 615*2^1545269-1 is not prime. Res64: 75C82AD6B3ED6CAE Time : 0.0 sec. user=mdettweiler [2019-08-23 22:53:29] 631*2^1545269-1 is not prime. Res64: 157068B8EC485267 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:26:39] 675*2^1545269-1 is not prime. Res64: FD8C9D0824FB0611 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:26:39] 699*2^1545269-1 is not prime. Res64: 7B08CC41025B9996 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:26:40] 861*2^1545269-1 is not prime. Res64: FB8387D19A3DD517 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:26:40] 865*2^1545269-1 is not prime. Res64: 1EEDC2C9918F9323 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:26:41] 925*2^1545269-1 is not prime. Res64: 34DA6711CBD4E726 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:45:06] 979*2^1545269-1 is not prime. Res64: BEE54DBFFD520EB6 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:45:11] 641*2^1545270-1 is not prime. Res64: C84396B3461D25E8 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:45:12] 755*2^1545270-1 is not prime. Res64: 4A8590AE9176DD5A Time : 0.0 sec. user=mdettweiler [2019-08-23 23:45:13] 791*2^1545270-1 is not prime. Res64: 71059DB3EAD35DE7 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:45:15] 821*2^1545270-1 is not prime. Res64: 73DD41042CE2B257 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:51:11] 927*2^1545270-1 is not prime. Res64: 2E6B406542E7A0D6 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:51:12] 609*2^1545271-1 is not prime. Res64: 5775035DFFCFC1F3 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:51:14] 621*2^1545271-1 is not prime. Res64: A6029D35EB102D95 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:51:15] 679*2^1545271-1 is not prime. Res64: 2CAA838BA4C6C43D Time : 0.0 sec. user=mdettweiler [2019-08-23 23:51:17] 705*2^1545271-1 is not prime. Res64: 18864D91F6F8327E Time : 0.0 sec. user=mdettweiler [2019-08-23 23:59:05] 745*2^1545271-1 is not prime. Res64: 1C132AFA5D85CEEE Time : 0.0 sec. user=mdettweiler [2019-08-23 23:59:06] 855*2^1545271-1 is not prime. Res64: 334DA6C9868F9976 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:59:06] 871*2^1545271-1 is not prime. Res64: 8C1174EBB95D3FE1 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:59:07] 605*2^1545272-1 is not prime. Res64: EF79EECC6564FA93 Time : 0.0 sec. user=mdettweiler [2019-08-23 23:59:08] 687*2^1545272-1 is not prime. Res64: 8342145CD7932ED1 Time : 0.0 sec.