user=mdettweiler [2018-04-27 00:04:08] 909*2^1508207-1 is not prime. Res64: 41FD3E4C9495FDA9 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:04:09] 615*2^1508208-1 is not prime. Res64: 9E67CA3A97554AF5 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:04:10] 669*2^1508208-1 is not prime. Res64: 5776A103535F1562 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:04:11] 723*2^1508208-1 is not prime. Res64: 11B4D035EB3F83BE Time : 0.0 sec. user=mdettweiler [2018-04-27 00:04:12] 815*2^1508208-1 is not prime. Res64: F084B52D7238DB24 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:08:48] 825*2^1508208-1 is not prime. Res64: A572BDB97FE9EF25 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:08:51] 837*2^1508208-1 is not prime. Res64: C3C1DF51C4016A8C Time : 0.0 sec. user=mdettweiler [2018-04-27 00:08:54] 887*2^1508208-1 is not prime. Res64: F099FB5427BBFC24 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:08:55] 601*2^1508209-1 is not prime. Res64: C58C3F608318F7C1 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:08:56] 705*2^1508209-1 is not prime. Res64: FE8D4556026EC806 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:15:57] 741*2^1508209-1 is not prime. Res64: 883791B16F8ABE45 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:15:57] 861*2^1508209-1 is not prime. Res64: 44B43674BFD73BFF Time : 0.0 sec. user=mdettweiler [2018-04-27 00:15:58] 897*2^1508209-1 is not prime. Res64: D3241D0567E2C187 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:15:58] 919*2^1508209-1 is not prime. Res64: AB24E26CD9DEC549 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:15:59] 931*2^1508209-1 is not prime. Res64: E217166FD55D087E Time : 0.0 sec. user=mdettweiler [2018-04-27 00:16:18] 939*2^1508209-1 is not prime. Res64: 1C9868ABC7EA08CF Time : 0.0 sec. user=mdettweiler [2018-04-27 00:16:20] 997*2^1508209-1 is not prime. Res64: BC5BF88CD53A4B87 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:16:20] 755*2^1508210-1 is not prime. Res64: D11D44C0B29D0C33 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:16:21] 785*2^1508210-1 is not prime. Res64: 23D385C3174BCD77 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:16:21] 845*2^1508210-1 is not prime. Res64: F7E8D1AF8A9CFDE6 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:55:11] 867*2^1508210-1 is not prime. Res64: 23D8E8721D59C66D Time : 0.0 sec. user=mdettweiler [2018-04-27 00:55:11] 885*2^1508210-1 is not prime. Res64: 4A36C5985F4D9F77 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:55:12] 935*2^1508210-1 is not prime. Res64: BB62945B17D7C49F Time : 0.0 sec. user=mdettweiler [2018-04-27 00:55:12] 945*2^1508210-1 is not prime. Res64: 6A3868B74AD438B3 Time : 0.0 sec. user=mdettweiler [2018-04-27 00:55:13] 615*2^1508211-1 is not prime. Res64: 56171BF99D215864 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:00:38] 781*2^1508211-1 is not prime. Res64: 85A2178C9629B18D Time : 0.0 sec. user=mdettweiler [2018-04-27 01:00:39] 859*2^1508211-1 is not prime. Res64: 7178754F33AFB31E Time : 0.0 sec. user=mdettweiler [2018-04-27 01:00:40] 885*2^1508211-1 is not prime. Res64: 28A23F336CFEF27C Time : 0.0 sec. user=mdettweiler [2018-04-27 01:00:40] 943*2^1508211-1 is not prime. Res64: 410880D4948477BB Time : 0.0 sec. user=mdettweiler [2018-04-27 01:00:41] 975*2^1508211-1 is not prime. Res64: 1301491F03EFD1CC Time : 0.0 sec. user=mdettweiler [2018-04-27 01:05:23] 623*2^1508212-1 is not prime. Res64: 95077DC41EC818F6 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:05:25] 639*2^1508212-1 is not prime. Res64: A32E473397803F0D Time : 0.0 sec. user=mdettweiler [2018-04-27 01:05:26] 647*2^1508212-1 is not prime. Res64: 42FF168852ACD2E5 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:05:26] 653*2^1508212-1 is not prime. Res64: E026EC66C91F81B7 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:05:27] 833*2^1508212-1 is not prime. Res64: C78114581CB49DF6 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:06:54] 855*2^1508212-1 is not prime. Res64: CE497864E87F2CE1 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:06:56] 929*2^1508212-1 is not prime. Res64: AC9603838861B641 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:06:56] 947*2^1508212-1 is not prime. Res64: A3482475313DF391 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:06:58] 685*2^1508213-1 is not prime. Res64: AF8D7BCDD56CB95D Time : 0.0 sec. user=mdettweiler [2018-04-27 01:06:59] 801*2^1508213-1 is not prime. Res64: BE793CD47D23E4E6 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:45:52] 861*2^1508213-1 is not prime. Res64: 654DD4363F175163 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:45:53] 901*2^1508213-1 is not prime. Res64: 3828C12A828A850E Time : 0.0 sec. user=mdettweiler [2018-04-27 01:45:53] 915*2^1508213-1 is not prime. Res64: 2EF3EE60CD44E6DB Time : 0.0 sec. user=mdettweiler [2018-04-27 01:45:54] 985*2^1508213-1 is not prime. Res64: C06F5E397CE88FE2 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:45:55] 681*2^1508214-1 is not prime. Res64: 3DA101D6AA9EDF20 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:50:38] 923*2^1508214-1 is not prime. Res64: A3F222BD266F9E94 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:50:38] 633*2^1508215-1 is not prime. Res64: A18EC47F0615FCFE Time : 0.0 sec. user=mdettweiler [2018-04-27 01:50:39] 649*2^1508215-1 is not prime. Res64: 723590C8737D93A6 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:50:39] 693*2^1508215-1 is not prime. Res64: EB7DD6654435D861 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:50:40] 715*2^1508215-1 is not prime. Res64: CC66DD0CCB42223C Time : 0.0 sec. user=mdettweiler [2018-04-27 01:56:48] 759*2^1508215-1 is not prime. Res64: 1C891A7C01A854C9 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:56:48] 775*2^1508215-1 is not prime. Res64: 84D65687A83725B6 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:56:49] 829*2^1508215-1 is not prime. Res64: 79D5992BCF59F11D Time : 0.0 sec. user=mdettweiler [2018-04-27 01:56:49] 855*2^1508215-1 is not prime. Res64: 9E871B1CC80C46CC Time : 0.0 sec. user=mdettweiler [2018-04-27 01:56:49] 909*2^1508215-1 is not prime. Res64: 2E6F010D79DA7ACE Time : 0.0 sec. user=mdettweiler [2018-04-27 01:57:40] 951*2^1508215-1 is not prime. Res64: 45C65C24A0099F8A Time : 0.0 sec. user=mdettweiler [2018-04-27 01:57:40] 617*2^1508216-1 is not prime. Res64: 88C1D0A4B0745715 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:57:41] 693*2^1508216-1 is not prime. Res64: 8893503EB6A58F0B Time : 0.0 sec. user=mdettweiler [2018-04-27 01:57:42] 923*2^1508216-1 is not prime. Res64: BDAE20ED12085940 Time : 0.0 sec. user=mdettweiler [2018-04-27 01:57:42] 983*2^1508216-1 is not prime. Res64: F61B8A2330801B4B Time : 0.0 sec. user=mdettweiler [2018-04-27 02:35:49] 649*2^1508217-1 is not prime. Res64: AFD45F3623F1C594 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:35:50] 685*2^1508217-1 is not prime. Res64: 4561E30912007888 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:35:50] 751*2^1508217-1 is not prime. Res64: 9271538D541D41F8 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:35:51] 795*2^1508217-1 is not prime. Res64: 4DBBD8193302CA25 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:35:52] 829*2^1508217-1 is not prime. Res64: DCE89913153EC36D Time : 0.0 sec. user=mdettweiler [2018-04-27 02:40:36] 915*2^1508217-1 is not prime. Res64: D5826C7CC7697DC2 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:40:36] 955*2^1508217-1 is not prime. Res64: A1DA2B307C9FB36D Time : 0.0 sec. user=mdettweiler [2018-04-27 02:40:37] 605*2^1508218-1 is not prime. Res64: 25F485177AA69A81 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:40:37] 657*2^1508218-1 is not prime. Res64: 9BEAA833E00641A6 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:40:38] 731*2^1508218-1 is not prime. Res64: F7702657DA2EBA0F Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:06] 747*2^1508218-1 is not prime. Res64: 213FE78BFB09AA0E Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:06] 755*2^1508218-1 is not prime. Res64: 368CDA2EEF4397CA Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:07] 861*2^1508218-1 is not prime. Res64: EFC7F4CD3F2C5466 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:08] 1001*2^1508218-1 is not prime. Res64: D58E3CB33DFC4DFC Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:08] 703*2^1508219-1 is not prime. Res64: 8B358AC2B8FEC250 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:39] 741*2^1508219-1 is not prime. Res64: 9FFFCA316866CE8A Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:39] 985*2^1508219-1 is not prime. Res64: F9EA5EA84A540AC5 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:40] 627*2^1508220-1 is not prime. Res64: 6847B583D963EF91 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:40] 665*2^1508220-1 is not prime. Res64: 3D91A5C8B31BCA95 Time : 0.0 sec. user=mdettweiler [2018-04-27 02:47:41] 767*2^1508220-1 is not prime. Res64: E141DA3F47A92A93 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:26:19] 783*2^1508220-1 is not prime. Res64: B6333A4E05167BF2 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:26:20] 965*2^1508220-1 is not prime. Res64: 1010122398EF9C3A Time : 0.0 sec. user=mdettweiler [2018-04-27 03:26:21] 625*2^1508221-1 is not prime. Res64: 1C7C3234F8C56368 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:26:21] 741*2^1508221-1 is not prime. Res64: FA48840FC6BECAF6 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:26:22] 747*2^1508221-1 is not prime. Res64: D2A3FAE042801F0B Time : 0.0 sec. user=mdettweiler [2018-04-27 03:30:18] 805*2^1508221-1 is not prime. Res64: 7B4AFE97F96CF711 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:30:19] 889*2^1508221-1 is not prime. Res64: 51A166198BCCB0A5 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:30:20] 623*2^1508222-1 is not prime. Res64: 516FC7DA7C5608CA Time : 0.0 sec. user=mdettweiler [2018-04-27 03:30:21] 665*2^1508222-1 is not prime. Res64: 5C9B6F3DDC4759AE Time : 0.0 sec. user=mdettweiler [2018-04-27 03:30:22] 705*2^1508222-1 is not prime. Res64: 4513E8C9A5371611 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:14] 857*2^1508222-1 is not prime. Res64: 65BCC7A53F8804CF Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:15] 911*2^1508222-1 is not prime. Res64: 328A8BB92FE5290F Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:16] 945*2^1508222-1 is not prime. Res64: ACD6FB9F0C20E9EC Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:17] 691*2^1508223-1 is not prime. Res64: 1CBD51DD1536654C Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:18] 741*2^1508223-1 is not prime. Res64: 6D2E73092284D451 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:48] 819*2^1508223-1 is not prime. Res64: 99CABC6C5F368CFE Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:51] 831*2^1508223-1 is not prime. Res64: 7F22F5D691262168 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:52] 933*2^1508223-1 is not prime. Res64: 4516C4BE9F2B8459 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:53] 623*2^1508224-1 is not prime. Res64: 1722E2D44CBA8389 Time : 0.0 sec. user=mdettweiler [2018-04-27 03:37:54] 635*2^1508224-1 is not prime. Res64: 787B1286F4B98F10 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:16:13] 755*2^1508224-1 is not prime. Res64: 78019C2E77591BFE Time : 0.0 sec. user=mdettweiler [2018-04-27 04:16:13] 843*2^1508224-1 is not prime. Res64: C89A1374AE679604 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:16:14] 873*2^1508224-1 is not prime. Res64: E7280FCDFE228FBF Time : 0.0 sec. user=mdettweiler [2018-04-27 04:16:14] 915*2^1508224-1 is not prime. Res64: F4E54132D2BB2273 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:16:15] 607*2^1508225-1 is not prime. Res64: 684732C69A35891D Time : 0.0 sec. user=mdettweiler [2018-04-27 04:19:50] 679*2^1508225-1 is not prime. Res64: 0FACF9950EC5A225 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:19:50] 721*2^1508225-1 is not prime. Res64: 45A80C8A00500A58 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:19:50] 885*2^1508225-1 is not prime. Res64: F38780CE8F1D7287 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:19:51] 981*2^1508225-1 is not prime. Res64: 65581598FDD944BF Time : 0.0 sec. user=mdettweiler [2018-04-27 04:19:51] 641*2^1508226-1 is not prime. Res64: 920DBD25A4A4F7CF Time : 0.0 sec. user=mdettweiler [2018-04-27 04:26:50] 705*2^1508226-1 is not prime. Res64: 78012EF9E51FF829 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:26:51] 723*2^1508226-1 is not prime. Res64: C06C1E94867F5B03 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:26:51] 741*2^1508226-1 is not prime. Res64: B415063168394E9F Time : 0.0 sec. user=mdettweiler [2018-04-27 04:26:51] 947*2^1508226-1 is not prime. Res64: A666C058E733ED91 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:26:52] 609*2^1508227-1 is not prime. Res64: 12D4621318C7AFE6 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:27:41] 631*2^1508227-1 is not prime. Res64: 27648F2BCFB7B5C1 Time : 0.0 sec. user=mdettweiler [2018-04-27 04:27:41] 751*2^1508227-1 is not prime. Res64: D21BB5250D2AC0DE Time : 0.0 sec. user=mdettweiler [2018-04-27 04:27:42] 835*2^1508227-1 is not prime. Res64: DFFDD45DCA6A297A Time : 0.0 sec. user=mdettweiler [2018-04-27 04:27:43] 891*2^1508227-1 is not prime. Res64: BC349D4E603DDAFD Time : 0.0 sec. user=mdettweiler [2018-04-27 04:27:43] 689*2^1508228-1 is not prime. Res64: 63AC4D2E5A1EB3DC Time : 0.0 sec. user=mdettweiler [2018-04-27 05:07:02] 833*2^1508228-1 is not prime. Res64: 61C07EE40A79145B Time : 0.0 sec. user=mdettweiler [2018-04-27 05:07:04] 843*2^1508228-1 is not prime. Res64: C353CAA5C4A215AE Time : 0.0 sec. user=mdettweiler [2018-04-27 05:07:05] 845*2^1508228-1 is not prime. Res64: 0A02B5832B218146 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:07:06] 869*2^1508228-1 is not prime. Res64: 5D0FF9A70E006403 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:07:08] 639*2^1508229-1 is not prime. Res64: 066FABF78AA3A52F Time : 0.0 sec. user=mdettweiler [2018-04-27 05:09:57] 669*2^1508229-1 is not prime. Res64: 07BAA88697B9A6CB Time : 0.0 sec. user=mdettweiler [2018-04-27 05:09:58] 817*2^1508229-1 is not prime. Res64: E558CE215949599F Time : 0.0 sec. user=mdettweiler [2018-04-27 05:09:58] 945*2^1508229-1 is not prime. Res64: 47C3FD8FBDAFE380 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:09:59] 969*2^1508229-1 is not prime. Res64: 0854E119281E59B4 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:10:00] 603*2^1508230-1 is not prime. Res64: B7900D8F0AD7FC18 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:51] 703*2^1508231-1 is not prime. Res64: 642C388DFB52B97F Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:52] 711*2^1508231-1 is not prime. Res64: 4A29EA04F1400F65 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:53] 913*2^1508231-1 is not prime. Res64: A125EFCDAA82A08F Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:53] 609*2^1508232-1 is not prime. Res64: 3B54CCA79771F4BE Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:54] 635*2^1508232-1 is not prime. Res64: 25CF6CAB7BF56900 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:57] 665*2^1508230-1 is not prime. Res64: 784021167BDAA589 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:57] 783*2^1508230-1 is not prime. Res64: A4445AF7AFC1748F Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:58] 917*2^1508230-1 is not prime. Res64: 2B843BF6A3DE80A3 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:58] 951*2^1508230-1 is not prime. Res64: FD45A4320DC636B8 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:16:59] 981*2^1508230-1 is not prime. Res64: B29AFCE46F6E8E95 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:57:51] 695*2^1508232-1 is not prime. Res64: CA6464B0A4405F08 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:57:51] 803*2^1508232-1 is not prime. Res64: FE77F132301EF92F Time : 0.0 sec. user=mdettweiler [2018-04-27 05:57:51] 815*2^1508232-1 is not prime. Res64: 399501AEC9FFE5EC Time : 0.0 sec. user=mdettweiler [2018-04-27 05:57:52] 863*2^1508232-1 is not prime. Res64: C24986C273DB6F2A Time : 0.0 sec. user=mdettweiler [2018-04-27 05:57:52] 879*2^1508232-1 is not prime. Res64: 3D0C0F6C1F2FA907 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:59:49] 619*2^1508233-1 is not prime. Res64: DF32D356F1CC3D93 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:59:49] 651*2^1508233-1 is not prime. Res64: 43C5AF5570A75D0A Time : 0.0 sec. user=mdettweiler [2018-04-27 05:59:49] 675*2^1508233-1 is not prime. Res64: 0635EC4CCCF65016 Time : 0.0 sec. user=mdettweiler [2018-04-27 05:59:50] 741*2^1508233-1 is not prime. Res64: 7EA95F8B4A9B64AA Time : 0.0 sec. user=mdettweiler [2018-04-27 05:59:50] 807*2^1508233-1 is not prime. Res64: B84D39E412A4560F Time : 0.0 sec. user=mdettweiler [2018-04-27 06:07:39] 885*2^1508233-1 is not prime. Res64: FE996A2068A66577 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:07:41] 895*2^1508233-1 is not prime. Res64: 1428BDDA4749206C Time : 0.0 sec. user=mdettweiler [2018-04-27 06:07:42] 939*2^1508233-1 is not prime. Res64: C6B2F9FA0A795C2B Time : 0.0 sec. user=mdettweiler [2018-04-27 06:07:43] 945*2^1508233-1 is not prime. Res64: 42E6017BEAFD58FA Time : 0.0 sec. user=mdettweiler [2018-04-27 06:07:45] 957*2^1508233-1 is not prime. Res64: 9F78FCFDC5E5ADC9 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:08:10] 985*2^1508233-1 is not prime. Res64: 7B8611BFB5049048 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:08:11] 887*2^1508234-1 is not prime. Res64: 5916ED9E5D584E34 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:08:12] 935*2^1508234-1 is not prime. Res64: F0AB2480984B8C5F Time : 0.0 sec. user=mdettweiler [2018-04-27 06:08:13] 639*2^1508235-1 is not prime. Res64: 4DBBA8D63FF23F9C Time : 0.0 sec. user=mdettweiler [2018-04-27 06:08:14] 675*2^1508235-1 is not prime. Res64: 844BB2D33252DDDC Time : 0.0 sec. user=mdettweiler [2018-04-27 06:49:14] 723*2^1508235-1 is not prime. Res64: 3C20803C1F357E81 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:49:14] 795*2^1508235-1 is not prime. Res64: C2E26CBA938415E1 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:49:15] 819*2^1508235-1 is not prime. Res64: 19AB601958C243B8 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:49:15] 861*2^1508235-1 is not prime. Res64: 44490F36CC558986 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:49:16] 921*2^1508235-1 is not prime. Res64: 8F0FBE783CA39F10 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:50:27] 719*2^1508236-1 is not prime. Res64: 1FC0E5FB57AF1C92 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:50:27] 723*2^1508236-1 is not prime. Res64: 4214AC76CFC5CD00 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:50:28] 857*2^1508236-1 is not prime. Res64: BC0EBE4DA71BCB02 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:50:28] 905*2^1508236-1 is not prime. Res64: DFDECC2714C77BD4 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:50:28] 655*2^1508237-1 is not prime. Res64: 2E062280083A2208 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:58:25] 641*2^1508238-1 is not prime. Res64: F26EECD847A5D2C9 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:58:25] 681*2^1508238-1 is not prime. Res64: CC12B87B2EB65CDB Time : 0.0 sec. user=mdettweiler [2018-04-27 06:58:25] 683*2^1508238-1 is not prime. Res64: 8F52B57B05D508FF Time : 0.0 sec. user=mdettweiler [2018-04-27 06:58:26] 755*2^1508238-1 is not prime. Res64: 43FED461A13583CC Time : 0.0 sec. user=mdettweiler [2018-04-27 06:58:26] 773*2^1508238-1 is not prime. Res64: B134ABCB0AE49F07 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:59:23] 727*2^1508237-1 is not prime. Res64: 0DFA5B4B4EE93274 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:59:23] 771*2^1508237-1 is not prime. Res64: 41FF2A87300B385F Time : 0.0 sec. user=mdettweiler [2018-04-27 06:59:24] 799*2^1508237-1 is not prime. Res64: 7E8840562641E7D9 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:59:24] 931*2^1508237-1 is not prime. Res64: 76B90493273B29E5 Time : 0.0 sec. user=mdettweiler [2018-04-27 06:59:24] 985*2^1508237-1 is not prime. Res64: 3852E6FD506F6859 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:05] 795*2^1508238-1 is not prime. Res64: 30C050F638C9B2DA Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:06] 815*2^1508238-1 is not prime. Res64: 17D9715EC6F70B90 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:06] 825*2^1508238-1 is not prime. Res64: CFE3D9256F68F7C2 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:07] 867*2^1508238-1 is not prime. Res64: BA798796CB9418D6 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:07] 941*2^1508238-1 is not prime. Res64: 6D25758C71E338C3 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:39] 993*2^1508238-1 is not prime. Res64: F55813595C6BDD86 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:39] 1001*2^1508238-1 is not prime. Res64: 7F49C042A1D7DF8E Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:40] 603*2^1508239-1 is not prime. Res64: 2978CC386CF14CB3 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:40] 765*2^1508239-1 is not prime. Res64: DCC3ACEAA1C47325 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:40:41] 829*2^1508239-1 is not prime. Res64: 4430896C52C46CAF Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:19] 833*2^1508240-1 is not prime. Res64: A5887F16063A4451 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:19] 657*2^1508241-1 is not prime. Res64: 2F61AD9FF5D3F338 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:20] 889*2^1508241-1 is not prime. Res64: 8B39E93DF5A8F8F0 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:20] 895*2^1508241-1 is not prime. Res64: A793300FC031FE10 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:21] 611*2^1508242-1 is not prime. Res64: B909E65ED2068D53 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:29] 951*2^1508239-1 is not prime. Res64: 0EB033395FBDBEC4 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:29] 973*2^1508239-1 is not prime. Res64: 9B7CD91FC4104F04 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:30] 993*2^1508239-1 is not prime. Res64: D562FB7AE859B405 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:30] 677*2^1508240-1 is not prime. Res64: 14134E5E6FFF0426 Time : 0.0 sec. user=mdettweiler [2018-04-27 07:49:31] 795*2^1508240-1 is not prime. Res64: 47D850875AD63EAE Time : 0.0 sec. user=mdettweiler [2018-04-27 08:30:15] 647*2^1508242-1 is not prime. Res64: E12346D4ED45A809 Time : 0.0 sec. user=mdettweiler [2018-04-27 08:30:16] 665*2^1508242-1 is not prime. Res64: 912AE40B862C50E4 Time : 0.0 sec. user=mdettweiler [2018-04-27 08:30:16] 713*2^1508242-1 is not prime. Res64: 479F4AA994295356 Time : 0.0 sec. user=mdettweiler [2018-04-27 08:30:17] 723*2^1508242-1 is not prime. Res64: 3CAC068F79F76CE9 Time : 0.0 sec. user=mdettweiler [2018-04-27 08:30:17] 777*2^1508242-1 is not prime. Res64: F02AC1360D91110E Time : 0.0 sec. user=mdettweiler [2018-04-27 08:31:14] 987*2^1508242-1 is not prime. Res64: 2707BE7070C6F06A Time : 0.0 sec. user=mdettweiler [2018-04-27 08:31:14] 685*2^1508243-1 is not prime. Res64: 372B3C3028BAE7A6 Time : 0.0 sec. user=mdettweiler [2018-04-27 08:31:14] 811*2^1508243-1 is not prime. Res64: C2C8ED391EEE639B Time : 0.0 sec. user=mdettweiler [2018-04-27 08:31:15] 605*2^1508244-1 is not prime. Res64: C5EC11F313CE6E54 Time : 0.0 sec. user=mdettweiler [2018-04-27 08:31:15] 749*2^1508244-1 is not prime. Res64: 94F2D48285484980 Time : 0.0 sec. user=mdettweiler [2018-04-27 08:40:32] 645*2^1508245-1 is not prime. Res64: 51487D43A62BE23B Time : 0.0 sec. user=mdettweiler [2018-04-27 08:40:32] 651*2^1508245-1 is not prime. Res64: DF1D9FA154F3978E Time : 0.0 sec. user=mdettweiler [2018-04-27 08:40:32] 667*2^1508245-1 is not prime. Res64: 25625FDE38D86F9D Time : 0.0 sec. user=mdettweiler [2018-04-27 08:40:33] 741*2^1508245-1 is not prime. Res64: 1940A14199BA6ECE Time : 0.0 sec. user=mdettweiler [2018-04-27 08:40:33] 751*2^1508245-1 is not prime. Res64: E70DD56BC2D41BAB Time : 0.0 sec. user=mdettweiler [2018-04-27 08:41:04] 795*2^1508244-1 is not prime. Res64: 5986810F7CF1F19B Time : 0.0 sec. user=mdettweiler [2018-04-27 08:41:04] 837*2^1508244-1 is not prime. Res64: 8B1D7D37675A9F8E Time : 0.0 sec. user=mdettweiler [2018-04-27 08:41:05] 893*2^1508244-1 is not prime. Res64: EE19A46A98B16F2B Time : 0.0 sec. user=mdettweiler [2018-04-27 08:41:05] 927*2^1508244-1 is not prime. Res64: 62386C90D1448A72 Time : 0.0 sec. user=mdettweiler [2018-04-27 08:41:06] 975*2^1508244-1 is not prime. Res64: 8F6B023411D2F5E0 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:21:41] 603*2^1508246-1 is not prime. Res64: F51D51286AD8C534 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:21:42] 683*2^1508246-1 is not prime. Res64: E14797CA957DCADB Time : 0.0 sec. user=mdettweiler [2018-04-27 09:21:42] 875*2^1508246-1 is not prime. Res64: 4AB0BE85CC41BEC2 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:21:43] 963*2^1508246-1 is not prime. Res64: 8C5C841A470D3238 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:21:43] 965*2^1508246-1 is not prime. Res64: 6D0766044C1AC803 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:22:09] 757*2^1508245-1 is not prime. Res64: FF0F7D9A7B652E38 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:22:09] 789*2^1508245-1 is not prime. Res64: 7C58143C419756F2 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:22:10] 831*2^1508245-1 is not prime. Res64: 2C8D5BE963A3FCD4 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:22:10] 847*2^1508245-1 is not prime. Res64: E41A0B2B9CB6066D Time : 0.0 sec. user=mdettweiler [2018-04-27 09:22:10] 961*2^1508245-1 is not prime. Res64: 28C35F0CF59126AB Time : 0.0 sec. user=mdettweiler [2018-04-27 09:31:31] 615*2^1508247-1 is not prime. Res64: 8494D00DCC0D9C97 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:31:31] 649*2^1508247-1 is not prime. Res64: 1756DA0230E1900F Time : 0.0 sec. user=mdettweiler [2018-04-27 09:31:32] 651*2^1508247-1 is not prime. Res64: 27709E1DE8AE4CFF Time : 0.0 sec. user=mdettweiler [2018-04-27 09:31:32] 661*2^1508247-1 is not prime. Res64: 89D827377B7DF6C5 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:31:32] 765*2^1508247-1 is not prime. Res64: 7E163820B4F41B72 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:32:36] 849*2^1508247-1 is not prime. Res64: 5921E2ED01D29F40 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:32:36] 885*2^1508247-1 is not prime. Res64: 49CBE5C9D47C6860 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:32:36] 951*2^1508247-1 is not prime. Res64: 6E0097BEE53ACAE2 Time : 0.0 sec. user=mdettweiler [2018-04-27 09:32:37] 765*2^1508248-1 is not prime. Res64: 8F20A61C93BED5FA Time : 0.0 sec. user=mdettweiler [2018-04-27 09:32:37] 773*2^1508248-1 is not prime. Res64: D4E43E0864FBC7D3 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:12:05] 887*2^1508248-1 is not prime. Res64: AAC2BA93C45C8900 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:12:05] 897*2^1508248-1 is not prime. Res64: 10BCF0463F08BC75 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:12:06] 631*2^1508249-1 is not prime. Res64: 88E710469EE9474B Time : 0.0 sec. user=mdettweiler [2018-04-27 10:12:06] 697*2^1508249-1 is not prime. Res64: 5036BAEE74FD97F8 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:12:06] 741*2^1508249-1 is not prime. Res64: 4C43667CBEABC79F Time : 0.0 sec. user=mdettweiler [2018-04-27 10:13:16] 771*2^1508249-1 is not prime. Res64: 24C0F38E2C60CC2F Time : 0.0 sec. user=mdettweiler [2018-04-27 10:13:16] 775*2^1508249-1 is not prime. Res64: 442BB8EB8C1FA59C Time : 0.0 sec. user=mdettweiler [2018-04-27 10:13:17] 847*2^1508249-1 is not prime. Res64: 42CB4DA2B1942249 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:13:17] 909*2^1508249-1 is not prime. Res64: 87C3CD8326038128 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:13:18] 791*2^1508250-1 is not prime. Res64: 18779FB6307A4AF5 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:22:40] 861*2^1508250-1 is not prime. Res64: 253257FAB0B1C08A Time : 0.0 sec. user=mdettweiler [2018-04-27 10:22:40] 977*2^1508250-1 is not prime. Res64: A1B26D178CF73B0C Time : 0.0 sec. user=mdettweiler [2018-04-27 10:22:41] 709*2^1508251-1 is not prime. Res64: DA4692EE10C8D459 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:22:41] 775*2^1508251-1 is not prime. Res64: 13EB1C074BDA6F6B Time : 0.0 sec. user=mdettweiler [2018-04-27 10:22:42] 783*2^1508251-1 is not prime. Res64: 50033C051DA3AD0F Time : 0.0 sec. user=mdettweiler [2018-04-27 10:23:26] 793*2^1508251-1 is not prime. Res64: 68097CC378EFEEF7 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:23:27] 819*2^1508251-1 is not prime. Res64: DF312C0C9FB2C7F9 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:23:27] 885*2^1508251-1 is not prime. Res64: 480767236C8E0B7A Time : 0.0 sec. user=mdettweiler [2018-04-27 10:23:27] 931*2^1508251-1 is not prime. Res64: 81243417AC72A196 Time : 0.0 sec. user=mdettweiler [2018-04-27 10:23:28] 665*2^1508252-1 is not prime. Res64: 206B16CE1B059F27 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:02:52] 825*2^1508252-1 is not prime. Res64: 1E8C78C127DF526D Time : 0.0 sec. user=mdettweiler [2018-04-27 11:02:54] 621*2^1508253-1 is not prime. Res64: 74C3EB25038ABD56 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:02:54] 919*2^1508253-1 is not prime. Res64: BF1FC61B02246606 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:02:55] 949*2^1508253-1 is not prime. Res64: 9208911505FBA575 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:02:56] 665*2^1508254-1 is not prime. Res64: 5B952CD673F2FABF Time : 0.0 sec. user=mdettweiler [2018-04-27 11:04:16] 705*2^1508254-1 is not prime. Res64: 5D0EB60AAF545F89 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:04:17] 723*2^1508254-1 is not prime. Res64: E8192D7735813434 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:04:18] 755*2^1508254-1 is not prime. Res64: E9DCB297E45D4859 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:04:19] 813*2^1508254-1 is not prime. Res64: F3AD0672E8310F5F Time : 0.0 sec. user=mdettweiler [2018-04-27 11:04:20] 887*2^1508254-1 is not prime. Res64: AD8EDB4CF954C9A3 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:28] 783*2^1508255-1 is not prime. Res64: 73D33AF00130B8FF Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:28] 823*2^1508255-1 is not prime. Res64: 05D86E3311194A00 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:29] 963*2^1508255-1 is not prime. Res64: BA43A140CDD86C32 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:29] 653*2^1508256-1 is not prime. Res64: 17927FE81EE6B049 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:30] 747*2^1508256-1 is not prime. Res64: 266BBF701150D1EE Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:34] 1001*2^1508254-1 is not prime. Res64: 98493C9C5B4DE08A Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:35] 619*2^1508255-1 is not prime. Res64: DD8E98EB397C7B5F Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:35] 643*2^1508255-1 is not prime. Res64: BF81B7E0570FADB9 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:35] 693*2^1508255-1 is not prime. Res64: 2AA6C7E794CB431A Time : 0.0 sec. user=mdettweiler [2018-04-27 11:14:36] 759*2^1508255-1 is not prime. Res64: 67FC22425A3D95A5 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:56:22] 789*2^1508256-1 is not prime. Res64: F653E67FA977746F Time : 0.0 sec. user=mdettweiler [2018-04-27 11:56:23] 999*2^1508256-1 is not prime. Res64: 71129F2D70AE4051 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:56:23] 649*2^1508257-1 is not prime. Res64: 038B95B838E151EA Time : 0.0 sec. user=mdettweiler [2018-04-27 11:56:23] 691*2^1508257-1 is not prime. Res64: 2091BECA29BC042A Time : 0.0 sec. user=mdettweiler [2018-04-27 11:56:24] 741*2^1508257-1 is not prime. Res64: 498E9B05F045B62D Time : 0.0 sec. user=mdettweiler [2018-04-27 11:58:17] 747*2^1508257-1 is not prime. Res64: FCA3DB344AACB36B Time : 0.0 sec. user=mdettweiler [2018-04-27 11:58:17] 769*2^1508257-1 is not prime. Res64: 0213169DE77E23EB Time : 0.0 sec. user=mdettweiler [2018-04-27 11:58:18] 807*2^1508257-1 is not prime. Res64: 9159C2729EE5C1C3 Time : 0.0 sec. user=mdettweiler [2018-04-27 11:58:18] 841*2^1508257-1 is not prime. Res64: 9CCF48017CF275EB Time : 0.0 sec. user=mdettweiler [2018-04-27 11:58:19] 897*2^1508257-1 is not prime. Res64: 0C156B1B69091FCB Time : 0.0 sec. user=mdettweiler [2018-04-27 12:05:53] 931*2^1508257-1 is not prime. Res64: 6E9B7352E3D30174 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:05:56] 937*2^1508257-1 is not prime. Res64: 7649A4FC4C9CB6BC Time : 0.0 sec. user=mdettweiler [2018-04-27 12:05:57] 605*2^1508258-1 is not prime. Res64: D3C1DF9339CA8E83 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:05:58] 791*2^1508258-1 is not prime. Res64: FFB94CCDC35C8726 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:05:59] 837*2^1508258-1 is not prime. Res64: 77886926B78E8FAB Time : 0.0 sec. user=mdettweiler [2018-04-27 12:06:16] 935*2^1508258-1 is not prime. Res64: E6C4944758D2D2D1 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:06:18] 945*2^1508258-1 is not prime. Res64: 34D4A85AE5316986 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:06:19] 669*2^1508259-1 is not prime. Res64: 64D1384239F63AB8 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:06:20] 843*2^1508259-1 is not prime. Res64: 9398C0F54C809168 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:06:22] 955*2^1508259-1 is not prime. Res64: 04B6D18C227037C1 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:20] 973*2^1508259-1 is not prime. Res64: F86057244206BFF5 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:21] 609*2^1508260-1 is not prime. Res64: 70AC6FF6D8EC416E Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:21] 843*2^1508260-1 is not prime. Res64: CC6B6AEF31BC5CFF Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:21] 923*2^1508260-1 is not prime. Res64: 42618AC916D96B94 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:22] 933*2^1508260-1 is not prime. Res64: C003CD8D28E56E4C Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:37] 957*2^1508260-1 is not prime. Res64: B5C83E246014D1E5 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:37] 987*2^1508260-1 is not prime. Res64: 8C312A69D1C29D00 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:38] 615*2^1508261-1 is not prime. Res64: AB3B41570675C180 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:38] 675*2^1508261-1 is not prime. Res64: 4D6E910864D5E021 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:48:38] 691*2^1508261-1 is not prime. Res64: 145FAF8B630BA03F Time : 0.0 sec. user=mdettweiler [2018-04-27 12:57:57] 747*2^1508261-1 is not prime. Res64: 8E974A868E3B919E Time : 0.0 sec. user=mdettweiler [2018-04-27 12:57:57] 757*2^1508261-1 is not prime. Res64: A9F9FD7A0E35A231 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:57:57] 829*2^1508261-1 is not prime. Res64: 79ABB6B136835255 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:57:58] 979*2^1508261-1 is not prime. Res64: 459EF98D748B16F1 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:57:58] 621*2^1508262-1 is not prime. Res64: 13724649DE173ED3 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:58:53] 791*2^1508262-1 is not prime. Res64: 9A57EAD90F4E2453 Time : 0.0 sec. user=mdettweiler [2018-04-27 12:58:53] 833*2^1508262-1 is not prime. Res64: DAAC06A7986F2C2C Time : 0.0 sec. user=mdettweiler [2018-04-27 12:58:54] 843*2^1508262-1 is not prime. Res64: 1374456B2807F19C Time : 0.0 sec. user=mdettweiler [2018-04-27 12:58:54] 867*2^1508262-1 is not prime. Res64: 4650B81BA781B13D Time : 0.0 sec. user=mdettweiler [2018-04-27 12:58:54] 965*2^1508262-1 is not prime. Res64: 6C6104F3CB039A47 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:15] 639*2^1508263-1 is not prime. Res64: EEF085DFBCE8FC40 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:16] 703*2^1508263-1 is not prime. Res64: E71439C9C17793F0 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:16] 729*2^1508263-1 is not prime. Res64: E0E95B831668D957 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:17] 735*2^1508263-1 is not prime. Res64: 20C7C2A7ACEFAB2E Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:17] 789*2^1508263-1 is not prime. Res64: 825114A149F47B45 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:24] 849*2^1508263-1 is not prime. Res64: B6CB9FCB8FD01CCA Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:24] 689*2^1508264-1 is not prime. Res64: D737317345F8A9E3 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:24] 825*2^1508264-1 is not prime. Res64: CCE11A7688C42744 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:25] 843*2^1508264-1 is not prime. Res64: 4B58820CBC24E7DD Time : 0.0 sec. user=mdettweiler [2018-04-27 13:39:25] 897*2^1508264-1 is not prime. Res64: 3F8AECD809B01A48 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:47:53] 639*2^1508265-1 is not prime. Res64: 7318895B7DD3033E Time : 0.0 sec. user=mdettweiler [2018-04-27 13:47:53] 679*2^1508265-1 is not prime. Res64: FBB16A4338FF308A Time : 0.0 sec. user=mdettweiler [2018-04-27 13:47:54] 765*2^1508265-1 is not prime. Res64: F76CEA9A322450AF Time : 0.0 sec. user=mdettweiler [2018-04-27 13:47:54] 777*2^1508265-1 is not prime. Res64: 681CCEFD22D39654 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:47:55] 915*2^1508265-1 is not prime. Res64: 583F4C202BD5C8C9 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:48:13] 997*2^1508265-1 is not prime. Res64: 0B10243C6E7842D9 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:48:14] 635*2^1508266-1 is not prime. Res64: F26309143B0D5FA4 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:48:14] 645*2^1508266-1 is not prime. Res64: 6AEA4FA6C38B646B Time : 0.0 sec. user=mdettweiler [2018-04-27 13:48:15] 621*2^1508267-1 is not prime. Res64: 540447916AE598F1 Time : 0.0 sec. user=mdettweiler [2018-04-27 13:48:15] 645*2^1508267-1 is not prime. Res64: 84815829DF928CE3 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:29:44] 753*2^1508267-1 is not prime. Res64: F17EA19EEAAE2465 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:29:44] 759*2^1508267-1 is not prime. Res64: DE3CE3A0989FC411 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:29:45] 799*2^1508267-1 is not prime. Res64: 8529E2C4AFADC015 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:29:45] 823*2^1508267-1 is not prime. Res64: FD7F7C6AD20D59B6 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:29:46] 883*2^1508267-1 is not prime. Res64: B74CF1B39BE56968 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:30:13] 963*2^1508267-1 is not prime. Res64: 6087EA492381CAFA Time : 0.0 sec. user=mdettweiler [2018-04-27 14:30:13] 629*2^1508268-1 is not prime. Res64: 753213B8879AE5A8 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:30:13] 759*2^1508268-1 is not prime. Res64: B0DE1D1B5AB0502B Time : 0.0 sec. user=mdettweiler [2018-04-27 14:30:14] 773*2^1508268-1 is not prime. Res64: 90110B07FC32D531 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:30:14] 887*2^1508268-1 is not prime. Res64: 85445B37F2C7D79C Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:05] 603*2^1508270-1 is not prime. Res64: 5EA0BFAFD3A9683E Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:05] 627*2^1508270-1 is not prime. Res64: 8059D8EB7DE63F9B Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:06] 711*2^1508270-1 is not prime. Res64: BDBE6F435D8C2E20 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:06] 843*2^1508270-1 is not prime. Res64: E9FD1B039606EEA8 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:07] 897*2^1508270-1 is not prime. Res64: 67240F935FBF428A Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:31] 945*2^1508268-1 is not prime. Res64: CD5DD4CDE9AF3C5E Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:32] 993*2^1508268-1 is not prime. Res64: BD9D857F9F8DC9D1 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:33] 625*2^1508269-1 is not prime. Res64: 7E88385A96337920 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:34] 675*2^1508269-1 is not prime. Res64: ABB0B02DF84E5AC6 Time : 0.0 sec. user=mdettweiler [2018-04-27 14:37:35] 885*2^1508269-1 is not prime. Res64: AD8973D536BAD376 Time : 0.0 sec. user=mdettweiler [2018-04-27 15:19:36] 923*2^1508270-1 is not prime. Res64: FCCBA64222E01EAC Time : 0.0 sec. user=mdettweiler [2018-04-27 15:19:36] 679*2^1508271-1 is not prime. Res64: 30BE4362F7A0AACF Time : 0.0 sec. user=mdettweiler [2018-04-27 15:19:37] 703*2^1508271-1 is not prime. Res64: 77A4AB78642ED42E Time : 0.0 sec. user=mdettweiler [2018-04-27 15:19:37] 741*2^1508271-1 is not prime. Res64: 59AC1A6AA21643C7 Time : 0.0 sec. user=mdettweiler [2018-04-27 15:19:38] 751*2^1508271-1 is not prime. Res64: E54112F7AF662DD7 Time : 0.0 sec. user=mdettweiler [2018-04-27 15:20:50] 775*2^1508271-1 is not prime. Res64: A6600F582CEE3B28 Time : 0.0 sec. user=mdettweiler [2018-04-27 15:20:51] 865*2^1508271-1 is not prime. Res64: 29171B39D2514ADD Time : 0.0 sec. user=mdettweiler [2018-04-27 15:20:51] 879*2^1508271-1 is not prime. Res64: 1BF45F87B8967A6E Time : 0.0 sec. user=mdettweiler [2018-04-27 15:20:52] 895*2^1508271-1 is not prime. Res64: 979C7D745DD3DCCD Time : 0.0 sec. user=mdettweiler [2018-04-27 15:20:52] 913*2^1508271-1 is not prime. Res64: 468F1AE511FBADEE Time : 0.0 sec. user=mdettweiler [2018-04-27 15:26:37] 665*2^1508272-1 is not prime. Res64: BA347477D25710FA Time : 0.0 sec. user=mdettweiler [2018-04-27 15:26:37] 687*2^1508272-1 is not prime. Res64: 48AEC0AA48C5E4AA Time : 0.0 sec. user=mdettweiler [2018-04-27 15:26:38] 705*2^1508272-1 is not prime. Res64: 25935CD78F094FAB Time : 0.0 sec. user=mdettweiler [2018-04-27 15:26:38] 765*2^1508272-1 is not prime. Res64: 5CE0E24F63093345 Time : 0.0 sec. user=mdettweiler [2018-04-27 15:26:38] 785*2^1508272-1 is not prime. Res64: 423E851896636A64 Time : 0.0 sec. user=mdettweiler [2018-04-27 15:27:50] 863*2^1508272-1 is not prime. Res64: 33BAE7135165D128 Time : 0.0 sec. user=mdettweiler [2018-04-27 15:27:51] 939*2^1508272-1 is not prime. Res64: A6C8589C30ECB3AC Time : 0.0 sec. user=mdettweiler [2018-04-27 15:27:51] 999*2^1508272-1 is not prime. Res64: D801AEED0525CF91 Time : 0.0 sec. user=mdettweiler [2018-04-27 15:27:51] 619*2^1508273-1 is not prime. Res64: 38B56471E7A13B5E Time : 0.0 sec. user=mdettweiler [2018-04-27 15:27:52] 735*2^1508273-1 is not prime. Res64: 82A7CD17AD5BEF9D Time : 0.0 sec. user=mdettweiler [2018-04-27 16:09:33] 801*2^1508273-1 is not prime. Res64: 74A5D9D7A9569689 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:09:34] 861*2^1508273-1 is not prime. Res64: F4BE610C65866533 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:09:34] 867*2^1508273-1 is not prime. Res64: ADDF8E6A179CB192 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:09:35] 657*2^1508274-1 is not prime. Res64: 0372315FCD575668 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:09:35] 705*2^1508274-1 is not prime. Res64: 91EADA20302DCF0E Time : 0.0 sec. user=mdettweiler [2018-04-27 16:10:37] 797*2^1508274-1 is not prime. Res64: D010291158DF12F6 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:10:37] 815*2^1508274-1 is not prime. Res64: BD4F2394EDEB06A4 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:10:38] 941*2^1508274-1 is not prime. Res64: 2275FFFCFFCD755F Time : 0.0 sec. user=mdettweiler [2018-04-27 16:10:38] 975*2^1508274-1 is not prime. Res64: 3F54E7A7D290C94F Time : 0.0 sec. user=mdettweiler [2018-04-27 16:10:39] 603*2^1508275-1 is not prime. Res64: CCADC01ADF547F3C Time : 0.0 sec. user=mdettweiler [2018-04-27 16:16:16] 649*2^1508275-1 is not prime. Res64: 0285540BC90FE003 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:16:16] 679*2^1508275-1 is not prime. Res64: F23517D81CA68F43 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:16:17] 783*2^1508275-1 is not prime. Res64: 43D1339FA13766F6 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:16:17] 859*2^1508275-1 is not prime. Res64: 89B090933CD292A8 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:16:17] 871*2^1508275-1 is not prime. Res64: 4C2E2824FC188202 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:17:15] 925*2^1508275-1 is not prime. Res64: 91891064148930BB Time : 0.0 sec. user=mdettweiler [2018-04-27 16:17:15] 985*2^1508275-1 is not prime. Res64: B7A0AF04C94D6CC6 Time : 0.0 sec. user=mdettweiler [2018-04-27 16:17:16] 617*2^1508276-1 is not prime. Res64: CCCD60F489FA424D Time : 0.0 sec. user=mdettweiler [2018-04-27 16:17:16] 633*2^1508276-1 is not prime. Res64: 942393EB195C93AE Time : 0.0 sec. user=mdettweiler [2018-04-27 16:17:16] 677*2^1508276-1 is not prime. Res64: 0DB798D6A6D39053 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:00:01] 909*2^1508276-1 is not prime. Res64: A77439AAF40FAF5C Time : 0.0 sec. user=mdettweiler [2018-04-27 17:00:02] 627*2^1508277-1 is not prime. Res64: 299E99A0BD55B6C6 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:00:02] 669*2^1508277-1 is not prime. Res64: 1EDDBCAD4210684C Time : 0.0 sec. user=mdettweiler [2018-04-27 17:00:02] 681*2^1508277-1 is not prime. Res64: 2A46627E9779BCA6 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:00:03] 691*2^1508277-1 is not prime. Res64: 7D451127FEF944F8 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:02:10] 727*2^1508277-1 is not prime. Res64: 4BCB739C7053BBEA Time : 0.0 sec. user=mdettweiler [2018-04-27 17:02:11] 765*2^1508277-1 is not prime. Res64: CDEDA926C65D5140 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:02:12] 819*2^1508277-1 is not prime. Res64: D42D2F287699C5D5 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:02:12] 847*2^1508277-1 is not prime. Res64: C8D094C85E7A280E Time : 0.0 sec. user=mdettweiler [2018-04-27 17:02:13] 849*2^1508277-1 is not prime. Res64: 05BF558409544EE0 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:35] 745*2^1508279-1 is not prime. Res64: 859AE5870383955B Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:36] 865*2^1508279-1 is not prime. Res64: 1BCEE3582C9BCF86 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:37] 913*2^1508279-1 is not prime. Res64: 3BE670BA9BEFF42A Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:37] 993*2^1508279-1 is not prime. Res64: 29E3052C47143863 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:38] 633*2^1508280-1 is not prime. Res64: 9861C76E3789D30A Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:51] 859*2^1508277-1 is not prime. Res64: C7C2CAE3F270E8F2 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:51] 891*2^1508277-1 is not prime. Res64: 00B134D251555340 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:52] 801*2^1508278-1 is not prime. Res64: 19873E85CCF18604 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:52] 821*2^1508278-1 is not prime. Res64: F6AC5780E9F11BA6 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:08:53] 621*2^1508279-1 is not prime. Res64: E41C2DD6C5340BA9 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:49:33] 689*2^1508280-1 is not prime. Res64: FC55E2B35DF0E0E5 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:49:34] 693*2^1508280-1 is not prime. Res64: FEB0C653C5858841 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:49:34] 735*2^1508280-1 is not prime. Res64: F32FFDD7FB44BC10 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:49:34] 753*2^1508280-1 is not prime. Res64: 5C3B45C2CCDDA7D0 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:49:35] 773*2^1508280-1 is not prime. Res64: 271E563C50AD2766 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:51:46] 691*2^1508281-1 is not prime. Res64: 30F2033967578929 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:51:47] 751*2^1508281-1 is not prime. Res64: 462A6C5925D7EBEC Time : 0.0 sec. user=mdettweiler [2018-04-27 17:51:47] 951*2^1508281-1 is not prime. Res64: 498B95E36F6CE724 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:51:48] 635*2^1508282-1 is not prime. Res64: D906D677D1068922 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:51:48] 983*2^1508282-1 is not prime. Res64: 241DB57F8D822CC5 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:58:35] 709*2^1508283-1 is not prime. Res64: ADA6BA90D0AFE077 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:58:35] 723*2^1508283-1 is not prime. Res64: 1580AE4765A20E02 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:58:36] 801*2^1508283-1 is not prime. Res64: BF1D3EE22B77E11F Time : 0.0 sec. user=mdettweiler [2018-04-27 17:58:36] 823*2^1508283-1 is not prime. Res64: 15BE1455ABF9EEC4 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:58:36] 973*2^1508283-1 is not prime. Res64: 3F68CBE662206063 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:59:02] 723*2^1508284-1 is not prime. Res64: 46556D9D7E4B5D4C Time : 0.0 sec. user=mdettweiler [2018-04-27 17:59:03] 927*2^1508284-1 is not prime. Res64: E5A588C47108E3F2 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:59:03] 607*2^1508285-1 is not prime. Res64: 917592B2A465E8A9 Time : 0.0 sec. user=mdettweiler [2018-04-27 17:59:04] 669*2^1508285-1 is not prime. Res64: BD191DB416108D0C Time : 0.0 sec. user=mdettweiler [2018-04-27 17:59:04] 741*2^1508285-1 is not prime. Res64: ED4DA9481DF989FB Time : 0.0 sec. user=mdettweiler [2018-04-27 18:40:10] 949*2^1508285-1 is not prime. Res64: 51E031C8EDA52F5F Time : 0.0 sec. user=mdettweiler [2018-04-27 18:40:10] 951*2^1508285-1 is not prime. Res64: 74F50FD56B6A5AEE Time : 0.0 sec. user=mdettweiler [2018-04-27 18:40:11] 713*2^1508286-1 is not prime. Res64: 656A6D6D8E047217 Time : 0.0 sec. user=mdettweiler [2018-04-27 18:40:11] 765*2^1508286-1 is not prime. Res64: 88BA0297AC7226B6 Time : 0.0 sec. user=mdettweiler [2018-04-27 18:40:12] 801*2^1508286-1 is not prime. Res64: 36535C7426BD461A Time : 0.0 sec. user=mdettweiler [2018-04-27 18:43:32] 815*2^1508286-1 is not prime. Res64: A6D3FC2A2A86492A Time : 0.0 sec. user=mdettweiler [2018-04-27 18:43:32] 851*2^1508286-1 is not prime. Res64: 24A88C146FD8973A Time : 0.0 sec. user=mdettweiler [2018-04-27 18:43:33] 903*2^1508286-1 is not prime. Res64: BBB1A5FD9B95A6FD Time : 0.0 sec. user=mdettweiler [2018-04-27 18:43:33] 917*2^1508286-1 is not prime. Res64: AA3460393C9BFC8A Time : 0.0 sec. user=mdettweiler [2018-04-27 18:43:33] 933*2^1508286-1 is not prime. Res64: 830827D9E07179A2 Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:14] 983*2^1508286-1 is not prime. Res64: AB4EA10440CBE843 Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:14] 649*2^1508287-1 is not prime. Res64: 4862EEE2B74C5D57 Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:15] 673*2^1508287-1 is not prime. Res64: BD33840025985201 Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:15] 759*2^1508287-1 is not prime. Res64: BDAABDCC79E637DA Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:15] 859*2^1508287-1 is not prime. Res64: 739FE64B353377FC Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:56] 919*2^1508287-1 is not prime. Res64: 0D69E8045816AF3A Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:57] 951*2^1508287-1 is not prime. Res64: 6A359962C36DB4F8 Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:57] 973*2^1508287-1 is not prime. Res64: 84F0F8FAD8067B3E Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:58] 975*2^1508287-1 is not prime. Res64: 68E2DB9962B5084C Time : 0.0 sec. user=mdettweiler [2018-04-27 18:50:58] 629*2^1508288-1 is not prime. Res64: 550FDA474AB04718 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:31:32] 825*2^1508288-1 is not prime. Res64: 1B2735647E2867A9 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:31:33] 879*2^1508288-1 is not prime. Res64: 926A6F1AE736B0E4 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:31:33] 945*2^1508288-1 is not prime. Res64: F26AD184CD8CF01E Time : 0.0 sec. user=mdettweiler [2018-04-27 19:31:34] 667*2^1508289-1 is not prime. Res64: 8A18FE69E8299F21 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:31:34] 685*2^1508289-1 is not prime. Res64: 2C8B6FBB88FCB04A Time : 0.0 sec. user=mdettweiler [2018-04-27 19:36:30] 795*2^1508289-1 is not prime. Res64: 755D7A3866BF7438 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:36:30] 867*2^1508289-1 is not prime. Res64: 92DA7E9DD6057555 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:36:31] 919*2^1508289-1 is not prime. Res64: 58B4E08B2D3E7625 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:36:31] 985*2^1508289-1 is not prime. Res64: 2405A5A337C1C83D Time : 0.0 sec. user=mdettweiler [2018-04-27 19:36:32] 997*2^1508289-1 is not prime. Res64: 0D0EFDFCEBBF9086 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:41:21] 999*2^1508289-1 is not prime. Res64: 40057293B7F909D9 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:41:21] 623*2^1508290-1 is not prime. Res64: 876B0C3FA48235B4 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:41:22] 687*2^1508290-1 is not prime. Res64: 21E586CBA70F33C7 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:41:22] 731*2^1508290-1 is not prime. Res64: 97E0342998CE67D5 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:41:23] 609*2^1508291-1 is not prime. Res64: A9FD58354ABC68FF Time : 0.0 sec. user=mdettweiler [2018-04-27 19:43:23] 735*2^1508291-1 is not prime. Res64: 6C047232B2A29F5A Time : 0.0 sec. user=mdettweiler [2018-04-27 19:43:24] 741*2^1508291-1 is not prime. Res64: B779B61904BF482F Time : 0.0 sec. user=mdettweiler [2018-04-27 19:43:24] 829*2^1508291-1 is not prime. Res64: A5D4F9F94D440867 Time : 0.0 sec. user=mdettweiler [2018-04-27 19:43:25] 903*2^1508291-1 is not prime. Res64: C78C26B0D078D7CC Time : 0.0 sec. user=mdettweiler [2018-04-27 19:43:25] 931*2^1508291-1 is not prime. Res64: E8C11CF809F3BC0E Time : 0.0 sec. user=mdettweiler [2018-04-27 20:20:53] 993*2^1508291-1 is not prime. Res64: 904CE1F10FC62722 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:20:54] 627*2^1508292-1 is not prime. Res64: 90E16213EA6E3441 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:20:54] 665*2^1508292-1 is not prime. Res64: 1ED9C6EE9A7071D6 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:20:54] 695*2^1508292-1 is not prime. Res64: A1A71E88D556AA2F Time : 0.0 sec. user=mdettweiler [2018-04-27 20:20:55] 887*2^1508292-1 is not prime. Res64: E507BF2C8A150E9C Time : 0.0 sec. user=mdettweiler [2018-04-27 20:26:36] 977*2^1508292-1 is not prime. Res64: 6A885728416807FF Time : 0.0 sec. user=mdettweiler [2018-04-27 20:26:36] 987*2^1508292-1 is not prime. Res64: F4BD9AABD4ADA199 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:26:36] 615*2^1508293-1 is not prime. Res64: 75CBC4D31E49C6C2 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:26:37] 771*2^1508293-1 is not prime. Res64: 5B447E5592299B1F Time : 0.0 sec. user=mdettweiler [2018-04-27 20:26:37] 831*2^1508293-1 is not prime. Res64: 0954A40E697EFC7F Time : 0.0 sec. user=mdettweiler [2018-04-27 20:31:17] 889*2^1508293-1 is not prime. Res64: 40D039E1210C3F4B Time : 0.0 sec. user=mdettweiler [2018-04-27 20:31:17] 915*2^1508293-1 is not prime. Res64: 0B4B0A0461FC1C23 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:31:18] 957*2^1508293-1 is not prime. Res64: 3C0D3A74D086B7D6 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:31:18] 985*2^1508293-1 is not prime. Res64: 838EEB0581A2ACB5 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:31:18] 707*2^1508294-1 is not prime. Res64: 525482C8B329DCA2 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:33:47] 711*2^1508294-1 is not prime. Res64: 7999BB78A6392419 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:33:48] 717*2^1508294-1 is not prime. Res64: 5F942400B1C02439 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:33:48] 773*2^1508294-1 is not prime. Res64: B5673FD98EF1688A Time : 0.0 sec. user=mdettweiler [2018-04-27 20:33:48] 921*2^1508294-1 is not prime. Res64: 5A088C5B6AEBEC75 Time : 0.0 sec. user=mdettweiler [2018-04-27 20:33:48] 935*2^1508294-1 is not prime. Res64: AFB1E2103127B733 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:13:09] 945*2^1508294-1 is not prime. Res64: A71674BB71ACCDFE Time : 0.0 sec. user=mdettweiler [2018-04-27 21:13:10] 951*2^1508294-1 is not prime. Res64: 032760D404475337 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:13:10] 1001*2^1508294-1 is not prime. Res64: 0BD8CC6C91543E87 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:13:11] 663*2^1508295-1 is not prime. Res64: F4B5E1DC43535240 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:13:11] 679*2^1508295-1 is not prime. Res64: 4A1A619A5F4962D1 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:18:47] 871*2^1508295-1 is not prime. Res64: 0C9238DABC86AC83 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:18:48] 895*2^1508295-1 is not prime. Res64: F942BC90E2B5C3CD Time : 0.0 sec. user=mdettweiler [2018-04-27 21:18:48] 955*2^1508295-1 is not prime. Res64: 11D034FED7F64E87 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:18:49] 615*2^1508296-1 is not prime. Res64: 9D70AF37BD4888DD Time : 0.0 sec. user=mdettweiler [2018-04-27 21:18:49] 657*2^1508296-1 is not prime. Res64: A3A5E04D459DED7C Time : 0.0 sec. user=mdettweiler [2018-04-27 21:24:05] 777*2^1508296-1 is not prime. Res64: 953DA16CA104B634 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:24:05] 825*2^1508296-1 is not prime. Res64: 8533D7D79E7D8B85 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:24:06] 843*2^1508296-1 is not prime. Res64: E821FEA12CE54785 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:24:06] 887*2^1508296-1 is not prime. Res64: 593BD14C509EA983 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:24:07] 989*2^1508296-1 is not prime. Res64: 2A792B408C61D4B1 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:26:38] 729*2^1508297-1 is not prime. Res64: 79667C18B27EF584 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:26:39] 741*2^1508297-1 is not prime. Res64: 39D47710CD4E088A Time : 0.0 sec. user=mdettweiler [2018-04-27 21:26:39] 901*2^1508297-1 is not prime. Res64: A47CA1537B7D3DA9 Time : 0.0 sec. user=mdettweiler [2018-04-27 21:26:39] 931*2^1508297-1 is not prime. Res64: 19FB098230340F0A Time : 0.0 sec. user=mdettweiler [2018-04-27 21:26:40] 777*2^1508298-1 is not prime. Res64: A2FFCA394D04597A Time : 0.0 sec. user=mdettweiler [2018-04-27 22:03:43] 821*2^1508298-1 is not prime. Res64: BC014441E20FA2BB Time : 0.0 sec. user=mdettweiler [2018-04-27 22:03:44] 867*2^1508298-1 is not prime. Res64: C0FCA725322BBE1A Time : 0.0 sec. user=mdettweiler [2018-04-27 22:03:45] 975*2^1508298-1 is not prime. Res64: F53F0C611C04F208 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:03:46] 859*2^1508299-1 is not prime. Res64: 9AEDD05271D60075 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:03:47] 883*2^1508299-1 is not prime. Res64: C73A3D6CA18C9D66 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:09:14] 969*2^1508299-1 is not prime. Res64: 05A55B08D5417A87 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:09:14] 979*2^1508299-1 is not prime. Res64: 10921F0239CD8649 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:09:15] 803*2^1508300-1 is not prime. Res64: 8ECDA2C5F6A26BD2 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:09:15] 827*2^1508300-1 is not prime. Res64: D892D29F24E09F01 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:09:16] 879*2^1508300-1 is not prime. Res64: 03627E3F42ADD089 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:14:03] 717*2^1508301-1 is not prime. Res64: F4806658B3645D5F Time : 0.0 sec. user=mdettweiler [2018-04-27 22:14:03] 751*2^1508301-1 is not prime. Res64: 232BD5ED5802C74B Time : 0.0 sec. user=mdettweiler [2018-04-27 22:14:03] 781*2^1508301-1 is not prime. Res64: DD4744B56798C7B3 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:14:04] 811*2^1508301-1 is not prime. Res64: A33AF227C8DCFA07 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:14:04] 927*2^1508301-1 is not prime. Res64: A816D7D5B4FD1BD0 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:16:13] 681*2^1508302-1 is not prime. Res64: 43ACAF899F682BFD Time : 0.0 sec. user=mdettweiler [2018-04-27 22:16:13] 713*2^1508302-1 is not prime. Res64: 546FF4BB8C570888 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:16:14] 747*2^1508302-1 is not prime. Res64: 937F7EF7FCBA363B Time : 0.0 sec. user=mdettweiler [2018-04-27 22:16:14] 791*2^1508302-1 is not prime. Res64: B831A72A33974F41 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:16:14] 815*2^1508302-1 is not prime. Res64: 02DBB20B0EFC1A7A Time : 0.0 sec. user=mdettweiler [2018-04-27 22:55:02] 923*2^1508302-1 is not prime. Res64: 8E0CB601CD687A43 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:55:02] 947*2^1508302-1 is not prime. Res64: ADAF017B477C6F0D Time : 0.0 sec. user=mdettweiler [2018-04-27 22:55:03] 957*2^1508302-1 is not prime. Res64: F0D4F0632E336C29 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:55:03] 729*2^1508303-1 is not prime. Res64: B7345492754B9C28 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:55:04] 753*2^1508303-1 is not prime. Res64: F4B4FB9963EB49F5 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:59:27] 783*2^1508303-1 is not prime. Res64: 427C4174A08E092B Time : 0.0 sec. user=mdettweiler [2018-04-27 22:59:28] 855*2^1508303-1 is not prime. Res64: 41E823A44AD85F13 Time : 0.0 sec. user=mdettweiler [2018-04-27 22:59:28] 955*2^1508303-1 is not prime. Res64: 8928CC3E5A2DCCBB Time : 0.0 sec. user=mdettweiler [2018-04-27 22:59:29] 993*2^1508303-1 is not prime. Res64: 29346BAA5C25B6DD Time : 0.0 sec. user=mdettweiler [2018-04-27 22:59:29] 609*2^1508304-1 is not prime. Res64: 0F17E9F384A93E38 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:05:21] 753*2^1508304-1 is not prime. Res64: 7776E0FFD257F7C2 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:05:23] 773*2^1508304-1 is not prime. Res64: A1FC4AC3CAB91154 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:05:24] 789*2^1508304-1 is not prime. Res64: 3C00070862970D7D Time : 0.0 sec. user=mdettweiler [2018-04-27 23:05:25] 857*2^1508304-1 is not prime. Res64: A99C2400A27AE503 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:05:26] 959*2^1508304-1 is not prime. Res64: 3077E2A0C4B203B3 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:06:35] 685*2^1508305-1 is not prime. Res64: 56DC57B2C298AFFA Time : 0.0 sec. user=mdettweiler [2018-04-27 23:06:37] 721*2^1508305-1 is not prime. Res64: DE7D5D8EC552B692 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:06:39] 777*2^1508305-1 is not prime. Res64: F88F0A460E9AA6F6 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:06:40] 801*2^1508305-1 is not prime. Res64: 7EECA5D1CDAC9D01 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:06:41] 861*2^1508305-1 is not prime. Res64: 9C2A9664B9FFECC4 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:44:53] 979*2^1508305-1 is not prime. Res64: 037743A6FFA71EB6 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:44:54] 999*2^1508305-1 is not prime. Res64: 8D135FCF98CBD30E Time : 0.0 sec. user=mdettweiler [2018-04-27 23:44:54] 603*2^1508306-1 is not prime. Res64: 3A8CA2A3E30DF41C Time : 0.0 sec. user=mdettweiler [2018-04-27 23:44:55] 617*2^1508306-1 is not prime. Res64: 18E382CECD1A8D58 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:44:55] 671*2^1508306-1 is not prime. Res64: 3098CFE5BDD7BAB8 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:50:51] 705*2^1508306-1 is not prime. Res64: 4CFD32A1FEAE8003 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:50:51] 711*2^1508306-1 is not prime. Res64: F8E6A71FEA7136BE Time : 0.0 sec. user=mdettweiler [2018-04-27 23:50:52] 773*2^1508306-1 is not prime. Res64: 3C4F7B3BDDFB0D89 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:50:52] 801*2^1508306-1 is not prime. Res64: 2251D446CC7C0B89 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:50:52] 875*2^1508306-1 is not prime. Res64: A5FF7CE2759ECB31 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:16] 1001*2^1508306-1 is not prime. Res64: 2291BDAFFC5FCF27 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:16] 699*2^1508307-1 is not prime. Res64: C883EE06766C3958 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:17] 703*2^1508307-1 is not prime. Res64: 5FFD472E42CD0B61 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:17] 741*2^1508307-1 is not prime. Res64: 22256139181B28AA Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:18] 795*2^1508307-1 is not prime. Res64: A125854F6BCF7578 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:44] 835*2^1508307-1 is not prime. Res64: AF7A8952FC5D1418 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:44] 903*2^1508307-1 is not prime. Res64: 8CADDD8FDADF27FB Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:45] 639*2^1508308-1 is not prime. Res64: 25A0A076C186D650 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:45] 689*2^1508308-1 is not prime. Res64: AB361A8D33AE26E4 Time : 0.0 sec. user=mdettweiler [2018-04-27 23:56:46] 743*2^1508308-1 is not prime. Res64: 0EF599D3C5C765DD Time : 0.0 sec.