user=mdettweiler [2016-04-17 00:04:15] 793*2^1426519-1 is not prime. Res64: 1F47B27023F73CA1 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:04:16] 843*2^1426519-1 is not prime. Res64: A646933E4712539A Time : 0.0 sec. user=mdettweiler [2016-04-17 00:04:16] 853*2^1426519-1 is not prime. Res64: 9B5AFCA44386694A Time : 0.0 sec. user=mdettweiler [2016-04-17 00:04:17] 855*2^1426519-1 is not prime. Res64: D5C018E631D13758 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:04:17] 861*2^1426519-1 is not prime. Res64: 4BBBA65389C70914 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:19:40] 603*2^1426520-1 is not prime. Res64: B36BE16358B5DC73 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:19:41] 713*2^1426520-1 is not prime. Res64: EF6FFF8E453CC3D9 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:19:41] 923*2^1426520-1 is not prime. Res64: 79AD55E1039E83ED Time : 0.0 sec. user=mdettweiler [2016-04-17 00:19:42] 957*2^1426520-1 is not prime. Res64: 7C68C35F9A1C4F42 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:19:43] 661*2^1426521-1 is not prime. Res64: 63A469A72E02DBDB Time : 0.0 sec. user=mdettweiler [2016-04-17 00:21:06] 811*2^1426521-1 is not prime. Res64: C4F0981B282AB586 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:21:07] 907*2^1426521-1 is not prime. Res64: 006D5CE16BD74C45 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:21:07] 955*2^1426521-1 is not prime. Res64: 26B5F55ED9AE7868 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:21:07] 969*2^1426521-1 is not prime. Res64: 874483E724707F7F Time : 0.0 sec. user=mdettweiler [2016-04-17 00:21:08] 713*2^1426522-1 is not prime. Res64: D851A089922BF8CE Time : 0.0 sec. user=mdettweiler [2016-04-17 00:32:26] 723*2^1426522-1 is not prime. Res64: 4674BEB0AECBCC8E Time : 0.0 sec. user=mdettweiler [2016-04-17 00:32:27] 867*2^1426522-1 is not prime. Res64: 1EAEE0F336D407D6 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:32:27] 923*2^1426522-1 is not prime. Res64: 4D679EE13A49A57A Time : 0.0 sec. user=mdettweiler [2016-04-17 00:32:27] 693*2^1426523-1 is not prime. Res64: 37C515F656B8114E Time : 0.0 sec. user=mdettweiler [2016-04-17 00:32:28] 735*2^1426523-1 is not prime. Res64: 0EB6124E1645BF37 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:49:07] 813*2^1426523-1 is not prime. Res64: F6D8E552E1C4F3D6 Time : 0.0 sec. user=mdettweiler [2016-04-17 00:49:07] 825*2^1426523-1 is not prime. Res64: 46581D08EC55F5BF Time : 0.0 sec. user=mdettweiler [2016-04-17 00:49:08] 879*2^1426523-1 is not prime. Res64: 75788428A0D9B73C Time : 0.0 sec. user=mdettweiler [2016-04-17 00:49:08] 939*2^1426523-1 is not prime. Res64: C0E5FE4968B80FDB Time : 0.0 sec. user=mdettweiler [2016-04-17 00:49:08] 963*2^1426523-1 is not prime. Res64: 7E38E864CFEEDFC3 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:04:32] 707*2^1426524-1 is not prime. Res64: 260950FC59E20242 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:04:34] 753*2^1426524-1 is not prime. Res64: CACDAF193430020E Time : 0.0 sec. user=mdettweiler [2016-04-17 01:04:35] 903*2^1426524-1 is not prime. Res64: B05680E4996AFD3A Time : 0.0 sec. user=mdettweiler [2016-04-17 01:04:37] 965*2^1426524-1 is not prime. Res64: 1AFBF2AC56F75C0A Time : 0.0 sec. user=mdettweiler [2016-04-17 01:04:38] 609*2^1426525-1 is not prime. Res64: FFB7E0F33AC48B44 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:05:56] 729*2^1426525-1 is not prime. Res64: A4356DB8AA50E042 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:05:57] 799*2^1426525-1 is not prime. Res64: E706AD0F43CB0E82 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:05:59] 861*2^1426525-1 is not prime. Res64: E1A65DEB660B401C Time : 0.0 sec. user=mdettweiler [2016-04-17 01:06:00] 897*2^1426525-1 is not prime. Res64: 37D4064E6EDF8CB3 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:06:01] 915*2^1426525-1 is not prime. Res64: 165BFCD172236E49 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:17:05] 937*2^1426525-1 is not prime. Res64: 39AD23812C4939D8 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:17:06] 999*2^1426525-1 is not prime. Res64: 5518AEEE08AF192D Time : 0.0 sec. user=mdettweiler [2016-04-17 01:17:06] 635*2^1426526-1 is not prime. Res64: 0B68169929580C9E Time : 0.0 sec. user=mdettweiler [2016-04-17 01:17:07] 671*2^1426526-1 is not prime. Res64: FBCA6E6B68B83DBA Time : 0.0 sec. user=mdettweiler [2016-04-17 01:17:07] 683*2^1426526-1 is not prime. Res64: 501EDDE52DC5EF43 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:33:44] 741*2^1426526-1 is not prime. Res64: A629F5736F1AEDE6 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:33:45] 921*2^1426526-1 is not prime. Res64: CD50C67D5A3B93FA Time : 0.0 sec. user=mdettweiler [2016-04-17 01:33:46] 963*2^1426526-1 is not prime. Res64: 8E49C0476676165D Time : 0.0 sec. user=mdettweiler [2016-04-17 01:33:46] 965*2^1426526-1 is not prime. Res64: F42A787B8BFA07DC Time : 0.0 sec. user=mdettweiler [2016-04-17 01:33:47] 651*2^1426527-1 is not prime. Res64: D7A80395AB95416E Time : 0.0 sec. user=mdettweiler [2016-04-17 01:49:45] 751*2^1426527-1 is not prime. Res64: DFBF166F28D13DF6 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:49:46] 743*2^1426528-1 is not prime. Res64: E668C626CCA07AD1 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:49:47] 765*2^1426528-1 is not prime. Res64: 62BB7D40DA22F44B Time : 0.0 sec. user=mdettweiler [2016-04-17 01:49:47] 905*2^1426528-1 is not prime. Res64: E6815B2DEC3B6285 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:49:48] 627*2^1426529-1 is not prime. Res64: 822F562BD5A8DD19 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:51:02] 811*2^1426529-1 is not prime. Res64: FA3124173E0B35C7 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:51:02] 641*2^1426530-1 is not prime. Res64: A3C5E5151CD95B54 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:51:03] 765*2^1426530-1 is not prime. Res64: 40C38BC65384E316 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:51:03] 797*2^1426530-1 is not prime. Res64: 91CB2EC2358048D8 Time : 0.0 sec. user=mdettweiler [2016-04-17 01:51:04] 803*2^1426530-1 is not prime. Res64: 0F9AEB595515BBBD Time : 0.0 sec. user=mdettweiler [2016-04-17 02:01:59] 875*2^1426530-1 is not prime. Res64: 6646FA30915A427D Time : 0.0 sec. user=mdettweiler [2016-04-17 02:02:02] 905*2^1426530-1 is not prime. Res64: F317BC96E036DFDE Time : 0.0 sec. user=mdettweiler [2016-04-17 02:02:03] 601*2^1426531-1 is not prime. Res64: BD88837071F3F304 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:02:04] 619*2^1426531-1 is not prime. Res64: 64C0D34136E8787D Time : 0.0 sec. user=mdettweiler [2016-04-17 02:02:04] 693*2^1426531-1 is not prime. Res64: FDC6D2A8BD9C1B7A Time : 0.0 sec. user=mdettweiler [2016-04-17 02:18:32] 759*2^1426531-1 is not prime. Res64: 8AC2A8DE144EACAC Time : 0.0 sec. user=mdettweiler [2016-04-17 02:18:32] 771*2^1426531-1 is not prime. Res64: 1149437DAF46847B Time : 0.0 sec. user=mdettweiler [2016-04-17 02:18:33] 859*2^1426531-1 is not prime. Res64: FAB06D4F7C81DDAA Time : 0.0 sec. user=mdettweiler [2016-04-17 02:18:33] 861*2^1426531-1 is not prime. Res64: 58E21B14109DDE64 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:18:34] 993*2^1426531-1 is not prime. Res64: B03C849AAB6A1B9E Time : 0.0 sec. user=mdettweiler [2016-04-17 02:34:48] 665*2^1426532-1 is not prime. Res64: 5BEB3AF2A85515D4 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:34:49] 743*2^1426532-1 is not prime. Res64: 62104717F6C3242A Time : 0.0 sec. user=mdettweiler [2016-04-17 02:34:50] 873*2^1426532-1 is not prime. Res64: 8700279A9DBC75D8 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:34:50] 963*2^1426532-1 is not prime. Res64: 4D77D274562D8976 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:34:51] 607*2^1426533-1 is not prime. Res64: 988C58C399C050D3 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:36:11] 675*2^1426533-1 is not prime. Res64: B5C156E3D57D7002 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:36:11] 681*2^1426533-1 is not prime. Res64: 89BB94DDE436320F Time : 0.0 sec. user=mdettweiler [2016-04-17 02:36:11] 699*2^1426533-1 is not prime. Res64: 5B6318C124648CCE Time : 0.0 sec. user=mdettweiler [2016-04-17 02:36:12] 835*2^1426533-1 is not prime. Res64: 6A5FC11EA24C4FD6 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:36:12] 937*2^1426533-1 is not prime. Res64: 6641FE6B44D1F713 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:47:22] 961*2^1426533-1 is not prime. Res64: A21600EE85432C29 Time : 0.0 sec. user=mdettweiler [2016-04-17 02:47:22] 621*2^1426534-1 is not prime. Res64: 43F0FE630632300F Time : 0.0 sec. user=mdettweiler [2016-04-17 02:47:22] 677*2^1426534-1 is not prime. Res64: B15B82378B6A66FF Time : 0.0 sec. user=mdettweiler [2016-04-17 02:47:23] 717*2^1426534-1 is not prime. Res64: A4C6870A95A19AAE Time : 0.0 sec. user=mdettweiler [2016-04-17 02:47:23] 747*2^1426534-1 is not prime. Res64: C46BE232B87BC2B1 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:03:21] 881*2^1426534-1 is not prime. Res64: 13B1F5C029839121 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:03:23] 951*2^1426534-1 is not prime. Res64: D62367096DBA63F2 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:03:24] 983*2^1426534-1 is not prime. Res64: A9E87322409E91F0 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:03:25] 601*2^1426535-1 is not prime. Res64: 1A20446A184CE816 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:03:28] 651*2^1426535-1 is not prime. Res64: 600D2CA916B8C079 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:19:32] 661*2^1426535-1 is not prime. Res64: 0637FB8A1A9F2969 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:19:32] 685*2^1426535-1 is not prime. Res64: 6599ED50673F020C Time : 0.0 sec. user=mdettweiler [2016-04-17 03:19:33] 653*2^1426536-1 is not prime. Res64: 8AB5A45D00AE6B0B Time : 0.0 sec. user=mdettweiler [2016-04-17 03:19:33] 683*2^1426536-1 is not prime. Res64: 82D920053345294E Time : 0.0 sec. user=mdettweiler [2016-04-17 03:19:33] 789*2^1426536-1 is not prime. Res64: A864556D6D7459A8 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:20:51] 845*2^1426536-1 is not prime. Res64: 3801680CA5DBA725 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:20:51] 983*2^1426536-1 is not prime. Res64: 867E6215EB3FFF28 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:20:52] 615*2^1426537-1 is not prime. Res64: 9B075FCDF4CDC181 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:20:52] 625*2^1426537-1 is not prime. Res64: 49497EFE7F6A6E26 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:20:53] 651*2^1426537-1 is not prime. Res64: 7E352D3D49DCF913 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:31:55] 775*2^1426537-1 is not prime. Res64: E502A5CD5D1FF456 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:31:56] 915*2^1426537-1 is not prime. Res64: 03CD582AB40EC946 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:31:57] 617*2^1426538-1 is not prime. Res64: 08A7059D89793640 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:31:58] 633*2^1426538-1 is not prime. Res64: A4199500719225E2 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:31:59] 645*2^1426538-1 is not prime. Res64: F2D555C7F33AEC42 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:48:37] 743*2^1426538-1 is not prime. Res64: 24F92649CE47C80A Time : 0.0 sec. user=mdettweiler [2016-04-17 03:48:39] 813*2^1426538-1 is not prime. Res64: 21B521C58B2039FC Time : 0.0 sec. user=mdettweiler [2016-04-17 03:48:40] 837*2^1426538-1 is not prime. Res64: CFCFE6BD1457E0FE Time : 0.0 sec. user=mdettweiler [2016-04-17 03:48:42] 867*2^1426538-1 is not prime. Res64: FF43E925B3EB2FC1 Time : 0.0 sec. user=mdettweiler [2016-04-17 03:48:43] 927*2^1426538-1 is not prime. Res64: 53B79DC0B3114644 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:04:32] 995*2^1426538-1 is not prime. Res64: 85F5AFC0FE439D55 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:04:33] 609*2^1426539-1 is not prime. Res64: 95DEF0733128B760 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:04:35] 711*2^1426539-1 is not prime. Res64: 541C5C110B8B3BEF Time : 0.0 sec. user=mdettweiler [2016-04-17 04:04:36] 723*2^1426539-1 is not prime. Res64: 2AEC344DEE41E9A3 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:04:37] 843*2^1426539-1 is not prime. Res64: 7B72EDA941648169 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:05:44] 859*2^1426539-1 is not prime. Res64: 7FD8024D609B70CD Time : 0.0 sec. user=mdettweiler [2016-04-17 04:05:45] 919*2^1426539-1 is not prime. Res64: D033D90C6B68EC83 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:05:46] 951*2^1426539-1 is not prime. Res64: 5B886E86257D7EDA Time : 0.0 sec. user=mdettweiler [2016-04-17 04:05:47] 955*2^1426539-1 is not prime. Res64: 08B3C6FD1300C5EF Time : 0.0 sec. user=mdettweiler [2016-04-17 04:05:47] 677*2^1426540-1 is not prime. Res64: 69929E49F0943A06 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:18:05] 819*2^1426540-1 is not prime. Res64: 4BB00D56CD8F60AA Time : 0.0 sec. user=mdettweiler [2016-04-17 04:18:06] 875*2^1426540-1 is not prime. Res64: 551CE0055A0F52F5 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:18:06] 939*2^1426540-1 is not prime. Res64: 73F9174555860742 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:18:07] 987*2^1426540-1 is not prime. Res64: A05B70678E31B696 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:18:07] 999*2^1426540-1 is not prime. Res64: 9326F23095E59346 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:35:18] 757*2^1426541-1 is not prime. Res64: 551766550537E7CB Time : 0.0 sec. user=mdettweiler [2016-04-17 04:35:19] 769*2^1426541-1 is not prime. Res64: E2694EA50F725C33 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:35:19] 611*2^1426542-1 is not prime. Res64: AA0142EE249662CC Time : 0.0 sec. user=mdettweiler [2016-04-17 04:35:19] 737*2^1426542-1 is not prime. Res64: 115EF48CBA0DDC81 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:35:20] 797*2^1426542-1 is not prime. Res64: B9BF72AD5DA38117 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:51:28] 873*2^1426542-1 is not prime. Res64: 9D6E795D8122D5EB Time : 0.0 sec. user=mdettweiler [2016-04-17 04:51:29] 947*2^1426542-1 is not prime. Res64: 1E1B994090111230 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:51:29] 625*2^1426543-1 is not prime. Res64: 3BBEB74F2C672492 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:51:29] 681*2^1426543-1 is not prime. Res64: 27DFABC4452E2DF4 Time : 0.0 sec. user=mdettweiler [2016-04-17 04:51:30] 763*2^1426543-1 is not prime. Res64: BCFEBBD858576E0D Time : 0.0 sec. user=mdettweiler [2016-04-17 04:52:39] 783*2^1426543-1 is not prime. Res64: 59AC7895D1499CCE Time : 0.0 sec. user=mdettweiler [2016-04-17 04:52:39] 805*2^1426543-1 is not prime. Res64: C8E81DC38E9A08FB Time : 0.0 sec. user=mdettweiler [2016-04-17 04:52:39] 999*2^1426543-1 is not prime. Res64: 6E49BC608032B9EA Time : 0.0 sec. user=mdettweiler [2016-04-17 04:52:40] 629*2^1426544-1 is not prime. Res64: 64FB75EB5A67208A Time : 0.0 sec. user=mdettweiler [2016-04-17 04:52:40] 803*2^1426544-1 is not prime. Res64: 4AF8EB1742EB5881 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:04:17] 893*2^1426544-1 is not prime. Res64: 96751E33A5920950 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:04:18] 959*2^1426544-1 is not prime. Res64: 0158DC21DA72BCE5 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:04:19] 627*2^1426545-1 is not prime. Res64: 1337A06B89F9B554 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:04:20] 727*2^1426545-1 is not prime. Res64: 65BADAF9F05C9978 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:04:21] 837*2^1426545-1 is not prime. Res64: 44EF400381858BDF Time : 0.0 sec. user=mdettweiler [2016-04-17 05:20:53] 849*2^1426545-1 is not prime. Res64: AB8C2D0CC9A2E9E6 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:20:53] 867*2^1426545-1 is not prime. Res64: A42C22B0F457A7BF Time : 0.0 sec. user=mdettweiler [2016-04-17 05:20:54] 909*2^1426545-1 is not prime. Res64: A8E6C7735530C51C Time : 0.0 sec. user=mdettweiler [2016-04-17 05:20:54] 723*2^1426546-1 is not prime. Res64: 8175EDB06B32D28B Time : 0.0 sec. user=mdettweiler [2016-04-17 05:20:55] 741*2^1426546-1 is not prime. Res64: 48404802C28CEE08 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:36:17] 801*2^1426546-1 is not prime. Res64: AC2045B457015CFE Time : 0.0 sec. user=mdettweiler [2016-04-17 05:36:18] 803*2^1426546-1 is not prime. Res64: 91BE96245F73A809 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:36:18] 825*2^1426546-1 is not prime. Res64: 7851CFEDEA5CE817 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:36:19] 843*2^1426546-1 is not prime. Res64: 76FDB970C3B6DC10 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:36:19] 855*2^1426546-1 is not prime. Res64: 5F2A8C015423322C Time : 0.0 sec. user=mdettweiler [2016-04-17 05:37:46] 917*2^1426546-1 is not prime. Res64: B78A42968CFAFE68 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:37:46] 621*2^1426547-1 is not prime. Res64: 4B9054771B4DE0FE Time : 0.0 sec. user=mdettweiler [2016-04-17 05:37:47] 645*2^1426547-1 is not prime. Res64: 1029B34102C66A7A Time : 0.0 sec. user=mdettweiler [2016-04-17 05:37:47] 693*2^1426547-1 is not prime. Res64: 01C90735A9C646AC Time : 0.0 sec. user=mdettweiler [2016-04-17 05:37:47] 733*2^1426547-1 is not prime. Res64: 9CA783DEE599F675 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:49:29] 859*2^1426547-1 is not prime. Res64: 1F74CF739698078B Time : 0.0 sec. user=mdettweiler [2016-04-17 05:49:29] 883*2^1426547-1 is not prime. Res64: 501A2BADE9B25DAF Time : 0.0 sec. user=mdettweiler [2016-04-17 05:49:30] 915*2^1426547-1 is not prime. Res64: A5A53020053F5311 Time : 0.0 sec. user=mdettweiler [2016-04-17 05:49:30] 633*2^1426548-1 is not prime. Res64: ACC3AA2B2D6E71DD Time : 0.0 sec. user=mdettweiler [2016-04-17 05:49:30] 683*2^1426548-1 is not prime. Res64: AFD5BF574BAEC2C9 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:05:40] 705*2^1426548-1 is not prime. Res64: 1228747F2BD02050 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:05:41] 725*2^1426548-1 is not prime. Res64: 2B366C2EFEEE2422 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:05:42] 837*2^1426548-1 is not prime. Res64: CFE100719E0CABFC Time : 0.0 sec. user=mdettweiler [2016-04-17 06:05:43] 839*2^1426548-1 is not prime. Res64: DE6DCAFC96DC05DB Time : 0.0 sec. user=mdettweiler [2016-04-17 06:05:44] 987*2^1426548-1 is not prime. Res64: F01847C7D9B06A28 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:20:50] 999*2^1426548-1 is not prime. Res64: D92D539816151AA2 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:20:51] 685*2^1426549-1 is not prime. Res64: 2D99CDEEB3152594 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:20:51] 847*2^1426549-1 is not prime. Res64: 65359C61207193DE Time : 0.0 sec. user=mdettweiler [2016-04-17 06:20:52] 645*2^1426550-1 is not prime. Res64: 3C75CDD3C16ECC77 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:20:52] 661*2^1426551-1 is not prime. Res64: FDD6FACCB2DFC5BE Time : 0.0 sec. user=mdettweiler [2016-04-17 06:22:32] 691*2^1426551-1 is not prime. Res64: 733B8C4F0D4F3E7B Time : 0.0 sec. user=mdettweiler [2016-04-17 06:22:32] 775*2^1426551-1 is not prime. Res64: 321E66E650F1FF91 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:22:33] 891*2^1426551-1 is not prime. Res64: B324560A7DF6686A Time : 0.0 sec. user=mdettweiler [2016-04-17 06:22:33] 943*2^1426551-1 is not prime. Res64: A46C64ABEC3BCAB3 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:22:33] 949*2^1426551-1 is not prime. Res64: 3E158549876B889F Time : 0.0 sec. user=mdettweiler [2016-04-17 06:34:05] 951*2^1426551-1 is not prime. Res64: 3042714C0966BC1E Time : 0.0 sec. user=mdettweiler [2016-04-17 06:34:06] 615*2^1426552-1 is not prime. Res64: 179ABBC3E837110E Time : 0.0 sec. user=mdettweiler [2016-04-17 06:34:06] 693*2^1426552-1 is not prime. Res64: AEFA6016546B580D Time : 0.0 sec. user=mdettweiler [2016-04-17 06:34:06] 735*2^1426552-1 is not prime. Res64: 5AF08BC28039514D Time : 0.0 sec. user=mdettweiler [2016-04-17 06:34:07] 827*2^1426552-1 is not prime. Res64: 716AF3237727A850 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:50:29] 887*2^1426552-1 is not prime. Res64: 08E54663879B43E4 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:50:30] 933*2^1426552-1 is not prime. Res64: 6CAAA9B05A3EAF3F Time : 0.0 sec. user=mdettweiler [2016-04-17 06:50:30] 939*2^1426552-1 is not prime. Res64: 8E03C6A457DEB083 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:50:30] 999*2^1426552-1 is not prime. Res64: 2D19520A89444A27 Time : 0.0 sec. user=mdettweiler [2016-04-17 06:50:31] 649*2^1426553-1 is not prime. Res64: 1C0D762A6180903A Time : 0.0 sec. user=mdettweiler [2016-04-17 07:05:22] 715*2^1426553-1 is not prime. Res64: 66ACFF6E099A823D Time : 0.0 sec. user=mdettweiler [2016-04-17 07:05:24] 987*2^1426553-1 is not prime. Res64: FF11DC003115757B Time : 0.0 sec. user=mdettweiler [2016-04-17 07:05:26] 695*2^1426554-1 is not prime. Res64: 6E7D7159EC1033FF Time : 0.0 sec. user=mdettweiler [2016-04-17 07:05:27] 765*2^1426554-1 is not prime. Res64: 5F26F0F5E09F0366 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:05:29] 921*2^1426554-1 is not prime. Res64: B3A520825433987E Time : 0.0 sec. user=mdettweiler [2016-04-17 07:07:13] 709*2^1426555-1 is not prime. Res64: 0D2043054A8C2397 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:07:15] 759*2^1426555-1 is not prime. Res64: ABEFF6B2CDA37D91 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:07:16] 873*2^1426555-1 is not prime. Res64: 530F0D37AC65FB8A Time : 0.0 sec. user=mdettweiler [2016-04-17 07:07:17] 883*2^1426555-1 is not prime. Res64: 1DFE9236F614344D Time : 0.0 sec. user=mdettweiler [2016-04-17 07:07:18] 915*2^1426555-1 is not prime. Res64: 90F0FD5525EAD482 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:18:35] 939*2^1426555-1 is not prime. Res64: AF553E1357F03511 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:18:35] 985*2^1426555-1 is not prime. Res64: 699DB216D9B4C259 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:18:35] 633*2^1426556-1 is not prime. Res64: DD08E4A9EE60FD96 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:18:36] 719*2^1426556-1 is not prime. Res64: 9C24DEE7A5591BB5 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:18:36] 903*2^1426556-1 is not prime. Res64: 611C2BE9AE801A43 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:35:03] 927*2^1426556-1 is not prime. Res64: BD1D02A8CF0FB86C Time : 0.0 sec. user=mdettweiler [2016-04-17 07:35:03] 699*2^1426557-1 is not prime. Res64: EC6F9E32225FD2C6 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:35:04] 741*2^1426557-1 is not prime. Res64: E0EDE8C895F1577C Time : 0.0 sec. user=mdettweiler [2016-04-17 07:35:07] 961*2^1426557-1 is not prime. Res64: 9B2A91D107BD6024 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:35:08] 617*2^1426558-1 is not prime. Res64: A58C7EB9B00658F4 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:50:31] 713*2^1426558-1 is not prime. Res64: 45E621FAE28ED1CB Time : 0.0 sec. user=mdettweiler [2016-04-17 07:50:31] 815*2^1426558-1 is not prime. Res64: C4A0DD0386274DF8 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:50:32] 825*2^1426558-1 is not prime. Res64: DFD99BED3479FA7C Time : 0.0 sec. user=mdettweiler [2016-04-17 07:50:32] 857*2^1426558-1 is not prime. Res64: 8EDC1CF76235167F Time : 0.0 sec. user=mdettweiler [2016-04-17 07:50:33] 887*2^1426558-1 is not prime. Res64: 0FB3B048A001990F Time : 0.0 sec. user=mdettweiler [2016-04-17 07:52:32] 609*2^1426559-1 is not prime. Res64: 5C71E2F0A3433D55 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:52:32] 679*2^1426559-1 is not prime. Res64: 7B5F3AC31EAB7007 Time : 0.0 sec. user=mdettweiler [2016-04-17 07:52:32] 729*2^1426559-1 is not prime. Res64: 21E08FEFAEF557DB Time : 0.0 sec. user=mdettweiler [2016-04-17 07:52:33] 775*2^1426559-1 is not prime. Res64: 93BD67EED2064BBC Time : 0.0 sec. user=mdettweiler [2016-04-17 07:52:33] 813*2^1426559-1 is not prime. Res64: 2F4E8728CB022B79 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:03:27] 831*2^1426559-1 is not prime. Res64: 5E3B0D000FBB1E02 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:03:29] 859*2^1426559-1 is not prime. Res64: A019E6B354695358 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:03:30] 861*2^1426559-1 is not prime. Res64: 24280409D5339673 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:03:32] 985*2^1426559-1 is not prime. Res64: 61A133ED4E9EC8D6 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:03:33] 713*2^1426560-1 is not prime. Res64: 43D48005DF4BE5A6 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:19:45] 863*2^1426560-1 is not prime. Res64: F290E8317F3F4539 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:19:46] 867*2^1426560-1 is not prime. Res64: E7A218EF6A54AE32 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:19:46] 873*2^1426560-1 is not prime. Res64: 5E911DAF991D1A6C Time : 0.0 sec. user=mdettweiler [2016-04-17 08:19:46] 675*2^1426561-1 is not prime. Res64: 12236F8626BC6351 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:19:47] 705*2^1426561-1 is not prime. Res64: 7CA93BFCBDE0FB0F Time : 0.0 sec. user=mdettweiler [2016-04-17 08:35:22] 861*2^1426561-1 is not prime. Res64: 08093C87DBBF2A8E Time : 0.0 sec. user=mdettweiler [2016-04-17 08:35:22] 931*2^1426561-1 is not prime. Res64: 37D6CDE4644C05F9 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:35:23] 999*2^1426561-1 is not prime. Res64: 0D54FB9E9A5B2899 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:35:23] 633*2^1426562-1 is not prime. Res64: 0267426AF2F48746 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:35:23] 735*2^1426562-1 is not prime. Res64: 08CA07C35D18BC1A Time : 0.0 sec. user=mdettweiler [2016-04-17 08:37:24] 741*2^1426562-1 is not prime. Res64: 8DEAA8AF52397EE0 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:37:24] 903*2^1426562-1 is not prime. Res64: 49CF4E14D70B539C Time : 0.0 sec. user=mdettweiler [2016-04-17 08:37:25] 619*2^1426563-1 is not prime. Res64: 60E923B6B640A72D Time : 0.0 sec. user=mdettweiler [2016-04-17 08:37:25] 679*2^1426563-1 is not prime. Res64: B305A964B9143432 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:37:25] 805*2^1426563-1 is not prime. Res64: 96C953852B982CBC Time : 0.0 sec. user=mdettweiler [2016-04-17 08:48:46] 859*2^1426563-1 is not prime. Res64: 926FA3ABA160B729 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:48:47] 901*2^1426563-1 is not prime. Res64: DA452F3698673599 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:48:47] 951*2^1426563-1 is not prime. Res64: 5200D163C6081943 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:48:48] 991*2^1426563-1 is not prime. Res64: 16E1268A33EE9AC2 Time : 0.0 sec. user=mdettweiler [2016-04-17 08:48:48] 743*2^1426564-1 is not prime. Res64: 36F75AF3C47BA78D Time : 0.0 sec. user=mdettweiler [2016-04-17 09:04:23] 773*2^1426564-1 is not prime. Res64: FD23C644768EFC93 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:04:25] 819*2^1426564-1 is not prime. Res64: 6D1291A67B51F567 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:04:26] 939*2^1426564-1 is not prime. Res64: 4F5DA4879E897485 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:04:27] 915*2^1426565-1 is not prime. Res64: 85BD240752B566D6 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:04:29] 949*2^1426565-1 is not prime. Res64: B733AC14937516B3 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:20:02] 957*2^1426565-1 is not prime. Res64: E2EBCCA73E895BE0 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:20:03] 683*2^1426566-1 is not prime. Res64: 7451F7AA872257A5 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:20:03] 713*2^1426566-1 is not prime. Res64: C53EA28554D2FE8C Time : 0.0 sec. user=mdettweiler [2016-04-17 09:20:04] 725*2^1426566-1 is not prime. Res64: 9B9B8ECA66A61F71 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:20:04] 761*2^1426566-1 is not prime. Res64: 41DAF35B6ADDEFCA Time : 0.0 sec. user=mdettweiler [2016-04-17 09:21:50] 765*2^1426566-1 is not prime. Res64: 4F9B3271D67047B6 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:21:51] 801*2^1426566-1 is not prime. Res64: E6F3331B382B94AD Time : 0.0 sec. user=mdettweiler [2016-04-17 09:21:51] 875*2^1426566-1 is not prime. Res64: B571891A7E14587A Time : 0.0 sec. user=mdettweiler [2016-04-17 09:21:51] 921*2^1426566-1 is not prime. Res64: A1095F5B1AA7A8CF Time : 0.0 sec. user=mdettweiler [2016-04-17 09:21:52] 975*2^1426566-1 is not prime. Res64: 7F736ADD69B9BD2C Time : 0.0 sec. user=mdettweiler [2016-04-17 09:33:24] 1001*2^1426566-1 is not prime. Res64: FAA3AC48F24B7B7E Time : 0.0 sec. user=mdettweiler [2016-04-17 09:33:25] 673*2^1426567-1 is not prime. Res64: 3257384F5D39A3F2 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:33:25] 741*2^1426567-1 is not prime. Res64: A678CCEBE5B22FD2 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:33:25] 813*2^1426567-1 is not prime. Res64: 0FCC8DDFACB16131 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:33:26] 819*2^1426567-1 is not prime. Res64: 889C60659A816CDB Time : 0.0 sec. user=mdettweiler [2016-04-17 09:49:11] 831*2^1426567-1 is not prime. Res64: 4A23EE45CD2C314D Time : 0.0 sec. user=mdettweiler [2016-04-17 09:49:11] 861*2^1426567-1 is not prime. Res64: 8B7F99F17803EA86 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:49:11] 973*2^1426567-1 is not prime. Res64: 19335B4C8A92F477 Time : 0.0 sec. user=mdettweiler [2016-04-17 09:49:12] 633*2^1426568-1 is not prime. Res64: 2E833D08C7641F0B Time : 0.0 sec. user=mdettweiler [2016-04-17 09:49:12] 657*2^1426568-1 is not prime. Res64: 36CF8B19A990B4B0 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:04:38] 699*2^1426568-1 is not prime. Res64: 9AA6A7F8D1866A3E Time : 0.0 sec. user=mdettweiler [2016-04-17 10:04:39] 753*2^1426568-1 is not prime. Res64: 58805AD7E60BB1C2 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:04:41] 813*2^1426568-1 is not prime. Res64: 5D0517ACDDC64A8F Time : 0.0 sec. user=mdettweiler [2016-04-17 10:04:42] 843*2^1426568-1 is not prime. Res64: 6F9B5621E5AB846D Time : 0.0 sec. user=mdettweiler [2016-04-17 10:04:43] 879*2^1426568-1 is not prime. Res64: CA70F0E9650AE1D7 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:06:35] 923*2^1426568-1 is not prime. Res64: 79932B9198BA3348 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:06:37] 929*2^1426568-1 is not prime. Res64: 058EE8A409817B24 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:06:38] 963*2^1426568-1 is not prime. Res64: 26130A92B8FA4C15 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:06:40] 609*2^1426569-1 is not prime. Res64: 49AF9A59E4EE39A5 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:06:42] 657*2^1426569-1 is not prime. Res64: 3489D816A78B67CF Time : 0.0 sec. user=mdettweiler [2016-04-17 10:17:57] 735*2^1426569-1 is not prime. Res64: 22B4628F3E005325 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:17:58] 751*2^1426569-1 is not prime. Res64: 3955051235D49D85 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:17:58] 861*2^1426569-1 is not prime. Res64: B331ED27FEBF943F Time : 0.0 sec. user=mdettweiler [2016-04-17 10:17:58] 865*2^1426569-1 is not prime. Res64: A0015B1D37B569E0 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:17:59] 867*2^1426569-1 is not prime. Res64: A86367252139C6CC Time : 0.0 sec. user=mdettweiler [2016-04-17 10:33:55] 889*2^1426569-1 is not prime. Res64: DA1629D1FABF087D Time : 0.0 sec. user=mdettweiler [2016-04-17 10:33:56] 895*2^1426569-1 is not prime. Res64: 6357723039910C52 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:33:56] 951*2^1426569-1 is not prime. Res64: 4B720E8FBBFDB65D Time : 0.0 sec. user=mdettweiler [2016-04-17 10:33:56] 603*2^1426570-1 is not prime. Res64: 8E054DED6F61E5FE Time : 0.0 sec. user=mdettweiler [2016-04-17 10:33:57] 645*2^1426570-1 is not prime. Res64: 062151E0B942946A Time : 0.0 sec. user=mdettweiler [2016-04-17 10:49:36] 651*2^1426570-1 is not prime. Res64: 0F571C7BDBFF01C2 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:49:36] 657*2^1426570-1 is not prime. Res64: FFD5DFB3DDBE2612 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:49:37] 791*2^1426570-1 is not prime. Res64: 70EA7E81F1ABBCA8 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:49:37] 803*2^1426570-1 is not prime. Res64: A49A598DE96E9BD9 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:49:37] 887*2^1426570-1 is not prime. Res64: A9528B60487C8E2E Time : 0.0 sec. user=mdettweiler [2016-04-17 10:51:35] 915*2^1426570-1 is not prime. Res64: 14587D6A54DA24EE Time : 0.0 sec. user=mdettweiler [2016-04-17 10:51:36] 945*2^1426570-1 is not prime. Res64: 7BC367C585A49D96 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:51:36] 673*2^1426571-1 is not prime. Res64: 86A30C679BF054B5 Time : 0.0 sec. user=mdettweiler [2016-04-17 10:51:36] 783*2^1426571-1 is not prime. Res64: DC87ACDB0BE6E56F Time : 0.0 sec. user=mdettweiler [2016-04-17 10:51:37] 801*2^1426571-1 is not prime. Res64: 2295B9D544CD89E3 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:02:35] 825*2^1426571-1 is not prime. Res64: 36D643038BE4BF43 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:02:36] 859*2^1426571-1 is not prime. Res64: 17BEB3D41A77F753 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:02:37] 913*2^1426571-1 is not prime. Res64: F59A42288F90C8E1 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:02:38] 939*2^1426571-1 is not prime. Res64: 64ECA8A88EC569F6 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:02:39] 627*2^1426572-1 is not prime. Res64: B33A7888A49D40F0 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:18:42] 629*2^1426572-1 is not prime. Res64: 2A66354F2BD2D582 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:18:43] 633*2^1426572-1 is not prime. Res64: 018E8F4F4CEA751C Time : 0.0 sec. user=mdettweiler [2016-04-17 11:18:43] 695*2^1426572-1 is not prime. Res64: 3AA63DB0946FCA9D Time : 0.0 sec. user=mdettweiler [2016-04-17 11:18:44] 725*2^1426572-1 is not prime. Res64: E5E96C5BAC870601 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:18:44] 737*2^1426572-1 is not prime. Res64: 6EA78BFB9118B8CD Time : 0.0 sec. user=mdettweiler [2016-04-17 11:34:17] 903*2^1426572-1 is not prime. Res64: 7541E071BF9F2D62 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:34:17] 935*2^1426572-1 is not prime. Res64: 506D756DFD90326E Time : 0.0 sec. user=mdettweiler [2016-04-17 11:34:18] 775*2^1426573-1 is not prime. Res64: F36EC2C56DFDCE77 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:34:18] 831*2^1426573-1 is not prime. Res64: 8D53AD1A6BEB73DD Time : 0.0 sec. user=mdettweiler [2016-04-17 11:34:18] 835*2^1426573-1 is not prime. Res64: CBF497189A9CB18A Time : 0.0 sec. user=mdettweiler [2016-04-17 11:36:16] 847*2^1426573-1 is not prime. Res64: 707419898AAFDEC4 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:36:17] 867*2^1426573-1 is not prime. Res64: 25376443FF4567BD Time : 0.0 sec. user=mdettweiler [2016-04-17 11:36:17] 937*2^1426573-1 is not prime. Res64: F7CA341DF8E6B5DC Time : 0.0 sec. user=mdettweiler [2016-04-17 11:36:18] 955*2^1426573-1 is not prime. Res64: DD3A1C793CDAE39D Time : 0.0 sec. user=mdettweiler [2016-04-17 11:36:18] 957*2^1426573-1 is not prime. Res64: 1ABF0409DB12662A Time : 0.0 sec. user=mdettweiler [2016-04-17 11:47:31] 999*2^1426573-1 is not prime. Res64: 48BF03CAA136A78C Time : 0.0 sec. user=mdettweiler [2016-04-17 11:47:31] 623*2^1426574-1 is not prime. Res64: 3FFCED2D7DA6E24C Time : 0.0 sec. user=mdettweiler [2016-04-17 11:47:32] 663*2^1426574-1 is not prime. Res64: 68DA5AB937F6D6C4 Time : 0.0 sec. user=mdettweiler [2016-04-17 11:47:32] 687*2^1426574-1 is not prime. Res64: B2B6ECD64AFE438F Time : 0.0 sec. user=mdettweiler [2016-04-17 11:47:33] 741*2^1426574-1 is not prime. Res64: 102D4F1BC63F6F0F Time : 0.0 sec. user=mdettweiler [2016-04-17 12:03:29] 815*2^1426574-1 is not prime. Res64: 17E2E7C7BC234580 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:03:30] 885*2^1426574-1 is not prime. Res64: C6F8C5E32A57B43F Time : 0.0 sec. user=mdettweiler [2016-04-17 12:03:31] 663*2^1426575-1 is not prime. Res64: E1F5F8B4BAFC6722 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:03:31] 693*2^1426575-1 is not prime. Res64: 9DFE9EFAC498DA3D Time : 0.0 sec. user=mdettweiler [2016-04-17 12:03:32] 789*2^1426575-1 is not prime. Res64: D46B25416FB58B17 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:19:20] 825*2^1426575-1 is not prime. Res64: 4C1D1F025988426E Time : 0.0 sec. user=mdettweiler [2016-04-17 12:19:20] 861*2^1426575-1 is not prime. Res64: A34024A92EEB40BA Time : 0.0 sec. user=mdettweiler [2016-04-17 12:19:21] 909*2^1426575-1 is not prime. Res64: FE0844DE300FB0D7 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:19:21] 961*2^1426575-1 is not prime. Res64: 0927306832883153 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:19:21] 719*2^1426576-1 is not prime. Res64: BB62027D12666F2B Time : 0.0 sec. user=mdettweiler [2016-04-17 12:21:02] 765*2^1426576-1 is not prime. Res64: 8329424A9338EE2E Time : 0.0 sec. user=mdettweiler [2016-04-17 12:21:03] 807*2^1426576-1 is not prime. Res64: FDBA123CDB5FCB44 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:21:03] 833*2^1426576-1 is not prime. Res64: 66ADF840D67CD2E0 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:21:03] 607*2^1426577-1 is not prime. Res64: E0015FE089A3C9F4 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:21:04] 837*2^1426577-1 is not prime. Res64: 462478FDFC2FF566 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:32:28] 865*2^1426577-1 is not prime. Res64: B364B2C6FAC61DC5 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:32:28] 925*2^1426577-1 is not prime. Res64: 2B86812D181F0BAB Time : 0.0 sec. user=mdettweiler [2016-04-17 12:32:28] 931*2^1426577-1 is not prime. Res64: 7FA086F409094F2D Time : 0.0 sec. user=mdettweiler [2016-04-17 12:32:29] 945*2^1426577-1 is not prime. Res64: D3F6043CCFDFD5C5 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:32:29] 955*2^1426577-1 is not prime. Res64: CED750A75E8D90EA Time : 0.0 sec. user=mdettweiler [2016-04-17 12:48:54] 621*2^1426578-1 is not prime. Res64: 68F533E767834910 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:48:54] 671*2^1426578-1 is not prime. Res64: 8C851506168B6545 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:48:55] 731*2^1426578-1 is not prime. Res64: 343A3FE4ECA67965 Time : 0.0 sec. user=mdettweiler [2016-04-17 12:48:55] 773*2^1426578-1 is not prime. Res64: F381E060A260266C Time : 0.0 sec. user=mdettweiler [2016-04-17 12:48:56] 893*2^1426578-1 is not prime. Res64: AA6B4A3CFC26BC8A Time : 0.0 sec. user=mdettweiler [2016-04-17 13:04:08] 915*2^1426578-1 is not prime. Res64: 9BDB6A2D5F89B575 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:04:09] 1001*2^1426578-1 is not prime. Res64: 4FC0A409FC0B21AF Time : 0.0 sec. user=mdettweiler [2016-04-17 13:04:10] 741*2^1426579-1 is not prime. Res64: 01D286F3D54234A5 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:04:11] 765*2^1426579-1 is not prime. Res64: 82C8F995632A9D26 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:04:12] 793*2^1426579-1 is not prime. Res64: 3FE84E66A64E00B7 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:05:43] 853*2^1426579-1 is not prime. Res64: 7DEDA9BE0E95C482 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:05:44] 883*2^1426579-1 is not prime. Res64: C57500333700D4EB Time : 0.0 sec. user=mdettweiler [2016-04-17 13:05:45] 931*2^1426579-1 is not prime. Res64: 5550D9CBA609FC09 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:05:46] 975*2^1426579-1 is not prime. Res64: C43705EBCC8F9D96 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:05:47] 803*2^1426580-1 is not prime. Res64: B56BE571D6AB8209 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:17:00] 833*2^1426580-1 is not prime. Res64: 789B5505C44582B6 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:17:00] 875*2^1426580-1 is not prime. Res64: B1B045E1FAA2CDD6 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:17:01] 899*2^1426580-1 is not prime. Res64: FCE0D2C3359D60A9 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:17:02] 963*2^1426580-1 is not prime. Res64: A251FDAC3A0F1F25 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:17:02] 999*2^1426580-1 is not prime. Res64: 6654F14856C61214 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:33:33] 669*2^1426581-1 is not prime. Res64: 0CEF5C1DF95746CC Time : 0.0 sec. user=mdettweiler [2016-04-17 13:33:34] 685*2^1426581-1 is not prime. Res64: E93596CD652632D6 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:33:34] 691*2^1426581-1 is not prime. Res64: 99648F02FF124DCD Time : 0.0 sec. user=mdettweiler [2016-04-17 13:33:35] 859*2^1426581-1 is not prime. Res64: 6F4BD652216DEA9D Time : 0.0 sec. user=mdettweiler [2016-04-17 13:33:35] 889*2^1426581-1 is not prime. Res64: 43F0FEAF01C9875E Time : 0.0 sec. user=mdettweiler [2016-04-17 13:48:59] 997*2^1426581-1 is not prime. Res64: 7AA0D0593B95B748 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:48:59] 999*2^1426581-1 is not prime. Res64: 7186F275CE15570E Time : 0.0 sec. user=mdettweiler [2016-04-17 13:48:59] 657*2^1426582-1 is not prime. Res64: 84F15FC3EEE042D3 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:49:00] 665*2^1426582-1 is not prime. Res64: 7B48352B513CB372 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:49:00] 713*2^1426582-1 is not prime. Res64: D79657024692AEC9 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:50:27] 741*2^1426582-1 is not prime. Res64: 766281D1898012FB Time : 0.0 sec. user=mdettweiler [2016-04-17 13:50:27] 863*2^1426582-1 is not prime. Res64: 59A87BD711A264B9 Time : 0.0 sec. user=mdettweiler [2016-04-17 13:50:28] 917*2^1426582-1 is not prime. Res64: 7751304ACF6317CE Time : 0.0 sec. user=mdettweiler [2016-04-17 13:50:28] 947*2^1426582-1 is not prime. Res64: 1E346F4815BAC26A Time : 0.0 sec. user=mdettweiler [2016-04-17 13:50:28] 987*2^1426582-1 is not prime. Res64: 9F46C01E4F03D6EB Time : 0.0 sec. user=mdettweiler [2016-04-17 14:01:37] 705*2^1426583-1 is not prime. Res64: 397D6E07AC3FCC27 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:01:38] 729*2^1426583-1 is not prime. Res64: 2AE2146E9A6C48F1 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:01:40] 763*2^1426583-1 is not prime. Res64: A316FBFBF7F72D53 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:01:40] 939*2^1426583-1 is not prime. Res64: 9CFDBC8A7D07A0C5 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:01:41] 943*2^1426583-1 is not prime. Res64: A8378CDDFD13E9A0 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:18:08] 609*2^1426584-1 is not prime. Res64: 92CC9753C3B4B91D Time : 0.0 sec. user=mdettweiler [2016-04-17 14:18:08] 705*2^1426584-1 is not prime. Res64: 8F370AA0424E5BE0 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:18:09] 759*2^1426584-1 is not prime. Res64: D5364811CA776938 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:18:09] 815*2^1426584-1 is not prime. Res64: 2444B342DCF06ABE Time : 0.0 sec. user=mdettweiler [2016-04-17 14:18:09] 645*2^1426585-1 is not prime. Res64: 93553E2036FFA29D Time : 0.0 sec. user=mdettweiler [2016-04-17 14:33:43] 717*2^1426585-1 is not prime. Res64: 513EC36E7000F9D1 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:33:44] 775*2^1426585-1 is not prime. Res64: 97F4D2FA73BF9920 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:33:44] 777*2^1426585-1 is not prime. Res64: A91DF246872A6011 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:33:45] 799*2^1426585-1 is not prime. Res64: 78C2A323482348ED Time : 0.0 sec. user=mdettweiler [2016-04-17 14:33:45] 831*2^1426585-1 is not prime. Res64: E507D19623932323 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:35:22] 937*2^1426585-1 is not prime. Res64: CA592F612BC03947 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:35:23] 633*2^1426586-1 is not prime. Res64: D38DACDC9117604E Time : 0.0 sec. user=mdettweiler [2016-04-17 14:35:23] 635*2^1426586-1 is not prime. Res64: 59C28AD32F1EE42B Time : 0.0 sec. user=mdettweiler [2016-04-17 14:35:24] 741*2^1426586-1 is not prime. Res64: FBA00AD202713E80 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:35:24] 873*2^1426586-1 is not prime. Res64: 73BC8E75138ADBA6 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:46:49] 987*2^1426586-1 is not prime. Res64: B64F83B991FB38B5 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:46:49] 1001*2^1426586-1 is not prime. Res64: 24932CADB3D67421 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:46:50] 649*2^1426587-1 is not prime. Res64: 9E7E86603FF8260A Time : 0.0 sec. user=mdettweiler [2016-04-17 14:46:50] 765*2^1426587-1 is not prime. Res64: 8B8A6E4AC6E4B3D2 Time : 0.0 sec. user=mdettweiler [2016-04-17 14:46:51] 895*2^1426587-1 is not prime. Res64: 14612CD204B6647B Time : 0.0 sec. user=mdettweiler [2016-04-17 15:04:59] 931*2^1426587-1 is not prime. Res64: 00EF8C1FD5B44989 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:05:01] 647*2^1426588-1 is not prime. Res64: 072DE94734873661 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:05:02] 749*2^1426588-1 is not prime. Res64: 5F110E3FCFBAB4F3 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:05:03] 843*2^1426588-1 is not prime. Res64: 9E54F3D1DB4B94E2 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:05:05] 923*2^1426588-1 is not prime. Res64: D1D733078CFCBF10 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:21:31] 929*2^1426588-1 is not prime. Res64: 6026E6AFE27F2902 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:21:31] 615*2^1426589-1 is not prime. Res64: 5EE22B57F2E72104 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:21:32] 631*2^1426589-1 is not prime. Res64: E50F4759121717CF Time : 0.0 sec. user=mdettweiler [2016-04-17 15:21:32] 691*2^1426589-1 is not prime. Res64: 28C9A0CD4011990B Time : 0.0 sec. user=mdettweiler [2016-04-17 15:21:32] 727*2^1426589-1 is not prime. Res64: 77C4FAA9406ACB55 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:23:30] 745*2^1426589-1 is not prime. Res64: 6E8953FEF2A9130E Time : 0.0 sec. user=mdettweiler [2016-04-17 15:23:30] 795*2^1426589-1 is not prime. Res64: 5D01A4D0C9793E06 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:23:31] 825*2^1426589-1 is not prime. Res64: 3C998B19BF994121 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:23:31] 831*2^1426589-1 is not prime. Res64: 8B23D86B4E50B68A Time : 0.0 sec. user=mdettweiler [2016-04-17 15:23:31] 837*2^1426589-1 is not prime. Res64: 1C95E1CD80106BA7 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:34:32] 885*2^1426589-1 is not prime. Res64: C4A2D01DF3EB0DC2 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:34:32] 889*2^1426589-1 is not prime. Res64: 6B1FD28E821C096A Time : 0.0 sec. user=mdettweiler [2016-04-17 15:34:32] 931*2^1426589-1 is not prime. Res64: A14075231C6EBE94 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:34:32] 615*2^1426590-1 is not prime. Res64: B81D62D6CD08F2F2 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:34:33] 651*2^1426590-1 is not prime. Res64: 3FE9E6AEB82C1F4C Time : 0.0 sec. user=mdettweiler [2016-04-17 15:51:39] 873*2^1426590-1 is not prime. Res64: 2D6999EB5EC705B0 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:51:39] 965*2^1426590-1 is not prime. Res64: 4F326C2F4CE08690 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:51:39] 601*2^1426591-1 is not prime. Res64: D7B350C992E20553 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:51:40] 649*2^1426591-1 is not prime. Res64: 243ACAF75D610313 Time : 0.0 sec. user=mdettweiler [2016-04-17 15:51:40] 651*2^1426591-1 is not prime. Res64: 5267641728115C40 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:07:05] 829*2^1426591-1 is not prime. Res64: 89DBEA7D60F5283F Time : 0.0 sec. user=mdettweiler [2016-04-17 16:07:06] 843*2^1426591-1 is not prime. Res64: 7BB24E95090ABE6E Time : 0.0 sec. user=mdettweiler [2016-04-17 16:07:06] 933*2^1426591-1 is not prime. Res64: A1C3CCDCECC295FB Time : 0.0 sec. user=mdettweiler [2016-04-17 16:07:06] 961*2^1426591-1 is not prime. Res64: 20F8B4832003966D Time : 0.0 sec. user=mdettweiler [2016-04-17 16:07:07] 973*2^1426591-1 is not prime. Res64: E73557E02EC07971 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:09:06] 975*2^1426591-1 is not prime. Res64: EB208F6621CD0CFD Time : 0.0 sec. user=mdettweiler [2016-04-17 16:09:06] 609*2^1426592-1 is not prime. Res64: B3AAC25E8BF3822E Time : 0.0 sec. user=mdettweiler [2016-04-17 16:09:07] 635*2^1426592-1 is not prime. Res64: BC172F041BB5FEBC Time : 0.0 sec. user=mdettweiler [2016-04-17 16:09:07] 725*2^1426592-1 is not prime. Res64: 626AE1A1DD1EE9B6 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:09:07] 959*2^1426592-1 is not prime. Res64: A74F822A1812088E Time : 0.0 sec. user=mdettweiler [2016-04-17 16:19:58] 999*2^1426592-1 is not prime. Res64: F9353F603FA4F9B1 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:19:58] 657*2^1426593-1 is not prime. Res64: A53FFB161E9AD72A Time : 0.0 sec. user=mdettweiler [2016-04-17 16:19:58] 681*2^1426593-1 is not prime. Res64: 550B7BCCE7A8C78A Time : 0.0 sec. user=mdettweiler [2016-04-17 16:19:59] 769*2^1426593-1 is not prime. Res64: E7D4856E873A860C Time : 0.0 sec. user=mdettweiler [2016-04-17 16:19:59] 789*2^1426593-1 is not prime. Res64: F9767850E17BAA89 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:37:25] 849*2^1426593-1 is not prime. Res64: EEE5B968957ABCB1 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:37:25] 991*2^1426593-1 is not prime. Res64: D866FFC7DFD8BFC1 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:37:25] 605*2^1426594-1 is not prime. Res64: 6C950AAB1CEEA0E0 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:37:25] 675*2^1426594-1 is not prime. Res64: 9CEA94FE6D8AEEC0 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:37:26] 915*2^1426594-1 is not prime. Res64: A09A97A0518A3883 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:53:18] 945*2^1426594-1 is not prime. Res64: 79C3BF05B2468A3B Time : 0.0 sec. user=mdettweiler [2016-04-17 16:53:18] 643*2^1426595-1 is not prime. Res64: 45B45ADB12DB657E Time : 0.0 sec. user=mdettweiler [2016-04-17 16:53:19] 735*2^1426595-1 is not prime. Res64: A2C71FD1703610BB Time : 0.0 sec. user=mdettweiler [2016-04-17 16:53:19] 853*2^1426595-1 is not prime. Res64: F960B2706787CD26 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:53:20] 861*2^1426595-1 is not prime. Res64: F596C8250944FE62 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:55:19] 871*2^1426595-1 is not prime. Res64: 6E1DD4E77AA442DF Time : 0.0 sec. user=mdettweiler [2016-04-17 16:55:20] 909*2^1426595-1 is not prime. Res64: 38EB4F515A9F718B Time : 0.0 sec. user=mdettweiler [2016-04-17 16:55:20] 627*2^1426596-1 is not prime. Res64: 9EE6B43945481E7B Time : 0.0 sec. user=mdettweiler [2016-04-17 16:55:20] 725*2^1426596-1 is not prime. Res64: 89113B52B3E7D3A7 Time : 0.0 sec. user=mdettweiler [2016-04-17 16:55:21] 767*2^1426596-1 is not prime. Res64: 0537F69719F4DD86 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:06:14] 777*2^1426596-1 is not prime. Res64: F8D08E046B68B71B Time : 0.0 sec. user=mdettweiler [2016-04-17 17:06:16] 649*2^1426597-1 is not prime. Res64: 8F96FDDDBEBF8251 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:06:17] 769*2^1426597-1 is not prime. Res64: C54F7E2B355C3910 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:06:19] 771*2^1426597-1 is not prime. Res64: 7D9642E348727C41 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:06:20] 777*2^1426597-1 is not prime. Res64: 8BE5D455C1EF818D Time : 0.0 sec. user=mdettweiler [2016-04-17 17:22:52] 831*2^1426597-1 is not prime. Res64: 237160C3E98FCE26 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:22:52] 919*2^1426597-1 is not prime. Res64: DCCBA409FCBCA735 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:22:52] 961*2^1426597-1 is not prime. Res64: 317957568844022D Time : 0.0 sec. user=mdettweiler [2016-04-17 17:22:53] 985*2^1426597-1 is not prime. Res64: 57BF46510643B371 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:22:53] 755*2^1426598-1 is not prime. Res64: 479C19F57B5ADD78 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:38:11] 761*2^1426598-1 is not prime. Res64: 43545BE04F7C096A Time : 0.0 sec. user=mdettweiler [2016-04-17 17:38:11] 831*2^1426598-1 is not prime. Res64: 228E420A8D615C7B Time : 0.0 sec. user=mdettweiler [2016-04-17 17:38:12] 867*2^1426598-1 is not prime. Res64: F1436171DBDD0B46 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:38:12] 945*2^1426598-1 is not prime. Res64: 375886C20780203F Time : 0.0 sec. user=mdettweiler [2016-04-17 17:38:13] 995*2^1426598-1 is not prime. Res64: FC1448BE4CE16F8C Time : 0.0 sec. user=mdettweiler [2016-04-17 17:40:19] 619*2^1426599-1 is not prime. Res64: 0BC39ED4C559484D Time : 0.0 sec. user=mdettweiler [2016-04-17 17:40:19] 705*2^1426599-1 is not prime. Res64: 9E93E6CC2CBCA405 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:40:20] 789*2^1426599-1 is not prime. Res64: FB1CB9714100892A Time : 0.0 sec. user=mdettweiler [2016-04-17 17:40:20] 829*2^1426599-1 is not prime. Res64: BC9D12E442618ED2 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:40:20] 909*2^1426599-1 is not prime. Res64: 6A9CC292A3639DFB Time : 0.0 sec. user=mdettweiler [2016-04-17 17:51:21] 615*2^1426600-1 is not prime. Res64: 33A7548B5F6A5D40 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:51:22] 635*2^1426600-1 is not prime. Res64: 8BC9BFE6158F2315 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:51:22] 675*2^1426600-1 is not prime. Res64: 6C0F014DF2515174 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:51:22] 677*2^1426600-1 is not prime. Res64: 9DE8C31210DA0049 Time : 0.0 sec. user=mdettweiler [2016-04-17 17:51:23] 699*2^1426600-1 is not prime. Res64: 8A87362119E6E0B4 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:07:52] 843*2^1426600-1 is not prime. Res64: 1CF02C8AE5CF3C35 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:07:52] 649*2^1426601-1 is not prime. Res64: 4F02284FF3E8B83D Time : 0.0 sec. user=mdettweiler [2016-04-17 18:07:53] 715*2^1426601-1 is not prime. Res64: 9DD12904F3BF4156 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:07:53] 781*2^1426601-1 is not prime. Res64: F805F8FA9390EC6F Time : 0.0 sec. user=mdettweiler [2016-04-17 18:07:54] 799*2^1426601-1 is not prime. Res64: 66214D264D703158 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:24:06] 909*2^1426601-1 is not prime. Res64: 3709849ED8F747BA Time : 0.0 sec. user=mdettweiler [2016-04-17 18:24:07] 937*2^1426601-1 is not prime. Res64: E14C7D66A0142E9F Time : 0.0 sec. user=mdettweiler [2016-04-17 18:24:07] 683*2^1426602-1 is not prime. Res64: C2D4C56DF66A1C44 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:24:07] 873*2^1426602-1 is not prime. Res64: C4BDE8385FA88EE2 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:24:08] 693*2^1426603-1 is not prime. Res64: 005E3B7113A9B77F Time : 0.0 sec. user=mdettweiler [2016-04-17 18:26:01] 709*2^1426603-1 is not prime. Res64: F8AAA50560117CCE Time : 0.0 sec. user=mdettweiler [2016-04-17 18:26:02] 819*2^1426603-1 is not prime. Res64: 21864D671C863BE1 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:26:02] 749*2^1426604-1 is not prime. Res64: E27C5D32B48D94C5 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:26:02] 857*2^1426604-1 is not prime. Res64: 6EC9F033FEB10947 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:26:02] 903*2^1426604-1 is not prime. Res64: 4368524D3EDE0143 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:37:43] 609*2^1426605-1 is not prime. Res64: 408E234722DACAD4 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:37:44] 667*2^1426605-1 is not prime. Res64: 7BA59F81268EFA70 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:37:44] 691*2^1426605-1 is not prime. Res64: 645D907442F09164 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:37:44] 717*2^1426605-1 is not prime. Res64: 2437BAFC1655E898 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:37:45] 721*2^1426605-1 is not prime. Res64: B10DDC1A4BDCC330 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:55:18] 759*2^1426605-1 is not prime. Res64: CEFAA4DE036ECCBB Time : 0.0 sec. user=mdettweiler [2016-04-17 18:55:19] 891*2^1426605-1 is not prime. Res64: F794C9269924C8B5 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:55:19] 937*2^1426605-1 is not prime. Res64: 2C07B6955ABF7680 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:55:19] 997*2^1426605-1 is not prime. Res64: 4170D97E042297B2 Time : 0.0 sec. user=mdettweiler [2016-04-17 18:55:19] 999*2^1426605-1 is not prime. Res64: 54AB4C9254A5E644 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:10:40] 645*2^1426606-1 is not prime. Res64: B723D5D9D3A7E23E Time : 0.0 sec. user=mdettweiler [2016-04-17 19:10:41] 657*2^1426606-1 is not prime. Res64: 7A40ED0972061B49 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:10:41] 857*2^1426606-1 is not prime. Res64: 47666CDDB447CE47 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:10:41] 873*2^1426606-1 is not prime. Res64: 415C83C8F689A3EF Time : 0.0 sec. user=mdettweiler [2016-04-17 19:10:42] 957*2^1426606-1 is not prime. Res64: 6A29F9B786A96E2D Time : 0.0 sec. user=mdettweiler [2016-04-17 19:12:52] 603*2^1426607-1 is not prime. Res64: 993C62E3D92E8605 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:12:53] 649*2^1426607-1 is not prime. Res64: 149C0A9968F4C947 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:12:53] 651*2^1426607-1 is not prime. Res64: 59D89A0C59F3322D Time : 0.0 sec. user=mdettweiler [2016-04-17 19:12:53] 831*2^1426607-1 is not prime. Res64: EE9570466596B559 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:12:54] 885*2^1426607-1 is not prime. Res64: D0C74CF54ECFFFDA Time : 0.0 sec. user=mdettweiler [2016-04-17 19:24:23] 973*2^1426607-1 is not prime. Res64: F830EF3148B82D26 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:24:23] 985*2^1426607-1 is not prime. Res64: AC57C3C4FD5AB9C6 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:24:24] 707*2^1426608-1 is not prime. Res64: E5751B24276ED0C9 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:24:24] 725*2^1426608-1 is not prime. Res64: 43254B79E8CC99C4 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:24:25] 767*2^1426608-1 is not prime. Res64: 900AEA848AEF0DD0 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:41:44] 789*2^1426608-1 is not prime. Res64: 21BDEF5F8D2C1125 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:41:45] 915*2^1426608-1 is not prime. Res64: 88BC40E9A827B254 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:41:45] 977*2^1426608-1 is not prime. Res64: 0FD18CE3AEB9C87E Time : 0.0 sec. user=mdettweiler [2016-04-17 19:41:45] 999*2^1426608-1 is not prime. Res64: 4EDC672A8328B057 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:41:45] 811*2^1426609-1 is not prime. Res64: 5F7EABEC4E26473A Time : 0.0 sec. user=mdettweiler [2016-04-17 19:56:43] 885*2^1426609-1 is not prime. Res64: 5FB90FBE4FBE3712 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:56:43] 895*2^1426609-1 is not prime. Res64: 967829F4BE5EA930 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:56:44] 945*2^1426609-1 is not prime. Res64: 488698D6C74FEE0C Time : 0.0 sec. user=mdettweiler [2016-04-17 19:56:44] 967*2^1426609-1 is not prime. Res64: 24737CA4CC0CAD80 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:56:44] 665*2^1426610-1 is not prime. Res64: EA9F8B3247ECD7B1 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:58:52] 797*2^1426610-1 is not prime. Res64: 57D504647A15A8D7 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:58:52] 851*2^1426610-1 is not prime. Res64: B02F06294EC13BBC Time : 0.0 sec. user=mdettweiler [2016-04-17 19:58:53] 921*2^1426610-1 is not prime. Res64: 43837D19936B6812 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:58:53] 923*2^1426610-1 is not prime. Res64: 869B4EFA265A10A2 Time : 0.0 sec. user=mdettweiler [2016-04-17 19:58:53] 711*2^1426611-1 is not prime. Res64: 92B3851174C2E001 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:09:58] 979*2^1426611-1 is not prime. Res64: F2E1AC5F038A4B96 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:09:59] 999*2^1426611-1 is not prime. Res64: CB321101CDB3B8FF Time : 0.0 sec. user=mdettweiler [2016-04-17 20:09:59] 603*2^1426612-1 is not prime. Res64: 1F3AFAE62479C81B Time : 0.0 sec. user=mdettweiler [2016-04-17 20:10:00] 617*2^1426612-1 is not prime. Res64: 108D8810DF4FAE04 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:10:00] 657*2^1426612-1 is not prime. Res64: 0C72477744386498 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:26:26] 665*2^1426612-1 is not prime. Res64: EBB72DE154B90A38 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:26:27] 687*2^1426612-1 is not prime. Res64: 963E342F667B771F Time : 0.0 sec. user=mdettweiler [2016-04-17 20:26:27] 863*2^1426612-1 is not prime. Res64: E781155150D5B66C Time : 0.0 sec. user=mdettweiler [2016-04-17 20:26:28] 939*2^1426612-1 is not prime. Res64: F18F36BF77829AE6 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:26:28] 983*2^1426612-1 is not prime. Res64: 34521F408385DAEA Time : 0.0 sec. user=mdettweiler [2016-04-17 20:41:39] 995*2^1426612-1 is not prime. Res64: 11FEA63FBF9420C9 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:41:39] 627*2^1426613-1 is not prime. Res64: 7A0CC88118ED31BA Time : 0.0 sec. user=mdettweiler [2016-04-17 20:41:40] 697*2^1426613-1 is not prime. Res64: B53D001D7DC17B9B Time : 0.0 sec. user=mdettweiler [2016-04-17 20:41:40] 727*2^1426613-1 is not prime. Res64: CA7349B9EFD4E202 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:41:41] 769*2^1426613-1 is not prime. Res64: 02085F156DDDCD0E Time : 0.0 sec. user=mdettweiler [2016-04-17 20:43:41] 775*2^1426613-1 is not prime. Res64: A5023E1A6F666E66 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:43:42] 871*2^1426613-1 is not prime. Res64: 520686782504C412 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:43:42] 879*2^1426613-1 is not prime. Res64: 3C3FF939DF270CF2 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:43:43] 889*2^1426613-1 is not prime. Res64: 6C13145F0C97675C Time : 0.0 sec. user=mdettweiler [2016-04-17 20:43:43] 945*2^1426613-1 is not prime. Res64: 620CCDF3B1A2FCB5 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:54:49] 979*2^1426613-1 is not prime. Res64: 2C868CBF25CDEBBC Time : 0.0 sec. user=mdettweiler [2016-04-17 20:54:50] 641*2^1426614-1 is not prime. Res64: 8079291CB753E1F5 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:54:50] 681*2^1426614-1 is not prime. Res64: 86CEC2F59167CAEB Time : 0.0 sec. user=mdettweiler [2016-04-17 20:54:51] 705*2^1426614-1 is not prime. Res64: 39C3830C02C7B3D6 Time : 0.0 sec. user=mdettweiler [2016-04-17 20:54:51] 783*2^1426614-1 is not prime. Res64: F1072777656D7150 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:11:13] 791*2^1426614-1 is not prime. Res64: D197B1DA5B189B3B Time : 0.0 sec. user=mdettweiler [2016-04-17 21:11:13] 797*2^1426614-1 is not prime. Res64: E2559680B0F9F44B Time : 0.0 sec. user=mdettweiler [2016-04-17 21:11:14] 881*2^1426614-1 is not prime. Res64: B2208DF10CC2B492 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:11:14] 941*2^1426614-1 is not prime. Res64: 99968D929F912170 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:11:15] 975*2^1426614-1 is not prime. Res64: 3B5B27A9F1620AF1 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:26:29] 983*2^1426614-1 is not prime. Res64: 31A672FB003019F1 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:26:29] 679*2^1426615-1 is not prime. Res64: EFFDF84000187997 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:26:30] 709*2^1426615-1 is not prime. Res64: B541FA7791C9C4A1 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:26:30] 783*2^1426615-1 is not prime. Res64: 6E40F70A9915FB31 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:26:31] 871*2^1426615-1 is not prime. Res64: 7EC2A0D90DD4B024 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:28:31] 873*2^1426615-1 is not prime. Res64: F325DFFD4E71A282 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:28:31] 909*2^1426615-1 is not prime. Res64: 7285B8C46EFFE310 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:28:31] 939*2^1426615-1 is not prime. Res64: 6FADBC300ADA9B6F Time : 0.0 sec. user=mdettweiler [2016-04-17 21:28:32] 999*2^1426615-1 is not prime. Res64: CEBD5567C86991DA Time : 0.0 sec. user=mdettweiler [2016-04-17 21:28:32] 677*2^1426616-1 is not prime. Res64: C1FAF7164AA82E5B Time : 0.0 sec. user=mdettweiler [2016-04-17 21:39:40] 747*2^1426616-1 is not prime. Res64: 6D3B0C0403451128 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:39:40] 755*2^1426616-1 is not prime. Res64: 31D9688651A2C9BF Time : 0.0 sec. user=mdettweiler [2016-04-17 21:39:41] 869*2^1426616-1 is not prime. Res64: 403E8A7224ACFDD1 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:39:41] 945*2^1426616-1 is not prime. Res64: 2AFF5E8404C42BC9 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:39:42] 637*2^1426617-1 is not prime. Res64: 420A160B366F71FB Time : 0.0 sec. user=mdettweiler [2016-04-17 21:56:14] 649*2^1426617-1 is not prime. Res64: B7DC516E65B7877B Time : 0.0 sec. user=mdettweiler [2016-04-17 21:56:15] 675*2^1426617-1 is not prime. Res64: 4D19D6F3CF1FE14D Time : 0.0 sec. user=mdettweiler [2016-04-17 21:56:15] 747*2^1426617-1 is not prime. Res64: 3E32CE87A337CE68 Time : 0.0 sec. user=mdettweiler [2016-04-17 21:56:16] 861*2^1426617-1 is not prime. Res64: C1F9182B5CEB658E Time : 0.0 sec. user=mdettweiler [2016-04-17 21:56:16] 857*2^1426618-1 is not prime. Res64: E1469CADC8391045 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:12:01] 923*2^1426618-1 is not prime. Res64: 1A946D3D38931FA4 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:12:01] 941*2^1426618-1 is not prime. Res64: 47D7F7EA9050BC1A Time : 0.0 sec. user=mdettweiler [2016-04-17 22:12:02] 601*2^1426619-1 is not prime. Res64: B1E06F2A4ECA11D3 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:12:02] 621*2^1426619-1 is not prime. Res64: 2DEDA5F5354D2ECA Time : 0.0 sec. user=mdettweiler [2016-04-17 22:12:02] 643*2^1426619-1 is not prime. Res64: BAFEB2284A89AC5A Time : 0.0 sec. user=mdettweiler [2016-04-17 22:14:35] 759*2^1426619-1 is not prime. Res64: 57DC340E37C8B5CA Time : 0.0 sec. user=mdettweiler [2016-04-17 22:14:35] 799*2^1426619-1 is not prime. Res64: EC397F254241454A Time : 0.0 sec. user=mdettweiler [2016-04-17 22:14:35] 993*2^1426619-1 is not prime. Res64: A5F8D9D6D7DD4FA8 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:14:36] 717*2^1426620-1 is not prime. Res64: 16FBB3602D769473 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:14:36] 765*2^1426620-1 is not prime. Res64: 2281FFA151F4A790 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:28:24] 777*2^1426620-1 is not prime. Res64: 9627D7DD0AC5A27C Time : 0.0 sec. user=mdettweiler [2016-04-17 22:28:24] 839*2^1426620-1 is not prime. Res64: 959841C51BA6F627 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:28:24] 845*2^1426620-1 is not prime. Res64: 33D784EEBEB3A2F1 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:28:25] 915*2^1426620-1 is not prime. Res64: 7F698620C4DF3280 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:28:25] 927*2^1426620-1 is not prime. Res64: 32C24BE36BF7B8FB Time : 0.0 sec. user=mdettweiler [2016-04-17 22:48:37] 651*2^1426621-1 is not prime. Res64: 8CDAD93BCD57EFBE Time : 0.0 sec. user=mdettweiler [2016-04-17 22:48:37] 741*2^1426621-1 is not prime. Res64: 42B5F2AAB21BE720 Time : 0.0 sec. user=mdettweiler [2016-04-17 22:48:37] 777*2^1426621-1 is not prime. Res64: 05FC6FDC060A254A Time : 0.0 sec. user=mdettweiler [2016-04-17 22:48:37] 927*2^1426621-1 is not prime. Res64: D457F17CCCB0522F Time : 0.0 sec. user=mdettweiler [2016-04-17 22:48:38] 937*2^1426621-1 is not prime. Res64: C5D6D5D65AD5F66C Time : 0.0 sec. user=mdettweiler [2016-04-17 23:08:28] 957*2^1426621-1 is not prime. Res64: 6A19963A2171A6DE Time : 0.0 sec. user=mdettweiler [2016-04-17 23:08:29] 961*2^1426621-1 is not prime. Res64: FDE08D509B81066B Time : 0.0 sec. user=mdettweiler [2016-04-17 23:08:29] 987*2^1426621-1 is not prime. Res64: EB7258E016CEAEA8 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:08:30] 743*2^1426622-1 is not prime. Res64: 7E272FCA5EEC9A5E Time : 0.0 sec. user=mdettweiler [2016-04-17 23:08:30] 755*2^1426622-1 is not prime. Res64: FD3644DA69A6F1A1 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:10:30] 785*2^1426622-1 is not prime. Res64: F858991BA091D6C8 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:10:30] 935*2^1426622-1 is not prime. Res64: 0ADC72CCD589B6BF Time : 0.0 sec. user=mdettweiler [2016-04-17 23:10:31] 625*2^1426623-1 is not prime. Res64: 5564F48F7752FC75 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:10:31] 685*2^1426623-1 is not prime. Res64: 5F772E10F07B0292 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:10:32] 751*2^1426623-1 is not prime. Res64: 5176A6E7F5324AE9 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:22:29] 871*2^1426623-1 is not prime. Res64: BD318285E491D0DB Time : 0.0 sec. user=mdettweiler [2016-04-17 23:22:29] 895*2^1426623-1 is not prime. Res64: E2D0A0D11F38A112 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:22:30] 675*2^1426624-1 is not prime. Res64: 7CB7BD8FE76D3D20 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:22:30] 803*2^1426624-1 is not prime. Res64: 2D8D9AAAE068A346 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:22:31] 813*2^1426624-1 is not prime. Res64: AFE005FA58E5038F Time : 0.0 sec. user=mdettweiler [2016-04-17 23:38:25] 843*2^1426624-1 is not prime. Res64: 09AF8D958DF87ADB Time : 0.0 sec. user=mdettweiler [2016-04-17 23:38:25] 917*2^1426624-1 is not prime. Res64: A11ADB3D1AC82919 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:38:25] 923*2^1426624-1 is not prime. Res64: 7AE80A57635DD670 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:38:26] 947*2^1426624-1 is not prime. Res64: 449D5CD0DF03BE88 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:38:26] 975*2^1426624-1 is not prime. Res64: 6460A2027DDAA544 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:54:22] 607*2^1426625-1 is not prime. Res64: 8288FA3CBB80F84A Time : 0.0 sec. user=mdettweiler [2016-04-17 23:54:23] 837*2^1426625-1 is not prime. Res64: E592C2EB1ADE3712 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:54:23] 867*2^1426625-1 is not prime. Res64: 7D50D5DED0BE128F Time : 0.0 sec. user=mdettweiler [2016-04-17 23:54:24] 915*2^1426625-1 is not prime. Res64: 554B0638DEFBB2DF Time : 0.0 sec. user=mdettweiler [2016-04-17 23:54:24] 925*2^1426625-1 is not prime. Res64: 166758E9C8607F16 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:55:53] 955*2^1426625-1 is not prime. Res64: E2DF931EFB38BCAD Time : 0.0 sec. user=mdettweiler [2016-04-17 23:55:54] 657*2^1426626-1 is not prime. Res64: 00046B5407B4C716 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:55:54] 783*2^1426626-1 is not prime. Res64: 5082940837DBE437 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:55:55] 833*2^1426626-1 is not prime. Res64: 6D7381BE816448E4 Time : 0.0 sec. user=mdettweiler [2016-04-17 23:55:55] 843*2^1426626-1 is not prime. Res64: A715D01F72042F5B Time : 0.0 sec.