user=mdettweiler [2016-10-26 00:05:41] 863*2^1443942-1 is not prime. Res64: FCBF7B56A2C31650 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:05:42] 891*2^1443942-1 is not prime. Res64: 31521DBEDFD65F9F Time : 0.0 sec. user=mdettweiler [2016-10-26 00:05:44] 893*2^1443942-1 is not prime. Res64: 713853538FD0E9D1 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:05:44] 917*2^1443942-1 is not prime. Res64: 597B0E0F01A304D4 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:05:45] 921*2^1443942-1 is not prime. Res64: CF895E34C3DA8587 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:06:27] 975*2^1443942-1 is not prime. Res64: 64F8C2EEBF4F6044 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:06:29] 625*2^1443943-1 is not prime. Res64: 22211379ABF1F1DE Time : 0.0 sec. user=mdettweiler [2016-10-26 00:06:30] 673*2^1443943-1 is not prime. Res64: 188FA38701E85DB6 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:06:31] 741*2^1443943-1 is not prime. Res64: 6BD4A37CB9C53EBC Time : 0.0 sec. user=mdettweiler [2016-10-26 00:06:32] 813*2^1443943-1 is not prime. Res64: E13AF1EE58694484 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:16:14] 849*2^1443943-1 is not prime. Res64: 313B4D4118EFFF8C Time : 0.0 sec. user=mdettweiler [2016-10-26 00:16:14] 901*2^1443943-1 is not prime. Res64: 39E245686462F79E Time : 0.0 sec. user=mdettweiler [2016-10-26 00:16:15] 961*2^1443943-1 is not prime. Res64: FABC6153E2A12BA2 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:16:15] 869*2^1443944-1 is not prime. Res64: 0EB2CB96FE7B0703 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:16:15] 923*2^1443944-1 is not prime. Res64: AF6BBEC867948DDA Time : 0.0 sec. user=mdettweiler [2016-10-26 00:34:44] 625*2^1443945-1 is not prime. Res64: 5B2459A9997EB7F2 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:34:44] 685*2^1443945-1 is not prime. Res64: 3A7E0AFE664C5128 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:34:45] 735*2^1443945-1 is not prime. Res64: 280183EE4350D24C Time : 0.0 sec. user=mdettweiler [2016-10-26 00:34:45] 817*2^1443945-1 is not prime. Res64: B9DDFF5137A7513A Time : 0.0 sec. user=mdettweiler [2016-10-26 00:34:45] 915*2^1443945-1 is not prime. Res64: 92CBFEC637DBCB9A Time : 0.0 sec. user=mdettweiler [2016-10-26 00:50:40] 999*2^1443945-1 is not prime. Res64: 56832C2B95FF4196 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:50:40] 635*2^1443946-1 is not prime. Res64: B2EE064B8250FF52 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:50:41] 633*2^1443947-1 is not prime. Res64: 05651CAB9BF3E92E Time : 0.0 sec. user=mdettweiler [2016-10-26 00:50:42] 651*2^1443947-1 is not prime. Res64: FCCE2DB0331C3FF7 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:50:43] 703*2^1443947-1 is not prime. Res64: B2439DD2AECD152B Time : 0.0 sec. user=mdettweiler [2016-10-26 00:51:15] 711*2^1443947-1 is not prime. Res64: 3E2F994AFB563928 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:51:15] 759*2^1443947-1 is not prime. Res64: A11EFFB0F6517269 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:51:15] 883*2^1443947-1 is not prime. Res64: 4985AA23F64BCEF6 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:51:16] 939*2^1443947-1 is not prime. Res64: 5D192D60A0205435 Time : 0.0 sec. user=mdettweiler [2016-10-26 00:51:16] 973*2^1443947-1 is not prime. Res64: A1502C170D3BC9A4 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:01:02] 669*2^1443948-1 is not prime. Res64: 19C8FA7474BEDC5D Time : 0.0 sec. user=mdettweiler [2016-10-26 01:01:03] 683*2^1443948-1 is not prime. Res64: 924B76C93D8F526C Time : 0.0 sec. user=mdettweiler [2016-10-26 01:01:03] 767*2^1443948-1 is not prime. Res64: BD5D6E4DC00438C7 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:01:04] 825*2^1443948-1 is not prime. Res64: 32BF9725DB8A1FEB Time : 0.0 sec. user=mdettweiler [2016-10-26 01:01:05] 845*2^1443948-1 is not prime. Res64: 2BFB7F53CAB440FA Time : 0.0 sec. user=mdettweiler [2016-10-26 01:19:31] 867*2^1443948-1 is not prime. Res64: FA253A6E0735A1B0 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:19:32] 899*2^1443948-1 is not prime. Res64: 93AE6CC0501CA920 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:19:33] 909*2^1443948-1 is not prime. Res64: C805BAD762D6C2CF Time : 0.0 sec. user=mdettweiler [2016-10-26 01:19:33] 945*2^1443948-1 is not prime. Res64: 7D4FCA0925263EF1 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:19:34] 615*2^1443949-1 is not prime. Res64: 9449B383C3911A6A Time : 0.0 sec. user=mdettweiler [2016-10-26 01:35:33] 621*2^1443949-1 is not prime. Res64: 65FB443912A770EA Time : 0.0 sec. user=mdettweiler [2016-10-26 01:35:33] 667*2^1443949-1 is not prime. Res64: 8A2F56590B36F5C6 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:35:33] 861*2^1443949-1 is not prime. Res64: FFEFDBDCA9ACF0E7 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:35:34] 957*2^1443949-1 is not prime. Res64: 9B3A86DF8B98E97D Time : 0.0 sec. user=mdettweiler [2016-10-26 01:35:34] 635*2^1443950-1 is not prime. Res64: 720D32178A6AE6CB Time : 0.0 sec. user=mdettweiler [2016-10-26 01:36:07] 657*2^1443950-1 is not prime. Res64: 0C0DADD15C1F0DBC Time : 0.0 sec. user=mdettweiler [2016-10-26 01:36:07] 665*2^1443950-1 is not prime. Res64: 6ABD50F3BC6226A7 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:36:08] 761*2^1443950-1 is not prime. Res64: 016B9E89ECF6A814 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:36:08] 831*2^1443950-1 is not prime. Res64: CEE11DB0EE0A5DEE Time : 0.0 sec. user=mdettweiler [2016-10-26 01:36:08] 935*2^1443950-1 is not prime. Res64: 2F883C871EC811C6 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:46:04] 775*2^1443951-1 is not prime. Res64: FAB9FB7207013B83 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:46:04] 789*2^1443951-1 is not prime. Res64: 5794954D0487A952 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:46:05] 823*2^1443951-1 is not prime. Res64: 209B9E80B5F1ED94 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:46:05] 865*2^1443951-1 is not prime. Res64: 5A53EF924017F691 Time : 0.0 sec. user=mdettweiler [2016-10-26 01:46:06] 955*2^1443951-1 is not prime. Res64: 3220CC33EEC22DAC Time : 0.0 sec. user=mdettweiler [2016-10-26 02:05:41] 975*2^1443951-1 is not prime. Res64: D619158B100CC805 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:05:42] 687*2^1443952-1 is not prime. Res64: 2FC88D4689F4BF53 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:05:43] 803*2^1443952-1 is not prime. Res64: CF74ED1628FEDCFB Time : 0.0 sec. user=mdettweiler [2016-10-26 02:05:45] 819*2^1443952-1 is not prime. Res64: 22F991350F26B65C Time : 0.0 sec. user=mdettweiler [2016-10-26 02:05:46] 827*2^1443952-1 is not prime. Res64: E4816306C7250C39 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:39] 925*2^1443953-1 is not prime. Res64: 7F429F0B469374A2 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:39] 949*2^1443953-1 is not prime. Res64: 582695055E97248F Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:40] 951*2^1443953-1 is not prime. Res64: 72F070FDF80BF943 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:41] 955*2^1443953-1 is not prime. Res64: 585DA4BFFC06BD92 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:41] 635*2^1443954-1 is not prime. Res64: 8CE8567496D09F11 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:52] 855*2^1443952-1 is not prime. Res64: 131A8053C6F25295 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:53] 899*2^1443952-1 is not prime. Res64: 95E91526DC2C1914 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:54] 651*2^1443953-1 is not prime. Res64: 19C63F86F9BD44B8 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:54] 691*2^1443953-1 is not prime. Res64: 9202284EAFF285B8 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:21:55] 855*2^1443953-1 is not prime. Res64: 50D12D10224A67AA Time : 0.0 sec. user=mdettweiler [2016-10-26 02:32:55] 665*2^1443954-1 is not prime. Res64: 09EC49FAA5A617C5 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:32:56] 671*2^1443954-1 is not prime. Res64: 609C941D3A258816 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:32:56] 737*2^1443954-1 is not prime. Res64: 06657E4F9029884A Time : 0.0 sec. user=mdettweiler [2016-10-26 02:32:57] 755*2^1443954-1 is not prime. Res64: AC785F552D7A06E7 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:32:57] 803*2^1443954-1 is not prime. Res64: BEAC2B6A4D5A727F Time : 0.0 sec. user=mdettweiler [2016-10-26 02:52:24] 885*2^1443954-1 is not prime. Res64: E9D5AA89E88BF875 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:52:25] 917*2^1443954-1 is not prime. Res64: FE7D9156501BF402 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:52:26] 993*2^1443954-1 is not prime. Res64: 66C70EFE77EFB036 Time : 0.0 sec. user=mdettweiler [2016-10-26 02:52:27] 619*2^1443955-1 is not prime. Res64: 24CDBC26B684AF1B Time : 0.0 sec. user=mdettweiler [2016-10-26 02:52:27] 705*2^1443955-1 is not prime. Res64: 8B16601C82B0A75B Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:17] 855*2^1443956-1 is not prime. Res64: B70F200CDEEA9346 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:18] 903*2^1443956-1 is not prime. Res64: D72A7247A0D1F5F5 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:19] 945*2^1443956-1 is not prime. Res64: 411DB4744F8E28A3 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:20] 993*2^1443956-1 is not prime. Res64: F891E4605D17BF65 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:21] 667*2^1443957-1 is not prime. Res64: 7269FB017BBBC540 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:26] 741*2^1443955-1 is not prime. Res64: 25801B36CF76DD8C Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:28] 801*2^1443955-1 is not prime. Res64: E95CB08AE6390C24 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:31] 895*2^1443955-1 is not prime. Res64: 5C338289F89799B5 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:33] 759*2^1443956-1 is not prime. Res64: 4D795EE62F821055 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:07:35] 785*2^1443956-1 is not prime. Res64: 5D0A2A9082CFA0BD Time : 0.0 sec. user=mdettweiler [2016-10-26 03:17:47] 727*2^1443957-1 is not prime. Res64: 0E982005C7554819 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:17:48] 735*2^1443957-1 is not prime. Res64: B1AB28F43167AEA8 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:17:48] 867*2^1443957-1 is not prime. Res64: 504115F0F07B32D3 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:17:49] 955*2^1443957-1 is not prime. Res64: E8D3E96B1B71041A Time : 0.0 sec. user=mdettweiler [2016-10-26 03:17:49] 603*2^1443958-1 is not prime. Res64: FFD208F2259187B5 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:38:05] 705*2^1443958-1 is not prime. Res64: C5F7E60D6BBEA7EC Time : 0.0 sec. user=mdettweiler [2016-10-26 03:38:08] 861*2^1443958-1 is not prime. Res64: E86E5834B477BEA2 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:38:09] 621*2^1443959-1 is not prime. Res64: 15AD167A987E9525 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:38:12] 655*2^1443959-1 is not prime. Res64: 5B0F19AC4C46DEC0 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:38:14] 675*2^1443959-1 is not prime. Res64: 3BF73AB63390D602 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:01] 763*2^1443959-1 is not prime. Res64: F4CD3226B4B43808 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:02] 789*2^1443959-1 is not prime. Res64: 54D9087228C16827 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:04] 799*2^1443959-1 is not prime. Res64: B6BD7AA29CD7E0C2 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:05] 707*2^1443960-1 is not prime. Res64: E313398D70A99394 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:05] 823*2^1443959-1 is not prime. Res64: 7D7589F81FE98C02 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:06] 735*2^1443960-1 is not prime. Res64: BA7AC0B69447926F Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:07] 825*2^1443959-1 is not prime. Res64: 17EE364F9EC7EF8D Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:08] 795*2^1443960-1 is not prime. Res64: 91A830D000FBE9FD Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:09] 923*2^1443960-1 is not prime. Res64: 35D2CA67F7210871 Time : 0.0 sec. user=mdettweiler [2016-10-26 03:53:10] 959*2^1443960-1 is not prime. Res64: 7D705F4D88BF5ED8 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:03:46] 625*2^1443961-1 is not prime. Res64: 9392A47599A2D8E2 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:03:49] 651*2^1443961-1 is not prime. Res64: 80535D922FB2926B Time : 0.0 sec. user=mdettweiler [2016-10-26 04:03:51] 741*2^1443961-1 is not prime. Res64: 69C74D018C8FF0D8 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:03:52] 747*2^1443961-1 is not prime. Res64: 17FDFD55F902FDEB Time : 0.0 sec. user=mdettweiler [2016-10-26 04:03:54] 683*2^1443962-1 is not prime. Res64: 179026DE1C94B589 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:23:28] 711*2^1443962-1 is not prime. Res64: 067D1740C6533CAE Time : 0.0 sec. user=mdettweiler [2016-10-26 04:23:28] 827*2^1443962-1 is not prime. Res64: 4D8AD5AB85584F98 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:23:28] 837*2^1443962-1 is not prime. Res64: 507F49B719160B66 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:23:28] 903*2^1443962-1 is not prime. Res64: BA412A6F033BDD64 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:23:29] 945*2^1443962-1 is not prime. Res64: 4D4B618799AEA03C Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:10] 895*2^1443963-1 is not prime. Res64: 74FE8724B0F455E0 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:10] 901*2^1443963-1 is not prime. Res64: 38704A6A9E791426 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:11] 605*2^1443964-1 is not prime. Res64: 73D5AE19AF87A205 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:11] 609*2^1443964-1 is not prime. Res64: 8B1722459C4F2EE2 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:11] 675*2^1443964-1 is not prime. Res64: 6F40004A24CD06FB Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:28] 1001*2^1443962-1 is not prime. Res64: 412DF064BE7A6282 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:28] 679*2^1443963-1 is not prime. Res64: B34F432354E3FBFC Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:28] 745*2^1443963-1 is not prime. Res64: D6F62571682DEF44 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:28] 859*2^1443963-1 is not prime. Res64: 44A3937DB6CC2E97 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:38:29] 873*2^1443963-1 is not prime. Res64: 06D9BA808E84AB60 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:49:14] 719*2^1443964-1 is not prime. Res64: C2BD344D932E2240 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:49:15] 887*2^1443964-1 is not prime. Res64: 969D11F445D82468 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:49:15] 953*2^1443964-1 is not prime. Res64: B079B04D727DDF28 Time : 0.0 sec. user=mdettweiler [2016-10-26 04:49:15] 685*2^1443965-1 is not prime. Res64: 48F796798AB8271C Time : 0.0 sec. user=mdettweiler [2016-10-26 04:49:15] 795*2^1443965-1 is not prime. Res64: 182BE9C5736ECA73 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:08:24] 907*2^1443965-1 is not prime. Res64: A8D24B22C257FF1D Time : 0.0 sec. user=mdettweiler [2016-10-26 05:08:28] 979*2^1443965-1 is not prime. Res64: EEBF3A5489A22A82 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:08:30] 615*2^1443966-1 is not prime. Res64: AC553D49D6D095AF Time : 0.0 sec. user=mdettweiler [2016-10-26 05:08:33] 737*2^1443966-1 is not prime. Res64: 8226402A1D0BD7A9 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:08:35] 767*2^1443966-1 is not prime. Res64: B0DE5BE9AA838F2B Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:14] 807*2^1443966-1 is not prime. Res64: 7831C92482759108 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:14] 851*2^1443966-1 is not prime. Res64: 49C172C78E4CCEBB Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:14] 963*2^1443966-1 is not prime. Res64: 2C7A86918B844C7B Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:15] 621*2^1443967-1 is not prime. Res64: 5C6DB7735036EAA2 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:15] 685*2^1443967-1 is not prime. Res64: 19CCD2F389463589 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:19] 729*2^1443967-1 is not prime. Res64: 78F8CA2298773D69 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:19] 885*2^1443967-1 is not prime. Res64: B3913F93C7A94A75 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:19] 901*2^1443967-1 is not prime. Res64: CF8C57E95B3F8201 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:19] 919*2^1443967-1 is not prime. Res64: F7B64FB8D3DF2897 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:23:20] 973*2^1443967-1 is not prime. Res64: 5AEC20465F03525D Time : 0.0 sec. user=mdettweiler [2016-10-26 05:34:02] 615*2^1443968-1 is not prime. Res64: 9B5F70CEA7AED55C Time : 0.0 sec. user=mdettweiler [2016-10-26 05:34:03] 635*2^1443968-1 is not prime. Res64: 5D761292F2888426 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:34:03] 689*2^1443968-1 is not prime. Res64: 9B0D5C66FBC481C2 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:34:03] 747*2^1443968-1 is not prime. Res64: DD590740307C3DC1 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:34:03] 995*2^1443968-1 is not prime. Res64: BD7CA2C492DCD715 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:53:49] 769*2^1443969-1 is not prime. Res64: 624EE556F9035DC0 Time : 0.0 sec. user=mdettweiler [2016-10-26 05:53:49] 829*2^1443969-1 is not prime. Res64: BBDD0C775355157C Time : 0.0 sec. user=mdettweiler [2016-10-26 05:53:50] 847*2^1443969-1 is not prime. Res64: 8510089693B9D46C Time : 0.0 sec. user=mdettweiler [2016-10-26 05:53:50] 861*2^1443969-1 is not prime. Res64: D5BCC19BF66A747C Time : 0.0 sec. user=mdettweiler [2016-10-26 05:53:50] 907*2^1443969-1 is not prime. Res64: E5657623CAC9EA45 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:54] 919*2^1443969-1 is not prime. Res64: 704C23BFD39639D5 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:54] 619*2^1443971-1 is not prime. Res64: F7C2526D8AEE4040 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:55] 631*2^1443971-1 is not prime. Res64: A23926C06E26BEA1 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:55] 635*2^1443970-1 is not prime. Res64: F961496B6222A81A Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:55] 733*2^1443971-1 is not prime. Res64: 27C17F51FA825570 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:55] 681*2^1443970-1 is not prime. Res64: E5983B185046F3A4 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:56] 781*2^1443971-1 is not prime. Res64: CBBD267610B33A44 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:56] 741*2^1443970-1 is not prime. Res64: 36BF7051770BBA3D Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:56] 801*2^1443971-1 is not prime. Res64: 3A74E602D59B7F1A Time : 0.0 sec. user=mdettweiler [2016-10-26 06:07:56] 615*2^1443971-1 is not prime. Res64: 09F303A42EA05AF3 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:18:52] 921*2^1443971-1 is not prime. Res64: 09FE930D5297FAC8 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:18:52] 939*2^1443971-1 is not prime. Res64: 323343A1F19B9F15 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:18:53] 969*2^1443971-1 is not prime. Res64: 0E8123727A190FE6 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:18:53] 973*2^1443971-1 is not prime. Res64: 864E0AA8118C8BA3 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:18:54] 749*2^1443972-1 is not prime. Res64: D127264A639135EA Time : 0.0 sec. user=mdettweiler [2016-10-26 06:38:28] 753*2^1443972-1 is not prime. Res64: 1A5F4398FDD76993 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:38:28] 803*2^1443972-1 is not prime. Res64: 12698ED47ECB2AEA Time : 0.0 sec. user=mdettweiler [2016-10-26 06:38:29] 819*2^1443972-1 is not prime. Res64: 69F4EFC73E6B9647 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:38:29] 887*2^1443972-1 is not prime. Res64: 1B17015A9FDC7F53 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:38:29] 675*2^1443973-1 is not prime. Res64: 915F080E238FF5B7 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:38] 681*2^1443973-1 is not prime. Res64: 28FE447C6E32BE35 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:38] 699*2^1443973-1 is not prime. Res64: 24A26BF770123A40 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:39] 861*2^1443973-1 is not prime. Res64: 7078ABC75514F206 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:39] 867*2^1443973-1 is not prime. Res64: 9FEEF350F4301204 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:39] 951*2^1443973-1 is not prime. Res64: 6BCC75191CEFD176 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:42] 957*2^1443973-1 is not prime. Res64: A3B2F9671158D61F Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:43] 635*2^1443974-1 is not prime. Res64: 0FE0CB7EBA50E884 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:43] 641*2^1443974-1 is not prime. Res64: FF22095096591770 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:43] 711*2^1443974-1 is not prime. Res64: 87EB15DF2619ED32 Time : 0.0 sec. user=mdettweiler [2016-10-26 06:52:43] 785*2^1443974-1 is not prime. Res64: 43E58D5E5E9E36A7 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:03:37] 813*2^1443974-1 is not prime. Res64: 437E9D8E34C98861 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:03:38] 815*2^1443974-1 is not prime. Res64: 6AB9CEF100ACFA7B Time : 0.0 sec. user=mdettweiler [2016-10-26 07:03:39] 825*2^1443974-1 is not prime. Res64: CE0D80AA11406A26 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:03:40] 885*2^1443974-1 is not prime. Res64: 3F2016FC189E4369 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:03:40] 921*2^1443974-1 is not prime. Res64: B4C0D6FC856FB471 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:23:16] 935*2^1443974-1 is not prime. Res64: 97B271DA89049CCD Time : 0.0 sec. user=mdettweiler [2016-10-26 07:23:17] 651*2^1443975-1 is not prime. Res64: 3A2680A898B525DE Time : 0.0 sec. user=mdettweiler [2016-10-26 07:23:17] 705*2^1443975-1 is not prime. Res64: 1B5BE041143C7DA9 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:23:18] 735*2^1443975-1 is not prime. Res64: A801ACBB157B141A Time : 0.0 sec. user=mdettweiler [2016-10-26 07:23:18] 783*2^1443975-1 is not prime. Res64: DC6378632EFC24D6 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:20] 675*2^1443976-1 is not prime. Res64: 0F08163526694BD7 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:20] 689*2^1443976-1 is not prime. Res64: C2E8A679E084DDAE Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:20] 899*2^1443976-1 is not prime. Res64: 1F1593605B7FEE95 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:21] 927*2^1443976-1 is not prime. Res64: 159077E7BEC2FAAC Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:21] 631*2^1443977-1 is not prime. Res64: 974876E1734290AF Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:28] 849*2^1443975-1 is not prime. Res64: 9FF3451CEBEB03BE Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:28] 859*2^1443975-1 is not prime. Res64: BCFC6F7256C047C7 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:28] 963*2^1443975-1 is not prime. Res64: A57AE0AD76A8D038 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:28] 979*2^1443975-1 is not prime. Res64: 4B867AFBE162A38C Time : 0.0 sec. user=mdettweiler [2016-10-26 07:37:29] 623*2^1443976-1 is not prime. Res64: C0CE1EB35717789F Time : 0.0 sec. user=mdettweiler [2016-10-26 07:48:28] 675*2^1443977-1 is not prime. Res64: 2FDF4E4BCFA9ABF5 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:48:29] 691*2^1443977-1 is not prime. Res64: 3A06FD1F7D05390A Time : 0.0 sec. user=mdettweiler [2016-10-26 07:48:29] 711*2^1443977-1 is not prime. Res64: 76CAE1715E25BAA6 Time : 0.0 sec. user=mdettweiler [2016-10-26 07:48:29] 717*2^1443977-1 is not prime. Res64: 6576F27EE37E414C Time : 0.0 sec. user=mdettweiler [2016-10-26 07:48:29] 847*2^1443977-1 is not prime. Res64: BCD287DED8FDED5C Time : 0.0 sec. user=mdettweiler [2016-10-26 08:08:07] 901*2^1443977-1 is not prime. Res64: 76CDC10708B3AAD0 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:08:08] 939*2^1443977-1 is not prime. Res64: 67327291448138E1 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:08:10] 991*2^1443977-1 is not prime. Res64: 468CFED930884826 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:08:11] 633*2^1443978-1 is not prime. Res64: 6D0499874B92AD1A Time : 0.0 sec. user=mdettweiler [2016-10-26 08:08:12] 641*2^1443978-1 is not prime. Res64: 7E21DF717C6A106A Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:11] 923*2^1443978-1 is not prime. Res64: 698001649DADFBE7 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:11] 933*2^1443978-1 is not prime. Res64: 734C8833F5454A61 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:12] 993*2^1443978-1 is not prime. Res64: BAA5E7CAFAE8E87A Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:12] 609*2^1443979-1 is not prime. Res64: 5D2B9C1626FA862B Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:12] 693*2^1443979-1 is not prime. Res64: 02532D3DD1AA836D Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:15] 663*2^1443978-1 is not prime. Res64: 7993F499AB5A5FEC Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:15] 747*2^1443978-1 is not prime. Res64: F65BF45F22B8D1B3 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:15] 801*2^1443978-1 is not prime. Res64: 242CE08A34B4B93F Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:15] 861*2^1443978-1 is not prime. Res64: 0724B85D4697D962 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:22:16] 891*2^1443978-1 is not prime. Res64: ED56DB30BF3D41F0 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:33:11] 709*2^1443979-1 is not prime. Res64: F50ECBCB5C96B78C Time : 0.0 sec. user=mdettweiler [2016-10-26 08:33:11] 765*2^1443979-1 is not prime. Res64: 21D964E305721BA5 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:33:11] 801*2^1443979-1 is not prime. Res64: D8C6EAF34F65D5A6 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:33:11] 909*2^1443979-1 is not prime. Res64: BF6DC35E37B37F5F Time : 0.0 sec. user=mdettweiler [2016-10-26 08:33:12] 999*2^1443979-1 is not prime. Res64: 209C98B0E0327621 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:53:11] 603*2^1443980-1 is not prime. Res64: 4D1009C588C9A024 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:53:11] 789*2^1443980-1 is not prime. Res64: 86F122C803DC8EC4 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:53:11] 813*2^1443980-1 is not prime. Res64: 8D0DBADD45C00A71 Time : 0.0 sec. user=mdettweiler [2016-10-26 08:53:12] 875*2^1443980-1 is not prime. Res64: D7C398DE785A49FA Time : 0.0 sec. user=mdettweiler [2016-10-26 08:53:12] 927*2^1443980-1 is not prime. Res64: 44CC056F85CFAA17 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:50] 953*2^1443980-1 is not prime. Res64: 030C3992E29E21A4 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:52] 741*2^1443981-1 is not prime. Res64: A2D2C2E6C6ED5CED Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:54] 825*2^1443981-1 is not prime. Res64: A4E67BE8ED4D83DA Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:54] 991*2^1443981-1 is not prime. Res64: 53BD916BEB265643 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:55] 621*2^1443982-1 is not prime. Res64: 6535444BB4C58B3A Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:55] 611*2^1443982-1 is not prime. Res64: E44F3F54765674A1 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:56] 675*2^1443982-1 is not prime. Res64: 722325A69A44D65C Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:56] 821*2^1443982-1 is not prime. Res64: 268E500240C9F0E2 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:57] 825*2^1443982-1 is not prime. Res64: 7D0EC23D482078D3 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:06:58] 827*2^1443982-1 is not prime. Res64: F53118429715F487 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:17:51] 911*2^1443982-1 is not prime. Res64: 7C9B6965B8CC5248 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:17:52] 685*2^1443983-1 is not prime. Res64: 44C152FD48336B2B Time : 0.0 sec. user=mdettweiler [2016-10-26 09:17:52] 703*2^1443983-1 is not prime. Res64: 5E7BE5FAC9BE143D Time : 0.0 sec. user=mdettweiler [2016-10-26 09:17:53] 775*2^1443983-1 is not prime. Res64: E7B2FF03D5DC5A60 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:17:53] 789*2^1443983-1 is not prime. Res64: 5C40B4A4BCFABD28 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:37:59] 861*2^1443983-1 is not prime. Res64: 846105263B8600CA Time : 0.0 sec. user=mdettweiler [2016-10-26 09:37:59] 993*2^1443983-1 is not prime. Res64: 3222E234A1B4E4E1 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:37:59] 843*2^1443984-1 is not prime. Res64: 289E6EC85F29D6EB Time : 0.0 sec. user=mdettweiler [2016-10-26 09:37:59] 929*2^1443984-1 is not prime. Res64: BAE829B9E66AC258 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:38:00] 947*2^1443984-1 is not prime. Res64: AF58F7C71994F99E Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:46] 741*2^1443986-1 is not prime. Res64: 3D79C69449DC0982 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:46] 783*2^1443986-1 is not prime. Res64: 858F35A3536125ED Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:46] 801*2^1443986-1 is not prime. Res64: 8C9FBE0B7FC7EC0A Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:46] 921*2^1443986-1 is not prime. Res64: 51B6503638374EC5 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:47] 619*2^1443987-1 is not prime. Res64: 742DA8CFD9423F33 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:48] 625*2^1443985-1 is not prime. Res64: A140601D7551426A Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:48] 687*2^1443985-1 is not prime. Res64: E69183AD2C8EA1BB Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:48] 741*2^1443985-1 is not prime. Res64: 9E1E0CC5069D41F2 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:49] 623*2^1443986-1 is not prime. Res64: A6C1AF50FB7B5DA8 Time : 0.0 sec. user=mdettweiler [2016-10-26 09:51:49] 641*2^1443986-1 is not prime. Res64: 401B40749E6477D8 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:02:50] 775*2^1443987-1 is not prime. Res64: 548BA5DB75284437 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:02:50] 879*2^1443987-1 is not prime. Res64: C4149DB7AD4A4093 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:02:51] 909*2^1443987-1 is not prime. Res64: 549A28F565EF336D Time : 0.0 sec. user=mdettweiler [2016-10-26 10:02:51] 951*2^1443987-1 is not prime. Res64: A4FDC31B3B6E0AB3 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:02:52] 961*2^1443987-1 is not prime. Res64: FD35C39138F4FB2C Time : 0.0 sec. user=mdettweiler [2016-10-26 10:23:08] 973*2^1443987-1 is not prime. Res64: 2D1B7D36FEDF86BA Time : 0.0 sec. user=mdettweiler [2016-10-26 10:23:09] 615*2^1443988-1 is not prime. Res64: 8CA9C1AB2E8C3C17 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:23:09] 647*2^1443988-1 is not prime. Res64: C11C2C3C32D6B359 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:23:10] 687*2^1443988-1 is not prime. Res64: 4EA99F320FD6E719 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:23:10] 735*2^1443988-1 is not prime. Res64: 8DD505922776571E Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:19] 847*2^1443989-1 is not prime. Res64: 191E4E2ACCFD7EC8 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:19] 855*2^1443989-1 is not prime. Res64: 453F4C14D11DE9B4 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:19] 957*2^1443989-1 is not prime. Res64: 6037DCBE4DB051A8 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:19] 839*2^1443988-1 is not prime. Res64: 32AEB2106DE5BD96 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:20] 651*2^1443990-1 is not prime. Res64: EDDD5C7E2DBA71FB Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:20] 843*2^1443988-1 is not prime. Res64: 551172643AFEE0A4 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:20] 765*2^1443990-1 is not prime. Res64: 9E028188F2DED7DA Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:20] 915*2^1443988-1 is not prime. Res64: A15B2A98B0B4557B Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:20] 655*2^1443989-1 is not prime. Res64: D723112821587DF7 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:37:20] 811*2^1443989-1 is not prime. Res64: EADB4608F183D3FE Time : 0.0 sec. user=mdettweiler [2016-10-26 10:49:40] 777*2^1443990-1 is not prime. Res64: CA4F2F8F3CF5D01B Time : 0.0 sec. user=mdettweiler [2016-10-26 10:49:41] 821*2^1443990-1 is not prime. Res64: 30F80FCB74EB6832 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:49:41] 873*2^1443990-1 is not prime. Res64: DB6BC92B068D6ECD Time : 0.0 sec. user=mdettweiler [2016-10-26 10:49:41] 977*2^1443990-1 is not prime. Res64: 36EB648744F7ED56 Time : 0.0 sec. user=mdettweiler [2016-10-26 10:49:42] 645*2^1443991-1 is not prime. Res64: C5C7EA605479CF42 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:11:50] 681*2^1443991-1 is not prime. Res64: 59EC2664011564E1 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:11:51] 723*2^1443991-1 is not prime. Res64: 5A2735590AC415C0 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:11:51] 885*2^1443991-1 is not prime. Res64: 5F2B545515BD02FE Time : 0.0 sec. user=mdettweiler [2016-10-26 11:11:51] 683*2^1443992-1 is not prime. Res64: 0CD5AA80FF20DC6C Time : 0.0 sec. user=mdettweiler [2016-10-26 11:11:52] 693*2^1443992-1 is not prime. Res64: 0145CC4634E779C3 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:50] 983*2^1443992-1 is not prime. Res64: DE4FFECD06583D86 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:50] 691*2^1443993-1 is not prime. Res64: 5506ED523AF92AF5 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:50] 759*2^1443993-1 is not prime. Res64: AE4645B19ED7BB05 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:51] 807*2^1443993-1 is not prime. Res64: 2129A3C089BE40F5 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:51] 919*2^1443993-1 is not prime. Res64: 48157B616017FE5D Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:53] 767*2^1443992-1 is not prime. Res64: 21E97A98A32D592E Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:53] 785*2^1443992-1 is not prime. Res64: B1956D09B9B69E74 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:53] 855*2^1443992-1 is not prime. Res64: A548AB698671991C Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:53] 915*2^1443992-1 is not prime. Res64: 0E54E722AA79405A Time : 0.0 sec. user=mdettweiler [2016-10-26 11:25:54] 935*2^1443992-1 is not prime. Res64: EC041EED79233D49 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:37:10] 617*2^1443994-1 is not prime. Res64: E3CBC0CF67C96D5B Time : 0.0 sec. user=mdettweiler [2016-10-26 11:37:10] 675*2^1443994-1 is not prime. Res64: 216A3AD1F96D1E82 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:37:10] 705*2^1443994-1 is not prime. Res64: 00B69EB176FA2063 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:37:10] 737*2^1443994-1 is not prime. Res64: 047D2E1682863805 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:37:10] 905*2^1443994-1 is not prime. Res64: F39B9ED2A4F62CB7 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:57:26] 917*2^1443994-1 is not prime. Res64: A1B9FB154A10FA3F Time : 0.0 sec. user=mdettweiler [2016-10-26 11:57:26] 923*2^1443994-1 is not prime. Res64: 4461CB8A654AD5CF Time : 0.0 sec. user=mdettweiler [2016-10-26 11:57:27] 1001*2^1443994-1 is not prime. Res64: 86D9F5AA1FB68362 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:57:27] 643*2^1443995-1 is not prime. Res64: 60EA2D4566EF8119 Time : 0.0 sec. user=mdettweiler [2016-10-26 11:57:27] 651*2^1443995-1 is not prime. Res64: D7CB0FAAC25E1B06 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:31] 867*2^1443996-1 is not prime. Res64: F3424409CB5D6C46 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:31] 899*2^1443996-1 is not prime. Res64: 3522197F3A0520BD Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:32] 909*2^1443996-1 is not prime. Res64: E81EE6807C363E93 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:32] 993*2^1443996-1 is not prime. Res64: DBF8A8967F24BF2F Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:32] 645*2^1443997-1 is not prime. Res64: 6B59C365006FA4DA Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:33] 825*2^1443995-1 is not prime. Res64: 6B8AD755F38FA156 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:33] 883*2^1443995-1 is not prime. Res64: 78AEBB22B8EBEE0E Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:34] 885*2^1443995-1 is not prime. Res64: C1B0765B5A0C19BD Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:34] 963*2^1443995-1 is not prime. Res64: AD7BE91C4E00353C Time : 0.0 sec. user=mdettweiler [2016-10-26 12:11:35] 707*2^1443996-1 is not prime. Res64: 2A5047C48E564D1B Time : 0.0 sec. user=mdettweiler [2016-10-26 12:22:40] 717*2^1443997-1 is not prime. Res64: 67F4C01BDF19DE39 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:22:41] 871*2^1443997-1 is not prime. Res64: 3EE2F29BBBE6D220 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:22:41] 957*2^1443997-1 is not prime. Res64: FDD283D91ABCFC68 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:22:41] 967*2^1443997-1 is not prime. Res64: 3880EEF01A49B936 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:22:41] 641*2^1443998-1 is not prime. Res64: 1F92C098BC65FDEF Time : 0.0 sec. user=mdettweiler [2016-10-26 12:42:56] 687*2^1443998-1 is not prime. Res64: 2D9E83EDDD8F4123 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:42:56] 713*2^1443998-1 is not prime. Res64: C87FF17F7F416AFE Time : 0.0 sec. user=mdettweiler [2016-10-26 12:42:56] 743*2^1443998-1 is not prime. Res64: CBC004286E94B7DB Time : 0.0 sec. user=mdettweiler [2016-10-26 12:42:56] 771*2^1443998-1 is not prime. Res64: C12F0B86733E2EDA Time : 0.0 sec. user=mdettweiler [2016-10-26 12:42:57] 963*2^1443998-1 is not prime. Res64: B5E94F633CC226F3 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:15] 933*2^1443999-1 is not prime. Res64: 29C24351DDC4C835 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:15] 973*2^1443999-1 is not prime. Res64: 0BCEECD9EA204653 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:15] 707*2^1444000-1 is not prime. Res64: 43D93658A13E9F81 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:15] 825*2^1444000-1 is not prime. Res64: 5B5BB36CBF4CA519 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:15] 873*2^1444000-1 is not prime. Res64: 343F578D8B6C3DF0 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:44] 619*2^1443999-1 is not prime. Res64: DA35A4A397AB3EBC Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:44] 625*2^1443999-1 is not prime. Res64: 9A12B75683A9179A Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:44] 633*2^1443999-1 is not prime. Res64: 453109955CF370E0 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:44] 663*2^1443999-1 is not prime. Res64: C65073074B13B723 Time : 0.0 sec. user=mdettweiler [2016-10-26 12:57:44] 859*2^1443999-1 is not prime. Res64: 02260D2BBEE2FCF4 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:09:35] 957*2^1444000-1 is not prime. Res64: EF1EBBD48C129F3A Time : 0.0 sec. user=mdettweiler [2016-10-26 13:09:36] 631*2^1444001-1 is not prime. Res64: 620E6FDD84328808 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:09:37] 795*2^1444001-1 is not prime. Res64: DC14185ED05D08E2 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:09:37] 865*2^1444001-1 is not prime. Res64: 7676C34158D1FBF2 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:09:38] 925*2^1444001-1 is not prime. Res64: 290BC544EE247C4F Time : 0.0 sec. user=mdettweiler [2016-10-26 13:30:04] 767*2^1444002-1 is not prime. Res64: 6E758B4177EB47CA Time : 0.0 sec. user=mdettweiler [2016-10-26 13:30:04] 917*2^1444002-1 is not prime. Res64: 1ECF2623F1104316 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:30:04] 609*2^1444003-1 is not prime. Res64: 2549CC582FB6F493 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:30:04] 633*2^1444003-1 is not prime. Res64: 228F3C35CB62D6AB Time : 0.0 sec. user=mdettweiler [2016-10-26 13:30:05] 735*2^1444003-1 is not prime. Res64: 769D7F945EB89CFC Time : 0.0 sec. user=mdettweiler [2016-10-26 13:44:51] 789*2^1444003-1 is not prime. Res64: 6E6311DCD9A6C36F Time : 0.0 sec. user=mdettweiler [2016-10-26 13:44:51] 835*2^1444003-1 is not prime. Res64: BB065621CC9F15DB Time : 0.0 sec. user=mdettweiler [2016-10-26 13:44:51] 885*2^1444003-1 is not prime. Res64: 8C6CC2E9FF99E8A7 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:44:52] 945*2^1444003-1 is not prime. Res64: 7FF2BAC2961C7F5B Time : 0.0 sec. user=mdettweiler [2016-10-26 13:44:52] 635*2^1444004-1 is not prime. Res64: 15F3BD86591A0096 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:45:58] 707*2^1444004-1 is not prime. Res64: 89C03417A307FDAD Time : 0.0 sec. user=mdettweiler [2016-10-26 13:45:58] 749*2^1444004-1 is not prime. Res64: EB64736111801B28 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:45:58] 869*2^1444004-1 is not prime. Res64: 42CA9BC4B07AD576 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:45:59] 953*2^1444004-1 is not prime. Res64: AFBEB22BDDC5C34A Time : 0.0 sec. user=mdettweiler [2016-10-26 13:45:59] 995*2^1444004-1 is not prime. Res64: 68A4B0E85F3B81F9 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:56:04] 639*2^1444005-1 is not prime. Res64: 320436C476C37C53 Time : 0.0 sec. user=mdettweiler [2016-10-26 13:56:05] 649*2^1444005-1 is not prime. Res64: F2B848DD1A7E00DA Time : 0.0 sec. user=mdettweiler [2016-10-26 13:56:05] 675*2^1444005-1 is not prime. Res64: 8254CF5E2CD4AA8E Time : 0.0 sec. user=mdettweiler [2016-10-26 13:56:05] 789*2^1444005-1 is not prime. Res64: 1E0D9A3586F33B2C Time : 0.0 sec. user=mdettweiler [2016-10-26 13:56:05] 831*2^1444005-1 is not prime. Res64: 2C943B441730EF82 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:15:50] 889*2^1444005-1 is not prime. Res64: 174A758D9C287E7F Time : 0.0 sec. user=mdettweiler [2016-10-26 14:15:51] 999*2^1444005-1 is not prime. Res64: 9A64D63B3CC3BF89 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:15:51] 741*2^1444006-1 is not prime. Res64: DBB2176E61215A41 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:15:52] 833*2^1444006-1 is not prime. Res64: 1CF2502D82BA569C Time : 0.0 sec. user=mdettweiler [2016-10-26 14:15:53] 685*2^1444007-1 is not prime. Res64: 7BEA709752BB0F70 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:29:46] 693*2^1444007-1 is not prime. Res64: 5075C63BE87DDC42 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:29:47] 819*2^1444007-1 is not prime. Res64: 3AC0A4AFCC176470 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:29:47] 843*2^1444007-1 is not prime. Res64: DDB79B3C577FF385 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:29:47] 973*2^1444007-1 is not prime. Res64: EA5E3DC53814155B Time : 0.0 sec. user=mdettweiler [2016-10-26 14:29:47] 605*2^1444008-1 is not prime. Res64: C22F4DC0F1F9CAEF Time : 0.0 sec. user=mdettweiler [2016-10-26 14:30:50] 695*2^1444008-1 is not prime. Res64: 6B671C78F47A32CA Time : 0.0 sec. user=mdettweiler [2016-10-26 14:30:50] 705*2^1444008-1 is not prime. Res64: 93D18D4BA9D1325F Time : 0.0 sec. user=mdettweiler [2016-10-26 14:30:50] 825*2^1444008-1 is not prime. Res64: 6F87870F6689D9DF Time : 0.0 sec. user=mdettweiler [2016-10-26 14:30:51] 839*2^1444008-1 is not prime. Res64: 578E3A419BF18763 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:30:51] 975*2^1444008-1 is not prime. Res64: 8E1A381983146BD6 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:40:52] 667*2^1444009-1 is not prime. Res64: AC77BCBAA153EE05 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:40:52] 675*2^1444009-1 is not prime. Res64: D66C6A33E2AD54AB Time : 0.0 sec. user=mdettweiler [2016-10-26 14:40:52] 747*2^1444009-1 is not prime. Res64: D209FB6C5E114271 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:40:52] 751*2^1444009-1 is not prime. Res64: 933E2CD947FC26A0 Time : 0.0 sec. user=mdettweiler [2016-10-26 14:40:53] 807*2^1444009-1 is not prime. Res64: 429355F6D839C9AC Time : 0.0 sec. user=mdettweiler [2016-10-26 15:00:42] 897*2^1444009-1 is not prime. Res64: EEF3AB6DC3284A16 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:00:42] 957*2^1444009-1 is not prime. Res64: 51773D2842CCD9E3 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:00:43] 633*2^1444010-1 is not prime. Res64: 9E8D639BCA5F52D6 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:00:43] 641*2^1444010-1 is not prime. Res64: 1BE91F847A9B1E53 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:00:44] 651*2^1444010-1 is not prime. Res64: 7CF29017B733BE9A Time : 0.0 sec. user=mdettweiler [2016-10-26 15:14:41] 657*2^1444010-1 is not prime. Res64: E9B6F58DF1CE9EC9 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:14:42] 675*2^1444010-1 is not prime. Res64: 51026AA1AFAD66CC Time : 0.0 sec. user=mdettweiler [2016-10-26 15:14:43] 677*2^1444010-1 is not prime. Res64: DC6715A49AF96B5D Time : 0.0 sec. user=mdettweiler [2016-10-26 15:14:44] 825*2^1444010-1 is not prime. Res64: 86A1189569B51976 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:14:45] 893*2^1444010-1 is not prime. Res64: 8FB66ED3427A15D5 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:15:32] 911*2^1444010-1 is not prime. Res64: 536865115A24D3D8 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:15:33] 957*2^1444010-1 is not prime. Res64: 17651F1CD99202DB Time : 0.0 sec. user=mdettweiler [2016-10-26 15:15:33] 625*2^1444011-1 is not prime. Res64: 8EF1B2A79A92E834 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:15:34] 705*2^1444011-1 is not prime. Res64: 471D1794543E952A Time : 0.0 sec. user=mdettweiler [2016-10-26 15:15:34] 723*2^1444011-1 is not prime. Res64: E35C977CD781AADD Time : 0.0 sec. user=mdettweiler [2016-10-26 15:25:38] 803*2^1443714-1 is not prime. Res64: FFEAD502EBEAB9B0 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:25:38] 753*2^1444011-1 is not prime. Res64: 4376C29AF38F7A09 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:25:39] 789*2^1444011-1 is not prime. Res64: C0A57F5CB7A06912 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:25:39] 801*2^1444011-1 is not prime. Res64: DBD9E4D4B15DE358 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:25:39] 943*2^1444011-1 is not prime. Res64: 41E8427376B0DB0F Time : 0.0 sec. user=mdettweiler [2016-10-26 15:45:40] 623*2^1444012-1 is not prime. Res64: 341ADA2D519EC235 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:45:40] 677*2^1444012-1 is not prime. Res64: 3D95419C37D7EB52 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:45:40] 765*2^1444012-1 is not prime. Res64: D78E682B03ED9736 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:45:41] 843*2^1444012-1 is not prime. Res64: 7F3B4D5AD0E668AA Time : 0.0 sec. user=mdettweiler [2016-10-26 15:45:41] 909*2^1444012-1 is not prime. Res64: C4AEBED75B99727F Time : 0.0 sec. user=mdettweiler [2016-10-26 15:59:33] 929*2^1444012-1 is not prime. Res64: D1F65D62288BFA0D Time : 0.0 sec. user=mdettweiler [2016-10-26 15:59:33] 939*2^1444012-1 is not prime. Res64: 29F6F76297C2E193 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:59:33] 975*2^1444012-1 is not prime. Res64: 3460FEF6AB20A8BA Time : 0.0 sec. user=mdettweiler [2016-10-26 15:59:34] 987*2^1444012-1 is not prime. Res64: 52F8091828A94C45 Time : 0.0 sec. user=mdettweiler [2016-10-26 15:59:34] 651*2^1444013-1 is not prime. Res64: D30E570D0BCE5729 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:00:17] 657*2^1444013-1 is not prime. Res64: B881A21BB2045BCE Time : 0.0 sec. user=mdettweiler [2016-10-26 16:00:19] 795*2^1444013-1 is not prime. Res64: E5367674B2B6C20E Time : 0.0 sec. user=mdettweiler [2016-10-26 16:00:19] 915*2^1444013-1 is not prime. Res64: CA9468FC106E5DB1 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:00:20] 985*2^1444013-1 is not prime. Res64: E66D89291CFF028E Time : 0.0 sec. user=mdettweiler [2016-10-26 16:00:20] 681*2^1444014-1 is not prime. Res64: EFD99A1426613D1E Time : 0.0 sec. user=mdettweiler [2016-10-26 16:10:22] 755*2^1444014-1 is not prime. Res64: 616BEBF5472BA7EF Time : 0.0 sec. user=mdettweiler [2016-10-26 16:10:23] 815*2^1444014-1 is not prime. Res64: 9212D229E956F1B2 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:10:23] 861*2^1444014-1 is not prime. Res64: 0C8F4899985AB801 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:10:23] 945*2^1444014-1 is not prime. Res64: 97E5F92EC106C90B Time : 0.0 sec. user=mdettweiler [2016-10-26 16:10:24] 619*2^1444015-1 is not prime. Res64: 44600F03EE8F8BAC Time : 0.0 sec. user=mdettweiler [2016-10-26 16:30:20] 625*2^1444015-1 is not prime. Res64: 3A69E9A1B6DF2D0D Time : 0.0 sec. user=mdettweiler [2016-10-26 16:30:20] 661*2^1444015-1 is not prime. Res64: 2208F38B0F71484C Time : 0.0 sec. user=mdettweiler [2016-10-26 16:30:20] 885*2^1444015-1 is not prime. Res64: 95D0FA9D089BD9F9 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:30:20] 951*2^1444015-1 is not prime. Res64: 3E67FFDBBA8E1CCB Time : 0.0 sec. user=mdettweiler [2016-10-26 16:30:21] 663*2^1444016-1 is not prime. Res64: A10D386D1D1C214C Time : 0.0 sec. user=mdettweiler [2016-10-26 16:44:54] 815*2^1444016-1 is not prime. Res64: 02EB3E167C456300 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:44:54] 923*2^1444016-1 is not prime. Res64: A73D2F51F0E7AA4E Time : 0.0 sec. user=mdettweiler [2016-10-26 16:44:55] 927*2^1444016-1 is not prime. Res64: 6DA4FEE1DC82F5D3 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:44:55] 999*2^1444016-1 is not prime. Res64: 2EC36A691FC5BC4D Time : 0.0 sec. user=mdettweiler [2016-10-26 16:44:55] 607*2^1444017-1 is not prime. Res64: 62B9B34C07450BD6 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:45:51] 609*2^1444017-1 is not prime. Res64: 9259DA7D7964642E Time : 0.0 sec. user=mdettweiler [2016-10-26 16:45:51] 637*2^1444017-1 is not prime. Res64: D2A5A8BB60D7F1CB Time : 0.0 sec. user=mdettweiler [2016-10-26 16:45:52] 649*2^1444017-1 is not prime. Res64: 8CA5D949EDD1E58B Time : 0.0 sec. user=mdettweiler [2016-10-26 16:45:52] 741*2^1444017-1 is not prime. Res64: A121851F85D0DFEA Time : 0.0 sec. user=mdettweiler [2016-10-26 16:45:52] 765*2^1444017-1 is not prime. Res64: 6E519C33183A94A4 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:55:35] 847*2^1444017-1 is not prime. Res64: AE0AF78932FE442B Time : 0.0 sec. user=mdettweiler [2016-10-26 16:55:36] 849*2^1444017-1 is not prime. Res64: B98FFEB9F0ABC4B6 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:55:36] 891*2^1444017-1 is not prime. Res64: 62F1D538EEA99AF4 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:55:36] 901*2^1444017-1 is not prime. Res64: 6D923803F8B9CC68 Time : 0.0 sec. user=mdettweiler [2016-10-26 16:55:36] 621*2^1444018-1 is not prime. Res64: E97E3AA4FDDA0507 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:17:23] 663*2^1444018-1 is not prime. Res64: 07905D5742179042 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:17:24] 765*2^1444018-1 is not prime. Res64: FED16213E0342943 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:17:24] 815*2^1444018-1 is not prime. Res64: F24C398DABF8FA63 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:17:24] 971*2^1444018-1 is not prime. Res64: 40C857B00BF923D8 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:17:25] 633*2^1444019-1 is not prime. Res64: 9751A5F9B1CDC77D Time : 0.0 sec. user=mdettweiler [2016-10-26 17:30:34] 693*2^1444019-1 is not prime. Res64: 7134141C54F8757F Time : 0.0 sec. user=mdettweiler [2016-10-26 17:30:34] 733*2^1444019-1 is not prime. Res64: 3488909528BB4127 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:30:34] 735*2^1444019-1 is not prime. Res64: 7FC1946DEA74DCE4 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:30:35] 799*2^1444019-1 is not prime. Res64: FC0DFE6B809E265F Time : 0.0 sec. user=mdettweiler [2016-10-26 17:30:35] 861*2^1444019-1 is not prime. Res64: 9D6568C9CD06F551 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:31:01] 921*2^1444019-1 is not prime. Res64: 71D0E133CB875597 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:31:02] 943*2^1444019-1 is not prime. Res64: 4258F2C0052EC1E5 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:31:02] 609*2^1444020-1 is not prime. Res64: 7D7B16EC26143E37 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:31:02] 623*2^1444020-1 is not prime. Res64: 8BD5FB823C51FEDB Time : 0.0 sec. user=mdettweiler [2016-10-26 17:31:02] 725*2^1444020-1 is not prime. Res64: 0C8B34E8429CAB18 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:41:20] 737*2^1444020-1 is not prime. Res64: FA7E6B3C8EC578A8 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:41:20] 767*2^1444020-1 is not prime. Res64: 7A9047537B442076 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:41:21] 879*2^1444020-1 is not prime. Res64: A0EBD21A9496D5E0 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:41:21] 927*2^1444020-1 is not prime. Res64: B04775EC7D9A74D2 Time : 0.0 sec. user=mdettweiler [2016-10-26 17:41:21] 607*2^1444021-1 is not prime. Res64: 6A016F1E3B0339A1 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:02:14] 691*2^1444021-1 is not prime. Res64: 2DD8545E49358CE7 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:02:16] 717*2^1444021-1 is not prime. Res64: 67DFB92638559B59 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:02:16] 745*2^1444021-1 is not prime. Res64: 5695933D43FACDC0 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:02:17] 777*2^1444021-1 is not prime. Res64: 153089D374797D9B Time : 0.0 sec. user=mdettweiler [2016-10-26 18:02:17] 801*2^1444021-1 is not prime. Res64: 56A73AF3BEE56A60 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:20] 847*2^1444021-1 is not prime. Res64: CEA371FE427943E9 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:20] 855*2^1444021-1 is not prime. Res64: 10FC75A65A755A10 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:20] 937*2^1444021-1 is not prime. Res64: 07CE661F9566A697 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:21] 713*2^1444022-1 is not prime. Res64: A35FB67BE3862730 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:21] 731*2^1444022-1 is not prime. Res64: BB445A7984F55A81 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:47] 785*2^1444022-1 is not prime. Res64: A76EA93E637A2225 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:47] 825*2^1444022-1 is not prime. Res64: 4945CE309A1E00F4 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:47] 827*2^1444022-1 is not prime. Res64: 9842A430CFB49E52 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:48] 893*2^1444022-1 is not prime. Res64: 028160EE67E0AFDC Time : 0.0 sec. user=mdettweiler [2016-10-26 18:15:48] 945*2^1444022-1 is not prime. Res64: B6364946F530A2C1 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:26:21] 965*2^1444022-1 is not prime. Res64: 43A29C89A37CD841 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:26:21] 669*2^1444023-1 is not prime. Res64: 01DA5A82455F703C Time : 0.0 sec. user=mdettweiler [2016-10-26 18:26:21] 795*2^1444023-1 is not prime. Res64: BB5B4C2D6D0E2ECD Time : 0.0 sec. user=mdettweiler [2016-10-26 18:26:21] 951*2^1444023-1 is not prime. Res64: BAFA5EF12C55811C Time : 0.0 sec. user=mdettweiler [2016-10-26 18:26:22] 973*2^1444023-1 is not prime. Res64: AF130370B5D94882 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:47:10] 605*2^1444024-1 is not prime. Res64: C7CCE2CCABA13D30 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:47:11] 629*2^1444024-1 is not prime. Res64: 9F9258483D2B22BC Time : 0.0 sec. user=mdettweiler [2016-10-26 18:47:11] 819*2^1444024-1 is not prime. Res64: 2D43338D406F69E9 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:47:11] 915*2^1444024-1 is not prime. Res64: AEE1C87B40618A86 Time : 0.0 sec. user=mdettweiler [2016-10-26 18:47:11] 917*2^1444024-1 is not prime. Res64: 0DE8120B73DD134F Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:03] 983*2^1444024-1 is not prime. Res64: 27DC56DC9A4D66C8 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:03] 627*2^1444025-1 is not prime. Res64: E981C1BBC585A11A Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:04] 729*2^1444025-1 is not prime. Res64: 625BBEA71E0B76E7 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:04] 811*2^1444025-1 is not prime. Res64: 46B67C501BF72ABB Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:04] 837*2^1444025-1 is not prime. Res64: BB5361966A7FB9D8 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:41] 861*2^1444025-1 is not prime. Res64: 69354309DA446821 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:42] 865*2^1444025-1 is not prime. Res64: 9FD0C623F23D631C Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:43] 635*2^1444026-1 is not prime. Res64: 0BBBEE33220758B7 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:43] 837*2^1444026-1 is not prime. Res64: 54E966CF4D4CABE3 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:00:44] 873*2^1444026-1 is not prime. Res64: C444E36884D8A95E Time : 0.0 sec. user=mdettweiler [2016-10-26 19:11:08] 921*2^1444026-1 is not prime. Res64: 1A5A7A64FA0C77EA Time : 0.0 sec. user=mdettweiler [2016-10-26 19:11:09] 631*2^1444027-1 is not prime. Res64: 2283AC709403ED37 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:11:09] 649*2^1444027-1 is not prime. Res64: EEBD8C356F47890F Time : 0.0 sec. user=mdettweiler [2016-10-26 19:11:09] 703*2^1444027-1 is not prime. Res64: 730F82B3C5F7484A Time : 0.0 sec. user=mdettweiler [2016-10-26 19:11:09] 913*2^1444027-1 is not prime. Res64: 45EDCEF383BD9EB5 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:32:15] 945*2^1444027-1 is not prime. Res64: 70C06843FD3BD3D0 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:32:15] 975*2^1444027-1 is not prime. Res64: 6FAF6DF11338F9AA Time : 0.0 sec. user=mdettweiler [2016-10-26 19:32:16] 797*2^1444028-1 is not prime. Res64: 519319B750271D1F Time : 0.0 sec. user=mdettweiler [2016-10-26 19:32:16] 827*2^1444028-1 is not prime. Res64: B9B95CCB9E30FC15 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:32:16] 609*2^1444029-1 is not prime. Res64: 60A53BED82DC9AC0 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:44:51] 675*2^1444029-1 is not prime. Res64: 2D306F7CDBF5986E Time : 0.0 sec. user=mdettweiler [2016-10-26 19:44:51] 691*2^1444029-1 is not prime. Res64: 13AABA6A940D9F60 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:44:51] 735*2^1444029-1 is not prime. Res64: B94BE6598539ECE1 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:44:51] 765*2^1444029-1 is not prime. Res64: CCCD58D39D4134E7 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:44:52] 847*2^1444029-1 is not prime. Res64: 81BACC2834D6D925 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:45:36] 861*2^1444029-1 is not prime. Res64: A610C9707465832D Time : 0.0 sec. user=mdettweiler [2016-10-26 19:45:36] 865*2^1444029-1 is not prime. Res64: 48F6BB997D1C3914 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:45:36] 975*2^1444029-1 is not prime. Res64: 76F3CA740F56855E Time : 0.0 sec. user=mdettweiler [2016-10-26 19:45:37] 675*2^1444030-1 is not prime. Res64: 2B5F15750F58A81C Time : 0.0 sec. user=mdettweiler [2016-10-26 19:45:37] 723*2^1444030-1 is not prime. Res64: 286FA1BAAE0F191C Time : 0.0 sec. user=mdettweiler [2016-10-26 19:55:58] 741*2^1444030-1 is not prime. Res64: C8992A2E821C5FE0 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:55:58] 843*2^1444030-1 is not prime. Res64: 6458C439D4D9BC08 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:55:59] 917*2^1444030-1 is not prime. Res64: 48E1745291690EB3 Time : 0.0 sec. user=mdettweiler [2016-10-26 19:55:59] 1001*2^1444030-1 is not prime. Res64: 3483881D6074846E Time : 0.0 sec. user=mdettweiler [2016-10-26 19:55:59] 603*2^1444031-1 is not prime. Res64: 60E61B3F9D010338 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:16:56] 651*2^1444031-1 is not prime. Res64: 15BA10DE47E30ACC Time : 0.0 sec. user=mdettweiler [2016-10-26 20:16:58] 735*2^1444031-1 is not prime. Res64: 962839ED12E02B46 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:16:59] 775*2^1444031-1 is not prime. Res64: C900D5C15956A898 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:16:59] 783*2^1444031-1 is not prime. Res64: 88E6135435F4EB69 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:17:00] 823*2^1444031-1 is not prime. Res64: 6CF473869C1E0C1A Time : 0.0 sec. user=mdettweiler [2016-10-26 20:29:30] 885*2^1444031-1 is not prime. Res64: CC5EC4E60AC1B656 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:29:30] 931*2^1444031-1 is not prime. Res64: 6307AC9578198763 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:29:31] 945*2^1444031-1 is not prime. Res64: 78C1F107078216FB Time : 0.0 sec. user=mdettweiler [2016-10-26 20:29:31] 969*2^1444031-1 is not prime. Res64: 91E843ADAB2AED0A Time : 0.0 sec. user=mdettweiler [2016-10-26 20:29:31] 803*2^1444032-1 is not prime. Res64: 2BE6D566AA76B416 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:30:12] 929*2^1444032-1 is not prime. Res64: 5968132365A5DE05 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:30:12] 983*2^1444032-1 is not prime. Res64: 244D0B0419721801 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:30:12] 625*2^1444033-1 is not prime. Res64: 761EA16F56FA8EB5 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:30:13] 639*2^1444033-1 is not prime. Res64: D78C758353448C83 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:30:13] 819*2^1444033-1 is not prime. Res64: F7B8202831326A2A Time : 0.0 sec. user=mdettweiler [2016-10-26 20:40:48] 901*2^1444033-1 is not prime. Res64: 0C1369DDFA4A39CD Time : 0.0 sec. user=mdettweiler [2016-10-26 20:40:48] 955*2^1444033-1 is not prime. Res64: EF5760C6A0D86306 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:40:48] 813*2^1444034-1 is not prime. Res64: C72ABDE0777FC21C Time : 0.0 sec. user=mdettweiler [2016-10-26 20:40:48] 873*2^1444034-1 is not prime. Res64: CB1CED0B53110EC9 Time : 0.0 sec. user=mdettweiler [2016-10-26 20:40:49] 875*2^1444034-1 is not prime. Res64: 2C5F78DA4BC309A3 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:01:56] 885*2^1444034-1 is not prime. Res64: DADB729717329289 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:01:57] 649*2^1444035-1 is not prime. Res64: 55887E59CF3D5276 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:01:58] 705*2^1444035-1 is not prime. Res64: 90304E7C449A92BE Time : 0.0 sec. user=mdettweiler [2016-10-26 21:01:59] 781*2^1444035-1 is not prime. Res64: 1D0A3A6559152CAC Time : 0.0 sec. user=mdettweiler [2016-10-26 21:01:59] 789*2^1444035-1 is not prime. Res64: BA15C91D3F016631 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:23] 859*2^1444035-1 is not prime. Res64: EC6C2A721EB031EE Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:23] 903*2^1444035-1 is not prime. Res64: 367B6879F2C53440 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:23] 973*2^1444035-1 is not prime. Res64: 1E1EC164808B171A Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:24] 693*2^1444036-1 is not prime. Res64: BA83B6CB0E42086C Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:24] 719*2^1444036-1 is not prime. Res64: FC8684FFD13FA6CD Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:57] 735*2^1444036-1 is not prime. Res64: 458A10B8C01B2BC4 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:58] 759*2^1444036-1 is not prime. Res64: 487EABA701FD2291 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:58] 803*2^1444036-1 is not prime. Res64: 46F723EB99032A06 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:59] 857*2^1444036-1 is not prime. Res64: 1939E87AE33AF108 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:14:59] 903*2^1444036-1 is not prime. Res64: 333C8F1E47336CC9 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:25:51] 909*2^1444036-1 is not prime. Res64: 0FDE547E5A8A44BC Time : 0.0 sec. user=mdettweiler [2016-10-26 21:25:51] 939*2^1444036-1 is not prime. Res64: E83E768599FB1957 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:25:51] 741*2^1444037-1 is not prime. Res64: 2E0CF53801EA6443 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:25:52] 759*2^1444037-1 is not prime. Res64: 2C0476004478C129 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:25:52] 829*2^1444037-1 is not prime. Res64: C5BA62E517662F82 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:46:52] 901*2^1444037-1 is not prime. Res64: 0FD5443EC736D294 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:46:53] 927*2^1444037-1 is not prime. Res64: 791B23503896CDE0 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:46:53] 931*2^1444037-1 is not prime. Res64: 1F3788B1705EB085 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:46:53] 979*2^1444037-1 is not prime. Res64: FBA9A16CF8447E6C Time : 0.0 sec. user=mdettweiler [2016-10-26 21:46:53] 635*2^1444038-1 is not prime. Res64: 716E4727119ABFD1 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:12] 707*2^1444038-1 is not prime. Res64: CBBE3B167A2F33EA Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:12] 777*2^1444038-1 is not prime. Res64: 2488AA90A416D22F Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:12] 821*2^1444038-1 is not prime. Res64: 998EA78540AC37CA Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:12] 893*2^1444038-1 is not prime. Res64: 3B96C29A060ED4F0 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:13] 1001*2^1444038-1 is not prime. Res64: EC523A59BBB9EC3A Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:44] 609*2^1444039-1 is not prime. Res64: 09FF3947C740AB61 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:44] 619*2^1444039-1 is not prime. Res64: A1830D2F3800FA39 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:44] 645*2^1444039-1 is not prime. Res64: D7B2378B45E761DD Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:44] 735*2^1444039-1 is not prime. Res64: 9E81F44DBCEFE6D0 Time : 0.0 sec. user=mdettweiler [2016-10-26 21:59:45] 891*2^1444039-1 is not prime. Res64: E96FC4A0C533A5E4 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:10:30] 635*2^1444040-1 is not prime. Res64: 2F9B911E7D51C7BA Time : 0.0 sec. user=mdettweiler [2016-10-26 22:10:31] 675*2^1444040-1 is not prime. Res64: 94FA0D5AB0ABAE55 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:10:31] 717*2^1444040-1 is not prime. Res64: F799CD697DA31861 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:10:31] 813*2^1444040-1 is not prime. Res64: E381DB582E55FA49 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:10:31] 825*2^1444040-1 is not prime. Res64: 785421FB0C400A22 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:31:46] 899*2^1444040-1 is not prime. Res64: 060BAD3DB74E3226 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:31:46] 637*2^1444041-1 is not prime. Res64: FCF60ADF57A130ED Time : 0.0 sec. user=mdettweiler [2016-10-26 22:31:47] 781*2^1444041-1 is not prime. Res64: 4345159BF3FCBCB4 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:31:47] 909*2^1444041-1 is not prime. Res64: AA14EE0F5C08D6B9 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:31:47] 975*2^1444041-1 is not prime. Res64: 0E668EEF462BBE2B Time : 0.0 sec. user=mdettweiler [2016-10-26 22:43:43] 635*2^1444042-1 is not prime. Res64: 2803A74E2A4316E0 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:43:43] 657*2^1444042-1 is not prime. Res64: 0000A4A8F9BEF414 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:43:44] 675*2^1444042-1 is not prime. Res64: A88402C220794DA0 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:43:44] 723*2^1444042-1 is not prime. Res64: 54E6CA5DCE49B02B Time : 0.0 sec. user=mdettweiler [2016-10-26 22:43:44] 843*2^1444042-1 is not prime. Res64: C20119A7A82D6750 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:44:27] 621*2^1444043-1 is not prime. Res64: B77A68F99BAD8A1B Time : 0.0 sec. user=mdettweiler [2016-10-26 22:44:27] 663*2^1444043-1 is not prime. Res64: 7F5A91419DF28A75 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:44:27] 675*2^1444043-1 is not prime. Res64: 584DEB0072B427E4 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:44:27] 879*2^1444043-1 is not prime. Res64: 47D6503457A517A2 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:44:28] 885*2^1444043-1 is not prime. Res64: 1522E94B05BA1A9B Time : 0.0 sec. user=mdettweiler [2016-10-26 22:55:13] 949*2^1444043-1 is not prime. Res64: 0C6AD6B5E125BA3C Time : 0.0 sec. user=mdettweiler [2016-10-26 22:55:13] 955*2^1444043-1 is not prime. Res64: 9A0A30F31612C68C Time : 0.0 sec. user=mdettweiler [2016-10-26 22:55:14] 993*2^1444043-1 is not prime. Res64: 19503E519E5A64D7 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:55:14] 627*2^1444044-1 is not prime. Res64: A2ACD151AE0569A7 Time : 0.0 sec. user=mdettweiler [2016-10-26 22:55:14] 719*2^1444044-1 is not prime. Res64: 3D0EA7EA727168B4 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:16:27] 753*2^1444044-1 is not prime. Res64: D297E61B5C5E081A Time : 0.0 sec. user=mdettweiler [2016-10-26 23:16:27] 857*2^1444044-1 is not prime. Res64: 1FE457705D1FF7CE Time : 0.0 sec. user=mdettweiler [2016-10-26 23:16:27] 927*2^1444044-1 is not prime. Res64: DEFB54CB863DD4D9 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:16:28] 983*2^1444044-1 is not prime. Res64: 60523A5D98CEC0D5 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:16:28] 609*2^1444045-1 is not prime. Res64: 6B5719A3E1FDD8D9 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:28:33] 919*2^1444045-1 is not prime. Res64: 4701B703DEEA7F05 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:28:33] 937*2^1444045-1 is not prime. Res64: 619471A6811D32D5 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:28:33] 955*2^1444045-1 is not prime. Res64: 9879BE9C5A8EA246 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:28:34] 627*2^1444046-1 is not prime. Res64: 804419383092E668 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:28:34] 705*2^1444046-1 is not prime. Res64: 3A554CADA89701BE Time : 0.0 sec. user=mdettweiler [2016-10-26 23:29:25] 743*2^1444046-1 is not prime. Res64: 36F4929CB3A38E6B Time : 0.0 sec. user=mdettweiler [2016-10-26 23:29:25] 755*2^1444046-1 is not prime. Res64: 63CE28EA353729B3 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:29:25] 851*2^1444046-1 is not prime. Res64: 1FDD036C9EAFA44A Time : 0.0 sec. user=mdettweiler [2016-10-26 23:29:26] 619*2^1444047-1 is not prime. Res64: 7C0890A6F9494D66 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:29:26] 705*2^1444047-1 is not prime. Res64: 9F4EBB450B1B80D6 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:40:13] 909*2^1444047-1 is not prime. Res64: C9E8949EABD01381 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:40:13] 919*2^1444047-1 is not prime. Res64: 3B9B728C512CB7AF Time : 0.0 sec. user=mdettweiler [2016-10-26 23:40:13] 979*2^1444047-1 is not prime. Res64: BAF410E1435C6EBB Time : 0.0 sec. user=mdettweiler [2016-10-26 23:40:13] 999*2^1444047-1 is not prime. Res64: C3F9D23DB39A04F0 Time : 0.0 sec. user=mdettweiler [2016-10-26 23:40:13] 615*2^1444048-1 is not prime. Res64: 5003FCF6E7F35EE7 Time : 0.0 sec.