user=mdettweiler [2016-04-14 00:09:05] 799*2^1426189-1 is not prime. Res64: AE0A51AE65E57BF3 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:06] 663*2^1426190-1 is not prime. Res64: D4638ACC25D7BEE4 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:06] 743*2^1426190-1 is not prime. Res64: D645A6307BFA35A3 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:07] 785*2^1426190-1 is not prime. Res64: 8F41B7D29AAB839A Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:07] 827*2^1426190-1 is not prime. Res64: 885A18EF51787F94 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:51] 857*2^1426190-1 is not prime. Res64: E2AC0AE04DEA5411 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:51] 911*2^1426190-1 is not prime. Res64: C83E1284F5F0929A Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:52] 951*2^1426190-1 is not prime. Res64: EC9E1BFDF3939D74 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:52] 987*2^1426190-1 is not prime. Res64: 5E820FDCB31AC5A9 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:09:53] 615*2^1426191-1 is not prime. Res64: 6D80B67134751AE1 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:22:06] 649*2^1426191-1 is not prime. Res64: 4EEE31945E60AA17 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:22:06] 651*2^1426191-1 is not prime. Res64: 331BCB95DDAA2078 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:22:07] 781*2^1426191-1 is not prime. Res64: 2CDA6CAAFD527237 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:22:07] 805*2^1426191-1 is not prime. Res64: C1AAADE7B48CA3DC Time : 0.0 sec. user=mdettweiler [2016-04-14 00:22:08] 635*2^1426192-1 is not prime. Res64: 22F2B06583CD5738 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:38:26] 719*2^1426192-1 is not prime. Res64: B376B2534D19F3B7 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:38:26] 747*2^1426192-1 is not prime. Res64: FA0ED688539CA3F0 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:38:27] 777*2^1426192-1 is not prime. Res64: F9E243EFFD69C2E0 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:38:27] 827*2^1426192-1 is not prime. Res64: 84565AA760B99808 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:38:27] 959*2^1426192-1 is not prime. Res64: 655A93BF552A8574 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:53:48] 675*2^1426193-1 is not prime. Res64: BC3E4D66EE95AF05 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:53:49] 855*2^1426193-1 is not prime. Res64: 138CBDAE010AD452 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:53:49] 861*2^1426193-1 is not prime. Res64: BB7EF01B3D978398 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:53:50] 957*2^1426193-1 is not prime. Res64: 6251408E5339DA5A Time : 0.0 sec. user=mdettweiler [2016-04-14 00:53:50] 987*2^1426193-1 is not prime. Res64: FA95E5D5ECCE9C0E Time : 0.0 sec. user=mdettweiler [2016-04-14 00:54:35] 717*2^1426194-1 is not prime. Res64: 91CCF8B7B65629F0 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:54:35] 791*2^1426194-1 is not prime. Res64: CC6F2FDEB71E2F95 Time : 0.0 sec. user=mdettweiler [2016-04-14 00:54:36] 815*2^1426194-1 is not prime. Res64: D2A8E0478AC2B62F Time : 0.0 sec. user=mdettweiler [2016-04-14 00:54:36] 885*2^1426194-1 is not prime. Res64: F6D505428D335ECB Time : 0.0 sec. user=mdettweiler [2016-04-14 00:54:36] 941*2^1426194-1 is not prime. Res64: 0AD5341705B539B1 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:07:04] 957*2^1426194-1 is not prime. Res64: 526BE192F579A235 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:07:05] 639*2^1426195-1 is not prime. Res64: 2D21D9E108DE272F Time : 0.0 sec. user=mdettweiler [2016-04-14 01:07:06] 645*2^1426195-1 is not prime. Res64: 8F08F18F23A21A0D Time : 0.0 sec. user=mdettweiler [2016-04-14 01:07:07] 819*2^1426195-1 is not prime. Res64: D242200BFA83F66D Time : 0.0 sec. user=mdettweiler [2016-04-14 01:07:07] 939*2^1426195-1 is not prime. Res64: 945A40F990225727 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:23:07] 961*2^1426195-1 is not prime. Res64: BBFA7C23C415A495 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:23:07] 629*2^1426196-1 is not prime. Res64: B4439E01C322AD36 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:23:08] 633*2^1426196-1 is not prime. Res64: F3DE9C7E10A68787 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:23:08] 669*2^1426196-1 is not prime. Res64: 87BC5459214B2A66 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:23:08] 683*2^1426196-1 is not prime. Res64: 7786B48CC500BB5F Time : 0.0 sec. user=mdettweiler [2016-04-14 01:38:55] 707*2^1426196-1 is not prime. Res64: 994A72C62F56C4C5 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:38:56] 725*2^1426196-1 is not prime. Res64: 3E9A4E83A5DDCA64 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:38:56] 813*2^1426196-1 is not prime. Res64: ABB12CFEE5B9ABDD Time : 0.0 sec. user=mdettweiler [2016-04-14 01:38:57] 855*2^1426196-1 is not prime. Res64: C1FB0425745ECA27 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:38:57] 867*2^1426196-1 is not prime. Res64: 93DF9EDABD46A01A Time : 0.0 sec. user=mdettweiler [2016-04-14 01:39:42] 909*2^1426196-1 is not prime. Res64: BB734F113DAE713A Time : 0.0 sec. user=mdettweiler [2016-04-14 01:39:43] 625*2^1426197-1 is not prime. Res64: 4158D3D37A9020C5 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:39:43] 747*2^1426197-1 is not prime. Res64: 79A1E931BF31C61C Time : 0.0 sec. user=mdettweiler [2016-04-14 01:39:43] 759*2^1426197-1 is not prime. Res64: 27365FB85505A784 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:39:44] 825*2^1426197-1 is not prime. Res64: B89E6253419CF05F Time : 0.0 sec. user=mdettweiler [2016-04-14 01:51:54] 847*2^1426197-1 is not prime. Res64: 614D55C483DC0920 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:51:55] 815*2^1426198-1 is not prime. Res64: F4FEEA89CF7F5766 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:51:55] 827*2^1426198-1 is not prime. Res64: 611422EC0029DBD9 Time : 0.0 sec. user=mdettweiler [2016-04-14 01:51:55] 843*2^1426198-1 is not prime. Res64: 23E1E44D7A32FFDF Time : 0.0 sec. user=mdettweiler [2016-04-14 01:51:56] 915*2^1426198-1 is not prime. Res64: B5E689333B7087C1 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:07:46] 951*2^1426198-1 is not prime. Res64: 39D5A92B254C6D03 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:07:46] 987*2^1426198-1 is not prime. Res64: 364B42EE313D42F9 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:07:47] 601*2^1426199-1 is not prime. Res64: F0115D91BF36CC30 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:07:47] 693*2^1426199-1 is not prime. Res64: DDD74583C842E763 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:07:48] 775*2^1426199-1 is not prime. Res64: 83C97FFA0E555C0F Time : 0.0 sec. user=mdettweiler [2016-04-14 02:23:43] 939*2^1426199-1 is not prime. Res64: 153E4B00FCE63B6E Time : 0.0 sec. user=mdettweiler [2016-04-14 02:23:43] 629*2^1426200-1 is not prime. Res64: 4D14F5539CF820BE Time : 0.0 sec. user=mdettweiler [2016-04-14 02:23:44] 669*2^1426200-1 is not prime. Res64: 926348392122EC02 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:23:44] 713*2^1426200-1 is not prime. Res64: 82B08064383D238A Time : 0.0 sec. user=mdettweiler [2016-04-14 02:23:45] 723*2^1426200-1 is not prime. Res64: F76C1297C9CF4BBF Time : 0.0 sec. user=mdettweiler [2016-04-14 02:24:28] 789*2^1426200-1 is not prime. Res64: EFBE82279766F0F0 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:24:29] 797*2^1426200-1 is not prime. Res64: F7DE9ECBAE1704F7 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:24:29] 819*2^1426200-1 is not prime. Res64: 22EF56AB34F8B534 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:24:29] 843*2^1426200-1 is not prime. Res64: FF78B1FD78E65B7C Time : 0.0 sec. user=mdettweiler [2016-04-14 02:24:30] 959*2^1426200-1 is not prime. Res64: D40472BEA708330B Time : 0.0 sec. user=mdettweiler [2016-04-14 02:36:44] 983*2^1426200-1 is not prime. Res64: 98F682E2341BEF93 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:36:45] 819*2^1426201-1 is not prime. Res64: 86C8BF3B834E0718 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:36:45] 633*2^1426202-1 is not prime. Res64: 8E88E7EB60D454B8 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:36:46] 827*2^1426202-1 is not prime. Res64: 395FA7409C68495F Time : 0.0 sec. user=mdettweiler [2016-04-14 02:36:46] 887*2^1426202-1 is not prime. Res64: 8015B42939B2C3BE Time : 0.0 sec. user=mdettweiler [2016-04-14 02:52:42] 917*2^1426202-1 is not prime. Res64: 55D9E2B76AB767BD Time : 0.0 sec. user=mdettweiler [2016-04-14 02:52:43] 945*2^1426202-1 is not prime. Res64: E2C59B1933C5773F Time : 0.0 sec. user=mdettweiler [2016-04-14 02:52:43] 675*2^1426203-1 is not prime. Res64: D517565CFA6DA093 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:52:44] 739*2^1426203-1 is not prime. Res64: AB940B5044D5A849 Time : 0.0 sec. user=mdettweiler [2016-04-14 02:52:44] 795*2^1426203-1 is not prime. Res64: 93538CF9CAA5A18B Time : 0.0 sec. user=mdettweiler [2016-04-14 03:08:24] 861*2^1426203-1 is not prime. Res64: 21C104ECB4D84145 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:08:25] 871*2^1426203-1 is not prime. Res64: 83CC9D3E3792ADDE Time : 0.0 sec. user=mdettweiler [2016-04-14 03:08:25] 609*2^1426204-1 is not prime. Res64: 86F1CD91F8ECDAD4 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:08:26] 635*2^1426204-1 is not prime. Res64: F0E241C975CD7523 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:08:26] 677*2^1426204-1 is not prime. Res64: FAF4F8D6DC49C667 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:09:14] 705*2^1426204-1 is not prime. Res64: EFA644E84D477AD7 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:09:15] 707*2^1426204-1 is not prime. Res64: C57647BB80F95335 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:09:15] 773*2^1426204-1 is not prime. Res64: B6B3F3EFA831D5AC Time : 0.0 sec. user=mdettweiler [2016-04-14 03:09:15] 863*2^1426204-1 is not prime. Res64: 1967C6905C9BA0F8 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:09:16] 927*2^1426204-1 is not prime. Res64: 44A138C4F1CE5C7C Time : 0.0 sec. user=mdettweiler [2016-04-14 03:21:35] 975*2^1426204-1 is not prime. Res64: 52C55E2BEB339DC3 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:21:36] 627*2^1426205-1 is not prime. Res64: 0AEDB0C84391F840 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:21:36] 721*2^1426205-1 is not prime. Res64: B8B8AD1D74EDFA4F Time : 0.0 sec. user=mdettweiler [2016-04-14 03:21:36] 705*2^1426206-1 is not prime. Res64: 7713B53A6645F0F1 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:21:37] 777*2^1426206-1 is not prime. Res64: 86DF37D04425FF41 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:37:47] 873*2^1426206-1 is not prime. Res64: 536BA9910CB73F48 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:37:48] 609*2^1426207-1 is not prime. Res64: 5350ACAEA4C705DB Time : 0.0 sec. user=mdettweiler [2016-04-14 03:37:49] 651*2^1426207-1 is not prime. Res64: 1686202CA05810D9 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:37:50] 681*2^1426207-1 is not prime. Res64: 09FD8C371F3BA6B1 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:37:51] 715*2^1426207-1 is not prime. Res64: ED7022E53B1F6FDA Time : 0.0 sec. user=mdettweiler [2016-04-14 03:53:30] 831*2^1426207-1 is not prime. Res64: 08F471E8DBD0112A Time : 0.0 sec. user=mdettweiler [2016-04-14 03:53:30] 859*2^1426207-1 is not prime. Res64: FAD8FD5C3D4A819E Time : 0.0 sec. user=mdettweiler [2016-04-14 03:53:31] 975*2^1426207-1 is not prime. Res64: 085DD2567B10D694 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:53:32] 669*2^1426208-1 is not prime. Res64: 314A44A81B75D2F8 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:53:33] 725*2^1426208-1 is not prime. Res64: 5C9CABB214A8CA58 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:54:19] 825*2^1426208-1 is not prime. Res64: BE2DE84DD0FA2BD9 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:54:19] 993*2^1426208-1 is not prime. Res64: 4805D04FDD2871A9 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:54:20] 675*2^1426209-1 is not prime. Res64: 2DB668972A043A77 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:54:20] 765*2^1426209-1 is not prime. Res64: 1EA2919D96BDD352 Time : 0.0 sec. user=mdettweiler [2016-04-14 03:54:21] 909*2^1426209-1 is not prime. Res64: E865B1D200400794 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:07:08] 919*2^1426209-1 is not prime. Res64: 73BAC51BE079AD5B Time : 0.0 sec. user=mdettweiler [2016-04-14 04:07:08] 997*2^1426209-1 is not prime. Res64: 89F8E7CC527C28A9 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:07:09] 647*2^1426210-1 is not prime. Res64: 4C386C7C1E181215 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:07:09] 663*2^1426210-1 is not prime. Res64: 59850BB19C75F2BA Time : 0.0 sec. user=mdettweiler [2016-04-14 04:07:09] 755*2^1426210-1 is not prime. Res64: C729D4EC2C008DED Time : 0.0 sec. user=mdettweiler [2016-04-14 04:23:38] 831*2^1426210-1 is not prime. Res64: CBDD1F4BD8C0326E Time : 0.0 sec. user=mdettweiler [2016-04-14 04:23:39] 867*2^1426210-1 is not prime. Res64: 35C412ADF0D5A1CA Time : 0.0 sec. user=mdettweiler [2016-04-14 04:23:39] 941*2^1426210-1 is not prime. Res64: FCF03F513769C4EF Time : 0.0 sec. user=mdettweiler [2016-04-14 04:23:39] 615*2^1426211-1 is not prime. Res64: DC5813D4FA950FFD Time : 0.0 sec. user=mdettweiler [2016-04-14 04:23:40] 619*2^1426211-1 is not prime. Res64: E904CBAD788A4684 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:39:03] 669*2^1426211-1 is not prime. Res64: F8449EDDC2F98D9A Time : 0.0 sec. user=mdettweiler [2016-04-14 04:39:04] 673*2^1426211-1 is not prime. Res64: 85220AC89842306E Time : 0.0 sec. user=mdettweiler [2016-04-14 04:39:04] 703*2^1426211-1 is not prime. Res64: FE3D12FA72A9996B Time : 0.0 sec. user=mdettweiler [2016-04-14 04:39:04] 759*2^1426211-1 is not prime. Res64: 7CB40B75AD081267 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:39:05] 955*2^1426211-1 is not prime. Res64: 33D364DA4AA5C88B Time : 0.0 sec. user=mdettweiler [2016-04-14 04:40:32] 857*2^1426212-1 is not prime. Res64: B14291F30D1F1B9F Time : 0.0 sec. user=mdettweiler [2016-04-14 04:40:32] 893*2^1426212-1 is not prime. Res64: CC89E5B80CA87836 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:40:33] 983*2^1426212-1 is not prime. Res64: EDBF75EDD84FFAB0 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:40:33] 687*2^1426213-1 is not prime. Res64: 287EABAD9E712EE6 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:40:33] 769*2^1426213-1 is not prime. Res64: 9DF5ADE1C973CE6C Time : 0.0 sec. user=mdettweiler [2016-04-14 04:52:14] 819*2^1426213-1 is not prime. Res64: EA2E8D06D1CFEA1F Time : 0.0 sec. user=mdettweiler [2016-04-14 04:52:14] 897*2^1426213-1 is not prime. Res64: E90E64298F703717 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:52:14] 925*2^1426213-1 is not prime. Res64: 820C8885A57146B1 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:52:15] 617*2^1426214-1 is not prime. Res64: 02015147286D5081 Time : 0.0 sec. user=mdettweiler [2016-04-14 04:52:15] 635*2^1426214-1 is not prime. Res64: EFAE91D8819DC6BC Time : 0.0 sec. user=mdettweiler [2016-04-14 05:08:17] 705*2^1426214-1 is not prime. Res64: F0D7569DFD0086CB Time : 0.0 sec. user=mdettweiler [2016-04-14 05:08:18] 741*2^1426214-1 is not prime. Res64: 501C3517EAB251A9 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:08:18] 753*2^1426214-1 is not prime. Res64: E9F43292F12B185E Time : 0.0 sec. user=mdettweiler [2016-04-14 05:08:19] 773*2^1426214-1 is not prime. Res64: AE5847E1805A0D76 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:08:20] 791*2^1426214-1 is not prime. Res64: 9F1BC2AA5B2F9D98 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:23:37] 795*2^1426214-1 is not prime. Res64: 0957356741A95B44 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:23:37] 951*2^1426214-1 is not prime. Res64: 0E11BBF122BED242 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:23:38] 957*2^1426214-1 is not prime. Res64: 38EC458D31FA3F4D Time : 0.0 sec. user=mdettweiler [2016-04-14 05:23:38] 691*2^1426215-1 is not prime. Res64: 5886B0A7E3D37E60 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:23:38] 735*2^1426215-1 is not prime. Res64: 891C160270F2CF82 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:25:18] 765*2^1426215-1 is not prime. Res64: 89DFAEC9C44CE827 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:25:18] 793*2^1426215-1 is not prime. Res64: 4793A794A920FCA1 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:25:19] 823*2^1426215-1 is not prime. Res64: EAE9F82DF586A673 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:25:19] 831*2^1426215-1 is not prime. Res64: A13D9AD3854522E6 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:25:20] 849*2^1426215-1 is not prime. Res64: 1DDBF785E90DBFF5 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:36:54] 909*2^1426215-1 is not prime. Res64: 2902A02EC418B996 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:36:54] 921*2^1426215-1 is not prime. Res64: E4E1788CC659D6B4 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:36:55] 615*2^1426216-1 is not prime. Res64: 5B2FA379B4DB26A1 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:36:55] 693*2^1426216-1 is not prime. Res64: 404E1EBDC7A7CBDD Time : 0.0 sec. user=mdettweiler [2016-04-14 05:36:55] 717*2^1426216-1 is not prime. Res64: 5A761C45E3086793 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:53:14] 759*2^1426216-1 is not prime. Res64: 402E15E6702570EF Time : 0.0 sec. user=mdettweiler [2016-04-14 05:53:15] 813*2^1426216-1 is not prime. Res64: FC8DAD316017E420 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:53:15] 615*2^1426217-1 is not prime. Res64: C46245A37552E913 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:53:15] 619*2^1426217-1 is not prime. Res64: 889768C55882A0E6 Time : 0.0 sec. user=mdettweiler [2016-04-14 05:53:16] 675*2^1426217-1 is not prime. Res64: D5543CF03683D01F Time : 0.0 sec. user=mdettweiler [2016-04-14 06:08:27] 727*2^1426217-1 is not prime. Res64: 9181A75E2321308D Time : 0.0 sec. user=mdettweiler [2016-04-14 06:08:27] 781*2^1426217-1 is not prime. Res64: 8A9BAC40F77DA5A9 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:08:28] 861*2^1426217-1 is not prime. Res64: 37AE7069D7350D59 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:08:29] 879*2^1426217-1 is not prime. Res64: F9D73364DD9855D3 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:08:29] 635*2^1426218-1 is not prime. Res64: 364B455B48A7CA2D Time : 0.0 sec. user=mdettweiler [2016-04-14 06:10:09] 681*2^1426218-1 is not prime. Res64: F9E5E7BA3A6F5246 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:10:09] 801*2^1426218-1 is not prime. Res64: E862C3AD36ECA9EA Time : 0.0 sec. user=mdettweiler [2016-04-14 06:10:10] 815*2^1426218-1 is not prime. Res64: 1038AA412D5E07FD Time : 0.0 sec. user=mdettweiler [2016-04-14 06:10:10] 927*2^1426218-1 is not prime. Res64: 2CF52040BE8CB6CB Time : 0.0 sec. user=mdettweiler [2016-04-14 06:10:11] 945*2^1426218-1 is not prime. Res64: 223BD633D5DE6356 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:21:49] 649*2^1426219-1 is not prime. Res64: 19416355F94C83D2 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:21:50] 735*2^1426219-1 is not prime. Res64: 3E1B4B6676B8203B Time : 0.0 sec. user=mdettweiler [2016-04-14 06:21:50] 771*2^1426219-1 is not prime. Res64: 4622529253B223BF Time : 0.0 sec. user=mdettweiler [2016-04-14 06:21:51] 789*2^1426219-1 is not prime. Res64: 688F03F1CAE90822 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:21:51] 835*2^1426219-1 is not prime. Res64: 54F4EDE1DBE939E2 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:38:04] 853*2^1426219-1 is not prime. Res64: 6F84D18B85AB1696 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:38:04] 961*2^1426219-1 is not prime. Res64: 6577AD05F8A0DD2F Time : 0.0 sec. user=mdettweiler [2016-04-14 06:38:05] 993*2^1426219-1 is not prime. Res64: F6A4706A6E1E50F4 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:38:05] 603*2^1426220-1 is not prime. Res64: 2D569851F93EBF2F Time : 0.0 sec. user=mdettweiler [2016-04-14 06:38:06] 665*2^1426220-1 is not prime. Res64: CA0E06D603C6E407 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:53:07] 717*2^1426220-1 is not prime. Res64: 2C0B41B92D85986E Time : 0.0 sec. user=mdettweiler [2016-04-14 06:53:07] 753*2^1426220-1 is not prime. Res64: 31C5C7F43898AAAD Time : 0.0 sec. user=mdettweiler [2016-04-14 06:53:08] 785*2^1426220-1 is not prime. Res64: 3F349A36F3266FDD Time : 0.0 sec. user=mdettweiler [2016-04-14 06:53:08] 813*2^1426220-1 is not prime. Res64: 3DD414D2FE7F0F24 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:53:08] 825*2^1426220-1 is not prime. Res64: 994C6C7043CE2BD6 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:55:11] 839*2^1426220-1 is not prime. Res64: 7E099B600C2C4CD8 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:55:11] 609*2^1426221-1 is not prime. Res64: 4F43DDA91862850F Time : 0.0 sec. user=mdettweiler [2016-04-14 06:55:11] 627*2^1426221-1 is not prime. Res64: 2F4BB92119327128 Time : 0.0 sec. user=mdettweiler [2016-04-14 06:55:12] 711*2^1426221-1 is not prime. Res64: F0BA887D579D660B Time : 0.0 sec. user=mdettweiler [2016-04-14 06:55:12] 847*2^1426221-1 is not prime. Res64: C66D9B1E07786B44 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:06:52] 895*2^1426221-1 is not prime. Res64: DB44260832CDA105 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:06:53] 969*2^1426221-1 is not prime. Res64: 47BBF95F92C391D7 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:06:55] 647*2^1426222-1 is not prime. Res64: 00D2D0D1125990DC Time : 0.0 sec. user=mdettweiler [2016-04-14 07:06:56] 657*2^1426222-1 is not prime. Res64: CF8DC9AF9979DA23 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:06:58] 671*2^1426222-1 is not prime. Res64: 52E729A8537238E4 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:23:00] 747*2^1426222-1 is not prime. Res64: E4E5EAEBF06BA645 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:23:00] 945*2^1426222-1 is not prime. Res64: 1FFB657D9A9B1D2D Time : 0.0 sec. user=mdettweiler [2016-04-14 07:23:01] 983*2^1426222-1 is not prime. Res64: 76BCAE9C3EAC2FE8 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:23:01] 633*2^1426223-1 is not prime. Res64: 92B1ECD9A5AFCAFA Time : 0.0 sec. user=mdettweiler [2016-04-14 07:23:02] 673*2^1426223-1 is not prime. Res64: 9F79607B9C7E1DE5 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:38:15] 715*2^1426223-1 is not prime. Res64: EDB3FC16C57C27F6 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:38:16] 763*2^1426223-1 is not prime. Res64: 96398F0CCD088B6C Time : 0.0 sec. user=mdettweiler [2016-04-14 07:38:16] 781*2^1426223-1 is not prime. Res64: 28F828306B82D035 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:38:17] 861*2^1426223-1 is not prime. Res64: 59F675D578EA0550 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:38:17] 723*2^1426224-1 is not prime. Res64: 771DABE7AB9190CE Time : 0.0 sec. user=mdettweiler [2016-04-14 07:40:05] 747*2^1426224-1 is not prime. Res64: 3958B9BA3C578E90 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:40:05] 887*2^1426224-1 is not prime. Res64: A7C14A979AA3B195 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:40:06] 903*2^1426224-1 is not prime. Res64: 2B49890BE4E71765 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:40:06] 945*2^1426224-1 is not prime. Res64: 2766C81FA31679FF Time : 0.0 sec. user=mdettweiler [2016-04-14 07:40:06] 959*2^1426224-1 is not prime. Res64: FAF93E71B3B9362D Time : 0.0 sec. user=mdettweiler [2016-04-14 07:51:57] 601*2^1426225-1 is not prime. Res64: 86CDBEFB0C037ECB Time : 0.0 sec. user=mdettweiler [2016-04-14 07:51:57] 607*2^1426225-1 is not prime. Res64: 0304CC41D8B6CF00 Time : 0.0 sec. user=mdettweiler [2016-04-14 07:51:58] 667*2^1426225-1 is not prime. Res64: DF2A3DB070EB124B Time : 0.0 sec. user=mdettweiler [2016-04-14 07:51:58] 759*2^1426225-1 is not prime. Res64: 4078BA1CEE3EE66E Time : 0.0 sec. user=mdettweiler [2016-04-14 07:51:58] 789*2^1426225-1 is not prime. Res64: 59C985A28B38BCC5 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:07:52] 861*2^1426225-1 is not prime. Res64: 47D180F4F72EFC8C Time : 0.0 sec. user=mdettweiler [2016-04-14 08:07:53] 889*2^1426225-1 is not prime. Res64: DE2AA1757B9D8289 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:07:56] 785*2^1426226-1 is not prime. Res64: ED86DB0F959B6CE2 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:07:57] 893*2^1426226-1 is not prime. Res64: AF29467C47667DCE Time : 0.0 sec. user=mdettweiler [2016-04-14 08:07:58] 941*2^1426226-1 is not prime. Res64: B8174E99CEC09C32 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:22:57] 963*2^1426226-1 is not prime. Res64: 7D59CBB05DD6751D Time : 0.0 sec. user=mdettweiler [2016-04-14 08:22:57] 675*2^1426227-1 is not prime. Res64: 3FF4BFAB59E4BACF Time : 0.0 sec. user=mdettweiler [2016-04-14 08:22:58] 685*2^1426227-1 is not prime. Res64: 6DEF062C82804FF1 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:22:58] 753*2^1426227-1 is not prime. Res64: 016CD3D404C5E9B5 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:22:59] 819*2^1426227-1 is not prime. Res64: CE662E5B8ABD4D06 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:24:54] 903*2^1426227-1 is not prime. Res64: ABF2924ADD673C51 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:24:54] 909*2^1426227-1 is not prime. Res64: 3C8394045B72852A Time : 0.0 sec. user=mdettweiler [2016-04-14 08:24:55] 949*2^1426227-1 is not prime. Res64: F381C101AC0C12E4 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:24:55] 687*2^1426228-1 is not prime. Res64: 7FFED9109050A27F Time : 0.0 sec. user=mdettweiler [2016-04-14 08:24:56] 705*2^1426228-1 is not prime. Res64: 61A8B4A3D85391FA Time : 0.0 sec. user=mdettweiler [2016-04-14 08:36:54] 735*2^1426228-1 is not prime. Res64: B1746AEE182377EC Time : 0.0 sec. user=mdettweiler [2016-04-14 08:36:54] 777*2^1426228-1 is not prime. Res64: AFD80BBBCB3FDF93 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:36:54] 797*2^1426228-1 is not prime. Res64: D91D7787AC8E7297 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:36:55] 887*2^1426228-1 is not prime. Res64: 89F502F97833AA83 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:36:55] 619*2^1426229-1 is not prime. Res64: 12B3979D3B63D5E3 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:52:49] 729*2^1426229-1 is not prime. Res64: C26BBFFBFF1970F7 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:52:50] 867*2^1426229-1 is not prime. Res64: 36D9027A6E25AA1C Time : 0.0 sec. user=mdettweiler [2016-04-14 08:52:50] 889*2^1426229-1 is not prime. Res64: 64FC54443C17CD8F Time : 0.0 sec. user=mdettweiler [2016-04-14 08:52:50] 677*2^1426230-1 is not prime. Res64: 1A8DDB218812E850 Time : 0.0 sec. user=mdettweiler [2016-04-14 08:52:51] 755*2^1426230-1 is not prime. Res64: 8FE6350F815EA0EF Time : 0.0 sec. user=mdettweiler [2016-04-14 09:07:43] 861*2^1426230-1 is not prime. Res64: 8CFC3439F9B360E6 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:07:43] 863*2^1426230-1 is not prime. Res64: 7971042CC9C22A3E Time : 0.0 sec. user=mdettweiler [2016-04-14 09:07:44] 965*2^1426230-1 is not prime. Res64: E98B40A2CE3A3CBF Time : 0.0 sec. user=mdettweiler [2016-04-14 09:07:44] 603*2^1426231-1 is not prime. Res64: 2D1C0C64D386C28F Time : 0.0 sec. user=mdettweiler [2016-04-14 09:07:45] 619*2^1426231-1 is not prime. Res64: 7327E3F5EB648614 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:09:29] 709*2^1426231-1 is not prime. Res64: E6C1A2033167573B Time : 0.0 sec. user=mdettweiler [2016-04-14 09:09:29] 793*2^1426231-1 is not prime. Res64: C2D2EF78D2B8A347 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:09:30] 829*2^1426231-1 is not prime. Res64: E887654EA5DFBD24 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:09:30] 891*2^1426231-1 is not prime. Res64: 91557B1BB13CF1DA Time : 0.0 sec. user=mdettweiler [2016-04-14 09:09:30] 973*2^1426231-1 is not prime. Res64: 6FCAF5634BE37402 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:21:20] 665*2^1426232-1 is not prime. Res64: 478A87C9D9BC3D20 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:21:20] 837*2^1426232-1 is not prime. Res64: C68F8161AA8FF610 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:21:21] 873*2^1426232-1 is not prime. Res64: AFDEEB6A30BF7A30 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:21:21] 649*2^1426233-1 is not prime. Res64: 2B3D2E83140F5F8F Time : 0.0 sec. user=mdettweiler [2016-04-14 09:21:22] 685*2^1426233-1 is not prime. Res64: 4AEF429778F35108 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:37:26] 789*2^1426233-1 is not prime. Res64: 24277E3308C7EF94 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:37:26] 871*2^1426233-1 is not prime. Res64: A5CAAA23E3DCF165 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:37:27] 945*2^1426233-1 is not prime. Res64: 356A9206DE320747 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:37:27] 949*2^1426233-1 is not prime. Res64: 0F7DFBA8BA705892 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:37:28] 657*2^1426234-1 is not prime. Res64: DB67AB73B2BA0A57 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:52:25] 825*2^1426234-1 is not prime. Res64: 220E09A6ECBC6B3C Time : 0.0 sec. user=mdettweiler [2016-04-14 09:52:26] 857*2^1426234-1 is not prime. Res64: 329F92810EAA6122 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:52:26] 941*2^1426234-1 is not prime. Res64: 8BB3EEE1A6FBAAD9 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:52:26] 983*2^1426234-1 is not prime. Res64: 736E47457561249A Time : 0.0 sec. user=mdettweiler [2016-04-14 09:52:27] 987*2^1426234-1 is not prime. Res64: ECF3B1646C832F19 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:54:01] 643*2^1426235-1 is not prime. Res64: 7D7284E830EB9839 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:54:01] 699*2^1426235-1 is not prime. Res64: 8327AB10D2C91A70 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:54:01] 771*2^1426235-1 is not prime. Res64: A630281F4F5E37B8 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:54:02] 775*2^1426235-1 is not prime. Res64: 16FC9796C94FE259 Time : 0.0 sec. user=mdettweiler [2016-04-14 09:54:02] 783*2^1426235-1 is not prime. Res64: 6FF764319DC10A0A Time : 0.0 sec. user=mdettweiler [2016-04-14 10:05:48] 823*2^1426235-1 is not prime. Res64: 244EA6CEF2206B38 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:05:50] 853*2^1426235-1 is not prime. Res64: 86C204D58AE9FB84 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:05:51] 855*2^1426235-1 is not prime. Res64: DDC946AD7F207A2D Time : 0.0 sec. user=mdettweiler [2016-04-14 10:05:52] 861*2^1426235-1 is not prime. Res64: 69BB98A888BB6355 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:05:53] 921*2^1426235-1 is not prime. Res64: 916F0189FC18243D Time : 0.0 sec. user=mdettweiler [2016-04-14 10:22:02] 939*2^1426235-1 is not prime. Res64: 19BB8AF33C80BF19 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:22:02] 969*2^1426235-1 is not prime. Res64: CCED846246077DD4 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:22:03] 981*2^1426235-1 is not prime. Res64: B4B5A69DCF0D471E Time : 0.0 sec. user=mdettweiler [2016-04-14 10:22:03] 683*2^1426236-1 is not prime. Res64: A03B822D3DBE8EDB Time : 0.0 sec. user=mdettweiler [2016-04-14 10:22:03] 705*2^1426236-1 is not prime. Res64: 42E4B1526FE800CD Time : 0.0 sec. user=mdettweiler [2016-04-14 10:37:00] 749*2^1426236-1 is not prime. Res64: DC328C0E53D20EE0 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:37:01] 759*2^1426236-1 is not prime. Res64: 9469661F5B6D1D4B Time : 0.0 sec. user=mdettweiler [2016-04-14 10:37:01] 765*2^1426236-1 is not prime. Res64: 6E43531EA107C588 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:37:01] 867*2^1426236-1 is not prime. Res64: 57B96315E4FAB254 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:37:02] 875*2^1426236-1 is not prime. Res64: 5578CD3C60BCDA8E Time : 0.0 sec. user=mdettweiler [2016-04-14 10:38:34] 903*2^1426236-1 is not prime. Res64: BBF50C4E0C7FF5B2 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:38:34] 609*2^1426237-1 is not prime. Res64: F36E96AECA8EA9F7 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:38:35] 759*2^1426237-1 is not prime. Res64: 0F4A457C21A60B94 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:38:35] 847*2^1426237-1 is not prime. Res64: 2C58F91D20D050DD Time : 0.0 sec. user=mdettweiler [2016-04-14 10:38:35] 859*2^1426237-1 is not prime. Res64: EC379903BE8DED66 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:50:41] 967*2^1426237-1 is not prime. Res64: 94EDE11ECCBD8284 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:50:42] 979*2^1426237-1 is not prime. Res64: 22B42FEBC30E3912 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:50:42] 627*2^1426238-1 is not prime. Res64: 44559F738C8C3AFA Time : 0.0 sec. user=mdettweiler [2016-04-14 10:50:42] 687*2^1426238-1 is not prime. Res64: 9229DDC8D3DBECF2 Time : 0.0 sec. user=mdettweiler [2016-04-14 10:50:43] 827*2^1426238-1 is not prime. Res64: F3EAE7BE691A7C86 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:06:43] 911*2^1426238-1 is not prime. Res64: 69628FAFCBB00FB0 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:06:44] 971*2^1426238-1 is not prime. Res64: FA3954E83FD179F1 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:06:44] 601*2^1426239-1 is not prime. Res64: D36EF3A233698E9C Time : 0.0 sec. user=mdettweiler [2016-04-14 11:06:45] 685*2^1426239-1 is not prime. Res64: 6ADD5A78C4B295A5 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:06:45] 735*2^1426240-1 is not prime. Res64: 67C30C621C964360 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:21:24] 899*2^1426240-1 is not prime. Res64: 88B07114FB867537 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:21:25] 905*2^1426240-1 is not prime. Res64: 55BD75854802DA5A Time : 0.0 sec. user=mdettweiler [2016-04-14 11:21:26] 927*2^1426240-1 is not prime. Res64: C227E58568290574 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:21:26] 627*2^1426241-1 is not prime. Res64: AA3E8E6604F31065 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:21:27] 649*2^1426241-1 is not prime. Res64: 29C0E102B775690D Time : 0.0 sec. user=mdettweiler [2016-04-14 11:22:59] 669*2^1426241-1 is not prime. Res64: 087578CCFB70FEE5 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:22:59] 675*2^1426241-1 is not prime. Res64: 092628F0CAD65367 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:22:59] 781*2^1426241-1 is not prime. Res64: 0E5AE144CD205B51 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:23:00] 889*2^1426241-1 is not prime. Res64: A56B5909334893F2 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:23:00] 695*2^1426242-1 is not prime. Res64: 7A77664D1BAA483B Time : 0.0 sec. user=mdettweiler [2016-04-14 11:35:51] 723*2^1426242-1 is not prime. Res64: B7A4CEEC26A6D179 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:35:52] 723*2^1426243-1 is not prime. Res64: 8D6342569BE15DDE Time : 0.0 sec. user=mdettweiler [2016-04-14 11:35:52] 775*2^1426243-1 is not prime. Res64: 8180DD41488E4E65 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:35:53] 993*2^1426243-1 is not prime. Res64: 2EFFF7645E551F64 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:35:53] 609*2^1426244-1 is not prime. Res64: CDDBD3E2C6E37290 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:53:15] 615*2^1426244-1 is not prime. Res64: 70D619B72FD1BCA2 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:53:16] 635*2^1426244-1 is not prime. Res64: 118697888ACBEFDE Time : 0.0 sec. user=mdettweiler [2016-04-14 11:53:16] 759*2^1426244-1 is not prime. Res64: 1986920B9B406EBE Time : 0.0 sec. user=mdettweiler [2016-04-14 11:53:16] 789*2^1426244-1 is not prime. Res64: 635711FD2DAD39B5 Time : 0.0 sec. user=mdettweiler [2016-04-14 11:53:17] 993*2^1426244-1 is not prime. Res64: 3B709492143998FA Time : 0.0 sec. user=mdettweiler [2016-04-14 12:07:55] 601*2^1426245-1 is not prime. Res64: F29A62D48A3A6599 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:07:56] 655*2^1426245-1 is not prime. Res64: 3D4D3F9989A918BE Time : 0.0 sec. user=mdettweiler [2016-04-14 12:07:56] 721*2^1426245-1 is not prime. Res64: 1BD2DBCE63F5A895 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:07:57] 777*2^1426245-1 is not prime. Res64: 100E162CC578F5DE Time : 0.0 sec. user=mdettweiler [2016-04-14 12:07:57] 885*2^1426245-1 is not prime. Res64: 295C22FE0E5C760B Time : 0.0 sec. user=mdettweiler [2016-04-14 12:09:25] 915*2^1426245-1 is not prime. Res64: A2E57C57A09FDC1C Time : 0.0 sec. user=mdettweiler [2016-04-14 12:09:25] 937*2^1426245-1 is not prime. Res64: C04254044214430C Time : 0.0 sec. user=mdettweiler [2016-04-14 12:09:26] 969*2^1426245-1 is not prime. Res64: AC971D2C55E82B66 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:09:26] 695*2^1426246-1 is not prime. Res64: C73C072F644B68A8 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:09:27] 911*2^1426246-1 is not prime. Res64: A65712F8BEB98FEE Time : 0.0 sec. user=mdettweiler [2016-04-14 12:21:47] 923*2^1426246-1 is not prime. Res64: ED871ED931B92F17 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:21:48] 603*2^1426247-1 is not prime. Res64: 00480163421001B5 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:21:48] 655*2^1426247-1 is not prime. Res64: DC098B2DD8DE8269 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:21:48] 673*2^1426247-1 is not prime. Res64: 902FD7650819052C Time : 0.0 sec. user=mdettweiler [2016-04-14 12:21:49] 939*2^1426247-1 is not prime. Res64: 59D7F4D1A37F3088 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:38:02] 973*2^1426247-1 is not prime. Res64: 01B446B1DD792BB5 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:38:02] 633*2^1426248-1 is not prime. Res64: 597C949CCFC8641B Time : 0.0 sec. user=mdettweiler [2016-04-14 12:38:03] 845*2^1426248-1 is not prime. Res64: 3766E2F88B985D16 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:38:03] 933*2^1426248-1 is not prime. Res64: 608D4428D9A73233 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:38:03] 957*2^1426248-1 is not prime. Res64: FE3781D5D3249B5B Time : 0.0 sec. user=mdettweiler [2016-04-14 12:52:37] 771*2^1426249-1 is not prime. Res64: FE4549CDC3A8347D Time : 0.0 sec. user=mdettweiler [2016-04-14 12:52:37] 811*2^1426249-1 is not prime. Res64: 734FA92A1E51B136 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:52:38] 835*2^1426249-1 is not prime. Res64: 4597F7050CF7CEE9 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:52:38] 855*2^1426249-1 is not prime. Res64: E9CBBA419E815D05 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:52:38] 931*2^1426249-1 is not prime. Res64: CC4FFB87948754F2 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:54:27] 615*2^1426250-1 is not prime. Res64: C480827E2D8C4A49 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:54:27] 743*2^1426250-1 is not prime. Res64: 76DC8644D290C549 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:54:28] 783*2^1426251-1 is not prime. Res64: D68DCDDA88CC100E Time : 0.0 sec. user=mdettweiler [2016-04-14 12:54:28] 835*2^1426251-1 is not prime. Res64: ED988AE1A45142F1 Time : 0.0 sec. user=mdettweiler [2016-04-14 12:54:28] 873*2^1426251-1 is not prime. Res64: 6F85392624977193 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:06:26] 635*2^1426252-1 is not prime. Res64: 05F272903C3E5785 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:06:27] 687*2^1426252-1 is not prime. Res64: 7FA1BC70ED4E4EF7 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:06:28] 765*2^1426252-1 is not prime. Res64: 4CF0B0482B823BCE Time : 0.0 sec. user=mdettweiler [2016-04-14 13:06:29] 929*2^1426252-1 is not prime. Res64: 54AD25219659B4A4 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:06:30] 933*2^1426252-1 is not prime. Res64: 4E853398F44DC4A3 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:23:01] 615*2^1426253-1 is not prime. Res64: ED4FC59256779E0D Time : 0.0 sec. user=mdettweiler [2016-04-14 13:23:01] 619*2^1426253-1 is not prime. Res64: FBF1A1BD58A51C53 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:23:02] 775*2^1426253-1 is not prime. Res64: 5D5CB561D860011E Time : 0.0 sec. user=mdettweiler [2016-04-14 13:23:02] 867*2^1426253-1 is not prime. Res64: E9E3D20E3720ED64 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:23:03] 937*2^1426253-1 is not prime. Res64: 1EC3A7F2122F7E7B Time : 0.0 sec. user=mdettweiler [2016-04-14 13:38:02] 969*2^1426253-1 is not prime. Res64: B86C03C6FEBA82B8 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:38:03] 981*2^1426253-1 is not prime. Res64: 958D309D8895A036 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:38:03] 611*2^1426254-1 is not prime. Res64: 5A24329AACDD7791 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:38:04] 621*2^1426254-1 is not prime. Res64: 98050C4CDC1ED09F Time : 0.0 sec. user=mdettweiler [2016-04-14 13:38:04] 641*2^1426254-1 is not prime. Res64: 480CFA21EE31D788 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:40:18] 815*2^1426254-1 is not prime. Res64: 7E8067B535E2D1BE Time : 0.0 sec. user=mdettweiler [2016-04-14 13:40:18] 863*2^1426254-1 is not prime. Res64: 02C6C42BAD7845AF Time : 0.0 sec. user=mdettweiler [2016-04-14 13:40:18] 887*2^1426254-1 is not prime. Res64: 5FF385E0F7B536D7 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:40:18] 891*2^1426254-1 is not prime. Res64: 2770D5247C6A5C35 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:40:19] 951*2^1426254-1 is not prime. Res64: 1BB65EA47180E65F Time : 0.0 sec. user=mdettweiler [2016-04-14 13:54:37] 993*2^1426254-1 is not prime. Res64: 57690E04C3B5A195 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:54:38] 603*2^1426255-1 is not prime. Res64: 5F709C95FED9DAF9 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:54:38] 679*2^1426255-1 is not prime. Res64: A8DBA6BA6019B569 Time : 0.0 sec. user=mdettweiler [2016-04-14 13:54:38] 885*2^1426255-1 is not prime. Res64: 90E961798B55203B Time : 0.0 sec. user=mdettweiler [2016-04-14 13:54:38] 909*2^1426255-1 is not prime. Res64: 777922400B9D9C94 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:13:18] 933*2^1426255-1 is not prime. Res64: BDA2253F86C16F7D Time : 0.0 sec. user=mdettweiler [2016-04-14 14:13:19] 939*2^1426255-1 is not prime. Res64: 03C40C248105E8FA Time : 0.0 sec. user=mdettweiler [2016-04-14 14:13:19] 973*2^1426255-1 is not prime. Res64: F97AD42872F3E550 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:13:20] 615*2^1426256-1 is not prime. Res64: 2B6AEBAF410A9932 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:13:20] 903*2^1426256-1 is not prime. Res64: AE63590EAA7891A1 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:28:18] 935*2^1426256-1 is not prime. Res64: 6076A3876FA1148E Time : 0.0 sec. user=mdettweiler [2016-04-14 14:28:19] 969*2^1426256-1 is not prime. Res64: 0DA1E298E1BE70FE Time : 0.0 sec. user=mdettweiler [2016-04-14 14:28:19] 983*2^1426256-1 is not prime. Res64: 178E924595113295 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:28:19] 625*2^1426257-1 is not prime. Res64: 64141B461F782B54 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:28:20] 727*2^1426257-1 is not prime. Res64: DFFEA9326C4CC11E Time : 0.0 sec. user=mdettweiler [2016-04-14 14:30:09] 747*2^1426257-1 is not prime. Res64: 1E9E4A45EBB0B14D Time : 0.0 sec. user=mdettweiler [2016-04-14 14:30:10] 867*2^1426257-1 is not prime. Res64: 796A04AB6159E11A Time : 0.0 sec. user=mdettweiler [2016-04-14 14:30:10] 611*2^1426258-1 is not prime. Res64: 2BADFAA20EE76F31 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:30:10] 663*2^1426258-1 is not prime. Res64: 0223B10F07735B1A Time : 0.0 sec. user=mdettweiler [2016-04-14 14:30:11] 713*2^1426258-1 is not prime. Res64: F8A594EF83506D9C Time : 0.0 sec. user=mdettweiler [2016-04-14 14:42:02] 861*2^1426258-1 is not prime. Res64: F3E37D2EFEBEB534 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:42:03] 601*2^1426259-1 is not prime. Res64: B35818411A6E9384 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:42:03] 615*2^1426259-1 is not prime. Res64: 4DAFB6B125192266 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:42:04] 631*2^1426259-1 is not prime. Res64: 481BFFAA9BFAA4E6 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:42:04] 633*2^1426259-1 is not prime. Res64: 773A31993E56A0C0 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:58:30] 675*2^1426259-1 is not prime. Res64: 68C89692C032767D Time : 0.0 sec. user=mdettweiler [2016-04-14 14:58:31] 841*2^1426259-1 is not prime. Res64: E89FFD040554C370 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:58:31] 609*2^1426260-1 is not prime. Res64: 491FD31A12C9C0D1 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:58:32] 665*2^1426260-1 is not prime. Res64: CDB142712B108B86 Time : 0.0 sec. user=mdettweiler [2016-04-14 14:58:32] 669*2^1426260-1 is not prime. Res64: 5471ADBB44556B2B Time : 0.0 sec. user=mdettweiler [2016-04-14 15:13:26] 717*2^1426260-1 is not prime. Res64: 4E394719072E4932 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:13:26] 719*2^1426260-1 is not prime. Res64: 8F54157513DC6F05 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:13:27] 765*2^1426260-1 is not prime. Res64: D2F3BC22AAB7A8EF Time : 0.0 sec. user=mdettweiler [2016-04-14 15:13:27] 777*2^1426260-1 is not prime. Res64: 6F67CBB284D638BB Time : 0.0 sec. user=mdettweiler [2016-04-14 15:13:28] 965*2^1426260-1 is not prime. Res64: F01FE896EDBF5FE3 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:15:17] 619*2^1426261-1 is not prime. Res64: 24AB6392ECD87396 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:15:18] 639*2^1426261-1 is not prime. Res64: A4B4A059D28BC3B5 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:15:18] 691*2^1426261-1 is not prime. Res64: A6566B445A745CE7 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:15:19] 777*2^1426261-1 is not prime. Res64: 55983A9298192006 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:15:19] 805*2^1426261-1 is not prime. Res64: 6AA8CA21F2FFA007 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:26:44] 867*2^1426261-1 is not prime. Res64: 37821D556C273700 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:26:44] 939*2^1426261-1 is not prime. Res64: E79DC934D8C630C8 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:26:45] 979*2^1426261-1 is not prime. Res64: C368926F077F8F72 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:26:45] 741*2^1426262-1 is not prime. Res64: A526F0C6E51A5F38 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:26:46] 785*2^1426262-1 is not prime. Res64: AE90595FF04AB466 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:43:21] 951*2^1426262-1 is not prime. Res64: 29E038C21E61A43A Time : 0.0 sec. user=mdettweiler [2016-04-14 15:43:22] 953*2^1426262-1 is not prime. Res64: 55444D4487649460 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:43:22] 977*2^1426262-1 is not prime. Res64: DCE0261C98AF1A98 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:43:22] 649*2^1426263-1 is not prime. Res64: AEB48CE21938A955 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:43:23] 741*2^1426263-1 is not prime. Res64: F92EAC44C993C27E Time : 0.0 sec. user=mdettweiler [2016-04-14 15:58:13] 751*2^1426263-1 is not prime. Res64: 2287382C31797644 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:58:13] 829*2^1426263-1 is not prime. Res64: 9050C14C7EC71352 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:58:14] 853*2^1426263-1 is not prime. Res64: 026FCEBFFC12ED2D Time : 0.0 sec. user=mdettweiler [2016-04-14 15:58:14] 663*2^1426264-1 is not prime. Res64: 505116B4031543D5 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:58:14] 803*2^1426264-1 is not prime. Res64: D46C52F966BFCD71 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:59:56] 857*2^1426264-1 is not prime. Res64: CA9D60CE4E608055 Time : 0.0 sec. user=mdettweiler [2016-04-14 15:59:56] 989*2^1426264-1 is not prime. Res64: 69C71D11CCCC4C3A Time : 0.0 sec. user=mdettweiler [2016-04-14 15:59:57] 993*2^1426264-1 is not prime. Res64: B9015262B29ED65B Time : 0.0 sec. user=mdettweiler [2016-04-14 15:59:57] 675*2^1426265-1 is not prime. Res64: 83BD53FD9702EB1C Time : 0.0 sec. user=mdettweiler [2016-04-14 15:59:57] 799*2^1426265-1 is not prime. Res64: 57FDAB4450C38874 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:11:28] 831*2^1426265-1 is not prime. Res64: 0DE927A2445B1CF2 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:11:29] 861*2^1426265-1 is not prime. Res64: EF41A5806295F049 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:11:30] 897*2^1426265-1 is not prime. Res64: D07E63D8A895163B Time : 0.0 sec. user=mdettweiler [2016-04-14 16:11:30] 907*2^1426265-1 is not prime. Res64: 1FED09BF5CFE4E47 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:11:31] 981*2^1426265-1 is not prime. Res64: A7C25823A374A263 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:27:54] 985*2^1426265-1 is not prime. Res64: AE71A45A1B725184 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:27:55] 627*2^1426266-1 is not prime. Res64: 75E9E53279483B63 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:27:55] 641*2^1426266-1 is not prime. Res64: C4696A80B9007DF5 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:27:55] 717*2^1426266-1 is not prime. Res64: 6BDAF11A5DF998CA Time : 0.0 sec. user=mdettweiler [2016-04-14 16:27:56] 807*2^1426266-1 is not prime. Res64: AAC2A6ED0578F293 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:43:02] 861*2^1426266-1 is not prime. Res64: 7256F628DFA73A9F Time : 0.0 sec. user=mdettweiler [2016-04-14 16:43:02] 993*2^1426266-1 is not prime. Res64: E3CC7E37389518CD Time : 0.0 sec. user=mdettweiler [2016-04-14 16:43:02] 603*2^1426267-1 is not prime. Res64: F15E8AA62D2B1D05 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:43:03] 625*2^1426267-1 is not prime. Res64: CCA5ED18570897BC Time : 0.0 sec. user=mdettweiler [2016-04-14 16:43:03] 703*2^1426267-1 is not prime. Res64: 1B9BB4D345064BC8 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:44:32] 985*2^1426267-1 is not prime. Res64: 8EFE29BEF165452A Time : 0.0 sec. user=mdettweiler [2016-04-14 16:44:33] 623*2^1426268-1 is not prime. Res64: 0ED1772DD37F475C Time : 0.0 sec. user=mdettweiler [2016-04-14 16:44:33] 707*2^1426268-1 is not prime. Res64: 2FAF26F6A24C3742 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:44:33] 743*2^1426268-1 is not prime. Res64: 3632DE1E783A1765 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:44:34] 837*2^1426268-1 is not prime. Res64: E12B77CBF1437075 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:56:19] 845*2^1426268-1 is not prime. Res64: 62E5EFB2E3257444 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:56:19] 909*2^1426268-1 is not prime. Res64: E551F2D1DFB2887E Time : 0.0 sec. user=mdettweiler [2016-04-14 16:56:20] 609*2^1426269-1 is not prime. Res64: ABDAB0D5607F8249 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:56:20] 649*2^1426269-1 is not prime. Res64: 87266B9F5444F012 Time : 0.0 sec. user=mdettweiler [2016-04-14 16:56:20] 657*2^1426269-1 is not prime. Res64: BE10352B0FE9BC46 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:13:28] 669*2^1426269-1 is not prime. Res64: D1A7125CAC0FAD1D Time : 0.0 sec. user=mdettweiler [2016-04-14 17:13:29] 675*2^1426269-1 is not prime. Res64: B4427CCE073DF1FA Time : 0.0 sec. user=mdettweiler [2016-04-14 17:13:29] 781*2^1426269-1 is not prime. Res64: 8842D5061DE32CCC Time : 0.0 sec. user=mdettweiler [2016-04-14 17:13:30] 795*2^1426269-1 is not prime. Res64: 2CDD4696E1A8A5DC Time : 0.0 sec. user=mdettweiler [2016-04-14 17:13:30] 945*2^1426269-1 is not prime. Res64: DC92E900F0420ED2 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:29:21] 955*2^1426269-1 is not prime. Res64: 420E08784ECDD06F Time : 0.0 sec. user=mdettweiler [2016-04-14 17:29:22] 635*2^1426270-1 is not prime. Res64: 8EEAB391A6164FC7 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:29:22] 653*2^1426270-1 is not prime. Res64: D91F114DA71B67C7 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:29:22] 717*2^1426270-1 is not prime. Res64: 666E7B91F8702C88 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:29:23] 741*2^1426270-1 is not prime. Res64: AA000BD93D4F49E7 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:30:49] 827*2^1426270-1 is not prime. Res64: 403A4CE1D6E1C437 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:30:50] 971*2^1426270-1 is not prime. Res64: 296D59C211DFEF80 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:30:50] 651*2^1426271-1 is not prime. Res64: 794D851F4452A03F Time : 0.0 sec. user=mdettweiler [2016-04-14 17:30:50] 669*2^1426271-1 is not prime. Res64: 3B1DF2EF82F6403B Time : 0.0 sec. user=mdettweiler [2016-04-14 17:30:50] 715*2^1426271-1 is not prime. Res64: 097448113197A363 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:43:02] 745*2^1426271-1 is not prime. Res64: C1DEA30846CB9B1F Time : 0.0 sec. user=mdettweiler [2016-04-14 17:43:03] 753*2^1426271-1 is not prime. Res64: F90CA0934194BDC7 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:43:03] 805*2^1426271-1 is not prime. Res64: A18968F93AF8B729 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:43:03] 939*2^1426271-1 is not prime. Res64: 52A21E4B1A2082C4 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:43:04] 943*2^1426271-1 is not prime. Res64: 846818C3EFB01C83 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:59:30] 929*2^1426272-1 is not prime. Res64: 88E2C2D82FADE7CA Time : 0.0 sec. user=mdettweiler [2016-04-14 17:59:31] 959*2^1426272-1 is not prime. Res64: 5C4FB9F91C2A7E4B Time : 0.0 sec. user=mdettweiler [2016-04-14 17:59:31] 721*2^1426273-1 is not prime. Res64: A9930585B820CC65 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:59:32] 895*2^1426273-1 is not prime. Res64: FF6578EE1A33F667 Time : 0.0 sec. user=mdettweiler [2016-04-14 17:59:32] 987*2^1426273-1 is not prime. Res64: 643870383C98B2E2 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:14:21] 671*2^1426274-1 is not prime. Res64: 06A189CB291E02A7 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:14:21] 827*2^1426274-1 is not prime. Res64: C281184F5D3A5B8F Time : 0.0 sec. user=mdettweiler [2016-04-14 18:14:22] 981*2^1426274-1 is not prime. Res64: C6F0A30617AFB4A2 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:14:22] 993*2^1426274-1 is not prime. Res64: 556A0A0BE21B431E Time : 0.0 sec. user=mdettweiler [2016-04-14 18:14:22] 651*2^1426275-1 is not prime. Res64: 4A737EA77D59072C Time : 0.0 sec. user=mdettweiler [2016-04-14 18:15:40] 823*2^1426275-1 is not prime. Res64: A4EC17CBF3298601 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:15:40] 829*2^1426275-1 is not prime. Res64: 456D6B6D1D4B2BC6 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:15:41] 871*2^1426275-1 is not prime. Res64: C1587D317FF4ED58 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:15:41] 991*2^1426275-1 is not prime. Res64: 0BFE7D25B964EAD8 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:15:42] 719*2^1426276-1 is not prime. Res64: 1C1ECDB10E7843CF Time : 0.0 sec. user=mdettweiler [2016-04-14 18:28:08] 773*2^1426276-1 is not prime. Res64: 0B926C25CD0608E4 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:28:08] 939*2^1426276-1 is not prime. Res64: 317CAB210F50DB04 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:28:09] 957*2^1426276-1 is not prime. Res64: 3AC0C5A055F761B6 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:28:09] 965*2^1426276-1 is not prime. Res64: 83F864EDB0E29F4E Time : 0.0 sec. user=mdettweiler [2016-04-14 18:28:09] 975*2^1426276-1 is not prime. Res64: DE695AC48F1E4B56 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:45:23] 601*2^1426277-1 is not prime. Res64: 33F5261B40E275CA Time : 0.0 sec. user=mdettweiler [2016-04-14 18:45:23] 619*2^1426277-1 is not prime. Res64: B210AB7432FB124B Time : 0.0 sec. user=mdettweiler [2016-04-14 18:45:24] 627*2^1426277-1 is not prime. Res64: 1EB2932F14005A9D Time : 0.0 sec. user=mdettweiler [2016-04-14 18:45:24] 697*2^1426277-1 is not prime. Res64: C0BF8652EB17C699 Time : 0.0 sec. user=mdettweiler [2016-04-14 18:45:24] 711*2^1426277-1 is not prime. Res64: 72D9E8A5E6FB986B Time : 0.0 sec. user=mdettweiler [2016-04-14 19:01:08] 627*2^1426278-1 is not prime. Res64: E44DB7D11E3A5003 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:01:10] 657*2^1426278-1 is not prime. Res64: 9E77F17BF533BC21 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:01:10] 671*2^1426278-1 is not prime. Res64: 96562BE7CCDCAB57 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:01:11] 711*2^1426278-1 is not prime. Res64: B40D301ED3FF9EEC Time : 0.0 sec. user=mdettweiler [2016-04-14 19:01:12] 713*2^1426278-1 is not prime. Res64: 859D40DF757FD8AB Time : 0.0 sec. user=mdettweiler [2016-04-14 19:02:53] 747*2^1426278-1 is not prime. Res64: 146AD1BBBA3185E3 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:02:54] 791*2^1426278-1 is not prime. Res64: 0EA6F908C707E96A Time : 0.0 sec. user=mdettweiler [2016-04-14 19:02:55] 815*2^1426278-1 is not prime. Res64: 1D67D37E81DB20B0 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:02:55] 863*2^1426278-1 is not prime. Res64: 69AAE4FC1E082B0D Time : 0.0 sec. user=mdettweiler [2016-04-14 19:02:56] 887*2^1426278-1 is not prime. Res64: 9F328C407D7ADA3A Time : 0.0 sec. user=mdettweiler [2016-04-14 19:15:39] 891*2^1426278-1 is not prime. Res64: 39516DE4F7C3FDF7 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:15:40] 923*2^1426278-1 is not prime. Res64: 5AD2C4D2EAFCA63B Time : 0.0 sec. user=mdettweiler [2016-04-14 19:15:40] 1001*2^1426278-1 is not prime. Res64: 583DBF16AA368200 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:15:41] 609*2^1426279-1 is not prime. Res64: 17F6BFA86D8B558B Time : 0.0 sec. user=mdettweiler [2016-04-14 19:15:41] 625*2^1426279-1 is not prime. Res64: C42749EE492D5531 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:31:41] 685*2^1426279-1 is not prime. Res64: 0549AA2D34E0174A Time : 0.0 sec. user=mdettweiler [2016-04-14 19:31:42] 729*2^1426279-1 is not prime. Res64: 19D40854861EA7CA Time : 0.0 sec. user=mdettweiler [2016-04-14 19:31:42] 931*2^1426279-1 is not prime. Res64: ECB023578F700D0F Time : 0.0 sec. user=mdettweiler [2016-04-14 19:31:42] 939*2^1426279-1 is not prime. Res64: 7350434AA0BAC8DA Time : 0.0 sec. user=mdettweiler [2016-04-14 19:31:43] 975*2^1426279-1 is not prime. Res64: 12A1159D1E9EB8EF Time : 0.0 sec. user=mdettweiler [2016-04-14 19:46:43] 985*2^1426279-1 is not prime. Res64: 8D7506BC0C2CE9CD Time : 0.0 sec. user=mdettweiler [2016-04-14 19:46:44] 629*2^1426280-1 is not prime. Res64: FA5E2543AAB3355D Time : 0.0 sec. user=mdettweiler [2016-04-14 19:46:44] 633*2^1426280-1 is not prime. Res64: CE7B8287A158E54A Time : 0.0 sec. user=mdettweiler [2016-04-14 19:46:45] 759*2^1426280-1 is not prime. Res64: 95285C05CB776971 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:46:45] 797*2^1426280-1 is not prime. Res64: 25F9CF4A0F4D0279 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:48:08] 825*2^1426280-1 is not prime. Res64: E8AAD0449426EDA9 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:48:08] 839*2^1426280-1 is not prime. Res64: 8095F3C966A72A82 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:48:09] 963*2^1426280-1 is not prime. Res64: B731CEED41F223F2 Time : 0.0 sec. user=mdettweiler [2016-04-14 19:48:09] 639*2^1426281-1 is not prime. Res64: 5D1D830D08B8F2AF Time : 0.0 sec. user=mdettweiler [2016-04-14 19:48:09] 649*2^1426281-1 is not prime. Res64: B18D54B691F925BE Time : 0.0 sec. user=mdettweiler [2016-04-14 20:01:04] 727*2^1426281-1 is not prime. Res64: 9E1919AD86545112 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:01:05] 741*2^1426281-1 is not prime. Res64: 3786CE4A00A02B9C Time : 0.0 sec. user=mdettweiler [2016-04-14 20:01:06] 751*2^1426281-1 is not prime. Res64: 5F8DB2324A1A23F6 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:01:06] 907*2^1426281-1 is not prime. Res64: 106EF6CBADA4B7EF Time : 0.0 sec. user=mdettweiler [2016-04-14 20:01:07] 651*2^1426282-1 is not prime. Res64: 08C0B25513610E54 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:16:41] 675*2^1426282-1 is not prime. Res64: 4C12A97F5D3A4A45 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:16:42] 701*2^1426282-1 is not prime. Res64: C641B57EE56E8F9A Time : 0.0 sec. user=mdettweiler [2016-04-14 20:16:42] 717*2^1426282-1 is not prime. Res64: 478DE01DD897A169 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:16:43] 621*2^1426283-1 is not prime. Res64: 3EF974BCDD2982C6 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:16:43] 663*2^1426283-1 is not prime. Res64: 1BC415FBAE02FF14 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:31:36] 993*2^1426283-1 is not prime. Res64: 75654545E60EE4F7 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:31:36] 725*2^1426284-1 is not prime. Res64: F22CF8E7A42FCDB2 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:31:37] 773*2^1426284-1 is not prime. Res64: 38929E827F2C9A2A Time : 0.0 sec. user=mdettweiler [2016-04-14 20:31:37] 825*2^1426284-1 is not prime. Res64: CE02C7A16CB94B44 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:31:38] 863*2^1426284-1 is not prime. Res64: B404B3F59585C105 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:32:53] 945*2^1426284-1 is not prime. Res64: 0DA52AC61F315240 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:32:54] 947*2^1426284-1 is not prime. Res64: 003C73F85B25E52A Time : 0.0 sec. user=mdettweiler [2016-04-14 20:32:54] 661*2^1426285-1 is not prime. Res64: 8B9BCD180015B02A Time : 0.0 sec. user=mdettweiler [2016-04-14 20:32:54] 691*2^1426285-1 is not prime. Res64: 46B1DD807EBD9FD6 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:32:55] 819*2^1426285-1 is not prime. Res64: 9392FAD5AFAF0F4B Time : 0.0 sec. user=mdettweiler [2016-04-14 20:46:12] 895*2^1426285-1 is not prime. Res64: 90B342C552B939A7 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:46:13] 939*2^1426285-1 is not prime. Res64: 8DBF6CD4A21700D4 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:46:13] 975*2^1426285-1 is not prime. Res64: A32DC77A8D82025F Time : 0.0 sec. user=mdettweiler [2016-04-14 20:46:14] 825*2^1426286-1 is not prime. Res64: AB98AE26354165B1 Time : 0.0 sec. user=mdettweiler [2016-04-14 20:46:14] 873*2^1426286-1 is not prime. Res64: 3A3884626F120FC4 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:01:28] 935*2^1426286-1 is not prime. Res64: 6BC5F6234B690FD9 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:01:30] 945*2^1426286-1 is not prime. Res64: B00C2EF145136FE0 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:01:30] 971*2^1426286-1 is not prime. Res64: 03A7ED296E036235 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:01:31] 891*2^1426287-1 is not prime. Res64: B94AFB8324035899 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:01:31] 895*2^1426287-1 is not prime. Res64: D34A4329AA14F7E9 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:16:18] 605*2^1426288-1 is not prime. Res64: 005714D3657CC6D9 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:16:19] 615*2^1426288-1 is not prime. Res64: 0D19B2AADD565CBF Time : 0.0 sec. user=mdettweiler [2016-04-14 21:16:19] 909*2^1426288-1 is not prime. Res64: A2589522018F8CF3 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:16:20] 933*2^1426288-1 is not prime. Res64: EA187842BC2AF07A Time : 0.0 sec. user=mdettweiler [2016-04-14 21:16:20] 627*2^1426289-1 is not prime. Res64: D7BBE3502761EC41 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:17:40] 631*2^1426289-1 is not prime. Res64: A22162EC1F506B97 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:17:41] 657*2^1426289-1 is not prime. Res64: 8E6D44459C5B1BBE Time : 0.0 sec. user=mdettweiler [2016-04-14 21:17:41] 699*2^1426289-1 is not prime. Res64: 0F21FD7F01106978 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:17:42] 705*2^1426289-1 is not prime. Res64: B13DBD36212C4A0A Time : 0.0 sec. user=mdettweiler [2016-04-14 21:17:42] 741*2^1426289-1 is not prime. Res64: A771CF4B4AA60FAB Time : 0.0 sec. user=mdettweiler [2016-04-14 21:30:41] 781*2^1426289-1 is not prime. Res64: 8B49381DCCC336EA Time : 0.0 sec. user=mdettweiler [2016-04-14 21:30:42] 831*2^1426289-1 is not prime. Res64: 8A3303D67E5846CC Time : 0.0 sec. user=mdettweiler [2016-04-14 21:30:42] 647*2^1426290-1 is not prime. Res64: A1EF3A28B6B17004 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:30:43] 711*2^1426290-1 is not prime. Res64: 84F820A1BC500E64 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:30:43] 717*2^1426290-1 is not prime. Res64: 07CFC8E6977CB9EC Time : 0.0 sec. user=mdettweiler [2016-04-14 21:46:23] 725*2^1426290-1 is not prime. Res64: F6F8C161B53B704B Time : 0.0 sec. user=mdettweiler [2016-04-14 21:46:23] 741*2^1426290-1 is not prime. Res64: B8193E840CE7A503 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:46:24] 851*2^1426290-1 is not prime. Res64: 80B679D15DC72D5D Time : 0.0 sec. user=mdettweiler [2016-04-14 21:46:24] 977*2^1426290-1 is not prime. Res64: D296138DA042F802 Time : 0.0 sec. user=mdettweiler [2016-04-14 21:46:25] 645*2^1426291-1 is not prime. Res64: 46E6AD3691F31AA6 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:01:08] 811*2^1426291-1 is not prime. Res64: A2BD5E58897CA07E Time : 0.0 sec. user=mdettweiler [2016-04-14 22:01:08] 835*2^1426291-1 is not prime. Res64: 4388A07069096A87 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:01:09] 909*2^1426291-1 is not prime. Res64: FB64029B65840CEF Time : 0.0 sec. user=mdettweiler [2016-04-14 22:01:10] 913*2^1426291-1 is not prime. Res64: B51CC620AD70B832 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:01:11] 939*2^1426291-1 is not prime. Res64: B2A41A5E3B206F09 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:02:28] 943*2^1426291-1 is not prime. Res64: 75F83181CF56B12C Time : 0.0 sec. user=mdettweiler [2016-04-14 22:02:29] 675*2^1426292-1 is not prime. Res64: 739FAC6742A708DE Time : 0.0 sec. user=mdettweiler [2016-04-14 22:02:30] 683*2^1426292-1 is not prime. Res64: 0157230A01ECD53D Time : 0.0 sec. user=mdettweiler [2016-04-14 22:02:30] 719*2^1426292-1 is not prime. Res64: EDD8EBF76A8B56DA Time : 0.0 sec. user=mdettweiler [2016-04-14 22:02:31] 767*2^1426292-1 is not prime. Res64: C14CDAF652E5B2A1 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:16:03] 855*2^1426292-1 is not prime. Res64: C3C6844CC6479F1B Time : 0.0 sec. user=mdettweiler [2016-04-14 22:16:04] 621*2^1426293-1 is not prime. Res64: 2587551BECCF5BB3 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:16:04] 727*2^1426293-1 is not prime. Res64: F665A5B325FA9946 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:16:05] 795*2^1426293-1 is not prime. Res64: E495BC3EA19B48BE Time : 0.0 sec. user=mdettweiler [2016-04-14 22:16:05] 811*2^1426293-1 is not prime. Res64: 61B38AF38DD145D4 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:31:44] 867*2^1426293-1 is not prime. Res64: 89CEFD325237BA2F Time : 0.0 sec. user=mdettweiler [2016-04-14 22:31:45] 919*2^1426293-1 is not prime. Res64: 785BF5E4FB756838 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:31:45] 657*2^1426294-1 is not prime. Res64: 7C984479810432FF Time : 0.0 sec. user=mdettweiler [2016-04-14 22:31:45] 681*2^1426294-1 is not prime. Res64: E7B71D629729F833 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:31:46] 705*2^1426294-1 is not prime. Res64: 7B313F115A530551 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:46:41] 741*2^1426294-1 is not prime. Res64: 9C8DBE2438D2C763 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:46:42] 765*2^1426294-1 is not prime. Res64: 28BE7CA211A2A61F Time : 0.0 sec. user=mdettweiler [2016-04-14 22:46:42] 827*2^1426294-1 is not prime. Res64: C2EDFDAD6AAE741A Time : 0.0 sec. user=mdettweiler [2016-04-14 22:46:43] 897*2^1426294-1 is not prime. Res64: AF83197DDE9CCD25 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:46:43] 619*2^1426295-1 is not prime. Res64: C1B49CC96EFEA0D8 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:48:05] 661*2^1426295-1 is not prime. Res64: 5310B4BA30BEB938 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:48:05] 669*2^1426295-1 is not prime. Res64: CA033F71E61B2787 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:48:05] 705*2^1426295-1 is not prime. Res64: 8D6D4F5B255BEE03 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:48:06] 753*2^1426295-1 is not prime. Res64: 2D2EE89227CF73D0 Time : 0.0 sec. user=mdettweiler [2016-04-14 22:48:06] 771*2^1426295-1 is not prime. Res64: 1C4B52F9F9A0BAFF Time : 0.0 sec. user=mdettweiler [2016-04-14 23:00:59] 783*2^1426295-1 is not prime. Res64: 416032AB2E4EA634 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:01:00] 883*2^1426295-1 is not prime. Res64: 3967FE29A717909C Time : 0.0 sec. user=mdettweiler [2016-04-14 23:01:01] 943*2^1426295-1 is not prime. Res64: 357B65855C83E2AE Time : 0.0 sec. user=mdettweiler [2016-04-14 23:01:02] 963*2^1426295-1 is not prime. Res64: 2EAAE942E34A1861 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:01:03] 675*2^1426296-1 is not prime. Res64: 1372650FBDBBA041 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:16:30] 789*2^1426296-1 is not prime. Res64: 2F64B54C8A3ACBCF Time : 0.0 sec. user=mdettweiler [2016-04-14 23:16:30] 875*2^1426296-1 is not prime. Res64: 20FCA6FBA8D1348D Time : 0.0 sec. user=mdettweiler [2016-04-14 23:16:31] 899*2^1426296-1 is not prime. Res64: 618AE72AD7DA67E4 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:16:31] 993*2^1426296-1 is not prime. Res64: 465C45553F7BAA66 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:16:32] 607*2^1426297-1 is not prime. Res64: 70BC13CED1730444 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:31:23] 699*2^1426297-1 is not prime. Res64: A08043CF57ACDF4A Time : 0.0 sec. user=mdettweiler [2016-04-14 23:31:23] 717*2^1426297-1 is not prime. Res64: 701C6C16517C73A1 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:31:24] 861*2^1426297-1 is not prime. Res64: D1C957621C0DED50 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:31:24] 945*2^1426297-1 is not prime. Res64: C96A980C862B1806 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:31:25] 603*2^1426298-1 is not prime. Res64: EFF6FA04A8A4A27D Time : 0.0 sec. user=mdettweiler [2016-04-14 23:32:53] 633*2^1426298-1 is not prime. Res64: 5FD24E0697AE1248 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:32:54] 645*2^1426298-1 is not prime. Res64: 8CD93CD5EC734E52 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:32:54] 657*2^1426298-1 is not prime. Res64: 0A9E041514A25379 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:32:55] 671*2^1426298-1 is not prime. Res64: 703DF08B535D421F Time : 0.0 sec. user=mdettweiler [2016-04-14 23:32:55] 791*2^1426298-1 is not prime. Res64: 3E60FDDD85D0A8EE Time : 0.0 sec. user=mdettweiler [2016-04-14 23:45:51] 613*2^1426299-1 is not prime. Res64: D406C06081D064A1 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:45:51] 801*2^1426299-1 is not prime. Res64: 0C0FBB3147065F10 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:45:52] 913*2^1426299-1 is not prime. Res64: 7D4239B2104B8B7F Time : 0.0 sec. user=mdettweiler [2016-04-14 23:45:53] 949*2^1426299-1 is not prime. Res64: 675599D2D2A48160 Time : 0.0 sec. user=mdettweiler [2016-04-14 23:45:53] 969*2^1426299-1 is not prime. Res64: 20F1690450AA6C86 Time : 0.0 sec.