user=mdettweiler [2016-02-04 00:15:45] 889*2^1421325-1 is not prime. Res64: 37160F02B60C8B2B Time : 0.0 sec. user=mdettweiler [2016-02-04 00:15:46] 781*2^1421325-1 is not prime. Res64: 320236320B46E9A8 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:15:46] 713*2^1421326-1 is not prime. Res64: E8FB686C8DD44E4F Time : 0.0 sec. user=mdettweiler [2016-02-04 00:15:47] 867*2^1421325-1 is not prime. Res64: 4A5470CFCD7A7161 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:15:49] 801*2^1421326-1 is not prime. Res64: 95B3398334E83A09 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:15:50] 825*2^1421326-1 is not prime. Res64: 7F5EF50D2323806F Time : 0.0 sec. user=mdettweiler [2016-02-04 00:33:55] 609*2^1421327-1 is not prime. Res64: 63FAAA33019D51C3 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:33:55] 619*2^1421327-1 is not prime. Res64: 6AC71E7EC039C8F6 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:33:57] 621*2^1421327-1 is not prime. Res64: 622DED5699D4F25F Time : 0.0 sec. user=mdettweiler [2016-02-04 00:33:57] 729*2^1421327-1 is not prime. Res64: 359B8709A9B6C7AF Time : 0.0 sec. user=mdettweiler [2016-02-04 00:33:58] 861*2^1421326-1 is not prime. Res64: C5CEA7C66B97E4AE Time : 0.0 sec. user=mdettweiler [2016-02-04 00:33:58] 983*2^1421326-1 is not prime. Res64: E68F8C8A74C01EA5 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:51:37] 763*2^1421327-1 is not prime. Res64: 3BB32B64B8DBB79B Time : 0.0 sec. user=mdettweiler [2016-02-04 00:51:37] 805*2^1421327-1 is not prime. Res64: 411163E7B0501636 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:51:38] 981*2^1421327-1 is not prime. Res64: AC0A716B3DC41064 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:51:39] 999*2^1421327-1 is not prime. Res64: 3187BD08152F58E6 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:51:41] 819*2^1421327-1 is not prime. Res64: D5C5004FBA5ED1A3 Time : 0.0 sec. user=mdettweiler [2016-02-04 00:51:41] 841*2^1421327-1 is not prime. Res64: A3C971668EF2E030 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:09:19] 723*2^1421328-1 is not prime. Res64: F6BC7191CB1112B4 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:09:19] 725*2^1421328-1 is not prime. Res64: A52B68320EE78D29 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:09:24] 839*2^1421328-1 is not prime. Res64: 170CC164A23C0B80 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:09:25] 927*2^1421328-1 is not prime. Res64: 3FFAFB4B6965551A Time : 0.0 sec. user=mdettweiler [2016-02-04 01:09:30] 819*2^1421328-1 is not prime. Res64: BD1F59BA91A1DE2A Time : 0.0 sec. user=mdettweiler [2016-02-04 01:09:30] 825*2^1421328-1 is not prime. Res64: C5861E93F91B7C88 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:27:04] 993*2^1421328-1 is not prime. Res64: 9491530CC2EFC025 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:27:05] 751*2^1421329-1 is not prime. Res64: 37D8F1607EB2C514 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:27:08] 769*2^1421329-1 is not prime. Res64: 71FD4FCC3FD42108 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:27:09] 645*2^1421330-1 is not prime. Res64: 7F46043F0F7436B3 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:27:11] 711*2^1421330-1 is not prime. Res64: FEBB3F5CF407BE0A Time : 0.0 sec. user=mdettweiler [2016-02-04 01:27:12] 921*2^1421330-1 is not prime. Res64: F0475CE4DD6FC2B9 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:44:59] 613*2^1421331-1 is not prime. Res64: 45CA1E0F9C5DEB81 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:45:00] 943*2^1421331-1 is not prime. Res64: DC80CBEA17D48740 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:45:00] 879*2^1421331-1 is not prime. Res64: 08E873C9A3D951C3 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:45:01] 979*2^1421331-1 is not prime. Res64: 8224D48586E81DAC Time : 0.0 sec. user=mdettweiler [2016-02-04 01:45:02] 955*2^1421331-1 is not prime. Res64: 383E74DE4D31B0C1 Time : 0.0 sec. user=mdettweiler [2016-02-04 01:45:04] 975*2^1421331-1 is not prime. Res64: DA14FF2013B6B17D Time : 0.0 sec. user=mdettweiler [2016-02-04 02:02:53] 797*2^1421332-1 is not prime. Res64: 6C4E6547BF386AF2 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:02:54] 843*2^1421332-1 is not prime. Res64: 9848359942D8E853 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:02:55] 605*2^1421332-1 is not prime. Res64: A20552A31C9503AD Time : 0.0 sec. user=mdettweiler [2016-02-04 02:02:57] 677*2^1421332-1 is not prime. Res64: DDB5DAC00B8A4AD4 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:03:00] 693*2^1421332-1 is not prime. Res64: 465F4004AC7149BB Time : 0.0 sec. user=mdettweiler [2016-02-04 02:03:02] 735*2^1421332-1 is not prime. Res64: 31E19EF755E19B95 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:20:49] 685*2^1421333-1 is not prime. Res64: D9241CB707941D7D Time : 0.0 sec. user=mdettweiler [2016-02-04 02:20:49] 745*2^1421333-1 is not prime. Res64: 7B66C808D61156FF Time : 0.0 sec. user=mdettweiler [2016-02-04 02:20:49] 691*2^1421333-1 is not prime. Res64: 19DF07F273CB1E0E Time : 0.0 sec. user=mdettweiler [2016-02-04 02:20:49] 829*2^1421333-1 is not prime. Res64: 24BA5CA92D4F4EF1 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:20:51] 899*2^1421332-1 is not prime. Res64: E8637719BE5AE9A7 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:20:52] 607*2^1421333-1 is not prime. Res64: 3AC4203A62A6D972 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:38:31] 831*2^1421333-1 is not prime. Res64: D609F9075AEF6A5B Time : 0.0 sec. user=mdettweiler [2016-02-04 02:38:32] 605*2^1421334-1 is not prime. Res64: B7F4CFC3E40B7B31 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:38:32] 861*2^1421333-1 is not prime. Res64: AAA25E0B4CC40875 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:38:32] 681*2^1421334-1 is not prime. Res64: 76AA546A31BCE235 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:38:33] 815*2^1421334-1 is not prime. Res64: 7447EF758E3AAD7C Time : 0.0 sec. user=mdettweiler [2016-02-04 02:38:33] 755*2^1421334-1 is not prime. Res64: 8A5915C15EF153BF Time : 0.0 sec. user=mdettweiler [2016-02-04 02:56:15] 851*2^1421334-1 is not prime. Res64: CC9B792071BD8354 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:56:15] 921*2^1421334-1 is not prime. Res64: DC6257F2205BA3C7 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:56:15] 861*2^1421334-1 is not prime. Res64: 9A7A4619E4C2BBA2 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:56:16] 619*2^1421335-1 is not prime. Res64: 7BB25BEB6C9AC3E3 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:56:17] 873*2^1421334-1 is not prime. Res64: 8A5C7AA87DAC9E48 Time : 0.0 sec. user=mdettweiler [2016-02-04 02:56:18] 885*2^1421334-1 is not prime. Res64: 28E60D003556FB1B Time : 0.0 sec. user=mdettweiler [2016-02-04 03:13:56] 617*2^1421336-1 is not prime. Res64: 04758A5159913432 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:13:56] 639*2^1421335-1 is not prime. Res64: A5A45AB93C0897F4 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:13:57] 699*2^1421336-1 is not prime. Res64: 391AC6B97503AD31 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:13:57] 735*2^1421336-1 is not prime. Res64: C7AAD8971C192F88 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:13:58] 763*2^1421335-1 is not prime. Res64: 0426F6A5E770E342 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:13:58] 789*2^1421336-1 is not prime. Res64: 978BFC69A475F0E9 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:31:38] 839*2^1421336-1 is not prime. Res64: 36E1D384690BBB37 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:31:39] 855*2^1421336-1 is not prime. Res64: 7B6A47CDBC886DC2 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:31:44] 875*2^1421336-1 is not prime. Res64: BA358937F2231858 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:31:45] 963*2^1421336-1 is not prime. Res64: 29E95A95B8863B74 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:31:46] 893*2^1421336-1 is not prime. Res64: 8C3D9C568BBFF213 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:31:47] 625*2^1421337-1 is not prime. Res64: 7B2BABDEF94B92D7 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:49:29] 871*2^1421337-1 is not prime. Res64: BF77993DE0A4C3B2 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:49:29] 669*2^1421337-1 is not prime. Res64: E39A8CBA5AFCCE07 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:49:30] 901*2^1421337-1 is not prime. Res64: 406CD12BE0080E6C Time : 0.0 sec. user=mdettweiler [2016-02-04 03:49:31] 681*2^1421337-1 is not prime. Res64: B1C071E9EA147B85 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:49:33] 909*2^1421337-1 is not prime. Res64: D75F24218C973E62 Time : 0.0 sec. user=mdettweiler [2016-02-04 03:49:35] 919*2^1421337-1 is not prime. Res64: 0EB9984D0C34B492 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:07:36] 891*2^1421338-1 is not prime. Res64: 389811021AAB39ED Time : 0.0 sec. user=mdettweiler [2016-02-04 04:07:36] 941*2^1421338-1 is not prime. Res64: 9DE664C7AC9BC449 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:07:39] 933*2^1421338-1 is not prime. Res64: CBD408F06FD41AB1 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:07:41] 735*2^1421338-1 is not prime. Res64: 4B590F5F219CD8C0 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:07:44] 615*2^1421339-1 is not prime. Res64: 34CFD77EACFDCA73 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:07:47] 831*2^1421338-1 is not prime. Res64: EDFD09373D4D5FC7 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:26:08] 789*2^1421339-1 is not prime. Res64: 450762122DCE1614 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:26:09] 825*2^1421339-1 is not prime. Res64: 67AB96697608EC5E Time : 0.0 sec. user=mdettweiler [2016-02-04 04:26:13] 921*2^1421339-1 is not prime. Res64: B1951E97F43F91BD Time : 0.0 sec. user=mdettweiler [2016-02-04 04:26:13] 955*2^1421339-1 is not prime. Res64: 753F7458406FAB87 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:26:15] 753*2^1421340-1 is not prime. Res64: 3958C0791FB36EEF Time : 0.0 sec. user=mdettweiler [2016-02-04 04:26:16] 777*2^1421340-1 is not prime. Res64: C2BAF16F9B3870FD Time : 0.0 sec. user=mdettweiler [2016-02-04 04:43:45] 783*2^1421340-1 is not prime. Res64: B75B8CDA5BF74462 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:43:45] 909*2^1421340-1 is not prime. Res64: 507AB462AA2FDB49 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:43:48] 877*2^1421341-1 is not prime. Res64: 50F11493A5CDF2F3 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:43:49] 645*2^1421342-1 is not prime. Res64: 99211631E923166B Time : 0.0 sec. user=mdettweiler [2016-02-04 04:43:51] 711*2^1421342-1 is not prime. Res64: 4F78D12844967842 Time : 0.0 sec. user=mdettweiler [2016-02-04 04:43:52] 755*2^1421342-1 is not prime. Res64: BEFC8273B748053C Time : 0.0 sec. user=mdettweiler [2016-02-04 05:01:22] 767*2^1421342-1 is not prime. Res64: 93A22666148DC065 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:01:23] 791*2^1421342-1 is not prime. Res64: CF830BA6910BAC30 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:01:24] 825*2^1421342-1 is not prime. Res64: 4599C79028650902 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:01:25] 885*2^1421342-1 is not prime. Res64: EAF23B6BD8288E6C Time : 0.0 sec. user=mdettweiler [2016-02-04 05:01:27] 977*2^1421342-1 is not prime. Res64: BABFF76D59C62C4F Time : 0.0 sec. user=mdettweiler [2016-02-04 05:01:28] 703*2^1421343-1 is not prime. Res64: ACEA77556DFCBBF4 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:19:14] 861*2^1421343-1 is not prime. Res64: D5D8B548C3280CFC Time : 0.0 sec. user=mdettweiler [2016-02-04 05:19:15] 961*2^1421343-1 is not prime. Res64: 663C104B1EB90691 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:19:15] 723*2^1421343-1 is not prime. Res64: E9837D9B6B5D717F Time : 0.0 sec. user=mdettweiler [2016-02-04 05:19:15] 639*2^1421344-1 is not prime. Res64: E7A289F67C54E65A Time : 0.0 sec. user=mdettweiler [2016-02-04 05:19:16] 675*2^1421344-1 is not prime. Res64: C6F9166A35B44EA8 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:19:17] 677*2^1421344-1 is not prime. Res64: 46804EA0DBB8E37A Time : 0.0 sec. user=mdettweiler [2016-02-04 05:36:55] 773*2^1421344-1 is not prime. Res64: 5B1F9563EDDEB840 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:36:56] 833*2^1421344-1 is not prime. Res64: 73D4E3024766EA8A Time : 0.0 sec. user=mdettweiler [2016-02-04 05:36:56] 855*2^1421344-1 is not prime. Res64: D9E2B23DD7C6A3FB Time : 0.0 sec. user=mdettweiler [2016-02-04 05:36:57] 887*2^1421344-1 is not prime. Res64: 6ECDEFB4603B66E6 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:36:57] 869*2^1421344-1 is not prime. Res64: 7698B61AE9E10343 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:36:58] 649*2^1421345-1 is not prime. Res64: A79633496AFE1CFA Time : 0.0 sec. user=mdettweiler [2016-02-04 05:54:33] 991*2^1421345-1 is not prime. Res64: F8A980ABF1FA85F1 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:54:33] 633*2^1421346-1 is not prime. Res64: 97C3563261264C0B Time : 0.0 sec. user=mdettweiler [2016-02-04 05:54:34] 777*2^1421345-1 is not prime. Res64: 3A3D92EE9F48F5BE Time : 0.0 sec. user=mdettweiler [2016-02-04 05:54:34] 789*2^1421345-1 is not prime. Res64: 8CE0A786213EE369 Time : 0.0 sec. user=mdettweiler [2016-02-04 05:54:34] 683*2^1421346-1 is not prime. Res64: 609D3500AC3CFD6F Time : 0.0 sec. user=mdettweiler [2016-02-04 05:54:35] 741*2^1421346-1 is not prime. Res64: B3138990ABB45189 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:12:11] 685*2^1421347-1 is not prime. Res64: 3EDA41A5C92A247D Time : 0.0 sec. user=mdettweiler [2016-02-04 06:12:12] 917*2^1421346-1 is not prime. Res64: FEE44B1130DA09C6 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:12:12] 819*2^1421347-1 is not prime. Res64: 1D36493FDD1AEDE8 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:12:12] 945*2^1421346-1 is not prime. Res64: 12312CE0324B3A07 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:12:13] 971*2^1421346-1 is not prime. Res64: 159DDE8F687E7D14 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:12:13] 619*2^1421347-1 is not prime. Res64: E1E4C0D99AD3A3DD Time : 0.0 sec. user=mdettweiler [2016-02-04 06:29:50] 915*2^1421347-1 is not prime. Res64: 8FBA5926C4722EB1 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:29:50] 951*2^1421347-1 is not prime. Res64: FB8377684290F0D3 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:29:50] 665*2^1421348-1 is not prime. Res64: A552481434CF9056 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:29:51] 677*2^1421348-1 is not prime. Res64: EF36DCFDE8286A93 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:29:51] 999*2^1421347-1 is not prime. Res64: 1C82219539AF13ED Time : 0.0 sec. user=mdettweiler [2016-02-04 06:29:51] 617*2^1421348-1 is not prime. Res64: 371991E8F65F7579 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:47:26] 681*2^1421349-1 is not prime. Res64: 48A3DD3B6768675D Time : 0.0 sec. user=mdettweiler [2016-02-04 06:47:26] 977*2^1421348-1 is not prime. Res64: CBD6EED67F8E1C7B Time : 0.0 sec. user=mdettweiler [2016-02-04 06:47:26] 817*2^1421349-1 is not prime. Res64: C636C619A55EE26E Time : 0.0 sec. user=mdettweiler [2016-02-04 06:47:26] 667*2^1421349-1 is not prime. Res64: F0A2FA5AD717B209 Time : 0.0 sec. user=mdettweiler [2016-02-04 06:47:27] 875*2^1421348-1 is not prime. Res64: 872E65DAEC64C35B Time : 0.0 sec. user=mdettweiler [2016-02-04 06:47:27] 899*2^1421348-1 is not prime. Res64: 68B77A2B0ED49677 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:05:02] 917*2^1421350-1 is not prime. Res64: 17A134492AF8EA14 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:05:03] 847*2^1421349-1 is not prime. Res64: F1B905F2B27EF673 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:05:04] 941*2^1421350-1 is not prime. Res64: 3D33718DB42EF2CF Time : 0.0 sec. user=mdettweiler [2016-02-04 07:05:04] 951*2^1421350-1 is not prime. Res64: 0C3B3D35BCAF93CD Time : 0.0 sec. user=mdettweiler [2016-02-04 07:05:05] 949*2^1421349-1 is not prime. Res64: 6200529A16AFA0F8 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:05:06] 673*2^1421351-1 is not prime. Res64: 769ADAE8BC0BDE69 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:23:05] 715*2^1421351-1 is not prime. Res64: 62BBF5E231726A7D Time : 0.0 sec. user=mdettweiler [2016-02-04 07:23:05] 735*2^1421351-1 is not prime. Res64: DE38119A08111D9C Time : 0.0 sec. user=mdettweiler [2016-02-04 07:23:09] 865*2^1421351-1 is not prime. Res64: D480F8C7C085A890 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:23:09] 999*2^1421351-1 is not prime. Res64: A6D2F6F0232369B1 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:23:10] 635*2^1421352-1 is not prime. Res64: 3CED1C260F940924 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:23:10] 825*2^1421352-1 is not prime. Res64: 505CDFD2D96E1175 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:40:44] 923*2^1421352-1 is not prime. Res64: 468DFFC686B118AE Time : 0.0 sec. user=mdettweiler [2016-02-04 07:40:44] 975*2^1421352-1 is not prime. Res64: D21C3F38550D41D2 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:40:45] 999*2^1421352-1 is not prime. Res64: B2A6B5F3E7AC0414 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:40:45] 649*2^1421353-1 is not prime. Res64: D5A5692CE3439A5F Time : 0.0 sec. user=mdettweiler [2016-02-04 07:40:46] 705*2^1421353-1 is not prime. Res64: 9E4AA5AFB657362A Time : 0.0 sec. user=mdettweiler [2016-02-04 07:40:46] 729*2^1421353-1 is not prime. Res64: 2B5E9D002E264DA8 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:58:21] 771*2^1421353-1 is not prime. Res64: E84FD39A02156E8C Time : 0.0 sec. user=mdettweiler [2016-02-04 07:58:21] 741*2^1421353-1 is not prime. Res64: 372EECDE47808533 Time : 0.0 sec. user=mdettweiler [2016-02-04 07:58:21] 847*2^1421353-1 is not prime. Res64: 887866BD62820F7F Time : 0.0 sec. user=mdettweiler [2016-02-04 07:58:21] 955*2^1421353-1 is not prime. Res64: 857812702A1210CD Time : 0.0 sec. user=mdettweiler [2016-02-04 07:58:22] 747*2^1421353-1 is not prime. Res64: 7C20F097C648AEAB Time : 0.0 sec. user=mdettweiler [2016-02-04 07:58:22] 957*2^1421353-1 is not prime. Res64: 4F18C973ACBAA3C1 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:15:57] 747*2^1421354-1 is not prime. Res64: 8022539B375D8C62 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:15:57] 617*2^1421354-1 is not prime. Res64: E1891D8A824AD57E Time : 0.0 sec. user=mdettweiler [2016-02-04 08:15:58] 827*2^1421354-1 is not prime. Res64: 5BFD0FD315D3A5EC Time : 0.0 sec. user=mdettweiler [2016-02-04 08:15:58] 623*2^1421354-1 is not prime. Res64: 144AD5F812D8D98C Time : 0.0 sec. user=mdettweiler [2016-02-04 08:15:58] 683*2^1421354-1 is not prime. Res64: B41CAE98559CF6A5 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:15:58] 711*2^1421354-1 is not prime. Res64: F06E0AF3F1F55695 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:33:37] 873*2^1421354-1 is not prime. Res64: 8441D2346917F03B Time : 0.0 sec. user=mdettweiler [2016-02-04 08:33:37] 663*2^1421355-1 is not prime. Res64: EBEEC74040C46A7D Time : 0.0 sec. user=mdettweiler [2016-02-04 08:33:37] 935*2^1421354-1 is not prime. Res64: 7F2C4FF9FD578185 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:33:37] 765*2^1421355-1 is not prime. Res64: A74F8F0AE146754D Time : 0.0 sec. user=mdettweiler [2016-02-04 08:33:37] 951*2^1421354-1 is not prime. Res64: 140BD907A4EF67A9 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:33:38] 609*2^1421355-1 is not prime. Res64: 13F5567FC35EE6D5 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:51:15] 927*2^1421356-1 is not prime. Res64: C3BC9A8FFB07F5AD Time : 0.0 sec. user=mdettweiler [2016-02-04 08:51:15] 953*2^1421356-1 is not prime. Res64: 349EF923B1721827 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:51:18] 859*2^1421355-1 is not prime. Res64: D6E801E333804621 Time : 0.0 sec. user=mdettweiler [2016-02-04 08:51:19] 921*2^1421355-1 is not prime. Res64: 3C83C60604D3F73B Time : 0.0 sec. user=mdettweiler [2016-02-04 08:51:21] 759*2^1421356-1 is not prime. Res64: 70A9BB04B0E2377F Time : 0.0 sec. user=mdettweiler [2016-02-04 08:51:21] 803*2^1421356-1 is not prime. Res64: 6248B3B5A34049E4 Time : 0.0 sec. user=mdettweiler [2016-02-04 09:08:54] 699*2^1421357-1 is not prime. Res64: 103C2F6188816E0E Time : 0.0 sec. user=mdettweiler [2016-02-04 09:08:54] 757*2^1421357-1 is not prime. Res64: F83F123FDA24804D Time : 0.0 sec. user=mdettweiler [2016-02-04 09:08:57] 771*2^1421357-1 is not prime. Res64: 444B98CC06FCC0EB Time : 0.0 sec. user=mdettweiler [2016-02-04 09:08:58] 781*2^1421357-1 is not prime. Res64: 545535C76795501E Time : 0.0 sec. user=mdettweiler [2016-02-04 09:08:58] 619*2^1421357-1 is not prime. Res64: 85E44F5CAAC1AE72 Time : 0.0 sec. user=mdettweiler [2016-02-04 09:08:59] 675*2^1421357-1 is not prime. Res64: FD01BA2C77595870 Time : 0.0 sec. user=mdettweiler [2016-02-04 09:26:34] 681*2^1421358-1 is not prime. Res64: FEB6514F1E56BDE8 Time : 0.0 sec. user=mdettweiler [2016-02-04 09:26:34] 693*2^1421358-1 is not prime. Res64: 26E136524E4D988D Time : 0.0 sec. user=mdettweiler [2016-02-04 09:26:35] 863*2^1421358-1 is not prime. Res64: 49EDBCFB0D659171 Time : 0.0 sec. user=mdettweiler [2016-02-04 09:26:35] 893*2^1421358-1 is not prime. Res64: 1056FA8BA73AAC26 Time : 0.0 sec. user=mdettweiler [2016-02-04 09:26:36] 815*2^1421358-1 is not prime. Res64: EC0977B01B6BC1AE Time : 0.0 sec. user=mdettweiler [2016-02-04 09:26:36] 843*2^1421358-1 is not prime. Res64: 7E4009210E13BE38 Time : 0.0 sec. user=mdettweiler [2016-02-04 09:44:11] 603*2^1421359-1 is not prime. Res64: E9A8427F25C06BFD Time : 0.0 sec. user=mdettweiler [2016-02-04 09:44:11] 645*2^1421359-1 is not prime. Res64: 70E66583499141D4 Time : 0.0 sec. user=mdettweiler [2016-02-04 09:44:11] 621*2^1421359-1 is not prime. Res64: 7062C0EC8A1A85CF Time : 0.0 sec. user=mdettweiler [2016-02-04 09:44:12] 723*2^1421359-1 is not prime. Res64: 6F031202672B2ADA Time : 0.0 sec. user=mdettweiler [2016-02-04 09:44:15] 915*2^1421358-1 is not prime. Res64: 7B9A220EFA6A943B Time : 0.0 sec. user=mdettweiler [2016-02-04 09:44:16] 927*2^1421358-1 is not prime. Res64: F298591D1727DBC1 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:01:49] 975*2^1421359-1 is not prime. Res64: C987393CEB7A7415 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:01:49] 765*2^1421359-1 is not prime. Res64: BD6A7D3C7566E1AA Time : 0.0 sec. user=mdettweiler [2016-02-04 10:01:50] 985*2^1421359-1 is not prime. Res64: 4A882EAECEDAE943 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:01:50] 943*2^1421359-1 is not prime. Res64: 0558F0C408A380C6 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:01:52] 677*2^1421360-1 is not prime. Res64: 21A76A08BD3C0EC1 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:01:52] 735*2^1421360-1 is not prime. Res64: 21944E6049E6B3DF Time : 0.0 sec. user=mdettweiler [2016-02-04 10:19:44] 845*2^1421360-1 is not prime. Res64: 44800692687E0070 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:19:45] 909*2^1421360-1 is not prime. Res64: 503784D7456A4C52 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:19:45] 827*2^1421360-1 is not prime. Res64: 8CE2709262444F25 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:19:45] 999*2^1421360-1 is not prime. Res64: 71A815A2DB16BC6C Time : 0.0 sec. user=mdettweiler [2016-02-04 10:19:46] 627*2^1421361-1 is not prime. Res64: DC6E354CD1DA1B61 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:19:46] 609*2^1421361-1 is not prime. Res64: F223F77B5184B4DD Time : 0.0 sec. user=mdettweiler [2016-02-04 10:37:23] 741*2^1421361-1 is not prime. Res64: 5F86C580B5CE6435 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:37:24] 805*2^1421361-1 is not prime. Res64: D5F867DF918EA907 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:37:24] 701*2^1421362-1 is not prime. Res64: 90EE01DDF430DFEB Time : 0.0 sec. user=mdettweiler [2016-02-04 10:37:24] 713*2^1421362-1 is not prime. Res64: F80111F29EA9CE03 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:37:27] 837*2^1421361-1 is not prime. Res64: D268C1CE68CE8304 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:37:27] 645*2^1421362-1 is not prime. Res64: CAEC0E26F01F307D Time : 0.0 sec. user=mdettweiler [2016-02-04 10:55:07] 833*2^1421362-1 is not prime. Res64: 66336723DD40AC94 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:55:07] 747*2^1421362-1 is not prime. Res64: 9A65C5DE9D451447 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:55:07] 873*2^1421362-1 is not prime. Res64: 1BF72232B8453944 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:55:08] 815*2^1421362-1 is not prime. Res64: 3ECEABF45FAECC85 Time : 0.0 sec. user=mdettweiler [2016-02-04 10:55:09] 947*2^1421362-1 is not prime. Res64: 4B5D2E165441C02B Time : 0.0 sec. user=mdettweiler [2016-02-04 10:55:09] 703*2^1421363-1 is not prime. Res64: E2E35CCA37B7BCF6 Time : 0.0 sec. user=mdettweiler [2016-02-04 11:12:44] 783*2^1421363-1 is not prime. Res64: 29E6940E02F2D215 Time : 0.0 sec. user=mdettweiler [2016-02-04 11:12:44] 861*2^1421363-1 is not prime. Res64: 2B7A9DC8E57B8BA1 Time : 0.0 sec. user=mdettweiler [2016-02-04 11:12:44] 753*2^1421364-1 is not prime. Res64: 3D889F64CA60AA0D Time : 0.0 sec. user=mdettweiler [2016-02-04 11:12:45] 813*2^1421363-1 is not prime. Res64: DF1D483479DA7C6E Time : 0.0 sec. user=mdettweiler [2016-02-04 11:12:46] 789*2^1421364-1 is not prime. Res64: 04C40DD461AD8D6D Time : 0.0 sec. user=mdettweiler [2016-02-04 11:12:46] 863*2^1421364-1 is not prime. Res64: DEB72642B22D0508 Time : 0.0 sec. user=mdettweiler [2016-02-04 11:30:23] 609*2^1421365-1 is not prime. Res64: C8634E0F67D781AD Time : 0.0 sec. user=mdettweiler [2016-02-04 11:30:23] 875*2^1421364-1 is not prime. Res64: CAF8BF73B56FBB8B Time : 0.0 sec. user=mdettweiler [2016-02-04 11:30:24] 721*2^1421365-1 is not prime. Res64: A9536FA3BD1BB2A7 Time : 0.0 sec. user=mdettweiler [2016-02-04 11:30:24] 887*2^1421364-1 is not prime. Res64: D7DBBCFAE87D303D Time : 0.0 sec. user=mdettweiler [2016-02-04 11:30:24] 893*2^1421364-1 is not prime. Res64: C4359BE2240AEC10 Time : 0.0 sec. user=mdettweiler [2016-02-04 11:30:25] 903*2^1421364-1 is not prime. Res64: B63AA5F945A8C241 Time : 0.0 sec. user=mdettweiler [2016-02-04 11:47:59] 867*2^1421365-1 is not prime. Res64: F8B700EAECC0E44D Time : 0.0 sec. user=mdettweiler [2016-02-04 11:48:00] 871*2^1421365-1 is not prime. Res64: C028457BE71AEB58 Time : 0.0 sec. user=mdettweiler [2016-02-04 11:48:00] 771*2^1421365-1 is not prime. Res64: 3D03963CAE566D7C Time : 0.0 sec. user=mdettweiler [2016-02-04 11:48:00] 957*2^1421365-1 is not prime. Res64: 91A3456E655F735F Time : 0.0 sec. user=mdettweiler [2016-02-04 11:48:00] 805*2^1421365-1 is not prime. Res64: 75A1FD646B4F6F9C Time : 0.0 sec. user=mdettweiler [2016-02-04 11:48:00] 975*2^1421365-1 is not prime. Res64: A509BE08B3F3C9F0 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:05:36] 623*2^1421366-1 is not prime. Res64: 1B7DBC05F90603E2 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:05:37] 773*2^1421366-1 is not prime. Res64: 3AE647CE482B9D4A Time : 0.0 sec. user=mdettweiler [2016-02-04 12:05:38] 705*2^1421366-1 is not prime. Res64: 2B7FDB0CB9B0AB3E Time : 0.0 sec. user=mdettweiler [2016-02-04 12:05:39] 815*2^1421366-1 is not prime. Res64: E53353B329F8F0EE Time : 0.0 sec. user=mdettweiler [2016-02-04 12:05:42] 827*2^1421366-1 is not prime. Res64: ACA66BE80D6176AC Time : 0.0 sec. user=mdettweiler [2016-02-04 12:05:45] 917*2^1421366-1 is not prime. Res64: 56CBAA9F329E59D9 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:23:39] 979*2^1421367-1 is not prime. Res64: 22F5E2300474F6B5 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:23:41] 971*2^1421366-1 is not prime. Res64: F31E4B9CDA8AC8E4 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:23:42] 775*2^1421367-1 is not prime. Res64: BC6CF9D0749D4A22 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:23:44] 603*2^1421368-1 is not prime. Res64: E57A238C71B35801 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:23:46] 605*2^1421368-1 is not prime. Res64: 278745414987932C Time : 0.0 sec. user=mdettweiler [2016-02-04 12:23:49] 829*2^1421367-1 is not prime. Res64: 13AAFA6D5CD7850F Time : 0.0 sec. user=mdettweiler [2016-02-04 12:41:34] 705*2^1421368-1 is not prime. Res64: E122637052116B14 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:41:34] 615*2^1421368-1 is not prime. Res64: E3089DED4CD47D30 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:41:34] 839*2^1421368-1 is not prime. Res64: DAD12F2D7EC12316 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:41:35] 689*2^1421368-1 is not prime. Res64: 241D8C52DC055638 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:41:38] 905*2^1421368-1 is not prime. Res64: 91A883A723288CC2 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:41:39] 601*2^1421369-1 is not prime. Res64: 38C7B83A16A86096 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:59:15] 711*2^1421369-1 is not prime. Res64: 8A75D9D3207803B3 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:59:16] 837*2^1421369-1 is not prime. Res64: 3500D79F38C9ED96 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:59:17] 907*2^1421369-1 is not prime. Res64: 9C7EFC0A47B65DA1 Time : 0.0 sec. user=mdettweiler [2016-02-04 12:59:18] 991*2^1421369-1 is not prime. Res64: 13FDD95C7D9F520D Time : 0.0 sec. user=mdettweiler [2016-02-04 12:59:22] 657*2^1421370-1 is not prime. Res64: 7CC3DEFB490C564D Time : 0.0 sec. user=mdettweiler [2016-02-04 12:59:22] 717*2^1421370-1 is not prime. Res64: AC18C7B2E21B56E2 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:16:57] 971*2^1421370-1 is not prime. Res64: C9B22FA3F9EBA202 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:16:57] 619*2^1421371-1 is not prime. Res64: 4FEFD70DB4BFBED8 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:16:59] 773*2^1421370-1 is not prime. Res64: 01B5BE93FF844076 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:16:59] 873*2^1421370-1 is not prime. Res64: DE8B3D1874497DFB Time : 0.0 sec. user=mdettweiler [2016-02-04 13:17:06] 649*2^1421371-1 is not prime. Res64: FD1A6B970610372E Time : 0.0 sec. user=mdettweiler [2016-02-04 13:17:07] 651*2^1421371-1 is not prime. Res64: E9CF6AFF3F84B936 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:34:46] 735*2^1421371-1 is not prime. Res64: C862908B1B54ACA3 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:34:47] 909*2^1421371-1 is not prime. Res64: B31206A451510D56 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:34:47] 961*2^1421371-1 is not prime. Res64: 016CAD9B8D2A5F41 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:34:47] 999*2^1421371-1 is not prime. Res64: DCB3C8AC11DB380A Time : 0.0 sec. user=mdettweiler [2016-02-04 13:34:55] 635*2^1421372-1 is not prime. Res64: 2501F1C1EA66D4FA Time : 0.0 sec. user=mdettweiler [2016-02-04 13:34:56] 669*2^1421372-1 is not prime. Res64: 956BEC4D9C16C8DD Time : 0.0 sec. user=mdettweiler [2016-02-04 13:52:33] 693*2^1421372-1 is not prime. Res64: 3222FCFBA07318A6 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:52:34] 875*2^1421372-1 is not prime. Res64: 4F972D036D3F4969 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:52:36] 983*2^1421372-1 is not prime. Res64: 158211930C716E49 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:52:36] 651*2^1421373-1 is not prime. Res64: 212C2CAB54D37AAB Time : 0.0 sec. user=mdettweiler [2016-02-04 13:52:42] 765*2^1421373-1 is not prime. Res64: 60563A53222420E5 Time : 0.0 sec. user=mdettweiler [2016-02-04 13:52:42] 787*2^1421373-1 is not prime. Res64: 3CE3E4F1C44E41CA Time : 0.0 sec. user=mdettweiler [2016-02-04 14:10:11] 945*2^1421373-1 is not prime. Res64: 40315BB3B99C4BDE Time : 0.0 sec. user=mdettweiler [2016-02-04 14:10:11] 817*2^1421373-1 is not prime. Res64: D388880587EF7A14 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:10:11] 605*2^1421374-1 is not prime. Res64: 15C5E570765ACB7B Time : 0.0 sec. user=mdettweiler [2016-02-04 14:10:11] 885*2^1421373-1 is not prime. Res64: EB276062A740D668 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:10:17] 621*2^1421374-1 is not prime. Res64: 6ABD285F30EACE2F Time : 0.0 sec. user=mdettweiler [2016-02-04 14:10:17] 731*2^1421374-1 is not prime. Res64: 1BEE07B20A796976 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:27:50] 705*2^1421375-1 is not prime. Res64: 0B580931DE905246 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:27:50] 831*2^1421375-1 is not prime. Res64: D0A5A0DD986DC4AB Time : 0.0 sec. user=mdettweiler [2016-02-04 14:27:51] 609*2^1421375-1 is not prime. Res64: 064AB4D48F4837E7 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:27:51] 651*2^1421375-1 is not prime. Res64: 621D769B59EF3F10 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:27:53] 939*2^1421375-1 is not prime. Res64: 51D7947E9230DD83 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:27:53] 609*2^1421376-1 is not prime. Res64: C8240084F37C4A2D Time : 0.0 sec. user=mdettweiler [2016-02-04 14:45:26] 669*2^1421376-1 is not prime. Res64: B02C1755638A4967 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:45:27] 903*2^1421376-1 is not prime. Res64: 48B668B17B29B9B1 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:45:28] 619*2^1421377-1 is not prime. Res64: 3F21DE909A7507CE Time : 0.0 sec. user=mdettweiler [2016-02-04 14:45:29] 841*2^1421377-1 is not prime. Res64: 903D98E8A0F32536 Time : 0.0 sec. user=mdettweiler [2016-02-04 14:45:29] 947*2^1421376-1 is not prime. Res64: B6C721A2ACC1046B Time : 0.0 sec. user=mdettweiler [2016-02-04 14:45:29] 615*2^1421377-1 is not prime. Res64: 069E83E728EDC50B Time : 0.0 sec. user=mdettweiler [2016-02-04 15:03:05] 915*2^1421377-1 is not prime. Res64: 50C4B5E8075EB4AC Time : 0.0 sec. user=mdettweiler [2016-02-04 15:03:06] 771*2^1421378-1 is not prime. Res64: 1B59B753B98440C9 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:03:06] 605*2^1421378-1 is not prime. Res64: C8BE6568FB791FA3 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:03:07] 827*2^1421378-1 is not prime. Res64: DAA1510DE688DDC2 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:03:10] 665*2^1421378-1 is not prime. Res64: ED99E01A95E07F22 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:03:12] 671*2^1421378-1 is not prime. Res64: 16809BCCB59128B4 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:21:00] 945*2^1421378-1 is not prime. Res64: 55E85F246E58F09E Time : 0.0 sec. user=mdettweiler [2016-02-04 15:21:01] 1001*2^1421378-1 is not prime. Res64: 80B46255D9CAD5F1 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:21:01] 663*2^1421379-1 is not prime. Res64: 3806E953D1E385DE Time : 0.0 sec. user=mdettweiler [2016-02-04 15:21:01] 685*2^1421379-1 is not prime. Res64: CFF4A875004C0933 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:21:02] 895*2^1421379-1 is not prime. Res64: D05A368839FDCF41 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:21:03] 909*2^1421379-1 is not prime. Res64: 3E030852945E35F2 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:38:38] 975*2^1421380-1 is not prime. Res64: 94D66F3C464F76A4 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:38:39] 735*2^1421381-1 is not prime. Res64: B823D87B8097C5D5 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:38:39] 623*2^1421380-1 is not prime. Res64: D406F2EBA40BD227 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:38:40] 719*2^1421380-1 is not prime. Res64: 0C2506E6FFA768EF Time : 0.0 sec. user=mdettweiler [2016-02-04 15:38:40] 717*2^1421380-1 is not prime. Res64: 1863266409DA8F7B Time : 0.0 sec. user=mdettweiler [2016-02-04 15:38:40] 897*2^1421380-1 is not prime. Res64: 9BA4D2F2D832A409 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:56:14] 795*2^1421381-1 is not prime. Res64: F3B52C3EFD591D02 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:56:15] 829*2^1421381-1 is not prime. Res64: 66A5CCAAAF11D1FB Time : 0.0 sec. user=mdettweiler [2016-02-04 15:56:15] 861*2^1421381-1 is not prime. Res64: FC803C16655CEA87 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:56:16] 901*2^1421381-1 is not prime. Res64: 133762D916AE18B2 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:56:16] 925*2^1421381-1 is not prime. Res64: CA754EC131BEEE46 Time : 0.0 sec. user=mdettweiler [2016-02-04 15:56:16] 981*2^1421381-1 is not prime. Res64: 63CA438761B99D2F Time : 0.0 sec. user=mdettweiler [2016-02-04 16:13:53] 695*2^1421382-1 is not prime. Res64: 5400B4B3ADECE3E3 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:13:53] 873*2^1421382-1 is not prime. Res64: F94B6CBDFEE5B107 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:13:53] 713*2^1421382-1 is not prime. Res64: 23AD9A5A39DE9888 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:13:53] 891*2^1421382-1 is not prime. Res64: 3A57DC31DA480399 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:13:55] 619*2^1421383-1 is not prime. Res64: A513F205D16791C7 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:13:56] 793*2^1421383-1 is not prime. Res64: DCE9A85212AC3290 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:31:29] 969*2^1421383-1 is not prime. Res64: 9A05F682EDA18347 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:31:29] 999*2^1421383-1 is not prime. Res64: 4357FC83294B4A0E Time : 0.0 sec. user=mdettweiler [2016-02-04 16:31:29] 933*2^1421383-1 is not prime. Res64: FC6D3597D73C8D09 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:31:30] 939*2^1421383-1 is not prime. Res64: 3A77ED94F50FD5C0 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:31:31] 657*2^1421384-1 is not prime. Res64: 20208C399CB8F960 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:31:31] 665*2^1421384-1 is not prime. Res64: 3E3F59E8386EDC87 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:49:06] 689*2^1421384-1 is not prime. Res64: CB66D40BBBA57901 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:49:07] 743*2^1421384-1 is not prime. Res64: BAA5618FBBFBA28F Time : 0.0 sec. user=mdettweiler [2016-02-04 16:49:09] 785*2^1421384-1 is not prime. Res64: 9B23E525132BA6CB Time : 0.0 sec. user=mdettweiler [2016-02-04 16:49:09] 875*2^1421384-1 is not prime. Res64: C31532429C0C23FC Time : 0.0 sec. user=mdettweiler [2016-02-04 16:49:09] 969*2^1421384-1 is not prime. Res64: 6AFF77E5F2E4B910 Time : 0.0 sec. user=mdettweiler [2016-02-04 16:49:09] 855*2^1421384-1 is not prime. Res64: 1D43EC873CEC7465 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:06:54] 983*2^1421384-1 is not prime. Res64: 6BDE4A1A93A3A653 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:06:54] 709*2^1421385-1 is not prime. Res64: 82C98B2D3B792F00 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:06:55] 649*2^1421385-1 is not prime. Res64: EAF016E58914BC0D Time : 0.0 sec. user=mdettweiler [2016-02-04 17:06:55] 831*2^1421385-1 is not prime. Res64: 43C1064B0DF6865C Time : 0.0 sec. user=mdettweiler [2016-02-04 17:06:55] 777*2^1421385-1 is not prime. Res64: 607760EE92BEB862 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:06:55] 877*2^1421385-1 is not prime. Res64: 451F19EA14F30696 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:24:52] 885*2^1421385-1 is not prime. Res64: E58DD8E2A820895E Time : 0.0 sec. user=mdettweiler [2016-02-04 17:24:52] 747*2^1421386-1 is not prime. Res64: 9C1356002D454BE2 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:24:52] 909*2^1421385-1 is not prime. Res64: B043838A16E4F0C1 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:24:52] 777*2^1421386-1 is not prime. Res64: 22A8560618C84C4F Time : 0.0 sec. user=mdettweiler [2016-02-04 17:24:53] 997*2^1421385-1 is not prime. Res64: B7A98A2DB060C417 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:24:54] 635*2^1421386-1 is not prime. Res64: 5BBAE5E35DED7323 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:44:08] 887*2^1421386-1 is not prime. Res64: 0F46227D4957057F Time : 0.0 sec. user=mdettweiler [2016-02-04 17:44:09] 601*2^1421387-1 is not prime. Res64: AE0B337A2F20F6F3 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:44:09] 941*2^1421386-1 is not prime. Res64: BDBD033E0F8A4B95 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:44:09] 603*2^1421387-1 is not prime. Res64: 46153B72FC54C51A Time : 0.0 sec. user=mdettweiler [2016-02-04 17:44:10] 615*2^1421387-1 is not prime. Res64: CA058BF9F4AF7E56 Time : 0.0 sec. user=mdettweiler [2016-02-04 17:44:10] 669*2^1421387-1 is not prime. Res64: 37B11DB5559888FD Time : 0.0 sec. user=mdettweiler [2016-02-04 18:01:51] 871*2^1421387-1 is not prime. Res64: 1ED3445D263BCAC6 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:01:52] 991*2^1421387-1 is not prime. Res64: 3A73E5D6FCB17FB7 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:01:54] 711*2^1421387-1 is not prime. Res64: C7A2935681D594C0 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:01:55] 801*2^1421387-1 is not prime. Res64: 553EEE69EC8C1D15 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:01:57] 993*2^1421387-1 is not prime. Res64: 3C3E09F44523F9BF Time : 0.0 sec. user=mdettweiler [2016-02-04 18:01:57] 605*2^1421388-1 is not prime. Res64: 0B033A9BD21ADA50 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:20:01] 689*2^1421388-1 is not prime. Res64: D9100451EFDE0994 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:20:01] 893*2^1421388-1 is not prime. Res64: 93053D2C0C389C86 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:20:01] 803*2^1421388-1 is not prime. Res64: B3F571F4703EF2A7 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:20:02] 987*2^1421388-1 is not prime. Res64: BAE520FE12DCEC43 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:20:02] 615*2^1421389-1 is not prime. Res64: 8A3CE1FCB080F91B Time : 0.0 sec. user=mdettweiler [2016-02-04 18:20:03] 829*2^1421389-1 is not prime. Res64: A8061E3A77D13B11 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:38:08] 831*2^1421389-1 is not prime. Res64: 3C57497F6663B9D8 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:38:09] 885*2^1421389-1 is not prime. Res64: F44E206BE3A6FA70 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:38:09] 867*2^1421389-1 is not prime. Res64: 2B1BCE8DB7AAA881 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:38:09] 945*2^1421389-1 is not prime. Res64: 13AB0A6E89E4CB93 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:38:10] 675*2^1421390-1 is not prime. Res64: 619EF50403D5A05B Time : 0.0 sec. user=mdettweiler [2016-02-04 18:38:10] 755*2^1421390-1 is not prime. Res64: 60BFBDB672C9CEE5 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:56:00] 1001*2^1421390-1 is not prime. Res64: 69463316F1DCB2B2 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:56:01] 615*2^1421391-1 is not prime. Res64: 2B29B1DC166EB900 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:56:04] 619*2^1421391-1 is not prime. Res64: A28FD52C8B84451E Time : 0.0 sec. user=mdettweiler [2016-02-04 18:56:04] 675*2^1421391-1 is not prime. Res64: 6DECA109F1271672 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:56:05] 745*2^1421391-1 is not prime. Res64: 108C5FCDD7B281E6 Time : 0.0 sec. user=mdettweiler [2016-02-04 18:56:06] 769*2^1421391-1 is not prime. Res64: 903883F8D7F1DAAB Time : 0.0 sec. user=mdettweiler [2016-02-04 19:14:09] 871*2^1421391-1 is not prime. Res64: 81490E899800D13A Time : 0.0 sec. user=mdettweiler [2016-02-04 19:14:09] 873*2^1421391-1 is not prime. Res64: 8D71FAB141EB6C7A Time : 0.0 sec. user=mdettweiler [2016-02-04 19:14:10] 969*2^1421391-1 is not prime. Res64: BC945F5A18D632BA Time : 0.0 sec. user=mdettweiler [2016-02-04 19:14:10] 609*2^1421392-1 is not prime. Res64: 88844B26E98A0A86 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:14:14] 863*2^1421392-1 is not prime. Res64: 148ED6F22089E466 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:14:14] 619*2^1421393-1 is not prime. Res64: 0964334722C27DCF Time : 0.0 sec. user=mdettweiler [2016-02-04 19:33:03] 771*2^1421393-1 is not prime. Res64: 7F82A2DB0D9E3D17 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:33:04] 811*2^1421393-1 is not prime. Res64: 69F376C405D34F9C Time : 0.0 sec. user=mdettweiler [2016-02-04 19:33:06] 847*2^1421393-1 is not prime. Res64: B6EE9766626B63EC Time : 0.0 sec. user=mdettweiler [2016-02-04 19:33:06] 901*2^1421393-1 is not prime. Res64: 7FAC4106CD3CDCF1 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:33:07] 697*2^1421393-1 is not prime. Res64: 5A06C9F2A3F63D51 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:33:08] 705*2^1421393-1 is not prime. Res64: BB94A128F7BD2379 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:51:24] 681*2^1421394-1 is not prime. Res64: 445F66037B4ACF68 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:51:24] 723*2^1421394-1 is not prime. Res64: 74500B910680A3DE Time : 0.0 sec. user=mdettweiler [2016-02-04 19:51:24] 981*2^1421393-1 is not prime. Res64: C347CAA3A81886BE Time : 0.0 sec. user=mdettweiler [2016-02-04 19:51:25] 605*2^1421394-1 is not prime. Res64: 122FC17FEDDF73B5 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:51:27] 807*2^1421394-1 is not prime. Res64: 30BEC53B0A7ED761 Time : 0.0 sec. user=mdettweiler [2016-02-04 19:51:27] 815*2^1421394-1 is not prime. Res64: FF25A7643384397A Time : 0.0 sec. user=mdettweiler [2016-02-04 20:09:02] 971*2^1421394-1 is not prime. Res64: BF34D40C473AC89E Time : 0.0 sec. user=mdettweiler [2016-02-04 20:09:02] 917*2^1421394-1 is not prime. Res64: 693E2EFCF7214B73 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:09:03] 601*2^1421395-1 is not prime. Res64: DE7E0787F6381557 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:09:03] 947*2^1421394-1 is not prime. Res64: 483BF493B4EB29B6 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:09:03] 639*2^1421395-1 is not prime. Res64: 28FDE81144AD9B4B Time : 0.0 sec. user=mdettweiler [2016-02-04 20:09:04] 805*2^1421395-1 is not prime. Res64: FDAC85DD0337E3AB Time : 0.0 sec. user=mdettweiler [2016-02-04 20:26:43] 891*2^1421395-1 is not prime. Res64: 2B7BF474BDED9FA8 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:26:43] 849*2^1421395-1 is not prime. Res64: 3A4DF957011D5D82 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:26:43] 979*2^1421395-1 is not prime. Res64: 372C1AF4B5C58AC8 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:26:43] 985*2^1421395-1 is not prime. Res64: ED178882518B4BA6 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:26:43] 609*2^1421396-1 is not prime. Res64: 222DE5B8898A8774 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:26:44] 861*2^1421395-1 is not prime. Res64: 3D4539A970127977 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:44:20] 837*2^1421396-1 is not prime. Res64: 1D8A449A9C582C23 Time : 0.0 sec. user=mdettweiler [2016-02-04 20:44:20] 623*2^1421396-1 is not prime. Res64: 9296839BECA0A46A Time : 0.0 sec. user=mdettweiler [2016-02-04 20:44:21] 873*2^1421396-1 is not prime. Res64: C5E0580232F4649A Time : 0.0 sec. user=mdettweiler [2016-02-04 20:44:21] 689*2^1421396-1 is not prime. Res64: B9EE4BB19C70F69E Time : 0.0 sec. user=mdettweiler [2016-02-04 20:44:21] 693*2^1421396-1 is not prime. Res64: 3CB21A942248742D Time : 0.0 sec. user=mdettweiler [2016-02-04 20:44:21] 743*2^1421396-1 is not prime. Res64: 23D1FFF1778663A8 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:01:58] 765*2^1421397-1 is not prime. Res64: 17589B06FCB131E7 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:01:58] 741*2^1421397-1 is not prime. Res64: 82B6C2DBB88021B0 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:01:58] 875*2^1421396-1 is not prime. Res64: 54145FB521109A81 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:01:59] 867*2^1421397-1 is not prime. Res64: 4B55255B21794668 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:01:59] 923*2^1421396-1 is not prime. Res64: 276F48DAD4849E34 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:02:00] 747*2^1421397-1 is not prime. Res64: 15C1C7B3E00F06D2 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:19:52] 891*2^1421397-1 is not prime. Res64: DA57C74B1B3C0995 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:19:52] 609*2^1421399-1 is not prime. Res64: 951170D81CDE7DFC Time : 0.0 sec. user=mdettweiler [2016-02-04 21:19:52] 923*2^1421398-1 is not prime. Res64: 612E00921853258F Time : 0.0 sec. user=mdettweiler [2016-02-04 21:19:52] 915*2^1421398-1 is not prime. Res64: 03613432BC809FC3 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:19:52] 711*2^1421399-1 is not prime. Res64: 65C8874C90F38C32 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:19:53] 981*2^1421398-1 is not prime. Res64: 6D3601205E5831A1 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:37:32] 813*2^1421399-1 is not prime. Res64: C320E4E0D0E62825 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:37:32] 825*2^1421399-1 is not prime. Res64: 95E3702FD9CBD556 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:37:32] 819*2^1421399-1 is not prime. Res64: 2EB1C8513EA811AA Time : 0.0 sec. user=mdettweiler [2016-02-04 21:37:32] 841*2^1421399-1 is not prime. Res64: A378EE9E1BCE888B Time : 0.0 sec. user=mdettweiler [2016-02-04 21:37:32] 861*2^1421399-1 is not prime. Res64: C6BCD039DE14F8AB Time : 0.0 sec. user=mdettweiler [2016-02-04 21:37:33] 973*2^1421399-1 is not prime. Res64: AFAFD5CA5F0A7A18 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:55:27] 979*2^1421399-1 is not prime. Res64: 4341540AF74D8992 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:55:27] 633*2^1421400-1 is not prime. Res64: C51A857C6E3EE1CB Time : 0.0 sec. user=mdettweiler [2016-02-04 21:55:27] 665*2^1421400-1 is not prime. Res64: BF93CF246982BB55 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:55:27] 675*2^1421400-1 is not prime. Res64: 8ADC06D3E06A2C70 Time : 0.0 sec. user=mdettweiler [2016-02-04 21:55:31] 689*2^1421400-1 is not prime. Res64: 8282D292EDB0F3AF Time : 0.0 sec. user=mdettweiler [2016-02-04 21:55:31] 723*2^1421400-1 is not prime. Res64: 38A98B1192FFE6F6 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:14:37] 899*2^1421400-1 is not prime. Res64: 5A837E45FD71F76D Time : 0.0 sec. user=mdettweiler [2016-02-04 22:14:37] 905*2^1421400-1 is not prime. Res64: 92C78A0408B86285 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:14:43] 639*2^1421401-1 is not prime. Res64: C13E27F9813F77D6 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:14:43] 715*2^1421401-1 is not prime. Res64: E54A282EE286D19B Time : 0.0 sec. user=mdettweiler [2016-02-04 22:14:44] 769*2^1421401-1 is not prime. Res64: F9562C906351EF11 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:14:45] 871*2^1421401-1 is not prime. Res64: 652AE3A9C85DB9F0 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:36:53] 645*2^1421402-1 is not prime. Res64: 1E4FB7E039CEC6F7 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:36:53] 701*2^1421402-1 is not prime. Res64: D42090B2569FB542 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:36:56] 885*2^1421402-1 is not prime. Res64: 46CE16D93137849F Time : 0.0 sec. user=mdettweiler [2016-02-04 22:36:56] 625*2^1421403-1 is not prime. Res64: F129C1EB0A63818A Time : 0.0 sec. user=mdettweiler [2016-02-04 22:37:17] 649*2^1421403-1 is not prime. Res64: D8D9B37E480231EA Time : 0.0 sec. user=mdettweiler [2016-02-04 22:37:17] 663*2^1421403-1 is not prime. Res64: 469074A94C2CED71 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:56:47] 699*2^1421403-1 is not prime. Res64: 585D9781652B4128 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:56:48] 753*2^1421403-1 is not prime. Res64: B62A833DCF83375C Time : 0.0 sec. user=mdettweiler [2016-02-04 22:56:54] 801*2^1421403-1 is not prime. Res64: E6179966722C9644 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:56:54] 963*2^1421403-1 is not prime. Res64: 1E9AB400743B6DF0 Time : 0.0 sec. user=mdettweiler [2016-02-04 22:57:07] 985*2^1421403-1 is not prime. Res64: A590A637E15C41AA Time : 0.0 sec. user=mdettweiler [2016-02-04 22:57:07] 687*2^1421404-1 is not prime. Res64: 6E9B258799882335 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:15:38] 719*2^1421404-1 is not prime. Res64: A4A0C2AB0D95BA73 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:15:38] 723*2^1421404-1 is not prime. Res64: 718776467E4E687B Time : 0.0 sec. user=mdettweiler [2016-02-04 23:15:45] 813*2^1421404-1 is not prime. Res64: 570EF9D615ABF614 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:15:45] 875*2^1421404-1 is not prime. Res64: 88C7FB17235645D9 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:15:57] 909*2^1421404-1 is not prime. Res64: 4E15DD03B6BB52F5 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:15:58] 601*2^1421405-1 is not prime. Res64: 1A87329FF71CBFDF Time : 0.0 sec. user=mdettweiler [2016-02-04 23:37:16] 691*2^1421405-1 is not prime. Res64: 91FCBCC023060C15 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:37:16] 981*2^1421405-1 is not prime. Res64: C6193BCF24722BDF Time : 0.0 sec. user=mdettweiler [2016-02-04 23:37:17] 683*2^1421406-1 is not prime. Res64: FDAC33AE537770D0 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:37:18] 707*2^1421406-1 is not prime. Res64: 1AF08262A96AD424 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:37:35] 815*2^1421406-1 is not prime. Res64: 9325DE7270D18EA7 Time : 0.0 sec. user=mdettweiler [2016-02-04 23:37:36] 921*2^1421406-1 is not prime. Res64: AB3E3881EB415236 Time : 0.0 sec.