user=mdettweiler [2016-03-17 00:23:03] 759*2^1423319-1 is not prime. Res64: 226A29B6DCFC673D Time : 0.0 sec. user=mdettweiler [2016-03-17 00:23:57] 789*2^1423319-1 is not prime. Res64: 1DFED6281474396E Time : 0.0 sec. user=mdettweiler [2016-03-17 00:24:03] 853*2^1423319-1 is not prime. Res64: 1E216CAC59B3C3E1 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:10] 735*2^1423316-1 is not prime. Res64: 45F2D6CE7894B135 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:11] 759*2^1423316-1 is not prime. Res64: 8C3864FEF61A2BA6 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:12] 767*2^1423316-1 is not prime. Res64: A179DE172A2F4663 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:13] 837*2^1423316-1 is not prime. Res64: 1F1FB55E58AEA949 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:13] 843*2^1423316-1 is not prime. Res64: C5C4877A0AAFD71F Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:19] 875*2^1423316-1 is not prime. Res64: C4DB6503E8320E05 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:19] 935*2^1423316-1 is not prime. Res64: 406333C03BCD717C Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:20] 627*2^1423317-1 is not prime. Res64: C19BDE65F5B02427 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:20] 681*2^1423317-1 is not prime. Res64: 6057B599A42A6BDB Time : 0.0 sec. user=mdettweiler [2016-03-17 00:38:20] 699*2^1423317-1 is not prime. Res64: DC9A7C1A60D9C500 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:42:08] 741*2^1423317-1 is not prime. Res64: 293019E4163B30AF Time : 0.0 sec. user=mdettweiler [2016-03-17 00:42:08] 765*2^1423317-1 is not prime. Res64: 11A08539606FE3BC Time : 0.0 sec. user=mdettweiler [2016-03-17 00:42:09] 835*2^1423317-1 is not prime. Res64: F74C94CC7D490548 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:42:10] 885*2^1423317-1 is not prime. Res64: 1CBE124E17F1DF79 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:42:10] 863*2^1423318-1 is not prime. Res64: 9554D9E89193B171 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:43:00] 885*2^1423318-1 is not prime. Res64: 99DA3046651E47E3 Time : 0.0 sec. user=mdettweiler [2016-03-17 00:43:01] 911*2^1423318-1 is not prime. Res64: 63A07137520F627B Time : 0.0 sec. user=mdettweiler [2016-03-17 00:43:01] 1001*2^1423318-1 is not prime. Res64: 000C21C5ADDCE4EC Time : 0.0 sec. user=mdettweiler [2016-03-17 00:43:01] 619*2^1423319-1 is not prime. Res64: 151C2059CFA49C2E Time : 0.0 sec. user=mdettweiler [2016-03-17 00:43:02] 669*2^1423319-1 is not prime. Res64: C5F320F2611EA502 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:05] 883*2^1423319-1 is not prime. Res64: D635043D2EA77344 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:05] 943*2^1423319-1 is not prime. Res64: B1D31AAFEBE6EBB9 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:06] 985*2^1423319-1 is not prime. Res64: 6E717EFBA51E7FF0 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:06] 623*2^1423320-1 is not prime. Res64: 474CCC1DC287F160 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:07] 635*2^1423320-1 is not prime. Res64: EDAB2B8689676E7D Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:25] 719*2^1423320-1 is not prime. Res64: 6054031BEC7A0385 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:25] 845*2^1423320-1 is not prime. Res64: 8E3F8997981C4EAF Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:26] 909*2^1423320-1 is not prime. Res64: 6045567B1E3A27E8 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:26] 975*2^1423320-1 is not prime. Res64: 25A75D0037598E6A Time : 0.0 sec. user=mdettweiler [2016-03-17 01:24:26] 607*2^1423321-1 is not prime. Res64: 83EA21C556B0F62A Time : 0.0 sec. user=mdettweiler [2016-03-17 01:28:19] 649*2^1423321-1 is not prime. Res64: 4DC5E3EAB9B4F450 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:28:20] 745*2^1423321-1 is not prime. Res64: 5C6ABECC69C3B097 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:28:21] 769*2^1423321-1 is not prime. Res64: 4C02AE61ACD4CF65 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:28:21] 789*2^1423321-1 is not prime. Res64: 2D203F7E72D9F356 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:28:22] 817*2^1423321-1 is not prime. Res64: B90BF63B681F1B3E Time : 0.0 sec. user=mdettweiler [2016-03-17 01:29:06] 847*2^1423321-1 is not prime. Res64: 790AB20D3C1193CE Time : 0.0 sec. user=mdettweiler [2016-03-17 01:29:08] 931*2^1423321-1 is not prime. Res64: 4A3DAFA2C6DB6552 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:29:09] 937*2^1423321-1 is not prime. Res64: F43E886F599CC826 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:29:10] 955*2^1423321-1 is not prime. Res64: CA9AD7BCDC18E061 Time : 0.0 sec. user=mdettweiler [2016-03-17 01:29:11] 683*2^1423322-1 is not prime. Res64: 805B38A84F775D6A Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:38] 713*2^1423322-1 is not prime. Res64: 14A2207707CD8F2C Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:39] 767*2^1423322-1 is not prime. Res64: AA8BFECAE97163A8 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:40] 771*2^1423322-1 is not prime. Res64: 82F1C902BFF26481 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:41] 813*2^1423322-1 is not prime. Res64: E69EF4A60A3E15EE Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:42] 911*2^1423322-1 is not prime. Res64: 374552FEEA1869F4 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:48] 995*2^1423322-1 is not prime. Res64: 5D1CE20F72244827 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:49] 1001*2^1423322-1 is not prime. Res64: 1C35AD028949F90E Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:50] 625*2^1423323-1 is not prime. Res64: 883BA8358CE985B7 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:51] 703*2^1423323-1 is not prime. Res64: 4E612C148FB0D653 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:10:52] 705*2^1423323-1 is not prime. Res64: 99434A150E3C1D87 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:14:47] 765*2^1423323-1 is not prime. Res64: 83DFC2C785788E23 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:14:48] 825*2^1423323-1 is not prime. Res64: A75599D3D7799AA7 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:14:49] 963*2^1423323-1 is not prime. Res64: C5F6B0E5947861B3 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:14:50] 615*2^1423324-1 is not prime. Res64: C20A9DD638E7FD64 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:14:51] 629*2^1423324-1 is not prime. Res64: 699CB1A3B5A5442F Time : 0.0 sec. user=mdettweiler [2016-03-17 02:15:35] 699*2^1423324-1 is not prime. Res64: 03AB38E3F2E5B2E2 Time : 0.0 sec. user=mdettweiler [2016-03-17 02:15:36] 729*2^1423324-1 is not prime. Res64: 3EBD8EF4945D407E Time : 0.0 sec. user=mdettweiler [2016-03-17 02:15:37] 749*2^1423324-1 is not prime. Res64: 928D3F0F17EB55BD Time : 0.0 sec. user=mdettweiler [2016-03-17 02:15:38] 827*2^1423324-1 is not prime. Res64: D3DC2D655FA67FEF Time : 0.0 sec. user=mdettweiler [2016-03-17 02:15:39] 833*2^1423324-1 is not prime. Res64: 1247478A42B0ABCA Time : 0.0 sec. user=mdettweiler [2016-03-17 03:00:34] 991*2^1423325-1 is not prime. Res64: EB9020CC09DDD996 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:00:35] 717*2^1423326-1 is not prime. Res64: 530DB3C5A779CA74 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:00:36] 815*2^1423326-1 is not prime. Res64: E601DFCFE23F8160 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:00:37] 825*2^1423326-1 is not prime. Res64: 9103849431009DF1 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:00:38] 861*2^1423326-1 is not prime. Res64: 4CD575FF5F8B0E66 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:01:24] 857*2^1423324-1 is not prime. Res64: DF603FC6885EB344 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:01:25] 897*2^1423324-1 is not prime. Res64: 6A007D92D265629E Time : 0.0 sec. user=mdettweiler [2016-03-17 03:01:26] 801*2^1423325-1 is not prime. Res64: EA5A5D729E6A184D Time : 0.0 sec. user=mdettweiler [2016-03-17 03:01:27] 805*2^1423325-1 is not prime. Res64: CD3DC28F8E02AEE0 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:01:28] 987*2^1423325-1 is not prime. Res64: 1124513756185E36 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:03:16] 627*2^1423329-1 is not prime. Res64: 0DC428FFA5D92553 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:05:57] 1001*2^1423326-1 is not prime. Res64: 9B70681C7D8D3158 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:05:59] 609*2^1423327-1 is not prime. Res64: 7BDF0D7865543572 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:06:00] 645*2^1423327-1 is not prime. Res64: 88138723BC5D2B27 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:06:02] 673*2^1423327-1 is not prime. Res64: A82EF1B6DA72DFD7 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:06:03] 675*2^1423327-1 is not prime. Res64: D0013CF5F421ED5A Time : 0.0 sec. user=mdettweiler [2016-03-17 03:06:33] 759*2^1423327-1 is not prime. Res64: 3FA620BAE7788F13 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:06:34] 873*2^1423327-1 is not prime. Res64: E40C20A0846CC6DE Time : 0.0 sec. user=mdettweiler [2016-03-17 03:06:35] 993*2^1423327-1 is not prime. Res64: CBCD6500CD72F6E9 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:06:35] 603*2^1423328-1 is not prime. Res64: 51E8DFDFD96C3258 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:06:36] 725*2^1423328-1 is not prime. Res64: 22F8AA396334DF29 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:21:09] 861*2^1423333-1 is not prime. Res64: 0D26CB14CAD3C5C4 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:47:42] 675*2^1423329-1 is not prime. Res64: DD9C586DC6C03E07 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:47:43] 709*2^1423329-1 is not prime. Res64: 94325880F492F6A5 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:47:45] 789*2^1423329-1 is not prime. Res64: 5D58D26B58130580 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:47:46] 861*2^1423329-1 is not prime. Res64: 9203C2CF8BB2FB33 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:47:48] 867*2^1423329-1 is not prime. Res64: A764213267479FDA Time : 0.0 sec. user=mdettweiler [2016-03-17 03:48:11] 885*2^1423329-1 is not prime. Res64: B93EB924544BC2F7 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:48:13] 717*2^1423330-1 is not prime. Res64: 418CE030CFB3D713 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:48:14] 735*2^1423330-1 is not prime. Res64: 75A553C02F389B83 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:48:16] 777*2^1423330-1 is not prime. Res64: D605861D2E5651EC Time : 0.0 sec. user=mdettweiler [2016-03-17 03:48:18] 911*2^1423330-1 is not prime. Res64: 70E163914C362FAC Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:41] 975*2^1423330-1 is not prime. Res64: 2211019095FAA8C0 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:42] 651*2^1423331-1 is not prime. Res64: 6B66A4E248830AE0 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:43] 673*2^1423331-1 is not prime. Res64: B567DD2699308DF4 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:44] 969*2^1423331-1 is not prime. Res64: 2747DA366F9D9C1F Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:45] 999*2^1423331-1 is not prime. Res64: 16C34D69F457DCB4 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:53] 629*2^1423332-1 is not prime. Res64: 5F12E7FCDF50F691 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:54] 689*2^1423332-1 is not prime. Res64: B10A0D3A73DCDC58 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:55] 749*2^1423332-1 is not prime. Res64: 03876F0ACF16B5AB Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:56] 619*2^1423333-1 is not prime. Res64: 86D00A7F414D4360 Time : 0.0 sec. user=mdettweiler [2016-03-17 03:52:59] 831*2^1423333-1 is not prime. Res64: B527334639BF4BE2 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:14:31] 623*2^1423336-1 is not prime. Res64: C0695C3B64685F5D Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:16] 885*2^1423333-1 is not prime. Res64: 8416EE9575A27728 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:17] 915*2^1423333-1 is not prime. Res64: 7EE948D6735326EA Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:18] 967*2^1423333-1 is not prime. Res64: C51C6C33BFBB01B1 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:19] 999*2^1423333-1 is not prime. Res64: 3486291F0A14A95A Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:20] 615*2^1423334-1 is not prime. Res64: A90DA233FD4E3196 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:41] 671*2^1423334-1 is not prime. Res64: 478DD6055D102827 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:42] 675*2^1423334-1 is not prime. Res64: 6F1B00343CCBA7A2 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:43] 741*2^1423334-1 is not prime. Res64: 62CF9C3081B33E16 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:44] 795*2^1423334-1 is not prime. Res64: 32D2FB8060EBE50B Time : 0.0 sec. user=mdettweiler [2016-03-17 04:33:45] 797*2^1423334-1 is not prime. Res64: A5CC48AA8BB8E236 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:37:55] 813*2^1423334-1 is not prime. Res64: 5A53FDBDF9E212E6 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:37:56] 861*2^1423334-1 is not prime. Res64: C003B1F238619E04 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:37:57] 957*2^1423334-1 is not prime. Res64: D7F6AFEC8AF5BF1E Time : 0.0 sec. user=mdettweiler [2016-03-17 04:37:58] 981*2^1423334-1 is not prime. Res64: CAEA357DE054B8BB Time : 0.0 sec. user=mdettweiler [2016-03-17 04:37:59] 995*2^1423334-1 is not prime. Res64: 7C247769345B0621 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:38:26] 619*2^1423335-1 is not prime. Res64: 85344FBB7718343E Time : 0.0 sec. user=mdettweiler [2016-03-17 04:38:28] 691*2^1423335-1 is not prime. Res64: 3D69F2061D59E457 Time : 0.0 sec. user=mdettweiler [2016-03-17 04:38:29] 763*2^1423335-1 is not prime. Res64: 448CE856EC57E67E Time : 0.0 sec. user=mdettweiler [2016-03-17 04:38:30] 985*2^1423335-1 is not prime. Res64: A0189164AF5E54AD Time : 0.0 sec. user=mdettweiler [2016-03-17 04:38:31] 603*2^1423336-1 is not prime. Res64: C1B99A644820BE2D Time : 0.0 sec. user=mdettweiler [2016-03-17 05:18:32] 759*2^1423336-1 is not prime. Res64: 766317B5CA0DE1F0 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:18:33] 773*2^1423336-1 is not prime. Res64: 3A245809AE5B6344 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:18:34] 843*2^1423336-1 is not prime. Res64: A7EFB50E9F7C7942 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:18:35] 855*2^1423336-1 is not prime. Res64: 71FDE6A2E9608F0A Time : 0.0 sec. user=mdettweiler [2016-03-17 05:18:36] 869*2^1423336-1 is not prime. Res64: 46562DD8CBD51DB7 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:19:01] 909*2^1423336-1 is not prime. Res64: 3335F2A41AD99E13 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:19:02] 699*2^1423337-1 is not prime. Res64: 1D2D0F2AF9260043 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:19:03] 769*2^1423337-1 is not prime. Res64: 0F7B942E60FD77FD Time : 0.0 sec. user=mdettweiler [2016-03-17 05:19:04] 705*2^1423338-1 is not prime. Res64: 3BC1CBAE6C2864F5 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:19:05] 731*2^1423338-1 is not prime. Res64: 927B0514C6E1BE7C Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:07] 867*2^1423338-1 is not prime. Res64: 61862F2C4B975A1E Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:08] 891*2^1423338-1 is not prime. Res64: 7BDF2902B1FE9BB4 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:09] 971*2^1423338-1 is not prime. Res64: 80908743330C9264 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:10] 645*2^1423339-1 is not prime. Res64: F63AC1495416B907 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:12] 765*2^1423339-1 is not prime. Res64: B8973543DAA0A3D2 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:51] 789*2^1423339-1 is not prime. Res64: 8211CCD84D87DE10 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:52] 829*2^1423339-1 is not prime. Res64: 395F69DF0D7C49F8 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:54] 859*2^1423339-1 is not prime. Res64: D6F64676B1CD0F8D Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:55] 909*2^1423339-1 is not prime. Res64: 2102F2294B73C4F4 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:23:55] 919*2^1423339-1 is not prime. Res64: 91B1D0FC08240B01 Time : 0.0 sec. user=mdettweiler [2016-03-17 05:25:22] 629*2^1423340-1 is not prime. Res64: 1D6882C9CCDA2B12 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:01:44] 859*2^1423343-1 is not prime. Res64: 5C61783033A10276 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:11] 803*2^1423340-1 is not prime. Res64: 7FB94FC38179A8BD Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:12] 677*2^1423340-1 is not prime. Res64: 1C8135DDE2D13CA2 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:13] 839*2^1423340-1 is not prime. Res64: 8A1C71712239DDF4 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:14] 687*2^1423340-1 is not prime. Res64: 92B46DB387CD7DAC Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:15] 857*2^1423340-1 is not prime. Res64: 15F6CCF88807C3AA Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:16] 707*2^1423340-1 is not prime. Res64: 87E475DF37F43239 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:17] 649*2^1423341-1 is not prime. Res64: 12C55BD9B3443092 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:17] 753*2^1423340-1 is not prime. Res64: 1589AAA7C5BCC8AF Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:19] 711*2^1423341-1 is not prime. Res64: 25F65F38891B3F4A Time : 0.0 sec. user=mdettweiler [2016-03-17 06:04:20] 795*2^1423340-1 is not prime. Res64: F0E6C188E301DAE5 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:08:32] 819*2^1423341-1 is not prime. Res64: 89A05E9ABD192C6D Time : 0.0 sec. user=mdettweiler [2016-03-17 06:08:33] 885*2^1423341-1 is not prime. Res64: B422266F880B11B8 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:08:34] 945*2^1423341-1 is not prime. Res64: 2C86C531144D1BFD Time : 0.0 sec. user=mdettweiler [2016-03-17 06:08:35] 651*2^1423342-1 is not prime. Res64: E77054AD482F93E9 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:08:36] 695*2^1423342-1 is not prime. Res64: FBAC5116EA681B63 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:09:28] 741*2^1423342-1 is not prime. Res64: 88188598121A1B72 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:09:29] 815*2^1423342-1 is not prime. Res64: 8A41F119F7DBAB83 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:09:30] 685*2^1423343-1 is not prime. Res64: 72431C0F58DB1109 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:09:31] 705*2^1423343-1 is not prime. Res64: 71F690024ACD3D11 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:09:31] 811*2^1423343-1 is not prime. Res64: 91CFF8D655B23159 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:37:03] 749*2^1423348-1 is not prime. Res64: 7CBBF567062443FC Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:31] 943*2^1423343-1 is not prime. Res64: E00311C208A8D4E0 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:32] 609*2^1423344-1 is not prime. Res64: B7518D4032FFDC28 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:33] 855*2^1423345-1 is not prime. Res64: AB4AF3E1D99F0976 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:34] 895*2^1423345-1 is not prime. Res64: 02400492DC6346EF Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:35] 677*2^1423346-1 is not prime. Res64: 11E68BC0EE6D5B8C Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:46] 675*2^1423344-1 is not prime. Res64: 8199B50AFF048349 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:47] 773*2^1423344-1 is not prime. Res64: 2953C1C413731E8C Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:48] 837*2^1423344-1 is not prime. Res64: 1304C3D2AC3E1035 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:49] 983*2^1423344-1 is not prime. Res64: BD15E97B50D6DA37 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:49:50] 607*2^1423345-1 is not prime. Res64: B711AC860A943866 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:53:56] 705*2^1423346-1 is not prime. Res64: 95722B8A57FB4D62 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:53:57] 743*2^1423346-1 is not prime. Res64: 7C73279ECD28EB6F Time : 0.0 sec. user=mdettweiler [2016-03-17 06:53:58] 767*2^1423346-1 is not prime. Res64: 3E5FAAE24D87FC7A Time : 0.0 sec. user=mdettweiler [2016-03-17 06:53:59] 815*2^1423346-1 is not prime. Res64: F43D72834AF5BC57 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:53:59] 921*2^1423346-1 is not prime. Res64: 44637BC1A07DD6B4 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:54:41] 987*2^1423346-1 is not prime. Res64: 384BF2B0199A92AC Time : 0.0 sec. user=mdettweiler [2016-03-17 06:54:42] 669*2^1423347-1 is not prime. Res64: B15A9AE2044DF785 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:54:43] 677*2^1423348-1 is not prime. Res64: 500F84C10CA39B59 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:54:44] 687*2^1423348-1 is not prime. Res64: 5A1DEA6315F252C5 Time : 0.0 sec. user=mdettweiler [2016-03-17 06:54:45] 689*2^1423348-1 is not prime. Res64: 6C05AB3F75E7EDA1 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:30:10] 945*2^1423352-1 is not prime. Res64: B8E6E551DFA0F241 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:30:17] 751*2^1423353-1 is not prime. Res64: B3B0DCA5717590B3 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:36] 843*2^1423348-1 is not prime. Res64: 07632E80AF7F2CBE Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:38] 619*2^1423349-1 is not prime. Res64: 96149DD4F05B9A27 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:39] 771*2^1423349-1 is not prime. Res64: F6F157DD04888F10 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:40] 855*2^1423349-1 is not prime. Res64: 63F7B5F768EB2EFF Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:41] 927*2^1423349-1 is not prime. Res64: 644A1DE613F57A8A Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:55] 955*2^1423349-1 is not prime. Res64: FDA799456A762231 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:56] 969*2^1423349-1 is not prime. Res64: 77E34D1DBE2EE7F3 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:57] 657*2^1423350-1 is not prime. Res64: 98E456E583748098 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:58] 783*2^1423350-1 is not prime. Res64: 6714FFBF5F6BD797 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:34:59] 923*2^1423350-1 is not prime. Res64: 37566D5FCFDD40D9 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:08] 619*2^1423351-1 is not prime. Res64: 2B047BAFE984794F Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:10] 775*2^1423351-1 is not prime. Res64: 628C430A2ADBA416 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:11] 931*2^1423351-1 is not prime. Res64: F860C3D8B13F1252 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:12] 687*2^1423352-1 is not prime. Res64: 97B76C9815DF3FF3 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:13] 693*2^1423352-1 is not prime. Res64: 160B87B30D055C4E Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:51] 735*2^1423352-1 is not prime. Res64: FB16F69133B2F38C Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:52] 777*2^1423352-1 is not prime. Res64: 1E0389828050B07D Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:53] 873*2^1423352-1 is not prime. Res64: F5DA7B35A4C52243 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:53] 923*2^1423352-1 is not prime. Res64: 69A24D3CC3DA6250 Time : 0.0 sec. user=mdettweiler [2016-03-17 07:39:54] 935*2^1423352-1 is not prime. Res64: A3D39C1FD8DFD4F2 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:19:56] 795*2^1423353-1 is not prime. Res64: A99672073F04EE37 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:19:57] 817*2^1423353-1 is not prime. Res64: E35101F41CD97B29 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:19:58] 849*2^1423353-1 is not prime. Res64: FF5FD40CA7617AA4 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:19:59] 861*2^1423353-1 is not prime. Res64: 0A86DE602FDD0E44 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:20:00] 889*2^1423353-1 is not prime. Res64: 4EEEAFFC8CE53DF5 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:20:08] 895*2^1423353-1 is not prime. Res64: 1DD03BFDA91F4D65 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:20:09] 945*2^1423353-1 is not prime. Res64: 5C4F70299629E13B Time : 0.0 sec. user=mdettweiler [2016-03-17 08:20:10] 949*2^1423353-1 is not prime. Res64: 339C0CAA2647770D Time : 0.0 sec. user=mdettweiler [2016-03-17 08:20:11] 999*2^1423353-1 is not prime. Res64: F22D0C975CA0758D Time : 0.0 sec. user=mdettweiler [2016-03-17 08:20:12] 645*2^1423354-1 is not prime. Res64: 883C670EB20CC2C8 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:24:27] 663*2^1423354-1 is not prime. Res64: 7D2A57D95D5D6CBE Time : 0.0 sec. user=mdettweiler [2016-03-17 08:24:28] 815*2^1423354-1 is not prime. Res64: 3A83AFDCD657EAAC Time : 0.0 sec. user=mdettweiler [2016-03-17 08:24:29] 833*2^1423354-1 is not prime. Res64: 7A54C78681858B22 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:24:30] 887*2^1423354-1 is not prime. Res64: 45213D256E335A01 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:24:31] 891*2^1423354-1 is not prime. Res64: 5BA64CD008653A8D Time : 0.0 sec. user=mdettweiler [2016-03-17 08:25:33] 905*2^1423354-1 is not prime. Res64: CC38EFF8CC3470CD Time : 0.0 sec. user=mdettweiler [2016-03-17 08:25:34] 601*2^1423355-1 is not prime. Res64: A105D40E10545AAB Time : 0.0 sec. user=mdettweiler [2016-03-17 08:25:35] 609*2^1423355-1 is not prime. Res64: D05288284B27AAA7 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:25:36] 693*2^1423355-1 is not prime. Res64: 2F6BB8F34EEE0127 Time : 0.0 sec. user=mdettweiler [2016-03-17 08:25:37] 759*2^1423355-1 is not prime. Res64: 2BC6B936FBE324CF Time : 0.0 sec. user=mdettweiler [2016-03-17 08:29:42] 805*2^1423355-1 is not prime. Res64: FA4A3DF073D8978F Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:08] 883*2^1423355-1 is not prime. Res64: E10AA7FE98FF370F Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:08] 651*2^1423357-1 is not prime. Res64: A92DAF8DE951FDCA Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:10] 913*2^1423355-1 is not prime. Res64: C4FAF6081C82E98B Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:11] 691*2^1423357-1 is not prime. Res64: 9CEB0AEC7F72FF90 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:12] 985*2^1423355-1 is not prime. Res64: 265297F49DEA4982 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:14] 741*2^1423357-1 is not prime. Res64: F7348DF93A6E3CCD Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:16] 857*2^1423356-1 is not prime. Res64: 15DA6D6FEBFBE63D Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:17] 887*2^1423356-1 is not prime. Res64: 41DC4954FF445A13 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:19] 751*2^1423357-1 is not prime. Res64: 109941B3C5E87BF1 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:05:22] 829*2^1423357-1 is not prime. Res64: CBBD5E9FFE0594FD Time : 0.0 sec. user=mdettweiler [2016-03-17 09:09:57] 867*2^1423357-1 is not prime. Res64: B13BD1D9A4E6FE0E Time : 0.0 sec. user=mdettweiler [2016-03-17 09:09:59] 885*2^1423357-1 is not prime. Res64: 4B8B8CF10D73A870 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:10:00] 939*2^1423357-1 is not prime. Res64: 1941DAB8336A4B5D Time : 0.0 sec. user=mdettweiler [2016-03-17 09:10:02] 605*2^1423358-1 is not prime. Res64: DB331B4D031642D6 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:10:03] 705*2^1423358-1 is not prime. Res64: 61C2AF62C44D0C19 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:10:44] 845*2^1423358-1 is not prime. Res64: F23F59E3D90AE0AC Time : 0.0 sec. user=mdettweiler [2016-03-17 09:10:45] 861*2^1423358-1 is not prime. Res64: BF9F2261602F77D2 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:10:46] 893*2^1423358-1 is not prime. Res64: 27B9B88CC527783D Time : 0.0 sec. user=mdettweiler [2016-03-17 09:10:47] 953*2^1423358-1 is not prime. Res64: 6387C734CF4BA21B Time : 0.0 sec. user=mdettweiler [2016-03-17 09:10:48] 971*2^1423358-1 is not prime. Res64: 9D555E43B7B71490 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:35] 905*2^1423360-1 is not prime. Res64: 8F1589D1A2C37C2A Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:36] 909*2^1423360-1 is not prime. Res64: 3CA431B00957A81E Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:37] 983*2^1423360-1 is not prime. Res64: 41EF30354ED99E51 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:38] 627*2^1423361-1 is not prime. Res64: 4D7A6E72B18DBB38 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:39] 631*2^1423361-1 is not prime. Res64: 9A1640C27B0BB182 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:56] 639*2^1423359-1 is not prime. Res64: 8AA74508A690D492 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:57] 709*2^1423359-1 is not prime. Res64: 0290E4F28760B9FD Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:58] 775*2^1423359-1 is not prime. Res64: 3BC63302FC4752D4 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:50:59] 755*2^1423360-1 is not prime. Res64: 8948D83C82ADBE47 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:51:00] 857*2^1423360-1 is not prime. Res64: 09B53F4123E663D9 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:55:19] 645*2^1423361-1 is not prime. Res64: 742393AB4B35AA4D Time : 0.0 sec. user=mdettweiler [2016-03-17 09:55:20] 669*2^1423361-1 is not prime. Res64: CD64896927443C1B Time : 0.0 sec. user=mdettweiler [2016-03-17 09:55:21] 691*2^1423361-1 is not prime. Res64: E3BDAECC9E64BDFD Time : 0.0 sec. user=mdettweiler [2016-03-17 09:55:22] 705*2^1423361-1 is not prime. Res64: 7878692C1F13E5E5 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:55:23] 811*2^1423361-1 is not prime. Res64: 01F4CF78256DF382 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:55:59] 819*2^1423361-1 is not prime. Res64: FDD9E755D9C2F766 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:56:00] 633*2^1423362-1 is not prime. Res64: 2F3BD093C832FCD1 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:56:01] 665*2^1423362-1 is not prime. Res64: 42A0943CCE686934 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:56:02] 797*2^1423362-1 is not prime. Res64: 2E4B7CD9E4E41198 Time : 0.0 sec. user=mdettweiler [2016-03-17 09:56:03] 945*2^1423362-1 is not prime. Res64: 53094B1DB29D97CA Time : 0.0 sec. user=mdettweiler [2016-03-17 10:09:54] 975*2^1423366-1 is not prime. Res64: 5431B72CC629D382 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:42] 609*2^1423363-1 is not prime. Res64: D4A4812F908A2061 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:42] 625*2^1423363-1 is not prime. Res64: 885E54D9D2001452 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:43] 633*2^1423363-1 is not prime. Res64: 164DD93654208B82 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:43] 663*2^1423363-1 is not prime. Res64: C5461A8FFB7E43E9 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:43] 709*2^1423363-1 is not prime. Res64: B8086D4437C14394 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:56] 945*2^1423363-1 is not prime. Res64: 9043111B87F14C36 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:57] 993*2^1423363-1 is not prime. Res64: 0E249DC5BA2C2185 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:57] 869*2^1423364-1 is not prime. Res64: BF118B8BD548FD3A Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:57] 727*2^1423365-1 is not prime. Res64: CD86C739453A1518 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:35:58] 759*2^1423365-1 is not prime. Res64: 7AD4CB38AA0CA371 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:40:29] 765*2^1423365-1 is not prime. Res64: 56E4152DC9D9A477 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:40:30] 795*2^1423365-1 is not prime. Res64: A7F591CE18124785 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:40:30] 895*2^1423365-1 is not prime. Res64: 6447DC8257FEA1AC Time : 0.0 sec. user=mdettweiler [2016-03-17 10:40:31] 927*2^1423365-1 is not prime. Res64: 0CC18715AD4C5004 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:40:31] 985*2^1423365-1 is not prime. Res64: FA1D5E1CAD6C32DB Time : 0.0 sec. user=mdettweiler [2016-03-17 10:40:59] 723*2^1423366-1 is not prime. Res64: 08D608D3F57BBD74 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:40:59] 773*2^1423366-1 is not prime. Res64: D71E9E7679461E6B Time : 0.0 sec. user=mdettweiler [2016-03-17 10:41:00] 785*2^1423366-1 is not prime. Res64: 507867A2A8C16EBE Time : 0.0 sec. user=mdettweiler [2016-03-17 10:41:00] 957*2^1423366-1 is not prime. Res64: A31FAA8367F2B772 Time : 0.0 sec. user=mdettweiler [2016-03-17 10:41:01] 971*2^1423366-1 is not prime. Res64: 9321FFD6557B37B9 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:02:46] 645*2^1423370-1 is not prime. Res64: 52C95C25123A1BED Time : 0.0 sec. user=mdettweiler [2016-03-17 11:20:41] 609*2^1423367-1 is not prime. Res64: 84E3EA492B482482 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:20:41] 651*2^1423367-1 is not prime. Res64: 6054736BF1EBD415 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:20:42] 661*2^1423367-1 is not prime. Res64: 0D4810D110DBAD8C Time : 0.0 sec. user=mdettweiler [2016-03-17 11:20:42] 711*2^1423367-1 is not prime. Res64: 57D6CA09F94CFB69 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:20:43] 729*2^1423367-1 is not prime. Res64: 897EFE0CDF26E29A Time : 0.0 sec. user=mdettweiler [2016-03-17 11:21:01] 825*2^1423367-1 is not prime. Res64: 554F010C8A20CFDE Time : 0.0 sec. user=mdettweiler [2016-03-17 11:21:01] 859*2^1423367-1 is not prime. Res64: 7BFE88126E57ADC9 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:21:02] 885*2^1423367-1 is not prime. Res64: AA3F844D0BA4A64F Time : 0.0 sec. user=mdettweiler [2016-03-17 11:21:02] 629*2^1423368-1 is not prime. Res64: 7B86F5770B529397 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:21:02] 639*2^1423368-1 is not prime. Res64: 346D3833754909A2 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:25:24] 747*2^1423368-1 is not prime. Res64: 04531FFE238A7E48 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:25:25] 777*2^1423368-1 is not prime. Res64: F33C817D475FB740 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:25:25] 945*2^1423368-1 is not prime. Res64: 799EC81A2E8B08A5 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:25:26] 615*2^1423369-1 is not prime. Res64: 94E518B0019871F3 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:25:26] 661*2^1423369-1 is not prime. Res64: 67395751B71A9E1D Time : 0.0 sec. user=mdettweiler [2016-03-17 11:26:08] 667*2^1423369-1 is not prime. Res64: 7F44C4566A985C0C Time : 0.0 sec. user=mdettweiler [2016-03-17 11:26:08] 681*2^1423369-1 is not prime. Res64: CC314DDB493545AA Time : 0.0 sec. user=mdettweiler [2016-03-17 11:26:09] 769*2^1423369-1 is not prime. Res64: 15AADDFAFA6BDFD9 Time : 0.0 sec. user=mdettweiler [2016-03-17 11:26:10] 799*2^1423369-1 is not prime. Res64: DA8086F55DF093CE Time : 0.0 sec. user=mdettweiler [2016-03-17 11:26:10] 955*2^1423369-1 is not prime. Res64: 99FD25813579C26B Time : 0.0 sec. user=mdettweiler [2016-03-17 12:05:54] 827*2^1423370-1 is not prime. Res64: E6E76B02118B6800 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:05:55] 977*2^1423370-1 is not prime. Res64: 2E7C3D01C8F96772 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:05:57] 675*2^1423371-1 is not prime. Res64: A5B989BC0B45E429 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:05:58] 741*2^1423371-1 is not prime. Res64: AC2E451CEF5D6D00 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:05:59] 769*2^1423371-1 is not prime. Res64: 5A8DBD55DAD217A8 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:06:14] 775*2^1423371-1 is not prime. Res64: 9A80F69F36B65C09 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:06:15] 783*2^1423371-1 is not prime. Res64: DBFB5438DDD98526 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:06:16] 801*2^1423371-1 is not prime. Res64: 6AC7D9B1743F1CA0 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:06:16] 825*2^1423371-1 is not prime. Res64: 3DCF05C63A3B42D0 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:06:17] 861*2^1423371-1 is not prime. Res64: 15D4AA4BB1A861C9 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:10:25] 635*2^1423372-1 is not prime. Res64: E83405886B563EC0 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:10:25] 657*2^1423372-1 is not prime. Res64: 1232CB8E79B358EA Time : 0.0 sec. user=mdettweiler [2016-03-17 12:10:26] 665*2^1423372-1 is not prime. Res64: FD2E494416B1ED4B Time : 0.0 sec. user=mdettweiler [2016-03-17 12:10:26] 723*2^1423372-1 is not prime. Res64: 1E80ECA81E719820 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:10:26] 735*2^1423372-1 is not prime. Res64: 8D49CB94EAB816C1 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:11:11] 825*2^1423372-1 is not prime. Res64: F8397D1A132311AF Time : 0.0 sec. user=mdettweiler [2016-03-17 12:11:11] 875*2^1423372-1 is not prime. Res64: F3B77786983FBCAF Time : 0.0 sec. user=mdettweiler [2016-03-17 12:11:12] 909*2^1423372-1 is not prime. Res64: 3FBFCBFAE2273747 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:11:12] 983*2^1423372-1 is not prime. Res64: BFA85CBDC52DAC62 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:11:12] 675*2^1423373-1 is not prime. Res64: CA87C5B4F7BE99CE Time : 0.0 sec. user=mdettweiler [2016-03-17 12:14:14] 721*2^1423373-1 is not prime. Res64: 5E73B2BB3A4CC06E Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:22] 741*2^1423373-1 is not prime. Res64: C2017A4E880B9FAE Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:23] 621*2^1423374-1 is not prime. Res64: AA647E232A117C2F Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:23] 759*2^1423373-1 is not prime. Res64: 1CBCB5EE1FDBF912 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:23] 635*2^1423374-1 is not prime. Res64: 96B0FA078EAEB07E Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:23] 811*2^1423373-1 is not prime. Res64: C2857B9A44BDAEDB Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:23] 755*2^1423374-1 is not prime. Res64: B1F1E5B0D690137C Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:24] 937*2^1423373-1 is not prime. Res64: 5AD93A2310FED24E Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:24] 765*2^1423374-1 is not prime. Res64: 456EEA83BF0D6875 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:24] 951*2^1423373-1 is not prime. Res64: 12DA1A30135F8A5D Time : 0.0 sec. user=mdettweiler [2016-03-17 12:51:24] 791*2^1423374-1 is not prime. Res64: 457F848911AB5E16 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:55:52] 903*2^1423374-1 is not prime. Res64: 203D231A861DDC87 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:55:52] 993*2^1423374-1 is not prime. Res64: 549C799342F1C056 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:55:53] 685*2^1423375-1 is not prime. Res64: 9096CCAC0AD6F2B9 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:55:53] 735*2^1423375-1 is not prime. Res64: C4907B467A9CC7E8 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:55:53] 771*2^1423375-1 is not prime. Res64: 27FDFAD2086D64A4 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:56:31] 789*2^1423375-1 is not prime. Res64: BD1E2EC4B4A2AC03 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:56:31] 829*2^1423375-1 is not prime. Res64: 373FA6583BEFAD5E Time : 0.0 sec. user=mdettweiler [2016-03-17 12:56:31] 831*2^1423375-1 is not prime. Res64: 2DA92882CC0DB86C Time : 0.0 sec. user=mdettweiler [2016-03-17 12:56:32] 861*2^1423375-1 is not prime. Res64: 092CC310D6D4DE71 Time : 0.0 sec. user=mdettweiler [2016-03-17 12:56:32] 925*2^1423375-1 is not prime. Res64: 7E8BC4CF76785132 Time : 0.0 sec. user=mdettweiler [2016-03-17 13:06:39] 957*2^1423378-1 is not prime. Res64: 55A3E1C1A0D1F79A Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:37] 973*2^1423375-1 is not prime. Res64: 154FBEBCE883427C Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:38] 999*2^1423375-1 is not prime. Res64: A51F56BECBB5014F Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:38] 603*2^1423376-1 is not prime. Res64: B28F7AF9317A136B Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:38] 825*2^1423376-1 is not prime. Res64: 2B971D4F9D45BEAF Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:39] 917*2^1423376-1 is not prime. Res64: 5004F2D5E882700D Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:44] 957*2^1423376-1 is not prime. Res64: 33DF3F59FA33169B Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:44] 999*2^1423376-1 is not prime. Res64: C553A830ECC6FC7B Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:44] 609*2^1423377-1 is not prime. Res64: 7EFE56AAFF715C73 Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:45] 615*2^1423377-1 is not prime. Res64: FA5ADDB27B88A2DD Time : 0.0 sec. user=mdettweiler [2016-03-17 13:36:45] 681*2^1423377-1 is not prime. Res64: 47CF964F37010C96 Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:12] 711*2^1423377-1 is not prime. Res64: C712A178536D54A2 Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:12] 777*2^1423377-1 is not prime. Res64: 98D6DCEA17C55D8F Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:13] 837*2^1423377-1 is not prime. Res64: A40B0C000FCBD5CB Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:13] 885*2^1423377-1 is not prime. Res64: 7803F26DC1CFB3C3 Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:14] 919*2^1423377-1 is not prime. Res64: C82915373BF89AED Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:39] 955*2^1423377-1 is not prime. Res64: 8F9764DABA630D03 Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:40] 603*2^1423378-1 is not prime. Res64: 9241741A27897118 Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:40] 755*2^1423378-1 is not prime. Res64: DA9BEAD21E24F725 Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:40] 803*2^1423378-1 is not prime. Res64: 5A6B46D6E1E0943D Time : 0.0 sec. user=mdettweiler [2016-03-17 13:41:41] 881*2^1423378-1 is not prime. Res64: 124758704BC425F0 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:24] 675*2^1423379-1 is not prime. Res64: AB61D618587E2624 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:24] 895*2^1423379-1 is not prime. Res64: B77595976EE59F42 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:25] 943*2^1423379-1 is not prime. Res64: B5BFD3DCC5EAF334 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:25] 973*2^1423379-1 is not prime. Res64: 27009590552BAD9C Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:25] 985*2^1423379-1 is not prime. Res64: FE116F4240407AB2 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:33] 777*2^1423380-1 is not prime. Res64: 289242432B949E81 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:33] 789*2^1423380-1 is not prime. Res64: 41AC8B20130BEB31 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:34] 809*2^1423380-1 is not prime. Res64: 394E355706E80F1A Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:34] 819*2^1423380-1 is not prime. Res64: 74700093256BB2E9 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:21:35] 923*2^1423380-1 is not prime. Res64: 878CCAF7D7F3245F Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:03] 687*2^1423381-1 is not prime. Res64: D925B4888C0D6CB6 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:04] 859*2^1423381-1 is not prime. Res64: 2A74E0E56A401CD1 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:04] 901*2^1423381-1 is not prime. Res64: 3014C482DCC4B028 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:04] 931*2^1423381-1 is not prime. Res64: E0C4742A8D83D73A Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:05] 937*2^1423381-1 is not prime. Res64: A26E75B3151FCD3F Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:41] 955*2^1423381-1 is not prime. Res64: 6E54515409E14A9B Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:41] 645*2^1423382-1 is not prime. Res64: E02A51923620F8BE Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:42] 683*2^1423382-1 is not prime. Res64: 8D8E268BC05D498F Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:42] 711*2^1423382-1 is not prime. Res64: 56ED68DE5771F659 Time : 0.0 sec. user=mdettweiler [2016-03-17 14:26:42] 813*2^1423382-1 is not prime. Res64: 25D204B4ECABFC52 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:20] 875*2^1423382-1 is not prime. Res64: ED7E32CE7596529F Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:20] 675*2^1423383-1 is not prime. Res64: D7828DD80B63888D Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:21] 781*2^1423383-1 is not prime. Res64: 8DC06EA7861585B7 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:21] 853*2^1423383-1 is not prime. Res64: DF19778D6F226B3A Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:23] 921*2^1423383-1 is not prime. Res64: BAE50EBE53A358AE Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:27] 609*2^1423384-1 is not prime. Res64: E289B9A66B796763 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:27] 695*2^1423384-1 is not prime. Res64: CDE1F8B252BB1C4C Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:28] 747*2^1423384-1 is not prime. Res64: 0A3B4B63CFEE7DBA Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:28] 843*2^1423384-1 is not prime. Res64: D70BD01365CDB608 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:06:29] 873*2^1423384-1 is not prime. Res64: 8AB6C464F1D8C015 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:01] 903*2^1423384-1 is not prime. Res64: B6C6C59858A95FAD Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:01] 927*2^1423384-1 is not prime. Res64: CB23EE744EF6868B Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:02] 983*2^1423384-1 is not prime. Res64: 176541A30C6B3F6C Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:02] 699*2^1423385-1 is not prime. Res64: AE9561BA0FF388E0 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:02] 715*2^1423385-1 is not prime. Res64: D7A5A82E36463AEE Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:50] 717*2^1423385-1 is not prime. Res64: E803863BC444955F Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:51] 777*2^1423385-1 is not prime. Res64: F7474D3575582AF3 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:51] 799*2^1423385-1 is not prime. Res64: 48B9CBA1A20A6A9A Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:51] 627*2^1423386-1 is not prime. Res64: 0D69AE052CABC61A Time : 0.0 sec. user=mdettweiler [2016-03-17 15:11:52] 677*2^1423386-1 is not prime. Res64: 48DDC05A054397B6 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:27] 683*2^1423386-1 is not prime. Res64: CCCC713099476DDE Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:28] 695*2^1423386-1 is not prime. Res64: 78BB64BCA7E1D0E3 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:28] 801*2^1423386-1 is not prime. Res64: 5CEF0D9106D4BE43 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:28] 803*2^1423386-1 is not prime. Res64: 9A9584D89854A864 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:29] 807*2^1423386-1 is not prime. Res64: EA19719671A0C6DA Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:37] 833*2^1423386-1 is not prime. Res64: 4E0719299CAC2620 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:38] 1001*2^1423386-1 is not prime. Res64: 7237762DDBE43F9E Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:38] 685*2^1423387-1 is not prime. Res64: 6E8F7BE7BE49B4F3 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:38] 691*2^1423387-1 is not prime. Res64: AB055F2D5ADEABE9 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:51:39] 871*2^1423387-1 is not prime. Res64: B914166E89DAC2DD Time : 0.0 sec. user=mdettweiler [2016-03-17 15:56:03] 961*2^1423387-1 is not prime. Res64: 83DF8F3C649572F7 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:56:03] 973*2^1423387-1 is not prime. Res64: 8AFF00EDACD01954 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:56:03] 665*2^1423388-1 is not prime. Res64: 6104574CE4AAAA56 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:56:04] 683*2^1423388-1 is not prime. Res64: 9DBFE77042BFD1B0 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:56:04] 725*2^1423388-1 is not prime. Res64: B19801F46B64B0F1 Time : 0.0 sec. user=mdettweiler [2016-03-17 15:56:59] 767*2^1423388-1 is not prime. Res64: 9EB8B082EFBB2B0E Time : 0.0 sec. user=mdettweiler [2016-03-17 15:56:59] 909*2^1423388-1 is not prime. Res64: 12E5D8AF2C04816A Time : 0.0 sec. user=mdettweiler [2016-03-17 15:56:59] 915*2^1423388-1 is not prime. Res64: 35C3797DB7A05BCA Time : 0.0 sec. user=mdettweiler [2016-03-17 15:57:00] 935*2^1423388-1 is not prime. Res64: 2BA0A3B43DEB551A Time : 0.0 sec. user=mdettweiler [2016-03-17 15:57:00] 959*2^1423388-1 is not prime. Res64: B93B206825DBF11E Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:24] 621*2^1423389-1 is not prime. Res64: 6D57D17EF040D8BB Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:25] 679*2^1423389-1 is not prime. Res64: 2B22B1F3D6C4EB37 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:25] 709*2^1423389-1 is not prime. Res64: BB166A537420C482 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:26] 825*2^1423389-1 is not prime. Res64: 717FBEBB5CDA8CFB Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:26] 835*2^1423389-1 is not prime. Res64: 22695FED473E4BD6 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:40] 889*2^1423389-1 is not prime. Res64: DE6C289203D8CD52 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:40] 997*2^1423389-1 is not prime. Res64: 4B442521EFD67FF1 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:41] 635*2^1423390-1 is not prime. Res64: 38A3935174E280A2 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:42] 695*2^1423390-1 is not prime. Res64: D1899C0A19341D50 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:36:42] 867*2^1423390-1 is not prime. Res64: 39AAE959710CFD7E Time : 0.0 sec. user=mdettweiler [2016-03-17 16:39:24] 629*2^1423392-1 is not prime. Res64: 720F4A1979629CB9 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:41:06] 609*2^1423391-1 is not prime. Res64: FB4713354E53DE4A Time : 0.0 sec. user=mdettweiler [2016-03-17 16:41:06] 619*2^1423391-1 is not prime. Res64: 763677BE9348014C Time : 0.0 sec. user=mdettweiler [2016-03-17 16:41:07] 651*2^1423391-1 is not prime. Res64: 309C087CDD1E74A3 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:41:07] 705*2^1423391-1 is not prime. Res64: 956CDB2056EC7A9D Time : 0.0 sec. user=mdettweiler [2016-03-17 16:41:07] 745*2^1423391-1 is not prime. Res64: 7D2F19DBAE38A0D6 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:42:01] 753*2^1423391-1 is not prime. Res64: F5FCB0F496B01F00 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:42:01] 841*2^1423391-1 is not prime. Res64: 9438BF40835402E9 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:42:01] 871*2^1423391-1 is not prime. Res64: 05F5CC2BBB99CD4B Time : 0.0 sec. user=mdettweiler [2016-03-17 16:42:02] 939*2^1423391-1 is not prime. Res64: A77AFFEFF1297944 Time : 0.0 sec. user=mdettweiler [2016-03-17 16:42:02] 943*2^1423391-1 is not prime. Res64: 57E51DE8B36CDD6B Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:39] 683*2^1423392-1 is not prime. Res64: 7483841253932486 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:40] 713*2^1423392-1 is not prime. Res64: 8EA13D0D2358FE5B Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:40] 723*2^1423392-1 is not prime. Res64: F7C276B6DAB88F6C Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:40] 863*2^1423392-1 is not prime. Res64: AF909E7410598D0E Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:41] 929*2^1423392-1 is not prime. Res64: 71FE672A220455E4 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:49] 947*2^1423392-1 is not prime. Res64: 410E7F7A82E4435D Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:50] 639*2^1423393-1 is not prime. Res64: AC51346CF1440CD8 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:50] 675*2^1423394-1 is not prime. Res64: 82A6B66F30F63FCE Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:51] 783*2^1423394-1 is not prime. Res64: 1120286314A498AB Time : 0.0 sec. user=mdettweiler [2016-03-17 17:21:51] 887*2^1423394-1 is not prime. Res64: 202A8C00C2853EC7 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:26:18] 957*2^1423394-1 is not prime. Res64: 4A51AA1CA99DC145 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:26:19] 983*2^1423394-1 is not prime. Res64: 5EA663BF214B41A6 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:26:19] 1001*2^1423394-1 is not prime. Res64: 7257D4B44AE12032 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:26:20] 643*2^1423395-1 is not prime. Res64: 8F0D4AE8C2C4631C Time : 0.0 sec. user=mdettweiler [2016-03-17 17:26:20] 649*2^1423395-1 is not prime. Res64: 05A18E9DDF9FB2C6 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:27:02] 685*2^1423395-1 is not prime. Res64: AC4157B6753CA6D7 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:27:02] 711*2^1423395-1 is not prime. Res64: 342537F98E9976EC Time : 0.0 sec. user=mdettweiler [2016-03-17 17:27:03] 999*2^1423395-1 is not prime. Res64: 38A0B3D770B99E96 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:27:03] 609*2^1423396-1 is not prime. Res64: 7F99CB48EC2AF321 Time : 0.0 sec. user=mdettweiler [2016-03-17 17:27:03] 689*2^1423396-1 is not prime. Res64: 557911668C5E6FFA Time : 0.0 sec. user=mdettweiler [2016-03-17 17:50:23] 735*2^1423400-1 is not prime. Res64: 80F6BBA6AC6FC317 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:27] 717*2^1423396-1 is not prime. Res64: 7B3321041A983E3E Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:30] 759*2^1423396-1 is not prime. Res64: BBB5F8CB76A7C571 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:32] 773*2^1423396-1 is not prime. Res64: 61F9E7D8C65E251F Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:34] 783*2^1423396-1 is not prime. Res64: 8AF92BFA1FCE8559 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:43] 873*2^1423396-1 is not prime. Res64: 8A932355EA3D1F75 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:48] 621*2^1423397-1 is not prime. Res64: 6E00BAAEA52BA033 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:51] 669*2^1423397-1 is not prime. Res64: 066FD8C0861CE567 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:52] 759*2^1423397-1 is not prime. Res64: 9696B8FD0ADE871D Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:56] 761*2^1423398-1 is not prime. Res64: 9C8C0C354FF79745 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:06:58] 863*2^1423398-1 is not prime. Res64: 0C7AEDBC6D5ABA9D Time : 0.0 sec. user=mdettweiler [2016-03-17 18:08:01] 813*2^1423400-1 is not prime. Res64: 268E2F2687DB47B8 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:11:24] 887*2^1423398-1 is not prime. Res64: 2FF3002527B3F7CC Time : 0.0 sec. user=mdettweiler [2016-03-17 18:11:24] 891*2^1423398-1 is not prime. Res64: 2B21DFE791020089 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:11:25] 923*2^1423398-1 is not prime. Res64: 3E78EB4DBE99CCA0 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:11:25] 977*2^1423398-1 is not prime. Res64: ACA23AC6849F37F7 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:11:26] 861*2^1423399-1 is not prime. Res64: 8C38280C625E42EB Time : 0.0 sec. user=mdettweiler [2016-03-17 18:12:05] 913*2^1423399-1 is not prime. Res64: 62F418F22B831062 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:12:05] 951*2^1423399-1 is not prime. Res64: 30E871D037B1E966 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:12:06] 961*2^1423399-1 is not prime. Res64: F94070FE91CB651D Time : 0.0 sec. user=mdettweiler [2016-03-17 18:12:06] 979*2^1423399-1 is not prime. Res64: 707C4ECBBCA7ECAD Time : 0.0 sec. user=mdettweiler [2016-03-17 18:12:07] 687*2^1423400-1 is not prime. Res64: 9EB321B0A352C693 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:16] 625*2^1423401-1 is not prime. Res64: F3C6D4E2B0355089 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:17] 951*2^1423401-1 is not prime. Res64: B650CC56ECF66267 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:17] 991*2^1423401-1 is not prime. Res64: F1C2096356622A59 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:18] 611*2^1423402-1 is not prime. Res64: 755CE8AF301C30F7 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:18] 657*2^1423402-1 is not prime. Res64: 18DD161FD40A2D22 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:26] 839*2^1423400-1 is not prime. Res64: 54DCB521C86D5BB1 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:26] 855*2^1423400-1 is not prime. Res64: E50E0F09B712E0B9 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:27] 929*2^1423400-1 is not prime. Res64: 9C4A3A3FCFD86711 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:27] 935*2^1423400-1 is not prime. Res64: 962B794045DB3535 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:52:27] 999*2^1423400-1 is not prime. Res64: B7E77C822C50C95C Time : 0.0 sec. user=mdettweiler [2016-03-17 18:56:36] 677*2^1423402-1 is not prime. Res64: 0AB4DCEB9F3A442A Time : 0.0 sec. user=mdettweiler [2016-03-17 18:56:36] 777*2^1423402-1 is not prime. Res64: B1FC34211FCBED79 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:56:36] 673*2^1423403-1 is not prime. Res64: EC7B0DBE10A5521E Time : 0.0 sec. user=mdettweiler [2016-03-17 18:56:37] 915*2^1423403-1 is not prime. Res64: 4518B7E03F8A2362 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:56:37] 963*2^1423403-1 is not prime. Res64: A908B5B9523822A2 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:57:16] 973*2^1423403-1 is not prime. Res64: DDC7E2C7718CA6BF Time : 0.0 sec. user=mdettweiler [2016-03-17 18:57:17] 665*2^1423404-1 is not prime. Res64: F72AF94E960CB9A6 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:57:17] 717*2^1423404-1 is not prime. Res64: BF687E398254BA73 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:57:18] 809*2^1423404-1 is not prime. Res64: 05412E753B29EDD6 Time : 0.0 sec. user=mdettweiler [2016-03-17 18:57:18] 927*2^1423404-1 is not prime. Res64: 343DD1DCB966D8BC Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:25] 805*2^1423405-1 is not prime. Res64: B1A75184235EAE29 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:25] 947*2^1423404-1 is not prime. Res64: 4E9E1A70535FA1D5 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:25] 817*2^1423405-1 is not prime. Res64: 9A76190435ECAA80 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:25] 965*2^1423404-1 is not prime. Res64: D12E192251DE0ED0 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:26] 889*2^1423405-1 is not prime. Res64: 6AEF9CF9B778299D Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:26] 691*2^1423405-1 is not prime. Res64: B992E9642437F196 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:26] 955*2^1423405-1 is not prime. Res64: 6F06F6EF8559197D Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:26] 717*2^1423405-1 is not prime. Res64: 9D0FAECE56027E45 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:27] 957*2^1423405-1 is not prime. Res64: F421E6D56F5FAC7F Time : 0.0 sec. user=mdettweiler [2016-03-17 19:37:27] 775*2^1423405-1 is not prime. Res64: D935394B54FBE7BF Time : 0.0 sec. user=mdettweiler [2016-03-17 19:41:34] 663*2^1423406-1 is not prime. Res64: 26CBBB6BB1E7EDEE Time : 0.0 sec. user=mdettweiler [2016-03-17 19:41:34] 761*2^1423406-1 is not prime. Res64: E24E0207EF515FC2 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:41:35] 813*2^1423406-1 is not prime. Res64: FC0F1C29D02B7C7E Time : 0.0 sec. user=mdettweiler [2016-03-17 19:41:35] 831*2^1423406-1 is not prime. Res64: 6620D36B8315D8A9 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:41:36] 897*2^1423406-1 is not prime. Res64: 11891DAFE0DC0E80 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:42:26] 911*2^1423406-1 is not prime. Res64: 5B0AC9660F9C71AA Time : 0.0 sec. user=mdettweiler [2016-03-17 19:42:26] 923*2^1423406-1 is not prime. Res64: 89F0B25A74912E77 Time : 0.0 sec. user=mdettweiler [2016-03-17 19:42:27] 983*2^1423406-1 is not prime. Res64: 7D42EA0CCB2B7A1A Time : 0.0 sec. user=mdettweiler [2016-03-17 19:42:27] 831*2^1423407-1 is not prime. Res64: 40188794FF4F418A Time : 0.0 sec. user=mdettweiler [2016-03-17 19:42:27] 963*2^1423407-1 is not prime. Res64: 35380EEB597DDBA5 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:45] 843*2^1423408-1 is not prime. Res64: 77A073AE33BB9E1A Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:46] 875*2^1423408-1 is not prime. Res64: DE8D3F73F983F37C Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:46] 887*2^1423408-1 is not prime. Res64: 2A131C5F9FF65CBF Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:46] 927*2^1423408-1 is not prime. Res64: 8A7956412070D7B2 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:47] 831*2^1423409-1 is not prime. Res64: 660146D0255380BD Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:54] 623*2^1423408-1 is not prime. Res64: BCEF0D2D869C4BC6 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:54] 665*2^1423408-1 is not prime. Res64: 3CBBCE56E2DD3621 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:54] 677*2^1423408-1 is not prime. Res64: 229ECCC4794765A7 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:55] 713*2^1423408-1 is not prime. Res64: B6833771C905F503 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:22:55] 797*2^1423408-1 is not prime. Res64: 2C3C02AE8BD14ABC Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:23] 865*2^1423409-1 is not prime. Res64: 2DBB3132F30AB82B Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:23] 867*2^1423409-1 is not prime. Res64: 17B1695913FEB305 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:24] 765*2^1423410-1 is not prime. Res64: 9F53B45CC4E6B056 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:24] 893*2^1423410-1 is not prime. Res64: 60D8252C1A3517C7 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:25] 927*2^1423410-1 is not prime. Res64: 096223EEFC01786D Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:43] 977*2^1423410-1 is not prime. Res64: D9E2174824599CC9 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:44] 1001*2^1423410-1 is not prime. Res64: F74347024B045631 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:44] 603*2^1423411-1 is not prime. Res64: A35598590425C708 Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:45] 639*2^1423411-1 is not prime. Res64: 2401F9E402EC8B4B Time : 0.0 sec. user=mdettweiler [2016-03-17 20:27:45] 681*2^1423411-1 is not prime. Res64: 6650E4ED1E1BA98E Time : 0.0 sec. user=mdettweiler [2016-03-17 20:29:35] 703*2^1423411-1 is not prime. Res64: DF8E118905C46EEC Time : 0.0 sec. user=mdettweiler [2016-03-17 20:47:31] 819*2^1423415-1 is not prime. Res64: B9AF0CFA2FE424E4 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:50] 735*2^1423411-1 is not prime. Res64: 83AFF716272B002B Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:50] 969*2^1423411-1 is not prime. Res64: F7B2EED951FD864F Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:50] 999*2^1423411-1 is not prime. Res64: F352F9F7B2E49539 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:51] 837*2^1423412-1 is not prime. Res64: 9550F547DC08ED73 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:51] 843*2^1423412-1 is not prime. Res64: F2C01CEDC58612B4 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:57] 999*2^1423412-1 is not prime. Res64: 3CBEE5F76DB55A5F Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:58] 621*2^1423413-1 is not prime. Res64: DCC4013801DF7B22 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:58] 657*2^1423413-1 is not prime. Res64: FEA294B5CFEC014C Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:59] 889*2^1423413-1 is not prime. Res64: 5ACE1DC4CEE5DAAA Time : 0.0 sec. user=mdettweiler [2016-03-17 21:09:59] 665*2^1423414-1 is not prime. Res64: C764B631FC4C6AA4 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:18] 717*2^1423414-1 is not prime. Res64: 9C66574C54FE3785 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:18] 737*2^1423414-1 is not prime. Res64: 9B718773937CE00C Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:18] 915*2^1423414-1 is not prime. Res64: D176C0FC84BBD069 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:19] 917*2^1423414-1 is not prime. Res64: 35230DCBE74908BA Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:19] 945*2^1423414-1 is not prime. Res64: 2A897ECCA2FE585C Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:57] 975*2^1423414-1 is not prime. Res64: 013C32BC3AEDEF38 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:58] 633*2^1423415-1 is not prime. Res64: DFF9167292278B22 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:58] 651*2^1423415-1 is not prime. Res64: 1791BE28DCB8ABFD Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:58] 735*2^1423415-1 is not prime. Res64: CDCEDD61D906D144 Time : 0.0 sec. user=mdettweiler [2016-03-17 21:15:59] 783*2^1423415-1 is not prime. Res64: 65FD175848FD3ABE Time : 0.0 sec. user=mdettweiler [2016-03-17 21:23:11] 999*2^1423416-1 is not prime. Res64: B53AFA85C7E4FD38 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:13] 825*2^1423415-1 is not prime. Res64: EAC31F0EAD6155B4 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:14] 861*2^1423415-1 is not prime. Res64: C0778C0B89DA6932 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:15] 913*2^1423415-1 is not prime. Res64: FF46052043522537 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:16] 683*2^1423416-1 is not prime. Res64: A510D8E733781986 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:17] 695*2^1423416-1 is not prime. Res64: 71064628AB3CB45E Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:20] 705*2^1423416-1 is not prime. Res64: FD79E92723F26BAC Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:21] 725*2^1423416-1 is not prime. Res64: 1D46C67AFF455F7E Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:23] 779*2^1423416-1 is not prime. Res64: A7FBDA5043A571A6 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:24] 845*2^1423416-1 is not prime. Res64: 7E445D0CD40E3BB7 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:01:25] 873*2^1423416-1 is not prime. Res64: E7EA8DCF39D0D71B Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:05] 717*2^1423417-1 is not prime. Res64: 7F3EEFD339AE8905 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:06] 765*2^1423417-1 is not prime. Res64: 1F5BA8F6EA2A7F16 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:07] 847*2^1423417-1 is not prime. Res64: 5874A5CFAAF1E9AD Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:08] 861*2^1423417-1 is not prime. Res64: 974C021307E04737 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:09] 645*2^1423418-1 is not prime. Res64: 28A0B9D87A9B5583 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:38] 665*2^1423418-1 is not prime. Res64: C7B6279E8D5A5C05 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:39] 771*2^1423418-1 is not prime. Res64: A81CD9F79A1E05F7 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:39] 827*2^1423418-1 is not prime. Res64: D2321A24035917DA Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:40] 831*2^1423418-1 is not prime. Res64: EF4B434CEB5DA551 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:06:40] 857*2^1423418-1 is not prime. Res64: 2F8EDA5B06F428B5 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:16:08] 681*2^1423422-1 is not prime. Res64: DBE9B352768FD7F3 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:07] 609*2^1423419-1 is not prime. Res64: 82C0FFFCFD4AF5EF Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:08] 669*2^1423419-1 is not prime. Res64: B341140C6135A5AF Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:08] 723*2^1423419-1 is not prime. Res64: D231DB405E6568DD Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:08] 751*2^1423419-1 is not prime. Res64: 25CFB3C7A550276F Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:09] 793*2^1423419-1 is not prime. Res64: 75308A457D269EA3 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:12] 861*2^1423419-1 is not prime. Res64: FFCEF6B109131A11 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:13] 677*2^1423420-1 is not prime. Res64: 9B3F3676CAC71549 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:13] 743*2^1423420-1 is not prime. Res64: 7D712D4FA25DC626 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:13] 819*2^1423420-1 is not prime. Res64: 0B7268C2D95A3655 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:49:14] 843*2^1423420-1 is not prime. Res64: 3BF11F84C8C6E589 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:21] 905*2^1423420-1 is not prime. Res64: E0CFDF558C4B0506 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:22] 965*2^1423420-1 is not prime. Res64: F3A7618B0D2D5B58 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:22] 601*2^1423421-1 is not prime. Res64: C0427F77B9EC5A12 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:23] 675*2^1423421-1 is not prime. Res64: 3C79A16AE8EB96D1 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:23] 697*2^1423421-1 is not prime. Res64: 141F94923722E467 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:46] 757*2^1423421-1 is not prime. Res64: 4189E953F54C56A6 Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:46] 795*2^1423421-1 is not prime. Res64: E1B7DD128124851D Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:46] 799*2^1423421-1 is not prime. Res64: ED0F23975930E44B Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:47] 885*2^1423421-1 is not prime. Res64: BB0B3A2708105C1B Time : 0.0 sec. user=mdettweiler [2016-03-17 22:53:47] 927*2^1423421-1 is not prime. Res64: 54743571DB4D753A Time : 0.0 sec. user=mdettweiler [2016-03-17 23:26:22] 999*2^1423425-1 is not prime. Res64: 966042062B8EFE7D Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:10] 705*2^1423422-1 is not prime. Res64: D0C3F3D6EF27BE11 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:10] 747*2^1423422-1 is not prime. Res64: 37810E1275A5BE04 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:10] 843*2^1423422-1 is not prime. Res64: 456D624145BD331A Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:11] 965*2^1423422-1 is not prime. Res64: 46A44459C1A31CBA Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:11] 661*2^1423423-1 is not prime. Res64: E6F06096FFB925FA Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:11] 603*2^1423423-1 is not prime. Res64: 6ADEE04812993B84 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:11] 673*2^1423423-1 is not prime. Res64: 58B03C19C305F3F4 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:11] 741*2^1423423-1 is not prime. Res64: 09AAB2B2326E0F72 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:12] 861*2^1423423-1 is not prime. Res64: 073A9FC125DBC8FC Time : 0.0 sec. user=mdettweiler [2016-03-17 23:34:12] 889*2^1423423-1 is not prime. Res64: 6E14CC1F2E42F1C6 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:23] 973*2^1423423-1 is not prime. Res64: 11197F1A38B3FFC8 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:23] 605*2^1423424-1 is not prime. Res64: 276EC7DDEA14AC4D Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:23] 759*2^1423424-1 is not prime. Res64: 5C354763C3349C51 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:23] 705*2^1423425-1 is not prime. Res64: 718E4E696F9F86AD Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:24] 735*2^1423425-1 is not prime. Res64: 869A426CCA73EF3E Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:31] 741*2^1423425-1 is not prime. Res64: 788AE0C71909ABBD Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:31] 847*2^1423425-1 is not prime. Res64: C543D0AF6D10BE64 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:32] 891*2^1423425-1 is not prime. Res64: 43D30E75EBDC961A Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:32] 909*2^1423425-1 is not prime. Res64: 56498202CE71C869 Time : 0.0 sec. user=mdettweiler [2016-03-17 23:38:32] 949*2^1423425-1 is not prime. Res64: D0891781A1FAA573 Time : 0.0 sec.