user=mdettweiler [2018-04-26 00:36:11] 683*2^1508114-1 is not prime. Res64: 28A4784F76F94993 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:11] 741*2^1508114-1 is not prime. Res64: 22171177A50402BB Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:12] 753*2^1508114-1 is not prime. Res64: C40560F84F29D703 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:12] 827*2^1508114-1 is not prime. Res64: A224E69DD324A714 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:13] 833*2^1508114-1 is not prime. Res64: 17928A608D61C0F7 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:49] 851*2^1508114-1 is not prime. Res64: 78C49F6AD67E6DBC Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:50] 885*2^1508114-1 is not prime. Res64: 0C8CBBE7F6C8C213 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:50] 903*2^1508114-1 is not prime. Res64: D666B6EA10C8435D Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:50] 941*2^1508114-1 is not prime. Res64: 4C124CCCEF746C5C Time : 0.0 sec. user=mdettweiler [2018-04-26 00:36:51] 633*2^1508115-1 is not prime. Res64: 6E794FAF31B8C8A8 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:42:48] 691*2^1508115-1 is not prime. Res64: 0540C5699692737D Time : 0.0 sec. user=mdettweiler [2018-04-26 00:42:49] 699*2^1508115-1 is not prime. Res64: F5E84CC2B32F9381 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:42:49] 825*2^1508115-1 is not prime. Res64: B4FCAC59EFC99619 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:42:50] 849*2^1508115-1 is not prime. Res64: A41C7AE65E3598BE Time : 0.0 sec. user=mdettweiler [2018-04-26 00:42:50] 909*2^1508115-1 is not prime. Res64: F7DC2AEADCD237D5 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:46:21] 985*2^1508115-1 is not prime. Res64: 4DE4FDAC77DC5DF6 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:46:21] 749*2^1508116-1 is not prime. Res64: 50E0A6CB640ADDA6 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:46:22] 765*2^1508116-1 is not prime. Res64: 35B2122C74AE4CA5 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:46:22] 807*2^1508116-1 is not prime. Res64: 82B6782A3F4076E2 Time : 0.0 sec. user=mdettweiler [2018-04-26 00:46:23] 897*2^1508116-1 is not prime. Res64: BDE9CB8E9851B466 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:25:15] 905*2^1508116-1 is not prime. Res64: 8F30461061AC32A4 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:25:16] 957*2^1508116-1 is not prime. Res64: A8E6E008FE3BC249 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:25:17] 627*2^1508117-1 is not prime. Res64: 0AEF5F2AC70F9654 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:25:18] 631*2^1508117-1 is not prime. Res64: 1F444C7237760F96 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:25:19] 711*2^1508117-1 is not prime. Res64: 1645C79F400ED036 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:27:03] 741*2^1508117-1 is not prime. Res64: 50EA9BFFDD3D2FBD Time : 0.0 sec. user=mdettweiler [2018-04-26 01:27:04] 781*2^1508117-1 is not prime. Res64: 36D65B32FAC925F4 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:27:04] 859*2^1508117-1 is not prime. Res64: 15BA39986EFFBADD Time : 0.0 sec. user=mdettweiler [2018-04-26 01:27:05] 889*2^1508117-1 is not prime. Res64: 1374E8DFF01F3310 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:27:06] 955*2^1508117-1 is not prime. Res64: DDD8D68200B5F73A Time : 0.0 sec. user=mdettweiler [2018-04-26 01:32:44] 681*2^1508118-1 is not prime. Res64: D17D8CBEAB15B4A7 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:32:45] 815*2^1508118-1 is not prime. Res64: 7EF66AD4D47D1906 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:32:46] 875*2^1508118-1 is not prime. Res64: 0A0480A4B43A2D4A Time : 0.0 sec. user=mdettweiler [2018-04-26 01:32:47] 891*2^1508118-1 is not prime. Res64: 5A359F43F9D83833 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:32:48] 971*2^1508118-1 is not prime. Res64: 9651A5E7B5CC159B Time : 0.0 sec. user=mdettweiler [2018-04-26 01:36:33] 735*2^1508119-1 is not prime. Res64: B58E30BBCBCC827B Time : 0.0 sec. user=mdettweiler [2018-04-26 01:36:34] 741*2^1508119-1 is not prime. Res64: 5D00B35B55D3BFEC Time : 0.0 sec. user=mdettweiler [2018-04-26 01:36:35] 789*2^1508119-1 is not prime. Res64: FB4BF14035B6FFD4 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:36:35] 855*2^1508119-1 is not prime. Res64: 05819F54E845C1D1 Time : 0.0 sec. user=mdettweiler [2018-04-26 01:36:36] 873*2^1508119-1 is not prime. Res64: 27E884B22BBFC9CF Time : 0.0 sec. user=mdettweiler [2018-04-26 02:15:35] 925*2^1508119-1 is not prime. Res64: 8D0CE3878D91EC26 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:15:36] 933*2^1508119-1 is not prime. Res64: 10BE7E33183E719D Time : 0.0 sec. user=mdettweiler [2018-04-26 02:15:37] 993*2^1508119-1 is not prime. Res64: DDAECBC0B8B01D12 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:15:37] 669*2^1508120-1 is not prime. Res64: 22158C3CCE0974F8 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:15:38] 755*2^1508120-1 is not prime. Res64: B1F1D89519BCD790 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:17:25] 785*2^1508120-1 is not prime. Res64: F3C33AC149CEA733 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:17:25] 827*2^1508120-1 is not prime. Res64: 96BFC25A8A312A53 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:17:25] 833*2^1508120-1 is not prime. Res64: FFA688A1BE9F53CA Time : 0.0 sec. user=mdettweiler [2018-04-26 02:17:26] 879*2^1508120-1 is not prime. Res64: 854AFCF8CCAADE46 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:17:26] 897*2^1508120-1 is not prime. Res64: FF6167AB5D2A2A30 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:22:44] 915*2^1508120-1 is not prime. Res64: 36BA864DEDE55394 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:22:45] 705*2^1508121-1 is not prime. Res64: EF16598B3F53FC35 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:22:45] 739*2^1508121-1 is not prime. Res64: 5070E76B15406F4E Time : 0.0 sec. user=mdettweiler [2018-04-26 02:22:46] 937*2^1508121-1 is not prime. Res64: 769CA7CF75769895 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:22:46] 611*2^1508122-1 is not prime. Res64: 3FA68B913D5D2A24 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:25:54] 623*2^1508122-1 is not prime. Res64: FB3F4E4F0F77518E Time : 0.0 sec. user=mdettweiler [2018-04-26 02:25:55] 653*2^1508122-1 is not prime. Res64: 6F59EA52C0409E62 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:25:55] 657*2^1508122-1 is not prime. Res64: 027624B6483006C8 Time : 0.0 sec. user=mdettweiler [2018-04-26 02:25:56] 701*2^1508122-1 is not prime. Res64: 02C3124C9E25413A Time : 0.0 sec. user=mdettweiler [2018-04-26 02:25:58] 741*2^1508122-1 is not prime. Res64: ABA7B7C228E3E384 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:06:16] 803*2^1508122-1 is not prime. Res64: 9079E8DC363FEEC8 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:06:18] 855*2^1508122-1 is not prime. Res64: 2EAF48522A2205B8 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:06:19] 917*2^1508122-1 is not prime. Res64: 3D635E87F098B8B0 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:06:20] 983*2^1508122-1 is not prime. Res64: A3450C50BD99CDCA Time : 0.0 sec. user=mdettweiler [2018-04-26 03:06:21] 995*2^1508122-1 is not prime. Res64: 0013F0D25F509FC5 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:07:44] 1001*2^1508122-1 is not prime. Res64: 1F214DF6861289CC Time : 0.0 sec. user=mdettweiler [2018-04-26 03:07:45] 703*2^1508123-1 is not prime. Res64: CAB90B4C280E9C64 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:07:45] 813*2^1508123-1 is not prime. Res64: 7E3348C9338807E3 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:07:45] 825*2^1508123-1 is not prime. Res64: BEB9F82F5F0D1913 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:07:46] 889*2^1508123-1 is not prime. Res64: E13B5ECF103C54DD Time : 0.0 sec. user=mdettweiler [2018-04-26 03:12:26] 921*2^1508123-1 is not prime. Res64: 0D18DF4143E030A9 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:12:27] 939*2^1508123-1 is not prime. Res64: 521FFA9F88C1365F Time : 0.0 sec. user=mdettweiler [2018-04-26 03:12:27] 635*2^1508124-1 is not prime. Res64: 9422A95CDBB85A3E Time : 0.0 sec. user=mdettweiler [2018-04-26 03:12:28] 663*2^1508124-1 is not prime. Res64: 7516DB10D54D319E Time : 0.0 sec. user=mdettweiler [2018-04-26 03:12:28] 717*2^1508124-1 is not prime. Res64: BF19ECAF6CB17941 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:16:16] 723*2^1508124-1 is not prime. Res64: 220A49234CA24809 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:16:16] 795*2^1508124-1 is not prime. Res64: 43B34A1B9635453E Time : 0.0 sec. user=mdettweiler [2018-04-26 03:16:17] 905*2^1508124-1 is not prime. Res64: 6359FA8639E16D63 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:16:17] 927*2^1508124-1 is not prime. Res64: 75C05A4068C0555B Time : 0.0 sec. user=mdettweiler [2018-04-26 03:16:17] 959*2^1508124-1 is not prime. Res64: E31B4937897B5996 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:44] 721*2^1508125-1 is not prime. Res64: 5280026920E74631 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:45] 669*2^1508127-1 is not prime. Res64: C97405720F63EBBE Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:46] 615*2^1508126-1 is not prime. Res64: 09C5090E885E3503 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:46] 979*2^1508127-1 is not prime. Res64: 7AE5608C9759A4EC Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:46] 657*2^1508128-1 is not prime. Res64: 8EB1A8A62ED156A8 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:47] 785*2^1508126-1 is not prime. Res64: 48AE04B50E62CD2C Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:47] 677*2^1508128-1 is not prime. Res64: 37E04E8254CCBD2F Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:48] 813*2^1508126-1 is not prime. Res64: 533363E51C243B98 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:48] 695*2^1508128-1 is not prime. Res64: 06D4EDEB66AFC7A6 Time : 0.0 sec. user=mdettweiler [2018-04-26 03:56:49] 1001*2^1508126-1 is not prime. Res64: C1DAA94907042DFB Time : 0.0 sec. user=mdettweiler [2018-04-26 04:03:03] 747*2^1508128-1 is not prime. Res64: 159B5A1027680442 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:03:06] 819*2^1508128-1 is not prime. Res64: C365B97CE5B718C0 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:03:07] 827*2^1508128-1 is not prime. Res64: 5D52A7B89CD66F5C Time : 0.0 sec. user=mdettweiler [2018-04-26 04:03:09] 875*2^1508128-1 is not prime. Res64: F75D05E85A76D088 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:03:10] 957*2^1508128-1 is not prime. Res64: 1EBDC2949000940D Time : 0.0 sec. user=mdettweiler [2018-04-26 04:06:41] 969*2^1508128-1 is not prime. Res64: 7C1AA52EB82E8241 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:06:43] 619*2^1508129-1 is not prime. Res64: 992BB60E5D8421D4 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:06:47] 759*2^1508129-1 is not prime. Res64: 1CCE512E03BC6168 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:06:49] 865*2^1508129-1 is not prime. Res64: 73F253A42D50509C Time : 0.0 sec. user=mdettweiler [2018-04-26 04:06:51] 987*2^1508129-1 is not prime. Res64: A48DA01CE308E635 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:46:45] 641*2^1508130-1 is not prime. Res64: E8CE53E6427F3294 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:46:46] 677*2^1508130-1 is not prime. Res64: D555709A484F9EFB Time : 0.0 sec. user=mdettweiler [2018-04-26 04:46:46] 867*2^1508130-1 is not prime. Res64: CA62DCD68BEBDA23 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:46:47] 957*2^1508130-1 is not prime. Res64: 11BCD7C0F55E783E Time : 0.0 sec. user=mdettweiler [2018-04-26 04:46:47] 619*2^1508131-1 is not prime. Res64: FC922B5F7897978C Time : 0.0 sec. user=mdettweiler [2018-04-26 04:46:59] 681*2^1508130-1 is not prime. Res64: 16DB324C03E712FF Time : 0.0 sec. user=mdettweiler [2018-04-26 04:47:00] 717*2^1508130-1 is not prime. Res64: 134A86C702B554CB Time : 0.0 sec. user=mdettweiler [2018-04-26 04:47:02] 747*2^1508130-1 is not prime. Res64: CFC9039A4C2E8E0C Time : 0.0 sec. user=mdettweiler [2018-04-26 04:47:03] 765*2^1508130-1 is not prime. Res64: A03ACB77F7634FB1 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:47:03] 773*2^1508130-1 is not prime. Res64: 5900D4EE8FD39683 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:54:48] 673*2^1508131-1 is not prime. Res64: DCFE8B448757D980 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:54:49] 741*2^1508131-1 is not prime. Res64: 5E396B81AFCC68E2 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:54:51] 745*2^1508131-1 is not prime. Res64: 872D82DE286586F6 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:54:51] 801*2^1508131-1 is not prime. Res64: 4DBE4B2323493AC2 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:54:52] 835*2^1508131-1 is not prime. Res64: 01D5DC1241082439 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:57:18] 605*2^1508132-1 is not prime. Res64: 010C43E9D733F860 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:57:18] 629*2^1508132-1 is not prime. Res64: 7465C469B653B04D Time : 0.0 sec. user=mdettweiler [2018-04-26 04:57:19] 837*2^1508132-1 is not prime. Res64: 91C1C4064610F5E7 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:57:19] 843*2^1508132-1 is not prime. Res64: FF5978A0D0A6B358 Time : 0.0 sec. user=mdettweiler [2018-04-26 04:57:19] 957*2^1508132-1 is not prime. Res64: 3F75F2E62C06D970 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:12] 959*2^1508132-1 is not prime. Res64: 1E89DA40895DDF78 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:12] 727*2^1508133-1 is not prime. Res64: E1BFB8853484C123 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:13] 835*2^1508133-1 is not prime. Res64: F43331A9CE5817A4 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:13] 979*2^1508133-1 is not prime. Res64: F88D81C3165692B6 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:13] 623*2^1508134-1 is not prime. Res64: 0A724CC3E7F63DCA Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:43] 731*2^1508134-1 is not prime. Res64: 0D0D5EA7C8719CD2 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:43] 741*2^1508134-1 is not prime. Res64: 109D363F5D28D1B2 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:43] 857*2^1508134-1 is not prime. Res64: FDA815694EF1835E Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:44] 897*2^1508134-1 is not prime. Res64: 2EAC059E51DB23E9 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:37:44] 951*2^1508134-1 is not prime. Res64: AD0EA39E80504098 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:44:58] 705*2^1508135-1 is not prime. Res64: 60DE2FB117762D02 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:44:58] 739*2^1508135-1 is not prime. Res64: 67DDBCEF2A341094 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:44:59] 771*2^1508135-1 is not prime. Res64: 58812BC403391C60 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:44:59] 825*2^1508135-1 is not prime. Res64: E23F2B4B2D6D41E1 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:45:00] 859*2^1508135-1 is not prime. Res64: 17F4B6041BE157E8 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:46:50] 963*2^1508135-1 is not prime. Res64: EDA1C20EE4EBC971 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:46:50] 623*2^1508136-1 is not prime. Res64: E5F58BA5C7C5D324 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:46:51] 723*2^1508136-1 is not prime. Res64: 99A07D86D166243D Time : 0.0 sec. user=mdettweiler [2018-04-26 05:46:51] 759*2^1508136-1 is not prime. Res64: 5479D4EC16AD66F2 Time : 0.0 sec. user=mdettweiler [2018-04-26 05:46:51] 843*2^1508136-1 is not prime. Res64: EFBE891224C92982 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:42] 857*2^1508136-1 is not prime. Res64: 91363E55194BC973 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:42] 615*2^1508137-1 is not prime. Res64: 954015350889BDE3 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:43] 729*2^1508137-1 is not prime. Res64: F72E9E94B619B6A8 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:43] 805*2^1508137-1 is not prime. Res64: 0B2E7E39A64E41A5 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:43] 829*2^1508137-1 is not prime. Res64: C1D88BC327C94EB6 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:45] 895*2^1508137-1 is not prime. Res64: C4C9904607BD8670 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:46] 915*2^1508137-1 is not prime. Res64: D8A0D2F5669199F3 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:46] 939*2^1508137-1 is not prime. Res64: 30F00A7F49D667E4 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:46] 997*2^1508137-1 is not prime. Res64: 64E22E1C6067335A Time : 0.0 sec. user=mdettweiler [2018-04-26 06:27:47] 603*2^1508138-1 is not prime. Res64: A416144D71F2A965 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:35:34] 843*2^1508138-1 is not prime. Res64: 12851C5330152CBB Time : 0.0 sec. user=mdettweiler [2018-04-26 06:35:35] 857*2^1508138-1 is not prime. Res64: 0CDB02F7DBFB2B49 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:35:35] 867*2^1508138-1 is not prime. Res64: 35698601249D0D17 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:35:36] 853*2^1508139-1 is not prime. Res64: 7C2E4C311CA3D668 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:35:36] 895*2^1508139-1 is not prime. Res64: E6462A73B7595E42 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:36:38] 913*2^1508139-1 is not prime. Res64: 15F123299EBF09B8 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:36:39] 615*2^1508140-1 is not prime. Res64: 082AB6E0FFAC4E45 Time : 0.0 sec. user=mdettweiler [2018-04-26 06:36:39] 923*2^1508140-1 is not prime. Res64: 060135B8701DBA3B Time : 0.0 sec. user=mdettweiler [2018-04-26 06:36:40] 999*2^1508140-1 is not prime. Res64: 7EB818A8B0F738EE Time : 0.0 sec. user=mdettweiler [2018-04-26 06:36:40] 607*2^1508141-1 is not prime. Res64: 6F4F9559AC183174 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:17:45] 981*2^1508141-1 is not prime. Res64: D7A98B24BF57CA76 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:17:45] 651*2^1508142-1 is not prime. Res64: 05C65F02FF92EB72 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:17:46] 677*2^1508142-1 is not prime. Res64: 4CF5C746B890C496 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:17:46] 951*2^1508142-1 is not prime. Res64: 72113BE217DE9079 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:17:46] 709*2^1508143-1 is not prime. Res64: 0081844F932E296F Time : 0.0 sec. user=mdettweiler [2018-04-26 07:18:52] 697*2^1508141-1 is not prime. Res64: 49BEA5A93C9E4409 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:18:53] 745*2^1508141-1 is not prime. Res64: 7F67988DD29A9012 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:18:53] 799*2^1508141-1 is not prime. Res64: E449BF0A891457D0 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:18:54] 805*2^1508141-1 is not prime. Res64: EA33ED5901B5FB23 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:18:54] 871*2^1508141-1 is not prime. Res64: 18FC88C74CF1B51A Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:21] 723*2^1508143-1 is not prime. Res64: 14581BA4D22C3AA0 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:21] 751*2^1508143-1 is not prime. Res64: 3AA91848B4BFD6CB Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:21] 775*2^1508143-1 is not prime. Res64: E052043B7B2B32C4 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:22] 885*2^1508143-1 is not prime. Res64: 573A579A763E0D55 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:22] 951*2^1508143-1 is not prime. Res64: A822D4CEB5E9B4A7 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:30] 609*2^1508144-1 is not prime. Res64: C762E190C72E5EB0 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:30] 615*2^1508144-1 is not prime. Res64: 98018BF11DCF32A0 Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:31] 629*2^1508144-1 is not prime. Res64: F33D0F57D06ABE6F Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:31] 677*2^1508144-1 is not prime. Res64: 60878F6A7C775F5F Time : 0.0 sec. user=mdettweiler [2018-04-26 07:26:32] 753*2^1508144-1 is not prime. Res64: D17C1D78AED20577 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:15] 899*2^1508144-1 is not prime. Res64: 998620B3A8366738 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:16] 995*2^1508144-1 is not prime. Res64: A21720871FD98263 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:16] 607*2^1508145-1 is not prime. Res64: 4D23B7AF25B9F9D3 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:17] 627*2^1508145-1 is not prime. Res64: 3FD87A4827AFDF3C Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:17] 709*2^1508145-1 is not prime. Res64: 380E5329DC43441D Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:24] 767*2^1508144-1 is not prime. Res64: 112E822F1999561F Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:24] 789*2^1508144-1 is not prime. Res64: C14CC0A81471AD48 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:25] 813*2^1508144-1 is not prime. Res64: A192893334B49853 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:25] 857*2^1508144-1 is not prime. Res64: D8AAB9C4A066AB2C Time : 0.0 sec. user=mdettweiler [2018-04-26 08:08:26] 869*2^1508144-1 is not prime. Res64: 9048009BCD33D025 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:33] 623*2^1508146-1 is not prime. Res64: 011A146E70D2D604 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:34] 657*2^1508146-1 is not prime. Res64: 699AB1000C71FF72 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:34] 671*2^1508146-1 is not prime. Res64: 6C73F7FFF53A6C22 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:35] 777*2^1508146-1 is not prime. Res64: E295AAF381F55073 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:35] 923*2^1508146-1 is not prime. Res64: 1645F8DC1EEF5FBF Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:55] 717*2^1508145-1 is not prime. Res64: DE91737B9A1B6FB7 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:56] 735*2^1508145-1 is not prime. Res64: 2E5A92B8D5F78E8C Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:56] 765*2^1508145-1 is not prime. Res64: 146C11FFA0DB1F36 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:56] 777*2^1508145-1 is not prime. Res64: 176F6F1525FAE4DE Time : 0.0 sec. user=mdettweiler [2018-04-26 08:16:57] 895*2^1508145-1 is not prime. Res64: B1737235ABA2156A Time : 0.0 sec. user=mdettweiler [2018-04-26 08:57:49] 975*2^1508146-1 is not prime. Res64: 37EBB4718A824E27 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:57:50] 615*2^1508147-1 is not prime. Res64: DFBEBA46A3D9B94D Time : 0.0 sec. user=mdettweiler [2018-04-26 08:57:50] 619*2^1508147-1 is not prime. Res64: F0F228497F9095F7 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:57:51] 675*2^1508147-1 is not prime. Res64: 2AF8556D0BC15893 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:57:51] 703*2^1508147-1 is not prime. Res64: BA4F6764D14F5056 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:58:46] 711*2^1508147-1 is not prime. Res64: 5DA51A1C6133D63F Time : 0.0 sec. user=mdettweiler [2018-04-26 08:58:46] 741*2^1508147-1 is not prime. Res64: 4964F8A9F56A6837 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:58:47] 813*2^1508147-1 is not prime. Res64: 0CA9D601995A7A3D Time : 0.0 sec. user=mdettweiler [2018-04-26 08:58:47] 861*2^1508147-1 is not prime. Res64: CC437A0B5C0A8275 Time : 0.0 sec. user=mdettweiler [2018-04-26 08:58:47] 871*2^1508147-1 is not prime. Res64: 23A4F950A1ACED89 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:35] 889*2^1508147-1 is not prime. Res64: AC8FF414EE1FDAF1 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:36] 909*2^1508147-1 is not prime. Res64: 8A27289644AFC63A Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:38] 963*2^1508147-1 is not prime. Res64: 98D2560B4CB6AD4E Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:38] 615*2^1508148-1 is not prime. Res64: 2AEBB300A64EA45A Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:40] 635*2^1508148-1 is not prime. Res64: D881CE4DD64C33A1 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:45] 665*2^1508148-1 is not prime. Res64: A6E92688B8C65155 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:47] 695*2^1508148-1 is not prime. Res64: 662959773DB2F2C6 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:48] 707*2^1508148-1 is not prime. Res64: 31E0207D627F9DAB Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:50] 819*2^1508148-1 is not prime. Res64: 77717B8FEE3F8637 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:06:51] 957*2^1508148-1 is not prime. Res64: BF8A48F7630C9D83 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:48:14] 679*2^1508149-1 is not prime. Res64: A600EEB6EC1064A5 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:48:15] 835*2^1508149-1 is not prime. Res64: 3EC501A137F4546D Time : 0.0 sec. user=mdettweiler [2018-04-26 09:48:15] 919*2^1508149-1 is not prime. Res64: 3E9077279F8A991C Time : 0.0 sec. user=mdettweiler [2018-04-26 09:48:16] 999*2^1508149-1 is not prime. Res64: 1465F1F6A6815FCF Time : 0.0 sec. user=mdettweiler [2018-04-26 09:48:16] 665*2^1508150-1 is not prime. Res64: 8A50AB4889E60A55 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:50:00] 761*2^1508150-1 is not prime. Res64: D5FAF74A7611743F Time : 0.0 sec. user=mdettweiler [2018-04-26 09:50:01] 813*2^1508150-1 is not prime. Res64: E2A25B18F918082C Time : 0.0 sec. user=mdettweiler [2018-04-26 09:50:01] 851*2^1508150-1 is not prime. Res64: 35E866ED6DA0A966 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:50:02] 857*2^1508150-1 is not prime. Res64: 21C5FAC13C7B9020 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:50:02] 867*2^1508150-1 is not prime. Res64: 4CCDAB6766127106 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:57:59] 723*2^1508151-1 is not prime. Res64: 67AF2E6998085C73 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:00] 949*2^1508151-1 is not prime. Res64: 5E51B5D7D4113D0C Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:00] 623*2^1508152-1 is not prime. Res64: A0F6B9309CC6C3F0 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:01] 723*2^1508152-1 is not prime. Res64: A54750451775D99E Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:01] 755*2^1508152-1 is not prime. Res64: 0D82D74231798013 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:13] 875*2^1508150-1 is not prime. Res64: 7975DCE9C6A224A5 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:13] 923*2^1508150-1 is not prime. Res64: C31082332BE0896E Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:14] 977*2^1508150-1 is not prime. Res64: 4CE962E78EAB6067 Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:14] 661*2^1508151-1 is not prime. Res64: CDB071BA76A6957B Time : 0.0 sec. user=mdettweiler [2018-04-26 09:58:14] 711*2^1508151-1 is not prime. Res64: 50210AFDA6EED715 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:38:40] 857*2^1508152-1 is not prime. Res64: 3E2996935F8C0F76 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:38:41] 873*2^1508152-1 is not prime. Res64: 22210102D7807796 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:38:41] 903*2^1508152-1 is not prime. Res64: 90768832B51C187A Time : 0.0 sec. user=mdettweiler [2018-04-26 10:38:42] 915*2^1508152-1 is not prime. Res64: 9536A8341A4AF49B Time : 0.0 sec. user=mdettweiler [2018-04-26 10:38:42] 675*2^1508153-1 is not prime. Res64: 35319DA49E1B4847 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:40:24] 691*2^1508153-1 is not prime. Res64: 0648072C5F7F350A Time : 0.0 sec. user=mdettweiler [2018-04-26 10:40:25] 831*2^1508153-1 is not prime. Res64: 3AE855EB9CA995C4 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:40:25] 837*2^1508153-1 is not prime. Res64: C97C955C7683A65F Time : 0.0 sec. user=mdettweiler [2018-04-26 10:40:25] 879*2^1508153-1 is not prime. Res64: 2B77A6AE602A61C2 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:40:26] 949*2^1508153-1 is not prime. Res64: D5F239EF520C7B36 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:00] 955*2^1508153-1 is not prime. Res64: E302DE6CC9A721B7 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:00] 981*2^1508153-1 is not prime. Res64: 899256074BB001B8 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:01] 605*2^1508154-1 is not prime. Res64: F39F18F1B36F9969 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:01] 741*2^1508154-1 is not prime. Res64: F6A9DF5177DB2577 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:01] 917*2^1508154-1 is not prime. Res64: F98A44D557857A6C Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:43] 927*2^1508154-1 is not prime. Res64: 8CD0557DE90501CF Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:43] 675*2^1508155-1 is not prime. Res64: 845A3ADFE9E51BB4 Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:43] 789*2^1508155-1 is not prime. Res64: A34FF009F880D16D Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:44] 805*2^1508155-1 is not prime. Res64: D8316C3F27A64E0E Time : 0.0 sec. user=mdettweiler [2018-04-26 10:48:44] 819*2^1508155-1 is not prime. Res64: 2E4FD8EB021E5502 Time : 0.0 sec. user=mdettweiler [2018-04-26 11:29:36] 871*2^1508155-1 is not prime. Res64: F6F5B5ADEAFF2A6C Time : 0.0 sec. user=mdettweiler [2018-04-26 11:29:36] 883*2^1508155-1 is not prime. Res64: 938AF99A2576A814 Time : 0.0 sec. user=mdettweiler [2018-04-26 11:29:37] 969*2^1508155-1 is not prime. Res64: 0D7B248E627208D6 Time : 0.0 sec. user=mdettweiler [2018-04-26 11:29:37] 623*2^1508156-1 is not prime. Res64: F4AA7E86B4D83091 Time : 0.0 sec. user=mdettweiler [2018-04-26 11:29:37] 983*2^1508156-1 is not prime. Res64: D4E403948D42E6EE Time : 0.0 sec. user=mdettweiler [2018-04-26 11:30:50] 639*2^1508157-1 is not prime. Res64: 291FDD00F2DA456D Time : 0.0 sec. user=mdettweiler [2018-04-26 11:30:50] 751*2^1508157-1 is not prime. Res64: 431B0D469905B92C Time : 0.0 sec. user=mdettweiler [2018-04-26 11:30:51] 867*2^1508157-1 is not prime. Res64: BD666C0D35344DCE Time : 0.0 sec. user=mdettweiler [2018-04-26 11:30:51] 961*2^1508157-1 is not prime. Res64: 567127DE2A443F3C Time : 0.0 sec. user=mdettweiler [2018-04-26 11:30:51] 603*2^1508158-1 is not prime. Res64: 6F3959B059CA7891 Time : 0.0 sec. user=mdettweiler [2018-04-26 11:38:00] 611*2^1508158-1 is not prime. Res64: 61A619D66382D2DB Time : 0.0 sec. user=mdettweiler [2018-04-26 11:38:00] 663*2^1508158-1 is not prime. Res64: 0CB572D9DEB4FE65 Time : 0.0 sec. user=mdettweiler [2018-04-26 11:38:00] 801*2^1508158-1 is not prime. Res64: 31F3F543ED3FDF9A Time : 0.0 sec. user=mdettweiler [2018-04-26 11:38:01] 861*2^1508158-1 is not prime. Res64: BF203BD1FEC53C8B Time : 0.0 sec. user=mdettweiler [2018-04-26 11:38:01] 885*2^1508158-1 is not prime. Res64: B54AECAD0E443FAC Time : 0.0 sec. user=mdettweiler [2018-04-26 11:39:55] 975*2^1508158-1 is not prime. Res64: 3D1D6A1D9EC1490B Time : 0.0 sec. user=mdettweiler [2018-04-26 11:39:55] 981*2^1508158-1 is not prime. Res64: A071FC1DF94C0D85 Time : 0.0 sec. user=mdettweiler [2018-04-26 11:39:56] 1001*2^1508158-1 is not prime. Res64: 4499754A0EC29BA6 Time : 0.0 sec. user=mdettweiler [2018-04-26 11:39:56] 745*2^1508159-1 is not prime. Res64: 98D464EFB7A03BFE Time : 0.0 sec. user=mdettweiler [2018-04-26 11:39:56] 759*2^1508159-1 is not prime. Res64: 7A0F46D68B31792F Time : 0.0 sec. user=mdettweiler [2018-04-26 12:19:58] 889*2^1508159-1 is not prime. Res64: CF40B9859E7A2BDD Time : 0.0 sec. user=mdettweiler [2018-04-26 12:19:59] 895*2^1508159-1 is not prime. Res64: 1F504FB4877CB9F4 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:19:59] 707*2^1508160-1 is not prime. Res64: 2E59E906530AE175 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:20:00] 735*2^1508160-1 is not prime. Res64: 7E3F3256FACCA975 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:20:00] 809*2^1508160-1 is not prime. Res64: 482372E5631EAD64 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:20:42] 863*2^1508160-1 is not prime. Res64: CAC867B66CEC7D6B Time : 0.0 sec. user=mdettweiler [2018-04-26 12:20:42] 983*2^1508160-1 is not prime. Res64: 562A3C25EFC160F8 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:20:43] 619*2^1508161-1 is not prime. Res64: 03D802AA8DFBBBD2 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:20:43] 637*2^1508161-1 is not prime. Res64: 61E37AA6E5605D3F Time : 0.0 sec. user=mdettweiler [2018-04-26 12:20:44] 681*2^1508161-1 is not prime. Res64: B28FE306AFC92429 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:27:54] 685*2^1508161-1 is not prime. Res64: EFAA09F710E1D42A Time : 0.0 sec. user=mdettweiler [2018-04-26 12:27:55] 691*2^1508161-1 is not prime. Res64: B03AAA293CDD128F Time : 0.0 sec. user=mdettweiler [2018-04-26 12:27:55] 867*2^1508161-1 is not prime. Res64: 2AAD4DBAE78E2506 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:27:56] 909*2^1508161-1 is not prime. Res64: 9C14D8E16DB2A5D5 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:27:56] 931*2^1508161-1 is not prime. Res64: A4206AD66DE1C88E Time : 0.0 sec. user=mdettweiler [2018-04-26 12:29:05] 623*2^1508162-1 is not prime. Res64: 627FD51BF8AB7307 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:29:06] 645*2^1508162-1 is not prime. Res64: F578E19C3FA47F1B Time : 0.0 sec. user=mdettweiler [2018-04-26 12:29:06] 705*2^1508162-1 is not prime. Res64: 0FC877F82108E667 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:29:06] 711*2^1508162-1 is not prime. Res64: 9A644A9E2F11C892 Time : 0.0 sec. user=mdettweiler [2018-04-26 12:29:07] 731*2^1508162-1 is not prime. Res64: 7AF749EC96B47A20 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:10:15] 873*2^1508162-1 is not prime. Res64: 3AFB9296B5C679FB Time : 0.0 sec. user=mdettweiler [2018-04-26 13:10:16] 885*2^1508162-1 is not prime. Res64: AB341ED00D7C9A8F Time : 0.0 sec. user=mdettweiler [2018-04-26 13:10:16] 935*2^1508162-1 is not prime. Res64: 09CFABEBFA1232E0 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:10:17] 625*2^1508163-1 is not prime. Res64: 9B2D21BB03BE1005 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:10:17] 643*2^1508163-1 is not prime. Res64: 0C859E32A9FEC128 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:11:35] 789*2^1508163-1 is not prime. Res64: 996A0774D5A7B68F Time : 0.0 sec. user=mdettweiler [2018-04-26 13:11:36] 913*2^1508163-1 is not prime. Res64: 4E54B1A8007AB84E Time : 0.0 sec. user=mdettweiler [2018-04-26 13:11:36] 955*2^1508163-1 is not prime. Res64: F25C89DCBE0DC546 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:11:37] 963*2^1508163-1 is not prime. Res64: D8DB2552D421A15A Time : 0.0 sec. user=mdettweiler [2018-04-26 13:11:37] 635*2^1508164-1 is not prime. Res64: 1F6A58DE4E547503 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:12] 723*2^1508164-1 is not prime. Res64: 02E236785E030574 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:12] 749*2^1508164-1 is not prime. Res64: C89ED4BA2AFE7FAE Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:13] 825*2^1508164-1 is not prime. Res64: 28AF5F074FAB7747 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:13] 873*2^1508164-1 is not prime. Res64: 1ADB423A4C64A9F2 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:13] 927*2^1508164-1 is not prime. Res64: F0BCF1C16D080D73 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:45] 939*2^1508164-1 is not prime. Res64: BA1D1EE412A85E60 Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:45] 969*2^1508164-1 is not prime. Res64: 0A5010001F592F7F Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:46] 937*2^1508165-1 is not prime. Res64: BE7943C1254DFFDD Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:46] 683*2^1508166-1 is not prime. Res64: 7F0EF8830E0083FD Time : 0.0 sec. user=mdettweiler [2018-04-26 13:19:47] 815*2^1508166-1 is not prime. Res64: 84F1AB4AC5F0E657 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:00:01] 619*2^1508167-1 is not prime. Res64: FDB570A3A3CB1CC2 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:00:02] 693*2^1508167-1 is not prime. Res64: F110546222C04D6C Time : 0.0 sec. user=mdettweiler [2018-04-26 14:00:03] 703*2^1508167-1 is not prime. Res64: 290573364993D786 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:00:03] 741*2^1508167-1 is not prime. Res64: AA50030BA7B05833 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:00:04] 829*2^1508167-1 is not prime. Res64: BD0CA9B32971805A Time : 0.0 sec. user=mdettweiler [2018-04-26 14:02:37] 859*2^1508167-1 is not prime. Res64: DDFEF87262DCD1BD Time : 0.0 sec. user=mdettweiler [2018-04-26 14:02:38] 885*2^1508167-1 is not prime. Res64: C19555E017BAC1AC Time : 0.0 sec. user=mdettweiler [2018-04-26 14:02:39] 919*2^1508167-1 is not prime. Res64: 7E9ED97BF609A7CB Time : 0.0 sec. user=mdettweiler [2018-04-26 14:02:40] 925*2^1508167-1 is not prime. Res64: 7E244A4258D43C83 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:02:40] 961*2^1508167-1 is not prime. Res64: 365EFEC1F8FA0E67 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:09] 617*2^1508168-1 is not prime. Res64: 98A7ABED8CEA148E Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:10] 669*2^1508168-1 is not prime. Res64: 1E6C883819296FE3 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:11] 767*2^1508168-1 is not prime. Res64: B2C272AEB53F42C7 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:11] 833*2^1508168-1 is not prime. Res64: AE3DCEE352FED62A Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:12] 839*2^1508168-1 is not prime. Res64: 3FF4FA31F2FBB7B2 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:51] 867*2^1508168-1 is not prime. Res64: AD3C5C2F9FD0C97F Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:51] 923*2^1508168-1 is not prime. Res64: CE71B6A27AA999DB Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:52] 935*2^1508168-1 is not prime. Res64: 00C33E53615CCF80 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:52] 885*2^1508169-1 is not prime. Res64: 108F1A5C19624A2B Time : 0.0 sec. user=mdettweiler [2018-04-26 14:09:53] 677*2^1508170-1 is not prime. Res64: A59D96F9A23C2C15 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:50:53] 765*2^1508170-1 is not prime. Res64: 66F33B18B14FA5ED Time : 0.0 sec. user=mdettweiler [2018-04-26 14:50:53] 777*2^1508170-1 is not prime. Res64: 40CE36ACBD19AF99 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:50:54] 843*2^1508170-1 is not prime. Res64: DFA1B59A4D7DFD6A Time : 0.0 sec. user=mdettweiler [2018-04-26 14:50:54] 867*2^1508170-1 is not prime. Res64: 32C0F4DE2E51210B Time : 0.0 sec. user=mdettweiler [2018-04-26 14:50:54] 873*2^1508170-1 is not prime. Res64: 1D7440AEF50ABB5D Time : 0.0 sec. user=mdettweiler [2018-04-26 14:52:33] 941*2^1508170-1 is not prime. Res64: B58A3A4FCF2E35B2 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:52:34] 603*2^1508171-1 is not prime. Res64: 046F5875C971098B Time : 0.0 sec. user=mdettweiler [2018-04-26 14:52:34] 615*2^1508171-1 is not prime. Res64: 54DDFD5C75DFD4FC Time : 0.0 sec. user=mdettweiler [2018-04-26 14:52:35] 669*2^1508171-1 is not prime. Res64: BF37E8C0D27BDB05 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:52:35] 711*2^1508171-1 is not prime. Res64: E2DD399E353ED65F Time : 0.0 sec. user=mdettweiler [2018-04-26 14:59:12] 999*2^1508171-1 is not prime. Res64: D5A19B8EAD305DB8 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:59:13] 647*2^1508172-1 is not prime. Res64: 670C1C2F200F4B0F Time : 0.0 sec. user=mdettweiler [2018-04-26 14:59:13] 899*2^1508172-1 is not prime. Res64: 3B31FE7AF146C3EA Time : 0.0 sec. user=mdettweiler [2018-04-26 14:59:14] 987*2^1508172-1 is not prime. Res64: 6790E658AA1BF470 Time : 0.0 sec. user=mdettweiler [2018-04-26 14:59:14] 615*2^1508173-1 is not prime. Res64: 1FB125FBDB886310 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:00:15] 771*2^1508173-1 is not prime. Res64: DB7D92D06D62D7DD Time : 0.0 sec. user=mdettweiler [2018-04-26 15:00:16] 835*2^1508173-1 is not prime. Res64: 9AF79B07873E2AA6 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:00:18] 847*2^1508173-1 is not prime. Res64: 627D25D6B4EC011B Time : 0.0 sec. user=mdettweiler [2018-04-26 15:00:18] 885*2^1508173-1 is not prime. Res64: 72BF447EC1372F70 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:00:19] 987*2^1508173-1 is not prime. Res64: C45DBDAC0FD32A26 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:41:29] 623*2^1508174-1 is not prime. Res64: B8674EB142EB734D Time : 0.0 sec. user=mdettweiler [2018-04-26 15:41:30] 677*2^1508174-1 is not prime. Res64: AD2D943E40A246CB Time : 0.0 sec. user=mdettweiler [2018-04-26 15:41:30] 683*2^1508174-1 is not prime. Res64: 4C0D9DE8E47B2773 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:41:30] 705*2^1508174-1 is not prime. Res64: E59135EA6F066EB5 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:41:31] 797*2^1508174-1 is not prime. Res64: D44FB4D30231F32A Time : 0.0 sec. user=mdettweiler [2018-04-26 15:45:34] 873*2^1508174-1 is not prime. Res64: B2EB71B31C5239E6 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:45:34] 887*2^1508174-1 is not prime. Res64: DACED57E4AD8F2B8 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:45:34] 897*2^1508174-1 is not prime. Res64: 2019042920C0818F Time : 0.0 sec. user=mdettweiler [2018-04-26 15:45:35] 971*2^1508174-1 is not prime. Res64: B95B6ACB7D9DC6EC Time : 0.0 sec. user=mdettweiler [2018-04-26 15:45:35] 709*2^1508175-1 is not prime. Res64: 6C94991DF6C8C7CA Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:15] 711*2^1508175-1 is not prime. Res64: A6E6013F4277512D Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:15] 795*2^1508175-1 is not prime. Res64: 05CBAB9D7BAA7A88 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:16] 831*2^1508175-1 is not prime. Res64: DFFE990D90403CC2 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:16] 895*2^1508175-1 is not prime. Res64: 11A171A20674419F Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:16] 933*2^1508175-1 is not prime. Res64: A479D3FDD53E6E0D Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:37] 961*2^1508175-1 is not prime. Res64: 0323362410BB9BBA Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:37] 855*2^1508176-1 is not prime. Res64: A5230788024F5CF2 Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:37] 869*2^1508176-1 is not prime. Res64: 1BF0D1184997F42B Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:38] 903*2^1508176-1 is not prime. Res64: 69E7C909BA89E6BD Time : 0.0 sec. user=mdettweiler [2018-04-26 15:51:38] 711*2^1508177-1 is not prime. Res64: DA1AF60E4174B424 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:32:41] 801*2^1508177-1 is not prime. Res64: 6F9E10ADB2E7D831 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:32:42] 879*2^1508177-1 is not prime. Res64: A6C2546B8EC57049 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:32:42] 957*2^1508177-1 is not prime. Res64: A12810B76016EB67 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:32:42] 647*2^1508178-1 is not prime. Res64: 1E4547F0F01AF8D7 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:32:43] 747*2^1508178-1 is not prime. Res64: B128B722374247C4 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:37:20] 905*2^1508178-1 is not prime. Res64: 87B3E5F0EF30FA45 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:37:21] 645*2^1508179-1 is not prime. Res64: 0E967D63E5870338 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:37:21] 723*2^1508179-1 is not prime. Res64: EC48D2192B66AE7F Time : 0.0 sec. user=mdettweiler [2018-04-26 16:37:21] 741*2^1508179-1 is not prime. Res64: 565BE5D342BAC6DB Time : 0.0 sec. user=mdettweiler [2018-04-26 16:37:22] 759*2^1508179-1 is not prime. Res64: 16B12787B57BD88A Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:17] 789*2^1508179-1 is not prime. Res64: 1E3F6BB734268AB8 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:17] 919*2^1508179-1 is not prime. Res64: 3F776BE1CB00AC88 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:17] 951*2^1508179-1 is not prime. Res64: 3E6F196A91221CC9 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:18] 961*2^1508179-1 is not prime. Res64: 07CF1AC873DFC870 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:18] 633*2^1508180-1 is not prime. Res64: 53D54D97B6C4877F Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:43] 735*2^1508180-1 is not prime. Res64: CE6650E1AA338CD8 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:43] 759*2^1508180-1 is not prime. Res64: 7172D90196938B82 Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:44] 767*2^1508180-1 is not prime. Res64: B76173E1437B0AAC Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:44] 963*2^1508180-1 is not prime. Res64: AF689C71C1E5D9EA Time : 0.0 sec. user=mdettweiler [2018-04-26 16:42:44] 983*2^1508180-1 is not prime. Res64: E5CFDFAD41176909 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:22:43] 607*2^1508181-1 is not prime. Res64: 1AE68C03AFFE8F5B Time : 0.0 sec. user=mdettweiler [2018-04-26 17:22:44] 621*2^1508181-1 is not prime. Res64: 33EB22ACB3B7BD9A Time : 0.0 sec. user=mdettweiler [2018-04-26 17:22:44] 679*2^1508181-1 is not prime. Res64: 2E2FC41DEF32758D Time : 0.0 sec. user=mdettweiler [2018-04-26 17:22:45] 745*2^1508181-1 is not prime. Res64: 6854816DD02D4C50 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:22:45] 885*2^1508181-1 is not prime. Res64: 3C3B8A6DB2EF1417 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:28:28] 921*2^1508181-1 is not prime. Res64: 81E182CEAA38C81E Time : 0.0 sec. user=mdettweiler [2018-04-26 17:28:28] 927*2^1508181-1 is not prime. Res64: 2764842D56A46AEF Time : 0.0 sec. user=mdettweiler [2018-04-26 17:28:29] 951*2^1508181-1 is not prime. Res64: 3EC444237DD177D1 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:28:29] 621*2^1508182-1 is not prime. Res64: ECF30A9331F229A3 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:28:29] 623*2^1508182-1 is not prime. Res64: 8A3E74B84BC213BF Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:02] 957*2^1508182-1 is not prime. Res64: 7303134767263D90 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:03] 983*2^1508182-1 is not prime. Res64: EB3B2DE2B43AA0AD Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:03] 603*2^1508183-1 is not prime. Res64: CD7D2FE74402FE6F Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:03] 735*2^1508183-1 is not prime. Res64: A0C18300799FFA96 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:04] 753*2^1508183-1 is not prime. Res64: 6F602EBE4D467DA4 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:18] 761*2^1508182-1 is not prime. Res64: 6146DF17015B77C0 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:19] 815*2^1508182-1 is not prime. Res64: 0D4F04754B6E1E09 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:19] 843*2^1508182-1 is not prime. Res64: 80B3262A19FB7260 Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:20] 881*2^1508182-1 is not prime. Res64: 1DF0663D03A8652E Time : 0.0 sec. user=mdettweiler [2018-04-26 17:34:20] 885*2^1508182-1 is not prime. Res64: 8524D9E8C4535D2A Time : 0.0 sec. user=mdettweiler [2018-04-26 18:13:23] 955*2^1508183-1 is not prime. Res64: 6A42D3998EF0680A Time : 0.0 sec. user=mdettweiler [2018-04-26 18:13:24] 963*2^1508183-1 is not prime. Res64: 4667A80842C1732E Time : 0.0 sec. user=mdettweiler [2018-04-26 18:13:24] 973*2^1508183-1 is not prime. Res64: 7C8C187189A4D1DE Time : 0.0 sec. user=mdettweiler [2018-04-26 18:13:25] 657*2^1508184-1 is not prime. Res64: 09DF4E68F4138991 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:13:25] 663*2^1508184-1 is not prime. Res64: CA5BD8D13783DF23 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:19:13] 747*2^1508184-1 is not prime. Res64: A1EBCF7F78D4F4A2 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:19:14] 803*2^1508184-1 is not prime. Res64: FD7457713EBC554E Time : 0.0 sec. user=mdettweiler [2018-04-26 18:19:14] 843*2^1508184-1 is not prime. Res64: 78BA3FBC3C674CF5 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:19:15] 857*2^1508184-1 is not prime. Res64: 33BD6A1A67DB7565 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:19:15] 715*2^1508185-1 is not prime. Res64: B38E92CD25EE2657 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:13] 861*2^1508185-1 is not prime. Res64: 8BA2D74218D87F44 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:13] 871*2^1508185-1 is not prime. Res64: CECBBBEAFB802EC1 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:14] 645*2^1508186-1 is not prime. Res64: F95EA924A76F3485 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:14] 735*2^1508186-1 is not prime. Res64: F5C2755CE6ECDD20 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:14] 833*2^1508186-1 is not prime. Res64: 675AC7888EDC5DB9 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:50] 923*2^1508186-1 is not prime. Res64: 62165F81440658A1 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:51] 971*2^1508186-1 is not prime. Res64: DC1FCCD5CA2E1B6D Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:51] 825*2^1508187-1 is not prime. Res64: E937D011C5C9F6C6 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:51] 871*2^1508187-1 is not prime. Res64: 69D10DF26D8F7454 Time : 0.0 sec. user=mdettweiler [2018-04-26 18:24:52] 955*2^1508187-1 is not prime. Res64: FEDE1A4308C49E83 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:02:51] 961*2^1508187-1 is not prime. Res64: 873C86937511A594 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:02:53] 979*2^1508187-1 is not prime. Res64: 6AF1AD61C2DC3E47 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:02:54] 605*2^1508188-1 is not prime. Res64: E93CC1DCD63474F8 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:02:55] 647*2^1508188-1 is not prime. Res64: 24CCF022679ED3A6 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:02:56] 887*2^1508188-1 is not prime. Res64: 23167F9FDF828AF8 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:08:11] 897*2^1508188-1 is not prime. Res64: 4DF51B96A471D261 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:08:11] 615*2^1508189-1 is not prime. Res64: B5BCF39AD1A852DA Time : 0.0 sec. user=mdettweiler [2018-04-26 19:08:12] 621*2^1508189-1 is not prime. Res64: 373FD3D97D36933C Time : 0.0 sec. user=mdettweiler [2018-04-26 19:08:12] 627*2^1508189-1 is not prime. Res64: 6186CDBE0B842324 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:08:13] 711*2^1508189-1 is not prime. Res64: 2ACD05E234192934 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:32] 741*2^1508189-1 is not prime. Res64: B879D1631D91ADC1 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:33] 747*2^1508189-1 is not prime. Res64: E7FE3770FB776EC7 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:33] 829*2^1508189-1 is not prime. Res64: C9B8E441ED429355 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:34] 847*2^1508189-1 is not prime. Res64: 8F250BFE2C5FBF62 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:34] 951*2^1508189-1 is not prime. Res64: 88A9F4888D81C39E Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:35] 615*2^1508190-1 is not prime. Res64: D99CB4BFABD9ACE1 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:36] 647*2^1508190-1 is not prime. Res64: 9E097A8E8DD22775 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:36] 747*2^1508190-1 is not prime. Res64: B93A9964F737C0D9 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:37] 791*2^1508190-1 is not prime. Res64: 56DC1F2E911F3C30 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:14:37] 887*2^1508190-1 is not prime. Res64: 0CBA41AD61DD8F30 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:52:55] 621*2^1508191-1 is not prime. Res64: 332F192C13A225CA Time : 0.0 sec. user=mdettweiler [2018-04-26 19:52:55] 645*2^1508191-1 is not prime. Res64: D99B659365ECE7C9 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:52:56] 783*2^1508191-1 is not prime. Res64: FF59AC69DE1DCCA1 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:52:56] 811*2^1508191-1 is not prime. Res64: 4AE721EB0E54E10E Time : 0.0 sec. user=mdettweiler [2018-04-26 19:52:56] 859*2^1508191-1 is not prime. Res64: 3C5922FDD41A1BBF Time : 0.0 sec. user=mdettweiler [2018-04-26 19:57:25] 951*2^1508191-1 is not prime. Res64: E4EB6E3115286BB4 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:57:26] 669*2^1508192-1 is not prime. Res64: EC2B4B3F3D9EB572 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:57:26] 683*2^1508192-1 is not prime. Res64: FA5DE932F0209E03 Time : 0.0 sec. user=mdettweiler [2018-04-26 19:57:27] 713*2^1508192-1 is not prime. Res64: 6628ABAB741E808F Time : 0.0 sec. user=mdettweiler [2018-04-26 19:57:27] 735*2^1508192-1 is not prime. Res64: EEC9AC3E1D5FA914 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:04:56] 767*2^1508192-1 is not prime. Res64: AD17BCD95BCB2147 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:04:57] 819*2^1508192-1 is not prime. Res64: 85FE83FEE78326D0 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:04:58] 893*2^1508192-1 is not prime. Res64: C6AE6AC83426DC30 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:04:59] 897*2^1508192-1 is not prime. Res64: A5724A5DF94C2333 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:05:00] 935*2^1508192-1 is not prime. Res64: C5A677C27256D7E4 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:05:01] 727*2^1508193-1 is not prime. Res64: 7A67CB6456E9956C Time : 0.0 sec. user=mdettweiler [2018-04-26 20:05:02] 745*2^1508193-1 is not prime. Res64: EDA056D97B5E1EDD Time : 0.0 sec. user=mdettweiler [2018-04-26 20:05:04] 811*2^1508193-1 is not prime. Res64: 124742B535569164 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:05:07] 847*2^1508193-1 is not prime. Res64: A553172A04456E14 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:05:09] 849*2^1508193-1 is not prime. Res64: 4D31B51908C2943B Time : 0.0 sec. user=mdettweiler [2018-04-26 20:43:33] 985*2^1508193-1 is not prime. Res64: 934FE7C5467B603C Time : 0.0 sec. user=mdettweiler [2018-04-26 20:43:34] 991*2^1508193-1 is not prime. Res64: 25CD417ACCAD9BF0 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:43:34] 635*2^1508194-1 is not prime. Res64: 78BB39AA062F5B7B Time : 0.0 sec. user=mdettweiler [2018-04-26 20:43:35] 737*2^1508194-1 is not prime. Res64: 1BDCC51DCC417A9B Time : 0.0 sec. user=mdettweiler [2018-04-26 20:43:35] 857*2^1508194-1 is not prime. Res64: 1007DC90D88CB61A Time : 0.0 sec. user=mdettweiler [2018-04-26 20:47:39] 885*2^1508194-1 is not prime. Res64: CBE42BADAC2D1C19 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:47:39] 923*2^1508194-1 is not prime. Res64: FFF51ACA413688E3 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:47:39] 981*2^1508194-1 is not prime. Res64: 4D5E3CAA684E8CB9 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:47:40] 993*2^1508194-1 is not prime. Res64: 4702DF7E48FB9FAB Time : 0.0 sec. user=mdettweiler [2018-04-26 20:47:40] 609*2^1508195-1 is not prime. Res64: E6C46C2F441CA2A0 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:54:43] 969*2^1508195-1 is not prime. Res64: 871D51F3EE07497D Time : 0.0 sec. user=mdettweiler [2018-04-26 20:54:43] 623*2^1508196-1 is not prime. Res64: F6D6DEF955FE7196 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:54:44] 627*2^1508196-1 is not prime. Res64: BAEC2BA10405252F Time : 0.0 sec. user=mdettweiler [2018-04-26 20:54:44] 683*2^1508196-1 is not prime. Res64: 56BB6F8A5DF634B9 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:54:44] 695*2^1508196-1 is not prime. Res64: E3C55A774E24843F Time : 0.0 sec. user=mdettweiler [2018-04-26 20:55:25] 673*2^1508195-1 is not prime. Res64: 124A3C1C249A622C Time : 0.0 sec. user=mdettweiler [2018-04-26 20:55:25] 685*2^1508195-1 is not prime. Res64: 58F3B6080ED21B6F Time : 0.0 sec. user=mdettweiler [2018-04-26 20:55:26] 733*2^1508195-1 is not prime. Res64: 627F37728928AD6E Time : 0.0 sec. user=mdettweiler [2018-04-26 20:55:26] 735*2^1508195-1 is not prime. Res64: 54886A515BBFAD38 Time : 0.0 sec. user=mdettweiler [2018-04-26 20:55:27] 943*2^1508195-1 is not prime. Res64: 3103F590FD4255B0 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:33:28] 705*2^1508196-1 is not prime. Res64: C588458C820545C6 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:33:29] 707*2^1508196-1 is not prime. Res64: EC81A5B957342F1E Time : 0.0 sec. user=mdettweiler [2018-04-26 21:33:29] 735*2^1508196-1 is not prime. Res64: 85B7A8FF7DC6FA51 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:33:29] 737*2^1508196-1 is not prime. Res64: 76058CCB0C158CB2 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:33:30] 899*2^1508196-1 is not prime. Res64: F7972CEF24C7DE39 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:37:57] 923*2^1508196-1 is not prime. Res64: 32606236F6A66870 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:37:57] 947*2^1508196-1 is not prime. Res64: 5441CE478D876556 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:37:58] 687*2^1508197-1 is not prime. Res64: 9E9D9AB977D4DD24 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:37:58] 747*2^1508197-1 is not prime. Res64: A0D8A8AEC8104D6C Time : 0.0 sec. user=mdettweiler [2018-04-26 21:37:58] 757*2^1508197-1 is not prime. Res64: 8C1C288DBD1C85CD Time : 0.0 sec. user=mdettweiler [2018-04-26 21:44:51] 777*2^1508197-1 is not prime. Res64: 781C6DDE900BDABA Time : 0.0 sec. user=mdettweiler [2018-04-26 21:44:51] 885*2^1508197-1 is not prime. Res64: 9B6601E56B2888CE Time : 0.0 sec. user=mdettweiler [2018-04-26 21:44:52] 915*2^1508197-1 is not prime. Res64: B9A41F431D320AA5 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:44:52] 955*2^1508197-1 is not prime. Res64: DA2E4EF2BCF23339 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:44:52] 663*2^1508198-1 is not prime. Res64: F02F0664A03E1135 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:45:34] 705*2^1508198-1 is not prime. Res64: 2A5C7B00493E126B Time : 0.0 sec. user=mdettweiler [2018-04-26 21:45:34] 857*2^1508198-1 is not prime. Res64: C10351ADB78E6A34 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:45:35] 915*2^1508198-1 is not prime. Res64: FA7BA857A4CB4C51 Time : 0.0 sec. user=mdettweiler [2018-04-26 21:45:35] 957*2^1508198-1 is not prime. Res64: B841C4FE39D399AC Time : 0.0 sec. user=mdettweiler [2018-04-26 21:45:35] 789*2^1508199-1 is not prime. Res64: 9D3D3EA85E4A1840 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:23:53] 793*2^1508199-1 is not prime. Res64: 809D75B52F499CAE Time : 0.0 sec. user=mdettweiler [2018-04-26 22:23:54] 879*2^1508199-1 is not prime. Res64: 073379103B320897 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:23:54] 909*2^1508199-1 is not prime. Res64: 3830B3E528F3C3E9 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:23:55] 999*2^1508199-1 is not prime. Res64: A43A6154F34DD57C Time : 0.0 sec. user=mdettweiler [2018-04-26 22:23:55] 665*2^1508200-1 is not prime. Res64: 426CFFF8C58F696A Time : 0.0 sec. user=mdettweiler [2018-04-26 22:28:23] 747*2^1508200-1 is not prime. Res64: A3CB10279D6F7592 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:28:24] 845*2^1508200-1 is not prime. Res64: 9D6BACAF6C094BF7 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:28:24] 875*2^1508200-1 is not prime. Res64: B49ED5B67CD92663 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:28:25] 999*2^1508200-1 is not prime. Res64: F3C1F6CAE4560EF0 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:28:25] 649*2^1508201-1 is not prime. Res64: 04D18DF3C5D76A1E Time : 0.0 sec. user=mdettweiler [2018-04-26 22:34:59] 777*2^1508201-1 is not prime. Res64: 074B7C61A35965AF Time : 0.0 sec. user=mdettweiler [2018-04-26 22:34:59] 871*2^1508201-1 is not prime. Res64: 6269C00943318331 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:35:00] 939*2^1508201-1 is not prime. Res64: A4B7177FFFE945D3 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:35:00] 717*2^1508202-1 is not prime. Res64: 0F0D07D798912C62 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:35:01] 801*2^1508202-1 is not prime. Res64: 0E342EF0409355ED Time : 0.0 sec. user=mdettweiler [2018-04-26 22:35:32] 807*2^1508202-1 is not prime. Res64: 6BC44C2C0B8E9792 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:35:32] 885*2^1508202-1 is not prime. Res64: D0FF895D41590F19 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:35:33] 957*2^1508202-1 is not prime. Res64: 1C168C34C2274F22 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:35:33] 681*2^1508203-1 is not prime. Res64: 34E7841B39FF16A4 Time : 0.0 sec. user=mdettweiler [2018-04-26 22:35:33] 709*2^1508203-1 is not prime. Res64: D859D38A8585AF2F Time : 0.0 sec. user=mdettweiler [2018-04-26 23:13:46] 769*2^1508203-1 is not prime. Res64: 582C6C699ACF9733 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:13:46] 813*2^1508203-1 is not prime. Res64: E57A5764E150EB6C Time : 0.0 sec. user=mdettweiler [2018-04-26 23:13:47] 883*2^1508203-1 is not prime. Res64: AF477FF4762DF82E Time : 0.0 sec. user=mdettweiler [2018-04-26 23:13:47] 629*2^1508204-1 is not prime. Res64: 5E50DEABB3774774 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:13:48] 683*2^1508204-1 is not prime. Res64: EA4D6A347118DD8E Time : 0.0 sec. user=mdettweiler [2018-04-26 23:18:50] 699*2^1508204-1 is not prime. Res64: 10EAE2D0408EE339 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:18:50] 789*2^1508204-1 is not prime. Res64: F164A0C49B9A4CD0 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:18:50] 843*2^1508204-1 is not prime. Res64: 59414E09F3DABE80 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:18:51] 691*2^1508205-1 is not prime. Res64: BCFA82816F0083D0 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:18:51] 765*2^1508205-1 is not prime. Res64: 023351AE30EA86B7 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:11] 777*2^1508205-1 is not prime. Res64: A85A4EEA8D055121 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:12] 961*2^1508205-1 is not prime. Res64: 33639D8906FD743D Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:12] 617*2^1508206-1 is not prime. Res64: E7059F03C8596471 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:12] 813*2^1508206-1 is not prime. Res64: 6E2065B19C636857 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:13] 857*2^1508206-1 is not prime. Res64: 3D282612B527CB4A Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:35] 643*2^1508207-1 is not prime. Res64: AE4C8306DB2C04DC Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:35] 651*2^1508207-1 is not prime. Res64: 2C21AEA94F7E2F66 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:35] 663*2^1508207-1 is not prime. Res64: B8A30F689C271585 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:36] 759*2^1508207-1 is not prime. Res64: 6DB44F0CAA439620 Time : 0.0 sec. user=mdettweiler [2018-04-26 23:25:36] 895*2^1508207-1 is not prime. Res64: 6A0FF5777F0362E5 Time : 0.0 sec.