user=mdettweiler [2015-08-19 00:06:48] 987*2^1406830-1 is not prime. Res64: C964FC5C99DA24DD Time : 0.0 sec. user=mdettweiler [2015-08-19 00:06:51] 629*2^1406832-1 is not prime. Res64: F965186ABFEC44C8 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:07:48] 887*2^1406832-1 is not prime. Res64: 76C6C9A00A6F74C1 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:07:51] 903*2^1406832-1 is not prime. Res64: 72469F435BEFF8C8 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:18:00] 917*2^1406832-1 is not prime. Res64: 90FB33CDA38722DB Time : 0.0 sec. user=mdettweiler [2015-08-19 00:18:00] 765*2^1406833-1 is not prime. Res64: 6D8E46C99D5917CB Time : 0.0 sec. user=mdettweiler [2015-08-19 00:18:34] 801*2^1406833-1 is not prime. Res64: 6808F3BD0DE93660 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:18:34] 831*2^1406833-1 is not prime. Res64: 9E3407D119495C26 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:24:32] 955*2^1406833-1 is not prime. Res64: E29905BBD3AC068E Time : 0.0 sec. user=mdettweiler [2015-08-19 00:24:32] 623*2^1406834-1 is not prime. Res64: 0EF58DDFCF8A9BE5 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:25:26] 657*2^1406834-1 is not prime. Res64: CB8D76006E10F03A Time : 0.0 sec. user=mdettweiler [2015-08-19 00:25:26] 717*2^1406834-1 is not prime. Res64: C2E8D0E60C3DC74D Time : 0.0 sec. user=mdettweiler [2015-08-19 00:36:00] 753*2^1406834-1 is not prime. Res64: 9FE5948F0E4706FE Time : 0.0 sec. user=mdettweiler [2015-08-19 00:36:00] 825*2^1406834-1 is not prime. Res64: EE78729483BF7A58 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:36:10] 837*2^1406834-1 is not prime. Res64: F7A27266B4BFB9E1 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:36:11] 983*2^1406834-1 is not prime. Res64: 21B66C953E8484A7 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:42:15] 741*2^1406835-1 is not prime. Res64: 263D7957599AE465 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:42:16] 793*2^1406835-1 is not prime. Res64: 4AC631744B2665ED Time : 0.0 sec. user=mdettweiler [2015-08-19 00:43:08] 795*2^1406835-1 is not prime. Res64: B0792C593AD7B36A Time : 0.0 sec. user=mdettweiler [2015-08-19 00:43:08] 853*2^1406835-1 is not prime. Res64: 7CC40251A5DE4FFE Time : 0.0 sec. user=mdettweiler [2015-08-19 00:53:36] 639*2^1406836-1 is not prime. Res64: A5791A3AF5D11C8C Time : 0.0 sec. user=mdettweiler [2015-08-19 00:53:37] 657*2^1406836-1 is not prime. Res64: A16CEE8E94F94E91 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:53:54] 689*2^1406836-1 is not prime. Res64: FCF6AFA23C3E457B Time : 0.0 sec. user=mdettweiler [2015-08-19 00:53:54] 699*2^1406836-1 is not prime. Res64: E594E371D1ACF324 Time : 0.0 sec. user=mdettweiler [2015-08-19 00:59:50] 707*2^1406836-1 is not prime. Res64: 1D9A908328ABABDB Time : 0.0 sec. user=mdettweiler [2015-08-19 00:59:50] 743*2^1406836-1 is not prime. Res64: 39A8268F2D0BA4A7 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:00:44] 749*2^1406836-1 is not prime. Res64: F28D8D4817044430 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:00:45] 905*2^1406836-1 is not prime. Res64: 5ADF8064D27CE865 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:11:12] 795*2^1406837-1 is not prime. Res64: B51EC9DFB80C33B3 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:11:13] 801*2^1406837-1 is not prime. Res64: F187687C1DFA1D31 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:11:26] 805*2^1406837-1 is not prime. Res64: 92ADCB0C9C39503F Time : 0.0 sec. user=mdettweiler [2015-08-19 01:11:26] 819*2^1406837-1 is not prime. Res64: 761514558C6434C9 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:17:26] 825*2^1406837-1 is not prime. Res64: FCB75DCAC54026AF Time : 0.0 sec. user=mdettweiler [2015-08-19 01:17:27] 829*2^1406837-1 is not prime. Res64: 781968D5A4EEAD85 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:18:21] 635*2^1406838-1 is not prime. Res64: 12C7C3042EF6C7E2 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:18:22] 663*2^1406838-1 is not prime. Res64: 1ABF1EE421E49B91 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:28:50] 683*2^1406838-1 is not prime. Res64: 995835C47BEB3349 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:28:51] 737*2^1406838-1 is not prime. Res64: 3C644E0957A0BF60 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:29:09] 755*2^1406838-1 is not prime. Res64: E827456A0C3F3629 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:29:10] 825*2^1406838-1 is not prime. Res64: 1F8FA6E303EAD364 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:35:02] 885*2^1406838-1 is not prime. Res64: DF870740F796FA40 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:35:03] 893*2^1406838-1 is not prime. Res64: A9324C72786725A0 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:35:56] 993*2^1406838-1 is not prime. Res64: 5B28A89C0B9F2F09 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:35:56] 601*2^1406841-1 is not prime. Res64: A0EF732D94541C79 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:46:24] 609*2^1406841-1 is not prime. Res64: 75906C0242F76B23 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:46:24] 627*2^1406841-1 is not prime. Res64: 7AD518CD5FDB6B69 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:46:48] 649*2^1406841-1 is not prime. Res64: CBB28DFE02C76E88 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:46:49] 727*2^1406841-1 is not prime. Res64: 60A8105419772870 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:52:56] 747*2^1406841-1 is not prime. Res64: EAA65B0A5A7C0400 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:52:56] 837*2^1406841-1 is not prime. Res64: 67E6AB45F9BF6D04 Time : 0.0 sec. user=mdettweiler [2015-08-19 01:53:41] 979*2^1406841-1 is not prime. Res64: C7B3D59B08B6795C Time : 0.0 sec. user=mdettweiler [2015-08-19 01:53:42] 611*2^1406842-1 is not prime. Res64: 5D715D6AB097E4C5 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:04:42] 717*2^1406842-1 is not prime. Res64: 6EA02A090EBAF455 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:04:43] 723*2^1406842-1 is not prime. Res64: 6BFD16042BDAF7AD Time : 0.0 sec. user=mdettweiler [2015-08-19 02:04:56] 885*2^1406842-1 is not prime. Res64: 9A4C5F3E59EA4710 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:04:57] 911*2^1406842-1 is not prime. Res64: F217D25F0389E646 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:11:09] 603*2^1406843-1 is not prime. Res64: B06EA18EDD788009 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:11:10] 663*2^1406843-1 is not prime. Res64: ABA0F2E7D67F992E Time : 0.0 sec. user=mdettweiler [2015-08-19 02:12:17] 669*2^1406843-1 is not prime. Res64: EF5655E876C9EBEC Time : 0.0 sec. user=mdettweiler [2015-08-19 02:12:17] 685*2^1406843-1 is not prime. Res64: EEBF959F125F46A8 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:23:11] 871*2^1406843-1 is not prime. Res64: 25A1DA6F95BB78B3 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:23:11] 945*2^1406843-1 is not prime. Res64: 0C8ADE3702E21EA1 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:23:30] 753*2^1406843-1 is not prime. Res64: F53576ADA1B622A1 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:23:30] 859*2^1406843-1 is not prime. Res64: 26F896E6A2081C31 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:29:12] 973*2^1406843-1 is not prime. Res64: B874E0819FE58CCB Time : 0.0 sec. user=mdettweiler [2015-08-19 02:29:12] 635*2^1406844-1 is not prime. Res64: 7346D29172B84C95 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:30:26] 765*2^1406844-1 is not prime. Res64: 284AB7FB4FFB3A22 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:30:27] 773*2^1406844-1 is not prime. Res64: F6E00D396E56DC09 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:40:44] 795*2^1406844-1 is not prime. Res64: D65432FA2131D63F Time : 0.0 sec. user=mdettweiler [2015-08-19 02:40:45] 809*2^1406844-1 is not prime. Res64: B1C599E29A22D55E Time : 0.0 sec. user=mdettweiler [2015-08-19 02:41:01] 935*2^1406844-1 is not prime. Res64: FF589DA0F33E0B0E Time : 0.0 sec. user=mdettweiler [2015-08-19 02:41:01] 983*2^1406844-1 is not prime. Res64: 35322D1DB3F19BAC Time : 0.0 sec. user=mdettweiler [2015-08-19 02:46:56] 817*2^1406845-1 is not prime. Res64: A89ECF1DF5F41400 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:46:56] 847*2^1406845-1 is not prime. Res64: BD7B51A02EE2AFBE Time : 0.0 sec. user=mdettweiler [2015-08-19 02:48:06] 895*2^1406845-1 is not prime. Res64: 84F18D48D35803D1 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:48:07] 939*2^1406845-1 is not prime. Res64: A6941078E04977D7 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:58:24] 615*2^1406846-1 is not prime. Res64: 21CE0F188CA608FE Time : 0.0 sec. user=mdettweiler [2015-08-19 02:58:24] 635*2^1406846-1 is not prime. Res64: 204592A115366655 Time : 0.0 sec. user=mdettweiler [2015-08-19 02:58:37] 707*2^1406846-1 is not prime. Res64: 229255BC1C0EA1BC Time : 0.0 sec. user=mdettweiler [2015-08-19 02:58:38] 717*2^1406846-1 is not prime. Res64: 4803213A6438E950 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:04:30] 747*2^1406846-1 is not prime. Res64: 4A520E571846F441 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:04:32] 755*2^1406846-1 is not prime. Res64: CD4747D597873DB8 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:05:44] 843*2^1406846-1 is not prime. Res64: 633897539538FBF8 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:05:44] 875*2^1406846-1 is not prime. Res64: 9B1E77C3560C3527 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:16:18] 921*2^1406846-1 is not prime. Res64: 4061B77EEFEB0A08 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:16:19] 963*2^1406846-1 is not prime. Res64: 6A944FB591D039A6 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:16:34] 693*2^1406847-1 is not prime. Res64: 9A0B83F9C76B3A7F Time : 0.0 sec. user=mdettweiler [2015-08-19 03:16:34] 709*2^1406847-1 is not prime. Res64: 9AEE192789074B49 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:22:31] 859*2^1406847-1 is not prime. Res64: 78B4E1E4839B6F6F Time : 0.0 sec. user=mdettweiler [2015-08-19 03:22:32] 885*2^1406847-1 is not prime. Res64: 1800C7AD4CE588E7 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:23:38] 919*2^1406847-1 is not prime. Res64: CA953C6440432BF2 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:23:38] 945*2^1406847-1 is not prime. Res64: 3AF63CBAB6C40F82 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:33:58] 603*2^1406848-1 is not prime. Res64: 43A064628BCF8540 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:33:59] 705*2^1406848-1 is not prime. Res64: A4F80C033CD43399 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:34:16] 773*2^1406848-1 is not prime. Res64: DCB13275F7A8BC1A Time : 0.0 sec. user=mdettweiler [2015-08-19 03:34:17] 813*2^1406848-1 is not prime. Res64: B55218C11D42144F Time : 0.0 sec. user=mdettweiler [2015-08-19 03:40:04] 833*2^1406848-1 is not prime. Res64: 33B8B6229C1C7158 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:40:06] 843*2^1406848-1 is not prime. Res64: FDC20357DD5770E1 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:41:16] 845*2^1406848-1 is not prime. Res64: A30B10CC4054710A Time : 0.0 sec. user=mdettweiler [2015-08-19 03:41:17] 875*2^1406848-1 is not prime. Res64: F4EAACF2A8DD8161 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:51:47] 929*2^1406848-1 is not prime. Res64: 2AB0BE919DC5A227 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:51:47] 631*2^1406849-1 is not prime. Res64: A12FD4672A4E8C05 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:51:48] 959*2^1406848-1 is not prime. Res64: 55C26F37446F6FBB Time : 0.0 sec. user=mdettweiler [2015-08-19 03:51:48] 721*2^1406849-1 is not prime. Res64: 88D3DC572FF1BD71 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:57:35] 771*2^1406849-1 is not prime. Res64: F2242A7C8BCFE22D Time : 0.0 sec. user=mdettweiler [2015-08-19 03:57:36] 879*2^1406849-1 is not prime. Res64: B80499412E68C133 Time : 0.0 sec. user=mdettweiler [2015-08-19 03:58:57] 925*2^1406849-1 is not prime. Res64: D5457AD4A7B8594A Time : 0.0 sec. user=mdettweiler [2015-08-19 03:58:57] 987*2^1406849-1 is not prime. Res64: 0BEDEE336BB9B37F Time : 0.0 sec. user=mdettweiler [2015-08-19 04:09:22] 711*2^1406850-1 is not prime. Res64: 146564FCC2F3A5B7 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:09:25] 755*2^1406850-1 is not prime. Res64: 642FC4FE077EC1EE Time : 0.0 sec. user=mdettweiler [2015-08-19 04:09:29] 933*2^1406850-1 is not prime. Res64: 2641582D9B2C8759 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:15:16] 631*2^1406851-1 is not prime. Res64: EE7A14A577A17ED1 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:15:16] 673*2^1406851-1 is not prime. Res64: D2E641087B9CBDEE Time : 0.0 sec. user=mdettweiler [2015-08-19 04:16:35] 733*2^1406851-1 is not prime. Res64: 64180FFCDF1B9052 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:16:36] 751*2^1406851-1 is not prime. Res64: EEDE46D3F476FD35 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:29:24] 783*2^1406851-1 is not prime. Res64: 33617ED9237EDEC9 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:29:24] 811*2^1406851-1 is not prime. Res64: B132CCFC41894882 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:33:35] 855*2^1406851-1 is not prime. Res64: B956BF7455069477 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:33:35] 925*2^1406851-1 is not prime. Res64: 99723DA9592177E2 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:34:52] 939*2^1406851-1 is not prime. Res64: AAEE2C7F2A3078EB Time : 0.0 sec. user=mdettweiler [2015-08-19 04:34:52] 609*2^1406852-1 is not prime. Res64: E8E1845412CE2A22 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:47:10] 617*2^1406852-1 is not prime. Res64: EAC8C4D8E0F29AD0 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:47:10] 677*2^1406852-1 is not prime. Res64: A379FBE6F044825B Time : 0.0 sec. user=mdettweiler [2015-08-19 04:51:32] 693*2^1406852-1 is not prime. Res64: F7A5D5AE865CE5E3 Time : 0.0 sec. user=mdettweiler [2015-08-19 04:51:32] 735*2^1406852-1 is not prime. Res64: F0022839BA1DAB6C Time : 0.0 sec. user=mdettweiler [2015-08-19 04:52:50] 785*2^1406852-1 is not prime. Res64: 4BCBFEE31900899B Time : 0.0 sec. user=mdettweiler [2015-08-19 04:52:50] 813*2^1406852-1 is not prime. Res64: 941B3EBBC96C9BC7 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:05:01] 855*2^1406852-1 is not prime. Res64: DA9C0F9FEEE6F33F Time : 0.0 sec. user=mdettweiler [2015-08-19 05:05:02] 935*2^1406852-1 is not prime. Res64: B7845D9139F037DC Time : 0.0 sec. user=mdettweiler [2015-08-19 05:09:33] 977*2^1406852-1 is not prime. Res64: 2F29D0876CA444BB Time : 0.0 sec. user=mdettweiler [2015-08-19 05:09:34] 627*2^1406853-1 is not prime. Res64: 2E1B361180B5A587 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:10:44] 681*2^1406853-1 is not prime. Res64: 7D83A2FD8C3C08D2 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:10:44] 751*2^1406853-1 is not prime. Res64: 45206F6E6A072EFE Time : 0.0 sec. user=mdettweiler [2015-08-19 05:17:35] 713*2^1406850-1 is not prime. Res64: 2FCD5D39B23B6E10 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:23:09] 805*2^1406853-1 is not prime. Res64: B533609632B84908 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:23:09] 889*2^1406853-1 is not prime. Res64: 11344F553F2C5773 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:27:16] 921*2^1406853-1 is not prime. Res64: A1A0A6236F550007 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:27:17] 961*2^1406853-1 is not prime. Res64: B475FE69E0B7A0C7 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:28:26] 985*2^1406853-1 is not prime. Res64: 7AB28C67D38949F0 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:28:26] 991*2^1406853-1 is not prime. Res64: B62214739ABD2E31 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:35:14] 999*2^1406853-1 is not prime. Res64: 565CC9210FD30D36 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:35:15] 971*2^1406854-1 is not prime. Res64: B581BCFE0FC6A4FF Time : 0.0 sec. user=mdettweiler [2015-08-19 05:40:47] 675*2^1406855-1 is not prime. Res64: 51CEA53BBEF37402 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:40:47] 753*2^1406855-1 is not prime. Res64: 1E7244C8600DD235 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:44:50] 859*2^1406855-1 is not prime. Res64: 378F72C7A59C9AF3 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:44:50] 865*2^1406855-1 is not prime. Res64: C53253AE929456AC Time : 0.0 sec. user=mdettweiler [2015-08-19 05:46:03] 909*2^1406855-1 is not prime. Res64: DD38867C6EF067B9 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:46:04] 609*2^1406856-1 is not prime. Res64: F9B60D0BACE642E2 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:52:52] 633*2^1406856-1 is not prime. Res64: 02B0E22014FC865C Time : 0.0 sec. user=mdettweiler [2015-08-19 05:52:52] 735*2^1406856-1 is not prime. Res64: BA4FC09D6D454BF0 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:58:18] 661*2^1406857-1 is not prime. Res64: 0C43B47E434AB076 Time : 0.0 sec. user=mdettweiler [2015-08-19 05:58:19] 667*2^1406857-1 is not prime. Res64: 390E86AD940C6F81 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:02:22] 847*2^1406857-1 is not prime. Res64: 977B7B1F7F8A11D3 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:02:22] 603*2^1406858-1 is not prime. Res64: 4690E88B2008ACDE Time : 0.0 sec. user=mdettweiler [2015-08-19 06:03:38] 771*2^1406858-1 is not prime. Res64: D628AAAE9EF38710 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:03:39] 797*2^1406858-1 is not prime. Res64: 8337CC8E98C5BBCD Time : 0.0 sec. user=mdettweiler [2015-08-19 06:10:35] 813*2^1406858-1 is not prime. Res64: C0E76399BE4E4766 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:10:37] 815*2^1406858-1 is not prime. Res64: 6415D713717D3CAA Time : 0.0 sec. user=mdettweiler [2015-08-19 06:15:59] 885*2^1406858-1 is not prime. Res64: 937F2278E49BF89E Time : 0.0 sec. user=mdettweiler [2015-08-19 06:16:00] 613*2^1406859-1 is not prime. Res64: AE167539F2225EB3 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:20:01] 625*2^1406859-1 is not prime. Res64: F7E7598409DE3070 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:20:02] 721*2^1406859-1 is not prime. Res64: 98550AF826FF5704 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:21:14] 723*2^1406859-1 is not prime. Res64: B8760DB4F99D402E Time : 0.0 sec. user=mdettweiler [2015-08-19 06:21:14] 735*2^1406859-1 is not prime. Res64: 8C8198744CFDF95D Time : 0.0 sec. user=mdettweiler [2015-08-19 06:28:30] 751*2^1406859-1 is not prime. Res64: C80C1E37C66B5414 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:28:30] 795*2^1406859-1 is not prime. Res64: 5C8BB91EEC9C0DA3 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:33:43] 801*2^1406859-1 is not prime. Res64: 79F9585F332C4FDC Time : 0.0 sec. user=mdettweiler [2015-08-19 06:33:43] 823*2^1406859-1 is not prime. Res64: A0A39991550CB7AD Time : 0.0 sec. user=mdettweiler [2015-08-19 06:37:36] 985*2^1406859-1 is not prime. Res64: 57488DB911C07040 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:37:36] 827*2^1406860-1 is not prime. Res64: A42934EC464AD299 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:39:33] 983*2^1406860-1 is not prime. Res64: 67C3275512E001F1 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:39:34] 741*2^1406861-1 is not prime. Res64: A25CD034B933CDDD Time : 0.0 sec. user=mdettweiler [2015-08-19 06:46:14] 747*2^1406861-1 is not prime. Res64: BF9602D195303424 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:46:14] 829*2^1406861-1 is not prime. Res64: 282CA82E3FEC24B3 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:51:23] 879*2^1406861-1 is not prime. Res64: 982E22AFE95EC7BC Time : 0.0 sec. user=mdettweiler [2015-08-19 06:51:24] 945*2^1406861-1 is not prime. Res64: 5DA266103BF78624 Time : 0.0 sec. user=mdettweiler [2015-08-19 06:55:22] 621*2^1406862-1 is not prime. Res64: A842EF9E766B6ADA Time : 0.0 sec. user=mdettweiler [2015-08-19 06:55:22] 635*2^1406862-1 is not prime. Res64: DA048AB7B88BF79B Time : 0.0 sec. user=mdettweiler [2015-08-19 06:57:10] 717*2^1406862-1 is not prime. Res64: 5E2A3564BBDE8EDD Time : 0.0 sec. user=mdettweiler [2015-08-19 06:57:10] 737*2^1406862-1 is not prime. Res64: D1FFA61F42520438 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:03:49] 755*2^1406862-1 is not prime. Res64: 6F7DC028DEEBE25F Time : 0.0 sec. user=mdettweiler [2015-08-19 07:03:50] 821*2^1406862-1 is not prime. Res64: 1C8D01219DE7636F Time : 0.0 sec. user=mdettweiler [2015-08-19 07:08:56] 947*2^1406862-1 is not prime. Res64: 3C5ACF6FA36958E6 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:08:56] 963*2^1406862-1 is not prime. Res64: C2442FDD68B55B1A Time : 0.0 sec. user=mdettweiler [2015-08-19 07:12:59] 705*2^1406863-1 is not prime. Res64: F8835E45069C91A1 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:12:59] 723*2^1406863-1 is not prime. Res64: DBB4C6A665881EC1 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:14:46] 769*2^1406863-1 is not prime. Res64: 71F66A4DAA7AEB18 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:14:46] 805*2^1406863-1 is not prime. Res64: 42319D670681D73F Time : 0.0 sec. user=mdettweiler [2015-08-19 07:21:26] 873*2^1406863-1 is not prime. Res64: CC42E4B4DA4FF6A6 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:21:27] 915*2^1406863-1 is not prime. Res64: FDF03CB364A86638 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:26:39] 635*2^1406864-1 is not prime. Res64: ECEA45F967BF9BED Time : 0.0 sec. user=mdettweiler [2015-08-19 07:26:39] 869*2^1406864-1 is not prime. Res64: 4494BC5E94BA870A Time : 0.0 sec. user=mdettweiler [2015-08-19 07:30:40] 873*2^1406864-1 is not prime. Res64: D925E5893A2EA40E Time : 0.0 sec. user=mdettweiler [2015-08-19 07:30:40] 711*2^1406865-1 is not prime. Res64: 27BBDF9AE5F5E790 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:32:24] 811*2^1406865-1 is not prime. Res64: AC620D654B0C2ED3 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:32:24] 895*2^1406865-1 is not prime. Res64: E1B53834D4A70E81 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:39:18] 937*2^1406865-1 is not prime. Res64: 8573695F6673AAB9 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:39:19] 755*2^1406866-1 is not prime. Res64: 6A099E5316B57ADA Time : 0.0 sec. user=mdettweiler [2015-08-19 07:44:53] 773*2^1406866-1 is not prime. Res64: 994F310222C1818B Time : 0.0 sec. user=mdettweiler [2015-08-19 07:44:53] 855*2^1406866-1 is not prime. Res64: 08C1B864A4394A86 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:48:46] 857*2^1406866-1 is not prime. Res64: B9A45481089BB980 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:48:46] 603*2^1406867-1 is not prime. Res64: 40E0FBC9C282FBC5 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:50:27] 861*2^1406867-1 is not prime. Res64: 71A118972D187CE3 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:50:27] 949*2^1406867-1 is not prime. Res64: BCB275D03523DF13 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:57:12] 629*2^1406868-1 is not prime. Res64: 99C8C9204A38C050 Time : 0.0 sec. user=mdettweiler [2015-08-19 07:57:12] 669*2^1406868-1 is not prime. Res64: 3ED6343AA89477BB Time : 0.0 sec. user=mdettweiler [2015-08-19 08:02:27] 735*2^1406868-1 is not prime. Res64: 803D08E794DC9B82 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:02:28] 765*2^1406868-1 is not prime. Res64: 1D6759FDC619538A Time : 0.0 sec. user=mdettweiler [2015-08-19 08:06:23] 797*2^1406868-1 is not prime. Res64: BE00CDF667948FCB Time : 0.0 sec. user=mdettweiler [2015-08-19 08:06:24] 927*2^1406868-1 is not prime. Res64: BECB616D398D9E16 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:08:01] 929*2^1406868-1 is not prime. Res64: 3660EBAE7D0EB3A0 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:08:01] 945*2^1406868-1 is not prime. Res64: AD65800D57A50C60 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:14:50] 975*2^1406868-1 is not prime. Res64: BFA3D5E143301C04 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:14:51] 615*2^1406869-1 is not prime. Res64: FFC76D28CD74CF99 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:20:07] 625*2^1406869-1 is not prime. Res64: FA16CF5C14E3B6AF Time : 0.0 sec. user=mdettweiler [2015-08-19 08:20:08] 675*2^1406869-1 is not prime. Res64: D145F0A3E784C1A3 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:24:06] 685*2^1406869-1 is not prime. Res64: 6DED0DB673801404 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:24:07] 687*2^1406869-1 is not prime. Res64: FAA15ED865A22930 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:25:41] 745*2^1406869-1 is not prime. Res64: B962ED239FEF834B Time : 0.0 sec. user=mdettweiler [2015-08-19 08:25:42] 829*2^1406869-1 is not prime. Res64: 39CE227A2BD6C383 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:32:27] 885*2^1406869-1 is not prime. Res64: F2A113DAC10EE543 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:32:28] 987*2^1406869-1 is not prime. Res64: D76F640D9F314C18 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:37:47] 605*2^1406870-1 is not prime. Res64: EC6A3F7BCFD6E613 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:37:47] 641*2^1406870-1 is not prime. Res64: 35CB81C3C0ABCB50 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:41:41] 797*2^1406870-1 is not prime. Res64: DCC3DD3051CD1080 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:41:41] 911*2^1406870-1 is not prime. Res64: A27BAA2C84DB1DB7 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:43:16] 639*2^1406871-1 is not prime. Res64: 5E0E20794B0AA8F6 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:43:17] 651*2^1406871-1 is not prime. Res64: F6979F68E3C105D1 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:50:15] 789*2^1406871-1 is not prime. Res64: 6C9566782C7A59A1 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:50:15] 819*2^1406871-1 is not prime. Res64: BBA1A1335CF74DA3 Time : 0.0 sec. user=mdettweiler [2015-08-19 08:57:24] 895*2^1406871-1 is not prime. Res64: 46962F1EABB9F75D Time : 0.0 sec. user=mdettweiler [2015-08-19 08:57:24] 991*2^1406871-1 is not prime. Res64: 4A815FDA61FF5A11 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:02:09] 603*2^1406872-1 is not prime. Res64: 402CF0CDEBA36136 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:02:10] 635*2^1406872-1 is not prime. Res64: 8197DA71F7C50DA1 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:04:07] 677*2^1406872-1 is not prime. Res64: E7DD0EC199414C40 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:04:09] 755*2^1406872-1 is not prime. Res64: DA4E90AD5834EEFB Time : 0.0 sec. user=mdettweiler [2015-08-19 09:11:41] 819*2^1406872-1 is not prime. Res64: 53D26075BC14B2BD Time : 0.0 sec. user=mdettweiler [2015-08-19 09:11:42] 957*2^1406872-1 is not prime. Res64: 1588C7D9EE5492F1 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:17:46] 965*2^1406872-1 is not prime. Res64: 3008601C5AD8446B Time : 0.0 sec. user=mdettweiler [2015-08-19 09:17:46] 627*2^1406873-1 is not prime. Res64: 800C6F02FB141CE9 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:22:08] 649*2^1406873-1 is not prime. Res64: 37644AA228051DCA Time : 0.0 sec. user=mdettweiler [2015-08-19 09:22:08] 651*2^1406873-1 is not prime. Res64: 8A26DA53964B782A Time : 0.0 sec. user=mdettweiler [2015-08-19 09:23:32] 675*2^1406873-1 is not prime. Res64: AC26DA5A43EA6F48 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:23:32] 697*2^1406873-1 is not prime. Res64: CF2A7505873006D9 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:30:30] 889*2^1406873-1 is not prime. Res64: 4E6C2C366017FDAB Time : 0.0 sec. user=mdettweiler [2015-08-19 09:30:30] 969*2^1406873-1 is not prime. Res64: 38CE4770CBDFB6DC Time : 0.0 sec. user=mdettweiler [2015-08-19 09:36:17] 671*2^1406874-1 is not prime. Res64: FE5591FAF78D2B82 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:36:17] 741*2^1406874-1 is not prime. Res64: 450D9E66D005FD68 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:40:28] 917*2^1406874-1 is not prime. Res64: B6C275716FDE0CE6 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:40:28] 945*2^1406874-1 is not prime. Res64: 8E811040A3842572 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:41:58] 639*2^1406875-1 is not prime. Res64: 0A17898C9D0C9E45 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:41:58] 841*2^1406875-1 is not prime. Res64: 7C21CCEF87FDE52B Time : 0.0 sec. user=mdettweiler [2015-08-19 09:48:52] 871*2^1406875-1 is not prime. Res64: 91F2DF2B4DA8DA4D Time : 0.0 sec. user=mdettweiler [2015-08-19 09:48:53] 677*2^1406876-1 is not prime. Res64: FF48890CF34E0388 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:54:31] 869*2^1406876-1 is not prime. Res64: 8F89E68EA2F31365 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:54:32] 897*2^1406876-1 is not prime. Res64: CC881D7FC147BD43 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:58:43] 953*2^1406876-1 is not prime. Res64: A009801D71EA7A04 Time : 0.0 sec. user=mdettweiler [2015-08-19 09:58:43] 727*2^1406877-1 is not prime. Res64: 711842AAF248E2DD Time : 0.0 sec. user=mdettweiler [2015-08-19 10:00:08] 741*2^1406877-1 is not prime. Res64: 826B58D2D82B825F Time : 0.0 sec. user=mdettweiler [2015-08-19 10:00:09] 747*2^1406877-1 is not prime. Res64: F54C45A1DF7174C7 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:06:42] 759*2^1406877-1 is not prime. Res64: 53D4E662D1498139 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:06:42] 781*2^1406877-1 is not prime. Res64: 1CE4E28E1F52AE91 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:12:12] 961*2^1406877-1 is not prime. Res64: EF85A403BE793DFC Time : 0.0 sec. user=mdettweiler [2015-08-19 10:12:12] 999*2^1406877-1 is not prime. Res64: 38A8DCECC6E93F2A Time : 0.0 sec. user=mdettweiler [2015-08-19 10:16:20] 681*2^1406878-1 is not prime. Res64: 6AD6930E17A32937 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:16:20] 777*2^1406878-1 is not prime. Res64: C16100912D4C3397 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:17:54] 813*2^1406878-1 is not prime. Res64: D017B13A2CAD0E4F Time : 0.0 sec. user=mdettweiler [2015-08-19 10:17:55] 881*2^1406878-1 is not prime. Res64: C85A1C53D1B9964E Time : 0.0 sec. user=mdettweiler [2015-08-19 10:24:31] 945*2^1406878-1 is not prime. Res64: 2B6CC9F61587EDE1 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:24:32] 823*2^1406879-1 is not prime. Res64: EC52013041C7CADD Time : 0.0 sec. user=mdettweiler [2015-08-19 10:30:02] 635*2^1406880-1 is not prime. Res64: 80E2B9EEFC6097D3 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:30:03] 675*2^1406880-1 is not prime. Res64: E442BB73B9EE4DD9 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:33:58] 767*2^1406880-1 is not prime. Res64: BF46C4FAFEF75123 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:33:59] 843*2^1406880-1 is not prime. Res64: ED62AB8B47A2DBDB Time : 0.0 sec. user=mdettweiler [2015-08-19 10:35:36] 863*2^1406880-1 is not prime. Res64: 02F837877751525B Time : 0.0 sec. user=mdettweiler [2015-08-19 10:35:37] 619*2^1406881-1 is not prime. Res64: 63810F006BA575FD Time : 0.0 sec. user=mdettweiler [2015-08-19 10:42:16] 799*2^1406881-1 is not prime. Res64: EE5576CD08F45340 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:42:16] 807*2^1406881-1 is not prime. Res64: E31C76245177C0BA Time : 0.0 sec. user=mdettweiler [2015-08-19 10:47:35] 811*2^1406881-1 is not prime. Res64: F541610D284AECFE Time : 0.0 sec. user=mdettweiler [2015-08-19 10:47:36] 867*2^1406881-1 is not prime. Res64: 160D003B25E4A5D8 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:51:35] 931*2^1406881-1 is not prime. Res64: 3DFF2AF196C35CEA Time : 0.0 sec. user=mdettweiler [2015-08-19 10:51:36] 617*2^1406882-1 is not prime. Res64: C09411A1EE8511B2 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:53:15] 683*2^1406882-1 is not prime. Res64: 751A2A08CB3B656D Time : 0.0 sec. user=mdettweiler [2015-08-19 10:53:15] 995*2^1406882-1 is not prime. Res64: 67EF4FC3D75157A5 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:59:58] 663*2^1406883-1 is not prime. Res64: C42BE97372754D29 Time : 0.0 sec. user=mdettweiler [2015-08-19 10:59:59] 669*2^1406883-1 is not prime. Res64: AFB07900DD637719 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:05:13] 691*2^1406883-1 is not prime. Res64: 9591BB3CBB56D6EA Time : 0.0 sec. user=mdettweiler [2015-08-19 11:05:15] 775*2^1406883-1 is not prime. Res64: F8B2942BD8EE51DC Time : 0.0 sec. user=mdettweiler [2015-08-19 11:09:13] 801*2^1406883-1 is not prime. Res64: A637A3856B3127E1 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:09:14] 835*2^1406883-1 is not prime. Res64: 2024996586D96542 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:10:55] 879*2^1406883-1 is not prime. Res64: 0B32F2DAB164390E Time : 0.0 sec. user=mdettweiler [2015-08-19 11:10:56] 949*2^1406883-1 is not prime. Res64: 681870E143B6477A Time : 0.0 sec. user=mdettweiler [2015-08-19 11:17:39] 803*2^1406884-1 is not prime. Res64: 64FB350D37C458BF Time : 0.0 sec. user=mdettweiler [2015-08-19 11:17:40] 863*2^1406884-1 is not prime. Res64: B12945829121BEF8 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:23:24] 869*2^1406884-1 is not prime. Res64: DEABA59202A79DB1 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:23:24] 923*2^1406884-1 is not prime. Res64: D5CFEAAE62B5C268 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:27:07] 645*2^1406885-1 is not prime. Res64: 560102530E901959 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:27:08] 771*2^1406885-1 is not prime. Res64: 62B17857AC8C6615 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:28:35] 831*2^1406885-1 is not prime. Res64: 2E09FBCBBBE77CBE Time : 0.0 sec. user=mdettweiler [2015-08-19 11:28:36] 955*2^1406885-1 is not prime. Res64: 8E35AD370A96A887 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:35:19] 647*2^1406886-1 is not prime. Res64: 63ADB7FBC12DF398 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:35:20] 717*2^1406886-1 is not prime. Res64: 155DFC303452F0F5 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:41:02] 815*2^1406886-1 is not prime. Res64: 8BD54799B06E909D Time : 0.0 sec. user=mdettweiler [2015-08-19 11:41:02] 881*2^1406886-1 is not prime. Res64: 61F8384CCD0B655C Time : 0.0 sec. user=mdettweiler [2015-08-19 11:44:45] 933*2^1406886-1 is not prime. Res64: 9F408CC645A78ACC Time : 0.0 sec. user=mdettweiler [2015-08-19 11:44:45] 947*2^1406886-1 is not prime. Res64: 5D3AAB7FF85DF987 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:46:16] 693*2^1406887-1 is not prime. Res64: AC123CF624122539 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:46:17] 925*2^1406887-1 is not prime. Res64: 3565B4DFF690D50C Time : 0.0 sec. user=mdettweiler [2015-08-19 11:52:53] 657*2^1406888-1 is not prime. Res64: 050495B199E703FF Time : 0.0 sec. user=mdettweiler [2015-08-19 11:52:53] 665*2^1406888-1 is not prime. Res64: 805275E66760C9A2 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:58:36] 713*2^1406888-1 is not prime. Res64: E7E1C5B6F743A961 Time : 0.0 sec. user=mdettweiler [2015-08-19 11:58:36] 753*2^1406888-1 is not prime. Res64: 7837165C513EFA6D Time : 0.0 sec. user=mdettweiler [2015-08-19 12:02:22] 819*2^1406888-1 is not prime. Res64: F43F9ACBE62E975D Time : 0.0 sec. user=mdettweiler [2015-08-19 12:02:23] 875*2^1406888-1 is not prime. Res64: B9181E68A8D59A2B Time : 0.0 sec. user=mdettweiler [2015-08-19 12:04:05] 685*2^1406889-1 is not prime. Res64: 757AACEC6A2778AC Time : 0.0 sec. user=mdettweiler [2015-08-19 12:04:06] 765*2^1406889-1 is not prime. Res64: 6CC3EB74BEB1F92D Time : 0.0 sec. user=mdettweiler [2015-08-19 12:10:40] 867*2^1406889-1 is not prime. Res64: 18FA6BA1A3B75AA7 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:10:40] 665*2^1406890-1 is not prime. Res64: 840887F49E930A34 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:16:15] 701*2^1406890-1 is not prime. Res64: C7A8FCFC89253EDB Time : 0.0 sec. user=mdettweiler [2015-08-19 12:16:16] 707*2^1406890-1 is not prime. Res64: F1D7B588D29474CE Time : 0.0 sec. user=mdettweiler [2015-08-19 12:20:06] 723*2^1406890-1 is not prime. Res64: 66A71B3C9888DBC2 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:20:06] 791*2^1406890-1 is not prime. Res64: 0652630A394C6767 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:22:17] 801*2^1406890-1 is not prime. Res64: 67B2D36933312BD8 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:22:18] 827*2^1406890-1 is not prime. Res64: FF66B46471349EB9 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:28:31] 833*2^1406890-1 is not prime. Res64: 7FA266BECA8797B1 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:28:32] 887*2^1406890-1 is not prime. Res64: 4F3B1A9EB8296C71 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:33:54] 915*2^1406890-1 is not prime. Res64: D8940A102C737645 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:33:54] 941*2^1406890-1 is not prime. Res64: A771F8A437DB6057 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:37:56] 645*2^1406891-1 is not prime. Res64: 0F4FA032342F2E9F Time : 0.0 sec. user=mdettweiler [2015-08-19 12:37:57] 805*2^1406891-1 is not prime. Res64: 213B91C85AF0DFB4 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:40:13] 991*2^1406891-1 is not prime. Res64: A942F76088F28951 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:40:13] 993*2^1406891-1 is not prime. Res64: 1F44FF8A0F60A2B4 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:46:29] 627*2^1406892-1 is not prime. Res64: BFCCC8C1B9AEFD7F Time : 0.0 sec. user=mdettweiler [2015-08-19 12:46:29] 635*2^1406892-1 is not prime. Res64: FF20CD7F4C7186A2 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:51:52] 689*2^1406892-1 is not prime. Res64: 2ABA9B3EF4053815 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:51:52] 737*2^1406892-1 is not prime. Res64: 5C994B536CD19129 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:55:41] 779*2^1406892-1 is not prime. Res64: 860A991723A3F9F4 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:55:41] 875*2^1406892-1 is not prime. Res64: 58B3E1B1E83C2033 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:58:05] 903*2^1406892-1 is not prime. Res64: 96B38023CE4C2135 Time : 0.0 sec. user=mdettweiler [2015-08-19 12:58:05] 987*2^1406892-1 is not prime. Res64: BF159B013F0B9B23 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:04:19] 679*2^1406893-1 is not prime. Res64: CE4E1C8EB716DD55 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:04:21] 685*2^1406893-1 is not prime. Res64: 2DE2EFB7DB8C98A4 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:09:56] 757*2^1406893-1 is not prime. Res64: 209965E4B62457D0 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:09:57] 789*2^1406893-1 is not prime. Res64: DAB5DBB1E468A54C Time : 0.0 sec. user=mdettweiler [2015-08-19 13:13:50] 877*2^1406893-1 is not prime. Res64: A59640ED028A9979 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:13:50] 885*2^1406893-1 is not prime. Res64: 0D95B9C954EB27AD Time : 0.0 sec. user=mdettweiler [2015-08-19 13:16:04] 901*2^1406893-1 is not prime. Res64: 3FEECDA707BEC2D3 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:16:04] 671*2^1406894-1 is not prime. Res64: E6D788231B47C790 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:22:43] 741*2^1406894-1 is not prime. Res64: 1C4C81C9AA9A14FD Time : 0.0 sec. user=mdettweiler [2015-08-19 13:22:43] 791*2^1406894-1 is not prime. Res64: A0C7CCA78FD5DD94 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:28:02] 831*2^1406894-1 is not prime. Res64: 33E1B80016484BC5 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:28:03] 923*2^1406894-1 is not prime. Res64: 0C63DAB8FFB91538 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:32:00] 935*2^1406894-1 is not prime. Res64: B1B2CF40E3E1046E Time : 0.0 sec. user=mdettweiler [2015-08-19 13:32:01] 971*2^1406894-1 is not prime. Res64: EA6C1CCCA4DD84E5 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:34:11] 1001*2^1406894-1 is not prime. Res64: 4C9909E9B459E6D9 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:34:11] 775*2^1406895-1 is not prime. Res64: 3DD207D55A2C9443 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:40:37] 891*2^1406895-1 is not prime. Res64: 30C6819B80A69F41 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:40:37] 895*2^1406895-1 is not prime. Res64: 92BB28C1FB4182F3 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:45:53] 689*2^1406896-1 is not prime. Res64: E3A0B57011FB0116 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:45:53] 693*2^1406896-1 is not prime. Res64: 21424D151737E5E3 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:49:59] 735*2^1406896-1 is not prime. Res64: 3D83393F0969DE9D Time : 0.0 sec. user=mdettweiler [2015-08-19 13:49:59] 765*2^1406896-1 is not prime. Res64: EBA1531084AABDDC Time : 0.0 sec. user=mdettweiler [2015-08-19 13:52:15] 839*2^1406896-1 is not prime. Res64: F7753654FADD514C Time : 0.0 sec. user=mdettweiler [2015-08-19 13:52:15] 957*2^1406896-1 is not prime. Res64: BF370D9288B5AF57 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:58:49] 993*2^1406896-1 is not prime. Res64: 3A8A60C928391FB0 Time : 0.0 sec. user=mdettweiler [2015-08-19 13:58:49] 619*2^1406897-1 is not prime. Res64: A8970F5BB7CCD26B Time : 0.0 sec. user=mdettweiler [2015-08-19 14:03:59] 637*2^1406897-1 is not prime. Res64: A8CCFD5FA9F82476 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:04:00] 649*2^1406897-1 is not prime. Res64: BAA4407FFC6159B1 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:07:59] 795*2^1406897-1 is not prime. Res64: 4AC9E05A39B3635E Time : 0.0 sec. user=mdettweiler [2015-08-19 14:07:59] 931*2^1406897-1 is not prime. Res64: F2CE2106A1AB4EF4 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:10:10] 955*2^1406897-1 is not prime. Res64: 115F879CC193ADFD Time : 0.0 sec. user=mdettweiler [2015-08-19 14:10:10] 677*2^1406898-1 is not prime. Res64: 327D2860B4DF816A Time : 0.0 sec. user=mdettweiler [2015-08-19 14:16:41] 803*2^1406898-1 is not prime. Res64: CBF8DB661A13FEFD Time : 0.0 sec. user=mdettweiler [2015-08-19 14:16:41] 619*2^1406899-1 is not prime. Res64: 8943445FEA440403 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:22:01] 681*2^1406899-1 is not prime. Res64: 1E026EDD6F4089A9 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:22:01] 769*2^1406899-1 is not prime. Res64: 2A00211BF910A346 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:25:38] 801*2^1406899-1 is not prime. Res64: 34227448DB9CED51 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:25:38] 919*2^1406899-1 is not prime. Res64: 86ECBFA1C9CD5228 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:27:52] 973*2^1406899-1 is not prime. Res64: 54F123CB5CD022DA Time : 0.0 sec. user=mdettweiler [2015-08-19 14:27:53] 975*2^1406899-1 is not prime. Res64: 2A692EE31E25081F Time : 0.0 sec. user=mdettweiler [2015-08-19 14:34:20] 699*2^1406900-1 is not prime. Res64: 7E00E4C0CCAACF71 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:34:21] 725*2^1406900-1 is not prime. Res64: BF1E42D41F2309C3 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:39:44] 843*2^1406900-1 is not prime. Res64: DE93BB989345BA99 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:39:45] 959*2^1406900-1 is not prime. Res64: 90DFD9A7F4DC55CD Time : 0.0 sec. user=mdettweiler [2015-08-19 14:43:16] 963*2^1406900-1 is not prime. Res64: A3498063EE11462C Time : 0.0 sec. user=mdettweiler [2015-08-19 14:43:17] 669*2^1406901-1 is not prime. Res64: 9D923370A0178E97 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:45:32] 711*2^1406901-1 is not prime. Res64: 82E497664EE44777 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:45:33] 825*2^1406901-1 is not prime. Res64: 89600CCBB69829B6 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:52:00] 861*2^1406901-1 is not prime. Res64: 12B8BE64BB808EB1 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:52:00] 889*2^1406901-1 is not prime. Res64: D0332BEE32860ACC Time : 0.0 sec. user=mdettweiler [2015-08-19 14:57:24] 895*2^1406901-1 is not prime. Res64: 2342BD6BA52FD5E8 Time : 0.0 sec. user=mdettweiler [2015-08-19 14:57:24] 621*2^1406902-1 is not prime. Res64: EB4084F537966EA5 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:00:55] 623*2^1406902-1 is not prime. Res64: FDF5E1C109956E52 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:00:56] 647*2^1406902-1 is not prime. Res64: D9F7BCF5666BAAD8 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:03:14] 777*2^1406902-1 is not prime. Res64: 49093C7BFB23E4BE Time : 0.0 sec. user=mdettweiler [2015-08-19 15:03:15] 825*2^1406902-1 is not prime. Res64: D7F1FEB0C869A8FB Time : 0.0 sec. user=mdettweiler [2015-08-19 15:09:45] 831*2^1406902-1 is not prime. Res64: FC1987148F09FCD9 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:09:45] 915*2^1406902-1 is not prime. Res64: 322240DB8343F97C Time : 0.0 sec. user=mdettweiler [2015-08-19 15:15:00] 917*2^1406902-1 is not prime. Res64: 8D59530E5D1DB9B6 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:15:02] 923*2^1406902-1 is not prime. Res64: 8E3BD8350346C9C4 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:18:46] 965*2^1406902-1 is not prime. Res64: 8DE88B50B2456064 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:18:47] 609*2^1406903-1 is not prime. Res64: 55EF3078634B0D5D Time : 0.0 sec. user=mdettweiler [2015-08-19 15:20:53] 759*2^1406903-1 is not prime. Res64: 80150D3BBB48D90E Time : 0.0 sec. user=mdettweiler [2015-08-19 15:20:53] 783*2^1406903-1 is not prime. Res64: C05FCB498914EB64 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:27:25] 921*2^1406903-1 is not prime. Res64: BEFB6C2C24700419 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:27:25] 949*2^1406903-1 is not prime. Res64: C24AD9EBC18D7676 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:32:48] 985*2^1406903-1 is not prime. Res64: 370B1C984B27D72A Time : 0.0 sec. user=mdettweiler [2015-08-19 15:32:48] 629*2^1406904-1 is not prime. Res64: 639145515F197C75 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:36:20] 689*2^1406904-1 is not prime. Res64: C6EDB763E89C9DA8 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:36:20] 707*2^1406904-1 is not prime. Res64: D5CF9F5B527A0B5B Time : 0.0 sec. user=mdettweiler [2015-08-19 15:38:31] 737*2^1406904-1 is not prime. Res64: 532221250EA97D4B Time : 0.0 sec. user=mdettweiler [2015-08-19 15:38:32] 837*2^1406904-1 is not prime. Res64: E67C9AC9A0AAC558 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:45:05] 873*2^1406904-1 is not prime. Res64: 7E6D3BCF60528020 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:45:06] 607*2^1406905-1 is not prime. Res64: 463896CC925BF01A Time : 0.0 sec. user=mdettweiler [2015-08-19 15:50:20] 609*2^1406905-1 is not prime. Res64: 9C0BC10215D08448 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:50:20] 751*2^1406905-1 is not prime. Res64: F5D540F0BC35E533 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:53:58] 765*2^1406905-1 is not prime. Res64: 3B991DE9296C9516 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:53:58] 919*2^1406905-1 is not prime. Res64: 7AACED998C88F348 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:56:13] 657*2^1406906-1 is not prime. Res64: 959919AAE3CA9192 Time : 0.0 sec. user=mdettweiler [2015-08-19 15:56:13] 675*2^1406906-1 is not prime. Res64: 807F97448E136BE5 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:02:43] 713*2^1406906-1 is not prime. Res64: 6EBF37ADCC9F597C Time : 0.0 sec. user=mdettweiler [2015-08-19 16:02:44] 743*2^1406906-1 is not prime. Res64: 64E98F58F2E5FD4A Time : 0.0 sec. user=mdettweiler [2015-08-19 16:07:57] 867*2^1406906-1 is not prime. Res64: D6346D639B7A86BE Time : 0.0 sec. user=mdettweiler [2015-08-19 16:07:57] 887*2^1406906-1 is not prime. Res64: 9E01204E55637D6D Time : 0.0 sec. user=mdettweiler [2015-08-19 16:11:37] 917*2^1406906-1 is not prime. Res64: 5920EBBDE9724E1A Time : 0.0 sec. user=mdettweiler [2015-08-19 16:11:38] 923*2^1406906-1 is not prime. Res64: 90DDA7F5AD5AA4CB Time : 0.0 sec. user=mdettweiler [2015-08-19 16:13:59] 953*2^1406906-1 is not prime. Res64: 33DAF15763D6D86A Time : 0.0 sec. user=mdettweiler [2015-08-19 16:14:00] 601*2^1406907-1 is not prime. Res64: 39297367B3DF3B42 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:20:33] 651*2^1406907-1 is not prime. Res64: 40628CE19C2D096C Time : 0.0 sec. user=mdettweiler [2015-08-19 16:20:34] 685*2^1406907-1 is not prime. Res64: 9E9D4C32E9484725 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:25:35] 909*2^1406907-1 is not prime. Res64: 1F9F9341BBC41F2F Time : 0.0 sec. user=mdettweiler [2015-08-19 16:25:36] 973*2^1406907-1 is not prime. Res64: 2D1B85C8E2D35341 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:29:50] 975*2^1406907-1 is not prime. Res64: DFAE718C216B3981 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:29:51] 979*2^1406907-1 is not prime. Res64: 5DC8F0E2B7D52E0E Time : 0.0 sec. user=mdettweiler [2015-08-19 16:31:44] 735*2^1406908-1 is not prime. Res64: C1E78E74B685E042 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:31:44] 777*2^1406908-1 is not prime. Res64: 2711A161F1A0FF96 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:38:12] 797*2^1406908-1 is not prime. Res64: FF3AAD12EB40F36C Time : 0.0 sec. user=mdettweiler [2015-08-19 16:38:12] 899*2^1406908-1 is not prime. Res64: EE4A9408CAEFB574 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:43:17] 989*2^1406908-1 is not prime. Res64: D9B34C9BE3086A07 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:43:18] 655*2^1406909-1 is not prime. Res64: D26506876B2E0EB9 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:47:27] 675*2^1406909-1 is not prime. Res64: 3D33771FAF932A8D Time : 0.0 sec. user=mdettweiler [2015-08-19 16:47:27] 741*2^1406909-1 is not prime. Res64: BE3A9A86C35C165C Time : 0.0 sec. user=mdettweiler [2015-08-19 16:49:19] 867*2^1406909-1 is not prime. Res64: DA7FCD336CE4188D Time : 0.0 sec. user=mdettweiler [2015-08-19 16:49:19] 627*2^1406910-1 is not prime. Res64: 7805CAB6F1EBC76E Time : 0.0 sec. user=mdettweiler [2015-08-19 16:55:57] 641*2^1406910-1 is not prime. Res64: C5D3CB88974DF565 Time : 0.0 sec. user=mdettweiler [2015-08-19 16:55:58] 723*2^1406910-1 is not prime. Res64: 613009BA95471A06 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:00:56] 893*2^1406910-1 is not prime. Res64: E48CC27BCFE5637C Time : 0.0 sec. user=mdettweiler [2015-08-19 17:00:57] 917*2^1406910-1 is not prime. Res64: 943EB482DD4B929C Time : 0.0 sec. user=mdettweiler [2015-08-19 17:05:05] 601*2^1406911-1 is not prime. Res64: AD15E5A96AD00C1E Time : 0.0 sec. user=mdettweiler [2015-08-19 17:05:06] 651*2^1406911-1 is not prime. Res64: 0E934FEF2629DEF0 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:06:55] 681*2^1406911-1 is not prime. Res64: 232231A84669F921 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:06:55] 685*2^1406911-1 is not prime. Res64: 25F3E4C56C5A682D Time : 0.0 sec. user=S_K_ [2015-08-19 17:13:19] 783*2^1406910-1 is not prime. Res64: 2BC4678FE343F7AB Time : 0.0 sec. user=mdettweiler [2015-08-19 17:13:30] 693*2^1406911-1 is not prime. Res64: 4D1C00B391BBA3D9 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:13:30] 703*2^1406911-1 is not prime. Res64: F0F4310EE586218E Time : 0.0 sec. user=mdettweiler [2015-08-19 17:18:58] 793*2^1406911-1 is not prime. Res64: 607798D93863A100 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:18:59] 841*2^1406911-1 is not prime. Res64: 04EC6456C5963D63 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:22:45] 861*2^1406911-1 is not prime. Res64: FCF181A553401BB2 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:22:46] 895*2^1406911-1 is not prime. Res64: C6FDB16876370DCA Time : 0.0 sec. user=mdettweiler [2015-08-19 17:24:36] 901*2^1406911-1 is not prime. Res64: 610C35F2126D3BAD Time : 0.0 sec. user=mdettweiler [2015-08-19 17:24:37] 933*2^1406911-1 is not prime. Res64: F2BD77C326ADBCCB Time : 0.0 sec. user=mdettweiler [2015-08-19 17:31:13] 975*2^1406911-1 is not prime. Res64: 640EF1480A855855 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:31:13] 603*2^1406912-1 is not prime. Res64: 4292861CAD198FC0 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:36:33] 615*2^1406912-1 is not prime. Res64: 3F378560B6E60A6E Time : 0.0 sec. user=mdettweiler [2015-08-19 17:36:34] 713*2^1406912-1 is not prime. Res64: 83AB6CC91614D2BD Time : 0.0 sec. user=mdettweiler [2015-08-19 17:40:28] 963*2^1406912-1 is not prime. Res64: 4066B7C1526E7AB0 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:40:28] 721*2^1406913-1 is not prime. Res64: 480D3326811A3677 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:42:13] 789*2^1406913-1 is not prime. Res64: 053E0E317E89F95D Time : 0.0 sec. user=mdettweiler [2015-08-19 17:42:14] 829*2^1406913-1 is not prime. Res64: A9F13A6132DAE20D Time : 0.0 sec. user=S_K_ [2015-08-19 17:48:33] 973*2^1406911-1 is not prime. Res64: 2146D648ECDAC677 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:48:56] 835*2^1406913-1 is not prime. Res64: 176EBD3870247BEF Time : 0.0 sec. user=mdettweiler [2015-08-19 17:48:56] 871*2^1406913-1 is not prime. Res64: 4D43EC95ACC446DB Time : 0.0 sec. user=mdettweiler [2015-08-19 17:54:17] 945*2^1406913-1 is not prime. Res64: 20C50D00ECCEAB0E Time : 0.0 sec. user=mdettweiler [2015-08-19 17:54:17] 731*2^1406914-1 is not prime. Res64: 8D87A11C855828D9 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:58:10] 737*2^1406914-1 is not prime. Res64: CD75F592A4D8E487 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:58:11] 815*2^1406914-1 is not prime. Res64: B540B52875DEDF95 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:59:58] 825*2^1406914-1 is not prime. Res64: 6EAF1E3DE7A9C548 Time : 0.0 sec. user=mdettweiler [2015-08-19 17:59:58] 833*2^1406914-1 is not prime. Res64: 3B76293CDBD48DDB Time : 0.0 sec. user=mdettweiler [2015-08-19 18:06:37] 915*2^1406914-1 is not prime. Res64: 59D25A98303A76E2 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:06:40] 945*2^1406914-1 is not prime. Res64: 898F3E60B2CA215D Time : 0.0 sec. user=mdettweiler [2015-08-19 18:12:01] 601*2^1406915-1 is not prime. Res64: AE44CBB3628E7D31 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:12:01] 715*2^1406915-1 is not prime. Res64: 62808793339665E2 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:15:53] 855*2^1406915-1 is not prime. Res64: D5FA5F8C06474DAB Time : 0.0 sec. user=mdettweiler [2015-08-19 18:15:54] 883*2^1406915-1 is not prime. Res64: 512021180290FF39 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:17:36] 939*2^1406915-1 is not prime. Res64: F71CF80EF1D805EA Time : 0.0 sec. user=mdettweiler [2015-08-19 18:17:36] 949*2^1406915-1 is not prime. Res64: 26AA20525B9F1FCF Time : 0.0 sec. user=mdettweiler [2015-08-19 18:24:32] 981*2^1406915-1 is not prime. Res64: C728E0901BB32D24 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:24:32] 773*2^1406916-1 is not prime. Res64: E2C90304AAC929B1 Time : 0.0 sec. user=S_K_ [2015-08-19 18:29:18] 891*2^1406914-1 is not prime. Res64: 02760FB01C432E87 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:29:42] 783*2^1406916-1 is not prime. Res64: 79FBD0D2939F791D Time : 0.0 sec. user=mdettweiler [2015-08-19 18:29:43] 825*2^1406916-1 is not prime. Res64: 32527CA0A832E547 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:33:31] 843*2^1406916-1 is not prime. Res64: B502B42E8A2C11E9 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:33:32] 845*2^1406916-1 is not prime. Res64: 045A436902AEB133 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:35:18] 993*2^1406916-1 is not prime. Res64: 7DD28412316E14B9 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:35:18] 799*2^1406917-1 is not prime. Res64: B94D365BE08297E2 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:42:13] 895*2^1406917-1 is not prime. Res64: 64C56EA68D526175 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:42:13] 645*2^1406918-1 is not prime. Res64: E29394A1A667D337 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:47:23] 773*2^1406918-1 is not prime. Res64: 3FDE993CF66166E8 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:47:24] 813*2^1406918-1 is not prime. Res64: 69BF81E6AEF385A2 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:51:07] 941*2^1406918-1 is not prime. Res64: 399AE13CA81A0ADB Time : 0.0 sec. user=mdettweiler [2015-08-19 18:51:07] 685*2^1406919-1 is not prime. Res64: A67C03F089B1B631 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:52:53] 693*2^1406919-1 is not prime. Res64: A29F36D50E20FB2C Time : 0.0 sec. user=mdettweiler [2015-08-19 18:52:53] 795*2^1406919-1 is not prime. Res64: 87DC1042837734D6 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:59:52] 825*2^1406919-1 is not prime. Res64: CCDA07E0EA727A96 Time : 0.0 sec. user=mdettweiler [2015-08-19 18:59:52] 843*2^1406919-1 is not prime. Res64: 2510C0622B85EA23 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:05:03] 615*2^1406920-1 is not prime. Res64: EA1B49F387215FDE Time : 0.0 sec. user=mdettweiler [2015-08-19 19:05:04] 765*2^1406920-1 is not prime. Res64: FA5124CC26D993BC Time : 0.0 sec. user=mdettweiler [2015-08-19 19:08:48] 827*2^1406920-1 is not prime. Res64: 52E77CCA37C9732A Time : 0.0 sec. user=mdettweiler [2015-08-19 19:08:49] 863*2^1406920-1 is not prime. Res64: 3435398E690BAB81 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:10:32] 905*2^1406920-1 is not prime. Res64: AA11F1743D5834FE Time : 0.0 sec. user=mdettweiler [2015-08-19 19:10:33] 615*2^1406921-1 is not prime. Res64: 5D841DFF906802A2 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:17:36] 675*2^1406921-1 is not prime. Res64: 1A69B05AD81C10D6 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:17:36] 679*2^1406921-1 is not prime. Res64: 0C2B820B471D2752 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:22:52] 805*2^1406921-1 is not prime. Res64: E60C351E06DDE497 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:22:53] 871*2^1406921-1 is not prime. Res64: 5B1D72D80E3F993E Time : 0.0 sec. user=mdettweiler [2015-08-19 19:26:33] 937*2^1406921-1 is not prime. Res64: 3CF539CF25FC4615 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:26:33] 681*2^1406922-1 is not prime. Res64: 488094E3946A5AC6 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:28:07] 725*2^1406922-1 is not prime. Res64: 510CDB3C3C292633 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:28:07] 747*2^1406922-1 is not prime. Res64: 27F97E23A8058F15 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:35:13] 777*2^1406922-1 is not prime. Res64: 61A1411C85670D33 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:35:14] 621*2^1406923-1 is not prime. Res64: FB0753D8E5E0911D Time : 0.0 sec. user=mdettweiler [2015-08-19 19:40:33] 855*2^1406923-1 is not prime. Res64: 3BFFB5F19EF87306 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:40:33] 861*2^1406923-1 is not prime. Res64: 2C7B5B47B744F645 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:44:15] 743*2^1406924-1 is not prime. Res64: 85CE829506E7DC53 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:44:16] 755*2^1406924-1 is not prime. Res64: 63FE424675ACDBC3 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:45:47] 819*2^1406924-1 is not prime. Res64: 17F992021B3EB120 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:45:48] 873*2^1406924-1 is not prime. Res64: 237B7F6375624C67 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:52:58] 875*2^1406924-1 is not prime. Res64: D5904BDBEFC85FDF Time : 0.0 sec. user=mdettweiler [2015-08-19 19:52:58] 959*2^1406924-1 is not prime. Res64: 3471CDD5B3872778 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:58:25] 983*2^1406924-1 is not prime. Res64: FA8982BBEAAE52E1 Time : 0.0 sec. user=mdettweiler [2015-08-19 19:58:26] 993*2^1406924-1 is not prime. Res64: 9139D532544801B1 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:01:56] 609*2^1406925-1 is not prime. Res64: 972E80212B836796 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:01:57] 655*2^1406925-1 is not prime. Res64: 1EC1B7B07C0BC30E Time : 0.0 sec. user=mdettweiler [2015-08-19 20:03:29] 819*2^1406925-1 is not prime. Res64: C6185AA1501392BA Time : 0.0 sec. user=mdettweiler [2015-08-19 20:03:30] 847*2^1406925-1 is not prime. Res64: C377EBEE95FA36C0 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:10:41] 891*2^1406925-1 is not prime. Res64: 4EEF7C435D80A674 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:10:43] 635*2^1406926-1 is not prime. Res64: 6328E623127F7EF0 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:16:05] 741*2^1406926-1 is not prime. Res64: 8A325F6D42CDF433 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:16:06] 801*2^1406926-1 is not prime. Res64: C6FBB8A7AEA91A4A Time : 0.0 sec. user=mdettweiler [2015-08-19 20:19:41] 813*2^1406926-1 is not prime. Res64: 75E46120338533E9 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:19:41] 821*2^1406926-1 is not prime. Res64: 6E0171E62BD31C79 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:21:12] 857*2^1406926-1 is not prime. Res64: 2192B4AC4F2E5D62 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:21:12] 861*2^1406926-1 is not prime. Res64: 9927CB9EC03DD3A4 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:28:23] 957*2^1406926-1 is not prime. Res64: F38564F340BDF6C5 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:28:23] 981*2^1406926-1 is not prime. Res64: ACB41232FEEF910E Time : 0.0 sec. user=mdettweiler [2015-08-19 20:33:43] 609*2^1406927-1 is not prime. Res64: CA9B7FA6B587E460 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:33:43] 615*2^1406927-1 is not prime. Res64: C3D91255842D0221 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:37:14] 741*2^1406927-1 is not prime. Res64: E77F13C2CF58F207 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:37:14] 879*2^1406927-1 is not prime. Res64: D676BC8EE32ED370 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:38:52] 999*2^1406927-1 is not prime. Res64: 4C69B0331B3CE96C Time : 0.0 sec. user=mdettweiler [2015-08-19 20:38:52] 633*2^1406928-1 is not prime. Res64: F09EAF64E0EAC7D9 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:45:58] 683*2^1406928-1 is not prime. Res64: 36E74F1A22F22474 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:45:58] 789*2^1406928-1 is not prime. Res64: C2AEB86057A87416 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:51:22] 915*2^1406928-1 is not prime. Res64: A19FC6EE9DFA5F4C Time : 0.0 sec. user=mdettweiler [2015-08-19 20:51:23] 945*2^1406928-1 is not prime. Res64: A4B4C9F88B19923C Time : 0.0 sec. user=mdettweiler [2015-08-19 20:54:47] 679*2^1406929-1 is not prime. Res64: 43B51F832CA6FD5A Time : 0.0 sec. user=mdettweiler [2015-08-19 20:54:48] 685*2^1406929-1 is not prime. Res64: E48E3D32371197FA Time : 0.0 sec. user=mdettweiler [2015-08-19 20:56:32] 751*2^1406929-1 is not prime. Res64: 29F599AD153E8755 Time : 0.0 sec. user=mdettweiler [2015-08-19 20:56:32] 855*2^1406929-1 is not prime. Res64: 82EA3E1662A77F03 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:03:35] 957*2^1406929-1 is not prime. Res64: 29A69BFCCF644E11 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:03:36] 635*2^1406930-1 is not prime. Res64: A94014DBAF13E240 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:08:56] 641*2^1406930-1 is not prime. Res64: 92AB28CE71E6365C Time : 0.0 sec. user=mdettweiler [2015-08-19 21:08:56] 773*2^1406930-1 is not prime. Res64: 85272115AA583ABE Time : 0.0 sec. user=mdettweiler [2015-08-19 21:12:19] 917*2^1406930-1 is not prime. Res64: 39CA9FA066C53A59 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:12:20] 953*2^1406930-1 is not prime. Res64: 9E9F6348F80BBCF3 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:14:09] 639*2^1406931-1 is not prime. Res64: 88011ABB187D288C Time : 0.0 sec. user=mdettweiler [2015-08-19 21:14:09] 819*2^1406931-1 is not prime. Res64: 41E91B530505253D Time : 0.0 sec. user=mdettweiler [2015-08-19 21:21:25] 873*2^1406931-1 is not prime. Res64: C8331FDDAF700D66 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:21:25] 909*2^1406931-1 is not prime. Res64: E107798389103C98 Time : 0.0 sec. user=S_K_ [2015-08-19 21:24:42] 705*2^1406918-1 is not prime. Res64: 010855245AD6BD13 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:26:32] 943*2^1406931-1 is not prime. Res64: A9880E1D205F466E Time : 0.0 sec. user=mdettweiler [2015-08-19 21:26:32] 955*2^1406931-1 is not prime. Res64: 9797FFC53B254A79 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:29:58] 653*2^1406932-1 is not prime. Res64: 47B0E80C853545C3 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:29:58] 687*2^1406932-1 is not prime. Res64: E41C4B06F3EC1646 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:31:47] 693*2^1406932-1 is not prime. Res64: 4A3036D40DB1162A Time : 0.0 sec. user=mdettweiler [2015-08-19 21:31:48] 717*2^1406932-1 is not prime. Res64: 9686543134DA9584 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:39:22] 719*2^1406932-1 is not prime. Res64: DCF88762E834D3B2 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:39:22] 735*2^1406932-1 is not prime. Res64: 1FA3373BB178E1D5 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:44:36] 779*2^1406932-1 is not prime. Res64: 9C8F577668F9270B Time : 0.0 sec. user=mdettweiler [2015-08-19 21:44:36] 825*2^1406932-1 is not prime. Res64: C1ABBBD2CB3C815E Time : 0.0 sec. user=mdettweiler [2015-08-19 21:48:38] 929*2^1406932-1 is not prime. Res64: C38182D2E302275D Time : 0.0 sec. user=mdettweiler [2015-08-19 21:48:38] 975*2^1406932-1 is not prime. Res64: A375C34CD311B3C2 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:50:00] 983*2^1406932-1 is not prime. Res64: 08DCE55C9A3E62AC Time : 0.0 sec. user=mdettweiler [2015-08-19 21:50:00] 615*2^1406933-1 is not prime. Res64: 8032EA97AD6F0AAD Time : 0.0 sec. user=mdettweiler [2015-08-19 21:57:46] 649*2^1406933-1 is not prime. Res64: 8D6B5538E69A96D4 Time : 0.0 sec. user=mdettweiler [2015-08-19 21:57:46] 675*2^1406933-1 is not prime. Res64: 626ABF93BA7DA27F Time : 0.0 sec. user=mdettweiler [2015-08-19 22:03:38] 721*2^1406933-1 is not prime. Res64: A01A0CE8DE1160FC Time : 0.0 sec. user=mdettweiler [2015-08-19 22:03:39] 727*2^1406933-1 is not prime. Res64: 77B18AF4F3C459A0 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:07:16] 757*2^1406933-1 is not prime. Res64: B4235F4886D2F90A Time : 0.0 sec. user=mdettweiler [2015-08-19 22:07:17] 831*2^1406933-1 is not prime. Res64: 7CBF8C704BAB520F Time : 0.0 sec. user=mdettweiler [2015-08-19 22:08:45] 897*2^1406933-1 is not prime. Res64: E86056D79CE707DA Time : 0.0 sec. user=mdettweiler [2015-08-19 22:08:46] 925*2^1406933-1 is not prime. Res64: 238D737CF1292663 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:16:04] 949*2^1406933-1 is not prime. Res64: A5D08C30DB64C62C Time : 0.0 sec. user=mdettweiler [2015-08-19 22:16:04] 957*2^1406933-1 is not prime. Res64: 8C3F583B7A3BE592 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:22:04] 991*2^1406933-1 is not prime. Res64: C88000EBFB4008D8 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:22:04] 621*2^1406934-1 is not prime. Res64: C48A935E9287C486 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:25:55] 663*2^1406934-1 is not prime. Res64: 2C39983243F0D3C2 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:25:55] 737*2^1406934-1 is not prime. Res64: 29AF30B4E76F33B5 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:27:30] 873*2^1406934-1 is not prime. Res64: A0A7DC6F626F39F0 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:27:30] 993*2^1406934-1 is not prime. Res64: DDAFAEFC63E5889E Time : 0.0 sec. user=mdettweiler [2015-08-19 22:34:31] 609*2^1406935-1 is not prime. Res64: 9C23EA7E293767D1 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:34:31] 645*2^1406935-1 is not prime. Res64: BB4DDB4D0A7E5B0B Time : 0.0 sec. user=mdettweiler [2015-08-19 22:40:45] 685*2^1406935-1 is not prime. Res64: 5F17C6A90499977D Time : 0.0 sec. user=mdettweiler [2015-08-19 22:40:46] 783*2^1406935-1 is not prime. Res64: 47C802604A37938B Time : 0.0 sec. user=mdettweiler [2015-08-19 22:44:36] 829*2^1406935-1 is not prime. Res64: 1C523C49AF6E4308 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:44:36] 849*2^1406935-1 is not prime. Res64: 3E43D131770BED82 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:46:35] 883*2^1406935-1 is not prime. Res64: FECE8861820C7528 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:46:36] 885*2^1406935-1 is not prime. Res64: 33EEC9239FED0598 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:55:50] 623*2^1406936-1 is not prime. Res64: 39186A7EAC0CFE07 Time : 0.0 sec. user=mdettweiler [2015-08-19 22:55:50] 767*2^1406936-1 is not prime. Res64: 6D8E527B181BE4C6 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:02:25] 773*2^1406936-1 is not prime. Res64: F8541C02B7E1930D Time : 0.0 sec. user=mdettweiler [2015-08-19 23:02:26] 857*2^1406936-1 is not prime. Res64: F50853362FB70934 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:06:01] 963*2^1406936-1 is not prime. Res64: A66BDA4234FC9E9E Time : 0.0 sec. user=mdettweiler [2015-08-19 23:06:02] 983*2^1406936-1 is not prime. Res64: 3058821E8F1E8311 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:07:36] 649*2^1406937-1 is not prime. Res64: 4CAE77D89E5ABAB8 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:07:37] 765*2^1406937-1 is not prime. Res64: A0EAFA7E393895AB Time : 0.0 sec. user=mdettweiler [2015-08-19 23:13:56] 865*2^1406937-1 is not prime. Res64: 04CE31DC442B3628 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:13:57] 871*2^1406937-1 is not prime. Res64: DD9723A12BE64805 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:20:07] 885*2^1406937-1 is not prime. Res64: FB05A0D14D7ED568 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:20:08] 735*2^1406938-1 is not prime. Res64: 4F7EBB3904F1FD12 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:23:38] 815*2^1406938-1 is not prime. Res64: 15D57409324B2994 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:23:39] 845*2^1406938-1 is not prime. Res64: E1FC4360F190374D Time : 0.0 sec. user=mdettweiler [2015-08-19 23:25:13] 993*2^1406938-1 is not prime. Res64: 82B7E26D032B5C08 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:25:13] 859*2^1406939-1 is not prime. Res64: 20296900250674DB Time : 0.0 sec. user=mdettweiler [2015-08-19 23:31:32] 895*2^1406939-1 is not prime. Res64: FBE4D4A9B8BEF707 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:31:32] 943*2^1406939-1 is not prime. Res64: 6008982F6E0BBD2E Time : 0.0 sec. user=mdettweiler [2015-08-19 23:37:55] 973*2^1406939-1 is not prime. Res64: 10297CF449CE441B Time : 0.0 sec. user=mdettweiler [2015-08-19 23:37:55] 985*2^1406939-1 is not prime. Res64: BCB6FB44C9086D55 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:41:23] 737*2^1406940-1 is not prime. Res64: 0618DD1D93E62321 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:41:23] 779*2^1406940-1 is not prime. Res64: 6F0D5890B4E9EF4A Time : 0.0 sec. user=mdettweiler [2015-08-19 23:42:58] 795*2^1406940-1 is not prime. Res64: 0AB9D0D850C7648C Time : 0.0 sec. user=mdettweiler [2015-08-19 23:42:59] 819*2^1406940-1 is not prime. Res64: 16C529F661ABBE68 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:49:18] 863*2^1406940-1 is not prime. Res64: 84B28A6DEDA0FF9A Time : 0.0 sec. user=mdettweiler [2015-08-19 23:49:19] 607*2^1406941-1 is not prime. Res64: 08BFABD93E600C35 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:55:31] 649*2^1406941-1 is not prime. Res64: D71FD3C4B9B3D4FE Time : 0.0 sec. user=mdettweiler [2015-08-19 23:55:32] 727*2^1406941-1 is not prime. Res64: 7DEB192E07075406 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:58:58] 805*2^1406941-1 is not prime. Res64: 070430F299919D54 Time : 0.0 sec. user=mdettweiler [2015-08-19 23:58:58] 945*2^1406941-1 is not prime. Res64: 21DA9A144AF6D39B Time : 0.0 sec. user=mdettweiler [2015-08-20 00:00:31] 623*2^1406942-1 is not prime. Res64: 8FF18A3865E0F94B Time : 0.0 sec. user=mdettweiler [2015-08-20 00:00:32] 657*2^1406942-1 is not prime. Res64: 677C2CAAC2613F20 Time : 0.0 sec.