user=mdettweiler [2015-08-24 00:01:16] 825*2^1407110-1 is not prime. Res64: 6C6229001F8FAF66 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:01:16] 851*2^1407110-1 is not prime. Res64: C005A000127E5CE7 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:10:59] 861*2^1407110-1 is not prime. Res64: 7CC2FBC30ED6537F Time : 0.0 sec. user=mdettweiler [2015-08-24 00:11:00] 951*2^1407110-1 is not prime. Res64: F00A5D9D0650E840 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:19:44] 745*2^1407111-1 is not prime. Res64: A96A25FC50E8B4D3 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:19:45] 955*2^1407111-1 is not prime. Res64: 03F8930B38DD76A9 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:20:08] 975*2^1407111-1 is not prime. Res64: 17C51AC8008A4A41 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:20:09] 735*2^1407112-1 is not prime. Res64: 3E66C32DE1ED53A6 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:20:33] 743*2^1407112-1 is not prime. Res64: 8F2A0A9CA24686D3 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:20:33] 843*2^1407112-1 is not prime. Res64: FCC782D86982907E Time : 0.0 sec. user=mdettweiler [2015-08-24 00:28:56] 875*2^1407112-1 is not prime. Res64: 99239B63A86A4250 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:28:56] 615*2^1407113-1 is not prime. Res64: 69F57B648A10541D Time : 0.0 sec. user=mdettweiler [2015-08-24 00:37:22] 631*2^1407113-1 is not prime. Res64: EB0036748545E72C Time : 0.0 sec. user=mdettweiler [2015-08-24 00:37:22] 969*2^1407113-1 is not prime. Res64: CDF6836F64C5BB84 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:37:50] 641*2^1407114-1 is not prime. Res64: A8A39A4BF8E5D37D Time : 0.0 sec. user=mdettweiler [2015-08-24 00:37:51] 755*2^1407114-1 is not prime. Res64: 0DB0D0C4A0DC0AF7 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:38:16] 773*2^1407114-1 is not prime. Res64: 0794996FD98C2667 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:38:16] 891*2^1407114-1 is not prime. Res64: F563B083A2347862 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:47:12] 975*2^1407114-1 is not prime. Res64: CCD4C0D96857B412 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:47:12] 645*2^1407115-1 is not prime. Res64: 81220C9B8C8C7724 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:55:43] 673*2^1407115-1 is not prime. Res64: EFC16337B88D4297 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:55:43] 871*2^1407115-1 is not prime. Res64: 8205775F5CB18043 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:56:11] 609*2^1407116-1 is not prime. Res64: 35DF524EF52E0C7E Time : 0.0 sec. user=mdettweiler [2015-08-24 00:56:12] 789*2^1407116-1 is not prime. Res64: 3E059C3AA410B258 Time : 0.0 sec. user=mdettweiler [2015-08-24 00:56:33] 873*2^1407116-1 is not prime. Res64: 80F9DD0B274B044A Time : 0.0 sec. user=mdettweiler [2015-08-24 00:56:33] 909*2^1407116-1 is not prime. Res64: 96853B6613BF845D Time : 0.0 sec. user=mdettweiler [2015-08-24 01:04:56] 963*2^1407116-1 is not prime. Res64: EBAE805D0645E93C Time : 0.0 sec. user=mdettweiler [2015-08-24 01:04:57] 621*2^1407117-1 is not prime. Res64: 01086D0554B90802 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:13:16] 709*2^1407117-1 is not prime. Res64: 393EF904438BA5E8 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:13:16] 805*2^1407117-1 is not prime. Res64: B84B61D7559ACDCB Time : 0.0 sec. user=mdettweiler [2015-08-24 01:13:55] 817*2^1407117-1 is not prime. Res64: B4E931ABF6138304 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:13:55] 861*2^1407117-1 is not prime. Res64: 65A3D069B73CE031 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:14:19] 937*2^1407117-1 is not prime. Res64: DEF5C40CBDC9F9C1 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:14:19] 979*2^1407117-1 is not prime. Res64: A8D249C615D75790 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:22:58] 621*2^1407118-1 is not prime. Res64: F553E551D8B5DAB1 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:22:58] 645*2^1407118-1 is not prime. Res64: 33E797E4DF884FD6 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:31:00] 707*2^1407118-1 is not prime. Res64: 169F441A6E9C49E5 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:31:03] 633*2^1407119-1 is not prime. Res64: 25108F92BEE2CB6D Time : 0.0 sec. user=mdettweiler [2015-08-24 01:31:37] 679*2^1407119-1 is not prime. Res64: 3E5796DE241F9744 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:31:38] 711*2^1407119-1 is not prime. Res64: 6BA814486624AF30 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:32:02] 895*2^1407119-1 is not prime. Res64: 6AB05FC386E2C052 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:32:03] 909*2^1407119-1 is not prime. Res64: 0F671CC966103691 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:40:38] 939*2^1407119-1 is not prime. Res64: 0B6AD88E1302A153 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:40:38] 635*2^1407120-1 is not prime. Res64: 4C318A91CF1D9B7C Time : 0.0 sec. user=mdettweiler [2015-08-24 01:48:44] 689*2^1407120-1 is not prime. Res64: 90324D66A8969768 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:48:44] 725*2^1407120-1 is not prime. Res64: 7A4278D8E36CF5A4 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:49:21] 765*2^1407120-1 is not prime. Res64: 3A6703279A707299 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:49:21] 779*2^1407120-1 is not prime. Res64: 72A43FE952B471FD Time : 0.0 sec. user=mdettweiler [2015-08-24 01:49:47] 845*2^1407120-1 is not prime. Res64: F5C66FC8E7AA3084 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:49:47] 873*2^1407120-1 is not prime. Res64: 38E715D6F3DFB3FA Time : 0.0 sec. user=mdettweiler [2015-08-24 01:58:21] 887*2^1407120-1 is not prime. Res64: 2998D935A209A948 Time : 0.0 sec. user=mdettweiler [2015-08-24 01:58:22] 983*2^1407120-1 is not prime. Res64: 530B8971F89C638A Time : 0.0 sec. user=mdettweiler [2015-08-24 02:06:19] 615*2^1407121-1 is not prime. Res64: CD85CD7F754999A3 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:06:20] 681*2^1407121-1 is not prime. Res64: 84A09C21F79E5014 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:07:03] 727*2^1407121-1 is not prime. Res64: 1569A4E158F603D6 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:07:03] 745*2^1407121-1 is not prime. Res64: F6DB462790FAFE14 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:07:22] 777*2^1407121-1 is not prime. Res64: 2B1066AD1877125A Time : 0.0 sec. user=mdettweiler [2015-08-24 02:07:22] 847*2^1407121-1 is not prime. Res64: 032813DE6A989AD9 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:15:57] 855*2^1407121-1 is not prime. Res64: 2972B903161DB962 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:15:57] 957*2^1407121-1 is not prime. Res64: D0C06B3C9F283574 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:23:58] 979*2^1407121-1 is not prime. Res64: 8FD88D7EF389883A Time : 0.0 sec. user=mdettweiler [2015-08-24 02:23:58] 657*2^1407122-1 is not prime. Res64: F8D5EC2F8D318B1F Time : 0.0 sec. user=mdettweiler [2015-08-24 02:24:45] 675*2^1407122-1 is not prime. Res64: 64907F08486B9548 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:24:46] 755*2^1407122-1 is not prime. Res64: 449B35A52F23320F Time : 0.0 sec. user=mdettweiler [2015-08-24 02:25:01] 791*2^1407122-1 is not prime. Res64: 01CFA6377C992D34 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:25:01] 843*2^1407122-1 is not prime. Res64: 863833193609B25F Time : 0.0 sec. user=mdettweiler [2015-08-24 02:33:36] 625*2^1407123-1 is not prime. Res64: 553DAB985843494B Time : 0.0 sec. user=mdettweiler [2015-08-24 02:33:37] 679*2^1407123-1 is not prime. Res64: 52E82537BBD05069 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:41:36] 699*2^1407123-1 is not prime. Res64: 677EBB5B64D77F79 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:41:36] 793*2^1407123-1 is not prime. Res64: C1A3A0C25F482294 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:42:21] 805*2^1407123-1 is not prime. Res64: CA8EA51A137D8CFC Time : 0.0 sec. user=mdettweiler [2015-08-24 02:42:22] 823*2^1407123-1 is not prime. Res64: 9D4D35F590DF169A Time : 0.0 sec. user=mdettweiler [2015-08-24 02:42:38] 871*2^1407123-1 is not prime. Res64: 53E8E9CC8B7636C2 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:42:38] 985*2^1407123-1 is not prime. Res64: 3E72F016D2E95015 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:51:18] 991*2^1407123-1 is not prime. Res64: 5FB9B3EBBADDFCD7 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:51:19] 615*2^1407124-1 is not prime. Res64: 5ACC20C9FB10137F Time : 0.0 sec. user=mdettweiler [2015-08-24 02:59:11] 635*2^1407124-1 is not prime. Res64: 480FD47B17F20558 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:59:12] 675*2^1407124-1 is not prime. Res64: B0E66E274DDD3876 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:59:55] 719*2^1407124-1 is not prime. Res64: 17B9BD4AD0E5AEB6 Time : 0.0 sec. user=mdettweiler [2015-08-24 02:59:55] 873*2^1407124-1 is not prime. Res64: 23D695B37D2C4ABD Time : 0.0 sec. user=mdettweiler [2015-08-24 03:00:18] 601*2^1407125-1 is not prime. Res64: 88B0FE503E807823 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:00:19] 691*2^1407125-1 is not prime. Res64: 25F4FBB445AF299D Time : 0.0 sec. user=mdettweiler [2015-08-24 03:08:59] 759*2^1407125-1 is not prime. Res64: EA88978BE843AC9B Time : 0.0 sec. user=mdettweiler [2015-08-24 03:09:00] 771*2^1407125-1 is not prime. Res64: 59C55A7C997A0D67 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:16:59] 825*2^1407125-1 is not prime. Res64: AB46D34E83826CFC Time : 0.0 sec. user=mdettweiler [2015-08-24 03:16:59] 861*2^1407125-1 is not prime. Res64: 7E60A2F53BD997F6 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:17:41] 741*2^1407126-1 is not prime. Res64: C75ED993628B04F7 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:17:41] 747*2^1407126-1 is not prime. Res64: 9893DFEBFE4AE240 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:18:11] 765*2^1407126-1 is not prime. Res64: 73B3E2967C0931CB Time : 0.0 sec. user=mdettweiler [2015-08-24 03:18:12] 609*2^1407127-1 is not prime. Res64: 8869BC83937FEFC2 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:27:31] 663*2^1407127-1 is not prime. Res64: A41B68206DFBE79B Time : 0.0 sec. user=mdettweiler [2015-08-24 03:27:32] 673*2^1407127-1 is not prime. Res64: 2D368AF40E98A43F Time : 0.0 sec. user=mdettweiler [2015-08-24 03:35:12] 703*2^1407127-1 is not prime. Res64: 6BEA236EE9C59230 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:35:13] 705*2^1407127-1 is not prime. Res64: 73582A652F332EC0 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:36:16] 759*2^1407127-1 is not prime. Res64: 2A8A9B96839E487D Time : 0.0 sec. user=mdettweiler [2015-08-24 03:36:17] 819*2^1407127-1 is not prime. Res64: 0CC048F1B65A1C47 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:36:54] 871*2^1407127-1 is not prime. Res64: E7F4FD3A9356B8DE Time : 0.0 sec. user=mdettweiler [2015-08-24 03:36:55] 891*2^1407127-1 is not prime. Res64: F63EC83A1A6316EB Time : 0.0 sec. user=mdettweiler [2015-08-24 03:45:11] 961*2^1407127-1 is not prime. Res64: 420599852226C265 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:45:13] 635*2^1407128-1 is not prime. Res64: ADDBEE2184A77DAA Time : 0.0 sec. user=mdettweiler [2015-08-24 03:53:01] 659*2^1407128-1 is not prime. Res64: 4161F0FB0B43847A Time : 0.0 sec. user=mdettweiler [2015-08-24 03:53:02] 669*2^1407128-1 is not prime. Res64: D1CF50FCDD6CBD03 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:54:04] 689*2^1407128-1 is not prime. Res64: 25A048B4A804EA88 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:54:04] 839*2^1407128-1 is not prime. Res64: 60C152E7DB00E7B0 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:54:35] 929*2^1407128-1 is not prime. Res64: B315101D6804B5C7 Time : 0.0 sec. user=mdettweiler [2015-08-24 03:54:36] 691*2^1407129-1 is not prime. Res64: 257C154FC71E0F53 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:03:12] 829*2^1407129-1 is not prime. Res64: FFBB536456F6BEE7 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:03:13] 987*2^1407129-1 is not prime. Res64: FB84750BBCBB117D Time : 0.0 sec. user=mdettweiler [2015-08-24 04:10:39] 635*2^1407130-1 is not prime. Res64: E2AF1F849D73F5CC Time : 0.0 sec. user=mdettweiler [2015-08-24 04:10:40] 675*2^1407130-1 is not prime. Res64: C36F7F74D3BFD829 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:11:44] 755*2^1407130-1 is not prime. Res64: 59BC19F3E90B6632 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:11:45] 801*2^1407130-1 is not prime. Res64: 7044FE5013E0E362 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:12:20] 619*2^1407131-1 is not prime. Res64: 09D75AA6E2F58700 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:12:21] 679*2^1407131-1 is not prime. Res64: C84EE31031182672 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:21:15] 745*2^1407131-1 is not prime. Res64: EBC5A62CD3507325 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:21:15] 883*2^1407131-1 is not prime. Res64: 165735C12D478164 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:28:24] 903*2^1407131-1 is not prime. Res64: 617C3126A6AF71DC Time : 0.0 sec. user=mdettweiler [2015-08-24 04:28:24] 999*2^1407131-1 is not prime. Res64: 66CD1C4D80B4E348 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:29:22] 737*2^1407132-1 is not prime. Res64: C622E750E71E54C4 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:29:22] 903*2^1407132-1 is not prime. Res64: 5675F90401C6797D Time : 0.0 sec. user=mdettweiler [2015-08-24 04:30:06] 609*2^1407133-1 is not prime. Res64: 23A49B2BD79AE27F Time : 0.0 sec. user=mdettweiler [2015-08-24 04:30:06] 615*2^1407133-1 is not prime. Res64: EC77E34A9CFA60F6 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:38:50] 829*2^1407133-1 is not prime. Res64: 867AB883B9A60B2D Time : 0.0 sec. user=mdettweiler [2015-08-24 04:38:50] 847*2^1407133-1 is not prime. Res64: 8340CE8A6021CB5D Time : 0.0 sec. user=mdettweiler [2015-08-24 04:45:58] 955*2^1407133-1 is not prime. Res64: 0A21818B9F2A910D Time : 0.0 sec. user=mdettweiler [2015-08-24 04:45:59] 985*2^1407133-1 is not prime. Res64: BC1D4092730900FF Time : 0.0 sec. user=mdettweiler [2015-08-24 04:47:01] 987*2^1407133-1 is not prime. Res64: F237260591A4C3D0 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:47:01] 641*2^1407134-1 is not prime. Res64: 9161D80E4708A8C0 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:47:49] 663*2^1407134-1 is not prime. Res64: EE364B6C11C0F3E3 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:47:50] 815*2^1407134-1 is not prime. Res64: 4EE83DF4EC043EF2 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:56:29] 827*2^1407134-1 is not prime. Res64: D065E174D4DC58F2 Time : 0.0 sec. user=mdettweiler [2015-08-24 04:56:30] 861*2^1407134-1 is not prime. Res64: AC9E8D87AB8FD8BC Time : 0.0 sec. user=mdettweiler [2015-08-24 05:03:42] 873*2^1407134-1 is not prime. Res64: 4F046F27FEEFCC82 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:03:44] 897*2^1407134-1 is not prime. Res64: 6678B046E2F6105B Time : 0.0 sec. user=mdettweiler [2015-08-24 05:04:46] 903*2^1407134-1 is not prime. Res64: 5BC9380FF964D060 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:04:47] 853*2^1407135-1 is not prime. Res64: 0B65F88959BF808F Time : 0.0 sec. user=mdettweiler [2015-08-24 05:05:28] 951*2^1407135-1 is not prime. Res64: 285FB4C975153811 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:05:29] 985*2^1407135-1 is not prime. Res64: 49CC29DD220586EA Time : 0.0 sec. user=mdettweiler [2015-08-24 05:14:07] 735*2^1407136-1 is not prime. Res64: 184A8E19457E9A18 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:14:08] 825*2^1407136-1 is not prime. Res64: CCBB32856B1B5E1F Time : 0.0 sec. user=mdettweiler [2015-08-24 05:21:32] 903*2^1407136-1 is not prime. Res64: AB087C37A8BC8BE0 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:21:33] 917*2^1407136-1 is not prime. Res64: E8E4B2006DC73963 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:22:32] 989*2^1407136-1 is not prime. Res64: F4342EDA7985D2B3 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:22:33] 691*2^1407137-1 is not prime. Res64: 4E8C2573D13A98A4 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:23:15] 717*2^1407137-1 is not prime. Res64: 136ECDBC52F6F968 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:23:15] 777*2^1407137-1 is not prime. Res64: 33D91A5BE55EBF96 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:31:49] 805*2^1407137-1 is not prime. Res64: 93756FEAF5069612 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:31:49] 829*2^1407137-1 is not prime. Res64: EB3BC0EBDB39C759 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:39:17] 847*2^1407137-1 is not prime. Res64: D95D385BFF67906F Time : 0.0 sec. user=mdettweiler [2015-08-24 05:39:17] 889*2^1407137-1 is not prime. Res64: D00427EC959E04DB Time : 0.0 sec. user=mdettweiler [2015-08-24 05:40:10] 957*2^1407137-1 is not prime. Res64: 0D72809FE8D4D6EB Time : 0.0 sec. user=mdettweiler [2015-08-24 05:40:10] 967*2^1407137-1 is not prime. Res64: 256499A1D79C3001 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:40:53] 611*2^1407138-1 is not prime. Res64: 691B605549472B7F Time : 0.0 sec. user=mdettweiler [2015-08-24 05:40:53] 681*2^1407138-1 is not prime. Res64: D8D38E5317AC445A Time : 0.0 sec. user=mdettweiler [2015-08-24 05:49:25] 755*2^1407138-1 is not prime. Res64: 4C15604554EFC973 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:49:26] 837*2^1407138-1 is not prime. Res64: 609D5000B3F6FFDC Time : 0.0 sec. user=mdettweiler [2015-08-24 05:56:53] 861*2^1407138-1 is not prime. Res64: 5681BD43317306D7 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:56:53] 905*2^1407138-1 is not prime. Res64: 9D98986AC306FF2D Time : 0.0 sec. user=mdettweiler [2015-08-24 05:57:46] 615*2^1407139-1 is not prime. Res64: 86D2F85060DCB89A Time : 0.0 sec. user=mdettweiler [2015-08-24 05:57:46] 723*2^1407139-1 is not prime. Res64: 717AB7F7A1B0B895 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:58:28] 883*2^1407139-1 is not prime. Res64: 6391A604DB3224A2 Time : 0.0 sec. user=mdettweiler [2015-08-24 05:58:28] 961*2^1407139-1 is not prime. Res64: F7F5FF1500F59D15 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:07:07] 999*2^1407139-1 is not prime. Res64: 194D4B76CBC2D778 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:07:10] 633*2^1407140-1 is not prime. Res64: 29E6B29F6D31A9F1 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:14:32] 699*2^1407140-1 is not prime. Res64: CCBB596362B26B1E Time : 0.0 sec. user=mdettweiler [2015-08-24 06:14:33] 707*2^1407140-1 is not prime. Res64: 9769DEFCD80DF6C0 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:15:26] 833*2^1407140-1 is not prime. Res64: 8F07B13856D59ACB Time : 0.0 sec. user=mdettweiler [2015-08-24 06:15:26] 843*2^1407140-1 is not prime. Res64: 4E0EA04AAC70053E Time : 0.0 sec. user=mdettweiler [2015-08-24 06:16:16] 879*2^1407140-1 is not prime. Res64: 197294C9C0BF8CB6 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:16:17] 691*2^1407141-1 is not prime. Res64: 3F447EBABD13AD41 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:25:13] 717*2^1407141-1 is not prime. Res64: 15C5F319EA15A460 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:25:14] 837*2^1407141-1 is not prime. Res64: BB5634A32ECC73B1 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:32:15] 969*2^1407141-1 is not prime. Res64: E426C23216C532A2 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:32:15] 647*2^1407142-1 is not prime. Res64: 872C4FB7FD62F436 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:33:05] 671*2^1407142-1 is not prime. Res64: 82C5C68D4CD05F1F Time : 0.0 sec. user=mdettweiler [2015-08-24 06:33:06] 897*2^1407142-1 is not prime. Res64: AD0A05BDD25A1A2F Time : 0.0 sec. user=mdettweiler [2015-08-24 06:33:51] 983*2^1407142-1 is not prime. Res64: 1FB0BEABADD16E55 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:33:51] 661*2^1407143-1 is not prime. Res64: 5AD95CAB554684D3 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:42:58] 735*2^1407143-1 is not prime. Res64: 2BA26FBC20DF9417 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:42:58] 745*2^1407143-1 is not prime. Res64: 83035EBF0CD8184C Time : 0.0 sec. user=mdettweiler [2015-08-24 06:49:55] 819*2^1407143-1 is not prime. Res64: BEA571573EDAD73B Time : 0.0 sec. user=mdettweiler [2015-08-24 06:49:55] 889*2^1407143-1 is not prime. Res64: B19D74E1BDAD9EF5 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:50:42] 921*2^1407143-1 is not prime. Res64: D90053EFF839A432 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:50:42] 949*2^1407143-1 is not prime. Res64: 39DA2448ADB34B63 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:51:36] 991*2^1407143-1 is not prime. Res64: CAACEBA0C58C8410 Time : 0.0 sec. user=mdettweiler [2015-08-24 06:51:36] 609*2^1407144-1 is not prime. Res64: 4A2B93217A00ADC9 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:00:32] 635*2^1407144-1 is not prime. Res64: 7DDB62A56D0B33D1 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:00:33] 693*2^1407144-1 is not prime. Res64: C7378DD93C8A1C02 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:07:32] 707*2^1407144-1 is not prime. Res64: 6A65D5C07A078BD8 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:07:33] 825*2^1407144-1 is not prime. Res64: C9707B4A680846FF Time : 0.0 sec. user=mdettweiler [2015-08-24 07:08:19] 945*2^1407144-1 is not prime. Res64: ACD24728430175CF Time : 0.0 sec. user=mdettweiler [2015-08-24 07:08:20] 915*2^1407145-1 is not prime. Res64: E9933D897A1E6FC1 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:09:13] 641*2^1407146-1 is not prime. Res64: 578B5FA206C88BC6 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:09:14] 651*2^1407146-1 is not prime. Res64: D6775B76D4A62FC7 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:18:18] 675*2^1407146-1 is not prime. Res64: 34CA40207D0F8BEB Time : 0.0 sec. user=mdettweiler [2015-08-24 07:18:18] 773*2^1407146-1 is not prime. Res64: 35F3088D8A9A7A85 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:25:08] 813*2^1407146-1 is not prime. Res64: 14AFD9D8AEAA7A61 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:25:08] 861*2^1407146-1 is not prime. Res64: 52EDFFE6DE1D8930 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:25:58] 867*2^1407146-1 is not prime. Res64: 117DC5CF2FECA901 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:25:58] 703*2^1407147-1 is not prime. Res64: 44BF25AF173EAB54 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:27:01] 705*2^1407147-1 is not prime. Res64: 6F91F56E090EA966 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:27:01] 751*2^1407147-1 is not prime. Res64: D63A045CCB189FC5 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:35:56] 819*2^1407147-1 is not prime. Res64: 6FF43272D499B9D4 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:35:57] 663*2^1407148-1 is not prime. Res64: ADA722EFDF4C5E16 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:42:43] 687*2^1407148-1 is not prime. Res64: D2430D6A8DC89848 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:42:44] 729*2^1407148-1 is not prime. Res64: 5130E5D1D88279A2 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:43:37] 887*2^1407148-1 is not prime. Res64: 92E26A4B13B4E58E Time : 0.0 sec. user=mdettweiler [2015-08-24 07:43:38] 959*2^1407148-1 is not prime. Res64: 887A5D1D2FD0C8D6 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:44:43] 993*2^1407148-1 is not prime. Res64: 707B09499AE6AB66 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:44:43] 615*2^1407149-1 is not prime. Res64: F382D4AA642DBF40 Time : 0.0 sec. user=mdettweiler [2015-08-24 07:53:46] 631*2^1407149-1 is not prime. Res64: 200BC824BD6C398F Time : 0.0 sec. user=mdettweiler [2015-08-24 07:53:46] 675*2^1407149-1 is not prime. Res64: 9C35BB2F3225A3CF Time : 0.0 sec. user=mdettweiler [2015-08-24 08:00:24] 727*2^1407149-1 is not prime. Res64: A7DC98556720DFC2 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:00:25] 741*2^1407149-1 is not prime. Res64: C62794A4B39CF75A Time : 0.0 sec. user=mdettweiler [2015-08-24 08:01:25] 795*2^1407149-1 is not prime. Res64: A2984E0F8029A0B2 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:01:26] 837*2^1407149-1 is not prime. Res64: 913C7F8946648683 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:02:25] 865*2^1407149-1 is not prime. Res64: E84A4273E1BEC784 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:02:27] 957*2^1407149-1 is not prime. Res64: 3A27FCEE8BDAB58A Time : 0.0 sec. user=mdettweiler [2015-08-24 08:11:31] 657*2^1407150-1 is not prime. Res64: 45B07B23FA430427 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:11:32] 681*2^1407150-1 is not prime. Res64: 361C0E6E0450F623 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:18:06] 725*2^1407150-1 is not prime. Res64: 53926429EF71895D Time : 0.0 sec. user=mdettweiler [2015-08-24 08:18:06] 843*2^1407150-1 is not prime. Res64: 37B3A5D74182C004 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:19:04] 965*2^1407150-1 is not prime. Res64: B50A0B9261305E25 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:19:05] 639*2^1407151-1 is not prime. Res64: 3043A23A54015C5B Time : 0.0 sec. user=mdettweiler [2015-08-24 08:20:07] 741*2^1407151-1 is not prime. Res64: FE3090E2ECD2A0CE Time : 0.0 sec. user=mdettweiler [2015-08-24 08:20:07] 813*2^1407151-1 is not prime. Res64: 5EACEB2E79BB09F1 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:29:13] 925*2^1407151-1 is not prime. Res64: 75AC2CE58A3767A7 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:29:13] 603*2^1407152-1 is not prime. Res64: 0E3CA7433C614712 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:35:44] 635*2^1407152-1 is not prime. Res64: 1B2AEA7C2460D5CC Time : 0.0 sec. user=mdettweiler [2015-08-24 08:35:44] 753*2^1407152-1 is not prime. Res64: 3123916E7842DE85 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:36:43] 755*2^1407152-1 is not prime. Res64: 9DE8C80CDBCCBEA3 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:36:44] 813*2^1407152-1 is not prime. Res64: 26435517E8A0E54E Time : 0.0 sec. user=mdettweiler [2015-08-24 08:37:38] 977*2^1407152-1 is not prime. Res64: 783B7CA2B226BD66 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:37:39] 649*2^1407153-1 is not prime. Res64: F5048E4398F41E5D Time : 0.0 sec. user=mdettweiler [2015-08-24 08:46:49] 685*2^1407153-1 is not prime. Res64: E6397FA6576B7771 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:46:49] 759*2^1407153-1 is not prime. Res64: 899D760E9F660F7F Time : 0.0 sec. user=mdettweiler [2015-08-24 08:53:18] 885*2^1407153-1 is not prime. Res64: 3FFB6EA7013DF0C1 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:53:18] 621*2^1407154-1 is not prime. Res64: FCFEEA873942C6F9 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:54:16] 681*2^1407154-1 is not prime. Res64: FE4AA784799EAF9E Time : 0.0 sec. user=mdettweiler [2015-08-24 08:54:16] 687*2^1407154-1 is not prime. Res64: 93AB5B69FA8CFFB8 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:55:17] 705*2^1407154-1 is not prime. Res64: D8A70CDF89AA0A57 Time : 0.0 sec. user=mdettweiler [2015-08-24 08:55:18] 755*2^1407154-1 is not prime. Res64: 1BBC6871450CC16F Time : 0.0 sec. user=mdettweiler [2015-08-24 09:04:39] 773*2^1407154-1 is not prime. Res64: 99E46C10EA787DAD Time : 0.0 sec. user=mdettweiler [2015-08-24 09:04:41] 987*2^1407154-1 is not prime. Res64: 07F419D426BAEED4 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:11:12] 609*2^1407155-1 is not prime. Res64: 32E960F9ED09E1F4 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:11:12] 705*2^1407155-1 is not prime. Res64: B9297A1C411471EE Time : 0.0 sec. user=mdettweiler [2015-08-24 09:11:56] 759*2^1407155-1 is not prime. Res64: 4D1AED5F83D0313A Time : 0.0 sec. user=mdettweiler [2015-08-24 09:11:57] 799*2^1407155-1 is not prime. Res64: 8C4633D051F007B2 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:13:09] 823*2^1407155-1 is not prime. Res64: 5EEF7FCF87C78093 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:13:09] 861*2^1407155-1 is not prime. Res64: 1C28CF0E8106B78A Time : 0.0 sec. user=mdettweiler [2015-08-24 09:22:36] 943*2^1407155-1 is not prime. Res64: FD2394BFF8582B0E Time : 0.0 sec. user=mdettweiler [2015-08-24 09:22:37] 985*2^1407155-1 is not prime. Res64: AE4B21233DA5B0B3 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:28:49] 669*2^1407156-1 is not prime. Res64: DD237A6C92159FF7 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:28:49] 723*2^1407156-1 is not prime. Res64: F9298D04460A20A5 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:29:35] 765*2^1407156-1 is not prime. Res64: F05D9E7D5BC1064E Time : 0.0 sec. user=mdettweiler [2015-08-24 09:29:36] 887*2^1407156-1 is not prime. Res64: B092C0D8AB647CAD Time : 0.0 sec. user=mdettweiler [2015-08-24 09:30:49] 975*2^1407156-1 is not prime. Res64: 6D365A5B0D1361AE Time : 0.0 sec. user=mdettweiler [2015-08-24 09:30:49] 691*2^1407157-1 is not prime. Res64: 3196B4436D58483F Time : 0.0 sec. user=mdettweiler [2015-08-24 09:40:29] 831*2^1407157-1 is not prime. Res64: DC1AFF4D4A14937B Time : 0.0 sec. user=mdettweiler [2015-08-24 09:40:29] 861*2^1407157-1 is not prime. Res64: 9C2B7146B167C928 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:47:03] 867*2^1407157-1 is not prime. Res64: 1814400FBA9AE8FC Time : 0.0 sec. user=mdettweiler [2015-08-24 09:47:03] 937*2^1407157-1 is not prime. Res64: D02453F78B7AB2DA Time : 0.0 sec. user=mdettweiler [2015-08-24 09:47:33] 961*2^1407157-1 is not prime. Res64: 324349B7C51CC84F Time : 0.0 sec. user=mdettweiler [2015-08-24 09:47:33] 603*2^1407158-1 is not prime. Res64: 129BE64EEB4200A3 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:48:45] 627*2^1407158-1 is not prime. Res64: 6B8AC322C66C5270 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:48:45] 707*2^1407158-1 is not prime. Res64: 462B7F7FD55C5732 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:58:51] 743*2^1407158-1 is not prime. Res64: 1DF80FB43C164616 Time : 0.0 sec. user=mdettweiler [2015-08-24 09:58:51] 797*2^1407158-1 is not prime. Res64: 8B9DBAA76AB155A6 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:05:41] 801*2^1407158-1 is not prime. Res64: 031EE8FCEF928234 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:05:44] 861*2^1407158-1 is not prime. Res64: 7DF700415F75404F Time : 0.0 sec. user=mdettweiler [2015-08-24 10:06:21] 893*2^1407158-1 is not prime. Res64: 67D91DE5A6D985B9 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:06:22] 953*2^1407158-1 is not prime. Res64: D9A02F385D50D990 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:07:21] 957*2^1407158-1 is not prime. Res64: CEA96C26A83847B6 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:07:27] 615*2^1407159-1 is not prime. Res64: 5970FB2B7358DD86 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:18:17] 663*2^1407159-1 is not prime. Res64: A47323EE5F929CD3 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:18:17] 679*2^1407159-1 is not prime. Res64: 875D6B9B6462226B Time : 0.0 sec. user=mdettweiler [2015-08-24 10:25:10] 685*2^1407159-1 is not prime. Res64: 571FE5E61F39083E Time : 0.0 sec. user=mdettweiler [2015-08-24 10:25:10] 691*2^1407159-1 is not prime. Res64: 2AB222E875026143 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:25:13] 703*2^1407159-1 is not prime. Res64: 6044D46C53910003 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:25:14] 775*2^1407159-1 is not prime. Res64: D8E7D86DCD11A0C0 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:26:18] 789*2^1407159-1 is not prime. Res64: 6DC2213F21D613D1 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:26:18] 793*2^1407159-1 is not prime. Res64: 98017FA6297A9F5B Time : 0.0 sec. user=mdettweiler [2015-08-24 10:36:03] 843*2^1407159-1 is not prime. Res64: D57B7E3422E9D0D9 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:36:04] 885*2^1407159-1 is not prime. Res64: 3C4BCEDF1C04A70F Time : 0.0 sec. user=mdettweiler [2015-08-24 10:42:50] 677*2^1407160-1 is not prime. Res64: B93FB4E1FDE66C39 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:42:50] 695*2^1407160-1 is not prime. Res64: EB97D42F19C00CE2 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:42:52] 933*2^1407159-1 is not prime. Res64: B15DE92663F09D5E Time : 0.0 sec. user=mdettweiler [2015-08-24 10:42:53] 623*2^1407160-1 is not prime. Res64: 3DA0FACB5DC1BE16 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:43:55] 717*2^1407160-1 is not prime. Res64: 9EE789231A54A0E6 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:43:55] 813*2^1407160-1 is not prime. Res64: 1B348B78C5487AE4 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:54:02] 839*2^1407160-1 is not prime. Res64: 6776A82B7F3E6C28 Time : 0.0 sec. user=mdettweiler [2015-08-24 10:54:02] 899*2^1407160-1 is not prime. Res64: D0A10BA0CCDC32A7 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:01:43] 657*2^1407161-1 is not prime. Res64: 8EEF3AB4DE966130 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:01:44] 685*2^1407161-1 is not prime. Res64: 779AABBC8676A462 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:01:46] 933*2^1407160-1 is not prime. Res64: 29C05EC5DBDFE4CC Time : 0.0 sec. user=mdettweiler [2015-08-24 11:01:46] 957*2^1407160-1 is not prime. Res64: C961027497810528 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:02:50] 711*2^1407161-1 is not prime. Res64: C20E6C6D3080BE82 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:02:51] 735*2^1407161-1 is not prime. Res64: 8B780E8B4A185484 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:13:54] 745*2^1407161-1 is not prime. Res64: C2EE66AD3AF544EC Time : 0.0 sec. user=mdettweiler [2015-08-24 11:13:55] 879*2^1407161-1 is not prime. Res64: B9757B673B4DC679 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:22:01] 937*2^1407161-1 is not prime. Res64: 19341AB9B99A8DE8 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:22:02] 821*2^1407162-1 is not prime. Res64: 1D81C6729CF8AEE2 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:22:20] 837*2^1407162-1 is not prime. Res64: EA0E1F80B83DD19F Time : 0.0 sec. user=mdettweiler [2015-08-24 11:22:21] 873*2^1407162-1 is not prime. Res64: 469BA5150896D3D4 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:23:03] 893*2^1407162-1 is not prime. Res64: 124ACB2EA3338A9B Time : 0.0 sec. user=mdettweiler [2015-08-24 11:23:04] 921*2^1407162-1 is not prime. Res64: DD44E1B22A0360AC Time : 0.0 sec. user=mdettweiler [2015-08-24 11:32:56] 945*2^1407162-1 is not prime. Res64: 2F28B5FC7C0BED66 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:32:56] 1001*2^1407162-1 is not prime. Res64: C015A86AEECB6B2E Time : 0.0 sec. user=mdettweiler [2015-08-24 11:39:57] 615*2^1407163-1 is not prime. Res64: 3AF28EAE60274232 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:39:57] 649*2^1407163-1 is not prime. Res64: 22E881261B0FA7C7 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:40:10] 693*2^1407163-1 is not prime. Res64: 2B5C4BDDF92B60A2 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:40:10] 703*2^1407163-1 is not prime. Res64: 97A81B9F7E83E62F Time : 0.0 sec. user=mdettweiler [2015-08-24 11:40:51] 775*2^1407163-1 is not prime. Res64: 59A62081B663D5A6 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:40:52] 915*2^1407163-1 is not prime. Res64: 1FABD87A2AC089C7 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:51:24] 939*2^1407163-1 is not prime. Res64: BC7A7DB328B70408 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:51:24] 617*2^1407164-1 is not prime. Res64: 122492BDD5BC4226 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:58:28] 743*2^1407164-1 is not prime. Res64: AD6A07F4DC427D08 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:58:29] 827*2^1407164-1 is not prime. Res64: 4589818890E0A4CA Time : 0.0 sec. user=mdettweiler [2015-08-24 11:58:31] 677*2^1407164-1 is not prime. Res64: 9A24BF40E9CB49A5 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:58:31] 687*2^1407164-1 is not prime. Res64: C67665C6D4062A37 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:59:19] 837*2^1407164-1 is not prime. Res64: 7E90FB2066FB4ED9 Time : 0.0 sec. user=mdettweiler [2015-08-24 11:59:20] 843*2^1407164-1 is not prime. Res64: F2BDF2F7BF1021EB Time : 0.0 sec. user=mdettweiler [2015-08-24 12:09:04] 953*2^1407164-1 is not prime. Res64: 0F947E7846CE8C75 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:09:05] 959*2^1407164-1 is not prime. Res64: 060BDE74AED1D212 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:16:11] 831*2^1407165-1 is not prime. Res64: 6F7233B41F7AB8BE Time : 0.0 sec. user=mdettweiler [2015-08-24 12:16:11] 915*2^1407165-1 is not prime. Res64: E49920410B0F766A Time : 0.0 sec. user=mdettweiler [2015-08-24 12:16:12] 639*2^1407165-1 is not prime. Res64: CB6449E0C378CF48 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:16:12] 777*2^1407165-1 is not prime. Res64: A4E2D6F23CC0D247 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:17:02] 975*2^1407165-1 is not prime. Res64: 1565128948BAAA49 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:17:02] 623*2^1407166-1 is not prime. Res64: 28EC97D71F4DC0D0 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:26:48] 747*2^1407166-1 is not prime. Res64: C6C0ED92026ACFE4 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:26:48] 815*2^1407166-1 is not prime. Res64: C82227EA88273531 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:33:53] 911*2^1407166-1 is not prime. Res64: 352D416113562C35 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:33:53] 609*2^1407167-1 is not prime. Res64: 87479C05C18CE7CB Time : 0.0 sec. user=mdettweiler [2015-08-24 12:33:53] 941*2^1407166-1 is not prime. Res64: 5DF61037BFFBF42C Time : 0.0 sec. user=mdettweiler [2015-08-24 12:33:53] 633*2^1407167-1 is not prime. Res64: D65FB4882A868FB0 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:34:42] 655*2^1407167-1 is not prime. Res64: 9D3F985156BD0290 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:34:43] 729*2^1407167-1 is not prime. Res64: AB236D86ECBFC115 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:44:27] 859*2^1407167-1 is not prime. Res64: F783B2EF09CB6307 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:44:27] 931*2^1407167-1 is not prime. Res64: 614D77FE7B06755A Time : 0.0 sec. user=mdettweiler [2015-08-24 12:51:29] 665*2^1407168-1 is not prime. Res64: 0713B7B26BB8CFD5 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:51:29] 669*2^1407168-1 is not prime. Res64: 7B7780D9964C02B6 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:51:36] 695*2^1407168-1 is not prime. Res64: 9DB5B838466C0EB1 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:51:36] 809*2^1407168-1 is not prime. Res64: 8F4054A4DD47CAE8 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:52:23] 959*2^1407168-1 is not prime. Res64: D54D12CEFE6C7727 Time : 0.0 sec. user=mdettweiler [2015-08-24 12:52:23] 625*2^1407169-1 is not prime. Res64: 1AFC904DD1A62F7D Time : 0.0 sec. user=mdettweiler [2015-08-24 13:02:12] 867*2^1407169-1 is not prime. Res64: BF59E6C5A3C27D98 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:02:14] 967*2^1407169-1 is not prime. Res64: CF7972ED03859AE2 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:09:11] 615*2^1407170-1 is not prime. Res64: 2073FA684CDB052B Time : 0.0 sec. user=mdettweiler [2015-08-24 13:09:12] 857*2^1407170-1 is not prime. Res64: 9DF589FF95EDDE4C Time : 0.0 sec. user=mdettweiler [2015-08-24 13:09:28] 887*2^1407170-1 is not prime. Res64: 6A8BCE99974D1C5F Time : 0.0 sec. user=mdettweiler [2015-08-24 13:09:29] 945*2^1407170-1 is not prime. Res64: BB0819CE05BEC768 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:10:02] 981*2^1407170-1 is not prime. Res64: 028A1E2A645CBF6D Time : 0.0 sec. user=mdettweiler [2015-08-24 13:10:02] 849*2^1407171-1 is not prime. Res64: 26A8422ED4AA90CD Time : 0.0 sec. user=mdettweiler [2015-08-24 13:20:14] 975*2^1407171-1 is not prime. Res64: 6B5EBE6666F40213 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:20:15] 979*2^1407171-1 is not prime. Res64: 50832B13D3EE471C Time : 0.0 sec. user=mdettweiler [2015-08-24 13:26:49] 991*2^1407171-1 is not prime. Res64: 5E86ABCD5A22598D Time : 0.0 sec. user=mdettweiler [2015-08-24 13:26:50] 657*2^1407172-1 is not prime. Res64: 2F541CA85270DD40 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:27:19] 759*2^1407172-1 is not prime. Res64: 49D8B2D75F089947 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:27:19] 863*2^1407172-1 is not prime. Res64: 104E315EA5FAEDA2 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:27:42] 903*2^1407172-1 is not prime. Res64: DE61CD36C7C24385 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:27:42] 657*2^1407173-1 is not prime. Res64: 78D7C8E32A63D0ED Time : 0.0 sec. user=mdettweiler [2015-08-24 13:38:00] 741*2^1407173-1 is not prime. Res64: AD729D4CB4B7CEDC Time : 0.0 sec. user=mdettweiler [2015-08-24 13:38:00] 789*2^1407173-1 is not prime. Res64: 90619E7054503967 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:44:35] 951*2^1407173-1 is not prime. Res64: AE9B2E6E7877F204 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:44:35] 987*2^1407173-1 is not prime. Res64: BCC06D5B5C4AE07C Time : 0.0 sec. user=mdettweiler [2015-08-24 13:44:55] 651*2^1407174-1 is not prime. Res64: C14A9DD75E89E82C Time : 0.0 sec. user=mdettweiler [2015-08-24 13:44:56] 921*2^1407174-1 is not prime. Res64: AD92449AA2B1BB80 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:45:25] 633*2^1407175-1 is not prime. Res64: 11D00D89C4546CCE Time : 0.0 sec. user=mdettweiler [2015-08-24 13:45:25] 649*2^1407175-1 is not prime. Res64: BAB8BE7EDD464C26 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:55:37] 723*2^1407175-1 is not prime. Res64: 8D9BA0119E39BAC0 Time : 0.0 sec. user=mdettweiler [2015-08-24 13:55:37] 883*2^1407175-1 is not prime. Res64: 8B342BE2D243DD99 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:02:09] 615*2^1407176-1 is not prime. Res64: 4F233E95DE3DB19D Time : 0.0 sec. user=mdettweiler [2015-08-24 14:02:10] 803*2^1407176-1 is not prime. Res64: 0AF68907FCC2D7E6 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:02:24] 869*2^1407176-1 is not prime. Res64: AB91A3CD37796F7B Time : 0.0 sec. user=mdettweiler [2015-08-24 14:02:24] 945*2^1407176-1 is not prime. Res64: BC0BF1FF3F4440A8 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:03:03] 805*2^1407177-1 is not prime. Res64: 12B1348F6B86D26D Time : 0.0 sec. user=mdettweiler [2015-08-24 14:03:04] 817*2^1407177-1 is not prime. Res64: 70E5FB431098AF60 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:13:18] 871*2^1407177-1 is not prime. Res64: A8919DD11F1016CA Time : 0.0 sec. user=mdettweiler [2015-08-24 14:13:19] 885*2^1407177-1 is not prime. Res64: 4834D24F6D3E08DB Time : 0.0 sec. user=mdettweiler [2015-08-24 14:20:01] 889*2^1407177-1 is not prime. Res64: 93FA71CD54682D86 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:20:01] 901*2^1407177-1 is not prime. Res64: DAA7C978ECB7A12F Time : 0.0 sec. user=mdettweiler [2015-08-24 14:20:04] 915*2^1407177-1 is not prime. Res64: 194A8198CC938902 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:20:04] 937*2^1407177-1 is not prime. Res64: 8D650638203FE9BF Time : 0.0 sec. user=mdettweiler [2015-08-24 14:20:54] 979*2^1407177-1 is not prime. Res64: BDF9B01D35578AB4 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:20:54] 635*2^1407178-1 is not prime. Res64: 0A390F4358D3C686 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:32:45] 677*2^1407178-1 is not prime. Res64: 47AF44D13F072204 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:32:46] 791*2^1407178-1 is not prime. Res64: 50C829AE71B9BCB8 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:38:09] 827*2^1407178-1 is not prime. Res64: A2673B80884857B5 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:38:09] 801*2^1407178-1 is not prime. Res64: B7E2D6C39E98A4C8 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:38:09] 843*2^1407178-1 is not prime. Res64: 055FFB692B23C506 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:38:09] 821*2^1407178-1 is not prime. Res64: 02F4C6583C10A75F Time : 0.0 sec. user=mdettweiler [2015-08-24 14:40:12] 887*2^1407178-1 is not prime. Res64: 4C5A6517BFAB6C90 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:40:12] 621*2^1407179-1 is not prime. Res64: F380ED508C36F160 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:50:24] 633*2^1407179-1 is not prime. Res64: D177B84D83382256 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:50:25] 733*2^1407179-1 is not prime. Res64: 0841BA481E75382F Time : 0.0 sec. user=mdettweiler [2015-08-24 14:55:44] 909*2^1407179-1 is not prime. Res64: D715B6730126990E Time : 0.0 sec. user=mdettweiler [2015-08-24 14:55:44] 921*2^1407179-1 is not prime. Res64: 5A3B3913A297F5F4 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:55:46] 735*2^1407179-1 is not prime. Res64: D9D33BACD0E6568E Time : 0.0 sec. user=mdettweiler [2015-08-24 14:55:46] 759*2^1407179-1 is not prime. Res64: FAAFFD800D805C34 Time : 0.0 sec. user=mdettweiler [2015-08-24 14:57:46] 939*2^1407179-1 is not prime. Res64: 2D237DB375E6E31E Time : 0.0 sec. user=mdettweiler [2015-08-24 14:57:47] 669*2^1407180-1 is not prime. Res64: 921DAD0BA32A951D Time : 0.0 sec. user=mdettweiler [2015-08-24 15:08:01] 707*2^1407180-1 is not prime. Res64: 39AFCCCBF5CD6A04 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:08:02] 753*2^1407180-1 is not prime. Res64: 7E7C2E4C7294EA05 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:13:19] 873*2^1407180-1 is not prime. Res64: 66BA5B841F0C0ECA Time : 0.0 sec. user=mdettweiler [2015-08-24 15:13:19] 875*2^1407180-1 is not prime. Res64: 1018858C48273EB9 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:13:26] 887*2^1407180-1 is not prime. Res64: 01D2BFA729F1AD04 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:13:26] 965*2^1407180-1 is not prime. Res64: 47FAD199BE3A5300 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:15:31] 999*2^1407180-1 is not prime. Res64: 43B5615A7211F0DC Time : 0.0 sec. user=mdettweiler [2015-08-24 15:15:32] 675*2^1407181-1 is not prime. Res64: 9541904B1B7ADCF9 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:25:57] 777*2^1407181-1 is not prime. Res64: 996013716B7AF93D Time : 0.0 sec. user=mdettweiler [2015-08-24 15:25:57] 855*2^1407181-1 is not prime. Res64: B568ECFD50E96A35 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:31:04] 957*2^1407181-1 is not prime. Res64: 02E12CF2D317AA0A Time : 0.0 sec. user=mdettweiler [2015-08-24 15:31:05] 961*2^1407181-1 is not prime. Res64: FB77195939E9358F Time : 0.0 sec. user=mdettweiler [2015-08-24 15:31:11] 665*2^1407182-1 is not prime. Res64: 0C9AEB7B7839CA0D Time : 0.0 sec. user=mdettweiler [2015-08-24 15:31:12] 705*2^1407182-1 is not prime. Res64: 594648ABB343A6C9 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:33:13] 731*2^1407182-1 is not prime. Res64: 8F53FBE5FF4603FE Time : 0.0 sec. user=mdettweiler [2015-08-24 15:33:13] 843*2^1407182-1 is not prime. Res64: A03BEAA659036EDF Time : 0.0 sec. user=mdettweiler [2015-08-24 15:43:33] 911*2^1407182-1 is not prime. Res64: E6DDCEE0DC3CFF70 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:43:33] 643*2^1407183-1 is not prime. Res64: 14E5A54043250ABF Time : 0.0 sec. user=mdettweiler [2015-08-24 15:48:47] 685*2^1407183-1 is not prime. Res64: A4AD94A903A12133 Time : 0.0 sec. user=mdettweiler [2015-08-24 15:48:48] 705*2^1407183-1 is not prime. Res64: F49E6EA8AC584EBB Time : 0.0 sec. user=mdettweiler [2015-08-24 15:48:49] 741*2^1407183-1 is not prime. Res64: 56B1B7891C63ED2B Time : 0.0 sec. user=mdettweiler [2015-08-24 15:48:50] 945*2^1407183-1 is not prime. Res64: 28C258C25436562C Time : 0.0 sec. user=mdettweiler [2015-08-24 15:50:53] 949*2^1407183-1 is not prime. Res64: 84F68C4AA3AA401B Time : 0.0 sec. user=mdettweiler [2015-08-24 15:50:54] 609*2^1407184-1 is not prime. Res64: 017F69B06E96CEB9 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:01:13] 719*2^1407184-1 is not prime. Res64: 56545B5C76502712 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:01:14] 899*2^1407184-1 is not prime. Res64: 6400E2FD32EBC6F8 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:06:31] 909*2^1407184-1 is not prime. Res64: BF635184D57C1023 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:06:31] 717*2^1407185-1 is not prime. Res64: 6BE4838EC5F4062C Time : 0.0 sec. user=mdettweiler [2015-08-24 16:06:33] 927*2^1407184-1 is not prime. Res64: 89D142F950E3FCFB Time : 0.0 sec. user=mdettweiler [2015-08-24 16:06:33] 777*2^1407185-1 is not prime. Res64: B29F4DB41C648434 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:08:28] 789*2^1407185-1 is not prime. Res64: FEF8CAF6A49A8894 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:08:29] 837*2^1407185-1 is not prime. Res64: E7F5C26F7787AC0D Time : 0.0 sec. user=mdettweiler [2015-08-24 16:18:57] 861*2^1407185-1 is not prime. Res64: 87A7569A5640E570 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:18:57] 865*2^1407185-1 is not prime. Res64: FF94CB2203831253 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:24:15] 609*2^1407187-1 is not prime. Res64: B07FFDED3FCD4BD5 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:24:15] 645*2^1407187-1 is not prime. Res64: 36C0B73098E1BE4B Time : 0.0 sec. user=mdettweiler [2015-08-24 16:24:25] 633*2^1407186-1 is not prime. Res64: CF2B211F756ACEFC Time : 0.0 sec. user=mdettweiler [2015-08-24 16:24:26] 957*2^1407186-1 is not prime. Res64: 9E80B725ECDC7B5E Time : 0.0 sec. user=mdettweiler [2015-08-24 16:26:23] 673*2^1407187-1 is not prime. Res64: E7BAD2EFCEB2716A Time : 0.0 sec. user=mdettweiler [2015-08-24 16:26:23] 915*2^1407187-1 is not prime. Res64: EC7E312415B16431 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:36:54] 931*2^1407187-1 is not prime. Res64: A3E7DCF7F88544D3 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:36:54] 837*2^1407188-1 is not prime. Res64: 900171B69860BC00 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:41:58] 839*2^1407188-1 is not prime. Res64: 3F691DFD2C468D71 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:41:59] 875*2^1407188-1 is not prime. Res64: 6CF01B55BB389AFA Time : 0.0 sec. user=mdettweiler [2015-08-24 16:42:16] 977*2^1407188-1 is not prime. Res64: FFE600C336BD5E46 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:42:16] 609*2^1407189-1 is not prime. Res64: 8217BE99C873A121 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:44:03] 655*2^1407189-1 is not prime. Res64: 73B35291D9B20014 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:44:04] 709*2^1407189-1 is not prime. Res64: A034C70554A04CEE Time : 0.0 sec. user=mdettweiler [2015-08-24 16:54:36] 765*2^1407189-1 is not prime. Res64: 312DE287A5F36FD6 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:54:37] 811*2^1407189-1 is not prime. Res64: 5A3E2F247E0AED49 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:59:46] 817*2^1407189-1 is not prime. Res64: 75992A94A5F80600 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:59:47] 955*2^1407189-1 is not prime. Res64: 24DF887FDA7BD73D Time : 0.0 sec. user=mdettweiler [2015-08-24 16:59:58] 991*2^1407189-1 is not prime. Res64: A08CABC0D74D85A9 Time : 0.0 sec. user=mdettweiler [2015-08-24 16:59:59] 997*2^1407189-1 is not prime. Res64: 542AB55288D17338 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:01:43] 743*2^1407190-1 is not prime. Res64: 2343737565221DC1 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:01:44] 761*2^1407190-1 is not prime. Res64: 94787FDFE3190346 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:12:29] 827*2^1407190-1 is not prime. Res64: 532046C53446DADE Time : 0.0 sec. user=mdettweiler [2015-08-24 17:12:29] 867*2^1407190-1 is not prime. Res64: 3C1592B5C9EE64E1 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:17:37] 951*2^1407190-1 is not prime. Res64: 11CB1A441892CC67 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:17:38] 965*2^1407190-1 is not prime. Res64: 542F9AB4A50374C9 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:17:50] 651*2^1407191-1 is not prime. Res64: D3D5DDE4BF8C2942 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:17:51] 661*2^1407191-1 is not prime. Res64: 8D0750A1CB036432 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:19:34] 669*2^1407191-1 is not prime. Res64: 9C64DF067FE84C45 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:19:34] 711*2^1407191-1 is not prime. Res64: A3FDEB85041F69FB Time : 0.0 sec. user=mdettweiler [2015-08-24 17:30:10] 715*2^1407191-1 is not prime. Res64: 1928E5CAEF204515 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:30:11] 993*2^1407191-1 is not prime. Res64: C75498DB552C5328 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:35:19] 623*2^1407192-1 is not prime. Res64: 50FF0BEE271F3345 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:35:19] 983*2^1407192-1 is not prime. Res64: EEF078E78AD531A9 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:35:30] 609*2^1407193-1 is not prime. Res64: 6908D154CEE03B63 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:35:31] 691*2^1407193-1 is not prime. Res64: EB83B8E0204900A8 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:37:16] 801*2^1407193-1 is not prime. Res64: B2FD76EDC7A33D15 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:37:16] 805*2^1407193-1 is not prime. Res64: 54E071EF78EDB323 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:47:56] 831*2^1407193-1 is not prime. Res64: 74F62069F529781B Time : 0.0 sec. user=mdettweiler [2015-08-24 17:47:56] 895*2^1407193-1 is not prime. Res64: 23BC9F05A39DD4A2 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:53:04] 783*2^1407194-1 is not prime. Res64: A29C22BC5CC21D5B Time : 0.0 sec. user=mdettweiler [2015-08-24 17:53:04] 833*2^1407194-1 is not prime. Res64: E95DF3BEAF3BAEAC Time : 0.0 sec. user=mdettweiler [2015-08-24 17:53:14] 971*2^1407194-1 is not prime. Res64: 192373F0920C77F3 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:53:15] 981*2^1407194-1 is not prime. Res64: C2CEEDB1CF077A31 Time : 0.0 sec. user=mdettweiler [2015-08-24 17:55:03] 601*2^1407195-1 is not prime. Res64: A764729AEF798FFC Time : 0.0 sec. user=mdettweiler [2015-08-24 17:55:04] 699*2^1407195-1 is not prime. Res64: 1FF3EC2D747B2F6A Time : 0.0 sec. user=mdettweiler [2015-08-24 18:05:40] 781*2^1407195-1 is not prime. Res64: 46659EE1B6251C94 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:05:42] 943*2^1407195-1 is not prime. Res64: 3347CFA717CDB831 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:10:49] 961*2^1407195-1 is not prime. Res64: 258E0F23D7285D0C Time : 0.0 sec. user=mdettweiler [2015-08-24 18:10:49] 979*2^1407195-1 is not prime. Res64: E346A4A2490A6D43 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:11:00] 699*2^1407196-1 is not prime. Res64: 161040A392FA665B Time : 0.0 sec. user=mdettweiler [2015-08-24 18:11:00] 749*2^1407196-1 is not prime. Res64: A5A48A0B50926C6F Time : 0.0 sec. user=mdettweiler [2015-08-24 18:12:48] 783*2^1407196-1 is not prime. Res64: D06D0B8E5015ACD5 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:12:49] 785*2^1407196-1 is not prime. Res64: 0BA8E4FD8AB00DFD Time : 0.0 sec. user=mdettweiler [2015-08-24 18:24:07] 855*2^1407196-1 is not prime. Res64: 045240E0F552FB2B Time : 0.0 sec. user=mdettweiler [2015-08-24 18:24:07] 927*2^1407196-1 is not prime. Res64: 33506D6CA466D1A7 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:28:45] 939*2^1407196-1 is not prime. Res64: C172A0E8825EF979 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:28:45] 969*2^1407196-1 is not prime. Res64: 7AA75355F2070385 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:28:59] 983*2^1407196-1 is not prime. Res64: 7FE069B205975981 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:28:59] 601*2^1407197-1 is not prime. Res64: E875C7BB2DF67FDD Time : 0.0 sec. user=mdettweiler [2015-08-24 18:30:55] 777*2^1407197-1 is not prime. Res64: 24A06B811CC47B30 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:30:55] 795*2^1407197-1 is not prime. Res64: 341479C85AA90F55 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:41:51] 955*2^1407197-1 is not prime. Res64: 8E6DA68E2DDCA312 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:41:51] 651*2^1407198-1 is not prime. Res64: A8F18D6AF3C73BFF Time : 0.0 sec. user=mdettweiler [2015-08-24 18:46:24] 663*2^1407198-1 is not prime. Res64: ED6C8AB4196F8A1C Time : 0.0 sec. user=mdettweiler [2015-08-24 18:46:25] 683*2^1407198-1 is not prime. Res64: E6410BD8ADF90ADD Time : 0.0 sec. user=mdettweiler [2015-08-24 18:46:42] 707*2^1407198-1 is not prime. Res64: C725A87613EA3B71 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:46:42] 777*2^1407198-1 is not prime. Res64: 01669B167267F158 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:48:33] 891*2^1407198-1 is not prime. Res64: 2543B7B9130945A5 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:48:34] 927*2^1407198-1 is not prime. Res64: 7E886B52BCA78F13 Time : 0.0 sec. user=mdettweiler [2015-08-24 18:59:29] 963*2^1407198-1 is not prime. Res64: E368DC1DB504C5AE Time : 0.0 sec. user=mdettweiler [2015-08-24 18:59:29] 675*2^1407199-1 is not prime. Res64: A5CCF380312EEFB2 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:04:05] 703*2^1407199-1 is not prime. Res64: 9F7F553BC6EC58E9 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:04:06] 741*2^1407199-1 is not prime. Res64: 644708AA36A3FB99 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:04:26] 763*2^1407199-1 is not prime. Res64: D98526E38EF8BAE9 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:04:27] 861*2^1407199-1 is not prime. Res64: E5A9D039C99AB9DF Time : 0.0 sec. user=mdettweiler [2015-08-24 19:06:10] 919*2^1407199-1 is not prime. Res64: CA732D624905086D Time : 0.0 sec. user=mdettweiler [2015-08-24 19:06:11] 615*2^1407200-1 is not prime. Res64: 1AE02E536DDD8B5A Time : 0.0 sec. user=mdettweiler [2015-08-24 19:17:12] 665*2^1407200-1 is not prime. Res64: 03E481D66D9367D8 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:17:13] 855*2^1407200-1 is not prime. Res64: 3560F208B7FADBC3 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:22:03] 857*2^1407200-1 is not prime. Res64: 2040BA9FDF7BE038 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:22:03] 875*2^1407200-1 is not prime. Res64: D604E593A87CEB3D Time : 0.0 sec. user=mdettweiler [2015-08-24 19:22:17] 999*2^1407200-1 is not prime. Res64: B299F7101330C4F8 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:22:17] 649*2^1407201-1 is not prime. Res64: CD6DCA777018520A Time : 0.0 sec. user=mdettweiler [2015-08-24 19:24:10] 705*2^1407201-1 is not prime. Res64: 53247430114A97A8 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:24:11] 805*2^1407201-1 is not prime. Res64: CEEB75CBDB78F9E3 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:34:57] 847*2^1407201-1 is not prime. Res64: A9F57BA61347093E Time : 0.0 sec. user=mdettweiler [2015-08-24 19:34:57] 895*2^1407201-1 is not prime. Res64: 3B96E3AC7AE348CE Time : 0.0 sec. user=mdettweiler [2015-08-24 19:39:39] 955*2^1407201-1 is not prime. Res64: EDAC58BAA3B7940B Time : 0.0 sec. user=mdettweiler [2015-08-24 19:39:40] 603*2^1407202-1 is not prime. Res64: A68A4BA8C2AABF3B Time : 0.0 sec. user=mdettweiler [2015-08-24 19:39:57] 983*2^1407202-1 is not prime. Res64: A0AF064E4BC0DD10 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:39:57] 1001*2^1407202-1 is not prime. Res64: 8677DEB6F612B74D Time : 0.0 sec. user=mdettweiler [2015-08-24 19:41:49] 609*2^1407203-1 is not prime. Res64: 6CFA3878D7B8569E Time : 0.0 sec. user=mdettweiler [2015-08-24 19:41:49] 649*2^1407203-1 is not prime. Res64: 5D3E3536D85BAC6D Time : 0.0 sec. user=mdettweiler [2015-08-24 19:52:35] 685*2^1407203-1 is not prime. Res64: 140DB35DA63A51F7 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:52:35] 871*2^1407203-1 is not prime. Res64: 6BD6FEE2EE8EAC52 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:57:31] 915*2^1407203-1 is not prime. Res64: 81F0D8FD368854D2 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:57:32] 943*2^1407203-1 is not prime. Res64: D261C3210F769463 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:57:55] 767*2^1407204-1 is not prime. Res64: F0042AA08424115B Time : 0.0 sec. user=mdettweiler [2015-08-24 19:57:56] 887*2^1407204-1 is not prime. Res64: 085CAE2F09FB6F8B Time : 0.0 sec. user=mdettweiler [2015-08-24 19:59:32] 607*2^1407205-1 is not prime. Res64: 592E482898AF4568 Time : 0.0 sec. user=mdettweiler [2015-08-24 19:59:32] 609*2^1407205-1 is not prime. Res64: 691FAB4F18FC7B9F Time : 0.0 sec. user=mdettweiler [2015-08-24 20:10:30] 619*2^1407205-1 is not prime. Res64: D0358789C67C34CF Time : 0.0 sec. user=mdettweiler [2015-08-24 20:10:30] 727*2^1407205-1 is not prime. Res64: CDBA1ADAE70D9E86 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:15:21] 777*2^1407205-1 is not prime. Res64: 76C3E8345109197C Time : 0.0 sec. user=mdettweiler [2015-08-24 20:15:22] 817*2^1407205-1 is not prime. Res64: 763C9E21F2A04BB3 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:15:43] 819*2^1407205-1 is not prime. Res64: 3A056E62A6D86721 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:15:43] 861*2^1407205-1 is not prime. Res64: 7E92A7CE134FAA35 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:17:20] 937*2^1407205-1 is not prime. Res64: C93185CB0E0A6F52 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:17:21] 675*2^1407206-1 is not prime. Res64: 7EEE12B4F412349B Time : 0.0 sec. user=mdettweiler [2015-08-24 20:28:21] 755*2^1407206-1 is not prime. Res64: 57CE049A0E2FA647 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:28:22] 893*2^1407206-1 is not prime. Res64: BE4AF11BC3B8EA0B Time : 0.0 sec. user=mdettweiler [2015-08-24 20:33:08] 935*2^1407206-1 is not prime. Res64: 99E71BF900903C54 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:33:09] 957*2^1407206-1 is not prime. Res64: BE5B4BFCE881F844 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:33:25] 619*2^1407207-1 is not prime. Res64: 53BB8727B2D7A058 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:33:26] 703*2^1407207-1 is not prime. Res64: 1F43C7A0C4FAEA32 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:35:10] 665*2^1407208-1 is not prime. Res64: 3B27CF84E978E3EB Time : 0.0 sec. user=mdettweiler [2015-08-24 20:35:10] 687*2^1407208-1 is not prime. Res64: AC3672579BC94846 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:45:59] 797*2^1407208-1 is not prime. Res64: 9C17DA0A752CAD0C Time : 0.0 sec. user=mdettweiler [2015-08-24 20:45:59] 839*2^1407208-1 is not prime. Res64: 7990C79CAA852535 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:50:53] 897*2^1407208-1 is not prime. Res64: 86362ED3578FD870 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:50:53] 909*2^1407208-1 is not prime. Res64: 46AE927F368627C5 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:51:09] 959*2^1407208-1 is not prime. Res64: 1C0B0FB324680605 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:51:09] 999*2^1407208-1 is not prime. Res64: 38D75E1AD15215A6 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:52:56] 615*2^1407209-1 is not prime. Res64: 505810DB00F2D850 Time : 0.0 sec. user=mdettweiler [2015-08-24 20:52:57] 745*2^1407209-1 is not prime. Res64: C5DB7E9E0D260E76 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:03:41] 811*2^1407209-1 is not prime. Res64: 0E6D4EE3C943500F Time : 0.0 sec. user=mdettweiler [2015-08-24 21:03:43] 831*2^1407209-1 is not prime. Res64: 451FF2CB4F79F9B4 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:08:31] 889*2^1407209-1 is not prime. Res64: FDA93C6754E946E6 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:08:32] 967*2^1407209-1 is not prime. Res64: BF8636BFD0942E5A Time : 0.0 sec. user=mdettweiler [2015-08-24 21:08:48] 633*2^1407210-1 is not prime. Res64: 9880B69921895B40 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:08:48] 723*2^1407210-1 is not prime. Res64: B8FF8DB9DA2B5FAF Time : 0.0 sec. user=mdettweiler [2015-08-24 21:10:37] 777*2^1407210-1 is not prime. Res64: 726AB47D053FFC06 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:10:37] 843*2^1407210-1 is not prime. Res64: 3E70F2F010894CEF Time : 0.0 sec. user=mdettweiler [2015-08-24 21:21:41] 893*2^1407210-1 is not prime. Res64: 6F6203BCE2B4A0B4 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:21:42] 941*2^1407210-1 is not prime. Res64: 000D6974F29D5B3D Time : 0.0 sec. user=mdettweiler [2015-08-24 21:26:10] 735*2^1407211-1 is not prime. Res64: 7BD2B4468842177C Time : 0.0 sec. user=mdettweiler [2015-08-24 21:26:11] 871*2^1407211-1 is not prime. Res64: ACC5AB4BD907276B Time : 0.0 sec. user=mdettweiler [2015-08-24 21:26:29] 873*2^1407211-1 is not prime. Res64: CAB1AFB4754D7951 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:26:30] 951*2^1407211-1 is not prime. Res64: A69FF8B42D2133F8 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:28:12] 635*2^1407212-1 is not prime. Res64: DC93599F5E7CC44D Time : 0.0 sec. user=mdettweiler [2015-08-24 21:28:12] 647*2^1407212-1 is not prime. Res64: 64EAA11A7CCC3D07 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:39:26] 725*2^1407212-1 is not prime. Res64: 975520225E55CF95 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:39:26] 755*2^1407212-1 is not prime. Res64: 2D97A09D10513450 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:43:54] 857*2^1407212-1 is not prime. Res64: 63373970BB67F628 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:43:55] 963*2^1407212-1 is not prime. Res64: D1EC237C3D1ECF37 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:44:11] 983*2^1407212-1 is not prime. Res64: 2014A72ADE6A583B Time : 0.0 sec. user=mdettweiler [2015-08-24 21:44:11] 987*2^1407212-1 is not prime. Res64: 43F287D63725D8C5 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:45:50] 679*2^1407213-1 is not prime. Res64: 28D8ECCBA54D1139 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:45:50] 891*2^1407213-1 is not prime. Res64: C650A735452C5638 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:57:05] 921*2^1407213-1 is not prime. Res64: E07A96A609F61397 Time : 0.0 sec. user=mdettweiler [2015-08-24 21:57:05] 657*2^1407214-1 is not prime. Res64: 7BB92C28FFAB8214 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:01:38] 707*2^1407214-1 is not prime. Res64: E14A61E01F3DA295 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:01:39] 785*2^1407214-1 is not prime. Res64: B2E71196502F4068 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:01:49] 813*2^1407214-1 is not prime. Res64: 5CAFD076B807FDEE Time : 0.0 sec. user=mdettweiler [2015-08-24 22:01:49] 825*2^1407214-1 is not prime. Res64: 401BA55E56047A09 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:03:34] 887*2^1407214-1 is not prime. Res64: F48D92AFBFEEC7E7 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:03:36] 993*2^1407214-1 is not prime. Res64: 8924FE020A567868 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:15:04] 619*2^1407215-1 is not prime. Res64: 66CBC9999CBFDC56 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:15:04] 663*2^1407215-1 is not prime. Res64: D60F44F973BEC719 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:19:42] 693*2^1407215-1 is not prime. Res64: A770D6114AA7DF16 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:19:43] 781*2^1407215-1 is not prime. Res64: 7F828CC3747AD944 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:20:36] 921*2^1407215-1 is not prime. Res64: 988049ADF3F0D843 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:20:36] 973*2^1407215-1 is not prime. Res64: 474CE62980824141 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:21:31] 981*2^1407215-1 is not prime. Res64: F8381E812F320028 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:21:31] 999*2^1407215-1 is not prime. Res64: 9A3365139BF0EF31 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:33:06] 695*2^1407216-1 is not prime. Res64: BE498DEAB8DC5BB2 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:33:06] 737*2^1407216-1 is not prime. Res64: 2C82AACC7469FD3C Time : 0.0 sec. user=mdettweiler [2015-08-24 22:37:27] 789*2^1407216-1 is not prime. Res64: 30150AE1255C0677 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:37:27] 873*2^1407216-1 is not prime. Res64: 4C6FB155857BD223 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:38:27] 875*2^1407216-1 is not prime. Res64: 1E6A2E8D4FC0C1B1 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:38:28] 983*2^1407216-1 is not prime. Res64: B4447FF4425B9481 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:39:19] 993*2^1407216-1 is not prime. Res64: 2326BDB589122C60 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:39:20] 699*2^1407217-1 is not prime. Res64: 67A08C7E5B2B8092 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:50:52] 829*2^1407217-1 is not prime. Res64: 74F21DC000E6D7B6 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:50:53] 841*2^1407217-1 is not prime. Res64: DFCB274EC694CDBE Time : 0.0 sec. user=mdettweiler [2015-08-24 22:55:13] 915*2^1407217-1 is not prime. Res64: 01FE8D84549A7947 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:55:13] 997*2^1407217-1 is not prime. Res64: 521DE53CE240BEBA Time : 0.0 sec. user=mdettweiler [2015-08-24 22:56:05] 603*2^1407218-1 is not prime. Res64: 9B808157953D6944 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:56:06] 767*2^1407218-1 is not prime. Res64: 595EEE34AF6990DE Time : 0.0 sec. user=mdettweiler [2015-08-24 22:56:56] 771*2^1407218-1 is not prime. Res64: DF3544CDC12E1425 Time : 0.0 sec. user=mdettweiler [2015-08-24 22:56:57] 845*2^1407218-1 is not prime. Res64: B7D8A235768E7B18 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:08:41] 619*2^1407219-1 is not prime. Res64: 4D0CC08FF8133120 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:08:42] 649*2^1407219-1 is not prime. Res64: 8E15DAD794381473 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:13:05] 705*2^1407219-1 is not prime. Res64: 0D0C2048DA478D7B Time : 0.0 sec. user=mdettweiler [2015-08-24 23:13:05] 835*2^1407219-1 is not prime. Res64: 99854033B150FE3E Time : 0.0 sec. user=mdettweiler [2015-08-24 23:13:46] 859*2^1407219-1 is not prime. Res64: C5AF4A891DF88B76 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:13:47] 919*2^1407219-1 is not prime. Res64: 8E993C84C4A39724 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:14:46] 955*2^1407219-1 is not prime. Res64: 663F5336935DC259 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:14:47] 635*2^1407220-1 is not prime. Res64: 40FA44F029FE0E84 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:26:50] 929*2^1407220-1 is not prime. Res64: 56F0D327E0139276 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:26:50] 621*2^1407221-1 is not prime. Res64: D03A7EFCB4B1EA1E Time : 0.0 sec. user=mdettweiler [2015-08-24 23:30:50] 631*2^1407221-1 is not prime. Res64: 39F91B9D3093A7AD Time : 0.0 sec. user=mdettweiler [2015-08-24 23:30:50] 669*2^1407221-1 is not prime. Res64: 4879EABA53AECCFA Time : 0.0 sec. user=mdettweiler [2015-08-24 23:31:26] 711*2^1407221-1 is not prime. Res64: AD61946675788A03 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:31:27] 801*2^1407221-1 is not prime. Res64: C3FF261A10D3FEB9 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:32:27] 871*2^1407221-1 is not prime. Res64: 4E0D576EE1BCD9B7 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:32:28] 925*2^1407221-1 is not prime. Res64: AE0481ADF1306B2E Time : 0.0 sec. user=mdettweiler [2015-08-24 23:44:29] 955*2^1407221-1 is not prime. Res64: 483B528632E57E14 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:44:29] 611*2^1407222-1 is not prime. Res64: AAF2DD78F63D49AE Time : 0.0 sec. user=mdettweiler [2015-08-24 23:48:37] 621*2^1407222-1 is not prime. Res64: 2CA6A31057E0304D Time : 0.0 sec. user=mdettweiler [2015-08-24 23:48:38] 635*2^1407222-1 is not prime. Res64: 3212BAF6CB7DEB4B Time : 0.0 sec. user=mdettweiler [2015-08-24 23:49:17] 777*2^1407222-1 is not prime. Res64: C6EB685CBB163DC0 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:49:18] 807*2^1407222-1 is not prime. Res64: ABFC34D476DDD724 Time : 0.0 sec. user=mdettweiler [2015-08-24 23:50:07] 921*2^1407222-1 is not prime. Res64: 8447B97CB9DED89B Time : 0.0 sec. user=mdettweiler [2015-08-24 23:50:07] 975*2^1407222-1 is not prime. Res64: A5D1D7AC69E957BB Time : 0.0 sec.