user=mdettweiler [2016-02-10 00:09:54] 875*2^1421786-1 is not prime. Res64: F25D7C499D4A51AD Time : 0.0 sec. user=mdettweiler [2016-02-10 00:09:54] 711*2^1421787-1 is not prime. Res64: 91A57B7163762C97 Time : 0.0 sec. user=mdettweiler [2016-02-10 00:15:04] 739*2^1421787-1 is not prime. Res64: C0F4F3EFA6DCCB7E Time : 0.0 sec. user=mdettweiler [2016-02-10 00:15:04] 963*2^1421787-1 is not prime. Res64: 7FD849CBEBCB17A9 Time : 0.0 sec. user=mdettweiler [2016-02-10 00:27:30] 615*2^1421788-1 is not prime. Res64: C4C146E9C7BED0AB Time : 0.0 sec. user=mdettweiler [2016-02-10 00:27:31] 647*2^1421788-1 is not prime. Res64: 63A03CBA1E9FC0CA Time : 0.0 sec. user=mdettweiler [2016-02-10 00:32:38] 677*2^1421788-1 is not prime. Res64: 60F9F330B6FDC044 Time : 0.0 sec. user=mdettweiler [2016-02-10 00:32:38] 819*2^1421788-1 is not prime. Res64: 8614718D3D13A42A Time : 0.0 sec. user=mdettweiler [2016-02-10 00:45:04] 887*2^1421788-1 is not prime. Res64: 79E7A390F55DAABA Time : 0.0 sec. user=mdettweiler [2016-02-10 00:45:04] 957*2^1421788-1 is not prime. Res64: 02B06AE8A81B6B01 Time : 0.0 sec. user=mdettweiler [2016-02-10 00:50:15] 631*2^1421789-1 is not prime. Res64: 2945B423A30CC7A7 Time : 0.0 sec. user=mdettweiler [2016-02-10 00:50:15] 675*2^1421789-1 is not prime. Res64: 9F3040C8017FB9A9 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:02:37] 679*2^1421789-1 is not prime. Res64: 2492D39CA26EF955 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:02:39] 711*2^1421789-1 is not prime. Res64: 8C7FB32668CA6159 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:07:47] 741*2^1421789-1 is not prime. Res64: 54AF1BB629708722 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:07:48] 795*2^1421789-1 is not prime. Res64: D8FDBD932E225141 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:20:23] 829*2^1421789-1 is not prime. Res64: 2E7FBFFAC3191AD4 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:20:24] 847*2^1421789-1 is not prime. Res64: 1868FB671D5F12B5 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:25:24] 867*2^1421789-1 is not prime. Res64: 56DEDF3B50DF36AD Time : 0.0 sec. user=mdettweiler [2016-02-10 01:25:25] 885*2^1421789-1 is not prime. Res64: 3164D7DA29E48E5F Time : 0.0 sec. user=mdettweiler [2016-02-10 01:38:02] 907*2^1421789-1 is not prime. Res64: CC420826D5BC7F96 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:38:03] 939*2^1421789-1 is not prime. Res64: DE1D4D22F4D9BBB9 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:43:05] 969*2^1421789-1 is not prime. Res64: F51BD26A4DC1681E Time : 0.0 sec. user=mdettweiler [2016-02-10 01:43:05] 641*2^1421790-1 is not prime. Res64: 70936ECC9946B558 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:55:38] 647*2^1421790-1 is not prime. Res64: 6EED23D4FDDFB359 Time : 0.0 sec. user=mdettweiler [2016-02-10 01:55:39] 651*2^1421790-1 is not prime. Res64: 902BAF0A1F02C798 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:00:39] 777*2^1421790-1 is not prime. Res64: B5B10BFDA2B36591 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:00:39] 791*2^1421790-1 is not prime. Res64: EB317965A445BC25 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:13:20] 863*2^1421790-1 is not prime. Res64: EC06946993C6895C Time : 0.0 sec. user=mdettweiler [2016-02-10 02:13:21] 893*2^1421790-1 is not prime. Res64: 506844FE66F23165 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:18:29] 963*2^1421790-1 is not prime. Res64: C4B541E8C6FDAA2B Time : 0.0 sec. user=mdettweiler [2016-02-10 02:18:30] 977*2^1421790-1 is not prime. Res64: AA9EB70C06E24785 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:31:27] 673*2^1421791-1 is not prime. Res64: 6F67F3F40A024B28 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:31:28] 679*2^1421791-1 is not prime. Res64: A692CA6A36A2B886 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:36:32] 735*2^1421791-1 is not prime. Res64: 07492209E1EAB500 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:36:32] 759*2^1421791-1 is not prime. Res64: 63369872DA844C7E Time : 0.0 sec. user=mdettweiler [2016-02-10 02:49:21] 871*2^1421791-1 is not prime. Res64: E67A182AD9454157 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:49:22] 933*2^1421791-1 is not prime. Res64: 740EDEAB8129D4E3 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:54:11] 961*2^1421791-1 is not prime. Res64: 6240EE73B5626174 Time : 0.0 sec. user=mdettweiler [2016-02-10 02:54:11] 825*2^1421792-1 is not prime. Res64: 158C8C99BCE5E491 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:22:45] 875*2^1421792-1 is not prime. Res64: BCB1A95E248B2AB5 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:22:45] 945*2^1421792-1 is not prime. Res64: 27F2F2C9A2C6DA63 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:22:49] 957*2^1421792-1 is not prime. Res64: 19A03D9757B5713E Time : 0.0 sec. user=mdettweiler [2016-02-10 03:22:49] 959*2^1421792-1 is not prime. Res64: FFB9817ACCAEFBAA Time : 0.0 sec. user=mdettweiler [2016-02-10 03:23:10] 649*2^1421793-1 is not prime. Res64: 50C04DE11909ECC2 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:23:10] 745*2^1421793-1 is not prime. Res64: 59A54F7CB320E747 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:40:16] 769*2^1421793-1 is not prime. Res64: A980D30758D123BC Time : 0.0 sec. user=mdettweiler [2016-02-10 03:40:18] 837*2^1421793-1 is not prime. Res64: F7C20851FD5581D2 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:40:19] 915*2^1421793-1 is not prime. Res64: 5672A0FF293E6856 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:40:21] 829*2^1421793-1 is not prime. Res64: CA1B724A998C31CA Time : 0.0 sec. user=mdettweiler [2016-02-10 03:40:40] 605*2^1421794-1 is not prime. Res64: 00EFD096C7AC43D5 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:40:42] 635*2^1421794-1 is not prime. Res64: C394ED6954A6B429 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:58:10] 663*2^1421794-1 is not prime. Res64: C083373A4246EAA4 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:58:11] 791*2^1421794-1 is not prime. Res64: A3253D9388936B7E Time : 0.0 sec. user=mdettweiler [2016-02-10 03:58:13] 699*2^1421795-1 is not prime. Res64: 5C62B11E6F006000 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:58:14] 885*2^1421795-1 is not prime. Res64: 65BCF592781EDE08 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:58:19] 883*2^1421795-1 is not prime. Res64: 6ADCE1A3B80531F1 Time : 0.0 sec. user=mdettweiler [2016-02-10 03:58:19] 889*2^1421795-1 is not prime. Res64: FDDCD4B1DAE489F4 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:15:40] 969*2^1421795-1 is not prime. Res64: 328BE4A2B7C28B35 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:15:40] 979*2^1421795-1 is not prime. Res64: 2696ABACD17D6F98 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:15:41] 985*2^1421795-1 is not prime. Res64: 9345C3A76C6B7ADA Time : 0.0 sec. user=mdettweiler [2016-02-10 04:15:42] 999*2^1421795-1 is not prime. Res64: 6F72B7EDA322665F Time : 0.0 sec. user=mdettweiler [2016-02-10 04:15:46] 609*2^1421796-1 is not prime. Res64: 3AE723FB4520D523 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:15:46] 669*2^1421796-1 is not prime. Res64: 7CBEB56B7AC98FC9 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:33:10] 773*2^1421796-1 is not prime. Res64: B4FA9406A2652B74 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:33:11] 923*2^1421796-1 is not prime. Res64: B5E6381CDC203A3B Time : 0.0 sec. user=mdettweiler [2016-02-10 04:33:12] 707*2^1421796-1 is not prime. Res64: 14448E45637D6011 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:33:12] 759*2^1421796-1 is not prime. Res64: 74C3CC135886F4CE Time : 0.0 sec. user=mdettweiler [2016-02-10 04:33:15] 639*2^1421797-1 is not prime. Res64: C0EFED0857873AC0 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:33:15] 687*2^1421797-1 is not prime. Res64: FA93A4CBA9D6BD72 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:50:37] 801*2^1421797-1 is not prime. Res64: 3D3B0FEA14B6C5AD Time : 0.0 sec. user=mdettweiler [2016-02-10 04:50:37] 945*2^1421797-1 is not prime. Res64: 6159D18E4EC279C6 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:50:38] 975*2^1421797-1 is not prime. Res64: 5D9ACCF8CBAC4C3E Time : 0.0 sec. user=mdettweiler [2016-02-10 04:50:38] 985*2^1421797-1 is not prime. Res64: 288C6A79F0655DA9 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:50:41] 627*2^1421798-1 is not prime. Res64: 5FEAFEECBDB509F3 Time : 0.0 sec. user=mdettweiler [2016-02-10 04:50:42] 641*2^1421798-1 is not prime. Res64: 1E83F9AF2A5FE59C Time : 0.0 sec. user=mdettweiler [2016-02-10 05:08:03] 815*2^1421798-1 is not prime. Res64: B6B61E2EA7165CF3 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:08:04] 825*2^1421798-1 is not prime. Res64: 67E111D949159F20 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:08:07] 875*2^1421798-1 is not prime. Res64: DFACD9F491A5AA8A Time : 0.0 sec. user=mdettweiler [2016-02-10 05:08:07] 897*2^1421798-1 is not prime. Res64: 90970F18C895CFE5 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:08:07] 885*2^1421798-1 is not prime. Res64: AE214C6936A720E1 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:08:08] 1001*2^1421798-1 is not prime. Res64: 9656E59744631FEF Time : 0.0 sec. user=mdettweiler [2016-02-10 05:25:30] 615*2^1421799-1 is not prime. Res64: 640C2A5368F78859 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:25:30] 723*2^1421799-1 is not prime. Res64: D9B0AE16637F9D17 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:25:33] 859*2^1421799-1 is not prime. Res64: 665927321620AC9B Time : 0.0 sec. user=mdettweiler [2016-02-10 05:25:34] 735*2^1421799-1 is not prime. Res64: 2177D67ADB8E36B6 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:25:34] 861*2^1421799-1 is not prime. Res64: 2DBED1D7533FD9F0 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:25:34] 795*2^1421799-1 is not prime. Res64: EBB8EFC1E25E7679 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:42:57] 933*2^1421799-1 is not prime. Res64: B073C098FC56A5D2 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:42:57] 951*2^1421799-1 is not prime. Res64: ADC746E37F7F9FA2 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:43:01] 765*2^1421800-1 is not prime. Res64: 2A7ECFAB129D3DFD Time : 0.0 sec. user=mdettweiler [2016-02-10 05:43:01] 857*2^1421800-1 is not prime. Res64: 699E3FE09D5DFC2B Time : 0.0 sec. user=mdettweiler [2016-02-10 05:43:04] 605*2^1421800-1 is not prime. Res64: 622D8485E4033C26 Time : 0.0 sec. user=mdettweiler [2016-02-10 05:43:05] 687*2^1421800-1 is not prime. Res64: D2E3D4EE6E646B41 Time : 0.0 sec. user=mdettweiler [2016-02-10 06:00:23] 887*2^1421800-1 is not prime. Res64: FDA6F29B510CC84F Time : 0.0 sec. user=mdettweiler [2016-02-10 06:00:24] 965*2^1421800-1 is not prime. Res64: FD916D33EE6E8594 Time : 0.0 sec. user=mdettweiler [2016-02-10 06:00:27] 983*2^1421800-1 is not prime. Res64: 6CFB31085DD7FF98 Time : 0.0 sec. user=mdettweiler [2016-02-10 06:00:28] 999*2^1421800-1 is not prime. Res64: 3E802CABEEB53B2C Time : 0.0 sec. user=mdettweiler [2016-02-10 06:00:32] 679*2^1421801-1 is not prime. Res64: 86584BE87E8E153E Time : 0.0 sec. user=mdettweiler [2016-02-10 06:00:33] 717*2^1421801-1 is not prime. Res64: 895FB5B3A61FC56F Time : 0.0 sec. user=mdettweiler [2016-02-10 06:17:56] 777*2^1421801-1 is not prime. Res64: F179CB75E34ADEA3 Time : 0.0 sec. user=mdettweiler [2016-02-10 06:17:57] 789*2^1421801-1 is not prime. Res64: A062DC2C1D930D63 Time : 0.0 sec. user=mdettweiler [2016-02-10 06:18:02] 795*2^1421801-1 is not prime. Res64: E4CD8365370CA9DB Time : 0.0 sec. user=mdettweiler [2016-02-10 06:18:02] 865*2^1421801-1 is not prime. Res64: 19CAC74126C0F13D Time : 0.0 sec. user=mdettweiler [2016-02-10 06:18:02] 829*2^1421801-1 is not prime. Res64: 84219EB6EC428C8B Time : 0.0 sec. user=mdettweiler [2016-02-10 06:18:02] 871*2^1421801-1 is not prime. Res64: 88532C46877E085D Time : 0.0 sec. user=mdettweiler [2016-02-10 06:35:26] 615*2^1421802-1 is not prime. Res64: 59AA648C1FC6E9BA Time : 0.0 sec. user=mdettweiler [2016-02-10 06:35:26] 627*2^1421802-1 is not prime. Res64: E5F419E4621EF7FD Time : 0.0 sec. user=mdettweiler [2016-02-10 06:35:29] 803*2^1421802-1 is not prime. Res64: F48B6F4AF307046B Time : 0.0 sec. user=mdettweiler [2016-02-10 06:35:29] 683*2^1421802-1 is not prime. Res64: 1BEE3356F744366A Time : 0.0 sec. user=mdettweiler [2016-02-10 06:35:29] 807*2^1421802-1 is not prime. Res64: 0F24D0D73AFB0F98 Time : 0.0 sec. user=mdettweiler [2016-02-10 06:35:30] 725*2^1421802-1 is not prime. Res64: 2B0BDB790232165E Time : 0.0 sec. user=mdettweiler [2016-02-10 06:52:52] 833*2^1421802-1 is not prime. Res64: 4474DAF98441160C Time : 0.0 sec. user=mdettweiler [2016-02-10 06:52:53] 867*2^1421802-1 is not prime. Res64: 73180EF09277F50C Time : 0.0 sec. user=mdettweiler [2016-02-10 06:52:56] 873*2^1421802-1 is not prime. Res64: BC747AFC6653551A Time : 0.0 sec. user=mdettweiler [2016-02-10 06:52:57] 903*2^1421802-1 is not prime. Res64: F8EF702303A8575A Time : 0.0 sec. user=mdettweiler [2016-02-10 06:52:59] 619*2^1421803-1 is not prime. Res64: 19AFDADDE5AC1A51 Time : 0.0 sec. user=mdettweiler [2016-02-10 06:53:00] 673*2^1421803-1 is not prime. Res64: E4F96D9F7C6A2027 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:10:21] 835*2^1421803-1 is not prime. Res64: 8C26FE925DAA2A99 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:10:22] 859*2^1421803-1 is not prime. Res64: 8248CB2D418C1FE6 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:10:22] 883*2^1421803-1 is not prime. Res64: 8A72DEA01812BF5A Time : 0.0 sec. user=mdettweiler [2016-02-10 07:10:23] 609*2^1421804-1 is not prime. Res64: C0C52488F637149A Time : 0.0 sec. user=mdettweiler [2016-02-10 07:10:27] 665*2^1421804-1 is not prime. Res64: 96CA37C4281CCD31 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:10:29] 929*2^1421804-1 is not prime. Res64: 45EB3F3AEEB21B28 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:27:56] 635*2^1421806-1 is not prime. Res64: 4A0C12FAAFB6BD28 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:27:56] 751*2^1421805-1 is not prime. Res64: E73B4253BAD17150 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:27:56] 647*2^1421806-1 is not prime. Res64: CD271CAA25838112 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:27:57] 861*2^1421805-1 is not prime. Res64: 4D6AAD35FCA3AE17 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:27:57] 607*2^1421805-1 is not prime. Res64: 48BACD02A3D6E3C5 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:27:57] 741*2^1421805-1 is not prime. Res64: F0D2926DF706308C Time : 0.0 sec. user=mdettweiler [2016-02-10 07:45:23] 821*2^1421806-1 is not prime. Res64: 91A523317C0E79DB Time : 0.0 sec. user=mdettweiler [2016-02-10 07:45:23] 833*2^1421806-1 is not prime. Res64: 851FDD45A28BE512 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:45:24] 741*2^1421806-1 is not prime. Res64: 3B4394AC96268FC0 Time : 0.0 sec. user=mdettweiler [2016-02-10 07:45:25] 815*2^1421806-1 is not prime. Res64: D4B1AACBB3546F6F Time : 0.0 sec. user=mdettweiler [2016-02-10 07:45:26] 873*2^1421806-1 is not prime. Res64: 4B4EA62BD67124FC Time : 0.0 sec. user=mdettweiler [2016-02-10 07:45:26] 891*2^1421806-1 is not prime. Res64: F2146A7DED8D7AC6 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:02:49] 897*2^1421806-1 is not prime. Res64: 5F3E06D66FDB9BE5 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:02:50] 957*2^1421806-1 is not prime. Res64: 27223202DDCE41EC Time : 0.0 sec. user=mdettweiler [2016-02-10 08:02:50] 945*2^1421806-1 is not prime. Res64: 14851FF4D8CFBD4C Time : 0.0 sec. user=mdettweiler [2016-02-10 08:02:51] 609*2^1421807-1 is not prime. Res64: AA5B2B8445B4814F Time : 0.0 sec. user=mdettweiler [2016-02-10 08:02:53] 615*2^1421807-1 is not prime. Res64: 029C17A19CF0AB98 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:02:54] 655*2^1421807-1 is not prime. Res64: C82711EC8F55B2DC Time : 0.0 sec. user=mdettweiler [2016-02-10 08:20:33] 685*2^1421807-1 is not prime. Res64: FF4AD345F693BBC1 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:20:33] 729*2^1421807-1 is not prime. Res64: FEDB5D4992F6BD4E Time : 0.0 sec. user=mdettweiler [2016-02-10 08:20:35] 735*2^1421807-1 is not prime. Res64: B4019CBF7CAF8F95 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:20:36] 805*2^1421807-1 is not prime. Res64: E1816EF48B72FE0D Time : 0.0 sec. user=mdettweiler [2016-02-10 08:20:38] 861*2^1421807-1 is not prime. Res64: 1DA3D3D74B4F88CB Time : 0.0 sec. user=mdettweiler [2016-02-10 08:20:39] 879*2^1421807-1 is not prime. Res64: 9DCA509EFF6DB585 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:38:01] 883*2^1421807-1 is not prime. Res64: 1A52BC1BEA531B67 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:38:02] 635*2^1421808-1 is not prime. Res64: 41173245D81A100F Time : 0.0 sec. user=mdettweiler [2016-02-10 08:38:02] 633*2^1421808-1 is not prime. Res64: 6E294792B93FC7A3 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:38:02] 699*2^1421808-1 is not prime. Res64: D8600B9B52B0FA03 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:38:04] 707*2^1421808-1 is not prime. Res64: EFE25C3559AAA2C3 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:38:04] 713*2^1421808-1 is not prime. Res64: 7EEFD798C2A25BF4 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:55:29] 725*2^1421808-1 is not prime. Res64: D033335430106F26 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:55:29] 735*2^1421808-1 is not prime. Res64: 588DA9BBFA42FF80 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:55:33] 867*2^1421808-1 is not prime. Res64: D722E2EF024D260D Time : 0.0 sec. user=mdettweiler [2016-02-10 08:55:33] 993*2^1421808-1 is not prime. Res64: 0003A32B9ECBCFDD Time : 0.0 sec. user=mdettweiler [2016-02-10 08:55:34] 625*2^1421809-1 is not prime. Res64: 47AEBEC8E5D07EE4 Time : 0.0 sec. user=mdettweiler [2016-02-10 08:55:35] 667*2^1421809-1 is not prime. Res64: 2A162D3296C624CD Time : 0.0 sec. user=mdettweiler [2016-02-10 09:12:56] 691*2^1421809-1 is not prime. Res64: 5073933B7DFFA2AA Time : 0.0 sec. user=mdettweiler [2016-02-10 09:12:57] 729*2^1421809-1 is not prime. Res64: 4436D2AB2E3A5A7E Time : 0.0 sec. user=mdettweiler [2016-02-10 09:13:01] 741*2^1421809-1 is not prime. Res64: 9679976996731E25 Time : 0.0 sec. user=mdettweiler [2016-02-10 09:13:02] 769*2^1421809-1 is not prime. Res64: 1A409E4CF9FEFC7B Time : 0.0 sec. user=mdettweiler [2016-02-10 09:13:04] 817*2^1421809-1 is not prime. Res64: AE91AD514142FBBB Time : 0.0 sec. user=mdettweiler [2016-02-10 09:13:06] 939*2^1421809-1 is not prime. Res64: 274D9D1EBC1F19DD Time : 0.0 sec. user=mdettweiler [2016-02-10 09:30:25] 945*2^1421809-1 is not prime. Res64: EB3163A745AE9123 Time : 0.0 sec. user=mdettweiler [2016-02-10 09:30:26] 665*2^1421810-1 is not prime. Res64: 74F9B248875EAD26 Time : 0.0 sec. user=mdettweiler [2016-02-10 09:30:29] 713*2^1421810-1 is not prime. Res64: 500B27358D236756 Time : 0.0 sec. user=mdettweiler [2016-02-10 09:30:30] 831*2^1421810-1 is not prime. Res64: 4EA2CB8A2B2AA068 Time : 0.0 sec. user=mdettweiler [2016-02-10 09:30:33] 887*2^1421810-1 is not prime. Res64: 8A051048A4E5B8CB Time : 0.0 sec. user=mdettweiler [2016-02-10 09:30:33] 691*2^1421811-1 is not prime. Res64: 052C910B49F26B29 Time : 0.0 sec. user=mdettweiler [2016-02-10 09:47:53] 705*2^1421811-1 is not prime. Res64: 480BF831C51FFB1A Time : 0.0 sec. user=mdettweiler [2016-02-10 09:47:54] 735*2^1421811-1 is not prime. Res64: 0C8153D1A8112C7B Time : 0.0 sec. user=mdettweiler [2016-02-10 09:47:57] 859*2^1421811-1 is not prime. Res64: 93814BF2302CD7AA Time : 0.0 sec. user=mdettweiler [2016-02-10 09:47:58] 879*2^1421811-1 is not prime. Res64: 920FE353AC676809 Time : 0.0 sec. user=mdettweiler [2016-02-10 09:47:59] 943*2^1421811-1 is not prime. Res64: 93F7D8A84E47D6FD Time : 0.0 sec. user=mdettweiler [2016-02-10 09:48:00] 623*2^1421812-1 is not prime. Res64: D278EDC3E3264043 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:05:21] 635*2^1421812-1 is not prime. Res64: EFD9A73B11F167A2 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:05:22] 687*2^1421812-1 is not prime. Res64: 420D468B403C77A4 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:05:24] 735*2^1421812-1 is not prime. Res64: 65D124B50AA4D0F2 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:05:25] 903*2^1421812-1 is not prime. Res64: 9DE12F0F17A6B6BF Time : 0.0 sec. user=mdettweiler [2016-02-10 10:05:28] 909*2^1421812-1 is not prime. Res64: 3C20B2215851B9C3 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:05:31] 915*2^1421812-1 is not prime. Res64: 726D5457AAD9BC0D Time : 0.0 sec. user=mdettweiler [2016-02-10 10:23:02] 649*2^1421813-1 is not prime. Res64: 89FA0AFCC745D642 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:23:02] 747*2^1421813-1 is not prime. Res64: 13DE19C6C5C7079C Time : 0.0 sec. user=mdettweiler [2016-02-10 10:23:02] 981*2^1421813-1 is not prime. Res64: 060AE987518E9BD0 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:23:03] 985*2^1421813-1 is not prime. Res64: 4A785B13E04A4624 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:23:03] 771*2^1421813-1 is not prime. Res64: 32DA75B257A3D7A3 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:23:04] 957*2^1421813-1 is not prime. Res64: C493EA3CECE743FB Time : 0.0 sec. user=mdettweiler [2016-02-10 10:40:29] 825*2^1421814-1 is not prime. Res64: 2E806659DCE85991 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:40:30] 741*2^1421814-1 is not prime. Res64: EAF8609E3BA88DCE Time : 0.0 sec. user=mdettweiler [2016-02-10 10:40:30] 945*2^1421814-1 is not prime. Res64: 88329F9954C4FDCE Time : 0.0 sec. user=mdettweiler [2016-02-10 10:40:30] 765*2^1421814-1 is not prime. Res64: 6C85AC242ED65039 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:40:30] 683*2^1421814-1 is not prime. Res64: C4F90DD1D696870B Time : 0.0 sec. user=mdettweiler [2016-02-10 10:40:31] 705*2^1421814-1 is not prime. Res64: D932D3F45F0804FD Time : 0.0 sec. user=mdettweiler [2016-02-10 10:58:00] 783*2^1421815-1 is not prime. Res64: B01F6A6EBBE8D677 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:58:00] 667*2^1421817-1 is not prime. Res64: 9E7DE94ACF8CDF7D Time : 0.0 sec. user=mdettweiler [2016-02-10 10:58:01] 675*2^1421816-1 is not prime. Res64: 0E807E578B8C047A Time : 0.0 sec. user=mdettweiler [2016-02-10 10:58:01] 693*2^1421816-1 is not prime. Res64: 45C2E51E07E2F982 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:58:01] 679*2^1421815-1 is not prime. Res64: 25911E8CA125A611 Time : 0.0 sec. user=mdettweiler [2016-02-10 10:58:02] 919*2^1421815-1 is not prime. Res64: AEF31C4028FC7233 Time : 0.0 sec. user=mdettweiler [2016-02-10 11:15:27] 781*2^1421817-1 is not prime. Res64: 050E930F4EB976B6 Time : 0.0 sec. user=mdettweiler [2016-02-10 11:15:27] 825*2^1421818-1 is not prime. Res64: 74D820313E2912CD Time : 0.0 sec. user=mdettweiler [2016-02-10 11:15:27] 617*2^1421818-1 is not prime. Res64: 24AB57841F2D9CA6 Time : 0.0 sec. user=mdettweiler [2016-02-10 11:15:27] 867*2^1421817-1 is not prime. Res64: 1ED70F629C225933 Time : 0.0 sec. user=mdettweiler [2016-02-10 11:15:28] 861*2^1421818-1 is not prime. Res64: 97EEF43C7E75097B Time : 0.0 sec. user=mdettweiler [2016-02-10 11:15:28] 813*2^1421818-1 is not prime. Res64: 684B3CA403219E9D Time : 0.0 sec. user=mdettweiler [2016-02-10 11:32:57] 649*2^1421819-1 is not prime. Res64: C85C33C77C28409E Time : 0.0 sec. user=mdettweiler [2016-02-10 11:32:57] 981*2^1421818-1 is not prime. Res64: E7F65F50BD0771AD Time : 0.0 sec. user=mdettweiler [2016-02-10 11:32:58] 669*2^1421819-1 is not prime. Res64: CDED5764D1B7EC53 Time : 0.0 sec. user=mdettweiler [2016-02-10 11:32:58] 619*2^1421819-1 is not prime. Res64: 4BF478FCBB845166 Time : 0.0 sec. user=mdettweiler [2016-02-10 11:32:58] 685*2^1421819-1 is not prime. Res64: 3D7F29C4EE97C0EC Time : 0.0 sec. user=mdettweiler [2016-02-10 11:32:59] 703*2^1421819-1 is not prime. Res64: FE5ADD375EAA87A7 Time : 0.0 sec. user=mdettweiler [2016-02-10 11:50:24] 855*2^1421819-1 is not prime. Res64: 880E8351755DC57C Time : 0.0 sec. user=mdettweiler [2016-02-10 11:50:25] 741*2^1421819-1 is not prime. Res64: 407F015EAFE170C3 Time : 0.0 sec. user=mdettweiler [2016-02-10 11:50:25] 949*2^1421819-1 is not prime. Res64: 714C12E5E949B9CE Time : 0.0 sec. user=mdettweiler [2016-02-10 11:50:25] 985*2^1421819-1 is not prime. Res64: 6408565A84E61B1C Time : 0.0 sec. user=mdettweiler [2016-02-10 11:50:25] 811*2^1421819-1 is not prime. Res64: 7C8C3EE2186D8B4F Time : 0.0 sec. user=mdettweiler [2016-02-10 11:50:26] 767*2^1421820-1 is not prime. Res64: 9D596551538E31E1 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:07:52] 863*2^1421820-1 is not prime. Res64: 409DE6AEF33C2E6D Time : 0.0 sec. user=mdettweiler [2016-02-10 12:07:52] 779*2^1421820-1 is not prime. Res64: 69E88AC5BD8AC3F2 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:07:52] 905*2^1421820-1 is not prime. Res64: 8A29471EF9F9E578 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:07:53] 843*2^1421820-1 is not prime. Res64: F1D8A1D976D7B5CC Time : 0.0 sec. user=mdettweiler [2016-02-10 12:07:53] 789*2^1421820-1 is not prime. Res64: C8E5A074D701F724 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:07:53] 845*2^1421820-1 is not prime. Res64: 7E48486F38CD6320 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:25:25] 915*2^1421820-1 is not prime. Res64: 667E623498F45668 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:25:26] 607*2^1421821-1 is not prime. Res64: 1F51F284A32993A2 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:25:26] 811*2^1421821-1 is not prime. Res64: A29EE844994FF224 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:25:26] 645*2^1421821-1 is not prime. Res64: 2E3BF370C0A4ABED Time : 0.0 sec. user=mdettweiler [2016-02-10 12:25:27] 877*2^1421821-1 is not prime. Res64: FCB6F0342A4A72E1 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:25:27] 769*2^1421821-1 is not prime. Res64: 2C39A7914ED83471 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:42:52] 967*2^1421821-1 is not prime. Res64: 19A18699EDFB1885 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:42:53] 623*2^1421822-1 is not prime. Res64: AF770F80A3BA2B52 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:42:53] 937*2^1421821-1 is not prime. Res64: 9ACDCE4D6717A419 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:42:54] 957*2^1421821-1 is not prime. Res64: 5447BCDD7B310009 Time : 0.0 sec. user=mdettweiler [2016-02-10 12:42:57] 843*2^1421822-1 is not prime. Res64: D650FB5131309B1B Time : 0.0 sec. user=mdettweiler [2016-02-10 12:42:57] 945*2^1421822-1 is not prime. Res64: 7E12F2F3C560CF01 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:00:19] 679*2^1421823-1 is not prime. Res64: 0B736CC9D1E17BC6 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:00:20] 723*2^1421823-1 is not prime. Res64: B761BE0560F9B641 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:00:21] 823*2^1421823-1 is not prime. Res64: 04ABB82C66A58BF5 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:00:22] 873*2^1421823-1 is not prime. Res64: 964B24CDA1765DE8 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:00:23] 963*2^1421823-1 is not prime. Res64: F3CC0FF295869A45 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:00:25] 635*2^1421824-1 is not prime. Res64: 87250257FF715A3B Time : 0.0 sec. user=mdettweiler [2016-02-10 13:17:50] 665*2^1421824-1 is not prime. Res64: 4D3D670D9B749FCC Time : 0.0 sec. user=mdettweiler [2016-02-10 13:17:50] 693*2^1421824-1 is not prime. Res64: F5BACBFA5E173819 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:17:50] 677*2^1421824-1 is not prime. Res64: 9B422075524D111B Time : 0.0 sec. user=mdettweiler [2016-02-10 13:17:50] 707*2^1421824-1 is not prime. Res64: 53228112F6A6D8D1 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:17:55] 759*2^1421824-1 is not prime. Res64: EB42EF4647AAFD8E Time : 0.0 sec. user=mdettweiler [2016-02-10 13:17:55] 765*2^1421824-1 is not prime. Res64: 3AC74DF65AC61969 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:35:19] 807*2^1421824-1 is not prime. Res64: 1A0B63FCD4138259 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:35:19] 849*2^1421824-1 is not prime. Res64: B3A7744EC821A702 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:35:20] 699*2^1421825-1 is not prime. Res64: 1DA391398B2E98C0 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:35:21] 885*2^1421825-1 is not prime. Res64: A78E43FFE1B84677 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:35:22] 915*2^1421824-1 is not prime. Res64: 48212D9458E3B19D Time : 0.0 sec. user=mdettweiler [2016-02-10 13:35:22] 657*2^1421825-1 is not prime. Res64: C39578EE292B7F0D Time : 0.0 sec. user=mdettweiler [2016-02-10 13:52:46] 951*2^1421825-1 is not prime. Res64: 19AB5D4A4A291D9F Time : 0.0 sec. user=mdettweiler [2016-02-10 13:52:47] 969*2^1421825-1 is not prime. Res64: CC5BD2546571E242 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:52:47] 705*2^1421826-1 is not prime. Res64: 63A49B0BBB174826 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:52:48] 765*2^1421826-1 is not prime. Res64: 2F2263221C73394A Time : 0.0 sec. user=mdettweiler [2016-02-10 13:52:49] 887*2^1421826-1 is not prime. Res64: B34B11A6D4B3FD30 Time : 0.0 sec. user=mdettweiler [2016-02-10 13:52:49] 983*2^1421826-1 is not prime. Res64: 24CC60DB729E32A3 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:10:13] 759*2^1421827-1 is not prime. Res64: 8F8DBB3BF6B429A8 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:10:13] 919*2^1421827-1 is not prime. Res64: 3A698262D24EB207 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:10:13] 765*2^1421827-1 is not prime. Res64: 5EA634159B3B3032 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:10:14] 999*2^1421827-1 is not prime. Res64: ED6FA5BB6A3B46FC Time : 0.0 sec. user=mdettweiler [2016-02-10 14:10:16] 647*2^1421828-1 is not prime. Res64: 2D2DD5E46E5CEE4C Time : 0.0 sec. user=mdettweiler [2016-02-10 14:10:17] 625*2^1421829-1 is not prime. Res64: 904264EBACC73DE6 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:27:42] 649*2^1421829-1 is not prime. Res64: E794748901A85285 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:27:43] 655*2^1421829-1 is not prime. Res64: B5A2D345E4C030DB Time : 0.0 sec. user=mdettweiler [2016-02-10 14:27:43] 669*2^1421829-1 is not prime. Res64: D23C62A1F8234471 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:27:44] 727*2^1421829-1 is not prime. Res64: A67A0C3360A59007 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:27:44] 751*2^1421829-1 is not prime. Res64: 5D9AA92A1614D593 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:27:44] 831*2^1421829-1 is not prime. Res64: FB3A7227803668A3 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:45:10] 945*2^1421829-1 is not prime. Res64: E6AE23572BFD0285 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:45:11] 955*2^1421829-1 is not prime. Res64: 6078B4EFABD5904E Time : 0.0 sec. user=mdettweiler [2016-02-10 14:45:13] 837*2^1421829-1 is not prime. Res64: 63A0D6AAF4E60DA6 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:45:13] 997*2^1421829-1 is not prime. Res64: 296747DCDCA2F56B Time : 0.0 sec. user=mdettweiler [2016-02-10 14:45:14] 677*2^1421830-1 is not prime. Res64: 68ACC0F42D91F931 Time : 0.0 sec. user=mdettweiler [2016-02-10 14:45:14] 891*2^1421829-1 is not prime. Res64: B991099856443EF8 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:02:43] 827*2^1421830-1 is not prime. Res64: 404E926AC743A68C Time : 0.0 sec. user=mdettweiler [2016-02-10 15:02:44] 867*2^1421830-1 is not prime. Res64: 72579FCA6EE51BE0 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:02:46] 873*2^1421830-1 is not prime. Res64: FE4F2CEEBA0FD5A4 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:02:47] 855*2^1421830-1 is not prime. Res64: B06FA3E8B03D70F9 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:02:48] 661*2^1421831-1 is not prime. Res64: B3B1A07B10920746 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:02:52] 663*2^1421831-1 is not prime. Res64: 12811841AB9A6D84 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:20:36] 825*2^1421831-1 is not prime. Res64: E6AAED190360F728 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:20:36] 879*2^1421831-1 is not prime. Res64: 08409852F4EDA28F Time : 0.0 sec. user=mdettweiler [2016-02-10 15:20:36] 705*2^1421831-1 is not prime. Res64: 122E7936AF76475A Time : 0.0 sec. user=mdettweiler [2016-02-10 15:20:37] 745*2^1421831-1 is not prime. Res64: D4C5613B4475447F Time : 0.0 sec. user=mdettweiler [2016-02-10 15:20:46] 993*2^1421831-1 is not prime. Res64: A9BEA1FDAC80D179 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:20:46] 683*2^1421832-1 is not prime. Res64: 052EE8CB211F04BA Time : 0.0 sec. user=mdettweiler [2016-02-10 15:38:05] 945*2^1421832-1 is not prime. Res64: 2213BE3EAB1C51A6 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:38:06] 705*2^1421833-1 is not prime. Res64: 5B684D09E76D25CB Time : 0.0 sec. user=mdettweiler [2016-02-10 15:38:06] 797*2^1421832-1 is not prime. Res64: 7B0F6CCE12A59577 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:38:07] 863*2^1421832-1 is not prime. Res64: 92209191591849C5 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:38:12] 651*2^1421834-1 is not prime. Res64: 5BA06011854C1635 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:38:13] 755*2^1421834-1 is not prime. Res64: DA986091BF062763 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:55:32] 791*2^1421834-1 is not prime. Res64: 9D89E9E05C8CC201 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:55:33] 903*2^1421834-1 is not prime. Res64: E24A5784D574F161 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:55:33] 797*2^1421834-1 is not prime. Res64: 9323296B38EBEFFE Time : 0.0 sec. user=mdettweiler [2016-02-10 15:55:33] 917*2^1421834-1 is not prime. Res64: D27B7798A71C1DF4 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:55:39] 601*2^1421835-1 is not prime. Res64: B470363FDA675E04 Time : 0.0 sec. user=mdettweiler [2016-02-10 15:55:40] 609*2^1421835-1 is not prime. Res64: 9B4A8FDFB5D5D291 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:13:13] 805*2^1421835-1 is not prime. Res64: D1FB0D529CBE87CD Time : 0.0 sec. user=mdettweiler [2016-02-10 16:13:13] 913*2^1421835-1 is not prime. Res64: 8FEDCDA413CB8922 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:13:13] 639*2^1421835-1 is not prime. Res64: 8F130C0CA5162189 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:13:14] 783*2^1421835-1 is not prime. Res64: 639B352429B186C4 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:13:21] 943*2^1421835-1 is not prime. Res64: 170560118B609D52 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:13:22] 963*2^1421835-1 is not prime. Res64: 72F2AEB6E24E0288 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:31:33] 969*2^1421835-1 is not prime. Res64: A40F9EF04847A4DD Time : 0.0 sec. user=mdettweiler [2016-02-10 16:31:33] 719*2^1421836-1 is not prime. Res64: 5C7195FA10A423EA Time : 0.0 sec. user=mdettweiler [2016-02-10 16:31:33] 615*2^1421836-1 is not prime. Res64: 9B52CD2595B914ED Time : 0.0 sec. user=mdettweiler [2016-02-10 16:31:33] 975*2^1421836-1 is not prime. Res64: 2D8DEEDFF3A889DB Time : 0.0 sec. user=mdettweiler [2016-02-10 16:31:41] 987*2^1421836-1 is not prime. Res64: 2514356C306204DC Time : 0.0 sec. user=mdettweiler [2016-02-10 16:31:41] 699*2^1421837-1 is not prime. Res64: 20C8AFC98EAD2E14 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:51:05] 741*2^1421837-1 is not prime. Res64: 8EF3952640575953 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:51:05] 801*2^1421837-1 is not prime. Res64: 588DE2A9FBBFBD9A Time : 0.0 sec. user=mdettweiler [2016-02-10 16:51:07] 717*2^1421837-1 is not prime. Res64: C8B6ADEF500310FB Time : 0.0 sec. user=mdettweiler [2016-02-10 16:51:07] 729*2^1421837-1 is not prime. Res64: 86E754C44F00533C Time : 0.0 sec. user=mdettweiler [2016-02-10 16:51:12] 925*2^1421837-1 is not prime. Res64: 9E1C81D4AA302D04 Time : 0.0 sec. user=mdettweiler [2016-02-10 16:51:13] 927*2^1421837-1 is not prime. Res64: F50C027DE5F89438 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:08:46] 937*2^1421837-1 is not prime. Res64: CAB4A2DB98AEC3A5 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:08:47] 955*2^1421837-1 is not prime. Res64: 46C2F22785FD6BC1 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:08:48] 867*2^1421838-1 is not prime. Res64: 114A48A1D80F094D Time : 0.0 sec. user=mdettweiler [2016-02-10 17:08:48] 957*2^1421838-1 is not prime. Res64: 0A254760241FBE35 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:08:53] 609*2^1421839-1 is not prime. Res64: A4C025A16EC477BF Time : 0.0 sec. user=mdettweiler [2016-02-10 17:08:53] 639*2^1421839-1 is not prime. Res64: 40DCCFC361345565 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:26:19] 693*2^1421839-1 is not prime. Res64: 32233AF344E97A4E Time : 0.0 sec. user=mdettweiler [2016-02-10 17:26:19] 759*2^1421839-1 is not prime. Res64: EC91193E42855768 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:26:22] 769*2^1421839-1 is not prime. Res64: 63F3743DEF54112A Time : 0.0 sec. user=mdettweiler [2016-02-10 17:26:22] 859*2^1421839-1 is not prime. Res64: 6DED5940D765F833 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:26:28] 861*2^1421839-1 is not prime. Res64: C4E32F2707ACB872 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:26:28] 931*2^1421839-1 is not prime. Res64: 88B2BBB2631E468B Time : 0.0 sec. user=mdettweiler [2016-02-10 17:43:54] 659*2^1421840-1 is not prime. Res64: 85B201828DBEA0ED Time : 0.0 sec. user=mdettweiler [2016-02-10 17:43:54] 839*2^1421840-1 is not prime. Res64: 49FBB6E04FB76983 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:43:57] 975*2^1421839-1 is not prime. Res64: 4A9F78CB99ACD1B9 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:43:57] 633*2^1421840-1 is not prime. Res64: 553FF0EDFBBC71AD Time : 0.0 sec. user=mdettweiler [2016-02-10 17:44:03] 607*2^1421841-1 is not prime. Res64: 2452246498436ED6 Time : 0.0 sec. user=mdettweiler [2016-02-10 17:44:03] 625*2^1421841-1 is not prime. Res64: C188AF084AE97C00 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:01:22] 781*2^1421841-1 is not prime. Res64: 160D4993E166A07E Time : 0.0 sec. user=mdettweiler [2016-02-10 18:01:24] 795*2^1421841-1 is not prime. Res64: 6A980634B252CB72 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:01:25] 835*2^1421841-1 is not prime. Res64: 970E921E1FFD6B3A Time : 0.0 sec. user=mdettweiler [2016-02-10 18:01:26] 865*2^1421841-1 is not prime. Res64: E401C8F0738D4A3F Time : 0.0 sec. user=mdettweiler [2016-02-10 18:01:31] 955*2^1421841-1 is not prime. Res64: 51F31DBDF356DB5C Time : 0.0 sec. user=mdettweiler [2016-02-10 18:01:32] 623*2^1421842-1 is not prime. Res64: DFC5637DDD996E5C Time : 0.0 sec. user=mdettweiler [2016-02-10 18:19:05] 645*2^1421842-1 is not prime. Res64: F257042D09ADB36B Time : 0.0 sec. user=mdettweiler [2016-02-10 18:19:05] 801*2^1421842-1 is not prime. Res64: 928079367C88B9D5 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:19:05] 735*2^1421842-1 is not prime. Res64: 61DBFAB60CB0F504 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:19:05] 885*2^1421842-1 is not prime. Res64: 0D62705CA6AD4036 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:19:06] 717*2^1421842-1 is not prime. Res64: 11153D78E67BBB9E Time : 0.0 sec. user=mdettweiler [2016-02-10 18:19:06] 621*2^1421843-1 is not prime. Res64: E997C2E6679EB553 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:36:33] 689*2^1421844-1 is not prime. Res64: 60D50A7996240F47 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:36:34] 705*2^1421843-1 is not prime. Res64: 44A3F22F5FD72C46 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:36:34] 737*2^1421844-1 is not prime. Res64: 2754786209DD049E Time : 0.0 sec. user=mdettweiler [2016-02-10 18:36:34] 609*2^1421844-1 is not prime. Res64: 8C713DF8299FCFCD Time : 0.0 sec. user=mdettweiler [2016-02-10 18:36:34] 855*2^1421843-1 is not prime. Res64: EEB06F3B52E887C6 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:36:34] 663*2^1421844-1 is not prime. Res64: 407029360C172101 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:54:02] 751*2^1421845-1 is not prime. Res64: D1DE5859A5C45D4C Time : 0.0 sec. user=mdettweiler [2016-02-10 18:54:02] 857*2^1421844-1 is not prime. Res64: 413F6F60A3EFA0EC Time : 0.0 sec. user=mdettweiler [2016-02-10 18:54:03] 777*2^1421845-1 is not prime. Res64: 8D14E6EB18F137BB Time : 0.0 sec. user=mdettweiler [2016-02-10 18:54:03] 863*2^1421844-1 is not prime. Res64: D3A66E92A98F1B0A Time : 0.0 sec. user=mdettweiler [2016-02-10 18:54:03] 799*2^1421845-1 is not prime. Res64: 2F7EC8F8AB4522A8 Time : 0.0 sec. user=mdettweiler [2016-02-10 18:54:04] 831*2^1421845-1 is not prime. Res64: E18E0B56F35EC140 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:11:32] 623*2^1421846-1 is not prime. Res64: BFAFD392707755EB Time : 0.0 sec. user=mdettweiler [2016-02-10 19:11:32] 851*2^1421846-1 is not prime. Res64: 56E1137592EA1713 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:11:32] 919*2^1421845-1 is not prime. Res64: 37CC58EF1CF06FA2 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:11:33] 857*2^1421846-1 is not prime. Res64: 9E778AD23E8298C7 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:11:33] 785*2^1421846-1 is not prime. Res64: 1391A24D0349C795 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:11:33] 603*2^1421846-1 is not prime. Res64: 44686FCD292F644E Time : 0.0 sec. user=mdettweiler [2016-02-10 19:29:04] 923*2^1421846-1 is not prime. Res64: 23185A37B6AA8B5D Time : 0.0 sec. user=mdettweiler [2016-02-10 19:29:04] 639*2^1421847-1 is not prime. Res64: 6D0931CFE9B47D47 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:29:07] 751*2^1421847-1 is not prime. Res64: F8B64378BCC7FE7A Time : 0.0 sec. user=mdettweiler [2016-02-10 19:29:08] 793*2^1421847-1 is not prime. Res64: 9A2C7EFB1DDF11AC Time : 0.0 sec. user=mdettweiler [2016-02-10 19:29:09] 711*2^1421847-1 is not prime. Res64: AE6942AF4A4892A5 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:29:09] 741*2^1421847-1 is not prime. Res64: C080791291C8940A Time : 0.0 sec. user=mdettweiler [2016-02-10 19:46:32] 861*2^1421847-1 is not prime. Res64: 69A0416A47DC7ACC Time : 0.0 sec. user=mdettweiler [2016-02-10 19:46:33] 871*2^1421847-1 is not prime. Res64: 2E610AAD0AE4EF99 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:46:35] 891*2^1421847-1 is not prime. Res64: 452F784F4D9549A1 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:46:36] 639*2^1421848-1 is not prime. Res64: 86E9379223C7643B Time : 0.0 sec. user=mdettweiler [2016-02-10 19:46:38] 657*2^1421848-1 is not prime. Res64: 23C14C3771A96E92 Time : 0.0 sec. user=mdettweiler [2016-02-10 19:46:38] 687*2^1421848-1 is not prime. Res64: 26801E17E01E2A3C Time : 0.0 sec. user=mdettweiler [2016-02-10 20:04:03] 631*2^1421849-1 is not prime. Res64: DA14BBC3E164A7A7 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:04:04] 769*2^1421849-1 is not prime. Res64: 7C21A05702824AC7 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:04:05] 841*2^1421849-1 is not prime. Res64: F3D30F95281F2A72 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:04:08] 939*2^1421849-1 is not prime. Res64: 0DB270CEF2631BE3 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:04:08] 909*2^1421849-1 is not prime. Res64: ADEE1BE84879CD7C Time : 0.0 sec. user=mdettweiler [2016-02-10 20:04:09] 997*2^1421849-1 is not prime. Res64: AFB874868D840460 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:21:49] 665*2^1421850-1 is not prime. Res64: E23686791107E587 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:21:50] 713*2^1421850-1 is not prime. Res64: 6A13C5BA13A459E4 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:21:51] 735*2^1421850-1 is not prime. Res64: B1586EA1309A2339 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:21:51] 821*2^1421850-1 is not prime. Res64: 04B71489207DCAE4 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:21:52] 851*2^1421850-1 is not prime. Res64: 628C0050D3B97E51 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:21:52] 885*2^1421850-1 is not prime. Res64: B453113767A44E79 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:39:19] 619*2^1421851-1 is not prime. Res64: 48E86E48E8A523B4 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:39:19] 675*2^1421851-1 is not prime. Res64: D288E82616255A00 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:39:19] 649*2^1421851-1 is not prime. Res64: C785AA571EA6FFCD Time : 0.0 sec. user=mdettweiler [2016-02-10 20:39:20] 733*2^1421851-1 is not prime. Res64: 5F3C6D61DCD58820 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:39:20] 685*2^1421851-1 is not prime. Res64: 0F4E1D08BE31839C Time : 0.0 sec. user=mdettweiler [2016-02-10 20:39:20] 759*2^1421851-1 is not prime. Res64: 241413936CA82276 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:56:48] 889*2^1421851-1 is not prime. Res64: B95AB8E49BF4F662 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:56:48] 609*2^1421852-1 is not prime. Res64: 97487433F7CA7CE2 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:56:48] 771*2^1421851-1 is not prime. Res64: D52233C470124211 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:56:48] 843*2^1421851-1 is not prime. Res64: 317E67816ABE9A41 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:56:49] 805*2^1421851-1 is not prime. Res64: 6C2BED594F085140 Time : 0.0 sec. user=mdettweiler [2016-02-10 20:56:49] 861*2^1421851-1 is not prime. Res64: 67CC1E56D489B8C3 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:14:17] 755*2^1421852-1 is not prime. Res64: 02F273B199F50130 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:14:18] 675*2^1421852-1 is not prime. Res64: 78F48C0F015AC33F Time : 0.0 sec. user=mdettweiler [2016-02-10 21:14:18] 935*2^1421852-1 is not prime. Res64: CD90174884B82386 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:14:18] 753*2^1421852-1 is not prime. Res64: A764D8F6E58543A2 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:14:19] 957*2^1421852-1 is not prime. Res64: 67ABB87E4D17B28A Time : 0.0 sec. user=mdettweiler [2016-02-10 21:14:19] 977*2^1421852-1 is not prime. Res64: 3369D49B6F069628 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:31:48] 679*2^1421853-1 is not prime. Res64: DA0CD65FC44CD733 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:31:48] 895*2^1421853-1 is not prime. Res64: BA6BCD47F0DF42F4 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:31:48] 837*2^1421853-1 is not prime. Res64: ECC292A8CE724F41 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:31:49] 921*2^1421853-1 is not prime. Res64: 531B6B14E67E80BC Time : 0.0 sec. user=mdettweiler [2016-02-10 21:31:52] 949*2^1421853-1 is not prime. Res64: 5E7E726C5AA0FB31 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:31:53] 969*2^1421853-1 is not prime. Res64: F4DF652B28EC8569 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:49:20] 987*2^1421854-1 is not prime. Res64: F125DB858981805E Time : 0.0 sec. user=mdettweiler [2016-02-10 21:49:20] 601*2^1421855-1 is not prime. Res64: C954680F4FDC5887 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:49:23] 657*2^1421854-1 is not prime. Res64: 7C1AC8008E81D3D2 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:49:23] 705*2^1421854-1 is not prime. Res64: C16DC38A9185C03C Time : 0.0 sec. user=mdettweiler [2016-02-10 21:49:25] 909*2^1421855-1 is not prime. Res64: 4311C3873D8227C8 Time : 0.0 sec. user=mdettweiler [2016-02-10 21:49:26] 915*2^1421855-1 is not prime. Res64: 220A8A5A8BED3FAC Time : 0.0 sec. user=mdettweiler [2016-02-10 22:06:49] 963*2^1421855-1 is not prime. Res64: 12092A4444BC9A1A Time : 0.0 sec. user=mdettweiler [2016-02-10 22:06:50] 981*2^1421855-1 is not prime. Res64: 22C85EC600E28BE0 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:06:51] 969*2^1421855-1 is not prime. Res64: BBE7D84C04F2AE09 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:06:51] 999*2^1421855-1 is not prime. Res64: 54BBB4C2B4173CCB Time : 0.0 sec. user=mdettweiler [2016-02-10 22:06:53] 693*2^1421856-1 is not prime. Res64: 4D5AA7FFB305833C Time : 0.0 sec. user=mdettweiler [2016-02-10 22:06:55] 735*2^1421856-1 is not prime. Res64: 34CE892FEFBC4910 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:24:26] 845*2^1421856-1 is not prime. Res64: F54CB6DE0B1D6113 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:24:27] 849*2^1421856-1 is not prime. Res64: D4EB911EB43AE2A1 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:24:27] 803*2^1421856-1 is not prime. Res64: 9FF3C25B173785FF Time : 0.0 sec. user=mdettweiler [2016-02-10 22:24:27] 843*2^1421856-1 is not prime. Res64: 658A6AA6B50DB4BB Time : 0.0 sec. user=mdettweiler [2016-02-10 22:24:27] 759*2^1421856-1 is not prime. Res64: 7BE374E884549F2C Time : 0.0 sec. user=mdettweiler [2016-02-10 22:24:28] 767*2^1421856-1 is not prime. Res64: F84772FCC65D6FD1 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:41:55] 819*2^1421857-1 is not prime. Res64: 73B5926BF5A44F99 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:41:55] 645*2^1421857-1 is not prime. Res64: DA1767288D4B9D7E Time : 0.0 sec. user=mdettweiler [2016-02-10 22:41:55] 849*2^1421857-1 is not prime. Res64: F90674D772EFBF58 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:41:56] 667*2^1421857-1 is not prime. Res64: 40CBDDCEEDF8AF30 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:41:56] 861*2^1421857-1 is not prime. Res64: 7743ACD3A43EAE4B Time : 0.0 sec. user=mdettweiler [2016-02-10 22:41:57] 915*2^1421857-1 is not prime. Res64: 5E27411C020C6C29 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:59:24] 815*2^1421858-1 is not prime. Res64: F830BD5C659FA660 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:59:25] 867*2^1421858-1 is not prime. Res64: 4E5DA6E88A551C3E Time : 0.0 sec. user=mdettweiler [2016-02-10 22:59:26] 705*2^1421859-1 is not prime. Res64: A06248A9BDC8517A Time : 0.0 sec. user=mdettweiler [2016-02-10 22:59:27] 723*2^1421859-1 is not prime. Res64: 0D5D7D3BCCD92DE5 Time : 0.0 sec. user=mdettweiler [2016-02-10 22:59:29] 1001*2^1421858-1 is not prime. Res64: 145877949F26F93B Time : 0.0 sec. user=mdettweiler [2016-02-10 22:59:29] 675*2^1421859-1 is not prime. Res64: BFA19A1CA5B7F85C Time : 0.0 sec. user=mdettweiler [2016-02-10 23:16:54] 741*2^1421859-1 is not prime. Res64: 1E0936716676C531 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:16:55] 919*2^1421859-1 is not prime. Res64: 2FD4637CE4894561 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:16:56] 921*2^1421859-1 is not prime. Res64: BEE5C5B48C2A325D Time : 0.0 sec. user=mdettweiler [2016-02-10 23:16:57] 635*2^1421860-1 is not prime. Res64: 80DCDE5CE284E942 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:17:00] 887*2^1421860-1 is not prime. Res64: 4D72F35ACAF8237B Time : 0.0 sec. user=mdettweiler [2016-02-10 23:17:00] 929*2^1421860-1 is not prime. Res64: 5DDE207F0DF9F8B4 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:34:26] 631*2^1421861-1 is not prime. Res64: 67FF40F3DD022FFE Time : 0.0 sec. user=mdettweiler [2016-02-10 23:34:26] 957*2^1421860-1 is not prime. Res64: 1BDA3DA8BC1CD5EE Time : 0.0 sec. user=mdettweiler [2016-02-10 23:34:26] 711*2^1421861-1 is not prime. Res64: 28F52A500EAD766A Time : 0.0 sec. user=mdettweiler [2016-02-10 23:34:26] 619*2^1421861-1 is not prime. Res64: 4FEF9A88D4E0873C Time : 0.0 sec. user=mdettweiler [2016-02-10 23:34:29] 717*2^1421861-1 is not prime. Res64: A63AEF6465706669 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:34:29] 727*2^1421861-1 is not prime. Res64: 5F1A5CD16F71080F Time : 0.0 sec. user=mdettweiler [2016-02-10 23:51:55] 747*2^1421861-1 is not prime. Res64: B54BEBBFB618826A Time : 0.0 sec. user=mdettweiler [2016-02-10 23:51:56] 889*2^1421861-1 is not prime. Res64: 5E52D63AFB7AD4A3 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:51:59] 693*2^1421862-1 is not prime. Res64: 74A8A21DF8A41694 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:51:59] 713*2^1421862-1 is not prime. Res64: 87D32E43AACEFFA8 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:52:01] 979*2^1421861-1 is not prime. Res64: 285DDCAE7338DF38 Time : 0.0 sec. user=mdettweiler [2016-02-10 23:52:01] 981*2^1421861-1 is not prime. Res64: 6FD95371226A2DEF Time : 0.0 sec.