user=mdettweiler [2020-02-20 00:09:46] 799*2^1554359-1 is not prime. Res64: 64DE59F4E902C691 Time : 0.0 sec. user=mdettweiler [2020-02-20 00:09:47] 813*2^1554359-1 is not prime. Res64: 84F23476EFD589F6 Time : 0.0 sec. user=mdettweiler [2020-02-20 00:09:48] 969*2^1554359-1 is not prime. Res64: 00EB54A7A1AB418B Time : 0.0 sec. user=mdettweiler [2020-02-20 00:09:49] 629*2^1554360-1 is not prime. Res64: 8ACAAA433FB16BBA Time : 0.0 sec. user=mdettweiler [2020-02-20 00:09:50] 767*2^1554360-1 is not prime. Res64: 4E24BB3428C07761 Time : 0.0 sec. user=mdettweiler [2020-02-20 00:26:43] 845*2^1554360-1 is not prime. Res64: 3BBD5599F8BF8C2D Time : 0.0 sec. user=mdettweiler [2020-02-20 00:26:44] 879*2^1554360-1 is not prime. Res64: 73B393AAE218C0A7 Time : 0.0 sec. user=mdettweiler [2020-02-20 00:26:44] 705*2^1554361-1 is not prime. Res64: 4D9209B97BB86EC3 Time : 0.0 sec. user=mdettweiler [2020-02-20 00:26:45] 747*2^1554361-1 is not prime. Res64: 7D87EF16AE55F8B4 Time : 0.0 sec. user=mdettweiler [2020-02-20 00:26:45] 855*2^1554361-1 is not prime. Res64: F5F01D2A259730BD Time : 0.0 sec. user=mdettweiler [2020-02-20 00:35:29] 861*2^1554361-1 is not prime. Res64: 73D2E64486B3CC9A Time : 0.0 sec. user=mdettweiler [2020-02-20 00:35:30] 871*2^1554361-1 is not prime. Res64: 3805D02686FCC1B1 Time : 0.0 sec. user=mdettweiler [2020-02-20 00:35:30] 877*2^1554361-1 is not prime. Res64: 672F9C4AC696426F Time : 0.0 sec. user=mdettweiler [2020-02-20 00:35:30] 931*2^1554361-1 is not prime. Res64: E54DB5AE9F609E3B Time : 0.0 sec. user=mdettweiler [2020-02-20 00:35:31] 937*2^1554361-1 is not prime. Res64: 0D161FDCD920F16A Time : 0.0 sec. user=mdettweiler [2020-02-20 01:04:06] 999*2^1554361-1 is not prime. Res64: 5300CB13E332F817 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:04:08] 713*2^1554362-1 is not prime. Res64: FE678B1333525ED2 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:04:09] 731*2^1554362-1 is not prime. Res64: 798068538BE7D00E Time : 0.0 sec. user=mdettweiler [2020-02-20 01:04:11] 771*2^1554362-1 is not prime. Res64: 90D1C4E9E4A32B96 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:04:12] 945*2^1554362-1 is not prime. Res64: 1639277FEB324BF9 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:19:09] 1001*2^1554362-1 is not prime. Res64: F5786E34F6581C35 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:19:09] 609*2^1554363-1 is not prime. Res64: C5652C7ACFC09B77 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:19:10] 639*2^1554363-1 is not prime. Res64: 35BE1A51B66C6530 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:19:10] 709*2^1554363-1 is not prime. Res64: 2A44983393331756 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:19:11] 739*2^1554363-1 is not prime. Res64: DC9EBFE17193DA8A Time : 0.0 sec. user=mdettweiler [2020-02-20 01:28:49] 741*2^1554363-1 is not prime. Res64: 25C912627DDCD71B Time : 0.0 sec. user=mdettweiler [2020-02-20 01:28:51] 781*2^1554363-1 is not prime. Res64: DF530E1E33E18ED2 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:28:52] 789*2^1554363-1 is not prime. Res64: 8FE382B0ECD3EB49 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:28:52] 795*2^1554363-1 is not prime. Res64: 81FF907F1D20467B Time : 0.0 sec. user=mdettweiler [2020-02-20 01:28:53] 961*2^1554363-1 is not prime. Res64: F04789148A536F9C Time : 0.0 sec. user=mdettweiler [2020-02-20 01:56:14] 699*2^1554364-1 is not prime. Res64: 9A32A1E8AEC6A816 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:56:15] 723*2^1554364-1 is not prime. Res64: B4ABD9B61D64941C Time : 0.0 sec. user=mdettweiler [2020-02-20 01:56:16] 857*2^1554364-1 is not prime. Res64: DF7BA33E2CF08870 Time : 0.0 sec. user=mdettweiler [2020-02-20 01:56:17] 869*2^1554364-1 is not prime. Res64: 83659C277A93230B Time : 0.0 sec. user=mdettweiler [2020-02-20 01:56:18] 897*2^1554364-1 is not prime. Res64: 3FF82C1213B559CD Time : 0.0 sec. user=mdettweiler [2020-02-20 02:13:26] 659*2^1554368-1 is not prime. Res64: 41EEFAC82ECB3153 Time : 0.0 sec. user=mdettweiler [2020-02-20 02:15:47] 953*2^1554364-1 is not prime. Res64: 4ECC0FD67F52221D Time : 0.0 sec. user=mdettweiler [2020-02-20 02:15:51] 975*2^1554364-1 is not prime. Res64: 851B1A5AF3E1EEC2 Time : 0.0 sec. user=mdettweiler [2020-02-20 02:15:56] 989*2^1554364-1 is not prime. Res64: 5389C4F7E57809FE Time : 0.0 sec. user=mdettweiler [2020-02-20 02:16:01] 657*2^1554365-1 is not prime. Res64: D0DB99698BF5568A Time : 0.0 sec. user=mdettweiler [2020-02-20 02:16:05] 955*2^1554365-1 is not prime. Res64: 015D778DA8C71D9C Time : 0.0 sec. user=mdettweiler [2020-02-20 02:22:20] 677*2^1554366-1 is not prime. Res64: 916D0151AABAC35E Time : 0.0 sec. user=mdettweiler [2020-02-20 02:22:26] 761*2^1554366-1 is not prime. Res64: B213E40F3C1AADA7 Time : 0.0 sec. user=mdettweiler [2020-02-20 02:22:30] 861*2^1554366-1 is not prime. Res64: B1B78D0EB953DDFA Time : 0.0 sec. user=mdettweiler [2020-02-20 02:22:34] 893*2^1554366-1 is not prime. Res64: E1DEA39B6AB680D0 Time : 0.0 sec. user=mdettweiler [2020-02-20 02:22:41] 933*2^1554366-1 is not prime. Res64: BACE33D620DF6E54 Time : 0.0 sec. user=mdettweiler [2020-02-20 02:50:28] 963*2^1554366-1 is not prime. Res64: 6E55D10C63C0D809 Time : 0.0 sec. user=mdettweiler [2020-02-20 02:50:29] 1001*2^1554366-1 is not prime. Res64: 38883BE54BA987B7 Time : 0.0 sec. user=mdettweiler [2020-02-20 02:50:29] 703*2^1554367-1 is not prime. Res64: 1AF371A113506084 Time : 0.0 sec. user=mdettweiler [2020-02-20 02:50:29] 729*2^1554367-1 is not prime. Res64: B05385C37BAE7ECB Time : 0.0 sec. user=mdettweiler [2020-02-20 02:50:30] 657*2^1554368-1 is not prime. Res64: DF2ACFBF3CB45FD8 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:11:41] 813*2^1554368-1 is not prime. Res64: 97F90DCC6FA330F7 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:11:43] 839*2^1554368-1 is not prime. Res64: E4D7C26907647013 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:11:46] 869*2^1554368-1 is not prime. Res64: BF23E2C8AA30F134 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:11:48] 945*2^1554368-1 is not prime. Res64: 9AF4193B7077B2CB Time : 0.0 sec. user=mdettweiler [2020-02-20 03:11:50] 963*2^1554368-1 is not prime. Res64: 4355E82D968A71A3 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:14:59] 675*2^1554369-1 is not prime. Res64: 674FAE80771C4FC2 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:15:02] 679*2^1554369-1 is not prime. Res64: EAF910924DD16268 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:15:05] 795*2^1554369-1 is not prime. Res64: EB4378E63FE982D6 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:15:07] 829*2^1554369-1 is not prime. Res64: 750D4432C663A007 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:15:09] 861*2^1554369-1 is not prime. Res64: 953CAF0635C9F818 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:41:48] 865*2^1554369-1 is not prime. Res64: DA30725892A42AC5 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:41:50] 635*2^1554370-1 is not prime. Res64: C0AF7398FA564B77 Time : 0.0 sec. user=mdettweiler [2020-02-20 03:41:51] 645*2^1554370-1 is not prime. Res64: 6BA9D48E01CAEEBF Time : 0.0 sec. user=mdettweiler [2020-02-20 03:41:52] 653*2^1554370-1 is not prime. Res64: 3EE8D26F54B0121D Time : 0.0 sec. user=mdettweiler [2020-02-20 03:41:52] 665*2^1554370-1 is not prime. Res64: 6C880E39B2801899 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:04:58] 735*2^1554370-1 is not prime. Res64: A929B00E0948E001 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:05:01] 741*2^1554370-1 is not prime. Res64: B7D253973ED6D552 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:05:02] 777*2^1554370-1 is not prime. Res64: 042EAA37EC39B101 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:05:04] 803*2^1554370-1 is not prime. Res64: C0B07AADAC2D7697 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:05:06] 845*2^1554370-1 is not prime. Res64: FA6F5EF5B78B610B Time : 0.0 sec. user=mdettweiler [2020-02-20 04:08:36] 861*2^1554370-1 is not prime. Res64: CD85416E94E59E8E Time : 0.0 sec. user=mdettweiler [2020-02-20 04:08:38] 867*2^1554370-1 is not prime. Res64: AEFD75D54B763EAD Time : 0.0 sec. user=mdettweiler [2020-02-20 04:08:42] 885*2^1554370-1 is not prime. Res64: C523FC952D8A1C8D Time : 0.0 sec. user=mdettweiler [2020-02-20 04:08:44] 957*2^1554370-1 is not prime. Res64: 0580A9F4E2EFF53B Time : 0.0 sec. user=mdettweiler [2020-02-20 04:08:45] 609*2^1554371-1 is not prime. Res64: 85F7182D9D802F16 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:34:58] 645*2^1554371-1 is not prime. Res64: E29E2275A89D248B Time : 0.0 sec. user=mdettweiler [2020-02-20 04:34:59] 649*2^1554371-1 is not prime. Res64: 3ECA5940898ED8DB Time : 0.0 sec. user=mdettweiler [2020-02-20 04:34:59] 745*2^1554371-1 is not prime. Res64: E08774E56F251481 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:34:59] 775*2^1554371-1 is not prime. Res64: 45509E0B010BBFDF Time : 0.0 sec. user=mdettweiler [2020-02-20 04:35:00] 913*2^1554371-1 is not prime. Res64: 962DC667BAB58774 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:58:43] 675*2^1554372-1 is not prime. Res64: 2065E84740C60F4B Time : 0.0 sec. user=mdettweiler [2020-02-20 04:58:43] 683*2^1554372-1 is not prime. Res64: A5AD8D9B0D9FC660 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:58:44] 797*2^1554372-1 is not prime. Res64: 4CDBF83B12AF91F1 Time : 0.0 sec. user=mdettweiler [2020-02-20 04:58:45] 987*2^1554372-1 is not prime. Res64: E60BB232568AC2DC Time : 0.0 sec. user=mdettweiler [2020-02-20 04:58:45] 607*2^1554373-1 is not prime. Res64: A27A1F8F0CEF1AA2 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:00:15] 609*2^1554373-1 is not prime. Res64: 25D1A9FD3DFBEED9 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:00:18] 715*2^1554373-1 is not prime. Res64: 8523C1EA1197C600 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:00:20] 727*2^1554373-1 is not prime. Res64: 699597F062680951 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:00:21] 741*2^1554373-1 is not prime. Res64: 2944768ABC3FAC49 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:00:22] 769*2^1554373-1 is not prime. Res64: AF75D40617A29591 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:27:15] 771*2^1554373-1 is not prime. Res64: 680925DB00CEF252 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:27:15] 801*2^1554373-1 is not prime. Res64: FCA8E332D8F0DAE4 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:27:16] 819*2^1554373-1 is not prime. Res64: E41FEE929035DF2D Time : 0.0 sec. user=mdettweiler [2020-02-20 05:27:17] 897*2^1554373-1 is not prime. Res64: 9B7573C207BF7512 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:27:17] 615*2^1554374-1 is not prime. Res64: 497EB7EAD1B84B73 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:51:45] 663*2^1554374-1 is not prime. Res64: D8DCF51D10333F44 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:51:46] 773*2^1554374-1 is not prime. Res64: A1785B34299F7387 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:51:46] 831*2^1554374-1 is not prime. Res64: AB5BE07C11733D0A Time : 0.0 sec. user=mdettweiler [2020-02-20 05:51:46] 981*2^1554374-1 is not prime. Res64: CB304B2A0537389E Time : 0.0 sec. user=mdettweiler [2020-02-20 05:51:47] 693*2^1554375-1 is not prime. Res64: C0FE62DE46D96535 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:54:42] 735*2^1554375-1 is not prime. Res64: 6F39CA9A4F0744C1 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:54:42] 819*2^1554375-1 is not prime. Res64: 5B48EDBC907642CF Time : 0.0 sec. user=mdettweiler [2020-02-20 05:54:43] 831*2^1554375-1 is not prime. Res64: 8529604C179C3204 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:54:43] 961*2^1554375-1 is not prime. Res64: 5E7F6AC35A09FF07 Time : 0.0 sec. user=mdettweiler [2020-02-20 05:54:43] 963*2^1554375-1 is not prime. Res64: 56B320F3744887E6 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:20:15] 985*2^1554375-1 is not prime. Res64: 8696A20395D0CCC7 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:20:16] 603*2^1554376-1 is not prime. Res64: E6921D69D1C91AA3 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:20:16] 617*2^1554376-1 is not prime. Res64: 98D6860B319B6B27 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:20:17] 765*2^1554376-1 is not prime. Res64: 05F4963E694FD28A Time : 0.0 sec. user=mdettweiler [2020-02-20 06:20:17] 773*2^1554376-1 is not prime. Res64: 5F312788F4B40A1A Time : 0.0 sec. user=mdettweiler [2020-02-20 06:44:01] 729*2^1554377-1 is not prime. Res64: 4266D7C4F0430DD3 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:44:01] 771*2^1554377-1 is not prime. Res64: 41490BD376B6DB79 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:44:01] 865*2^1554377-1 is not prime. Res64: EE9834CE7ED8361A Time : 0.0 sec. user=mdettweiler [2020-02-20 06:44:02] 867*2^1554377-1 is not prime. Res64: 4B1C8C40948BB93F Time : 0.0 sec. user=mdettweiler [2020-02-20 06:44:02] 871*2^1554377-1 is not prime. Res64: 4F3BBBA7CE0B25B1 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:46:08] 605*2^1554378-1 is not prime. Res64: A3E16B523F283701 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:46:08] 635*2^1554378-1 is not prime. Res64: 3358895ABDD6D5D4 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:46:08] 651*2^1554378-1 is not prime. Res64: 1B7D0C4D5D291339 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:46:09] 711*2^1554378-1 is not prime. Res64: E1F1B20B73168632 Time : 0.0 sec. user=mdettweiler [2020-02-20 06:46:09] 815*2^1554378-1 is not prime. Res64: D26C0964032C1161 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:13:37] 893*2^1554378-1 is not prime. Res64: 383DEBCD3BB2010F Time : 0.0 sec. user=mdettweiler [2020-02-20 07:13:38] 945*2^1554378-1 is not prime. Res64: 8BC1CCCE187658CE Time : 0.0 sec. user=mdettweiler [2020-02-20 07:13:38] 735*2^1554379-1 is not prime. Res64: B3CDEADEFB1EEB71 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:13:39] 759*2^1554379-1 is not prime. Res64: E9C55D4778EA0DE4 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:13:39] 789*2^1554379-1 is not prime. Res64: FFDB02C910894B48 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:36:00] 615*2^1554380-1 is not prime. Res64: A7819A96A6713AD4 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:36:01] 725*2^1554380-1 is not prime. Res64: DA76AC1AE1AC5A43 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:36:01] 857*2^1554380-1 is not prime. Res64: 9EA75D1D691BB3B1 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:36:01] 897*2^1554380-1 is not prime. Res64: 012C0A99370958C2 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:36:02] 899*2^1554380-1 is not prime. Res64: 84EEA1E2DD82C9C5 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:40:28] 983*2^1554380-1 is not prime. Res64: E41F498C3286EF52 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:40:28] 987*2^1554380-1 is not prime. Res64: 38460A6C550DD6E8 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:40:28] 717*2^1554381-1 is not prime. Res64: F2ACB2A147E7D088 Time : 0.0 sec. user=mdettweiler [2020-02-20 07:40:29] 819*2^1554381-1 is not prime. Res64: F71317765F6BCAAC Time : 0.0 sec. user=mdettweiler [2020-02-20 07:40:29] 885*2^1554381-1 is not prime. Res64: E882EB7F8C5DC2FB Time : 0.0 sec. user=mdettweiler [2020-02-20 08:06:38] 901*2^1554381-1 is not prime. Res64: 645F96AC9F08F63A Time : 0.0 sec. user=mdettweiler [2020-02-20 08:06:40] 961*2^1554381-1 is not prime. Res64: 4E96416583EE07C7 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:06:41] 665*2^1554382-1 is not prime. Res64: 71370AE28E337218 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:06:42] 681*2^1554382-1 is not prime. Res64: 867AAC2BFE514EE3 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:06:42] 843*2^1554382-1 is not prime. Res64: 6F809A8EDBE96313 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:27:36] 663*2^1554383-1 is not prime. Res64: C2A7ED8F503F6147 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:27:36] 673*2^1554383-1 is not prime. Res64: 52D21BF7524B4CBA Time : 0.0 sec. user=mdettweiler [2020-02-20 08:27:37] 739*2^1554383-1 is not prime. Res64: F0D75E450D259314 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:27:37] 775*2^1554383-1 is not prime. Res64: 2033C0D3C1B78B68 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:27:37] 895*2^1554383-1 is not prime. Res64: E73CC7E8415E8A2E Time : 0.0 sec. user=mdettweiler [2020-02-20 08:35:39] 973*2^1554383-1 is not prime. Res64: 4FEAF95A3A7DFAEE Time : 0.0 sec. user=mdettweiler [2020-02-20 08:35:40] 981*2^1554383-1 is not prime. Res64: 95C0E858A1925D8C Time : 0.0 sec. user=mdettweiler [2020-02-20 08:35:40] 993*2^1554383-1 is not prime. Res64: C724716E2A7A77D5 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:35:40] 689*2^1554384-1 is not prime. Res64: ADBBAB9D28667E87 Time : 0.0 sec. user=mdettweiler [2020-02-20 08:35:41] 717*2^1554384-1 is not prime. Res64: 32E579CECC62224D Time : 0.0 sec. user=mdettweiler [2020-02-20 09:00:48] 719*2^1554384-1 is not prime. Res64: 36C32654C96A2541 Time : 0.0 sec. user=mdettweiler [2020-02-20 09:20:46] 929*2^1554384-1 is not prime. Res64: E25775A110507F5F Time : 0.0 sec. user=mdettweiler [2020-02-20 09:20:46] 685*2^1554385-1 is not prime. Res64: 44C1D0FBA0F2762F Time : 0.0 sec. user=mdettweiler [2020-02-20 09:20:47] 741*2^1554385-1 is not prime. Res64: 72D88BDBEF7A3AC5 Time : 0.0 sec. user=mdettweiler [2020-02-20 09:20:47] 817*2^1554385-1 is not prime. Res64: 5C6CB6EA377C805F Time : 0.0 sec. user=mdettweiler [2020-02-20 09:20:47] 855*2^1554385-1 is not prime. Res64: 2D55F729BF81355F Time : 0.0 sec. user=mdettweiler [2020-02-20 09:29:49] 877*2^1554385-1 is not prime. Res64: 8DCE0C5447D34E39 Time : 0.0 sec. user=mdettweiler [2020-02-20 09:29:50] 985*2^1554385-1 is not prime. Res64: E1278A3E940823C5 Time : 0.0 sec. user=mdettweiler [2020-02-20 09:29:50] 999*2^1554385-1 is not prime. Res64: A69EA060B92C0682 Time : 0.0 sec. user=mdettweiler [2020-02-20 09:29:50] 713*2^1554386-1 is not prime. Res64: B4423AA8D24B7627 Time : 0.0 sec. user=mdettweiler [2020-02-20 09:29:51] 743*2^1554386-1 is not prime. Res64: 60146A1C187F389F Time : 0.0 sec. user=mdettweiler [2020-02-20 10:13:31] 783*2^1554386-1 is not prime. Res64: BCAE6F59E890E23E Time : 0.0 sec. user=mdettweiler [2020-02-20 10:13:32] 785*2^1554386-1 is not prime. Res64: 6DFE4D62E4ADF9B9 Time : 0.0 sec. user=mdettweiler [2020-02-20 10:13:32] 815*2^1554386-1 is not prime. Res64: AC1594D6761FF7EF Time : 0.0 sec. user=mdettweiler [2020-02-20 10:13:33] 851*2^1554386-1 is not prime. Res64: AA29A5A6E9F18FB8 Time : 0.0 sec. user=mdettweiler [2020-02-20 10:13:33] 857*2^1554386-1 is not prime. Res64: 3A8F430C3F3203BC Time : 0.0 sec. user=mdettweiler [2020-02-20 10:22:59] 873*2^1554386-1 is not prime. Res64: 62276B5DD3471677 Time : 0.0 sec. user=mdettweiler [2020-02-20 10:23:00] 893*2^1554386-1 is not prime. Res64: D0C87B6AB65EF65D Time : 0.0 sec. user=mdettweiler [2020-02-20 10:23:00] 911*2^1554386-1 is not prime. Res64: 8DA68CB62A5B5757 Time : 0.0 sec. user=mdettweiler [2020-02-20 10:23:00] 649*2^1554387-1 is not prime. Res64: DBC90667DC595DE2 Time : 0.0 sec. user=mdettweiler [2020-02-20 10:23:01] 705*2^1554387-1 is not prime. Res64: D20B663233E29097 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:05:28] 751*2^1554387-1 is not prime. Res64: 7DE83CFB7FA0BF35 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:05:29] 871*2^1554387-1 is not prime. Res64: 39E818BCA7BB8ABC Time : 0.0 sec. user=mdettweiler [2020-02-20 11:05:31] 895*2^1554387-1 is not prime. Res64: B11BA8F58D104812 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:05:32] 647*2^1554388-1 is not prime. Res64: 89CDFEC589D09933 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:05:33] 749*2^1554388-1 is not prime. Res64: 2485FDF31FE4CBDF Time : 0.0 sec. user=mdettweiler [2020-02-20 11:16:12] 797*2^1554388-1 is not prime. Res64: DCBF4D373EA40FA1 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:16:12] 813*2^1554388-1 is not prime. Res64: 050794346DD02D8D Time : 0.0 sec. user=mdettweiler [2020-02-20 11:16:13] 989*2^1554388-1 is not prime. Res64: CF4EB998B337F8E6 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:16:13] 631*2^1554389-1 is not prime. Res64: ADCB7CB1158FC263 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:16:13] 729*2^1554389-1 is not prime. Res64: D740166EB8391BF6 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:58:03] 769*2^1554389-1 is not prime. Res64: F105EAFDD23809BE Time : 0.0 sec. user=mdettweiler [2020-02-20 11:58:04] 795*2^1554389-1 is not prime. Res64: 7D4751D73CAD3508 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:58:05] 747*2^1554390-1 is not prime. Res64: A0B82382FF87A629 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:58:05] 783*2^1554390-1 is not prime. Res64: 4292A77CB729F175 Time : 0.0 sec. user=mdettweiler [2020-02-20 11:58:05] 825*2^1554390-1 is not prime. Res64: A3B4F0E025266184 Time : 0.0 sec. user=mdettweiler [2020-02-20 12:10:21] 977*2^1554390-1 is not prime. Res64: AB133AC08B7CCE51 Time : 0.0 sec. user=mdettweiler [2020-02-20 12:10:23] 1001*2^1554390-1 is not prime. Res64: 993085C82681960A Time : 0.0 sec. user=mdettweiler [2020-02-20 12:10:26] 661*2^1554391-1 is not prime. Res64: 78291635A8BFAD11 Time : 0.0 sec. user=mdettweiler [2020-02-20 12:10:27] 679*2^1554391-1 is not prime. Res64: 4ADB62170B6852B6 Time : 0.0 sec. user=mdettweiler [2020-02-20 12:10:29] 715*2^1554391-1 is not prime. Res64: 5651A3F634081C97 Time : 0.0 sec. user=mdettweiler [2020-02-20 12:50:15] 841*2^1554391-1 is not prime. Res64: C90837B204C723E6 Time : 0.0 sec. user=mdettweiler [2020-02-20 12:50:16] 605*2^1554392-1 is not prime. Res64: 295FC61C835A3D83 Time : 0.0 sec. user=mdettweiler [2020-02-20 12:50:16] 719*2^1554392-1 is not prime. Res64: 5DB903EFBF0FC9B4 Time : 0.0 sec. user=mdettweiler [2020-02-20 12:50:16] 797*2^1554392-1 is not prime. Res64: 94A2D3423D238A8F Time : 0.0 sec. user=mdettweiler [2020-02-20 12:50:17] 825*2^1554392-1 is not prime. Res64: 40EB841E702B5860 Time : 0.0 sec. user=mdettweiler [2020-02-20 13:04:47] 959*2^1554392-1 is not prime. Res64: 2336D3213CB78A8D Time : 0.0 sec. user=mdettweiler [2020-02-20 13:04:48] 977*2^1554392-1 is not prime. Res64: 750D1D29641AA108 Time : 0.0 sec. user=mdettweiler [2020-02-20 13:04:50] 627*2^1554393-1 is not prime. Res64: F097B772915BF2CB Time : 0.0 sec. user=mdettweiler [2020-02-20 13:04:51] 679*2^1554393-1 is not prime. Res64: E73C60A091781AA3 Time : 0.0 sec. user=mdettweiler [2020-02-20 13:04:52] 745*2^1554393-1 is not prime. Res64: 1CC39ED029F53B57 Time : 0.0 sec. user=mdettweiler [2020-02-20 13:42:35] 765*2^1554393-1 is not prime. Res64: 61C6A0592C551EEB Time : 0.0 sec. user=mdettweiler [2020-02-20 13:42:35] 889*2^1554393-1 is not prime. Res64: FC03C32F4CEA4FC3 Time : 0.0 sec. user=mdettweiler [2020-02-20 13:42:36] 901*2^1554393-1 is not prime. Res64: 008C1BB01682A76A Time : 0.0 sec. user=mdettweiler [2020-02-20 13:42:36] 605*2^1554394-1 is not prime. Res64: 65FBC66B41ED9880 Time : 0.0 sec. user=mdettweiler [2020-02-20 13:42:37] 617*2^1554394-1 is not prime. Res64: 1B74DA1C7A5B4854 Time : 0.0 sec. user=mdettweiler [2020-02-20 13:59:20] 621*2^1554394-1 is not prime. Res64: D14CA69182701A2C Time : 0.0 sec. user=mdettweiler [2020-02-20 13:59:21] 657*2^1554394-1 is not prime. Res64: D49DAE1AAF7932DA Time : 0.0 sec. user=mdettweiler [2020-02-20 13:59:21] 765*2^1554394-1 is not prime. Res64: 3306542123FDDE79 Time : 0.0 sec. user=mdettweiler [2020-02-20 13:59:21] 983*2^1554394-1 is not prime. Res64: D254C1173DBA43ED Time : 0.0 sec. user=mdettweiler [2020-02-20 13:59:22] 1001*2^1554394-1 is not prime. Res64: 58B05E43D12D5A16 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:03:51] 737*2^1554384-1 is not prime. Res64: 1EA706C011B05564 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:03:52] 863*2^1554384-1 is not prime. Res64: C439422D73CDF194 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:03:54] 905*2^1554384-1 is not prime. Res64: 06F0A1B5336A55A0 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:03:54] 915*2^1554384-1 is not prime. Res64: BCB45B76B79D84C6 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:34:04] 603*2^1554395-1 is not prime. Res64: 3C3646546E9C1D14 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:34:05] 663*2^1554395-1 is not prime. Res64: CB908BBB7A34F680 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:34:05] 679*2^1554395-1 is not prime. Res64: 71DAC7E2AABC14B8 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:34:06] 685*2^1554395-1 is not prime. Res64: 77FE68970D88B5E3 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:34:06] 805*2^1554395-1 is not prime. Res64: 3648258B559964DB Time : 0.0 sec. user=mdettweiler [2020-02-20 14:54:36] 943*2^1554395-1 is not prime. Res64: 58DA5E855326B780 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:54:36] 963*2^1554395-1 is not prime. Res64: 493A972F7FC4FB7C Time : 0.0 sec. user=mdettweiler [2020-02-20 14:54:37] 979*2^1554395-1 is not prime. Res64: 6E0D0F068E9C9750 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:54:37] 639*2^1554396-1 is not prime. Res64: 0BCC5985FCBAE54B Time : 0.0 sec. user=mdettweiler [2020-02-20 14:54:37] 653*2^1554396-1 is not prime. Res64: 043DBD9F0BB9DC29 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:55:33] 693*2^1554396-1 is not prime. Res64: A10328ABE33A777D Time : 0.0 sec. user=mdettweiler [2020-02-20 14:55:35] 699*2^1554396-1 is not prime. Res64: D2674C426536DF0F Time : 0.0 sec. user=mdettweiler [2020-02-20 14:55:35] 749*2^1554396-1 is not prime. Res64: A0C68038903BA811 Time : 0.0 sec. user=mdettweiler [2020-02-20 14:55:36] 765*2^1554396-1 is not prime. Res64: 80BDDBD579DAAFBE Time : 0.0 sec. user=mdettweiler [2020-02-20 14:55:36] 779*2^1554396-1 is not prime. Res64: E5EFE1793FCD161C Time : 0.0 sec. user=mdettweiler [2020-02-20 15:27:04] 837*2^1554396-1 is not prime. Res64: AACCCC5BBE3B34F3 Time : 0.0 sec. user=mdettweiler [2020-02-20 15:27:05] 873*2^1554396-1 is not prime. Res64: 9066F8EFFC5AA0CD Time : 0.0 sec. user=mdettweiler [2020-02-20 15:27:05] 903*2^1554396-1 is not prime. Res64: 1C33223FF251E0AD Time : 0.0 sec. user=mdettweiler [2020-02-20 15:27:05] 607*2^1554397-1 is not prime. Res64: 8C9DAFEF05AD6241 Time : 0.0 sec. user=mdettweiler [2020-02-20 15:27:06] 615*2^1554397-1 is not prime. Res64: E294E47F179C1220 Time : 0.0 sec. user=mdettweiler [2020-02-20 15:46:48] 747*2^1554397-1 is not prime. Res64: 07911993F35200D5 Time : 0.0 sec. user=mdettweiler [2020-02-20 15:46:48] 771*2^1554397-1 is not prime. Res64: CAE767C811D0F75F Time : 0.0 sec. user=mdettweiler [2020-02-20 15:46:48] 799*2^1554397-1 is not prime. Res64: 244739ADA2EE318D Time : 0.0 sec. user=mdettweiler [2020-02-20 15:46:49] 825*2^1554397-1 is not prime. Res64: 6F7DF2C23C9134A8 Time : 0.0 sec. user=mdettweiler [2020-02-20 15:46:49] 829*2^1554397-1 is not prime. Res64: C23F5EFDD66B581A Time : 0.0 sec. user=mdettweiler [2020-02-20 15:51:31] 835*2^1554397-1 is not prime. Res64: E42F2EFDACD53DCF Time : 0.0 sec. user=mdettweiler [2020-02-20 15:51:32] 859*2^1554397-1 is not prime. Res64: 098F179DE0C3C8FC Time : 0.0 sec. user=mdettweiler [2020-02-20 15:51:32] 915*2^1554397-1 is not prime. Res64: 9D89C84406F505C5 Time : 0.0 sec. user=mdettweiler [2020-02-20 15:51:32] 961*2^1554397-1 is not prime. Res64: FA39ADB0FD2B64A1 Time : 0.0 sec. user=mdettweiler [2020-02-20 15:51:33] 979*2^1554397-1 is not prime. Res64: C6B882F0CE6BBA3A Time : 0.0 sec. user=mdettweiler [2020-02-20 16:21:06] 665*2^1554398-1 is not prime. Res64: 25ED8F61839DF59B Time : 0.0 sec. user=mdettweiler [2020-02-20 16:21:07] 801*2^1554398-1 is not prime. Res64: 237D9A514F8D4B16 Time : 0.0 sec. user=mdettweiler [2020-02-20 16:21:07] 813*2^1554398-1 is not prime. Res64: FD6119D62083F886 Time : 0.0 sec. user=mdettweiler [2020-02-20 16:21:08] 893*2^1554398-1 is not prime. Res64: C9CDE9BD8581E8D4 Time : 0.0 sec. user=mdettweiler [2020-02-20 16:21:08] 927*2^1554398-1 is not prime. Res64: 66A04B900A6598CA Time : 0.0 sec. user=mdettweiler [2020-02-20 16:41:16] 953*2^1554398-1 is not prime. Res64: C188367E2EDF5D2F Time : 0.0 sec. user=mdettweiler [2020-02-20 16:41:16] 963*2^1554398-1 is not prime. Res64: 2D66FBB34F017DD5 Time : 0.0 sec. user=mdettweiler [2020-02-20 16:41:16] 679*2^1554399-1 is not prime. Res64: 367A230E2A2455BE Time : 0.0 sec. user=mdettweiler [2020-02-20 16:41:17] 685*2^1554399-1 is not prime. Res64: 6D19201EB8D2977A Time : 0.0 sec. user=mdettweiler [2020-02-20 16:41:17] 723*2^1554399-1 is not prime. Res64: A210B55C40D32AD3 Time : 0.0 sec. user=mdettweiler [2020-02-20 16:45:45] 741*2^1554399-1 is not prime. Res64: 2FEA8BB116E874C6 Time : 0.0 sec. user=mdettweiler [2020-02-20 16:45:46] 909*2^1554399-1 is not prime. Res64: 821182EA001FBC56 Time : 0.0 sec. user=mdettweiler [2020-02-20 16:45:46] 979*2^1554399-1 is not prime. Res64: 940E69F32E25471A Time : 0.0 sec. user=mdettweiler [2020-02-20 16:45:46] 675*2^1554400-1 is not prime. Res64: 2EBBEDFE87A58800 Time : 0.0 sec. user=mdettweiler [2020-02-20 16:45:47] 723*2^1554400-1 is not prime. Res64: 71AD25A20432D0AB Time : 0.0 sec. user=mdettweiler [2020-02-20 17:14:48] 825*2^1554400-1 is not prime. Res64: 0CA48E676C7D1788 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:14:48] 855*2^1554400-1 is not prime. Res64: D293D08F8B6D5731 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:14:49] 887*2^1554400-1 is not prime. Res64: C6C0F462E4D62F64 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:14:49] 899*2^1554400-1 is not prime. Res64: C57D5BF3EF1F78E8 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:14:50] 905*2^1554400-1 is not prime. Res64: 35DE656DBE20652C Time : 0.0 sec. user=mdettweiler [2020-02-20 17:36:23] 915*2^1554400-1 is not prime. Res64: BD70C2F3808DC021 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:36:24] 929*2^1554400-1 is not prime. Res64: 0864BAC5DAA46F2A Time : 0.0 sec. user=mdettweiler [2020-02-20 17:36:24] 983*2^1554400-1 is not prime. Res64: AF0B28B8E172F2A9 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:36:24] 607*2^1554401-1 is not prime. Res64: 3A1EFBAED594E92A Time : 0.0 sec. user=mdettweiler [2020-02-20 17:36:25] 697*2^1554401-1 is not prime. Res64: F8BCE2F3295EC06D Time : 0.0 sec. user=mdettweiler [2020-02-20 17:37:43] 855*2^1554401-1 is not prime. Res64: 4644EC2EA90F8365 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:37:43] 861*2^1554401-1 is not prime. Res64: 339849E0CF26DFFB Time : 0.0 sec. user=mdettweiler [2020-02-20 17:37:43] 871*2^1554401-1 is not prime. Res64: 7D77258B750E1341 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:37:44] 635*2^1554402-1 is not prime. Res64: 10B44F041DEA7858 Time : 0.0 sec. user=mdettweiler [2020-02-20 17:37:44] 755*2^1554402-1 is not prime. Res64: 6256EA258E0CE2FC Time : 0.0 sec. user=mdettweiler [2020-02-20 18:08:26] 765*2^1554402-1 is not prime. Res64: B24F660992BAC1C2 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:08:28] 791*2^1554402-1 is not prime. Res64: B493D85FCD5B18BC Time : 0.0 sec. user=mdettweiler [2020-02-20 18:08:29] 837*2^1554402-1 is not prime. Res64: 8090D3C661968FAE Time : 0.0 sec. user=mdettweiler [2020-02-20 18:08:31] 893*2^1554402-1 is not prime. Res64: 6534919E3009BDB8 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:08:33] 921*2^1554402-1 is not prime. Res64: BC30B683A81E4727 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:18] 659*2^1554404-1 is not prime. Res64: 960896EC765FFA00 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:19] 683*2^1554404-1 is not prime. Res64: B53A57161DB88124 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:20] 725*2^1554404-1 is not prime. Res64: 778CD05C58A07B92 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:20] 825*2^1554404-1 is not prime. Res64: 73936ED6CC4867D9 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:21] 897*2^1554404-1 is not prime. Res64: F24A9B8477313F90 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:40] 771*2^1554403-1 is not prime. Res64: 08CE727018911D47 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:41] 789*2^1554403-1 is not prime. Res64: 1024D5F343556120 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:41] 871*2^1554403-1 is not prime. Res64: 53ECDFC2F4F20302 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:42] 973*2^1554403-1 is not prime. Res64: 69B1692E3E5F4F87 Time : 0.0 sec. user=mdettweiler [2020-02-20 18:29:42] 609*2^1554404-1 is not prime. Res64: DFEDC2DF23230076 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:04:15] 903*2^1554404-1 is not prime. Res64: ABE1553FAB7B622F Time : 0.0 sec. user=mdettweiler [2020-02-20 19:04:17] 923*2^1554404-1 is not prime. Res64: 59A1A5E73A02D233 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:04:17] 969*2^1554404-1 is not prime. Res64: 9A128DEE2CC2F146 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:04:18] 609*2^1554405-1 is not prime. Res64: 43AECA86B99520EE Time : 0.0 sec. user=mdettweiler [2020-02-20 19:04:19] 777*2^1554405-1 is not prime. Res64: 8A602E35BBDAEFB3 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:02] 747*2^1554406-1 is not prime. Res64: 96FEF9C8574DB049 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:02] 761*2^1554406-1 is not prime. Res64: 7193A7B1C419A215 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:02] 813*2^1554406-1 is not prime. Res64: 698A867D095D298E Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:03] 843*2^1554406-1 is not prime. Res64: C9AADA5962AD77F2 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:03] 873*2^1554406-1 is not prime. Res64: 68B7B5648301F561 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:44] 847*2^1554405-1 is not prime. Res64: 6A1974465AEE4019 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:45] 861*2^1554405-1 is not prime. Res64: 7365B25CED3A37C1 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:45] 877*2^1554405-1 is not prime. Res64: EA79BD8E79E48746 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:45] 999*2^1554405-1 is not prime. Res64: D0856D34998AA194 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:22:46] 723*2^1554406-1 is not prime. Res64: BD51E0CBDDD4C8C5 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:57:39] 917*2^1554406-1 is not prime. Res64: 0522323DECA6B5DB Time : 0.0 sec. user=mdettweiler [2020-02-20 19:57:39] 619*2^1554407-1 is not prime. Res64: 9952C2C5331E60F9 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:57:40] 661*2^1554407-1 is not prime. Res64: ADE5FA4DECA0A398 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:57:40] 883*2^1554407-1 is not prime. Res64: 712C51BC30F4D8C2 Time : 0.0 sec. user=mdettweiler [2020-02-20 19:57:41] 901*2^1554407-1 is not prime. Res64: 96CEE6A479285EC4 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:13:19] 633*2^1554408-1 is not prime. Res64: FBE8721B76DEC93B Time : 0.0 sec. user=mdettweiler [2020-02-20 20:13:19] 657*2^1554408-1 is not prime. Res64: 924E09AEDE880E64 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:13:19] 683*2^1554408-1 is not prime. Res64: 8D8C1741D942AE21 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:13:20] 695*2^1554408-1 is not prime. Res64: CCBABBF321C81B02 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:13:20] 713*2^1554408-1 is not prime. Res64: 6320F33C55932121 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:15:11] 747*2^1554408-1 is not prime. Res64: 67582881E16EDDF2 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:15:12] 767*2^1554408-1 is not prime. Res64: 10543FCC74A87C85 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:15:12] 789*2^1554408-1 is not prime. Res64: A78FBB0D8DE23C9B Time : 0.0 sec. user=mdettweiler [2020-02-20 20:15:12] 803*2^1554408-1 is not prime. Res64: 5AB7E9CB64C0EFF2 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:15:13] 845*2^1554408-1 is not prime. Res64: 8DE5C008B581FE8E Time : 0.0 sec. user=mdettweiler [2020-02-20 20:50:03] 887*2^1554408-1 is not prime. Res64: 466ED426CDFE41E7 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:50:03] 741*2^1554409-1 is not prime. Res64: E13CF637D02F6B1E Time : 0.0 sec. user=mdettweiler [2020-02-20 20:50:04] 765*2^1554409-1 is not prime. Res64: 159C9790AEB2BB08 Time : 0.0 sec. user=mdettweiler [2020-02-20 20:50:04] 867*2^1554409-1 is not prime. Res64: EC87DB85323F92EC Time : 0.0 sec. user=mdettweiler [2020-02-20 20:50:05] 877*2^1554409-1 is not prime. Res64: 6E8F6ED84F5CFE2A Time : 0.0 sec. user=mdettweiler [2020-02-20 21:05:17] 605*2^1554410-1 is not prime. Res64: 6DAFFF0EAA19BDDF Time : 0.0 sec. user=mdettweiler [2020-02-20 21:05:19] 717*2^1554410-1 is not prime. Res64: 102697BA172E3271 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:05:21] 767*2^1554410-1 is not prime. Res64: CD9B8AB2E35FE67F Time : 0.0 sec. user=mdettweiler [2020-02-20 21:05:24] 831*2^1554410-1 is not prime. Res64: 5B1765C2E8182B8B Time : 0.0 sec. user=mdettweiler [2020-02-20 21:05:25] 851*2^1554410-1 is not prime. Res64: 80610A0F1D1B7BE8 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:08:20] 935*2^1554410-1 is not prime. Res64: 5671BD22D16EDB6E Time : 0.0 sec. user=mdettweiler [2020-02-20 21:08:22] 703*2^1554411-1 is not prime. Res64: 133A4DE1EFC70263 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:08:23] 751*2^1554411-1 is not prime. Res64: EED2E6D3A9AD00D0 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:08:25] 825*2^1554411-1 is not prime. Res64: 0E5839E68C169DA0 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:08:26] 835*2^1554411-1 is not prime. Res64: C9330FE625F2B549 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:44:04] 991*2^1554411-1 is not prime. Res64: 6C7FF35B85D9F00B Time : 0.0 sec. user=mdettweiler [2020-02-20 21:44:04] 665*2^1554412-1 is not prime. Res64: 328A3FDDB4A51E77 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:44:04] 693*2^1554412-1 is not prime. Res64: 2B5F62362ABAE83A Time : 0.0 sec. user=mdettweiler [2020-02-20 21:44:05] 827*2^1554412-1 is not prime. Res64: 36AEA5E70B7F1C33 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:44:05] 909*2^1554412-1 is not prime. Res64: D0EDB82952274869 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:56:49] 699*2^1554413-1 is not prime. Res64: 8AF8E8E11FC167CC Time : 0.0 sec. user=mdettweiler [2020-02-20 21:56:49] 715*2^1554413-1 is not prime. Res64: BEAC4B9E47E0E270 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:56:50] 729*2^1554413-1 is not prime. Res64: 47EAA346065414F4 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:56:50] 741*2^1554413-1 is not prime. Res64: CCF39F8D81B4EC51 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:56:50] 847*2^1554413-1 is not prime. Res64: 3A7E1B09A5A63009 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:59:56] 621*2^1554414-1 is not prime. Res64: 5565FB7478CE1303 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:59:57] 663*2^1554414-1 is not prime. Res64: E162395B6E886978 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:59:57] 681*2^1554414-1 is not prime. Res64: ABFECA10E384F9C7 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:59:57] 707*2^1554414-1 is not prime. Res64: 12312678F73BEED9 Time : 0.0 sec. user=mdettweiler [2020-02-20 21:59:58] 765*2^1554414-1 is not prime. Res64: 4CE1F6E5627D8DB4 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:36:35] 773*2^1554414-1 is not prime. Res64: 0C3554ABEBBA1A70 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:36:36] 807*2^1554414-1 is not prime. Res64: 0ACF982F991319F2 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:36:36] 833*2^1554414-1 is not prime. Res64: 8AC46C9D80B8D038 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:36:36] 861*2^1554414-1 is not prime. Res64: 8CC0283CF21F7777 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:36:37] 893*2^1554414-1 is not prime. Res64: 5B055BE6AAAFCE11 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:50:30] 945*2^1554414-1 is not prime. Res64: 41F6E2F0D146CE99 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:50:30] 947*2^1554414-1 is not prime. Res64: 4E58D4F2C10451FD Time : 0.0 sec. user=mdettweiler [2020-02-20 22:50:31] 633*2^1554415-1 is not prime. Res64: 41D8FA46445265F4 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:50:31] 715*2^1554415-1 is not prime. Res64: 9C555314589C8470 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:50:31] 735*2^1554415-1 is not prime. Res64: F1B247916544323D Time : 0.0 sec. user=mdettweiler [2020-02-20 22:51:53] 759*2^1554415-1 is not prime. Res64: A78867D32A5DF140 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:51:53] 853*2^1554415-1 is not prime. Res64: A7BB11E986E4BA5F Time : 0.0 sec. user=mdettweiler [2020-02-20 22:51:53] 855*2^1554415-1 is not prime. Res64: 1693851619E11F70 Time : 0.0 sec. user=mdettweiler [2020-02-20 22:51:54] 617*2^1554416-1 is not prime. Res64: 0BEE37EECBD8A3FD Time : 0.0 sec. user=mdettweiler [2020-02-20 22:51:54] 633*2^1554416-1 is not prime. Res64: EE047BF564545577 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:28:27] 675*2^1554416-1 is not prime. Res64: AF5F84BDC7304ABD Time : 0.0 sec. user=mdettweiler [2020-02-20 23:28:27] 677*2^1554416-1 is not prime. Res64: E80A00DA0776BCDA Time : 0.0 sec. user=mdettweiler [2020-02-20 23:28:28] 803*2^1554416-1 is not prime. Res64: AE297DAD9D4B5FD0 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:28:29] 855*2^1554416-1 is not prime. Res64: 1D1299F9AC7253EF Time : 0.0 sec. user=mdettweiler [2020-02-20 23:28:29] 873*2^1554416-1 is not prime. Res64: 3EA8874DD275E2F1 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:42:08] 609*2^1554417-1 is not prime. Res64: 07CE8788FC5D4F80 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:42:09] 669*2^1554417-1 is not prime. Res64: 51655AB568BC235E Time : 0.0 sec. user=mdettweiler [2020-02-20 23:42:09] 865*2^1554417-1 is not prime. Res64: 6A76930DBBFCF4C0 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:42:10] 885*2^1554417-1 is not prime. Res64: 8A2F1ADD7C52F187 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:42:10] 623*2^1554418-1 is not prime. Res64: 05B8D933C7D8C0C3 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:43:30] 713*2^1554418-1 is not prime. Res64: DCCA78B6B13CE9DB Time : 0.0 sec. user=mdettweiler [2020-02-20 23:43:31] 831*2^1554418-1 is not prime. Res64: 622CEA75CBEA4DB1 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:43:31] 855*2^1554418-1 is not prime. Res64: C5738A5E6F345609 Time : 0.0 sec. user=mdettweiler [2020-02-20 23:43:32] 645*2^1554419-1 is not prime. Res64: 178DE4F4A69C932E Time : 0.0 sec. user=mdettweiler [2020-02-20 23:43:32] 655*2^1554419-1 is not prime. Res64: CAF1D3777E3FD7C0 Time : 0.0 sec.