user=mdettweiler [2016-07-09 00:08:25] 777*2^1434772-1 is not prime. Res64: 7B6057B0EF0BC60D Time : 0.0 sec. user=mdettweiler [2016-07-09 00:08:28] 897*2^1434772-1 is not prime. Res64: 825DDEF851115F68 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:08:29] 903*2^1434772-1 is not prime. Res64: 613B2DDAE9BA45D5 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:08:33] 615*2^1434773-1 is not prime. Res64: 87F4411418F2F820 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:08:37] 855*2^1434773-1 is not prime. Res64: 58FB37150FD999CE Time : 0.0 sec. user=mdettweiler [2016-07-09 00:20:39] 885*2^1434773-1 is not prime. Res64: DA2CDCCD2F890509 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:20:39] 915*2^1434773-1 is not prime. Res64: C2ABE92DF2870130 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:20:40] 611*2^1434774-1 is not prime. Res64: AD9385F8095EB6E8 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:20:40] 635*2^1434774-1 is not prime. Res64: FC06903D705F5035 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:20:40] 807*2^1434774-1 is not prime. Res64: ED33F95BB378D85A Time : 0.0 sec. user=mdettweiler [2016-07-09 00:21:27] 815*2^1434774-1 is not prime. Res64: C3222294B954A897 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:21:28] 833*2^1434774-1 is not prime. Res64: 31EC3229500C3C6E Time : 0.0 sec. user=mdettweiler [2016-07-09 00:21:28] 927*2^1434774-1 is not prime. Res64: 50039E022C646205 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:21:28] 609*2^1434775-1 is not prime. Res64: 5B5BCB4F71FFECBF Time : 0.0 sec. user=mdettweiler [2016-07-09 00:21:29] 705*2^1434775-1 is not prime. Res64: 55F07BF813AC52F3 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:34:08] 723*2^1434775-1 is not prime. Res64: A029A79AF70BBD4B Time : 0.0 sec. user=mdettweiler [2016-07-09 00:34:08] 759*2^1434775-1 is not prime. Res64: 3E2AC9E7A2D3CB41 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:34:08] 853*2^1434775-1 is not prime. Res64: B74C2017611A7D9F Time : 0.0 sec. user=mdettweiler [2016-07-09 00:34:09] 855*2^1434775-1 is not prime. Res64: 27D30376635A2EF0 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:34:09] 951*2^1434775-1 is not prime. Res64: 482CF68B7F735B53 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:53:53] 669*2^1434776-1 is not prime. Res64: 3B4EAF4F1336DCF9 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:53:59] 675*2^1434776-1 is not prime. Res64: ACC74EC00DF15DE0 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:54:05] 677*2^1434776-1 is not prime. Res64: 3B971E4EF1D4494B Time : 0.0 sec. user=mdettweiler [2016-07-09 00:54:11] 773*2^1434776-1 is not prime. Res64: 2CAE2067680AFF67 Time : 0.0 sec. user=mdettweiler [2016-07-09 00:54:16] 785*2^1434776-1 is not prime. Res64: 470078B316B7B035 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:05:42] 815*2^1434776-1 is not prime. Res64: 005D8B8D055F8E24 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:05:43] 869*2^1434776-1 is not prime. Res64: F937CEC2857BF7B7 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:05:45] 873*2^1434776-1 is not prime. Res64: 2E541AC23D50F744 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:05:45] 759*2^1434777-1 is not prime. Res64: 379B383C15E608F4 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:05:46] 955*2^1434777-1 is not prime. Res64: C86C14067571AD43 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:06:42] 999*2^1434777-1 is not prime. Res64: 641129FAA2C1CF76 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:06:43] 623*2^1434778-1 is not prime. Res64: 293D4097117D93AD Time : 0.0 sec. user=mdettweiler [2016-07-09 01:06:43] 687*2^1434778-1 is not prime. Res64: 67D4FE1B022F3AD7 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:06:43] 713*2^1434778-1 is not prime. Res64: 2CEB84C61F9B371B Time : 0.0 sec. user=mdettweiler [2016-07-09 01:06:44] 755*2^1434778-1 is not prime. Res64: E2ED61C3067729CB Time : 0.0 sec. user=mdettweiler [2016-07-09 01:19:13] 803*2^1434778-1 is not prime. Res64: 871E5C2752B9EACE Time : 0.0 sec. user=mdettweiler [2016-07-09 01:19:14] 941*2^1434778-1 is not prime. Res64: 2D525503B76306CB Time : 0.0 sec. user=mdettweiler [2016-07-09 01:19:14] 711*2^1434779-1 is not prime. Res64: 111938B6CA3AD7A8 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:19:15] 789*2^1434779-1 is not prime. Res64: 24EC5BFF3C2A8B25 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:19:16] 799*2^1434779-1 is not prime. Res64: 36DF585F295E03C8 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:39:25] 825*2^1434779-1 is not prime. Res64: 327360ACC6C6C0B0 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:39:25] 903*2^1434779-1 is not prime. Res64: 6F3476106BD2C2F6 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:39:26] 695*2^1434780-1 is not prime. Res64: C070EC7CD32091B5 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:39:26] 719*2^1434780-1 is not prime. Res64: A80EF7407282F8AA Time : 0.0 sec. user=mdettweiler [2016-07-09 01:39:26] 753*2^1434780-1 is not prime. Res64: 45173E3141821FDD Time : 0.0 sec. user=mdettweiler [2016-07-09 01:51:04] 779*2^1434780-1 is not prime. Res64: 27FE5F3CC9664FC2 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:51:04] 783*2^1434780-1 is not prime. Res64: 2A7501D41F02B6C6 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:51:04] 789*2^1434780-1 is not prime. Res64: 9C0AE0C262A6D534 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:51:05] 839*2^1434780-1 is not prime. Res64: E6A326E2815B0975 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:51:05] 845*2^1434780-1 is not prime. Res64: BB2C868427B79917 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:52:05] 857*2^1434780-1 is not prime. Res64: 64FF5614F0D4849B Time : 0.0 sec. user=mdettweiler [2016-07-09 01:52:05] 609*2^1434781-1 is not prime. Res64: D4387E93EDCD808F Time : 0.0 sec. user=mdettweiler [2016-07-09 01:52:06] 877*2^1434781-1 is not prime. Res64: 2EB0E45E001B1977 Time : 0.0 sec. user=mdettweiler [2016-07-09 01:52:06] 937*2^1434781-1 is not prime. Res64: 1DDB6524E35BCD4D Time : 0.0 sec. user=mdettweiler [2016-07-09 01:52:06] 677*2^1434782-1 is not prime. Res64: B2D7F63D1F24B644 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:04:41] 801*2^1434782-1 is not prime. Res64: 464D488A41A1B6F2 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:25:13] 861*2^1434783-1 is not prime. Res64: 26F02144E7BDB883 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:25:13] 873*2^1434783-1 is not prime. Res64: 244590BED74AD6B3 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:25:14] 879*2^1434783-1 is not prime. Res64: F3B58DD5F48958D8 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:25:14] 961*2^1434783-1 is not prime. Res64: 62ABDDCF37B34921 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:25:14] 665*2^1434784-1 is not prime. Res64: 4707603D74502EF8 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:37:00] 693*2^1434784-1 is not prime. Res64: C0726AC027EEC9C4 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:37:01] 707*2^1434784-1 is not prime. Res64: 75E258644DA51F85 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:37:01] 723*2^1434784-1 is not prime. Res64: ED04F844FCB270F5 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:37:01] 755*2^1434784-1 is not prime. Res64: 43C5524BE474E184 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:37:02] 915*2^1434784-1 is not prime. Res64: 01901133DAA97C49 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:38:06] 927*2^1434784-1 is not prime. Res64: 8BB3BB5DD2113D22 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:38:07] 993*2^1434784-1 is not prime. Res64: B098B1CEA85240D5 Time : 0.0 sec. user=mdettweiler [2016-07-09 02:38:07] 995*2^1434784-1 is not prime. Res64: 3DB6D10B646B09AC Time : 0.0 sec. user=mdettweiler [2016-07-09 02:38:08] 685*2^1434785-1 is not prime. Res64: E0A9696FBBEDDAEC Time : 0.0 sec. user=mdettweiler [2016-07-09 02:38:08] 811*2^1434785-1 is not prime. Res64: 830C395BC0BFE84F Time : 0.0 sec. user=mdettweiler [2016-07-09 03:11:25] 897*2^1434785-1 is not prime. Res64: 886EC7C7FB811700 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:11:25] 987*2^1434785-1 is not prime. Res64: AF53CA5A3630990E Time : 0.0 sec. user=mdettweiler [2016-07-09 03:11:26] 647*2^1434786-1 is not prime. Res64: A5A7E0BF255E15D3 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:11:26] 653*2^1434786-1 is not prime. Res64: 057D05258154D957 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:11:27] 887*2^1434786-1 is not prime. Res64: B5BDFAD315F6D105 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:22:50] 633*2^1434787-1 is not prime. Res64: 5CAAFAE9E0DDC40F Time : 0.0 sec. user=mdettweiler [2016-07-09 03:22:54] 651*2^1434787-1 is not prime. Res64: E6AF8A13CDC86ABE Time : 0.0 sec. user=mdettweiler [2016-07-09 03:22:58] 681*2^1434787-1 is not prime. Res64: B842CE069FFCD986 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:23:02] 691*2^1434787-1 is not prime. Res64: 45B68FEBF0ACEC31 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:23:06] 751*2^1434787-1 is not prime. Res64: 67F4E41A4B71E10C Time : 0.0 sec. user=mdettweiler [2016-07-09 03:24:10] 769*2^1434787-1 is not prime. Res64: CB41F2FF434551DA Time : 0.0 sec. user=mdettweiler [2016-07-09 03:24:15] 749*2^1434788-1 is not prime. Res64: 67F53B277876C17E Time : 0.0 sec. user=mdettweiler [2016-07-09 03:24:19] 987*2^1434788-1 is not prime. Res64: E6414F2DA30D2730 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:24:23] 621*2^1434789-1 is not prime. Res64: F137280C5840D3FB Time : 0.0 sec. user=mdettweiler [2016-07-09 03:24:27] 655*2^1434789-1 is not prime. Res64: A33EF883FFA8771D Time : 0.0 sec. user=mdettweiler [2016-07-09 03:57:27] 669*2^1434789-1 is not prime. Res64: A657D1064C56E922 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:57:33] 685*2^1434789-1 is not prime. Res64: ECF070726D3B849A Time : 0.0 sec. user=mdettweiler [2016-07-09 03:57:40] 765*2^1434789-1 is not prime. Res64: ECF08C241E1A3A96 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:57:46] 837*2^1434789-1 is not prime. Res64: A4FEADFA01022E08 Time : 0.0 sec. user=mdettweiler [2016-07-09 03:57:53] 867*2^1434789-1 is not prime. Res64: FC90E22C7416718E Time : 0.0 sec. user=mdettweiler [2016-07-09 04:09:06] 927*2^1434789-1 is not prime. Res64: E1750BB1D97C9B18 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:09:12] 985*2^1434789-1 is not prime. Res64: EFD01B7807E1E2DC Time : 0.0 sec. user=mdettweiler [2016-07-09 04:09:12] 671*2^1434790-1 is not prime. Res64: BE27D5CC125EE910 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:09:13] 885*2^1434790-1 is not prime. Res64: CAB487CB9A2B7F9F Time : 0.0 sec. user=mdettweiler [2016-07-09 04:09:13] 1001*2^1434790-1 is not prime. Res64: EB98D4BEC8F80543 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:10:24] 663*2^1434791-1 is not prime. Res64: 11C38C21AC70D088 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:10:25] 669*2^1434791-1 is not prime. Res64: C21A5610521DA421 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:10:25] 781*2^1434791-1 is not prime. Res64: B74B728CF4B3535E Time : 0.0 sec. user=mdettweiler [2016-07-09 04:10:26] 825*2^1434791-1 is not prime. Res64: AD17EF3CDECF9EAF Time : 0.0 sec. user=mdettweiler [2016-07-09 04:10:26] 843*2^1434791-1 is not prime. Res64: 3810EC0DF5AB0B8C Time : 0.0 sec. user=mdettweiler [2016-07-09 04:44:13] 939*2^1434791-1 is not prime. Res64: 4A6B1412793F5577 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:44:13] 949*2^1434791-1 is not prime. Res64: FEB8299158B32D7E Time : 0.0 sec. user=mdettweiler [2016-07-09 04:44:19] 609*2^1434792-1 is not prime. Res64: B41CC66CE9A07367 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:44:25] 627*2^1434792-1 is not prime. Res64: FF23C15B3BB0835C Time : 0.0 sec. user=mdettweiler [2016-07-09 04:44:29] 747*2^1434792-1 is not prime. Res64: 21890E8F838050EB Time : 0.0 sec. user=mdettweiler [2016-07-09 04:56:49] 777*2^1434792-1 is not prime. Res64: 04412739AE3BA9AC Time : 0.0 sec. user=mdettweiler [2016-07-09 04:56:49] 779*2^1434792-1 is not prime. Res64: 330D398238826948 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:56:50] 809*2^1434792-1 is not prime. Res64: F9312B824BFA0D0F Time : 0.0 sec. user=mdettweiler [2016-07-09 04:56:50] 837*2^1434792-1 is not prime. Res64: 38653F83BC689D84 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:56:50] 915*2^1434792-1 is not prime. Res64: D9A3C82AF510C624 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:57:51] 977*2^1434792-1 is not prime. Res64: CD6CB3DE302B8F09 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:57:51] 639*2^1434793-1 is not prime. Res64: DA3C3F77C51EAC48 Time : 0.0 sec. user=mdettweiler [2016-07-09 04:57:52] 807*2^1434793-1 is not prime. Res64: 562477E839C0239B Time : 0.0 sec. user=mdettweiler [2016-07-09 04:57:52] 829*2^1434793-1 is not prime. Res64: D284ECE41686BEEE Time : 0.0 sec. user=mdettweiler [2016-07-09 04:57:52] 877*2^1434793-1 is not prime. Res64: 373DE1049EE9740E Time : 0.0 sec. user=mdettweiler [2016-07-09 05:00:53] 831*2^1434782-1 is not prime. Res64: 572D84912E5F0D69 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:00:54] 621*2^1434783-1 is not prime. Res64: EFA1C254B0FB4362 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:00:55] 739*2^1434783-1 is not prime. Res64: 16F9425868B34482 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:00:56] 769*2^1434783-1 is not prime. Res64: FB57D0C99E4ABE2A Time : 0.0 sec. user=mdettweiler [2016-07-09 05:30:27] 955*2^1434793-1 is not prime. Res64: 6C280D96670D7A59 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:30:27] 957*2^1434793-1 is not prime. Res64: 159EE04C025E994B Time : 0.0 sec. user=mdettweiler [2016-07-09 05:30:27] 999*2^1434793-1 is not prime. Res64: 9CEB0F7324FBA66B Time : 0.0 sec. user=mdettweiler [2016-07-09 05:30:28] 617*2^1434794-1 is not prime. Res64: 11168605FA35C95A Time : 0.0 sec. user=mdettweiler [2016-07-09 05:30:28] 641*2^1434794-1 is not prime. Res64: D78ACCF10B2D2581 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:41:43] 657*2^1434794-1 is not prime. Res64: 17817F108D1516FF Time : 0.0 sec. user=mdettweiler [2016-07-09 05:41:44] 755*2^1434794-1 is not prime. Res64: E7274A1E109677B8 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:41:44] 783*2^1434794-1 is not prime. Res64: 9FCCF6392C7EE886 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:41:45] 785*2^1434794-1 is not prime. Res64: 0FC96085D2BE2129 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:41:45] 825*2^1434794-1 is not prime. Res64: 499162880638A576 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:42:55] 887*2^1434794-1 is not prime. Res64: 13F8338F22BD2E21 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:42:59] 917*2^1434794-1 is not prime. Res64: D5E2CA76385F59C2 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:43:03] 1001*2^1434794-1 is not prime. Res64: 8D5FEE2470106400 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:43:07] 643*2^1434795-1 is not prime. Res64: 9C84828FC395843E Time : 0.0 sec. user=mdettweiler [2016-07-09 05:43:11] 699*2^1434795-1 is not prime. Res64: 157FF0C4103CB680 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:45:49] 783*2^1434795-1 is not prime. Res64: BC305B85962934C3 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:45:56] 895*2^1434795-1 is not prime. Res64: A0A8A06BB734ACDA Time : 0.0 sec. user=mdettweiler [2016-07-09 05:46:02] 909*2^1434795-1 is not prime. Res64: 3CEECB967598EAF0 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:46:02] 951*2^1434795-1 is not prime. Res64: E1794249EE248819 Time : 0.0 sec. user=mdettweiler [2016-07-09 05:46:09] 961*2^1434795-1 is not prime. Res64: D2E3772F9361C758 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:15:15] 623*2^1434796-1 is not prime. Res64: F84F29CB94A3DB8A Time : 0.0 sec. user=mdettweiler [2016-07-09 06:15:15] 717*2^1434796-1 is not prime. Res64: E48C29BEF37DC775 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:15:16] 803*2^1434796-1 is not prime. Res64: 44CEE3CF3D0D37C9 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:15:16] 909*2^1434796-1 is not prime. Res64: 5861DF27D804DCBA Time : 0.0 sec. user=mdettweiler [2016-07-09 06:15:17] 993*2^1434796-1 is not prime. Res64: D7124301CA511CEC Time : 0.0 sec. user=mdettweiler [2016-07-09 06:26:39] 999*2^1434796-1 is not prime. Res64: EB62A00302269F5C Time : 0.0 sec. user=mdettweiler [2016-07-09 06:26:45] 691*2^1434797-1 is not prime. Res64: B1E5A429190AE9D1 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:26:51] 727*2^1434797-1 is not prime. Res64: 5BE8E75A28D9DB97 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:26:57] 729*2^1434797-1 is not prime. Res64: B2A84C9C7E47BA3A Time : 0.0 sec. user=mdettweiler [2016-07-09 06:27:02] 799*2^1434797-1 is not prime. Res64: FE4ED34C207CCCE4 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:28:07] 801*2^1434797-1 is not prime. Res64: 831857D488D41B3F Time : 0.0 sec. user=mdettweiler [2016-07-09 06:28:13] 981*2^1434797-1 is not prime. Res64: DF8EA293061F3F5E Time : 0.0 sec. user=mdettweiler [2016-07-09 06:28:18] 651*2^1434798-1 is not prime. Res64: 76D7C6086150EDB7 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:28:24] 693*2^1434798-1 is not prime. Res64: 283AD6A8C88E188F Time : 0.0 sec. user=mdettweiler [2016-07-09 06:28:24] 791*2^1434798-1 is not prime. Res64: 2FC175F32A0B0E51 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:31:00] 825*2^1434798-1 is not prime. Res64: CC1592B13C9467AD Time : 0.0 sec. user=mdettweiler [2016-07-09 06:31:07] 649*2^1434799-1 is not prime. Res64: 3255F27B0A7C5343 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:31:14] 771*2^1434799-1 is not prime. Res64: F375B7B03D88EF05 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:31:21] 775*2^1434799-1 is not prime. Res64: 24A9C17E8222D806 Time : 0.0 sec. user=mdettweiler [2016-07-09 06:31:21] 861*2^1434799-1 is not prime. Res64: D1D47907E4C443BC Time : 0.0 sec. user=mdettweiler [2016-07-09 07:00:27] 919*2^1434799-1 is not prime. Res64: 70CBE76B93CD6255 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:00:32] 875*2^1434800-1 is not prime. Res64: E611F9555E3992CA Time : 0.0 sec. user=mdettweiler [2016-07-09 07:00:36] 977*2^1434800-1 is not prime. Res64: 75A272BF0F8BEFB3 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:00:41] 627*2^1434801-1 is not prime. Res64: B84104A807337F95 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:00:45] 711*2^1434801-1 is not prime. Res64: 58C79835D478BCF8 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:12:05] 751*2^1434801-1 is not prime. Res64: 93B56B929AFED600 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:12:06] 877*2^1434801-1 is not prime. Res64: 65F8F9F7C01DA05A Time : 0.0 sec. user=mdettweiler [2016-07-09 07:12:06] 955*2^1434801-1 is not prime. Res64: 96B5D72925B44D4B Time : 0.0 sec. user=mdettweiler [2016-07-09 07:12:07] 987*2^1434801-1 is not prime. Res64: DE6E1DE7D91EFD85 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:12:07] 999*2^1434801-1 is not prime. Res64: 3768C1247BFA7349 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:13:40] 741*2^1434802-1 is not prime. Res64: C02BFE55212CCA99 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:13:41] 813*2^1434802-1 is not prime. Res64: B12E254D976063F4 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:13:41] 815*2^1434802-1 is not prime. Res64: 258D2BAB36410CC3 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:13:42] 825*2^1434802-1 is not prime. Res64: 64EDAAF55184CEDF Time : 0.0 sec. user=mdettweiler [2016-07-09 07:13:42] 891*2^1434802-1 is not prime. Res64: ED34EF534F1257D3 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:16:40] 923*2^1434802-1 is not prime. Res64: 57923D83B98A363C Time : 0.0 sec. user=mdettweiler [2016-07-09 07:16:41] 995*2^1434802-1 is not prime. Res64: F37B1A7FF0559353 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:16:41] 679*2^1434803-1 is not prime. Res64: C65F3DA1BCE94210 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:16:41] 685*2^1434803-1 is not prime. Res64: F20524F61C1D0DAD Time : 0.0 sec. user=mdettweiler [2016-07-09 07:16:42] 955*2^1434803-1 is not prime. Res64: E99BEB3B12556AC0 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:46:07] 609*2^1434804-1 is not prime. Res64: 3B1F58FB26A61C00 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:46:07] 615*2^1434804-1 is not prime. Res64: 951B91426BECD8E9 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:46:08] 663*2^1434804-1 is not prime. Res64: 211B8D1B3BC3372A Time : 0.0 sec. user=mdettweiler [2016-07-09 07:46:08] 725*2^1434804-1 is not prime. Res64: 24592E8E6BFDB0FE Time : 0.0 sec. user=mdettweiler [2016-07-09 07:46:09] 765*2^1434804-1 is not prime. Res64: 36115784DAE4134D Time : 0.0 sec. user=mdettweiler [2016-07-09 07:57:25] 773*2^1434804-1 is not prime. Res64: 4197AEE381CFC3C9 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:57:26] 789*2^1434804-1 is not prime. Res64: F76647BEC34D5711 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:57:26] 857*2^1434804-1 is not prime. Res64: D9FDF6F2A8F710F7 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:57:26] 899*2^1434804-1 is not prime. Res64: 1429F0CECB1BA60E Time : 0.0 sec. user=mdettweiler [2016-07-09 07:57:27] 909*2^1434804-1 is not prime. Res64: DE34E6E1FE38AA3E Time : 0.0 sec. user=mdettweiler [2016-07-09 07:59:13] 609*2^1434805-1 is not prime. Res64: 29C528BF6CDA8D9C Time : 0.0 sec. user=mdettweiler [2016-07-09 07:59:13] 619*2^1434805-1 is not prime. Res64: BCC94DF8F3860D3B Time : 0.0 sec. user=mdettweiler [2016-07-09 07:59:14] 649*2^1434805-1 is not prime. Res64: 21C9ED627E7522B1 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:59:14] 651*2^1434805-1 is not prime. Res64: AC2F7E8BA5A418B8 Time : 0.0 sec. user=mdettweiler [2016-07-09 07:59:14] 741*2^1434805-1 is not prime. Res64: 867CDAE53A9FB46C Time : 0.0 sec. user=mdettweiler [2016-07-09 08:01:44] 777*2^1434805-1 is not prime. Res64: 2D5623DC136784F9 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:01:45] 801*2^1434805-1 is not prime. Res64: 9B0279C94CFEE648 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:01:46] 859*2^1434805-1 is not prime. Res64: FD3F9E5EE70618DB Time : 0.0 sec. user=mdettweiler [2016-07-09 08:01:46] 897*2^1434805-1 is not prime. Res64: 3C8BA0590F058CEC Time : 0.0 sec. user=mdettweiler [2016-07-09 08:01:47] 987*2^1434805-1 is not prime. Res64: 71D42FEEFD7C81CD Time : 0.0 sec. user=mdettweiler [2016-07-09 08:31:14] 603*2^1434806-1 is not prime. Res64: 0B484F2B1A4A417B Time : 0.0 sec. user=mdettweiler [2016-07-09 08:31:15] 843*2^1434806-1 is not prime. Res64: 59FB140345EEF95B Time : 0.0 sec. user=mdettweiler [2016-07-09 08:31:15] 911*2^1434806-1 is not prime. Res64: FF6382383329C484 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:31:16] 675*2^1434807-1 is not prime. Res64: 4815B91C47158911 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:31:16] 843*2^1434807-1 is not prime. Res64: 636EC09DE6C80AF3 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:42:34] 955*2^1434807-1 is not prime. Res64: AEA89EB475EB8D68 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:42:35] 963*2^1434807-1 is not prime. Res64: A9CD581597A244A9 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:42:35] 985*2^1434807-1 is not prime. Res64: B4AF52FDCC1A7769 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:42:35] 603*2^1434808-1 is not prime. Res64: 876E805DDAA6DC38 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:42:36] 639*2^1434808-1 is not prime. Res64: B48AAB108791F9A0 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:44:59] 747*2^1434808-1 is not prime. Res64: 65EC9263B7D984C8 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:47:13] 699*2^1434809-1 is not prime. Res64: A53C167AFF8FD92B Time : 0.0 sec. user=mdettweiler [2016-07-09 08:47:20] 721*2^1434809-1 is not prime. Res64: 2CBD4FB221C28206 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:47:26] 747*2^1434809-1 is not prime. Res64: BC40554DA67A66FA Time : 0.0 sec. user=mdettweiler [2016-07-09 08:47:33] 611*2^1434810-1 is not prime. Res64: F3A97D693E356459 Time : 0.0 sec. user=mdettweiler [2016-07-09 08:47:39] 651*2^1434810-1 is not prime. Res64: CEED1BB271C97351 Time : 0.0 sec. user=mdettweiler [2016-07-09 09:17:22] 677*2^1434810-1 is not prime. Res64: 2E2B14D76CEE8B61 Time : 0.0 sec. user=mdettweiler [2016-07-09 09:17:22] 777*2^1434810-1 is not prime. Res64: 63094DAADB4FAB7E Time : 0.0 sec. user=mdettweiler [2016-07-09 09:17:23] 945*2^1434810-1 is not prime. Res64: 0B90ABFBC2F99244 Time : 0.0 sec. user=mdettweiler [2016-07-09 09:17:23] 775*2^1434811-1 is not prime. Res64: 9B848DD1ECBB17DC Time : 0.0 sec. user=mdettweiler [2016-07-09 09:17:24] 843*2^1434811-1 is not prime. Res64: E7761310C7613920 Time : 0.0 sec. user=mdettweiler [2016-07-09 09:29:31] 969*2^1434811-1 is not prime. Res64: 3D942972D025FFCE Time : 0.0 sec. user=mdettweiler [2016-07-09 09:29:31] 669*2^1434812-1 is not prime. Res64: F013BEE69D78AA7C Time : 0.0 sec. user=mdettweiler [2016-07-09 09:29:37] 825*2^1434812-1 is not prime. Res64: 99110F07F0CE708F Time : 0.0 sec. user=mdettweiler [2016-07-09 09:29:38] 843*2^1434812-1 is not prime. Res64: 495932D521C8E7C8 Time : 0.0 sec. user=mdettweiler [2016-07-09 09:29:43] 885*2^1434812-1 is not prime. Res64: 2B843DE7D07C8AFA Time : 0.0 sec. user=mdettweiler [2016-07-09 09:34:40] 995*2^1434812-1 is not prime. Res64: 07A0EC248C8992BE Time : 0.0 sec. user=mdettweiler [2016-07-09 09:34:41] 999*2^1434812-1 is not prime. Res64: 6B352DA87EF777E6 Time : 0.0 sec. user=mdettweiler [2016-07-09 09:34:48] 627*2^1434813-1 is not prime. Res64: 07C337E7F3958126 Time : 0.0 sec. user=mdettweiler [2016-07-09 09:34:54] 685*2^1434813-1 is not prime. Res64: 956968F289CC7C95 Time : 0.0 sec. user=mdettweiler [2016-07-09 09:35:01] 735*2^1434813-1 is not prime. Res64: 31A14A63D852E072 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:05:40] 765*2^1434813-1 is not prime. Res64: 767E77E2F0C70389 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:05:45] 889*2^1434813-1 is not prime. Res64: DB77EC951D55BF3F Time : 0.0 sec. user=mdettweiler [2016-07-09 10:05:50] 969*2^1434813-1 is not prime. Res64: B5E95EA4F877CD04 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:05:57] 665*2^1434814-1 is not prime. Res64: 88170095006BA455 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:06:02] 717*2^1434814-1 is not prime. Res64: EBE13B5917DA9970 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:17:42] 885*2^1434814-1 is not prime. Res64: 4AA1FC4B47311327 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:17:43] 887*2^1434814-1 is not prime. Res64: 9B7B6E9BF0DA1F41 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:17:43] 915*2^1434814-1 is not prime. Res64: 61A05616DD9B75DC Time : 0.0 sec. user=mdettweiler [2016-07-09 10:17:44] 993*2^1434814-1 is not prime. Res64: 0BA31F5CA3DC1AD1 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:17:44] 603*2^1434815-1 is not prime. Res64: 3B79B2DAAE1948EE Time : 0.0 sec. user=mdettweiler [2016-07-09 10:22:25] 673*2^1434815-1 is not prime. Res64: 3D7C4CA1E664B077 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:22:26] 693*2^1434815-1 is not prime. Res64: 65F14E051C1D62CB Time : 0.0 sec. user=mdettweiler [2016-07-09 10:22:26] 771*2^1434815-1 is not prime. Res64: 44C4DA77BFB3C557 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:22:26] 823*2^1434815-1 is not prime. Res64: AB69A1B113DE4E40 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:22:27] 855*2^1434815-1 is not prime. Res64: 78DECB131B1D703E Time : 0.0 sec. user=mdettweiler [2016-07-09 10:52:39] 913*2^1434815-1 is not prime. Res64: 4E5CBE9269E8AA41 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:52:39] 939*2^1434815-1 is not prime. Res64: 774BED529EBE0482 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:52:39] 981*2^1434815-1 is not prime. Res64: 84555194966845F8 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:52:40] 999*2^1434815-1 is not prime. Res64: E022F879CF1250A9 Time : 0.0 sec. user=mdettweiler [2016-07-09 10:52:40] 623*2^1434816-1 is not prime. Res64: 24B977393B15156C Time : 0.0 sec. user=mdettweiler [2016-07-09 11:04:20] 635*2^1434816-1 is not prime. Res64: A10156A61D325565 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:04:22] 683*2^1434816-1 is not prime. Res64: D43E55305A06D451 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:04:23] 705*2^1434816-1 is not prime. Res64: 6FB9BC690D46AC59 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:04:24] 747*2^1434816-1 is not prime. Res64: 57618DB446BAC50C Time : 0.0 sec. user=mdettweiler [2016-07-09 11:04:25] 879*2^1434816-1 is not prime. Res64: E3CECC54EA5BCD85 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:08:38] 905*2^1434816-1 is not prime. Res64: B03647009AF5DB19 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:08:42] 727*2^1434817-1 is not prime. Res64: 44A87E2FC98D3003 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:08:46] 747*2^1434817-1 is not prime. Res64: EBA3B84C3307ED5C Time : 0.0 sec. user=mdettweiler [2016-07-09 11:08:50] 885*2^1434817-1 is not prime. Res64: FDB4F9362593F143 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:08:54] 641*2^1434818-1 is not prime. Res64: 152FFC86F7FB5802 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:35:37] 827*2^1434808-1 is not prime. Res64: B72040D612C49B2C Time : 0.0 sec. user=mdettweiler [2016-07-09 11:35:38] 855*2^1434808-1 is not prime. Res64: A9A5E2DE5250E330 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:35:38] 969*2^1434808-1 is not prime. Res64: 94044341ECAC31E1 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:40:31] 697*2^1434809-1 is not prime. Res64: F0F48F873EF45B35 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:50:00] 743*2^1434818-1 is not prime. Res64: 247F5A0445264436 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:50:07] 813*2^1434818-1 is not prime. Res64: 1AEC6807AC268832 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:50:08] 833*2^1434818-1 is not prime. Res64: 0C11A0DECF243653 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:50:15] 837*2^1434818-1 is not prime. Res64: 01BF36146B1B462D Time : 0.0 sec. user=mdettweiler [2016-07-09 11:50:22] 619*2^1434819-1 is not prime. Res64: DB7C9E251B5E9EED Time : 0.0 sec. user=mdettweiler [2016-07-09 11:59:23] 723*2^1434819-1 is not prime. Res64: A2EB26455F67BF19 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:59:27] 623*2^1434820-1 is not prime. Res64: A624036619C71D57 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:59:27] 803*2^1434820-1 is not prime. Res64: 22305347C2CC20E1 Time : 0.0 sec. user=mdettweiler [2016-07-09 11:59:27] 855*2^1434820-1 is not prime. Res64: 53EF3324C0112A4D Time : 0.0 sec. user=mdettweiler [2016-07-09 11:59:27] 959*2^1434820-1 is not prime. Res64: 254820BEEBEAF185 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:08:48] 983*2^1434820-1 is not prime. Res64: 212FC83548D9413E Time : 0.0 sec. user=mdettweiler [2016-07-09 12:08:48] 711*2^1434821-1 is not prime. Res64: 4C540EF569BA8142 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:08:49] 727*2^1434821-1 is not prime. Res64: B02065D46C3D5194 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:08:49] 825*2^1434821-1 is not prime. Res64: 483830C862EE359B Time : 0.0 sec. user=mdettweiler [2016-07-09 12:08:49] 681*2^1434822-1 is not prime. Res64: 6352B074F193D4D0 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:37:40] 893*2^1434822-1 is not prime. Res64: 1DC389706F79AE75 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:37:40] 609*2^1434823-1 is not prime. Res64: 8A758CAF482373C9 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:37:40] 621*2^1434823-1 is not prime. Res64: D0546E4547E19AB0 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:37:41] 703*2^1434823-1 is not prime. Res64: 234C4CBFF46420D8 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:37:41] 735*2^1434823-1 is not prime. Res64: F3873B9751FD3D5A Time : 0.0 sec. user=mdettweiler [2016-07-09 12:49:11] 765*2^1434823-1 is not prime. Res64: 9D728E60B787A142 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:49:11] 783*2^1434823-1 is not prime. Res64: 320BCD3E6E13F053 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:49:11] 853*2^1434823-1 is not prime. Res64: 4370E5A679B94262 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:49:12] 951*2^1434823-1 is not prime. Res64: 23A2BDDBA087AEEC Time : 0.0 sec. user=mdettweiler [2016-07-09 12:49:12] 617*2^1434824-1 is not prime. Res64: 359DC63740352279 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:57:44] 623*2^1434824-1 is not prime. Res64: CAD3A01ED192846B Time : 0.0 sec. user=mdettweiler [2016-07-09 12:57:45] 675*2^1434824-1 is not prime. Res64: F72F7B95E3B219DC Time : 0.0 sec. user=mdettweiler [2016-07-09 12:57:51] 813*2^1434824-1 is not prime. Res64: F3CC435F6B59FABA Time : 0.0 sec. user=mdettweiler [2016-07-09 12:57:58] 843*2^1434824-1 is not prime. Res64: 76CBC5B286BF6723 Time : 0.0 sec. user=mdettweiler [2016-07-09 12:58:04] 685*2^1434825-1 is not prime. Res64: 4CDE608176E17423 Time : 0.0 sec. user=mdettweiler [2016-07-09 13:47:32] 903*2^1434826-1 is not prime. Res64: 2B49B88F54748FEF Time : 0.0 sec. user=mdettweiler [2016-07-09 13:47:33] 911*2^1434826-1 is not prime. Res64: 046605FFD94DA9C8 Time : 0.0 sec. user=mdettweiler [2016-07-09 13:47:33] 933*2^1434826-1 is not prime. Res64: 7A2D880548E430DF Time : 0.0 sec. user=mdettweiler [2016-07-09 13:47:33] 981*2^1434826-1 is not prime. Res64: 84C28EF137D50468 Time : 0.0 sec. user=mdettweiler [2016-07-09 13:47:33] 673*2^1434827-1 is not prime. Res64: 929179D17197FE7E Time : 0.0 sec. user=mdettweiler [2016-07-09 14:15:30] 997*2^1434825-1 is not prime. Res64: B9EF852F52639860 Time : 0.0 sec. user=mdettweiler [2016-07-09 14:15:34] 695*2^1434826-1 is not prime. Res64: 7FEABE9F484FF6B0 Time : 0.0 sec. user=mdettweiler [2016-07-09 14:15:38] 713*2^1434826-1 is not prime. Res64: 5F48441B58508BC8 Time : 0.0 sec. user=mdettweiler [2016-07-09 14:15:42] 741*2^1434826-1 is not prime. Res64: 6FB801D74462CA8B Time : 0.0 sec. user=mdettweiler [2016-07-09 14:15:47] 861*2^1434826-1 is not prime. Res64: CC2054D00D799C4A Time : 0.0 sec. user=mdettweiler [2016-07-09 14:36:12] 885*2^1434827-1 is not prime. Res64: B7D2A448AE7F378F Time : 0.0 sec. user=mdettweiler [2016-07-09 14:36:13] 963*2^1434827-1 is not prime. Res64: 4B8D0A152A009F4A Time : 0.0 sec. user=mdettweiler [2016-07-09 14:36:13] 991*2^1434827-1 is not prime. Res64: CAFCA2A75FEEDBE6 Time : 0.0 sec. user=mdettweiler [2016-07-09 14:36:13] 845*2^1434828-1 is not prime. Res64: 2A9CF8D6789486B5 Time : 0.0 sec. user=mdettweiler [2016-07-09 14:36:14] 929*2^1434828-1 is not prime. Res64: 74234C196C20C862 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:03:50] 975*2^1434828-1 is not prime. Res64: 22C48312ADA698D1 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:03:51] 625*2^1434829-1 is not prime. Res64: E7191280228B4515 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:03:52] 661*2^1434829-1 is not prime. Res64: 124306200430964B Time : 0.0 sec. user=mdettweiler [2016-07-09 15:03:52] 699*2^1434829-1 is not prime. Res64: BA86D32F0BEC5320 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:03:53] 741*2^1434829-1 is not prime. Res64: 302CAF6B0ACD4F76 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:24:20] 955*2^1434829-1 is not prime. Res64: F619595135590DA8 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:24:26] 999*2^1434829-1 is not prime. Res64: 5F5A83B28B1416E2 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:24:31] 663*2^1434830-1 is not prime. Res64: 446B7EF82E779095 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:24:31] 717*2^1434830-1 is not prime. Res64: D439336D722CDF3E Time : 0.0 sec. user=mdettweiler [2016-07-09 15:24:37] 785*2^1434830-1 is not prime. Res64: 4A2F61A4C09DA5DF Time : 0.0 sec. user=mdettweiler [2016-07-09 15:52:04] 813*2^1434830-1 is not prime. Res64: 683DE34F6F8F3A4A Time : 0.0 sec. user=mdettweiler [2016-07-09 15:52:05] 971*2^1434830-1 is not prime. Res64: 4A10EBA0402FE9A8 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:52:05] 675*2^1434831-1 is not prime. Res64: 7A4F8C383CEA86F0 Time : 0.0 sec. user=mdettweiler [2016-07-09 15:52:06] 679*2^1434831-1 is not prime. Res64: 207461E457EF55FD Time : 0.0 sec. user=mdettweiler [2016-07-09 15:52:06] 735*2^1434831-1 is not prime. Res64: A931E15D01A08CC1 Time : 0.0 sec. user=mdettweiler [2016-07-09 16:13:28] 789*2^1434831-1 is not prime. Res64: A542ED520C3AA8BB Time : 0.0 sec. user=mdettweiler [2016-07-09 16:13:28] 871*2^1434831-1 is not prime. Res64: 3A472E148B87F87A Time : 0.0 sec. user=mdettweiler [2016-07-09 16:13:29] 961*2^1434831-1 is not prime. Res64: 52FA7B0C998F2B2B Time : 0.0 sec. user=mdettweiler [2016-07-09 16:13:29] 979*2^1434831-1 is not prime. Res64: 8B7B34E0B670395F Time : 0.0 sec. user=mdettweiler [2016-07-09 16:13:30] 605*2^1434832-1 is not prime. Res64: B40167B4377AF0F6 Time : 0.0 sec. user=mdettweiler [2016-07-09 16:41:34] 623*2^1434832-1 is not prime. Res64: 6C9FE1D6C4BF21C1 Time : 0.0 sec. user=mdettweiler [2016-07-09 16:41:41] 695*2^1434832-1 is not prime. Res64: EF41971FEC35A018 Time : 0.0 sec. user=mdettweiler [2016-07-09 16:41:48] 743*2^1434832-1 is not prime. Res64: B99A07C79ACB9576 Time : 0.0 sec. user=mdettweiler [2016-07-09 16:41:55] 843*2^1434832-1 is not prime. Res64: 1E84C57C31A20B8C Time : 0.0 sec. user=mdettweiler [2016-07-09 16:42:02] 887*2^1434832-1 is not prime. Res64: F4FADE125388B1F7 Time : 0.0 sec. user=mdettweiler [2016-07-09 17:02:16] 965*2^1434832-1 is not prime. Res64: 2B7711472F55B7D2 Time : 0.0 sec. user=mdettweiler [2016-07-09 17:02:17] 615*2^1434833-1 is not prime. Res64: 15476309B70EA2AF Time : 0.0 sec. user=mdettweiler [2016-07-09 17:02:18] 637*2^1434833-1 is not prime. Res64: 7B978398D22992E2 Time : 0.0 sec. user=mdettweiler [2016-07-09 17:02:19] 675*2^1434833-1 is not prime. Res64: C62A1FBFC9281DAC Time : 0.0 sec. user=mdettweiler [2016-07-09 17:02:20] 759*2^1434833-1 is not prime. Res64: 57BA9CBD37682951 Time : 0.0 sec. user=mdettweiler [2016-07-09 17:31:12] 801*2^1434833-1 is not prime. Res64: 4A083836DDA268E8 Time : 0.0 sec. user=mdettweiler [2016-07-09 17:31:12] 945*2^1434833-1 is not prime. Res64: 812648633F6552B4 Time : 0.0 sec. user=mdettweiler [2016-07-09 17:31:12] 621*2^1434834-1 is not prime. Res64: 56A4FC81CDE6C86C Time : 0.0 sec. user=mdettweiler [2016-07-09 17:31:13] 873*2^1434834-1 is not prime. Res64: DD8CA0B5EC93D347 Time : 0.0 sec. user=mdettweiler [2016-07-09 17:31:13] 927*2^1434834-1 is not prime. Res64: 8F1093EE8EA29C3E Time : 0.0 sec. user=mdettweiler [2016-07-09 17:51:04] 971*2^1434834-1 is not prime. Res64: 5770E46D238273FB Time : 0.0 sec. user=mdettweiler [2016-07-09 17:51:08] 679*2^1434835-1 is not prime. Res64: B8CDB26EB3EC6C0B Time : 0.0 sec. user=mdettweiler [2016-07-09 17:51:12] 741*2^1434835-1 is not prime. Res64: B9FA420FF171896E Time : 0.0 sec. user=mdettweiler [2016-07-09 17:51:16] 853*2^1434835-1 is not prime. Res64: B9E469BB9D099EC4 Time : 0.0 sec. user=mdettweiler [2016-07-09 17:51:20] 861*2^1434835-1 is not prime. Res64: F1003F5EB0897E4D Time : 0.0 sec. user=mdettweiler [2016-07-09 18:20:24] 871*2^1434835-1 is not prime. Res64: F0D8AD983EA7CF95 Time : 0.0 sec. user=mdettweiler [2016-07-09 18:20:28] 609*2^1434836-1 is not prime. Res64: DB71276846B25526 Time : 0.0 sec. user=mdettweiler [2016-07-09 18:20:32] 633*2^1434836-1 is not prime. Res64: 7C9AF6B7E95F0DC7 Time : 0.0 sec. user=mdettweiler [2016-07-09 18:20:36] 635*2^1434836-1 is not prime. Res64: 9EC66AC5FA96FC6E Time : 0.0 sec. user=mdettweiler [2016-07-09 18:20:40] 983*2^1434836-1 is not prime. Res64: 8F44D4D4347A4C3E Time : 0.0 sec. user=mdettweiler [2016-07-09 18:23:43] 683*2^1434822-1 is not prime. Res64: DCA3A614CCAA37E7 Time : 0.0 sec. user=mdettweiler [2016-07-09 18:23:47] 693*2^1434822-1 is not prime. Res64: A68E3DFF98F99E8B Time : 0.0 sec. user=mdettweiler [2016-07-09 18:23:51] 711*2^1434822-1 is not prime. Res64: 9FF28146E34663DF Time : 0.0 sec. user=mdettweiler [2016-07-09 18:23:51] 741*2^1434822-1 is not prime. Res64: 5B99329DC6BCE4CB Time : 0.0 sec. user=mdettweiler [2016-07-09 18:23:55] 791*2^1434822-1 is not prime. Res64: 930E301466B446AC Time : 0.0 sec. user=mdettweiler [2016-07-09 18:39:10] 987*2^1434836-1 is not prime. Res64: C77D5E49D8D04389 Time : 0.0 sec. user=mdettweiler [2016-07-09 18:39:11] 627*2^1434837-1 is not prime. Res64: 850B7F29CD7C5ACC Time : 0.0 sec. user=mdettweiler [2016-07-09 18:39:11] 651*2^1434837-1 is not prime. Res64: A6EE3830C2B25FFB Time : 0.0 sec. user=mdettweiler [2016-07-09 18:39:12] 891*2^1434837-1 is not prime. Res64: 5F975FD64266DAEB Time : 0.0 sec. user=mdettweiler [2016-07-09 18:39:12] 901*2^1434837-1 is not prime. Res64: 36F8DF542612A69F Time : 0.0 sec. user=mdettweiler [2016-07-09 19:07:15] 945*2^1434837-1 is not prime. Res64: 2D892DBE2474C8C8 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:07:21] 617*2^1434838-1 is not prime. Res64: C24276A6E8EE1AE2 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:07:26] 707*2^1434838-1 is not prime. Res64: D279648E027A76A5 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:07:32] 813*2^1434838-1 is not prime. Res64: 7984E307AF3E6EFF Time : 0.0 sec. user=mdettweiler [2016-07-09 19:07:38] 897*2^1434838-1 is not prime. Res64: 46DCA84D32B0EF10 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:09:57] 915*2^1434838-1 is not prime. Res64: 56967BCE44EC4DA6 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:10:01] 923*2^1434838-1 is not prime. Res64: A0D26C132629D083 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:10:05] 609*2^1434839-1 is not prime. Res64: 6427FC98516704A4 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:10:09] 643*2^1434839-1 is not prime. Res64: 09A88C10179C8641 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:10:14] 645*2^1434839-1 is not prime. Res64: D202ACFA1536B170 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:25:19] 675*2^1434839-1 is not prime. Res64: BED39143F8878497 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:25:20] 789*2^1434839-1 is not prime. Res64: 3A4EE41AE7524EFF Time : 0.0 sec. user=mdettweiler [2016-07-09 19:25:20] 825*2^1434839-1 is not prime. Res64: 47B68FB3F6B5CE99 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:25:20] 843*2^1434839-1 is not prime. Res64: 42A5DE3C20105460 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:25:21] 855*2^1434839-1 is not prime. Res64: D1306B0A5B5E17F9 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:33:35] 699*2^1434825-1 is not prime. Res64: 3B6C3DE738CAAE0C Time : 0.0 sec. user=mdettweiler [2016-07-09 19:33:41] 751*2^1434825-1 is not prime. Res64: B3ADA0781C08177B Time : 0.0 sec. user=mdettweiler [2016-07-09 19:33:47] 831*2^1434825-1 is not prime. Res64: 5C3B3D7F5AF49FF8 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:33:53] 889*2^1434825-1 is not prime. Res64: 1F2903EB787F39AA Time : 0.0 sec. user=mdettweiler [2016-07-09 19:33:58] 937*2^1434825-1 is not prime. Res64: 586EA776317F389B Time : 0.0 sec. user=mdettweiler [2016-07-09 19:53:27] 861*2^1434839-1 is not prime. Res64: 0D03463B32871B5A Time : 0.0 sec. user=mdettweiler [2016-07-09 19:53:27] 895*2^1434839-1 is not prime. Res64: E442DD0DF3E79F66 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:53:28] 931*2^1434839-1 is not prime. Res64: 6BE99D9EB3A20945 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:53:28] 999*2^1434839-1 is not prime. Res64: EC5BC4CB11605153 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:53:28] 629*2^1434840-1 is not prime. Res64: B0CC9400AAC3C49B Time : 0.0 sec. user=mdettweiler [2016-07-09 19:55:55] 669*2^1434840-1 is not prime. Res64: 3D993923E304AADE Time : 0.0 sec. user=mdettweiler [2016-07-09 19:55:55] 723*2^1434840-1 is not prime. Res64: 5622AEC86B1EE9ED Time : 0.0 sec. user=mdettweiler [2016-07-09 19:55:56] 735*2^1434840-1 is not prime. Res64: E7847B51832C866F Time : 0.0 sec. user=mdettweiler [2016-07-09 19:55:56] 873*2^1434840-1 is not prime. Res64: 7BB9F982C41F6108 Time : 0.0 sec. user=mdettweiler [2016-07-09 19:55:57] 929*2^1434840-1 is not prime. Res64: 53908D21ADE38D25 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:10:43] 933*2^1434840-1 is not prime. Res64: 528A1FF918FD1C1C Time : 0.0 sec. user=mdettweiler [2016-07-09 20:10:47] 789*2^1434841-1 is not prime. Res64: 06470F42B5164E8B Time : 0.0 sec. user=mdettweiler [2016-07-09 20:10:51] 855*2^1434841-1 is not prime. Res64: 23BE54F5CB4AD9D4 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:10:55] 957*2^1434841-1 is not prime. Res64: B28B84CF7148E76E Time : 0.0 sec. user=mdettweiler [2016-07-09 20:10:59] 997*2^1434841-1 is not prime. Res64: DA60CD8F26FCE6EF Time : 0.0 sec. user=mdettweiler [2016-07-09 20:19:21] 675*2^1434842-1 is not prime. Res64: 8E1448054609C656 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:19:26] 731*2^1434842-1 is not prime. Res64: 9DC8C60A2ECAFDF7 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:19:32] 801*2^1434842-1 is not prime. Res64: 9265804FFFB5B0E9 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:19:37] 831*2^1434842-1 is not prime. Res64: 846BCA96C1C5DCBE Time : 0.0 sec. user=mdettweiler [2016-07-09 20:19:43] 887*2^1434842-1 is not prime. Res64: 82B47827CF2C779C Time : 0.0 sec. user=mdettweiler [2016-07-09 20:38:38] 625*2^1434843-1 is not prime. Res64: 6E0121FECFCF881C Time : 0.0 sec. user=mdettweiler [2016-07-09 20:38:39] 735*2^1434843-1 is not prime. Res64: 9E95EE95A75B7F87 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:38:39] 753*2^1434843-1 is not prime. Res64: 6010AC14A947CE63 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:38:39] 705*2^1434844-1 is not prime. Res64: 8E5882340B47A692 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:38:40] 707*2^1434844-1 is not prime. Res64: 4B31BE579C90078F Time : 0.0 sec. user=mdettweiler [2016-07-09 20:41:03] 773*2^1434844-1 is not prime. Res64: D8C0FD81FAA407F8 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:41:03] 869*2^1434844-1 is not prime. Res64: B24DD3FC07E10E05 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:41:04] 909*2^1434844-1 is not prime. Res64: 849C101B30FDBCDF Time : 0.0 sec. user=mdettweiler [2016-07-09 20:41:04] 969*2^1434844-1 is not prime. Res64: 295D459AE4208A4E Time : 0.0 sec. user=mdettweiler [2016-07-09 20:41:05] 975*2^1434844-1 is not prime. Res64: D359FFB2858F9D02 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:56:07] 847*2^1434845-1 is not prime. Res64: 2E381933AB4AFDC4 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:56:11] 861*2^1434845-1 is not prime. Res64: EFEE7A025E56E63E Time : 0.0 sec. user=mdettweiler [2016-07-09 20:56:15] 867*2^1434845-1 is not prime. Res64: 01F45F983D644379 Time : 0.0 sec. user=mdettweiler [2016-07-09 20:56:19] 927*2^1434845-1 is not prime. Res64: 4690E271C6FA0F7A Time : 0.0 sec. user=mdettweiler [2016-07-09 20:56:23] 641*2^1434846-1 is not prime. Res64: 58C880D3EE52CC25 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:04:56] 765*2^1434846-1 is not prime. Res64: 85FD6008320D0F3C Time : 0.0 sec. user=mdettweiler [2016-07-09 21:04:57] 783*2^1434846-1 is not prime. Res64: 44DD210A6076D868 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:04:58] 825*2^1434846-1 is not prime. Res64: 1E91C34C70733651 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:04:58] 887*2^1434846-1 is not prime. Res64: A3945BE3AB6F8A22 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:04:59] 741*2^1434847-1 is not prime. Res64: B3E10429668EED46 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:23:58] 765*2^1434847-1 is not prime. Res64: AE9C5AFC055391C0 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:24:02] 769*2^1434847-1 is not prime. Res64: 06E4CCAFD249FE85 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:24:06] 841*2^1434847-1 is not prime. Res64: 2601B44E06459C9F Time : 0.0 sec. user=mdettweiler [2016-07-09 21:24:10] 889*2^1434847-1 is not prime. Res64: 6C4DF38BEEF0E23A Time : 0.0 sec. user=mdettweiler [2016-07-09 21:24:14] 945*2^1434847-1 is not prime. Res64: E899C1497D123EBF Time : 0.0 sec. user=mdettweiler [2016-07-09 21:26:21] 973*2^1434847-1 is not prime. Res64: 4A3F09A0B2E3660F Time : 0.0 sec. user=mdettweiler [2016-07-09 21:26:25] 659*2^1434848-1 is not prime. Res64: 258234F0DA0DCA72 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:26:29] 753*2^1434848-1 is not prime. Res64: 1EAECF821E96A98C Time : 0.0 sec. user=mdettweiler [2016-07-09 21:26:33] 777*2^1434848-1 is not prime. Res64: AF59E23D26A74805 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:26:37] 825*2^1434848-1 is not prime. Res64: 2538378E99531D80 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:41:38] 839*2^1434848-1 is not prime. Res64: 1C5D8FFB448B8041 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:41:38] 869*2^1434848-1 is not prime. Res64: 44B120C6553C24F7 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:41:38] 601*2^1434849-1 is not prime. Res64: 2EEACC346E9F4821 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:41:39] 745*2^1434849-1 is not prime. Res64: 1F5843DA8F1C49CD Time : 0.0 sec. user=mdettweiler [2016-07-09 21:41:39] 807*2^1434849-1 is not prime. Res64: B71B4808EB3C088F Time : 0.0 sec. user=mdettweiler [2016-07-09 21:50:17] 829*2^1434849-1 is not prime. Res64: 4D7640AA229B9BA3 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:50:17] 831*2^1434849-1 is not prime. Res64: 35B81603B82495BB Time : 0.0 sec. user=mdettweiler [2016-07-09 21:50:18] 671*2^1434850-1 is not prime. Res64: 177380332CFADE28 Time : 0.0 sec. user=mdettweiler [2016-07-09 21:50:18] 675*2^1434850-1 is not prime. Res64: 3812F7AA141E897A Time : 0.0 sec. user=mdettweiler [2016-07-09 21:50:18] 735*2^1434850-1 is not prime. Res64: 88DC146503474F73 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:09:21] 845*2^1434850-1 is not prime. Res64: BA9C5FAA7C457567 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:09:21] 861*2^1434850-1 is not prime. Res64: A094022FD4DF628E Time : 0.0 sec. user=mdettweiler [2016-07-09 22:09:22] 867*2^1434850-1 is not prime. Res64: 2F5DFC858CF211FD Time : 0.0 sec. user=mdettweiler [2016-07-09 22:09:22] 933*2^1434850-1 is not prime. Res64: B085EA5DE06143B3 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:09:23] 603*2^1434851-1 is not prime. Res64: D445558C24228924 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:11:47] 733*2^1434851-1 is not prime. Res64: 02B15DD574A663A1 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:11:47] 841*2^1434851-1 is not prime. Res64: FA3269C3C9A10EEB Time : 0.0 sec. user=mdettweiler [2016-07-09 22:11:48] 949*2^1434851-1 is not prime. Res64: 79F1CE11B0D76DC6 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:11:48] 615*2^1434852-1 is not prime. Res64: 67C17D8C51FFA69A Time : 0.0 sec. user=mdettweiler [2016-07-09 22:11:49] 629*2^1434852-1 is not prime. Res64: C204BBDAC34D8F39 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:26:55] 639*2^1434852-1 is not prime. Res64: 93504B8FF80062B0 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:26:55] 737*2^1434852-1 is not prime. Res64: D782E20140EFD90A Time : 0.0 sec. user=mdettweiler [2016-07-09 22:26:55] 803*2^1434852-1 is not prime. Res64: DCEC11B52001A376 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:26:56] 957*2^1434852-1 is not prime. Res64: 251374996896E5D7 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:26:56] 975*2^1434852-1 is not prime. Res64: 83F4EBF99415AA28 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:35:29] 983*2^1434852-1 is not prime. Res64: CE8BD4B50C8153FE Time : 0.0 sec. user=mdettweiler [2016-07-09 22:35:35] 607*2^1434853-1 is not prime. Res64: 0E847C64C8A164AC Time : 0.0 sec. user=mdettweiler [2016-07-09 22:35:40] 609*2^1434853-1 is not prime. Res64: 5E9C38C450BDDEA9 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:35:46] 741*2^1434853-1 is not prime. Res64: BB3B61155D1A5618 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:35:52] 775*2^1434853-1 is not prime. Res64: A0625138E77189F7 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:54:29] 801*2^1434853-1 is not prime. Res64: 013FB31C74279C79 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:54:30] 817*2^1434853-1 is not prime. Res64: 440D5EB6DAB767CA Time : 0.0 sec. user=mdettweiler [2016-07-09 22:54:30] 895*2^1434853-1 is not prime. Res64: 007F270D0AA08891 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:54:30] 915*2^1434853-1 is not prime. Res64: 692DEA59DA1CC948 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:54:31] 967*2^1434853-1 is not prime. Res64: 6F3AF6E87102F174 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:56:47] 663*2^1434854-1 is not prime. Res64: 556E05E90CF8AD1B Time : 0.0 sec. user=mdettweiler [2016-07-09 22:56:47] 671*2^1434854-1 is not prime. Res64: A50F087E03626571 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:56:48] 711*2^1434854-1 is not prime. Res64: A055D6686135DE73 Time : 0.0 sec. user=mdettweiler [2016-07-09 22:56:48] 773*2^1434854-1 is not prime. Res64: EB1238D3FB63A4AE Time : 0.0 sec. user=mdettweiler [2016-07-09 22:56:49] 851*2^1434854-1 is not prime. Res64: 643B3B9E23D1BBF5 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:12:34] 885*2^1434854-1 is not prime. Res64: 5E57784C0F4DB75E Time : 0.0 sec. user=mdettweiler [2016-07-09 23:12:38] 921*2^1434854-1 is not prime. Res64: 03B856DFFB1CBF72 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:12:42] 1001*2^1434854-1 is not prime. Res64: 3460389398623DF6 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:12:46] 691*2^1434855-1 is not prime. Res64: ADC47218C8509082 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:12:51] 861*2^1434855-1 is not prime. Res64: 9CC051EAB61C212E Time : 0.0 sec. user=mdettweiler [2016-07-09 23:21:05] 961*2^1434855-1 is not prime. Res64: CE4178CF0742A3D5 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:21:10] 963*2^1434855-1 is not prime. Res64: C693E0F9EED40E18 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:21:14] 973*2^1434855-1 is not prime. Res64: FB98B65E16CCEE33 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:21:18] 999*2^1434855-1 is not prime. Res64: 73D2DA17210D8C0B Time : 0.0 sec. user=mdettweiler [2016-07-09 23:21:22] 645*2^1434856-1 is not prime. Res64: 1F0D4631D73A30FE Time : 0.0 sec. user=mdettweiler [2016-07-09 23:39:38] 657*2^1434856-1 is not prime. Res64: EE01879742B1BF15 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:39:38] 779*2^1434856-1 is not prime. Res64: 283CD3E3BF7402EF Time : 0.0 sec. user=mdettweiler [2016-07-09 23:39:39] 803*2^1434856-1 is not prime. Res64: 8530FAF67CFF5FCD Time : 0.0 sec. user=mdettweiler [2016-07-09 23:39:39] 825*2^1434856-1 is not prime. Res64: 2ADE1C004D2836B4 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:39:40] 909*2^1434856-1 is not prime. Res64: E010821D8B164680 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:41:55] 831*2^1434857-1 is not prime. Res64: 6D008F5202AB69EC Time : 0.0 sec. user=mdettweiler [2016-07-09 23:41:55] 841*2^1434857-1 is not prime. Res64: 20A19D4418D5DDA3 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:41:56] 937*2^1434857-1 is not prime. Res64: 30F948964A1660CE Time : 0.0 sec. user=mdettweiler [2016-07-09 23:41:56] 981*2^1434857-1 is not prime. Res64: F6331EE472E71BD4 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:41:56] 611*2^1434858-1 is not prime. Res64: 6972273723864F14 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:58:33] 705*2^1434858-1 is not prime. Res64: A10A63F8F5AB7B3D Time : 0.0 sec. user=mdettweiler [2016-07-09 23:58:39] 767*2^1434858-1 is not prime. Res64: A60606D6999D647E Time : 0.0 sec. user=mdettweiler [2016-07-09 23:58:44] 815*2^1434858-1 is not prime. Res64: 5445954D2C55ACD1 Time : 0.0 sec. user=mdettweiler [2016-07-09 23:58:50] 905*2^1434858-1 is not prime. Res64: 92129E1EE2AC48BA Time : 0.0 sec. user=mdettweiler [2016-07-09 23:58:56] 945*2^1434858-1 is not prime. Res64: CB3606AF2D215FDB Time : 0.0 sec.