user=mdettweiler [2016-02-18 00:06:56] 969*2^1422271-1 is not prime. Res64: 44AED1862900C385 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:06:58] 975*2^1422271-1 is not prime. Res64: 3E03635F4216D706 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:07:29] 623*2^1422272-1 is not prime. Res64: 41FFB953564C9580 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:07:30] 633*2^1422272-1 is not prime. Res64: D7FBA7D014312DAE Time : 0.0 sec. user=mdettweiler [2016-02-18 00:09:48] 843*2^1422272-1 is not prime. Res64: 18197F0F60CAB329 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:09:48] 855*2^1422272-1 is not prime. Res64: 178F1BCC15FFB95E Time : 0.0 sec. user=mdettweiler [2016-02-18 00:24:45] 873*2^1422272-1 is not prime. Res64: 2F86F111C71ACE1F Time : 0.0 sec. user=mdettweiler [2016-02-18 00:24:45] 875*2^1422272-1 is not prime. Res64: 5CA6587F17617284 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:25:07] 945*2^1422272-1 is not prime. Res64: 9BA530F7A6502CD5 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:25:10] 959*2^1422272-1 is not prime. Res64: 5D13BE0430AE4847 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:27:23] 963*2^1422272-1 is not prime. Res64: C70A50A4E552E4AF Time : 0.0 sec. user=mdettweiler [2016-02-18 00:27:23] 977*2^1422272-1 is not prime. Res64: 2CAC2DBBBB184A19 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:42:21] 609*2^1422273-1 is not prime. Res64: FAB62727086341CF Time : 0.0 sec. user=mdettweiler [2016-02-18 00:42:21] 727*2^1422273-1 is not prime. Res64: CDFA5002631C45AB Time : 0.0 sec. user=mdettweiler [2016-02-18 00:42:46] 795*2^1422273-1 is not prime. Res64: 22B8D36FC34CA94E Time : 0.0 sec. user=mdettweiler [2016-02-18 00:42:46] 807*2^1422273-1 is not prime. Res64: 37895D7D8F86FE50 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:44:59] 811*2^1422273-1 is not prime. Res64: B24F05F313233C80 Time : 0.0 sec. user=mdettweiler [2016-02-18 00:44:59] 915*2^1422273-1 is not prime. Res64: C61EAF65D12A5A1C Time : 0.0 sec. user=mdettweiler [2016-02-18 00:59:58] 611*2^1422274-1 is not prime. Res64: 509A6F83D663A8BA Time : 0.0 sec. user=mdettweiler [2016-02-18 00:59:58] 621*2^1422274-1 is not prime. Res64: 04C768A9C1377A48 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:00:22] 635*2^1422274-1 is not prime. Res64: 4184256386E3821A Time : 0.0 sec. user=mdettweiler [2016-02-18 01:00:23] 645*2^1422274-1 is not prime. Res64: 23647B9C2D26709F Time : 0.0 sec. user=mdettweiler [2016-02-18 01:02:36] 815*2^1422274-1 is not prime. Res64: 61F3B145F8D59004 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:02:36] 619*2^1422275-1 is not prime. Res64: 15E91DA07DC82EE5 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:17:38] 669*2^1422275-1 is not prime. Res64: D942A876E4E3EFAA Time : 0.0 sec. user=mdettweiler [2016-02-18 01:17:38] 679*2^1422275-1 is not prime. Res64: F71D4104045377D9 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:18:05] 733*2^1422275-1 is not prime. Res64: 65A91F8D5C280FDA Time : 0.0 sec. user=mdettweiler [2016-02-18 01:18:05] 805*2^1422275-1 is not prime. Res64: F185E15F0F856060 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:20:19] 853*2^1422275-1 is not prime. Res64: 5D97BB267A02B69E Time : 0.0 sec. user=mdettweiler [2016-02-18 01:20:20] 981*2^1422275-1 is not prime. Res64: 6022D87893F685EF Time : 0.0 sec. user=mdettweiler [2016-02-18 01:35:16] 629*2^1422276-1 is not prime. Res64: B302F556AF7CC42A Time : 0.0 sec. user=mdettweiler [2016-02-18 01:35:17] 693*2^1422276-1 is not prime. Res64: 57C2168C2F5D8C02 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:35:41] 839*2^1422276-1 is not prime. Res64: F82633609B41319A Time : 0.0 sec. user=mdettweiler [2016-02-18 01:35:41] 873*2^1422276-1 is not prime. Res64: 27847D1169A139DF Time : 0.0 sec. user=mdettweiler [2016-02-18 01:37:54] 927*2^1422276-1 is not prime. Res64: 075D63638D53551B Time : 0.0 sec. user=mdettweiler [2016-02-18 01:37:54] 645*2^1422277-1 is not prime. Res64: 387EACE890F9DB45 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:52:56] 741*2^1422277-1 is not prime. Res64: 9E13D04349761C49 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:52:57] 757*2^1422277-1 is not prime. Res64: 74EEB2D2394BED89 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:53:17] 759*2^1422277-1 is not prime. Res64: 4A09EB74F08AA38A Time : 0.0 sec. user=mdettweiler [2016-02-18 01:53:18] 799*2^1422277-1 is not prime. Res64: B5C6287C003A398E Time : 0.0 sec. user=mdettweiler [2016-02-18 01:55:30] 825*2^1422277-1 is not prime. Res64: 76E252232B7745B8 Time : 0.0 sec. user=mdettweiler [2016-02-18 01:55:31] 867*2^1422277-1 is not prime. Res64: 47B1766945F61183 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:10:33] 895*2^1422277-1 is not prime. Res64: 926FDD832BD265D0 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:10:34] 731*2^1422278-1 is not prime. Res64: 71A48C1B8D3A2C39 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:10:52] 747*2^1422278-1 is not prime. Res64: D4DA05BFCA5F869B Time : 0.0 sec. user=mdettweiler [2016-02-18 02:10:52] 771*2^1422278-1 is not prime. Res64: 06252375181418A8 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:13:09] 935*2^1422278-1 is not prime. Res64: 16A3BBFC1B341687 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:13:09] 945*2^1422278-1 is not prime. Res64: 04541498367E088B Time : 0.0 sec. user=mdettweiler [2016-02-18 02:28:11] 795*2^1422279-1 is not prime. Res64: 4254F163E4E8107D Time : 0.0 sec. user=mdettweiler [2016-02-18 02:28:11] 885*2^1422279-1 is not prime. Res64: 7F5D6A440E1D1F28 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:28:27] 933*2^1422279-1 is not prime. Res64: BF846DA581B81C6B Time : 0.0 sec. user=mdettweiler [2016-02-18 02:28:28] 961*2^1422279-1 is not prime. Res64: B0246281C1C56904 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:30:46] 603*2^1422280-1 is not prime. Res64: AD60EA4265FBF084 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:30:46] 675*2^1422280-1 is not prime. Res64: 10F993F044DA61F9 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:45:50] 707*2^1422280-1 is not prime. Res64: 0F4ED93C60AEC776 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:45:50] 873*2^1422280-1 is not prime. Res64: 42A17B60CF811F52 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:46:02] 637*2^1422281-1 is not prime. Res64: 5C566831E3FACA30 Time : 0.0 sec. user=mdettweiler [2016-02-18 02:46:02] 747*2^1422281-1 is not prime. Res64: CFDF01A46228942E Time : 0.0 sec. user=mdettweiler [2016-02-18 02:48:23] 777*2^1422281-1 is not prime. Res64: ED5C922268D0FFFC Time : 0.0 sec. user=mdettweiler [2016-02-18 02:48:23] 901*2^1422281-1 is not prime. Res64: E813F9EA821595E4 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:03:29] 627*2^1422282-1 is not prime. Res64: 22644952F623FD69 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:03:31] 803*2^1422282-1 is not prime. Res64: BE086AA483E613F2 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:03:40] 825*2^1422282-1 is not prime. Res64: 177E6F04FADA0D21 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:03:42] 885*2^1422282-1 is not prime. Res64: 5339BB8BD39B488C Time : 0.0 sec. user=mdettweiler [2016-02-18 03:05:58] 945*2^1422282-1 is not prime. Res64: 51F201C5072FE589 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:05:59] 603*2^1422283-1 is not prime. Res64: 6ADC44F953C05B42 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:21:20] 703*2^1422283-1 is not prime. Res64: E365EDAB29CBB259 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:21:20] 723*2^1422283-1 is not prime. Res64: F1CD771526A79806 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:21:21] 741*2^1422283-1 is not prime. Res64: 6FC2C4EEF6952454 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:21:22] 771*2^1422283-1 is not prime. Res64: 04BCC12953F0CE96 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:23:39] 775*2^1422283-1 is not prime. Res64: C47502EEFF966FFC Time : 0.0 sec. user=mdettweiler [2016-02-18 03:23:39] 789*2^1422283-1 is not prime. Res64: A58124DFC07884F6 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:38:59] 913*2^1422283-1 is not prime. Res64: 565956D93FF5049A Time : 0.0 sec. user=mdettweiler [2016-02-18 03:38:59] 885*2^1422283-1 is not prime. Res64: 10F7B19520AD6A92 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:39:01] 895*2^1422283-1 is not prime. Res64: 45DA419969915542 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:39:02] 919*2^1422283-1 is not prime. Res64: FDB730DFBCC7C7DB Time : 0.0 sec. user=mdettweiler [2016-02-18 03:41:15] 615*2^1422284-1 is not prime. Res64: 8314DF231E7E8F8B Time : 0.0 sec. user=mdettweiler [2016-02-18 03:41:16] 635*2^1422284-1 is not prime. Res64: 382E265EB0B3B70C Time : 0.0 sec. user=mdettweiler [2016-02-18 03:57:06] 649*2^1422285-1 is not prime. Res64: 6E17AE39E7115DAB Time : 0.0 sec. user=mdettweiler [2016-02-18 03:57:06] 657*2^1422285-1 is not prime. Res64: 2F2CF6F63914FEDE Time : 0.0 sec. user=mdettweiler [2016-02-18 03:57:07] 665*2^1422284-1 is not prime. Res64: EF0872C9D0A0E3ED Time : 0.0 sec. user=mdettweiler [2016-02-18 03:57:07] 875*2^1422284-1 is not prime. Res64: CF5E234AC331DD4D Time : 0.0 sec. user=mdettweiler [2016-02-18 03:58:53] 921*2^1422285-1 is not prime. Res64: E596E209839A0000 Time : 0.0 sec. user=mdettweiler [2016-02-18 03:58:54] 999*2^1422285-1 is not prime. Res64: 691F27CCCBC1623D Time : 0.0 sec. user=mdettweiler [2016-02-18 04:14:45] 755*2^1422286-1 is not prime. Res64: 2AFD9ACF4EC3A37D Time : 0.0 sec. user=mdettweiler [2016-02-18 04:14:45] 623*2^1422286-1 is not prime. Res64: E0DC1A2268C66029 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:14:46] 663*2^1422286-1 is not prime. Res64: ECC55D55A91D0B88 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:14:46] 785*2^1422286-1 is not prime. Res64: 77780D1003DB2360 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:16:33] 843*2^1422286-1 is not prime. Res64: 84761AC2CAAB74E5 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:16:33] 891*2^1422286-1 is not prime. Res64: 88168E829A643689 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:32:24] 609*2^1422287-1 is not prime. Res64: 334428659741DA71 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:32:25] 619*2^1422287-1 is not prime. Res64: CB8F660D6EE7369B Time : 0.0 sec. user=mdettweiler [2016-02-18 04:32:25] 643*2^1422287-1 is not prime. Res64: 12D6FEB9FA468396 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:32:26] 729*2^1422287-1 is not prime. Res64: 58DE338B3682947B Time : 0.0 sec. user=mdettweiler [2016-02-18 04:34:09] 865*2^1422287-1 is not prime. Res64: 034239835930125F Time : 0.0 sec. user=mdettweiler [2016-02-18 04:34:09] 871*2^1422287-1 is not prime. Res64: 2818DF442C422BD4 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:50:00] 945*2^1422287-1 is not prime. Res64: F34CBB683DBCE79E Time : 0.0 sec. user=mdettweiler [2016-02-18 04:50:00] 657*2^1422288-1 is not prime. Res64: A875DE6B7C5339F1 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:50:02] 735*2^1422288-1 is not prime. Res64: 4893369D7313823A Time : 0.0 sec. user=mdettweiler [2016-02-18 04:50:02] 809*2^1422288-1 is not prime. Res64: AF6DACAD18BC7C6F Time : 0.0 sec. user=mdettweiler [2016-02-18 04:51:44] 975*2^1422288-1 is not prime. Res64: EA7C5A6AD9917987 Time : 0.0 sec. user=mdettweiler [2016-02-18 04:51:44] 817*2^1422289-1 is not prime. Res64: 202AC839BFF332D8 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:07:35] 831*2^1422289-1 is not prime. Res64: B076159969D3234F Time : 0.0 sec. user=mdettweiler [2016-02-18 05:07:36] 955*2^1422289-1 is not prime. Res64: 7080E479957AC2AB Time : 0.0 sec. user=mdettweiler [2016-02-18 05:07:37] 851*2^1422290-1 is not prime. Res64: 635F04DFB1505B6B Time : 0.0 sec. user=mdettweiler [2016-02-18 05:07:38] 977*2^1422290-1 is not prime. Res64: 960536A32D9F02E4 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:09:20] 723*2^1422291-1 is not prime. Res64: 9C7A711A22503F44 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:09:20] 783*2^1422291-1 is not prime. Res64: ABA9546373AD0C9A Time : 0.0 sec. user=mdettweiler [2016-02-18 05:25:15] 945*2^1422291-1 is not prime. Res64: 241852C8CAE8D747 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:25:15] 951*2^1422291-1 is not prime. Res64: 88FB9FDE9CEA53F6 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:25:17] 795*2^1422291-1 is not prime. Res64: 572FD61CD1319945 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:25:18] 901*2^1422291-1 is not prime. Res64: DC8156544908CACE Time : 0.0 sec. user=mdettweiler [2016-02-18 05:26:57] 991*2^1422291-1 is not prime. Res64: 0C244C8B9C60899F Time : 0.0 sec. user=mdettweiler [2016-02-18 05:26:57] 699*2^1422292-1 is not prime. Res64: 79569E55F5122B77 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:42:50] 759*2^1422292-1 is not prime. Res64: CE3BA8E96164954F Time : 0.0 sec. user=mdettweiler [2016-02-18 05:42:51] 765*2^1422292-1 is not prime. Res64: 38F3A2F318208141 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:42:53] 777*2^1422292-1 is not prime. Res64: 54E716ABDD309D03 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:42:53] 621*2^1422293-1 is not prime. Res64: 863E19DFD8D2C6F7 Time : 0.0 sec. user=mdettweiler [2016-02-18 05:44:34] 669*2^1422293-1 is not prime. Res64: A823A2C0325224BC Time : 0.0 sec. user=mdettweiler [2016-02-18 05:44:34] 691*2^1422293-1 is not prime. Res64: 3D414525D77E443E Time : 0.0 sec. user=mdettweiler [2016-02-18 06:00:27] 699*2^1422293-1 is not prime. Res64: DF45DF9F4C48E8BC Time : 0.0 sec. user=mdettweiler [2016-02-18 06:00:27] 885*2^1422293-1 is not prime. Res64: FA46C03EC099CD91 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:00:28] 747*2^1422293-1 is not prime. Res64: 4180027024221475 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:00:29] 981*2^1422293-1 is not prime. Res64: 66B131FBD04EA39A Time : 0.0 sec. user=mdettweiler [2016-02-18 06:02:10] 621*2^1422294-1 is not prime. Res64: E5E3FF9C0CA00FBE Time : 0.0 sec. user=mdettweiler [2016-02-18 06:02:14] 651*2^1422294-1 is not prime. Res64: 0812F3C38C329CB7 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:18:07] 663*2^1422294-1 is not prime. Res64: DC82E5B34D2B1E15 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:18:07] 683*2^1422294-1 is not prime. Res64: C045AA53063CC53A Time : 0.0 sec. user=mdettweiler [2016-02-18 06:18:07] 723*2^1422294-1 is not prime. Res64: 3BE622DA0084A7BB Time : 0.0 sec. user=mdettweiler [2016-02-18 06:18:08] 737*2^1422294-1 is not prime. Res64: F5E3CB7C7D757878 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:19:50] 821*2^1422294-1 is not prime. Res64: B5461D34A35DF859 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:19:50] 863*2^1422294-1 is not prime. Res64: BFD6D173CEFAE8AD Time : 0.0 sec. user=mdettweiler [2016-02-18 06:35:47] 983*2^1422294-1 is not prime. Res64: F32D3BB02273FDBC Time : 0.0 sec. user=mdettweiler [2016-02-18 06:35:47] 723*2^1422295-1 is not prime. Res64: 3D295A4A1BB4D9CD Time : 0.0 sec. user=mdettweiler [2016-02-18 06:35:49] 881*2^1422294-1 is not prime. Res64: 4F37A584508080A8 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:35:49] 947*2^1422294-1 is not prime. Res64: B64CEE1D86D7BDDC Time : 0.0 sec. user=mdettweiler [2016-02-18 06:37:29] 849*2^1422295-1 is not prime. Res64: 4604DBFBF9A8BCFE Time : 0.0 sec. user=mdettweiler [2016-02-18 06:37:29] 925*2^1422295-1 is not prime. Res64: 9F7AF0BFB82C229E Time : 0.0 sec. user=mdettweiler [2016-02-18 06:53:24] 601*2^1422297-1 is not prime. Res64: D68E29770CB19EA3 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:53:24] 689*2^1422296-1 is not prime. Res64: 0F4FFD2BAC0EDFE5 Time : 0.0 sec. user=mdettweiler [2016-02-18 06:53:25] 615*2^1422297-1 is not prime. Res64: C839D8E4F327C42C Time : 0.0 sec. user=mdettweiler [2016-02-18 06:53:25] 825*2^1422296-1 is not prime. Res64: 0EB4B97CF9BF90EF Time : 0.0 sec. user=mdettweiler [2016-02-18 06:55:05] 649*2^1422297-1 is not prime. Res64: 025C18B2DC5759DF Time : 0.0 sec. user=mdettweiler [2016-02-18 06:55:05] 651*2^1422297-1 is not prime. Res64: 612FE5BD7D8EB604 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:11:00] 765*2^1422297-1 is not prime. Res64: 76A3D1FF7B8D54F4 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:11:01] 901*2^1422297-1 is not prime. Res64: 4B217A20CA48002D Time : 0.0 sec. user=mdettweiler [2016-02-18 07:11:02] 909*2^1422297-1 is not prime. Res64: 18F0786465602545 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:11:03] 975*2^1422297-1 is not prime. Res64: B40F50B0E648F3C7 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:12:41] 623*2^1422298-1 is not prime. Res64: 00CE5A21D10624BA Time : 0.0 sec. user=mdettweiler [2016-02-18 07:12:41] 633*2^1422298-1 is not prime. Res64: B11E18969145832E Time : 0.0 sec. user=mdettweiler [2016-02-18 07:28:39] 755*2^1422298-1 is not prime. Res64: E1E497DB4EEDD067 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:28:39] 843*2^1422298-1 is not prime. Res64: E7DD371672538B50 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:28:39] 923*2^1422298-1 is not prime. Res64: B666DE1E2C21DA85 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:28:40] 621*2^1422299-1 is not prime. Res64: C6AD433E43D0AEF4 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:30:16] 633*2^1422299-1 is not prime. Res64: 830CCC3B5124234D Time : 0.0 sec. user=mdettweiler [2016-02-18 07:30:17] 705*2^1422299-1 is not prime. Res64: 84B2FC6BBF7FAD4D Time : 0.0 sec. user=mdettweiler [2016-02-18 07:46:16] 879*2^1422299-1 is not prime. Res64: EBAAD5D6ADCD7382 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:46:16] 969*2^1422299-1 is not prime. Res64: D0EEA38C87943200 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:46:18] 741*2^1422299-1 is not prime. Res64: 6D02EA512A298404 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:46:18] 771*2^1422299-1 is not prime. Res64: B474277663050066 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:47:55] 725*2^1422300-1 is not prime. Res64: 9C2327F276BEC119 Time : 0.0 sec. user=mdettweiler [2016-02-18 07:47:55] 845*2^1422300-1 is not prime. Res64: F6182DF13528231E Time : 0.0 sec. user=mdettweiler [2016-02-18 08:03:55] 879*2^1422300-1 is not prime. Res64: 38650A34C313FDA6 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:03:56] 645*2^1422301-1 is not prime. Res64: 035913195E272FE6 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:04:00] 681*2^1422301-1 is not prime. Res64: 57C9A217218B2FE8 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:04:02] 691*2^1422301-1 is not prime. Res64: FE5734A7919DFE6B Time : 0.0 sec. user=mdettweiler [2016-02-18 08:05:37] 727*2^1422301-1 is not prime. Res64: 0B7764CD059BD4AB Time : 0.0 sec. user=mdettweiler [2016-02-18 08:05:39] 945*2^1422301-1 is not prime. Res64: 4098BF4AF9EE9ACF Time : 0.0 sec. user=mdettweiler [2016-02-18 08:21:54] 875*2^1422302-1 is not prime. Res64: 43A9892AE26F38E9 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:21:54] 911*2^1422302-1 is not prime. Res64: CBD6CC9528C38589 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:21:54] 665*2^1422302-1 is not prime. Res64: 39E411918DB54D3F Time : 0.0 sec. user=mdettweiler [2016-02-18 08:21:55] 713*2^1422302-1 is not prime. Res64: F02DF3C33FDB9291 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:23:17] 921*2^1422302-1 is not prime. Res64: 9B4E289BFEAC9A3F Time : 0.0 sec. user=mdettweiler [2016-02-18 08:23:17] 935*2^1422302-1 is not prime. Res64: 7BFCADE99927A970 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:39:31] 945*2^1422302-1 is not prime. Res64: 175E42299BAE8265 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:39:31] 615*2^1422303-1 is not prime. Res64: A0E127C021E2537B Time : 0.0 sec. user=mdettweiler [2016-02-18 08:39:31] 705*2^1422303-1 is not prime. Res64: 8B0696CA4F07C922 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:39:32] 805*2^1422303-1 is not prime. Res64: 07EDC3A443FF2581 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:40:52] 895*2^1422303-1 is not prime. Res64: F3B2F1DDF676E0D4 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:40:52] 945*2^1422303-1 is not prime. Res64: D332095D26F9D5D0 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:57:06] 663*2^1422304-1 is not prime. Res64: B3274BCF1A6C13F8 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:57:06] 963*2^1422303-1 is not prime. Res64: 30B64FD0F400F4BB Time : 0.0 sec. user=mdettweiler [2016-02-18 08:57:07] 695*2^1422304-1 is not prime. Res64: E011B751E46F9483 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:57:07] 635*2^1422304-1 is not prime. Res64: EEEAEB8913EDC912 Time : 0.0 sec. user=mdettweiler [2016-02-18 08:58:27] 899*2^1422304-1 is not prime. Res64: 2A23534ABA42BA4F Time : 0.0 sec. user=mdettweiler [2016-02-18 08:58:27] 903*2^1422304-1 is not prime. Res64: 2EE66FF0EF80B357 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:14:48] 969*2^1422304-1 is not prime. Res64: 88A53D01C314121F Time : 0.0 sec. user=mdettweiler [2016-02-18 09:14:48] 915*2^1422304-1 is not prime. Res64: 1C75F2E29B26D65B Time : 0.0 sec. user=mdettweiler [2016-02-18 09:14:48] 607*2^1422305-1 is not prime. Res64: 1678284C85D21823 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:14:48] 927*2^1422304-1 is not prime. Res64: F9124F693AEF1291 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:16:05] 787*2^1422305-1 is not prime. Res64: 84C135BD4ED8A94C Time : 0.0 sec. user=mdettweiler [2016-02-18 09:16:06] 831*2^1422305-1 is not prime. Res64: C8FEB953D6DF69B3 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:32:31] 837*2^1422305-1 is not prime. Res64: FD8ABB37EE63E6DF Time : 0.0 sec. user=mdettweiler [2016-02-18 09:32:31] 871*2^1422305-1 is not prime. Res64: 56E34EF098E76D7A Time : 0.0 sec. user=mdettweiler [2016-02-18 09:32:33] 885*2^1422305-1 is not prime. Res64: B964C1D37B0C5E10 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:32:33] 955*2^1422305-1 is not prime. Res64: 39AEEA9EEC7F8E52 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:33:48] 711*2^1422306-1 is not prime. Res64: 40026ED88F58102A Time : 0.0 sec. user=mdettweiler [2016-02-18 09:33:49] 803*2^1422306-1 is not prime. Res64: 8B90A3F180132125 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:50:07] 945*2^1422306-1 is not prime. Res64: 48D1F6940C000F03 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:50:07] 971*2^1422306-1 is not prime. Res64: 7C93E4026A368A90 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:50:09] 645*2^1422307-1 is not prime. Res64: 8E3233471DA74B76 Time : 0.0 sec. user=mdettweiler [2016-02-18 09:50:10] 663*2^1422307-1 is not prime. Res64: 26755951EAF9C62B Time : 0.0 sec. user=mdettweiler [2016-02-18 09:51:31] 685*2^1422307-1 is not prime. Res64: 806AAE75ED41F8CB Time : 0.0 sec. user=mdettweiler [2016-02-18 09:51:31] 793*2^1422307-1 is not prime. Res64: 022E0E4FF5EF69E3 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:07:42] 835*2^1422307-1 is not prime. Res64: E5716DB60AB68464 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:07:42] 945*2^1422307-1 is not prime. Res64: A17D260A9A752F3C Time : 0.0 sec. user=mdettweiler [2016-02-18 10:07:44] 961*2^1422307-1 is not prime. Res64: DC41B2042ADF55E1 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:07:45] 669*2^1422308-1 is not prime. Res64: 5AA4F00B82B78426 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:09:09] 725*2^1422308-1 is not prime. Res64: E570274E342DC0B2 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:09:09] 867*2^1422308-1 is not prime. Res64: E8B506E02DD55E1A Time : 0.0 sec. user=mdettweiler [2016-02-18 10:25:25] 875*2^1422308-1 is not prime. Res64: 294E5F4975C2222B Time : 0.0 sec. user=mdettweiler [2016-02-18 10:25:25] 787*2^1422309-1 is not prime. Res64: 7E45C1EC5E9FED8C Time : 0.0 sec. user=mdettweiler [2016-02-18 10:25:25] 667*2^1422309-1 is not prime. Res64: 7F7923BB6B0CB218 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:25:25] 951*2^1422309-1 is not prime. Res64: D459FF924FEBA171 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:26:43] 975*2^1422309-1 is not prime. Res64: A95FF84AC8893DAC Time : 0.0 sec. user=mdettweiler [2016-02-18 10:26:44] 999*2^1422309-1 is not prime. Res64: D94A5DD8E210F0E3 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:43:03] 605*2^1422310-1 is not prime. Res64: 2750156863BEA94F Time : 0.0 sec. user=mdettweiler [2016-02-18 10:43:03] 657*2^1422310-1 is not prime. Res64: E80AF31708DCD482 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:43:06] 677*2^1422310-1 is not prime. Res64: 655770A6372680AD Time : 0.0 sec. user=mdettweiler [2016-02-18 10:43:06] 765*2^1422310-1 is not prime. Res64: 5571ED8A02A410BD Time : 0.0 sec. user=mdettweiler [2016-02-18 10:44:20] 783*2^1422310-1 is not prime. Res64: 2CA74CA918920CA1 Time : 0.0 sec. user=mdettweiler [2016-02-18 10:44:20] 791*2^1422310-1 is not prime. Res64: DB386F8DB94F8638 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:00:38] 801*2^1422310-1 is not prime. Res64: A5A666C70ED10FDD Time : 0.0 sec. user=mdettweiler [2016-02-18 11:00:39] 643*2^1422311-1 is not prime. Res64: FA2B0BBD423B182A Time : 0.0 sec. user=mdettweiler [2016-02-18 11:00:42] 675*2^1422311-1 is not prime. Res64: 7ACB49D4EF40C20C Time : 0.0 sec. user=mdettweiler [2016-02-18 11:00:43] 735*2^1422311-1 is not prime. Res64: 17184816EF1D38EA Time : 0.0 sec. user=mdettweiler [2016-02-18 11:01:56] 741*2^1422311-1 is not prime. Res64: 07458470A66F4D9A Time : 0.0 sec. user=mdettweiler [2016-02-18 11:01:57] 745*2^1422311-1 is not prime. Res64: D5B97CCA70B76CE5 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:18:16] 753*2^1422311-1 is not prime. Res64: 793DAADE740A0F52 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:18:17] 605*2^1422312-1 is not prime. Res64: 32611F0F20508B68 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:18:19] 629*2^1422312-1 is not prime. Res64: 926F03647ECCFECB Time : 0.0 sec. user=mdettweiler [2016-02-18 11:18:19] 653*2^1422312-1 is not prime. Res64: 38FCF8DC28A59F89 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:19:35] 675*2^1422312-1 is not prime. Res64: 2B44ED8D680ED7B0 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:19:35] 887*2^1422312-1 is not prime. Res64: 3FE4CCFC0C525119 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:35:55] 903*2^1422312-1 is not prime. Res64: 439C9B7E7F7558AF Time : 0.0 sec. user=mdettweiler [2016-02-18 11:35:55] 945*2^1422312-1 is not prime. Res64: C5B3C1BE89F0B4E6 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:35:55] 975*2^1422312-1 is not prime. Res64: F7421827E911BF30 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:35:56] 983*2^1422312-1 is not prime. Res64: 6F23EC2C31332B7B Time : 0.0 sec. user=mdettweiler [2016-02-18 11:37:11] 625*2^1422313-1 is not prime. Res64: 28627C36206D269A Time : 0.0 sec. user=mdettweiler [2016-02-18 11:37:11] 637*2^1422313-1 is not prime. Res64: 69B062F5F4CF8B8B Time : 0.0 sec. user=mdettweiler [2016-02-18 11:53:30] 681*2^1422313-1 is not prime. Res64: 75EF562128F100CA Time : 0.0 sec. user=mdettweiler [2016-02-18 11:53:31] 789*2^1422313-1 is not prime. Res64: 276712B2847EE373 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:53:31] 745*2^1422313-1 is not prime. Res64: 5C99FEA5BBB2F678 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:53:31] 861*2^1422313-1 is not prime. Res64: ED803862955D3260 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:54:45] 867*2^1422313-1 is not prime. Res64: 464AC664B2699B84 Time : 0.0 sec. user=mdettweiler [2016-02-18 11:54:45] 985*2^1422313-1 is not prime. Res64: 1ACEA6C23B11B382 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:11:06] 999*2^1422313-1 is not prime. Res64: B9E6273301690811 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:11:07] 707*2^1422314-1 is not prime. Res64: 3D65E4855AF49348 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:11:07] 705*2^1422314-1 is not prime. Res64: 3BB911EEF63AC408 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:11:07] 717*2^1422314-1 is not prime. Res64: C31EE1BDC3D62E49 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:12:20] 753*2^1422314-1 is not prime. Res64: 6F30A9E6318C1B2B Time : 0.0 sec. user=mdettweiler [2016-02-18 12:12:20] 885*2^1422314-1 is not prime. Res64: 765A311E8E166150 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:28:46] 619*2^1422315-1 is not prime. Res64: 3BFEB50AA1BB2F95 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:28:46] 887*2^1422314-1 is not prime. Res64: 0B6447A2A6D7CC45 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:28:46] 699*2^1422315-1 is not prime. Res64: 3FFC8E730F40F74E Time : 0.0 sec. user=mdettweiler [2016-02-18 12:28:46] 609*2^1422315-1 is not prime. Res64: 5C3BDB72AD67B4E7 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:29:56] 739*2^1422315-1 is not prime. Res64: 77CFB9F26E710CE4 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:29:56] 765*2^1422315-1 is not prime. Res64: 22C24EDBB9F47407 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:46:22] 705*2^1422316-1 is not prime. Res64: 2869BB7EEC3ED3EF Time : 0.0 sec. user=mdettweiler [2016-02-18 12:46:22] 861*2^1422315-1 is not prime. Res64: 6BF38B7D96F23F2A Time : 0.0 sec. user=mdettweiler [2016-02-18 12:46:22] 985*2^1422315-1 is not prime. Res64: 3294E81ECCFAE531 Time : 0.0 sec. user=mdettweiler [2016-02-18 12:46:22] 719*2^1422316-1 is not prime. Res64: FF83E52799F72D9F Time : 0.0 sec. user=mdettweiler [2016-02-18 12:47:32] 749*2^1422316-1 is not prime. Res64: 07603BD34FA8A0FB Time : 0.0 sec. user=mdettweiler [2016-02-18 12:47:32] 873*2^1422316-1 is not prime. Res64: EA28D7947E6B1F26 Time : 0.0 sec. user=mdettweiler [2016-02-18 13:03:59] 983*2^1422316-1 is not prime. Res64: 42B54DB0C03F03C1 Time : 0.0 sec. user=mdettweiler [2016-02-18 13:04:00] 887*2^1422316-1 is not prime. Res64: 764D976E88EB02D5 Time : 0.0 sec. user=mdettweiler [2016-02-18 13:04:01] 615*2^1422317-1 is not prime. Res64: A22EE621E6AD6B07 Time : 0.0 sec. user=mdettweiler [2016-02-18 13:04:02] 933*2^1422316-1 is not prime. Res64: 9FD89B11BE3DD58A Time : 0.0 sec. user=mdettweiler [2016-02-18 13:05:08] 675*2^1422317-1 is not prime. Res64: 2ABB0713EC29F814 Time : 0.0 sec. user=mdettweiler [2016-02-18 13:05:09] 697*2^1422317-1 is not prime. Res64: 40AE2D87D117DFC3 Time : 0.0 sec. user=mdettweiler [2016-02-18 13:21:59] 795*2^1422317-1 is not prime. Res64: AF1904187E6ACDEC Time : 0.0 sec. user=mdettweiler [2016-02-18 13:22:00] 997*2^1422317-1 is not prime. Res64: 3B932F3F5F8A2DC5 Time : 0.0 sec. user=mdettweiler [2016-02-18 13:22:00] 829*2^1422317-1 is not prime. Res64: DBE758A66DCD6425 Time : 0.0 sec. user=mdettweiler [2016-02-18 13:22:00] 663*2^1422318-1 is not prime. Res64: B6ABFDDE9C4D227E Time : 0.0 sec. user=mdettweiler [2016-02-18 13:22:48] 671*2^1422318-1 is not prime. Res64: BAB02EBB9E248C3E Time : 0.0 sec. user=mdettweiler [2016-02-18 13:22:48] 705*2^1422318-1 is not prime. Res64: 218A258192866BAD Time : 0.0 sec.