user=mdettweiler [2015-03-15 00:15:29] 669*2^1395429-1 is not prime. Res64: 7C7D62826E08895B Time : 0.0 sec. user=mdettweiler [2015-03-15 00:15:29] 685*2^1395429-1 is not prime. Res64: EF898D7633B8F0AF Time : 0.0 sec. user=mdettweiler [2015-03-15 00:18:28] 759*2^1395429-1 is not prime. Res64: C97B8C14CCA9B626 Time : 0.0 sec. user=mdettweiler [2015-03-15 00:18:28] 769*2^1395429-1 is not prime. Res64: 3CC822D37FD87ECC Time : 0.0 sec. user=mdettweiler [2015-03-15 00:24:08] 829*2^1395429-1 is not prime. Res64: 53EDEE9E080301B7 Time : 0.0 sec. user=mdettweiler [2015-03-15 00:24:08] 987*2^1395429-1 is not prime. Res64: 1FE47172A905968C Time : 0.0 sec. user=mdettweiler [2015-03-15 00:24:43] 603*2^1395430-1 is not prime. Res64: 849A647C6596D0ED Time : 0.0 sec. user=mdettweiler [2015-03-15 00:24:43] 657*2^1395430-1 is not prime. Res64: FBA7E23BF3941252 Time : 0.0 sec. user=juhehe [2015-03-15 00:27:04] 709*2^1395429-1 is not prime. Res64: BD62DF51AA796FFC Time : 0.0 sec. user=mdettweiler [2015-03-15 00:41:23] 663*2^1395430-1 is not prime. Res64: F8247658A244C569 Time : 0.0 sec. user=mdettweiler [2015-03-15 00:41:24] 677*2^1395430-1 is not prime. Res64: 059C58BEC93C3A6E Time : 0.0 sec. user=mdettweiler [2015-03-15 00:44:25] 825*2^1395430-1 is not prime. Res64: F269A90F3A5758EC Time : 0.0 sec. user=mdettweiler [2015-03-15 00:44:26] 951*2^1395430-1 is not prime. Res64: D4CFF6F278EF0D4A Time : 0.0 sec. user=mdettweiler [2015-03-15 00:50:04] 987*2^1395430-1 is not prime. Res64: 6E4C3D875B292595 Time : 0.0 sec. user=mdettweiler [2015-03-15 00:50:04] 619*2^1395431-1 is not prime. Res64: AF299E3AC963FAB8 Time : 0.0 sec. user=mdettweiler [2015-03-15 00:50:47] 643*2^1395431-1 is not prime. Res64: 9CD6C1C416D495A3 Time : 0.0 sec. user=mdettweiler [2015-03-15 00:50:47] 649*2^1395431-1 is not prime. Res64: 9B16CE851DAD4F31 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:07:28] 651*2^1395431-1 is not prime. Res64: B55731CA41C0EAE2 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:07:28] 879*2^1395431-1 is not prime. Res64: 5DA306CBFDCBD1B4 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:10:16] 909*2^1395431-1 is not prime. Res64: 4ACDD835104627E9 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:10:17] 605*2^1395432-1 is not prime. Res64: 67EECCFCC89B1AF2 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:15:55] 665*2^1395432-1 is not prime. Res64: ED9745061A9D3E82 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:15:55] 689*2^1395432-1 is not prime. Res64: B3819B189173366F Time : 0.0 sec. user=mdettweiler [2015-03-15 01:16:37] 765*2^1395432-1 is not prime. Res64: AB853CAFF996751C Time : 0.0 sec. user=mdettweiler [2015-03-15 01:16:38] 797*2^1395432-1 is not prime. Res64: EAAC27663DAE56E4 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:33:25] 879*2^1395432-1 is not prime. Res64: D6183848FA0DE7F8 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:33:26] 887*2^1395432-1 is not prime. Res64: 26BCE40DA884CE65 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:36:04] 977*2^1395432-1 is not prime. Res64: C019A0430EC0E322 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:36:04] 901*2^1395433-1 is not prime. Res64: 2EAC3071CEC852FD Time : 0.0 sec. user=mdettweiler [2015-03-15 01:41:49] 967*2^1395433-1 is not prime. Res64: 0589C2631E9E29E0 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:41:50] 615*2^1395434-1 is not prime. Res64: 536C277778ECEF56 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:42:30] 665*2^1395434-1 is not prime. Res64: 401AF7E2393671BE Time : 0.0 sec. user=mdettweiler [2015-03-15 01:42:31] 747*2^1395434-1 is not prime. Res64: B5492F52F5C93931 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:59:23] 791*2^1395434-1 is not prime. Res64: A44CBD20661C64A1 Time : 0.0 sec. user=mdettweiler [2015-03-15 01:59:23] 827*2^1395434-1 is not prime. Res64: 46CC560793B05A91 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:01:54] 885*2^1395434-1 is not prime. Res64: E714F4B400A8BD97 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:01:55] 921*2^1395434-1 is not prime. Res64: A4FDDB5F3A3C35D8 Time : 0.0 sec. user=juhehe [2015-03-15 02:03:48] 773*2^1395434-1 is not prime. Res64: 6BF4223599506805 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:07:50] 957*2^1395434-1 is not prime. Res64: BE0CC75266D8F1EF Time : 0.0 sec. user=mdettweiler [2015-03-15 02:07:51] 987*2^1395434-1 is not prime. Res64: F50E1FAC188A34D9 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:08:27] 739*2^1395435-1 is not prime. Res64: C4BA215A54608592 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:08:27] 751*2^1395435-1 is not prime. Res64: 885003946706104E Time : 0.0 sec. user=mdettweiler [2015-03-15 02:25:16] 909*2^1395435-1 is not prime. Res64: 9C03FDE55BEF11AD Time : 0.0 sec. user=mdettweiler [2015-03-15 02:25:17] 955*2^1395435-1 is not prime. Res64: 7E69FD760890BAB7 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:27:47] 969*2^1395435-1 is not prime. Res64: 959507E3D5B5C784 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:27:47] 647*2^1395436-1 is not prime. Res64: F4F1816A46FBC1D6 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:33:42] 707*2^1395436-1 is not prime. Res64: 6D198F31ECCD26B5 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:33:43] 735*2^1395436-1 is not prime. Res64: 0A85F2A1A60C93CC Time : 0.0 sec. user=mdettweiler [2015-03-15 02:34:16] 749*2^1395436-1 is not prime. Res64: BA4AF33ADF4D5097 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:34:17] 825*2^1395436-1 is not prime. Res64: 0960E992929277B3 Time : 0.0 sec. user=juhehe [2015-03-15 02:37:26] 657*2^1395436-1 is not prime. Res64: BE7245719A7DDD95 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:52:34] 873*2^1395436-1 is not prime. Res64: 19F1E605268DB496 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:52:34] 909*2^1395436-1 is not prime. Res64: E3CD23301B3A8E35 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:54:28] 631*2^1395437-1 is not prime. Res64: B47F1FBAD5E31792 Time : 0.0 sec. user=mdettweiler [2015-03-15 02:54:29] 727*2^1395437-1 is not prime. Res64: 54A0F4B5C3EF2665 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:00:11] 759*2^1395437-1 is not prime. Res64: 3ACB6459A378C605 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:00:11] 771*2^1395437-1 is not prime. Res64: 1B53297168241E4E Time : 0.0 sec. user=mdettweiler [2015-03-15 03:00:33] 795*2^1395437-1 is not prime. Res64: 596688B14DD905DC Time : 0.0 sec. user=mdettweiler [2015-03-15 03:00:34] 805*2^1395437-1 is not prime. Res64: 11DBF8B85564296F Time : 0.0 sec. user=mdettweiler [2015-03-15 03:18:30] 829*2^1395437-1 is not prime. Res64: 680B383F20C608B5 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:18:30] 861*2^1395437-1 is not prime. Res64: 40E5C1922575F28D Time : 0.0 sec. user=mdettweiler [2015-03-15 03:20:27] 889*2^1395437-1 is not prime. Res64: 8CB21FA78C483859 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:20:28] 927*2^1395437-1 is not prime. Res64: 7FFDC3B23CCF7D74 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:26:11] 967*2^1395437-1 is not prime. Res64: 751EAEC3F995895F Time : 0.0 sec. user=mdettweiler [2015-03-15 03:26:12] 627*2^1395438-1 is not prime. Res64: F04661F564C77E13 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:26:35] 663*2^1395438-1 is not prime. Res64: 56B6704322CC5EBC Time : 0.0 sec. user=mdettweiler [2015-03-15 03:26:36] 815*2^1395438-1 is not prime. Res64: 3CF59C585535D2FE Time : 0.0 sec. user=mdettweiler [2015-03-15 03:44:33] 975*2^1395438-1 is not prime. Res64: 307B6C382B5B4B2B Time : 0.0 sec. user=mdettweiler [2015-03-15 03:44:36] 993*2^1395438-1 is not prime. Res64: 4303703EAC53A155 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:46:30] 663*2^1395439-1 is not prime. Res64: 1E294A5C1423A57F Time : 0.0 sec. user=juhehe [2015-03-15 03:46:31] 867*2^1395438-1 is not prime. Res64: 323A254F75AB5A2F Time : 0.0 sec. user=mdettweiler [2015-03-15 03:46:32] 745*2^1395439-1 is not prime. Res64: 4FA2EEE783B980BB Time : 0.0 sec. user=mdettweiler [2015-03-15 03:52:18] 811*2^1395439-1 is not prime. Res64: EFA04F52B9039080 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:52:19] 961*2^1395439-1 is not prime. Res64: 8663750FE032F146 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:52:43] 975*2^1395439-1 is not prime. Res64: A94F2AB7017C56A7 Time : 0.0 sec. user=mdettweiler [2015-03-15 03:52:44] 645*2^1395440-1 is not prime. Res64: EADB4490596D5A52 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:11:18] 825*2^1395440-1 is not prime. Res64: 35B72DCCBE8ABD77 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:11:19] 875*2^1395440-1 is not prime. Res64: 0F3AA2734D749E27 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:13:03] 917*2^1395440-1 is not prime. Res64: 529DFA187BBB03F7 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:13:03] 651*2^1395441-1 is not prime. Res64: 0306FC8A5D6497BF Time : 0.0 sec. user=mdettweiler [2015-03-15 04:19:10] 679*2^1395441-1 is not prime. Res64: A3CE961BBCF960D4 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:19:11] 705*2^1395441-1 is not prime. Res64: B564992054B998C8 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:19:49] 717*2^1395441-1 is not prime. Res64: A4B84E41CA4723B6 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:19:49] 747*2^1395441-1 is not prime. Res64: 599C04D773CDE9E8 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:38:06] 781*2^1395441-1 is not prime. Res64: 586DFB81BC7E79DC Time : 0.0 sec. user=mdettweiler [2015-03-15 04:38:07] 921*2^1395441-1 is not prime. Res64: 482EEC2CEA2C1CC4 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:39:37] 675*2^1395442-1 is not prime. Res64: 8C4B7031AD147961 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:39:38] 681*2^1395442-1 is not prime. Res64: 4E86C925724F95D8 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:45:19] 717*2^1395442-1 is not prime. Res64: C6108F524219295D Time : 0.0 sec. user=mdettweiler [2015-03-15 04:45:20] 741*2^1395442-1 is not prime. Res64: AEBEE2DAD23CC2B5 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:46:09] 957*2^1395442-1 is not prime. Res64: E151D55CABF8AAA8 Time : 0.0 sec. user=mdettweiler [2015-03-15 04:46:10] 609*2^1395443-1 is not prime. Res64: 086D554401EBC6E0 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:04:02] 715*2^1395443-1 is not prime. Res64: 96FDB6DEE6251937 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:04:03] 775*2^1395443-1 is not prime. Res64: AFC1012C1321C0E2 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:05:26] 885*2^1395443-1 is not prime. Res64: 40D72DCC68C2685D Time : 0.0 sec. user=mdettweiler [2015-03-15 05:05:27] 857*2^1395444-1 is not prime. Res64: EFBEE8BF889A9749 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:11:20] 863*2^1395444-1 is not prime. Res64: 8A0A7D43A6A3B0B0 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:11:20] 945*2^1395444-1 is not prime. Res64: 5F9CFD61F2821D26 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:11:59] 831*2^1395445-1 is not prime. Res64: 5CE3594491727C05 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:12:00] 623*2^1395446-1 is not prime. Res64: EE11B4F20FD60E4A Time : 0.0 sec. user=mdettweiler [2015-03-15 05:30:21] 713*2^1395446-1 is not prime. Res64: 2C10F104ECE77C9F Time : 0.0 sec. user=mdettweiler [2015-03-15 05:30:21] 755*2^1395446-1 is not prime. Res64: 37D0C6051A8DB865 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:31:12] 851*2^1395446-1 is not prime. Res64: 46D8CC46CD94D3BA Time : 0.0 sec. user=mdettweiler [2015-03-15 05:31:12] 861*2^1395446-1 is not prime. Res64: 855218BE529E615C Time : 0.0 sec. user=mdettweiler [2015-03-15 05:37:14] 945*2^1395446-1 is not prime. Res64: AC1FDA59D41A187D Time : 0.0 sec. user=mdettweiler [2015-03-15 05:37:15] 993*2^1395446-1 is not prime. Res64: CE42D5AD9EF5BBF8 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:37:46] 685*2^1395447-1 is not prime. Res64: 2860E21875DFE34E Time : 0.0 sec. user=mdettweiler [2015-03-15 05:37:47] 703*2^1395447-1 is not prime. Res64: 9689AE7F5660EB7C Time : 0.0 sec. user=mdettweiler [2015-03-15 05:56:18] 871*2^1395447-1 is not prime. Res64: FCA492C930E42AD8 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:56:18] 909*2^1395447-1 is not prime. Res64: 718541FE2A105EDA Time : 0.0 sec. user=mdettweiler [2015-03-15 05:57:04] 945*2^1395447-1 is not prime. Res64: 2ADA3B41BE6FC7C3 Time : 0.0 sec. user=mdettweiler [2015-03-15 05:57:04] 963*2^1395447-1 is not prime. Res64: 6AC9F2B2FD11448E Time : 0.0 sec. user=mdettweiler [2015-03-15 06:03:10] 975*2^1395447-1 is not prime. Res64: 12244B69A67C02D5 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:03:11] 813*2^1395448-1 is not prime. Res64: D82B29E95C09BC95 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:03:33] 849*2^1395448-1 is not prime. Res64: AFCE5F93005854D8 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:03:34] 875*2^1395448-1 is not prime. Res64: 144402060F9C6A98 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:22:07] 685*2^1395449-1 is not prime. Res64: 0B406B355BA0DFA0 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:22:08] 847*2^1395449-1 is not prime. Res64: B14DCE59CD877C55 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:22:50] 931*2^1395449-1 is not prime. Res64: D3BD5324D0BE56A9 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:22:50] 949*2^1395449-1 is not prime. Res64: DD9249B76C951FEC Time : 0.0 sec. user=mdettweiler [2015-03-15 06:29:00] 635*2^1395450-1 is not prime. Res64: D71F6A4D37054B8F Time : 0.0 sec. user=mdettweiler [2015-03-15 06:29:00] 657*2^1395450-1 is not prime. Res64: 82EB0374A1F2B6C5 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:29:25] 681*2^1395450-1 is not prime. Res64: 60E3DA3331E0A6DF Time : 0.0 sec. user=mdettweiler [2015-03-15 06:29:25] 717*2^1395450-1 is not prime. Res64: 821E4940CCA2BB23 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:48:05] 825*2^1395450-1 is not prime. Res64: 7D359EBDEA9E211A Time : 0.0 sec. user=mdettweiler [2015-03-15 06:48:05] 867*2^1395450-1 is not prime. Res64: 0AC0BB4F89B050A5 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:48:41] 941*2^1395450-1 is not prime. Res64: 159503DEE8E850D5 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:48:41] 971*2^1395450-1 is not prime. Res64: 7C910AE70EE0DF5B Time : 0.0 sec. user=mdettweiler [2015-03-15 06:54:55] 645*2^1395451-1 is not prime. Res64: 1492D4BC59484673 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:54:56] 861*2^1395451-1 is not prime. Res64: CC212E69AF53A146 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:55:21] 891*2^1395451-1 is not prime. Res64: 6DF74576E6531149 Time : 0.0 sec. user=mdettweiler [2015-03-15 06:55:21] 931*2^1395451-1 is not prime. Res64: 73174E645AAAB79C Time : 0.0 sec. user=mdettweiler [2015-03-15 07:14:03] 603*2^1395452-1 is not prime. Res64: 7ED5A0293DF1A753 Time : 0.0 sec. user=mdettweiler [2015-03-15 07:14:03] 743*2^1395452-1 is not prime. Res64: 28C5C6D8582224FE Time : 0.0 sec. user=mdettweiler [2015-03-15 07:14:36] 753*2^1395452-1 is not prime. Res64: 4874BF8923DC2EAB Time : 0.0 sec. user=mdettweiler [2015-03-15 07:14:37] 857*2^1395452-1 is not prime. Res64: F7827D1EDD3143BA Time : 0.0 sec. user=juhehe [2015-03-15 07:16:11] 969*2^1395451-1 is not prime. Res64: 510A2A5BE0886EC5 Time : 0.0 sec. user=mdettweiler [2015-03-15 07:20:49] 977*2^1395452-1 is not prime. Res64: B54197AC0365E7EC Time : 0.0 sec. user=mdettweiler [2015-03-15 07:20:49] 747*2^1395453-1 is not prime. Res64: 66CB36981AA9121C Time : 0.0 sec. user=mdettweiler [2015-03-15 07:21:13] 787*2^1395453-1 is not prime. Res64: 956DF8D745BCD2D0 Time : 0.0 sec. user=mdettweiler [2015-03-15 07:21:13] 789*2^1395453-1 is not prime. Res64: B29C1A38113BB4BA Time : 0.0 sec. user=mdettweiler [2015-03-15 07:39:51] 849*2^1395453-1 is not prime. Res64: 5FE45F17EDDB4BDB Time : 0.0 sec. user=mdettweiler [2015-03-15 07:39:51] 891*2^1395453-1 is not prime. Res64: DC35975114067F3C Time : 0.0 sec. user=mdettweiler [2015-03-15 07:40:34] 951*2^1395453-1 is not prime. Res64: DB8A70F62D2161A3 Time : 0.0 sec. user=mdettweiler [2015-03-15 07:40:34] 665*2^1395454-1 is not prime. Res64: 40F1315091F19B25 Time : 0.0 sec. user=mdettweiler [2015-03-15 07:46:36] 681*2^1395454-1 is not prime. Res64: 4821EB066EE0384D Time : 0.0 sec. user=mdettweiler [2015-03-15 07:46:37] 857*2^1395454-1 is not prime. Res64: 71DFE3BB48B96C68 Time : 0.0 sec. user=mdettweiler [2015-03-15 07:47:02] 885*2^1395454-1 is not prime. Res64: 86F1B9A3AA2F0544 Time : 0.0 sec. user=mdettweiler [2015-03-15 07:47:02] 917*2^1395454-1 is not prime. Res64: 185B2389004A4B65 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:05:43] 603*2^1395455-1 is not prime. Res64: 5480D23CE27A722C Time : 0.0 sec. user=mdettweiler [2015-03-15 08:05:43] 759*2^1395455-1 is not prime. Res64: 2437987D805276FB Time : 0.0 sec. user=mdettweiler [2015-03-15 08:06:24] 775*2^1395455-1 is not prime. Res64: 4404EC5B8ADA8CCB Time : 0.0 sec. user=mdettweiler [2015-03-15 08:06:24] 781*2^1395455-1 is not prime. Res64: 9D60D2C17B7C3948 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:12:22] 909*2^1395455-1 is not prime. Res64: 82E2663B82D50FA9 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:12:23] 969*2^1395455-1 is not prime. Res64: 4331A2D2A0DFFA0D Time : 0.0 sec. user=mdettweiler [2015-03-15 08:12:49] 623*2^1395456-1 is not prime. Res64: 7392FEDB3CD0D063 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:12:49] 629*2^1395456-1 is not prime. Res64: 13211D7A58383EE3 Time : 0.0 sec. user=juhehe [2015-03-15 08:29:05] 689*2^1395456-1 is not prime. Res64: A4A194E6F72364DF Time : 0.0 sec. user=mdettweiler [2015-03-15 08:31:33] 693*2^1395456-1 is not prime. Res64: 8A46C66EA2FF602E Time : 0.0 sec. user=mdettweiler [2015-03-15 08:31:33] 765*2^1395456-1 is not prime. Res64: E1952EE5ECB2816D Time : 0.0 sec. user=mdettweiler [2015-03-15 08:32:11] 779*2^1395456-1 is not prime. Res64: 19A4AB7004C0A588 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:32:12] 857*2^1395456-1 is not prime. Res64: 4B9742D7A1D783C4 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:38:14] 993*2^1395456-1 is not prime. Res64: 167D35A297DF464D Time : 0.0 sec. user=mdettweiler [2015-03-15 08:38:15] 741*2^1395457-1 is not prime. Res64: DF018DCE44BCAD60 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:38:38] 805*2^1395457-1 is not prime. Res64: 0C2276E47CF838D7 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:38:39] 817*2^1395457-1 is not prime. Res64: D1AB7AEC51B8A77C Time : 0.0 sec. user=mdettweiler [2015-03-15 08:57:22] 979*2^1395457-1 is not prime. Res64: 90BB76ECE6E2BC22 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:57:22] 981*2^1395457-1 is not prime. Res64: BB279135D9E55671 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:57:58] 605*2^1395458-1 is not prime. Res64: 1CE5AAEE68CA5997 Time : 0.0 sec. user=mdettweiler [2015-03-15 08:57:59] 633*2^1395458-1 is not prime. Res64: 3B41EDF69B1F3A86 Time : 0.0 sec. user=juhehe [2015-03-15 09:02:47] 885*2^1395457-1 is not prime. Res64: F21A784C124A0DB4 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:04:11] 705*2^1395458-1 is not prime. Res64: 76F28824C8065657 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:04:12] 797*2^1395458-1 is not prime. Res64: FD6C64809E6BE8A9 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:04:29] 867*2^1395458-1 is not prime. Res64: C3320F806BA197A1 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:04:30] 875*2^1395458-1 is not prime. Res64: 67578653F23A966C Time : 0.0 sec. user=mdettweiler [2015-03-15 09:23:04] 609*2^1395459-1 is not prime. Res64: 8DBA85D4DDF929C3 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:23:04] 745*2^1395459-1 is not prime. Res64: A4449A30224BC6EA Time : 0.0 sec. user=mdettweiler [2015-03-15 09:23:42] 775*2^1395459-1 is not prime. Res64: 9B564E5878EFD392 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:23:43] 789*2^1395459-1 is not prime. Res64: A369877AAC8D6F1A Time : 0.0 sec. user=mdettweiler [2015-03-15 09:30:25] 793*2^1395459-1 is not prime. Res64: D39D7A9ECD97F002 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:30:25] 891*2^1395459-1 is not prime. Res64: 0D96DECE88DA6551 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:30:28] 973*2^1395459-1 is not prime. Res64: 6F2D5AA263335F33 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:30:28] 629*2^1395460-1 is not prime. Res64: 3AAE6001BA4AE6AE Time : 0.0 sec. user=mdettweiler [2015-03-15 09:48:55] 653*2^1395460-1 is not prime. Res64: 38E6DB782655821B Time : 0.0 sec. user=mdettweiler [2015-03-15 09:48:55] 765*2^1395460-1 is not prime. Res64: 5B13586A8D2153B6 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:49:36] 773*2^1395460-1 is not prime. Res64: 059AACAD840AC51F Time : 0.0 sec. user=mdettweiler [2015-03-15 09:49:37] 855*2^1395460-1 is not prime. Res64: 80C7D6B29EC7192F Time : 0.0 sec. user=mdettweiler [2015-03-15 09:56:13] 995*2^1395460-1 is not prime. Res64: B782B57F23C37FCD Time : 0.0 sec. user=mdettweiler [2015-03-15 09:56:14] 615*2^1395461-1 is not prime. Res64: 5486E602B55F5F59 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:56:18] 887*2^1395460-1 is not prime. Res64: E6B20018849FB094 Time : 0.0 sec. user=mdettweiler [2015-03-15 09:56:18] 987*2^1395460-1 is not prime. Res64: E8C4FA8457803220 Time : 0.0 sec. user=juhehe [2015-03-15 10:11:14] 711*2^1395461-1 is not prime. Res64: 8FA08281184D9342 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:14:51] 741*2^1395461-1 is not prime. Res64: 61D94C1CE1BA4714 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:14:52] 795*2^1395461-1 is not prime. Res64: 02DD79B62D03CB4D Time : 0.0 sec. user=mdettweiler [2015-03-15 10:15:28] 801*2^1395461-1 is not prime. Res64: AD6C0287EC885B0E Time : 0.0 sec. user=mdettweiler [2015-03-15 10:15:29] 611*2^1395462-1 is not prime. Res64: C75D82BBB0DF3053 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:22:03] 717*2^1395462-1 is not prime. Res64: 59DF03A9CCA56DB6 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:22:03] 815*2^1395462-1 is not prime. Res64: 98BA1597534C658F Time : 0.0 sec. user=mdettweiler [2015-03-15 10:22:18] 917*2^1395462-1 is not prime. Res64: 9A7C05C1F1B3F7E7 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:22:18] 945*2^1395462-1 is not prime. Res64: E1A22D51ECE97A39 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:40:44] 963*2^1395462-1 is not prime. Res64: 79A5842403A326DB Time : 0.0 sec. user=mdettweiler [2015-03-15 10:40:45] 679*2^1395463-1 is not prime. Res64: 2EE96C0929E2EC2A Time : 0.0 sec. user=mdettweiler [2015-03-15 10:41:14] 681*2^1395463-1 is not prime. Res64: 3866A18D16DE7076 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:41:14] 783*2^1395463-1 is not prime. Res64: 1DD1C0E0662C63D7 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:47:46] 853*2^1395463-1 is not prime. Res64: 4364C61825C2F4F0 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:47:46] 939*2^1395463-1 is not prime. Res64: 02C2E20B49DC3F17 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:48:09] 961*2^1395463-1 is not prime. Res64: 5FAA6547847CB8A4 Time : 0.0 sec. user=mdettweiler [2015-03-15 10:48:10] 663*2^1395464-1 is not prime. Res64: 18D1D5E7C8C2DEF0 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:06:38] 825*2^1395464-1 is not prime. Res64: 989387B62F330CC5 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:06:39] 923*2^1395464-1 is not prime. Res64: E80920AFA2B75AD3 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:07:05] 969*2^1395464-1 is not prime. Res64: 10ECE3E8A08B9CAC Time : 0.0 sec. user=mdettweiler [2015-03-15 11:07:06] 601*2^1395465-1 is not prime. Res64: A1B04B26AE997FF3 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:13:37] 705*2^1395465-1 is not prime. Res64: 314A5B68FD7D67A3 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:13:38] 709*2^1395465-1 is not prime. Res64: 017949AD6AB8B7FC Time : 0.0 sec. user=mdettweiler [2015-03-15 11:14:01] 741*2^1395465-1 is not prime. Res64: 4D604BFF2D67D6F3 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:14:01] 919*2^1395465-1 is not prime. Res64: 4FB2812B8959056B Time : 0.0 sec. user=juhehe [2015-03-15 11:16:45] 677*2^1395464-1 is not prime. Res64: 2676CDAA53648EC9 Time : 0.0 sec. user=juhehe [2015-03-15 11:25:52] 955*2^1395465-1 is not prime. Res64: 128BF0B20603F4D4 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:32:29] 997*2^1395465-1 is not prime. Res64: D3F61CEBC63435A8 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:32:30] 803*2^1395466-1 is not prime. Res64: DE87F35A3E2E92DF Time : 0.0 sec. user=mdettweiler [2015-03-15 11:32:54] 917*2^1395466-1 is not prime. Res64: BF47CB7AD08AB714 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:32:55] 619*2^1395467-1 is not prime. Res64: FDF33DC584B59C18 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:39:25] 685*2^1395467-1 is not prime. Res64: FC52FD3A2F0B056D Time : 0.0 sec. user=mdettweiler [2015-03-15 11:39:26] 733*2^1395467-1 is not prime. Res64: 326945EDC657B794 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:39:51] 799*2^1395467-1 is not prime. Res64: FBCAA7976056B507 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:39:52] 885*2^1395467-1 is not prime. Res64: E0F3DC6498960704 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:58:26] 639*2^1395468-1 is not prime. Res64: 03C680A04C205535 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:58:26] 695*2^1395468-1 is not prime. Res64: C8E6AE269C95F011 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:58:43] 749*2^1395468-1 is not prime. Res64: 935D4E897F908AE6 Time : 0.0 sec. user=mdettweiler [2015-03-15 11:58:43] 927*2^1395468-1 is not prime. Res64: 6D867C02E247C708 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:05:21] 975*2^1395468-1 is not prime. Res64: 30306AF8788D3C14 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:05:22] 615*2^1395469-1 is not prime. Res64: 4E9C6C0348C52319 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:05:47] 661*2^1395469-1 is not prime. Res64: 4EA23A57E433A2FB Time : 0.0 sec. user=mdettweiler [2015-03-15 12:05:47] 687*2^1395469-1 is not prime. Res64: BC31968FE60BE326 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:24:13] 729*2^1395469-1 is not prime. Res64: 5CAF3931341E7D80 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:24:14] 811*2^1395469-1 is not prime. Res64: 4309D34C1693ECFD Time : 0.0 sec. user=mdettweiler [2015-03-15 12:24:37] 707*2^1395470-1 is not prime. Res64: 34584C1572461DF7 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:24:37] 717*2^1395470-1 is not prime. Res64: 9D1C53683B3BFF05 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:31:16] 767*2^1395470-1 is not prime. Res64: 1A8710B34BCA5054 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:31:17] 857*2^1395470-1 is not prime. Res64: 85D22528C1601C0E Time : 0.0 sec. user=mdettweiler [2015-03-15 12:31:31] 951*2^1395470-1 is not prime. Res64: 0DFD609F1F842646 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:31:32] 609*2^1395471-1 is not prime. Res64: 9B86139268E85B7C Time : 0.0 sec. user=mdettweiler [2015-03-15 12:50:05] 751*2^1395471-1 is not prime. Res64: 5E1E4A9EBB90A05D Time : 0.0 sec. user=mdettweiler [2015-03-15 12:50:05] 769*2^1395471-1 is not prime. Res64: FC5B01DF95D26D44 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:50:28] 825*2^1395471-1 is not prime. Res64: 0AABD4CFC1223D03 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:50:29] 879*2^1395471-1 is not prime. Res64: 86EE4E52156DA600 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:57:02] 973*2^1395471-1 is not prime. Res64: 8B6998A317AAF04E Time : 0.0 sec. user=mdettweiler [2015-03-15 12:57:02] 665*2^1395472-1 is not prime. Res64: 959B67DED51D4814 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:57:20] 687*2^1395472-1 is not prime. Res64: 74BE1E128EFEECC6 Time : 0.0 sec. user=mdettweiler [2015-03-15 12:57:21] 825*2^1395472-1 is not prime. Res64: 2D97258DF80E0E24 Time : 0.0 sec. user=juhehe [2015-03-15 13:10:28] 875*2^1395472-1 is not prime. Res64: 42D6267B68670FAC Time : 0.0 sec. user=mdettweiler [2015-03-15 13:16:00] 923*2^1395472-1 is not prime. Res64: F80F631A7108F410 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:16:00] 933*2^1395472-1 is not prime. Res64: AB5D5916BA0C638E Time : 0.0 sec. user=mdettweiler [2015-03-15 13:16:23] 983*2^1395472-1 is not prime. Res64: 1520EDE8C3F1F3A9 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:16:23] 999*2^1395472-1 is not prime. Res64: 372836150FD984FE Time : 0.0 sec. user=mdettweiler [2015-03-15 13:22:52] 727*2^1395473-1 is not prime. Res64: 12224A7E3A983847 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:22:52] 775*2^1395473-1 is not prime. Res64: 5000222038A965D0 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:23:10] 885*2^1395473-1 is not prime. Res64: 700D1DF4493E27D5 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:23:11] 723*2^1395474-1 is not prime. Res64: 036DF58EFE9DB0D9 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:41:57] 725*2^1395474-1 is not prime. Res64: DAB15CB136FD9ECB Time : 0.0 sec. user=mdettweiler [2015-03-15 13:41:57] 731*2^1395474-1 is not prime. Res64: 58B55B796D937CB4 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:42:22] 773*2^1395474-1 is not prime. Res64: E58B848A59AC8A02 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:42:23] 837*2^1395474-1 is not prime. Res64: 6B107C4D0632A417 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:48:47] 881*2^1395474-1 is not prime. Res64: 51B7A45130E58294 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:48:47] 715*2^1395475-1 is not prime. Res64: A70CFE975E2F8121 Time : 0.0 sec. user=mdettweiler [2015-03-15 13:49:11] 733*2^1395475-1 is not prime. Res64: E4E15B0C8C0BC65C Time : 0.0 sec. user=mdettweiler [2015-03-15 13:49:12] 849*2^1395475-1 is not prime. Res64: 042B2670D2D5CC49 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:07:41] 749*2^1395476-1 is not prime. Res64: 81432127C88ECBE0 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:07:42] 803*2^1395476-1 is not prime. Res64: 28256D1B5C3A6ADD Time : 0.0 sec. user=mdettweiler [2015-03-15 14:08:08] 833*2^1395476-1 is not prime. Res64: B555B229EA4190D4 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:08:08] 963*2^1395476-1 is not prime. Res64: 4E8ABDB82EA86560 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:14:26] 983*2^1395476-1 is not prime. Res64: 0D0ABAFD88CB9329 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:14:27] 999*2^1395476-1 is not prime. Res64: 456325B977C45384 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:14:55] 649*2^1395477-1 is not prime. Res64: 2ADF918291275CB3 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:14:55] 681*2^1395477-1 is not prime. Res64: 2C73EEB517098BBF Time : 0.0 sec. user=mdettweiler [2015-03-15 14:33:34] 735*2^1395477-1 is not prime. Res64: 01F70A2F0565E755 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:33:35] 741*2^1395477-1 is not prime. Res64: 7F9B01EB5950EB6B Time : 0.0 sec. user=mdettweiler [2015-03-15 14:33:57] 885*2^1395477-1 is not prime. Res64: F6B4B40CB1E8353B Time : 0.0 sec. user=mdettweiler [2015-03-15 14:33:57] 999*2^1395477-1 is not prime. Res64: F6CF1DFF8D0C0263 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:40:10] 687*2^1395478-1 is not prime. Res64: 2A6753498E1BE9F0 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:40:11] 815*2^1395478-1 is not prime. Res64: 823075C89C08A8A3 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:40:38] 831*2^1395478-1 is not prime. Res64: FC8121DE396FEEE6 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:40:38] 897*2^1395478-1 is not prime. Res64: 68217C6BFC260AB7 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:59:20] 685*2^1395479-1 is not prime. Res64: CFBEA5CBEA168092 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:59:21] 711*2^1395479-1 is not prime. Res64: 0E0F54719E240C66 Time : 0.0 sec. user=mdettweiler [2015-03-15 14:59:47] 861*2^1395479-1 is not prime. Res64: EC8FA77277CF076C Time : 0.0 sec. user=mdettweiler [2015-03-15 14:59:47] 879*2^1395479-1 is not prime. Res64: 7518978BD201DA13 Time : 0.0 sec. user=juhehe [2015-03-15 15:00:26] 923*2^1395478-1 is not prime. Res64: 96BF29F7F6F9FFDD Time : 0.0 sec. user=mdettweiler [2015-03-15 15:05:56] 675*2^1395480-1 is not prime. Res64: 4845ABC3F085C2D1 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:05:57] 707*2^1395480-1 is not prime. Res64: 919AF1F7C2E96C97 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:06:27] 719*2^1395480-1 is not prime. Res64: 91F4C0683610331C Time : 0.0 sec. user=mdettweiler [2015-03-15 15:06:28] 737*2^1395480-1 is not prime. Res64: 4ACD58C07E577F51 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:25:07] 797*2^1395480-1 is not prime. Res64: EEE86B9C5A85867D Time : 0.0 sec. user=mdettweiler [2015-03-15 15:25:08] 857*2^1395480-1 is not prime. Res64: 5E3EB9B69A2DC122 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:25:27] 637*2^1395481-1 is not prime. Res64: 36ED0D6FA7042ADA Time : 0.0 sec. user=mdettweiler [2015-03-15 15:25:27] 691*2^1395481-1 is not prime. Res64: BCA6A64BF33E6949 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:31:44] 705*2^1395481-1 is not prime. Res64: E6B1879CD7ECD918 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:31:45] 777*2^1395481-1 is not prime. Res64: 25D867EE0F23583A Time : 0.0 sec. user=mdettweiler [2015-03-15 15:32:17] 799*2^1395481-1 is not prime. Res64: C9CA8D5F91DBE483 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:32:17] 829*2^1395481-1 is not prime. Res64: E48017CB31CF1CE7 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:50:57] 895*2^1395481-1 is not prime. Res64: 6CFCC10EC7DE48CC Time : 0.0 sec. user=mdettweiler [2015-03-15 15:50:58] 627*2^1395482-1 is not prime. Res64: 7F0BD08CECF7ACD3 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:51:11] 771*2^1395482-1 is not prime. Res64: 7399DF524BDD0BCE Time : 0.0 sec. user=mdettweiler [2015-03-15 15:51:11] 813*2^1395482-1 is not prime. Res64: E10D09C23E91AD02 Time : 0.0 sec. user=mdettweiler [2015-03-15 15:57:26] 843*2^1395482-1 is not prime. Res64: F67931A787A350FC Time : 0.0 sec. user=mdettweiler [2015-03-15 15:57:27] 867*2^1395482-1 is not prime. Res64: 6C4592DCA91D35CD Time : 0.0 sec. user=mdettweiler [2015-03-15 15:58:01] 915*2^1395482-1 is not prime. Res64: CACDCFD7C7156B0C Time : 0.0 sec. user=mdettweiler [2015-03-15 15:58:02] 935*2^1395482-1 is not prime. Res64: 0DDA1DEB38A7120B Time : 0.0 sec. user=mdettweiler [2015-03-15 16:16:40] 963*2^1395482-1 is not prime. Res64: 155D1658DCBC7EFC Time : 0.0 sec. user=mdettweiler [2015-03-15 16:16:41] 613*2^1395483-1 is not prime. Res64: B53A2B66310AE95D Time : 0.0 sec. user=mdettweiler [2015-03-15 16:16:53] 619*2^1395483-1 is not prime. Res64: 88078B74540A13F6 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:16:53] 709*2^1395483-1 is not prime. Res64: 26E97DECC3C8B732 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:23:08] 739*2^1395483-1 is not prime. Res64: 1C77836696A52E45 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:23:09] 775*2^1395483-1 is not prime. Res64: 9C118AC75C037DFC Time : 0.0 sec. user=mdettweiler [2015-03-15 16:23:44] 891*2^1395483-1 is not prime. Res64: CA0DBB812CE5B625 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:23:44] 945*2^1395483-1 is not prime. Res64: 44CBB54E4D4F48D9 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:42:35] 755*2^1395484-1 is not prime. Res64: BAB321BACFCAA908 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:42:35] 899*2^1395484-1 is not prime. Res64: 2E2EA18108230BC8 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:42:38] 939*2^1395484-1 is not prime. Res64: 4038048BFFEB3A66 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:42:39] 983*2^1395484-1 is not prime. Res64: B3D09E631381176A Time : 0.0 sec. user=juhehe [2015-03-15 16:45:26] 605*2^1395484-1 is not prime. Res64: BC602F098AC56B2F Time : 0.0 sec. user=mdettweiler [2015-03-15 16:48:55] 993*2^1395484-1 is not prime. Res64: 888FEC3775E0DE88 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:48:55] 655*2^1395485-1 is not prime. Res64: 6F30149D03DDF269 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:49:30] 675*2^1395485-1 is not prime. Res64: 7856A03283E06369 Time : 0.0 sec. user=mdettweiler [2015-03-15 16:49:31] 729*2^1395485-1 is not prime. Res64: 9C77731BCD76F1EC Time : 0.0 sec. user=mdettweiler [2015-03-15 17:08:21] 777*2^1395485-1 is not prime. Res64: 55838EBE0CA4FE6F Time : 0.0 sec. user=mdettweiler [2015-03-15 17:08:21] 695*2^1395486-1 is not prime. Res64: 21E2CFCFB59F3586 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:08:28] 843*2^1395486-1 is not prime. Res64: DDA30A5270C670B5 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:08:29] 945*2^1395486-1 is not prime. Res64: B2DC474B7BF54F22 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:14:45] 603*2^1395487-1 is not prime. Res64: 490EDB149BE08B46 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:14:45] 615*2^1395487-1 is not prime. Res64: F0B69882673C16F6 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:15:22] 703*2^1395487-1 is not prime. Res64: E5AED79891022989 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:15:23] 741*2^1395487-1 is not prime. Res64: 15B6B895B6F977E6 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:34:12] 805*2^1395487-1 is not prime. Res64: D0B57D473671A472 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:34:13] 657*2^1395488-1 is not prime. Res64: A056536BA0F9ADD2 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:34:17] 795*2^1395488-1 is not prime. Res64: 41C543C5677ED200 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:34:17] 815*2^1395488-1 is not prime. Res64: 3A68B0EB70476E06 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:40:41] 963*2^1395488-1 is not prime. Res64: FEF091930E5F0815 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:40:42] 995*2^1395488-1 is not prime. Res64: 2B9AAABA46360BB9 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:41:14] 807*2^1395489-1 is not prime. Res64: 46FFE18D6AD0F9E7 Time : 0.0 sec. user=mdettweiler [2015-03-15 17:41:15] 861*2^1395489-1 is not prime. Res64: 17F49D35D72ED0A3 Time : 0.0 sec. user=juhehe [2015-03-15 17:55:39] 895*2^1395489-1 is not prime. Res64: 66F46046343C7D24 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:00:13] 657*2^1395490-1 is not prime. Res64: 2F4D879C8E1FA5E2 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:00:14] 743*2^1395490-1 is not prime. Res64: 4BAF94C67FC11C82 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:00:16] 999*2^1395489-1 is not prime. Res64: 8CE3F70E02AD0B2A Time : 0.0 sec. user=mdettweiler [2015-03-15 18:00:17] 605*2^1395490-1 is not prime. Res64: 8EDC378A2A20EA6D Time : 0.0 sec. user=mdettweiler [2015-03-15 18:06:38] 777*2^1395490-1 is not prime. Res64: 02FCE0A29A387F37 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:06:38] 915*2^1395490-1 is not prime. Res64: 0CB6FBD706C3E972 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:07:09] 841*2^1395491-1 is not prime. Res64: 8720D5FCAE564BAD Time : 0.0 sec. user=mdettweiler [2015-03-15 18:07:09] 885*2^1395491-1 is not prime. Res64: 701F2FF7828A0E24 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:26:46] 615*2^1395492-1 is not prime. Res64: DB16D56B09E2826B Time : 0.0 sec. user=mdettweiler [2015-03-15 18:26:47] 629*2^1395492-1 is not prime. Res64: 251A79BA56AF2285 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:26:49] 913*2^1395491-1 is not prime. Res64: FCD73E6379339F1F Time : 0.0 sec. user=mdettweiler [2015-03-15 18:26:49] 981*2^1395491-1 is not prime. Res64: C56F043E58A605AD Time : 0.0 sec. user=mdettweiler [2015-03-15 18:33:37] 693*2^1395492-1 is not prime. Res64: 4EA1F65C8F9E838E Time : 0.0 sec. user=mdettweiler [2015-03-15 18:33:38] 759*2^1395492-1 is not prime. Res64: E344D07C941495A0 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:33:49] 765*2^1395492-1 is not prime. Res64: ED8EFEA7D9ECF815 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:33:49] 863*2^1395492-1 is not prime. Res64: F4F0628C4BD4CA8E Time : 0.0 sec. user=mdettweiler [2015-03-15 18:56:16] 983*2^1395492-1 is not prime. Res64: 5F092357246D9521 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:56:17] 621*2^1395493-1 is not prime. Res64: 20053DD1C1E56E56 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:56:56] 625*2^1395493-1 is not prime. Res64: 13DE0306321BA379 Time : 0.0 sec. user=mdettweiler [2015-03-15 18:56:56] 681*2^1395493-1 is not prime. Res64: 2FB15ADFF3E40C98 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:03:32] 999*2^1395493-1 is not prime. Res64: C67E9FB09A8BA1E4 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:03:33] 645*2^1395494-1 is not prime. Res64: C068EB3D3AD5E902 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:04:27] 741*2^1395493-1 is not prime. Res64: ABE84002129B8D92 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:04:29] 867*2^1395493-1 is not prime. Res64: BE64EA9BAC42FEE2 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:25:18] 677*2^1395494-1 is not prime. Res64: 20D98A1418DED024 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:25:18] 683*2^1395494-1 is not prime. Res64: 2E8DCF373BA79D5B Time : 0.0 sec. user=mdettweiler [2015-03-15 19:26:40] 687*2^1395494-1 is not prime. Res64: 7432BA6CF5555E3E Time : 0.0 sec. user=mdettweiler [2015-03-15 19:26:41] 693*2^1395494-1 is not prime. Res64: FE72D98E38F29914 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:33:43] 983*2^1395494-1 is not prime. Res64: A90624F23C9DFF80 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:33:43] 663*2^1395495-1 is not prime. Res64: 62ACA64E93DDC071 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:33:48] 717*2^1395494-1 is not prime. Res64: 7FAEC0ECDC258EE9 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:33:48] 791*2^1395494-1 is not prime. Res64: C881F4350FFC0BBB Time : 0.0 sec. user=mdettweiler [2015-03-15 19:55:52] 669*2^1395495-1 is not prime. Res64: 34417FBF622A088F Time : 0.0 sec. user=mdettweiler [2015-03-15 19:55:52] 709*2^1395495-1 is not prime. Res64: CEC83E0F47DF8AD3 Time : 0.0 sec. user=mdettweiler [2015-03-15 19:57:44] 723*2^1395495-1 is not prime. Res64: 2938EF65A4F1541B Time : 0.0 sec. user=mdettweiler [2015-03-15 19:57:44] 735*2^1395495-1 is not prime. Res64: 044A8B064F9CB68C Time : 0.0 sec. user=mdettweiler [2015-03-15 20:04:04] 783*2^1395495-1 is not prime. Res64: C46572B32BB8D74E Time : 0.0 sec. user=mdettweiler [2015-03-15 20:04:05] 805*2^1395495-1 is not prime. Res64: 974E90CC2F64C5FF Time : 0.0 sec. user=mdettweiler [2015-03-15 20:04:32] 755*2^1395496-1 is not prime. Res64: 224BA915E3164DD6 Time : 0.0 sec. user=mdettweiler [2015-03-15 20:04:33] 875*2^1395496-1 is not prime. Res64: 612E40B4B60AAC75 Time : 0.0 sec. user=juhehe [2015-03-15 20:17:40] 699*2^1395497-1 is not prime. Res64: 6449BF56D0A6AA02 Time : 0.0 sec. user=mdettweiler [2015-03-15 20:25:54] 665*2^1395498-1 is not prime. Res64: 719243FF902A3ABA Time : 0.0 sec. user=mdettweiler [2015-03-15 20:25:54] 683*2^1395498-1 is not prime. Res64: C98628338E1027F5 Time : 0.0 sec. user=mdettweiler [2015-03-15 20:27:50] 755*2^1395498-1 is not prime. Res64: F96B8AF4F6A9960B Time : 0.0 sec. user=mdettweiler [2015-03-15 20:27:50] 821*2^1395498-1 is not prime. Res64: D492B930C21D9B2B Time : 0.0 sec. user=mdettweiler [2015-03-15 20:34:11] 885*2^1395498-1 is not prime. Res64: BD6CD69D4A7DCB3C Time : 0.0 sec. user=mdettweiler [2015-03-15 20:34:11] 905*2^1395498-1 is not prime. Res64: 8A0A0E2DD9E9B5AE Time : 0.0 sec. user=mdettweiler [2015-03-15 20:34:56] 927*2^1395498-1 is not prime. Res64: AAB8A8283ABFB50F Time : 0.0 sec. user=mdettweiler [2015-03-15 20:34:56] 1001*2^1395498-1 is not prime. Res64: 24760F142AFE04AC Time : 0.0 sec. user=mdettweiler [2015-03-15 20:56:16] 703*2^1395499-1 is not prime. Res64: A6282DC8485EA363 Time : 0.0 sec. user=mdettweiler [2015-03-15 20:56:16] 733*2^1395499-1 is not prime. Res64: 23424B735D1B9960 Time : 0.0 sec. user=mdettweiler [2015-03-15 20:59:12] 765*2^1395499-1 is not prime. Res64: D35C3E2FFB6CC5F1 Time : 0.0 sec. user=mdettweiler [2015-03-15 20:59:13] 853*2^1395499-1 is not prime. Res64: C9F12AF90D907C1F Time : 0.0 sec. user=mdettweiler [2015-03-15 21:07:18] 913*2^1395499-1 is not prime. Res64: F6658428BC3145F4 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:07:19] 999*2^1395499-1 is not prime. Res64: 3E71D7D078603F07 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:07:25] 707*2^1395500-1 is not prime. Res64: E9A3FE54C3DFAF11 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:07:26] 725*2^1395500-1 is not prime. Res64: 6FC523D4749F33EB Time : 0.0 sec. user=juhehe [2015-03-15 21:27:20] 743*2^1395500-1 is not prime. Res64: 43926F29926D73DA Time : 0.0 sec. user=mdettweiler [2015-03-15 21:27:40] 767*2^1395500-1 is not prime. Res64: B7D32C103013B06C Time : 0.0 sec. user=mdettweiler [2015-03-15 21:27:41] 923*2^1395500-1 is not prime. Res64: E1CC423F648E6D87 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:29:18] 977*2^1395500-1 is not prime. Res64: 04049C718F167AEC Time : 0.0 sec. user=mdettweiler [2015-03-15 21:29:18] 987*2^1395500-1 is not prime. Res64: 1F69DFA9569B7C10 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:34:48] 607*2^1395501-1 is not prime. Res64: 245208720D0EC604 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:34:48] 625*2^1395501-1 is not prime. Res64: 3330663A4DDD04BC Time : 0.0 sec. user=mdettweiler [2015-03-15 21:34:57] 795*2^1395501-1 is not prime. Res64: 59891EB9C9FA899D Time : 0.0 sec. user=mdettweiler [2015-03-15 21:34:57] 847*2^1395501-1 is not prime. Res64: B84872E96B25F848 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:54:25] 877*2^1395501-1 is not prime. Res64: DF98FE3B22E9659F Time : 0.0 sec. user=mdettweiler [2015-03-15 21:54:25] 975*2^1395501-1 is not prime. Res64: 8D90826000FEC5F7 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:56:00] 979*2^1395501-1 is not prime. Res64: 809EFE1FCE74DB60 Time : 0.0 sec. user=mdettweiler [2015-03-15 21:56:01] 603*2^1395502-1 is not prime. Res64: C13819416FDD7CB7 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:01:32] 645*2^1395502-1 is not prime. Res64: FED5AAFE11931D45 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:01:33] 761*2^1395502-1 is not prime. Res64: 1491776F7648B482 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:01:33] 831*2^1395502-1 is not prime. Res64: 20C7896AD55F1015 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:01:34] 609*2^1395503-1 is not prime. Res64: BBCE44A10935B595 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:20:53] 679*2^1395503-1 is not prime. Res64: C345F34755EE97E8 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:20:53] 813*2^1395503-1 is not prime. Res64: 4DED6200FE9E1CCA Time : 0.0 sec. user=mdettweiler [2015-03-15 22:22:28] 859*2^1395503-1 is not prime. Res64: DD20B548CD9AF191 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:22:28] 889*2^1395503-1 is not prime. Res64: 7C595309225D16AC Time : 0.0 sec. user=mdettweiler [2015-03-15 22:28:06] 943*2^1395503-1 is not prime. Res64: 94D751BF065A1843 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:28:06] 635*2^1395504-1 is not prime. Res64: 780E3E7FA77C3E79 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:28:08] 665*2^1395504-1 is not prime. Res64: 8751796ABDB7EF5D Time : 0.0 sec. user=mdettweiler [2015-03-15 22:28:08] 693*2^1395504-1 is not prime. Res64: D97E4590AF557E50 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:48:08] 809*2^1395504-1 is not prime. Res64: 326739485338D7B5 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:48:08] 959*2^1395504-1 is not prime. Res64: 1B5F1A570C8927E7 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:49:37] 699*2^1395505-1 is not prime. Res64: 5BAED73FF25E96C3 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:49:38] 925*2^1395505-1 is not prime. Res64: F2CFBDA82CC8A547 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:55:40] 783*2^1395506-1 is not prime. Res64: C5ED964FDD19439D Time : 0.0 sec. user=mdettweiler [2015-03-15 22:55:40] 827*2^1395506-1 is not prime. Res64: 9AB5370B257F6669 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:56:17] 833*2^1395506-1 is not prime. Res64: 0A87F43984374C77 Time : 0.0 sec. user=mdettweiler [2015-03-15 22:56:17] 873*2^1395506-1 is not prime. Res64: D4CCC5E889E5A8EC Time : 0.0 sec. user=mdettweiler [2015-03-15 23:17:07] 923*2^1395506-1 is not prime. Res64: 6483198388DB9EF6 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:17:07] 945*2^1395506-1 is not prime. Res64: 7BAAA4564A9B6968 Time : 0.0 sec. user=juhehe [2015-03-15 23:18:01] 893*2^1395506-1 is not prime. Res64: 8A91B05B2A70F4E4 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:19:16] 633*2^1395507-1 is not prime. Res64: BDE291FF0BCE71DE Time : 0.0 sec. user=mdettweiler [2015-03-15 23:19:16] 793*2^1395507-1 is not prime. Res64: 72DEB931AACB09D9 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:24:16] 909*2^1395507-1 is not prime. Res64: 66EA57B19E8CD4B6 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:24:17] 961*2^1395507-1 is not prime. Res64: 3DEFB844DC51A079 Time : 0.0 sec. user=juhehe [2015-03-15 23:24:55] 615*2^1395507-1 is not prime. Res64: AF5D37CE6502EF02 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:25:19] 963*2^1395507-1 is not prime. Res64: 7759A9CE601B4BF5 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:25:19] 603*2^1395508-1 is not prime. Res64: 06AF5A7C90A34EB6 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:44:33] 623*2^1395508-1 is not prime. Res64: 325EA8847AD176D1 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:44:33] 845*2^1395508-1 is not prime. Res64: FB4F58DB9E031191 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:45:49] 923*2^1395508-1 is not prime. Res64: 3F9B127F73BE433C Time : 0.0 sec. user=mdettweiler [2015-03-15 23:45:49] 927*2^1395508-1 is not prime. Res64: 0A19BE21B4CB36F9 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:51:04] 601*2^1395509-1 is not prime. Res64: A62D18BD8C66D178 Time : 0.0 sec. user=mdettweiler [2015-03-15 23:51:05] 745*2^1395509-1 is not prime. Res64: 5D67B5D704089A4C Time : 0.0 sec. user=mdettweiler [2015-03-15 23:52:45] 747*2^1395509-1 is not prime. Res64: 3E041ED32B25FA4D Time : 0.0 sec. user=mdettweiler [2015-03-15 23:52:45] 775*2^1395509-1 is not prime. Res64: AB378D0A9A25FC69 Time : 0.0 sec.