user=mdettweiler [2015-12-24 00:03:23] 777*2^1418010-1 is not prime. Res64: A17BD46856EF1EB7 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:03:24] 951*2^1418009-1 is not prime. Res64: 6C13A718129D7C90 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:03:25] 681*2^1418010-1 is not prime. Res64: A43451A8FACBACA5 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:03:25] 791*2^1418010-1 is not prime. Res64: 0DB61C77847EA3E6 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:21:20] 951*2^1418010-1 is not prime. Res64: FF883EDE7E8FF0B6 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:21:20] 709*2^1418011-1 is not prime. Res64: B753B42A486C7E6B Time : 0.0 sec. user=mdettweiler [2015-12-24 00:21:20] 621*2^1418011-1 is not prime. Res64: 6D982FC0655403A3 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:21:20] 715*2^1418011-1 is not prime. Res64: C2B8E02AB164714D Time : 0.0 sec. user=mdettweiler [2015-12-24 00:38:50] 723*2^1418011-1 is not prime. Res64: 2FAE77B2C0B822A9 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:38:50] 843*2^1418011-1 is not prime. Res64: C69F6BFBAAEAB7BB Time : 0.0 sec. user=mdettweiler [2015-12-24 00:38:50] 931*2^1418011-1 is not prime. Res64: A467E424F2278403 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:38:50] 939*2^1418011-1 is not prime. Res64: 085E0A35D4AA4B02 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:56:19] 735*2^1418012-1 is not prime. Res64: 31F07053A4F0D172 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:56:19] 943*2^1418011-1 is not prime. Res64: B80062088ABEDA91 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:56:19] 759*2^1418012-1 is not prime. Res64: F92A046A172CF2D2 Time : 0.0 sec. user=mdettweiler [2015-12-24 00:56:20] 615*2^1418012-1 is not prime. Res64: 5463A67858265EEF Time : 0.0 sec. user=mdettweiler [2015-12-24 01:13:48] 813*2^1418012-1 is not prime. Res64: 0548FE009A7CB08C Time : 0.0 sec. user=mdettweiler [2015-12-24 01:13:48] 785*2^1418012-1 is not prime. Res64: EB6A9B6B034DB7FD Time : 0.0 sec. user=mdettweiler [2015-12-24 01:13:49] 797*2^1418012-1 is not prime. Res64: 71DD73D4C95D35AF Time : 0.0 sec. user=mdettweiler [2015-12-24 01:13:49] 819*2^1418012-1 is not prime. Res64: 85268EAE542AEA02 Time : 0.0 sec. user=mdettweiler [2015-12-24 01:31:22] 977*2^1418012-1 is not prime. Res64: 4E6C62C0B0A2EA4C Time : 0.0 sec. user=mdettweiler [2015-12-24 01:31:22] 873*2^1418012-1 is not prime. Res64: 174F023D1B8CDCBB Time : 0.0 sec. user=mdettweiler [2015-12-24 01:31:23] 987*2^1418012-1 is not prime. Res64: EEB357B11B0E047A Time : 0.0 sec. user=mdettweiler [2015-12-24 01:31:23] 945*2^1418012-1 is not prime. Res64: 041FAF4BFCC16DAA Time : 0.0 sec. user=mdettweiler [2015-12-24 01:49:10] 625*2^1418013-1 is not prime. Res64: 44572C1762D72562 Time : 0.0 sec. user=mdettweiler [2015-12-24 01:49:11] 691*2^1418013-1 is not prime. Res64: BDDE0D20A5C582DC Time : 0.0 sec. user=mdettweiler [2015-12-24 01:49:13] 765*2^1418013-1 is not prime. Res64: FB50269ACD42DA16 Time : 0.0 sec. user=mdettweiler [2015-12-24 01:49:14] 781*2^1418013-1 is not prime. Res64: 35625CB3341A81B1 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:06:43] 871*2^1418013-1 is not prime. Res64: 50601768E3932259 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:06:44] 675*2^1418014-1 is not prime. Res64: B7E149D285473FCB Time : 0.0 sec. user=mdettweiler [2015-12-24 02:06:44] 681*2^1418014-1 is not prime. Res64: 921D6EA858271F93 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:06:45] 903*2^1418014-1 is not prime. Res64: 5C249D0FA547B4A0 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:24:18] 705*2^1418016-1 is not prime. Res64: 74232176329B7F73 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:24:18] 981*2^1418014-1 is not prime. Res64: 69ECD822106D5468 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:24:18] 809*2^1418016-1 is not prime. Res64: 7102AAD2A537A8C8 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:24:19] 633*2^1418016-1 is not prime. Res64: 2E64962BB26CF298 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:41:48] 899*2^1418016-1 is not prime. Res64: 9A375DCB958A1698 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:41:48] 845*2^1418016-1 is not prime. Res64: A1452AC276DB46D7 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:41:48] 947*2^1418016-1 is not prime. Res64: DC8D4D1045D55C67 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:41:49] 857*2^1418016-1 is not prime. Res64: DD8E079E0283D9EA Time : 0.0 sec. user=mdettweiler [2015-12-24 02:59:27] 619*2^1418017-1 is not prime. Res64: BD0F03253A21EFBB Time : 0.0 sec. user=mdettweiler [2015-12-24 02:59:27] 777*2^1418017-1 is not prime. Res64: 41150CBC9FB7C849 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:59:27] 769*2^1418017-1 is not prime. Res64: 30347E8155FF2A09 Time : 0.0 sec. user=mdettweiler [2015-12-24 02:59:28] 831*2^1418017-1 is not prime. Res64: 3331E1F92EB0CDD2 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:16:57] 919*2^1418017-1 is not prime. Res64: 00A80C54D185C92C Time : 0.0 sec. user=mdettweiler [2015-12-24 03:16:58] 937*2^1418017-1 is not prime. Res64: FC6A3B17F8A2318C Time : 0.0 sec. user=mdettweiler [2015-12-24 03:16:58] 847*2^1418017-1 is not prime. Res64: D5C2081D1192A304 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:16:58] 861*2^1418017-1 is not prime. Res64: 2BFEC603641EADF0 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:34:28] 755*2^1418018-1 is not prime. Res64: 830AE7975CC9C796 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:34:29] 985*2^1418017-1 is not prime. Res64: 362844556A763428 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:34:30] 617*2^1418018-1 is not prime. Res64: 4C4071D342FFE4F1 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:34:30] 791*2^1418018-1 is not prime. Res64: 338EAD7269802B21 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:52:26] 663*2^1418019-1 is not prime. Res64: 0FFAD6C93B2AD55E Time : 0.0 sec. user=mdettweiler [2015-12-24 03:52:26] 845*2^1418018-1 is not prime. Res64: 649A07C4B1731828 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:52:26] 691*2^1418019-1 is not prime. Res64: BC743CFF768E05F8 Time : 0.0 sec. user=mdettweiler [2015-12-24 03:52:26] 619*2^1418019-1 is not prime. Res64: 221BC05459D15C0F Time : 0.0 sec. user=mdettweiler [2015-12-24 04:09:58] 693*2^1418020-1 is not prime. Res64: 870CE3CA968006AA Time : 0.0 sec. user=mdettweiler [2015-12-24 04:09:58] 951*2^1418019-1 is not prime. Res64: 54A75A5F22C2A713 Time : 0.0 sec. user=mdettweiler [2015-12-24 04:09:58] 695*2^1418020-1 is not prime. Res64: 889B1B9621C85BEB Time : 0.0 sec. user=mdettweiler [2015-12-24 04:09:58] 647*2^1418020-1 is not prime. Res64: 0B1228F447C01091 Time : 0.0 sec. user=mdettweiler [2015-12-24 04:27:28] 959*2^1418020-1 is not prime. Res64: 795A37DDC5D3E920 Time : 0.0 sec. user=mdettweiler [2015-12-24 04:27:28] 615*2^1418021-1 is not prime. Res64: 34CD2DE9941F2586 Time : 0.0 sec. user=mdettweiler [2015-12-24 04:27:28] 777*2^1418020-1 is not prime. Res64: 7BA510695B69B447 Time : 0.0 sec. user=mdettweiler [2015-12-24 04:27:29] 855*2^1418020-1 is not prime. Res64: 223ADD64A85B22EC Time : 0.0 sec. user=mdettweiler [2015-12-24 04:44:58] 747*2^1418021-1 is not prime. Res64: 9436681CA6A57148 Time : 0.0 sec. user=mdettweiler [2015-12-24 04:44:58] 871*2^1418021-1 is not prime. Res64: 780AFF52AC07B1AE Time : 0.0 sec. user=mdettweiler [2015-12-24 04:44:59] 679*2^1418021-1 is not prime. Res64: 2D929F5509B89E6E Time : 0.0 sec. user=mdettweiler [2015-12-24 04:44:59] 745*2^1418021-1 is not prime. Res64: 4FA14D26AD3FA4B7 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:02:27] 907*2^1418021-1 is not prime. Res64: 2985F0F1BC3FABC8 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:02:28] 981*2^1418021-1 is not prime. Res64: 5BE528CE952B17DA Time : 0.0 sec. user=mdettweiler [2015-12-24 05:02:30] 931*2^1418021-1 is not prime. Res64: 91651DF49B854314 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:02:31] 611*2^1418022-1 is not prime. Res64: E84D739864999E2E Time : 0.0 sec. user=mdettweiler [2015-12-24 05:20:24] 621*2^1418022-1 is not prime. Res64: 00AAA1FDACE310AE Time : 0.0 sec. user=mdettweiler [2015-12-24 05:20:25] 693*2^1418022-1 is not prime. Res64: 15E7DF4EEA66279A Time : 0.0 sec. user=mdettweiler [2015-12-24 05:20:25] 777*2^1418022-1 is not prime. Res64: AE4D9036BB2E7950 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:20:26] 903*2^1418022-1 is not prime. Res64: CE0B3A56C5D54D1C Time : 0.0 sec. user=mdettweiler [2015-12-24 05:37:55] 735*2^1418023-1 is not prime. Res64: 406B0DA9DBB86516 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:37:55] 633*2^1418023-1 is not prime. Res64: 6C5EBDCA58D6D38E Time : 0.0 sec. user=mdettweiler [2015-12-24 05:37:55] 741*2^1418023-1 is not prime. Res64: 9D44C95046A320F3 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:37:55] 705*2^1418023-1 is not prime. Res64: 1280BB2856028DA6 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:55:24] 771*2^1418023-1 is not prime. Res64: DFFE51F6AA0B1D90 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:55:24] 783*2^1418023-1 is not prime. Res64: 96DE4EAC6FE901B2 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:55:24] 855*2^1418023-1 is not prime. Res64: C3F65BA1926299D2 Time : 0.0 sec. user=mdettweiler [2015-12-24 05:55:25] 883*2^1418023-1 is not prime. Res64: 54B17EDDDC0DE648 Time : 0.0 sec. user=mdettweiler [2015-12-24 06:12:54] 645*2^1418024-1 is not prime. Res64: 68D4FB7789B1DF86 Time : 0.0 sec. user=mdettweiler [2015-12-24 06:12:54] 893*2^1418024-1 is not prime. Res64: D963DE2BB6142D12 Time : 0.0 sec. user=mdettweiler [2015-12-24 06:12:55] 915*2^1418024-1 is not prime. Res64: 8A412608B0C27DDF Time : 0.0 sec. user=mdettweiler [2015-12-24 06:12:55] 837*2^1418024-1 is not prime. Res64: 18A02DDEB7C0C5E9 Time : 0.0 sec. user=mdettweiler [2015-12-24 06:30:27] 927*2^1418024-1 is not prime. Res64: BD442B5AC8D6A82F Time : 0.0 sec. user=mdettweiler [2015-12-24 06:30:27] 935*2^1418024-1 is not prime. Res64: 93EAEBBA74998A6C Time : 0.0 sec. user=mdettweiler [2015-12-24 06:30:28] 945*2^1418024-1 is not prime. Res64: 22F91BA4AA27345A Time : 0.0 sec. user=mdettweiler [2015-12-24 06:30:28] 609*2^1418025-1 is not prime. Res64: 47D55B36BE972B06 Time : 0.0 sec. user=mdettweiler [2015-12-24 06:47:56] 847*2^1418025-1 is not prime. Res64: 3E180E31D26244F7 Time : 0.0 sec. user=mdettweiler [2015-12-24 06:47:56] 627*2^1418025-1 is not prime. Res64: 3EFDD1E78BDC72FD Time : 0.0 sec. user=mdettweiler [2015-12-24 06:47:56] 861*2^1418025-1 is not prime. Res64: 615235209F47F08F Time : 0.0 sec. user=mdettweiler [2015-12-24 06:47:57] 819*2^1418025-1 is not prime. Res64: 91837F47AA3D85B1 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:05:28] 921*2^1418025-1 is not prime. Res64: A4C25AC790021806 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:05:28] 877*2^1418025-1 is not prime. Res64: 2C6DA4B51416E4FF Time : 0.0 sec. user=mdettweiler [2015-12-24 07:05:30] 975*2^1418025-1 is not prime. Res64: 01F54B3ADBF01C79 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:05:30] 895*2^1418025-1 is not prime. Res64: 35E69B516ABF1790 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:23:02] 783*2^1418026-1 is not prime. Res64: 8AD046DB33AA190D Time : 0.0 sec. user=mdettweiler [2015-12-24 07:23:02] 713*2^1418026-1 is not prime. Res64: D0397C5942556B70 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:23:03] 891*2^1418026-1 is not prime. Res64: BB57C060CDA3F35D Time : 0.0 sec. user=mdettweiler [2015-12-24 07:23:03] 755*2^1418026-1 is not prime. Res64: 99609F2DEAF741A8 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:40:32] 669*2^1418027-1 is not prime. Res64: 0860C4DB3FF5C714 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:40:32] 871*2^1418027-1 is not prime. Res64: F0B1448DE8E36996 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:40:32] 711*2^1418027-1 is not prime. Res64: 7726C6BC908F9F52 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:40:33] 885*2^1418027-1 is not prime. Res64: 99A0D481B68B5E54 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:58:02] 895*2^1418027-1 is not prime. Res64: 027F777B3C7B899C Time : 0.0 sec. user=mdettweiler [2015-12-24 07:58:02] 979*2^1418027-1 is not prime. Res64: D4FBE72AFA9DC0D2 Time : 0.0 sec. user=mdettweiler [2015-12-24 07:58:03] 973*2^1418027-1 is not prime. Res64: A2F84CCCDF0C7DFE Time : 0.0 sec. user=mdettweiler [2015-12-24 07:58:03] 981*2^1418027-1 is not prime. Res64: BE8506FCF79AD876 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:15:32] 629*2^1418028-1 is not prime. Res64: 4E98B154040CAE4A Time : 0.0 sec. user=mdettweiler [2015-12-24 08:15:32] 999*2^1418027-1 is not prime. Res64: 3CEC3F0B8F823741 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:15:33] 689*2^1418028-1 is not prime. Res64: B6E1B5B6B75A1F82 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:15:33] 605*2^1418028-1 is not prime. Res64: 57F2D68DD24F6EE5 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:33:02] 725*2^1418028-1 is not prime. Res64: E29E14AB65EE61B0 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:33:02] 795*2^1418028-1 is not prime. Res64: CD1DF78BFC47D0A0 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:33:02] 789*2^1418028-1 is not prime. Res64: F65598CDD4C8EF9E Time : 0.0 sec. user=mdettweiler [2015-12-24 08:33:02] 845*2^1418028-1 is not prime. Res64: F34956F50E8CAF86 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:50:33] 909*2^1418028-1 is not prime. Res64: 516CBF3741C2DEF1 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:50:33] 615*2^1418029-1 is not prime. Res64: C3D843F386CCED3E Time : 0.0 sec. user=mdettweiler [2015-12-24 08:50:33] 945*2^1418028-1 is not prime. Res64: 8939C1B367D02E46 Time : 0.0 sec. user=mdettweiler [2015-12-24 08:50:33] 741*2^1418029-1 is not prime. Res64: 8D88DD278E04C2BD Time : 0.0 sec. user=mdettweiler [2015-12-24 09:08:01] 895*2^1418029-1 is not prime. Res64: 7B7274B1321B5D16 Time : 0.0 sec. user=mdettweiler [2015-12-24 09:08:02] 623*2^1418030-1 is not prime. Res64: 24D61F8FB571E799 Time : 0.0 sec. user=mdettweiler [2015-12-24 09:08:02] 605*2^1418030-1 is not prime. Res64: DCF65650CA60DAE3 Time : 0.0 sec. user=mdettweiler [2015-12-24 09:08:02] 657*2^1418030-1 is not prime. Res64: FD206D2DEBBB9603 Time : 0.0 sec. user=mdettweiler [2015-12-24 09:25:32] 831*2^1418030-1 is not prime. Res64: 353AC01723FD0ACC Time : 0.0 sec. user=mdettweiler [2015-12-24 09:25:32] 917*2^1418030-1 is not prime. Res64: E9FDF5FA5DC05825 Time : 0.0 sec. user=mdettweiler [2015-12-24 09:25:33] 861*2^1418030-1 is not prime. Res64: D94AC7D274964851 Time : 0.0 sec. user=mdettweiler [2015-12-24 09:25:33] 957*2^1418030-1 is not prime. Res64: BBFA59555B4C537C Time : 0.0 sec. user=mdettweiler [2015-12-24 09:43:01] 823*2^1418031-1 is not prime. Res64: 28BB3CEC3E9E282E Time : 0.0 sec. user=mdettweiler [2015-12-24 09:43:02] 861*2^1418031-1 is not prime. Res64: 1D9F7DF80F415AE8 Time : 0.0 sec. user=mdettweiler [2015-12-24 09:43:02] 955*2^1418031-1 is not prime. Res64: 22C7347C492AEC7B Time : 0.0 sec. user=mdettweiler [2015-12-24 09:43:02] 961*2^1418031-1 is not prime. Res64: 764A1644407E8E0A Time : 0.0 sec. user=mdettweiler [2015-12-24 10:00:32] 719*2^1418032-1 is not prime. Res64: 0B9B1DEE6294D316 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:00:32] 765*2^1418032-1 is not prime. Res64: B278FD18982CDC88 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:00:33] 819*2^1418032-1 is not prime. Res64: F00BEDF5730312D8 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:00:33] 747*2^1418032-1 is not prime. Res64: 096DD1D9B7946D03 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:18:04] 849*2^1418032-1 is not prime. Res64: 1F9635C72FE1459B Time : 0.0 sec. user=mdettweiler [2015-12-24 10:18:04] 855*2^1418032-1 is not prime. Res64: 5BA22C765D300266 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:18:05] 917*2^1418032-1 is not prime. Res64: 5CEAD27C2181B77F Time : 0.0 sec. user=mdettweiler [2015-12-24 10:18:05] 975*2^1418032-1 is not prime. Res64: 6E64C5EEDDBE9529 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:35:35] 983*2^1418032-1 is not prime. Res64: 891154DDD13F6978 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:35:36] 615*2^1418033-1 is not prime. Res64: E35682F6A22A76CA Time : 0.0 sec. user=mdettweiler [2015-12-24 10:35:36] 685*2^1418033-1 is not prime. Res64: 83443E57CD8879B1 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:35:36] 727*2^1418033-1 is not prime. Res64: FA9A7D98BEA97EAE Time : 0.0 sec. user=mdettweiler [2015-12-24 10:53:05] 729*2^1418033-1 is not prime. Res64: 6A7638168BE5CC09 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:53:05] 805*2^1418033-1 is not prime. Res64: 985BC9BA10BAB237 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:53:06] 847*2^1418033-1 is not prime. Res64: A8DDEA1106C80001 Time : 0.0 sec. user=mdettweiler [2015-12-24 10:53:06] 781*2^1418033-1 is not prime. Res64: 4BE2C8984DB48005 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:10:41] 949*2^1418033-1 is not prime. Res64: 6C14E5419544C053 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:10:41] 755*2^1418034-1 is not prime. Res64: 44A22DFED57B2F95 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:10:42] 833*2^1418034-1 is not prime. Res64: D095FC7EADB3DD46 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:10:43] 891*2^1418034-1 is not prime. Res64: 50D9B0DE2935B46D Time : 0.0 sec. user=mdettweiler [2015-12-24 11:28:20] 619*2^1418035-1 is not prime. Res64: 73A2C01189273421 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:28:21] 625*2^1418035-1 is not prime. Res64: 9A4647B2C86D47B4 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:28:21] 923*2^1418034-1 is not prime. Res64: A17E74DB91035613 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:28:21] 945*2^1418034-1 is not prime. Res64: ABAA862D67DE5F2A Time : 0.0 sec. user=mdettweiler [2015-12-24 11:46:01] 771*2^1418035-1 is not prime. Res64: 386EBD172B52A580 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:46:01] 699*2^1418035-1 is not prime. Res64: BDFA2784192E8B34 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:46:02] 859*2^1418035-1 is not prime. Res64: 3DAC5A58ED5802F2 Time : 0.0 sec. user=mdettweiler [2015-12-24 11:46:02] 723*2^1418035-1 is not prime. Res64: 45555173A11B06AF Time : 0.0 sec. user=mdettweiler [2015-12-24 12:03:31] 659*2^1418036-1 is not prime. Res64: 8C536DE67977FD78 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:03:33] 683*2^1418036-1 is not prime. Res64: 4B87C1CB581F3FAC Time : 0.0 sec. user=mdettweiler [2015-12-24 12:03:33] 677*2^1418036-1 is not prime. Res64: 46A2184A8BC3C3E0 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:03:34] 693*2^1418036-1 is not prime. Res64: 97BE8D95467D7207 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:21:29] 707*2^1418036-1 is not prime. Res64: EC3843F2DB66E146 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:21:29] 735*2^1418036-1 is not prime. Res64: 1BF8E6B00B91FBB5 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:21:30] 777*2^1418036-1 is not prime. Res64: 213DACC25BFA3CFF Time : 0.0 sec. user=mdettweiler [2015-12-24 12:21:31] 845*2^1418036-1 is not prime. Res64: 93363B1EC958E3C2 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:38:58] 669*2^1418037-1 is not prime. Res64: 45C33BDA0A18DFB3 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:38:59] 675*2^1418037-1 is not prime. Res64: 7F7DE977E6FDBFAD Time : 0.0 sec. user=mdettweiler [2015-12-24 12:38:59] 741*2^1418037-1 is not prime. Res64: CD498E2134339229 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:38:59] 891*2^1418037-1 is not prime. Res64: F15B0297232F5E5C Time : 0.0 sec. user=mdettweiler [2015-12-24 12:56:28] 949*2^1418037-1 is not prime. Res64: 9E5C107170C4348D Time : 0.0 sec. user=mdettweiler [2015-12-24 12:56:28] 605*2^1418038-1 is not prime. Res64: B252C4ED6B56DD5E Time : 0.0 sec. user=mdettweiler [2015-12-24 12:56:29] 677*2^1418038-1 is not prime. Res64: F9239DD30621B721 Time : 0.0 sec. user=mdettweiler [2015-12-24 12:56:29] 747*2^1418038-1 is not prime. Res64: D4276EAD47BBA1CE Time : 0.0 sec. user=mdettweiler [2015-12-24 13:14:03] 861*2^1418038-1 is not prime. Res64: 82E070340F82EB7C Time : 0.0 sec. user=mdettweiler [2015-12-24 13:14:03] 995*2^1418038-1 is not prime. Res64: 6EFAF02B55860D49 Time : 0.0 sec. user=mdettweiler [2015-12-24 13:14:03] 863*2^1418038-1 is not prime. Res64: 1314DFD23995B31D Time : 0.0 sec. user=mdettweiler [2015-12-24 13:14:03] 1001*2^1418038-1 is not prime. Res64: 04B6B821D2EC59C9 Time : 0.0 sec. user=mdettweiler [2015-12-24 13:31:35] 759*2^1418039-1 is not prime. Res64: 83BB6D780511AA93 Time : 0.0 sec. user=mdettweiler [2015-12-24 13:31:35] 949*2^1418039-1 is not prime. Res64: 62C295B4A48017E1 Time : 0.0 sec. user=mdettweiler [2015-12-24 13:31:36] 661*2^1418039-1 is not prime. Res64: BFEE0FA87D97AAEE Time : 0.0 sec. user=mdettweiler [2015-12-24 13:31:36] 745*2^1418039-1 is not prime. Res64: 8E6C2DA7E62721E4 Time : 0.0 sec. user=mdettweiler [2015-12-24 13:49:05] 999*2^1418039-1 is not prime. Res64: 4650A2487D8557F7 Time : 0.0 sec. user=mdettweiler [2015-12-24 13:49:06] 669*2^1418040-1 is not prime. Res64: 230DFC2861F8DBE9 Time : 0.0 sec. user=mdettweiler [2015-12-24 13:49:06] 845*2^1418040-1 is not prime. Res64: F666BD85AD481AE7 Time : 0.0 sec. user=mdettweiler [2015-12-24 13:49:06] 927*2^1418040-1 is not prime. Res64: 165F43F062AD1B03 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:06:37] 601*2^1418041-1 is not prime. Res64: C06BABB58B5A498D Time : 0.0 sec. user=mdettweiler [2015-12-24 14:06:37] 615*2^1418041-1 is not prime. Res64: 1F67EA67726901AC Time : 0.0 sec. user=mdettweiler [2015-12-24 14:06:38] 741*2^1418041-1 is not prime. Res64: AFF193E87EA5A255 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:06:38] 799*2^1418041-1 is not prime. Res64: CFF2FD14E28E5A62 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:24:15] 871*2^1418041-1 is not prime. Res64: 93A551F27012B88E Time : 0.0 sec. user=mdettweiler [2015-12-24 14:24:15] 819*2^1418041-1 is not prime. Res64: 77EBD42318B078EE Time : 0.0 sec. user=mdettweiler [2015-12-24 14:24:16] 951*2^1418041-1 is not prime. Res64: D59E1C0BADB38953 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:24:16] 847*2^1418041-1 is not prime. Res64: 5261BFD0C845AB3F Time : 0.0 sec. user=mdettweiler [2015-12-24 14:41:46] 975*2^1418041-1 is not prime. Res64: 358D740FC2BAFA82 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:41:46] 645*2^1418042-1 is not prime. Res64: 30C7F734CBA130C0 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:41:46] 751*2^1418043-1 is not prime. Res64: C6EAB392C29EC756 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:41:47] 853*2^1418043-1 is not prime. Res64: 11BCB897FA574950 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:59:16] 615*2^1418044-1 is not prime. Res64: AE507F6E0E6FED7F Time : 0.0 sec. user=mdettweiler [2015-12-24 14:59:17] 871*2^1418043-1 is not prime. Res64: 5F489F4727E86A5D Time : 0.0 sec. user=mdettweiler [2015-12-24 14:59:17] 743*2^1418044-1 is not prime. Res64: 1D6E82E674489E65 Time : 0.0 sec. user=mdettweiler [2015-12-24 14:59:17] 873*2^1418043-1 is not prime. Res64: 2616EDF0ADFEBF05 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:16:47] 691*2^1418045-1 is not prime. Res64: 36BEE61783635671 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:16:47] 775*2^1418045-1 is not prime. Res64: DBF5F477C4325D47 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:16:48] 843*2^1418044-1 is not prime. Res64: 91E23180ECB7A5E1 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:16:48] 903*2^1418044-1 is not prime. Res64: 2E6EBFA378060DFB Time : 0.0 sec. user=mdettweiler [2015-12-24 15:34:19] 871*2^1418045-1 is not prime. Res64: B7BB2AB4D9B1F8B1 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:34:20] 635*2^1418046-1 is not prime. Res64: 61FAEA00A0B04307 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:34:22] 725*2^1418046-1 is not prime. Res64: A4143A043EF4D278 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:34:22] 761*2^1418046-1 is not prime. Res64: C05F084036DCCF59 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:51:50] 765*2^1418046-1 is not prime. Res64: 1DC1786397E84E5A Time : 0.0 sec. user=mdettweiler [2015-12-24 15:51:50] 881*2^1418046-1 is not prime. Res64: 4BF8A9F1321F6081 Time : 0.0 sec. user=mdettweiler [2015-12-24 15:51:51] 971*2^1418046-1 is not prime. Res64: 4045354F5C38EFAE Time : 0.0 sec. user=mdettweiler [2015-12-24 15:51:52] 993*2^1418046-1 is not prime. Res64: 44361CF32DF6AA5A Time : 0.0 sec. user=mdettweiler [2015-12-24 16:09:21] 763*2^1418047-1 is not prime. Res64: 479A76F052AA65C2 Time : 0.0 sec. user=mdettweiler [2015-12-24 16:09:21] 663*2^1418047-1 is not prime. Res64: 6CF410C77BD11A57 Time : 0.0 sec. user=mdettweiler [2015-12-24 16:09:21] 939*2^1418047-1 is not prime. Res64: 427561B256257686 Time : 0.0 sec. user=mdettweiler [2015-12-24 16:09:21] 735*2^1418047-1 is not prime. Res64: 86DB80E3E0AA66C5 Time : 0.0 sec. user=mdettweiler [2015-12-24 16:26:54] 623*2^1418048-1 is not prime. Res64: A3AFC2320B099734 Time : 0.0 sec. user=mdettweiler [2015-12-24 16:26:55] 665*2^1418048-1 is not prime. Res64: 36D671A52DCE6BB1 Time : 0.0 sec. user=mdettweiler [2015-12-24 16:26:55] 945*2^1418047-1 is not prime. Res64: 31559D9BA62FE41D Time : 0.0 sec. user=mdettweiler [2015-12-24 16:26:55] 973*2^1418047-1 is not prime. Res64: 5FE0EF0DC40E1D2C Time : 0.0 sec. user=mdettweiler [2015-12-24 16:44:24] 839*2^1418048-1 is not prime. Res64: B53A6F73C3831F2E Time : 0.0 sec. user=mdettweiler [2015-12-24 16:44:25] 689*2^1418048-1 is not prime. Res64: 59E67B07D6E3C295 Time : 0.0 sec. user=mdettweiler [2015-12-24 16:44:25] 855*2^1418048-1 is not prime. Res64: 903FC06B4C1D2DC1 Time : 0.0 sec. user=mdettweiler [2015-12-24 16:44:25] 767*2^1418048-1 is not prime. Res64: 3890C828C170F581 Time : 0.0 sec. user=mdettweiler [2015-12-24 17:01:56] 609*2^1418049-1 is not prime. Res64: 02F14D6A2934E978 Time : 0.0 sec. user=mdettweiler [2015-12-24 17:01:56] 875*2^1418048-1 is not prime. Res64: 157CEB3F04525C7A Time : 0.0 sec. user=mdettweiler [2015-12-24 17:01:57] 649*2^1418049-1 is not prime. Res64: A9C6A13EED2B461A Time : 0.0 sec. user=mdettweiler [2015-12-24 17:01:57] 893*2^1418048-1 is not prime. Res64: 5600FB6DBE5E0C2B Time : 0.0 sec. user=mdettweiler [2015-12-24 17:19:45] 711*2^1418049-1 is not prime. Res64: 0DAB7CA4680A54C5 Time : 0.0 sec. user=mdettweiler [2015-12-24 17:19:46] 667*2^1418049-1 is not prime. Res64: E3A43BC939C6500E Time : 0.0 sec. user=mdettweiler [2015-12-24 17:19:46] 765*2^1418049-1 is not prime. Res64: 2FC88541A226E785 Time : 0.0 sec. user=mdettweiler [2015-12-24 17:19:46] 679*2^1418049-1 is not prime. Res64: FE23A97241CABF18 Time : 0.0 sec. user=mdettweiler [2015-12-24 17:37:15] 675*2^1418050-1 is not prime. Res64: 1CC461BBCFCC127F Time : 0.0 sec. user=mdettweiler [2015-12-24 17:37:16] 769*2^1418049-1 is not prime. Res64: BE0E6DB8ED838C19 Time : 0.0 sec. user=mdettweiler [2015-12-24 17:37:16] 687*2^1418050-1 is not prime. Res64: DCEA31D77DB1C7CE Time : 0.0 sec. user=mdettweiler [2015-12-24 17:37:16] 909*2^1418049-1 is not prime. Res64: 687171A9F70D3A17 Time : 0.0 sec. user=mdettweiler [2015-12-24 17:54:45] 765*2^1418050-1 is not prime. Res64: C378E37C284D7D3F Time : 0.0 sec. user=mdettweiler [2015-12-24 17:54:45] 783*2^1418050-1 is not prime. Res64: 89E5AF0E701AE3E8 Time : 0.0 sec. user=mdettweiler [2015-12-24 17:54:45] 777*2^1418050-1 is not prime. Res64: CBC50D0A01514FDB Time : 0.0 sec. user=mdettweiler [2015-12-24 17:54:46] 917*2^1418050-1 is not prime. Res64: E0DD78C967CAD8CB Time : 0.0 sec. user=mdettweiler [2015-12-24 18:12:14] 643*2^1418051-1 is not prime. Res64: F69F0697D0D6ACBF Time : 0.0 sec. user=mdettweiler [2015-12-24 18:12:14] 933*2^1418050-1 is not prime. Res64: 0379D4BCADE84A72 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:12:15] 951*2^1418050-1 is not prime. Res64: 86AEE067119F2D89 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:12:15] 745*2^1418051-1 is not prime. Res64: 7D86AD26D6A149E5 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:29:48] 759*2^1418051-1 is not prime. Res64: 32EA451435984E08 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:29:48] 823*2^1418051-1 is not prime. Res64: AD1F9746FB04995B Time : 0.0 sec. user=mdettweiler [2015-12-24 18:29:48] 819*2^1418051-1 is not prime. Res64: F91DD39C291D4BF1 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:29:48] 939*2^1418051-1 is not prime. Res64: D22B9BE80B4AB0B4 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:47:17] 949*2^1418051-1 is not prime. Res64: 50B67146FC261B75 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:47:17] 765*2^1418052-1 is not prime. Res64: 280089B96AF1A643 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:47:17] 605*2^1418052-1 is not prime. Res64: 1904C7DCCA9EA6F3 Time : 0.0 sec. user=mdettweiler [2015-12-24 18:47:17] 777*2^1418052-1 is not prime. Res64: 3C8A0713071DEB40 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:04:47] 837*2^1418052-1 is not prime. Res64: FF4ED8D525AD49CE Time : 0.0 sec. user=mdettweiler [2015-12-24 19:04:47] 879*2^1418052-1 is not prime. Res64: 8368423C207DE5ED Time : 0.0 sec. user=mdettweiler [2015-12-24 19:04:48] 857*2^1418052-1 is not prime. Res64: 221A6EA29F934A23 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:04:49] 649*2^1418053-1 is not prime. Res64: 09BAD2AD9B846383 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:22:44] 747*2^1418053-1 is not prime. Res64: BB181CE8EF85AD01 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:22:45] 771*2^1418053-1 is not prime. Res64: 11069F212863D290 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:22:46] 855*2^1418053-1 is not prime. Res64: 3E20DAFA86B09C24 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:22:46] 861*2^1418053-1 is not prime. Res64: 65FC0A92FBD14CEE Time : 0.0 sec. user=mdettweiler [2015-12-24 19:40:14] 961*2^1418053-1 is not prime. Res64: 25CD9B78D858FCAF Time : 0.0 sec. user=mdettweiler [2015-12-24 19:40:15] 987*2^1418053-1 is not prime. Res64: CCFA09B3B2FC61D3 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:40:15] 999*2^1418053-1 is not prime. Res64: 8F5A0DF4C398A1D1 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:40:16] 617*2^1418054-1 is not prime. Res64: DEB42557F2FFB39F Time : 0.0 sec. user=mdettweiler [2015-12-24 19:57:45] 641*2^1418054-1 is not prime. Res64: F7363DAD911F037E Time : 0.0 sec. user=mdettweiler [2015-12-24 19:57:45] 665*2^1418054-1 is not prime. Res64: 40A5C5C5597E2E07 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:57:46] 677*2^1418054-1 is not prime. Res64: 535F285D1347D6F1 Time : 0.0 sec. user=mdettweiler [2015-12-24 19:57:46] 741*2^1418054-1 is not prime. Res64: 697821F9962D8A8E Time : 0.0 sec. user=mdettweiler [2015-12-24 20:15:15] 903*2^1418054-1 is not prime. Res64: 968D5A12166DA4D1 Time : 0.0 sec. user=mdettweiler [2015-12-24 20:15:15] 915*2^1418054-1 is not prime. Res64: 709B74BB5D225B7F Time : 0.0 sec. user=mdettweiler [2015-12-24 20:15:15] 917*2^1418054-1 is not prime. Res64: 87E15D6D41F2FF19 Time : 0.0 sec. user=mdettweiler [2015-12-24 20:15:16] 643*2^1418055-1 is not prime. Res64: 06888779ECC90F1F Time : 0.0 sec. user=mdettweiler [2015-12-24 20:32:44] 963*2^1418055-1 is not prime. Res64: 4C493CA5F9465654 Time : 0.0 sec. user=mdettweiler [2015-12-24 20:32:45] 693*2^1418056-1 is not prime. Res64: 1334B88D5750C37C Time : 0.0 sec. user=mdettweiler [2015-12-24 20:32:46] 755*2^1418056-1 is not prime. Res64: 0DFD204ED14EEF2E Time : 0.0 sec. user=mdettweiler [2015-12-24 20:32:46] 785*2^1418056-1 is not prime. Res64: F2099747878FD08B Time : 0.0 sec. user=mdettweiler [2015-12-24 20:50:14] 855*2^1418056-1 is not prime. Res64: 1E8F88E55B4E9AA2 Time : 0.0 sec. user=mdettweiler [2015-12-24 20:50:14] 917*2^1418056-1 is not prime. Res64: 8815132AE7C9C1DA Time : 0.0 sec. user=mdettweiler [2015-12-24 20:50:28] 989*2^1418056-1 is prime! Time : 0.0 sec. user=mdettweiler [2015-12-24 21:07:57] 727*2^1418057-1 is not prime. Res64: FD15F8D853A01D68 Time : 0.0 sec. user=mdettweiler [2015-12-24 21:07:58] 735*2^1418057-1 is not prime. Res64: 0B05425868CEF6CC Time : 0.0 sec. user=mdettweiler [2015-12-24 21:25:49] 741*2^1418057-1 is not prime. Res64: 5D6B4339927FA7CB Time : 0.0 sec. user=mdettweiler [2015-12-24 21:25:50] 795*2^1418057-1 is not prime. Res64: 91A9A8895361DCB9 Time : 0.0 sec. user=mdettweiler [2015-12-24 21:43:21] 949*2^1418057-1 is not prime. Res64: 86D701709A1DD904 Time : 0.0 sec. user=mdettweiler [2015-12-24 21:43:21] 955*2^1418057-1 is not prime. Res64: 41B1625D1D1111A9 Time : 0.0 sec. user=mdettweiler [2015-12-24 21:58:24] 607*2^1418057-1 is not prime. Res64: 4DAAD20B33B11DAE Time : 0.0 sec. user=mdettweiler [2015-12-24 22:00:51] 967*2^1418057-1 is not prime. Res64: 9683D3574F8AEB33 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:00:52] 707*2^1418058-1 is not prime. Res64: 1E5FF44F77DD8E73 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:15:54] 713*2^1418058-1 is not prime. Res64: 5236201F55A0CDD1 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:15:54] 765*2^1418058-1 is not prime. Res64: 8F6F8B54C28C27D8 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:18:26] 767*2^1418058-1 is not prime. Res64: 7C84FDFBD30B16C3 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:18:27] 921*2^1418058-1 is not prime. Res64: 5D077BFA7F527DD8 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:33:25] 945*2^1418058-1 is not prime. Res64: 4D036E5A8E387AC0 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:33:26] 649*2^1418059-1 is not prime. Res64: 9E9331714BB90052 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:35:55] 735*2^1418059-1 is not prime. Res64: 471CAADE943534AB Time : 0.0 sec. user=mdettweiler [2015-12-24 22:35:56] 741*2^1418059-1 is not prime. Res64: 0D021DDDCDA10A7F Time : 0.0 sec. user=mdettweiler [2015-12-24 22:50:55] 855*2^1418059-1 is not prime. Res64: 90CFEA1E476951BE Time : 0.0 sec. user=mdettweiler [2015-12-24 22:50:56] 677*2^1418060-1 is not prime. Res64: EA7FA826E69ECDA0 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:53:24] 707*2^1418060-1 is not prime. Res64: 290988022FBD0130 Time : 0.0 sec. user=mdettweiler [2015-12-24 22:53:25] 819*2^1418060-1 is not prime. Res64: 3CC901241ADD3BF0 Time : 0.0 sec. user=mdettweiler [2015-12-24 23:08:25] 839*2^1418060-1 is not prime. Res64: 8DD7F20C159DDFD9 Time : 0.0 sec. user=mdettweiler [2015-12-24 23:08:26] 893*2^1418060-1 is not prime. Res64: A7EAA8D9482F0D58 Time : 0.0 sec. user=mdettweiler [2015-12-24 23:10:53] 747*2^1418061-1 is not prime. Res64: F45F56914080A8EA Time : 0.0 sec. user=mdettweiler [2015-12-24 23:10:54] 777*2^1418061-1 is not prime. Res64: D4B59EC7D50A5A76 Time : 0.0 sec. user=mdettweiler [2015-12-24 23:25:57] 811*2^1418061-1 is not prime. Res64: C97993E440CA3B47 Time : 0.0 sec. user=mdettweiler [2015-12-24 23:25:57] 951*2^1418061-1 is not prime. Res64: 4EA6538FCD51C4FF Time : 0.0 sec. user=mdettweiler [2015-12-24 23:28:22] 955*2^1418061-1 is not prime. Res64: E30A4E09B51570FF Time : 0.0 sec. user=mdettweiler [2015-12-24 23:28:23] 617*2^1418062-1 is not prime. Res64: F541197F78492AAB Time : 0.0 sec. user=mdettweiler [2015-12-24 23:43:26] 791*2^1418062-1 is not prime. Res64: 8B7AB689BE105FD7 Time : 0.0 sec. user=mdettweiler [2015-12-24 23:43:26] 825*2^1418062-1 is not prime. Res64: A3184DCBD231B216 Time : 0.0 sec. user=mdettweiler [2015-12-24 23:45:52] 833*2^1418062-1 is not prime. Res64: 8CDA06ECC11AC02B Time : 0.0 sec. user=mdettweiler [2015-12-24 23:45:52] 663*2^1418063-1 is not prime. Res64: 3A1927DF575C283A Time : 0.0 sec. user=mdettweiler [2015-12-25 00:00:56] 811*2^1418063-1 is not prime. Res64: 9D3B6501C4EFC076 Time : 0.0 sec. user=mdettweiler [2015-12-25 00:00:56] 913*2^1418063-1 is not prime. Res64: A48E52CF6E77DB0A Time : 0.0 sec.