user=mdettweiler [2016-01-01 00:05:19] 945*2^1418450-1 is not prime. Res64: 988F93885378A441 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:05:19] 927*2^1418450-1 is not prime. Res64: D0FA8A552794B731 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:05:20] 995*2^1418450-1 is not prime. Res64: 3C120F0AC8FC23C5 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:05:20] 935*2^1418450-1 is not prime. Res64: 38D41F529E3C1CE7 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:23:14] 705*2^1418451-1 is not prime. Res64: 92B9CA64C5DD6B58 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:23:15] 735*2^1418451-1 is not prime. Res64: 98C606B3C315B084 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:23:16] 835*2^1418451-1 is not prime. Res64: 78EF6808A0C4FFC4 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:23:16] 871*2^1418451-1 is not prime. Res64: 9787F583FCFD0442 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:40:50] 635*2^1418452-1 is not prime. Res64: BDC953DE9345861C Time : 0.0 sec. user=mdettweiler [2016-01-01 00:40:50] 749*2^1418452-1 is not prime. Res64: E22B741D4DD1D3BC Time : 0.0 sec. user=mdettweiler [2016-01-01 00:40:50] 717*2^1418452-1 is not prime. Res64: 162B2A9D61EA5032 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:40:50] 777*2^1418452-1 is not prime. Res64: F202FCDCD9D2363D Time : 0.0 sec. user=mdettweiler [2016-01-01 00:58:23] 869*2^1418452-1 is not prime. Res64: 2DEF39AE16BFC1CE Time : 0.0 sec. user=mdettweiler [2016-01-01 00:58:24] 819*2^1418452-1 is not prime. Res64: 00041368D9BDD12D Time : 0.0 sec. user=mdettweiler [2016-01-01 00:58:24] 939*2^1418452-1 is not prime. Res64: 0B971E418E93F9E0 Time : 0.0 sec. user=mdettweiler [2016-01-01 00:58:24] 825*2^1418452-1 is not prime. Res64: 1BEC1174FD1A2E6A Time : 0.0 sec. user=mdettweiler [2016-01-01 01:15:55] 649*2^1418453-1 is not prime. Res64: B49794685CDC26F5 Time : 0.0 sec. user=mdettweiler [2016-01-01 01:15:55] 757*2^1418453-1 is not prime. Res64: 677C97C5538297B3 Time : 0.0 sec. user=mdettweiler [2016-01-01 01:15:56] 675*2^1418453-1 is not prime. Res64: 5FD484991012851A Time : 0.0 sec. user=mdettweiler [2016-01-01 01:15:56] 867*2^1418453-1 is not prime. Res64: 18B97A45AF28C9AE Time : 0.0 sec. user=mdettweiler [2016-01-01 01:33:28] 937*2^1418453-1 is not prime. Res64: 2C77A1730E686701 Time : 0.0 sec. user=mdettweiler [2016-01-01 01:33:29] 949*2^1418453-1 is not prime. Res64: FBE231A39E9AB1DD Time : 0.0 sec. user=mdettweiler [2016-01-01 01:33:29] 957*2^1418453-1 is not prime. Res64: DF0F0A2FEFFE33FE Time : 0.0 sec. user=mdettweiler [2016-01-01 01:33:30] 621*2^1418454-1 is not prime. Res64: DFB6E1BB7AAAC858 Time : 0.0 sec. user=mdettweiler [2016-01-01 01:51:09] 651*2^1418454-1 is not prime. Res64: 2AA1F77C636CD6DA Time : 0.0 sec. user=mdettweiler [2016-01-01 01:51:09] 663*2^1418454-1 is not prime. Res64: 87AF2840F4D1A414 Time : 0.0 sec. user=mdettweiler [2016-01-01 01:51:10] 681*2^1418454-1 is not prime. Res64: F46C96F190607BBF Time : 0.0 sec. user=mdettweiler [2016-01-01 01:51:10] 797*2^1418454-1 is not prime. Res64: 9B24C8F2FD157B35 Time : 0.0 sec. user=mdettweiler [2016-01-01 02:08:42] 815*2^1418454-1 is not prime. Res64: 989E49B226AFAFBA Time : 0.0 sec. user=mdettweiler [2016-01-01 02:08:42] 885*2^1418454-1 is not prime. Res64: 7877006C5DE15533 Time : 0.0 sec. user=mdettweiler [2016-01-01 02:08:47] 881*2^1418454-1 is not prime. Res64: EF4EF5E06ABF5F3A Time : 0.0 sec. user=mdettweiler [2016-01-01 02:08:47] 917*2^1418454-1 is not prime. Res64: DE0FCC26748B5D30 Time : 0.0 sec. user=mdettweiler [2016-01-01 02:26:37] 679*2^1418455-1 is not prime. Res64: 0D020B6DEFDCCB03 Time : 0.0 sec. user=mdettweiler [2016-01-01 02:26:38] 975*2^1418454-1 is not prime. Res64: 4219615D7ED24680 Time : 0.0 sec. user=mdettweiler [2016-01-01 02:26:38] 709*2^1418455-1 is not prime. Res64: DB8C94F46E0E369F Time : 0.0 sec. user=mdettweiler [2016-01-01 02:26:38] 1001*2^1418454-1 is not prime. Res64: BBC986DB1EA226CF Time : 0.0 sec. user=mdettweiler [2016-01-01 02:44:11] 783*2^1418455-1 is not prime. Res64: 591B762906AC2A63 Time : 0.0 sec. user=mdettweiler [2016-01-01 02:44:12] 853*2^1418455-1 is not prime. Res64: E11F1DB83B221EC2 Time : 0.0 sec. user=mdettweiler [2016-01-01 02:44:12] 985*2^1418455-1 is not prime. Res64: B9FD21C55BFE8F98 Time : 0.0 sec. user=mdettweiler [2016-01-01 02:44:12] 617*2^1418456-1 is not prime. Res64: F07309425650C978 Time : 0.0 sec. user=mdettweiler [2016-01-01 03:01:44] 815*2^1418456-1 is not prime. Res64: 52F3719761A3DEBC Time : 0.0 sec. user=mdettweiler [2016-01-01 03:01:45] 669*2^1418456-1 is not prime. Res64: 2DBB008218C59FC6 Time : 0.0 sec. user=mdettweiler [2016-01-01 03:01:46] 719*2^1418456-1 is not prime. Res64: F752F4E8D622E3FB Time : 0.0 sec. user=mdettweiler [2016-01-01 03:01:46] 983*2^1418456-1 is not prime. Res64: F1AEA994E71B337A Time : 0.0 sec. user=mdettweiler [2016-01-01 03:19:48] 651*2^1418457-1 is not prime. Res64: F364A663EBFAEFD9 Time : 0.0 sec. user=mdettweiler [2016-01-01 03:19:49] 795*2^1418457-1 is not prime. Res64: F4A1D6A183B9C371 Time : 0.0 sec. user=mdettweiler [2016-01-01 03:19:50] 915*2^1418457-1 is not prime. Res64: 3B69035B142F9C1F Time : 0.0 sec. user=mdettweiler [2016-01-01 03:19:51] 937*2^1418457-1 is not prime. Res64: C7577876A7AC3135 Time : 0.0 sec. user=mdettweiler [2016-01-01 03:37:23] 979*2^1418457-1 is not prime. Res64: 920622347F6D362A Time : 0.0 sec. user=mdettweiler [2016-01-01 03:37:23] 657*2^1418458-1 is not prime. Res64: 6A869AFB611D5970 Time : 0.0 sec. user=mdettweiler [2016-01-01 03:37:26] 621*2^1418458-1 is not prime. Res64: A4FC56A7CF81C47E Time : 0.0 sec. user=mdettweiler [2016-01-01 03:37:27] 723*2^1418458-1 is not prime. Res64: B3FAB19C79ACFF8C Time : 0.0 sec. user=mdettweiler [2016-01-01 03:55:38] 777*2^1418458-1 is not prime. Res64: 7080C2BEF1722C90 Time : 0.0 sec. user=mdettweiler [2016-01-01 03:55:39] 827*2^1418458-1 is not prime. Res64: 8A60C379A77EBCEE Time : 0.0 sec. user=mdettweiler [2016-01-01 03:55:40] 735*2^1418458-1 is not prime. Res64: 06125787FBAC067A Time : 0.0 sec. user=mdettweiler [2016-01-01 03:55:41] 845*2^1418458-1 is not prime. Res64: DA4827DE985389CC Time : 0.0 sec. user=mdettweiler [2016-01-01 04:13:15] 867*2^1418458-1 is not prime. Res64: 13CC3DE8B58A5163 Time : 0.0 sec. user=mdettweiler [2016-01-01 04:13:15] 643*2^1418459-1 is not prime. Res64: 9262D43F18D15482 Time : 0.0 sec. user=mdettweiler [2016-01-01 04:13:15] 645*2^1418459-1 is not prime. Res64: 9FB6FE3B50A9A397 Time : 0.0 sec. user=mdettweiler [2016-01-01 04:13:15] 885*2^1418458-1 is not prime. Res64: 327F6BEFA7ADE7C3 Time : 0.0 sec. user=mdettweiler [2016-01-01 04:30:47] 843*2^1418459-1 is not prime. Res64: 0FB4B683D027A269 Time : 0.0 sec. user=mdettweiler [2016-01-01 04:30:47] 693*2^1418459-1 is not prime. Res64: 46AD74F885F02107 Time : 0.0 sec. user=mdettweiler [2016-01-01 04:30:47] 895*2^1418459-1 is not prime. Res64: B2C9CA354F92A1EE Time : 0.0 sec. user=mdettweiler [2016-01-01 04:30:48] 811*2^1418459-1 is not prime. Res64: 2BD14C3D66603487 Time : 0.0 sec. user=mdettweiler [2016-01-01 04:48:20] 779*2^1418460-1 is not prime. Res64: 68837246B2A48CB2 Time : 0.0 sec. user=mdettweiler [2016-01-01 04:48:20] 819*2^1418460-1 is not prime. Res64: FF6450988BFB9E4F Time : 0.0 sec. user=mdettweiler [2016-01-01 04:48:21] 973*2^1418459-1 is not prime. Res64: 6E386D467AB99DCA Time : 0.0 sec. user=mdettweiler [2016-01-01 04:48:21] 999*2^1418459-1 is not prime. Res64: 6275A1322202B09B Time : 0.0 sec. user=mdettweiler [2016-01-01 05:05:56] 607*2^1418461-1 is not prime. Res64: A1FDF5B306D07F02 Time : 0.0 sec. user=mdettweiler [2016-01-01 05:05:56] 745*2^1418461-1 is not prime. Res64: 7C91832837303B32 Time : 0.0 sec. user=mdettweiler [2016-01-01 05:05:57] 741*2^1418461-1 is not prime. Res64: 982C70F7E702680B Time : 0.0 sec. user=mdettweiler [2016-01-01 05:05:57] 789*2^1418461-1 is not prime. Res64: ABD3A86176600398 Time : 0.0 sec. user=mdettweiler [2016-01-01 05:23:30] 645*2^1418462-1 is not prime. Res64: 62ECB2D4622C4968 Time : 0.0 sec. user=mdettweiler [2016-01-01 05:23:31] 877*2^1418461-1 is not prime. Res64: 9E15CBC78E88FBBC Time : 0.0 sec. user=mdettweiler [2016-01-01 05:23:31] 731*2^1418462-1 is not prime. Res64: D310A4888DCCBF4F Time : 0.0 sec. user=mdettweiler [2016-01-01 05:23:31] 999*2^1418461-1 is not prime. Res64: CF3A36D3C35E09EC Time : 0.0 sec. user=mdettweiler [2016-01-01 05:41:02] 893*2^1418462-1 is not prime. Res64: AB1E85B43D2857D6 Time : 0.0 sec. user=mdettweiler [2016-01-01 05:41:03] 615*2^1418463-1 is not prime. Res64: 605CECF78576029B Time : 0.0 sec. user=mdettweiler [2016-01-01 05:41:03] 791*2^1418462-1 is not prime. Res64: AEE10669163318AD Time : 0.0 sec. user=mdettweiler [2016-01-01 05:41:03] 831*2^1418462-1 is not prime. Res64: 16535EE8A4DD7A56 Time : 0.0 sec. user=mdettweiler [2016-01-01 05:58:34] 751*2^1418463-1 is not prime. Res64: DF19D3BAAE71AF68 Time : 0.0 sec. user=mdettweiler [2016-01-01 05:58:34] 663*2^1418463-1 is not prime. Res64: 9564D5ABE7393A8E Time : 0.0 sec. user=mdettweiler [2016-01-01 05:58:34] 703*2^1418463-1 is not prime. Res64: DDFBAE47ACC54FBD Time : 0.0 sec. user=mdettweiler [2016-01-01 05:58:35] 819*2^1418463-1 is not prime. Res64: 304F0F0185EE2957 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:16:06] 895*2^1418463-1 is not prime. Res64: 755221B56DCC50B8 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:16:07] 829*2^1418463-1 is not prime. Res64: 5A149246AB0215E3 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:16:07] 973*2^1418463-1 is not prime. Res64: 56E30ECEF0679B9C Time : 0.0 sec. user=mdettweiler [2016-01-01 06:16:07] 849*2^1418463-1 is not prime. Res64: C5C399B79884AD50 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:33:40] 849*2^1418464-1 is not prime. Res64: B78F1624251E6014 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:33:40] 903*2^1418464-1 is not prime. Res64: 2EB533376F3EC015 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:33:41] 657*2^1418464-1 is not prime. Res64: 906B6C403B04AEEB Time : 0.0 sec. user=mdettweiler [2016-01-01 06:33:42] 825*2^1418464-1 is not prime. Res64: B6CFFC690C048B59 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:51:12] 905*2^1418464-1 is not prime. Res64: 8A8F473349B2F8A5 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:51:13] 909*2^1418464-1 is not prime. Res64: EF59D199529D3302 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:51:13] 669*2^1418465-1 is not prime. Res64: 03FFB9AA4017A252 Time : 0.0 sec. user=mdettweiler [2016-01-01 06:51:13] 675*2^1418465-1 is not prime. Res64: 6579512CFCF27638 Time : 0.0 sec. user=mdettweiler [2016-01-01 07:08:44] 691*2^1418465-1 is not prime. Res64: B0A1AB15B353A2DB Time : 0.0 sec. user=mdettweiler [2016-01-01 07:08:44] 775*2^1418465-1 is not prime. Res64: E6C196DA0F1A9E12 Time : 0.0 sec. user=mdettweiler [2016-01-01 07:08:45] 737*2^1418466-1 is not prime. Res64: D5FDDBBDBDF89FEB Time : 0.0 sec. user=mdettweiler [2016-01-01 07:08:45] 699*2^1418465-1 is not prime. Res64: 589BECFAD3E14059 Time : 0.0 sec. user=mdettweiler [2016-01-01 07:26:26] 619*2^1418467-1 is not prime. Res64: 54C17C8849B56489 Time : 0.0 sec. user=mdettweiler [2016-01-01 07:26:27] 633*2^1418467-1 is not prime. Res64: 3A7058EAADD1D920 Time : 0.0 sec. user=mdettweiler [2016-01-01 07:26:29] 825*2^1418466-1 is not prime. Res64: 41694C573083C10B Time : 0.0 sec. user=mdettweiler [2016-01-01 07:26:29] 923*2^1418466-1 is not prime. Res64: A2292D3F147FFC6C Time : 0.0 sec. user=mdettweiler [2016-01-01 07:43:58] 651*2^1418467-1 is not prime. Res64: D1A4B3E806721BE9 Time : 0.0 sec. user=mdettweiler [2016-01-01 07:43:59] 687*2^1418468-1 is not prime. Res64: BD7DE6C3D2849EB9 Time : 0.0 sec. user=mdettweiler [2016-01-01 07:44:00] 789*2^1418468-1 is not prime. Res64: D00ACF8E689BB16F Time : 0.0 sec. user=mdettweiler [2016-01-01 07:44:01] 797*2^1418468-1 is not prime. Res64: 4AEAC0E01D3971CF Time : 0.0 sec. user=mdettweiler [2016-01-01 08:01:32] 953*2^1418468-1 is not prime. Res64: D64754B7899D75AF Time : 0.0 sec. user=mdettweiler [2016-01-01 08:01:32] 855*2^1418468-1 is not prime. Res64: 1950405A73489DC5 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:01:34] 999*2^1418468-1 is not prime. Res64: EA961C6914AD902E Time : 0.0 sec. user=mdettweiler [2016-01-01 08:01:34] 869*2^1418468-1 is not prime. Res64: 1D8615B175C1280F Time : 0.0 sec. user=mdettweiler [2016-01-01 08:19:28] 615*2^1418469-1 is not prime. Res64: 33BAFA150CCB4448 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:19:29] 621*2^1418469-1 is not prime. Res64: 00E0DD376F8EF3CD Time : 0.0 sec. user=mdettweiler [2016-01-01 08:19:30] 639*2^1418469-1 is not prime. Res64: BC9A6B3A562BD000 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:19:30] 847*2^1418469-1 is not prime. Res64: 33E0D9F6713720C0 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:37:01] 877*2^1418469-1 is not prime. Res64: 29CC4D7A719B6AFF Time : 0.0 sec. user=mdettweiler [2016-01-01 08:37:01] 895*2^1418469-1 is not prime. Res64: 43CAEFA4A6510E26 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:37:01] 945*2^1418469-1 is not prime. Res64: 8ECFEC4AEEFEDD2B Time : 0.0 sec. user=mdettweiler [2016-01-01 08:37:02] 961*2^1418469-1 is not prime. Res64: A866A8946C35E149 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:54:34] 991*2^1418469-1 is not prime. Res64: BFA2D72193A53797 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:54:34] 635*2^1418470-1 is not prime. Res64: 9C9964C737639609 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:54:35] 831*2^1418470-1 is not prime. Res64: 2C34828183C37EC2 Time : 0.0 sec. user=mdettweiler [2016-01-01 08:54:36] 843*2^1418470-1 is not prime. Res64: F116B10F65953BD9 Time : 0.0 sec. user=mdettweiler [2016-01-01 09:12:06] 923*2^1418470-1 is not prime. Res64: DECF39ADF779974D Time : 0.0 sec. user=mdettweiler [2016-01-01 09:12:06] 957*2^1418470-1 is not prime. Res64: AD11E243BF29638D Time : 0.0 sec. user=mdettweiler [2016-01-01 09:12:07] 933*2^1418470-1 is not prime. Res64: FD6BD735783AB499 Time : 0.0 sec. user=mdettweiler [2016-01-01 09:12:07] 619*2^1418471-1 is not prime. Res64: 1D02C6D385A3EA13 Time : 0.0 sec. user=mdettweiler [2016-01-01 09:29:39] 843*2^1418471-1 is not prime. Res64: C1210846AB1EA88F Time : 0.0 sec. user=mdettweiler [2016-01-01 09:29:39] 879*2^1418471-1 is not prime. Res64: 62A46BE432A3B4CF Time : 0.0 sec. user=mdettweiler [2016-01-01 09:29:39] 673*2^1418471-1 is not prime. Res64: 405074B44EE7C098 Time : 0.0 sec. user=mdettweiler [2016-01-01 09:29:40] 783*2^1418471-1 is not prime. Res64: C3D67F53A083E754 Time : 0.0 sec. user=mdettweiler [2016-01-01 09:47:11] 909*2^1418471-1 is not prime. Res64: 5E2951002F280C70 Time : 0.0 sec. user=mdettweiler [2016-01-01 09:47:11] 627*2^1418472-1 is not prime. Res64: EB471E9731854854 Time : 0.0 sec. user=mdettweiler [2016-01-01 09:47:11] 913*2^1418471-1 is not prime. Res64: E4917F361970CDDC Time : 0.0 sec. user=mdettweiler [2016-01-01 09:47:11] 657*2^1418472-1 is not prime. Res64: D99CE5E041414ABF Time : 0.0 sec. user=mdettweiler [2016-01-01 10:04:43] 977*2^1418472-1 is not prime. Res64: 6ED2078C256F5649 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:04:44] 803*2^1418472-1 is not prime. Res64: E93018BA773B27B1 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:04:45] 699*2^1418473-1 is not prime. Res64: E7A6D456A92C6563 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:04:45] 929*2^1418472-1 is not prime. Res64: AB57C649D21D5B19 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:22:33] 745*2^1418473-1 is not prime. Res64: B53C998B79DADE10 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:22:33] 847*2^1418473-1 is not prime. Res64: D00C56AACFF8DB95 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:22:34] 849*2^1418473-1 is not prime. Res64: B85427D7384C88EE Time : 0.0 sec. user=mdettweiler [2016-01-01 10:22:34] 925*2^1418473-1 is not prime. Res64: 50B10903779EF0E6 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:40:07] 937*2^1418473-1 is not prime. Res64: 1E13FFDBC9271C61 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:40:07] 939*2^1418473-1 is not prime. Res64: 250CBE34C2A63562 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:40:08] 605*2^1418474-1 is not prime. Res64: 2CA306938A189885 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:40:08] 665*2^1418474-1 is not prime. Res64: 70239D9F5C68697C Time : 0.0 sec. user=mdettweiler [2016-01-01 10:57:39] 825*2^1418474-1 is not prime. Res64: CEB06AB02F513F1E Time : 0.0 sec. user=mdettweiler [2016-01-01 10:57:40] 827*2^1418474-1 is not prime. Res64: 5DFF65622C57055E Time : 0.0 sec. user=mdettweiler [2016-01-01 10:57:40] 875*2^1418474-1 is not prime. Res64: 6BA692119AFE94D7 Time : 0.0 sec. user=mdettweiler [2016-01-01 10:57:40] 619*2^1418475-1 is not prime. Res64: BC3547FF908079B2 Time : 0.0 sec. user=mdettweiler [2016-01-01 11:15:11] 651*2^1418475-1 is not prime. Res64: BED89B2280F9BC61 Time : 0.0 sec. user=mdettweiler [2016-01-01 11:15:12] 795*2^1418475-1 is not prime. Res64: 9B6A297F4FFAC26A Time : 0.0 sec. user=mdettweiler [2016-01-01 11:15:12] 723*2^1418475-1 is not prime. Res64: 727209474AC389A8 Time : 0.0 sec. user=mdettweiler [2016-01-01 11:15:12] 801*2^1418475-1 is not prime. Res64: B6E3289FD38D84F6 Time : 0.0 sec. user=mdettweiler [2016-01-01 11:32:47] 675*2^1418476-1 is not prime. Res64: 111A629F3A179C10 Time : 0.0 sec. user=mdettweiler [2016-01-01 11:32:47] 973*2^1418475-1 is not prime. Res64: F951546110C7D790 Time : 0.0 sec. user=mdettweiler [2016-01-01 11:32:47] 845*2^1418476-1 is not prime. Res64: F9EB021D927F5FCB Time : 0.0 sec. user=mdettweiler [2016-01-01 11:32:48] 663*2^1418476-1 is not prime. Res64: 1004907CC52EB4FF Time : 0.0 sec. user=mdettweiler [2016-01-01 11:50:19] 621*2^1418477-1 is not prime. Res64: 9796FB0124B8D7F2 Time : 0.0 sec. user=mdettweiler [2016-01-01 11:50:20] 669*2^1418477-1 is not prime. Res64: 1045BAA12103335E Time : 0.0 sec. user=mdettweiler [2016-01-01 11:50:20] 873*2^1418476-1 is not prime. Res64: F1896999D1617DA6 Time : 0.0 sec. user=mdettweiler [2016-01-01 11:50:20] 957*2^1418476-1 is not prime. Res64: 033DF8A479A81814 Time : 0.0 sec. user=mdettweiler [2016-01-01 12:07:52] 867*2^1418477-1 is not prime. Res64: 89226CA7879C14C4 Time : 0.0 sec. user=mdettweiler [2016-01-01 12:07:53] 871*2^1418477-1 is not prime. Res64: 66DF183E8C03C857 Time : 0.0 sec. user=mdettweiler [2016-01-01 12:07:55] 715*2^1418477-1 is not prime. Res64: 2F596ED5413ABE54 Time : 0.0 sec. user=mdettweiler [2016-01-01 12:07:56] 717*2^1418477-1 is not prime. Res64: 1843A77A0FEA63C1 Time : 0.0 sec. user=mdettweiler [2016-01-01 12:25:30] 981*2^1418477-1 is not prime. Res64: 62D25A3FCEB1B87E Time : 0.0 sec. user=mdettweiler [2016-01-01 12:25:30] 901*2^1418477-1 is not prime. Res64: 0D3F76AD9004D547 Time : 0.0 sec. user=mdettweiler [2016-01-01 12:25:30] 647*2^1418478-1 is not prime. Res64: 13631011309C2E7F Time : 0.0 sec. user=mdettweiler [2016-01-01 12:25:30] 955*2^1418477-1 is not prime. Res64: F280334A5242E3EE Time : 0.0 sec. user=mdettweiler [2016-01-01 12:43:02] 735*2^1418479-1 is not prime. Res64: 006480B516FA48FC Time : 0.0 sec. user=mdettweiler [2016-01-01 12:43:03] 601*2^1418479-1 is not prime. Res64: 8DD9974885E8D722 Time : 0.0 sec. user=mdettweiler [2016-01-01 12:43:03] 741*2^1418479-1 is not prime. Res64: EAA96E69E7FD5C92 Time : 0.0 sec. user=mdettweiler [2016-01-01 12:43:03] 685*2^1418479-1 is not prime. Res64: 6E62131001DF3EE3 Time : 0.0 sec. user=mdettweiler [2016-01-01 13:00:35] 943*2^1418479-1 is not prime. Res64: 1A77DCDBCC6B1CF6 Time : 0.0 sec. user=mdettweiler [2016-01-01 13:00:35] 969*2^1418479-1 is not prime. Res64: 041B424C33ED464E Time : 0.0 sec. user=mdettweiler [2016-01-01 13:00:35] 853*2^1418479-1 is not prime. Res64: 8D2B3CED93C70C5F Time : 0.0 sec. user=mdettweiler [2016-01-01 13:00:36] 919*2^1418479-1 is not prime. Res64: EDA0E713B171DE7D Time : 0.0 sec. user=mdettweiler [2016-01-01 13:18:07] 973*2^1418479-1 is not prime. Res64: B2CBCEB17340990A Time : 0.0 sec. user=mdettweiler [2016-01-01 13:18:08] 665*2^1418480-1 is not prime. Res64: 846B8DF959AC1F96 Time : 0.0 sec. user=mdettweiler [2016-01-01 13:18:08] 979*2^1418479-1 is not prime. Res64: 359767EC1EE0B96F Time : 0.0 sec. user=mdettweiler [2016-01-01 13:18:08] 713*2^1418480-1 is not prime. Res64: EAD6E917F4ED6EF5 Time : 0.0 sec. user=mdettweiler [2016-01-01 13:35:39] 833*2^1418480-1 is not prime. Res64: 0B910BA592242E9B Time : 0.0 sec. user=mdettweiler [2016-01-01 13:35:39] 923*2^1418480-1 is not prime. Res64: D3255BA284FA6470 Time : 0.0 sec. user=mdettweiler [2016-01-01 13:35:40] 999*2^1418480-1 is not prime. Res64: 4973916EA555977C Time : 0.0 sec. user=mdettweiler [2016-01-01 13:35:40] 649*2^1418481-1 is not prime. Res64: 69B0124FD2236268 Time : 0.0 sec. user=mdettweiler [2016-01-01 13:53:11] 713*2^1418482-1 is not prime. Res64: 44B0DA52771C5C9E Time : 0.0 sec. user=mdettweiler [2016-01-01 13:53:12] 669*2^1418481-1 is not prime. Res64: 9D5CF96F96409D75 Time : 0.0 sec. user=mdettweiler [2016-01-01 13:53:12] 723*2^1418482-1 is not prime. Res64: 71D9BE0C30C814C4 Time : 0.0 sec. user=mdettweiler [2016-01-01 13:53:12] 795*2^1418481-1 is not prime. Res64: AE08289DF56B81AC Time : 0.0 sec. user=mdettweiler [2016-01-01 14:10:43] 873*2^1418482-1 is not prime. Res64: FB02024B602ADD6E Time : 0.0 sec. user=mdettweiler [2016-01-01 14:10:43] 881*2^1418482-1 is not prime. Res64: DAA433B9F30B2660 Time : 0.0 sec. user=mdettweiler [2016-01-01 14:10:43] 885*2^1418482-1 is not prime. Res64: 9866DD32BA3DB9EC Time : 0.0 sec. user=mdettweiler [2016-01-01 14:10:44] 951*2^1418482-1 is not prime. Res64: 4186E92A2935AA37 Time : 0.0 sec. user=mdettweiler [2016-01-01 14:28:18] 975*2^1418482-1 is not prime. Res64: BDF415397CE93D7D Time : 0.0 sec. user=mdettweiler [2016-01-01 14:28:19] 1001*2^1418482-1 is not prime. Res64: BC53EA08AF6658C1 Time : 0.0 sec. user=mdettweiler [2016-01-01 14:28:19] 995*2^1418482-1 is not prime. Res64: 24E8FE62128E80F4 Time : 0.0 sec. user=mdettweiler [2016-01-01 14:28:19] 703*2^1418483-1 is not prime. Res64: 62865E1CEE125F3D Time : 0.0 sec. user=mdettweiler [2016-01-01 14:45:50] 735*2^1418483-1 is not prime. Res64: 80CCCCD140A14C94 Time : 0.0 sec. user=mdettweiler [2016-01-01 14:45:51] 915*2^1418483-1 is not prime. Res64: C2C47A8D8205B28B Time : 0.0 sec. user=mdettweiler [2016-01-01 14:45:51] 913*2^1418483-1 is not prime. Res64: 2B3394296F0E9587 Time : 0.0 sec. user=mdettweiler [2016-01-01 14:45:51] 605*2^1418484-1 is not prime. Res64: E650BE9BDDE275EC Time : 0.0 sec. user=mdettweiler [2016-01-01 15:03:23] 623*2^1418484-1 is not prime. Res64: 74EE625AA5B0F148 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:03:23] 773*2^1418484-1 is not prime. Res64: E9DEA0142A79B6A0 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:03:25] 627*2^1418484-1 is not prime. Res64: AA516E90A8A69B51 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:03:27] 893*2^1418484-1 is not prime. Res64: ED76B63B5BC9CFD4 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:21:14] 915*2^1418484-1 is not prime. Res64: A60032BACAB2894E Time : 0.0 sec. user=mdettweiler [2016-01-01 15:21:14] 645*2^1418485-1 is not prime. Res64: EF7A8CB4C0361B31 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:21:15] 975*2^1418484-1 is not prime. Res64: 78534FBD755CD971 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:21:15] 691*2^1418485-1 is not prime. Res64: 447FB38DEC1256B7 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:38:49] 897*2^1418485-1 is not prime. Res64: 787619A9C552983E Time : 0.0 sec. user=mdettweiler [2016-01-01 15:38:50] 757*2^1418485-1 is not prime. Res64: EAF62561EDD56E70 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:38:50] 919*2^1418485-1 is not prime. Res64: 884A0ED785BF4FBA Time : 0.0 sec. user=mdettweiler [2016-01-01 15:38:50] 867*2^1418485-1 is not prime. Res64: 8E0246B7E12A6E8D Time : 0.0 sec. user=mdettweiler [2016-01-01 15:56:25] 713*2^1418486-1 is not prime. Res64: BA7F5EE3BAD12464 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:56:26] 997*2^1418485-1 is not prime. Res64: 9223A898C7ED9970 Time : 0.0 sec. user=mdettweiler [2016-01-01 15:56:26] 755*2^1418486-1 is not prime. Res64: 1C5FA922C37DD0BA Time : 0.0 sec. user=mdettweiler [2016-01-01 15:56:26] 707*2^1418486-1 is not prime. Res64: F9949951C2CC7A04 Time : 0.0 sec. user=mdettweiler [2016-01-01 16:14:00] 649*2^1418487-1 is not prime. Res64: 4CC4BCD2D428A94E Time : 0.0 sec. user=mdettweiler [2016-01-01 16:14:00] 897*2^1418486-1 is not prime. Res64: 4790AFE2E7DFC729 Time : 0.0 sec. user=mdettweiler [2016-01-01 16:14:01] 651*2^1418487-1 is not prime. Res64: 28D7A7DF34CD68CC Time : 0.0 sec. user=mdettweiler [2016-01-01 16:14:01] 1001*2^1418486-1 is not prime. Res64: A4FA0081C2E6E83D Time : 0.0 sec. user=mdettweiler [2016-01-01 16:31:48] 775*2^1418487-1 is not prime. Res64: 555DA466877B2FDC Time : 0.0 sec. user=mdettweiler [2016-01-01 16:31:48] 823*2^1418487-1 is not prime. Res64: BC48E772BADAE3C1 Time : 0.0 sec. user=mdettweiler [2016-01-01 16:31:48] 793*2^1418487-1 is not prime. Res64: F59F80B958D57AFD Time : 0.0 sec. user=mdettweiler [2016-01-01 16:31:48] 871*2^1418487-1 is not prime. Res64: 62958B75D8FF3722 Time : 0.0 sec. user=mdettweiler [2016-01-01 16:49:30] 879*2^1418487-1 is not prime. Res64: 9CCA3D69C352130C Time : 0.0 sec. user=mdettweiler [2016-01-01 16:49:30] 975*2^1418487-1 is not prime. Res64: 2E6407F2CD2A74CC Time : 0.0 sec. user=mdettweiler [2016-01-01 16:49:31] 645*2^1418488-1 is not prime. Res64: B0E207FEC75B79E1 Time : 0.0 sec. user=mdettweiler [2016-01-01 16:49:31] 959*2^1418488-1 is not prime. Res64: 1C0B69E099DA0AA0 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:07:25] 969*2^1418488-1 is not prime. Res64: DA5A37EF4DC639AC Time : 0.0 sec. user=mdettweiler [2016-01-01 17:07:26] 989*2^1418488-1 is not prime. Res64: 69647FBB14D67126 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:07:26] 657*2^1418489-1 is not prime. Res64: 2F29EDDCB2BBEAF0 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:07:26] 789*2^1418489-1 is not prime. Res64: 651582271813DA26 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:25:20] 627*2^1418490-1 is not prime. Res64: 85A9CFF8420F0C25 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:25:20] 851*2^1418490-1 is not prime. Res64: 7CD584E50B922592 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:25:22] 831*2^1418489-1 is not prime. Res64: EAF27107DA7B6757 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:25:22] 855*2^1418489-1 is not prime. Res64: 1D9EEE390D9BF3FB Time : 0.0 sec. user=mdettweiler [2016-01-01 17:43:01] 703*2^1418491-1 is not prime. Res64: 29DA9ACC2014BCC7 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:43:01] 769*2^1418491-1 is not prime. Res64: BD49FE6CA2E064E4 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:43:02] 753*2^1418492-1 is not prime. Res64: 33FB6C147E1005F6 Time : 0.0 sec. user=mdettweiler [2016-01-01 17:43:03] 759*2^1418492-1 is not prime. Res64: 17C95D04B71B23B6 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:00:38] 627*2^1418493-1 is not prime. Res64: D5303F40BA8FEA09 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:00:39] 945*2^1418492-1 is not prime. Res64: 738CA076EFA2CCA4 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:00:41] 999*2^1418492-1 is not prime. Res64: DAE6E54B53289232 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:00:42] 735*2^1418493-1 is not prime. Res64: BC2E9D052E67F5EA Time : 0.0 sec. user=mdettweiler [2016-01-01 18:18:39] 741*2^1418493-1 is not prime. Res64: 44D9FA19EE2C0B15 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:18:39] 605*2^1418494-1 is not prime. Res64: 7C162B9546031D29 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:18:39] 919*2^1418493-1 is not prime. Res64: 7F4F9821463CE957 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:18:40] 635*2^1418494-1 is not prime. Res64: E05F62BF7A757903 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:36:54] 863*2^1418494-1 is not prime. Res64: 90E2E48750EAD4BB Time : 0.0 sec. user=mdettweiler [2016-01-01 18:36:54] 657*2^1418494-1 is not prime. Res64: 2B12D442E1EAFF8A Time : 0.0 sec. user=mdettweiler [2016-01-01 18:36:55] 885*2^1418494-1 is not prime. Res64: 3808B635ED0C056E Time : 0.0 sec. user=mdettweiler [2016-01-01 18:36:55] 813*2^1418494-1 is not prime. Res64: 12531B601FCC3E8E Time : 0.0 sec. user=mdettweiler [2016-01-01 18:54:46] 917*2^1418494-1 is not prime. Res64: 688A933FECFF0BD1 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:54:46] 957*2^1418494-1 is not prime. Res64: BCDD02BF738D35B2 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:54:47] 601*2^1418495-1 is not prime. Res64: ADC78CB461832A08 Time : 0.0 sec. user=mdettweiler [2016-01-01 18:54:47] 705*2^1418495-1 is not prime. Res64: D9965DB4C12931C8 Time : 0.0 sec. user=mdettweiler [2016-01-01 19:12:18] 609*2^1418496-1 is not prime. Res64: 9C123302CE41E953 Time : 0.0 sec. user=mdettweiler [2016-01-01 19:12:18] 789*2^1418495-1 is not prime. Res64: A5611CC501B7FF3D Time : 0.0 sec. user=mdettweiler [2016-01-01 19:12:18] 633*2^1418496-1 is not prime. Res64: F1F6346685F31305 Time : 0.0 sec. user=mdettweiler [2016-01-01 19:12:18] 939*2^1418495-1 is not prime. Res64: 541100D56D40329E Time : 0.0 sec. user=mdettweiler [2016-01-01 19:29:51] 705*2^1418496-1 is not prime. Res64: 1A68C8ECF1A18213 Time : 0.0 sec. user=mdettweiler [2016-01-01 19:29:51] 815*2^1418496-1 is not prime. Res64: CF12EA96429F737C Time : 0.0 sec. user=mdettweiler [2016-01-01 19:29:52] 669*2^1418496-1 is not prime. Res64: F3E9A2E4E6FDAA08 Time : 0.0 sec. user=mdettweiler [2016-01-01 19:29:52] 693*2^1418496-1 is not prime. Res64: F9D374CD78701A64 Time : 0.0 sec. user=mdettweiler [2016-01-01 19:47:23] 839*2^1418496-1 is not prime. Res64: 8940B99CED2298B7 Time : 0.0 sec. user=mdettweiler [2016-01-01 19:47:23] 849*2^1418496-1 is not prime. Res64: F6D90B69DC5A219B Time : 0.0 sec. user=mdettweiler [2016-01-01 19:47:24] 637*2^1418497-1 is not prime. Res64: 2F9671BA8DE1E839 Time : 0.0 sec. user=mdettweiler [2016-01-01 19:47:24] 747*2^1418497-1 is not prime. Res64: FDBB9332BFF25942 Time : 0.0 sec. user=mdettweiler [2016-01-01 20:04:55] 835*2^1418497-1 is not prime. Res64: 81DE31CB0614147B Time : 0.0 sec. user=mdettweiler [2016-01-01 20:04:56] 897*2^1418497-1 is not prime. Res64: 2C29E3A33B458CCC Time : 0.0 sec. user=mdettweiler [2016-01-01 20:04:57] 885*2^1418497-1 is not prime. Res64: 913FDDE8A12584D3 Time : 0.0 sec. user=mdettweiler [2016-01-01 20:04:58] 747*2^1418498-1 is not prime. Res64: 1CD105B4819403E2 Time : 0.0 sec. user=mdettweiler [2016-01-01 20:23:00] 755*2^1418498-1 is not prime. Res64: 475650B2AB4B7BDA Time : 0.0 sec. user=mdettweiler [2016-01-01 20:23:01] 943*2^1418499-1 is not prime. Res64: 84B4FD1160835BBD Time : 0.0 sec. user=mdettweiler [2016-01-01 20:23:01] 837*2^1418498-1 is not prime. Res64: 2BD67B86B21F93E1 Time : 0.0 sec. user=mdettweiler [2016-01-01 20:23:01] 717*2^1418500-1 is not prime. Res64: 6A2B5F0892DAE03B Time : 0.0 sec. user=mdettweiler [2016-01-01 20:40:35] 723*2^1418500-1 is not prime. Res64: 708B0BA50DDC7906 Time : 0.0 sec. user=mdettweiler [2016-01-01 20:40:35] 773*2^1418500-1 is not prime. Res64: 0D844E3929669FEA Time : 0.0 sec. user=mdettweiler [2016-01-01 20:40:35] 765*2^1418500-1 is not prime. Res64: C62819F4E0D49219 Time : 0.0 sec. user=mdettweiler [2016-01-01 20:40:35] 857*2^1418500-1 is not prime. Res64: 5D42B39DC52485AD Time : 0.0 sec. user=mdettweiler [2016-01-01 20:58:08] 899*2^1418500-1 is not prime. Res64: 19F8A494DC9AE0F6 Time : 0.0 sec. user=mdettweiler [2016-01-01 20:58:08] 651*2^1418501-1 is not prime. Res64: A4761A5B061C24BC Time : 0.0 sec. user=mdettweiler [2016-01-01 20:58:09] 989*2^1418500-1 is not prime. Res64: 237F9361E5C6E379 Time : 0.0 sec. user=mdettweiler [2016-01-01 20:58:09] 727*2^1418501-1 is not prime. Res64: 69CF943F8897CC28 Time : 0.0 sec. user=mdettweiler [2016-01-01 21:15:41] 747*2^1418501-1 is not prime. Res64: 9A5B9D459D5A32BA Time : 0.0 sec. user=mdettweiler [2016-01-01 21:15:42] 781*2^1418501-1 is not prime. Res64: 6B932A2129A1735E Time : 0.0 sec. user=mdettweiler [2016-01-01 21:15:42] 777*2^1418501-1 is not prime. Res64: 053051E5C005F7F9 Time : 0.0 sec. user=mdettweiler [2016-01-01 21:15:42] 889*2^1418501-1 is not prime. Res64: 86EDFBEC0ABD4B12 Time : 0.0 sec. user=mdettweiler [2016-01-01 21:33:26] 761*2^1418502-1 is not prime. Res64: F7F3229B756E333F Time : 0.0 sec. user=mdettweiler [2016-01-01 21:33:26] 777*2^1418502-1 is not prime. Res64: 708771330633FAEA Time : 0.0 sec. user=mdettweiler [2016-01-01 21:33:32] 815*2^1418502-1 is not prime. Res64: 0501892B5E50238E Time : 0.0 sec. user=mdettweiler [2016-01-01 21:33:33] 917*2^1418502-1 is not prime. Res64: AC04139667DDFF10 Time : 0.0 sec. user=mdettweiler [2016-01-01 21:51:05] 675*2^1418503-1 is not prime. Res64: 5709F2828F2904AA Time : 0.0 sec. user=mdettweiler [2016-01-01 21:51:05] 819*2^1418503-1 is not prime. Res64: 10274ADE24535D70 Time : 0.0 sec. user=mdettweiler [2016-01-01 21:51:07] 859*2^1418503-1 is not prime. Res64: 0D715D4BD5DC6D8E Time : 0.0 sec. user=mdettweiler [2016-01-01 21:51:07] 861*2^1418503-1 is not prime. Res64: DBD32A965FDED7A3 Time : 0.0 sec. user=mdettweiler [2016-01-01 22:08:37] 895*2^1418503-1 is not prime. Res64: 98E4BB3F944D218F Time : 0.0 sec. user=mdettweiler [2016-01-01 22:08:38] 961*2^1418503-1 is not prime. Res64: FB1D6CD4C9247B1F Time : 0.0 sec. user=mdettweiler [2016-01-01 22:08:42] 985*2^1418503-1 is not prime. Res64: BF317030AFC0EEA3 Time : 0.0 sec. user=mdettweiler [2016-01-01 22:08:42] 609*2^1418504-1 is not prime. Res64: 17A0C87DF3907EE2 Time : 0.0 sec. user=mdettweiler [2016-01-01 22:26:17] 743*2^1418504-1 is not prime. Res64: 320C27AFED275C2C Time : 0.0 sec. user=mdettweiler [2016-01-01 22:26:17] 615*2^1418504-1 is not prime. Res64: 95771B533347EA30 Time : 0.0 sec. user=mdettweiler [2016-01-01 22:26:18] 753*2^1418504-1 is not prime. Res64: CD31F5B3B22AB23F Time : 0.0 sec. user=mdettweiler [2016-01-01 22:26:18] 675*2^1418504-1 is not prime. Res64: E17E1353D068EE20 Time : 0.0 sec. user=mdettweiler [2016-01-01 22:43:52] 893*2^1418504-1 is not prime. Res64: 33F20E6F28C75440 Time : 0.0 sec. user=mdettweiler [2016-01-01 22:43:52] 679*2^1418505-1 is not prime. Res64: 2BF22CC6ADEC7967 Time : 0.0 sec. user=mdettweiler [2016-01-01 22:44:01] 817*2^1418505-1 is not prime. Res64: 7A9AFC184386056D Time : 0.0 sec. user=mdettweiler [2016-01-01 22:44:02] 867*2^1418505-1 is not prime. Res64: 301D7E7B9215C05C Time : 0.0 sec. user=mdettweiler [2016-01-01 23:01:28] 951*2^1418505-1 is not prime. Res64: 00FEF2DE29AE1323 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:01:29] 701*2^1418506-1 is not prime. Res64: 95198D3ED30529E5 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:01:37] 713*2^1418506-1 is not prime. Res64: EECED5FAED78D373 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:01:37] 723*2^1418506-1 is not prime. Res64: 508BF51E6B9C84E5 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:19:12] 747*2^1418506-1 is not prime. Res64: 70080D1918A74CFB Time : 0.0 sec. user=mdettweiler [2016-01-01 23:19:13] 773*2^1418506-1 is not prime. Res64: 3AEF0149B5A4E01D Time : 0.0 sec. user=mdettweiler [2016-01-01 23:19:16] 813*2^1418506-1 is not prime. Res64: 67443EB1BA139540 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:19:16] 861*2^1418506-1 is not prime. Res64: DC798F6DF75F57D8 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:36:44] 917*2^1418506-1 is not prime. Res64: 4E6ECB61DC9AFB78 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:36:44] 981*2^1418506-1 is not prime. Res64: A42DCEE48C226717 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:36:47] 615*2^1418507-1 is not prime. Res64: A28DF79C571AD2AF Time : 0.0 sec. user=mdettweiler [2016-01-01 23:36:48] 693*2^1418507-1 is not prime. Res64: D10FBF556CF200B9 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:54:16] 703*2^1418507-1 is not prime. Res64: A8EA1C9CA1704768 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:54:16] 739*2^1418507-1 is not prime. Res64: B627C623C4119826 Time : 0.0 sec. user=mdettweiler [2016-01-01 23:54:20] 813*2^1418507-1 is not prime. Res64: F0BDF3D3C3CDF4EA Time : 0.0 sec. user=mdettweiler [2016-01-01 23:54:20] 861*2^1418507-1 is not prime. Res64: A2805F2DAB609638 Time : 0.0 sec.