user=mdettweiler [2015-03-19 00:17:13] 783*2^1395674-1 is not prime. Res64: BD5C5E013441D709 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:17:13] 813*2^1395674-1 is not prime. Res64: C9212B8C76E05D63 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:20:11] 831*2^1395674-1 is not prime. Res64: A48964468ADA4177 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:20:11] 983*2^1395674-1 is not prime. Res64: 7A22073D4A2AC5E5 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:20:55] 619*2^1395675-1 is not prime. Res64: D448F784AB09F110 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:20:55] 651*2^1395675-1 is not prime. Res64: D99840FF58109EB8 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:28:20] 735*2^1395675-1 is not prime. Res64: 7DB88F22BCE1B340 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:28:21] 871*2^1395675-1 is not prime. Res64: 8CCC5FB2ADA29C5B Time : 0.0 sec. user=mdettweiler [2015-03-19 00:43:38] 717*2^1395676-1 is not prime. Res64: 208B45BF56E7FCFF Time : 0.0 sec. user=mdettweiler [2015-03-19 00:43:39] 777*2^1395676-1 is not prime. Res64: 1657A33D3A005658 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:46:21] 873*2^1395676-1 is not prime. Res64: 4AB7C90693A823C9 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:46:22] 923*2^1395676-1 is not prime. Res64: 88ABF5BE0BFAFF38 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:47:03] 999*2^1395676-1 is not prime. Res64: 5F992D7566672069 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:47:03] 645*2^1395677-1 is not prime. Res64: AB4691EB0570DE19 Time : 0.0 sec. user=mdettweiler [2015-03-19 00:54:50] 699*2^1395677-1 is not prime. Res64: EA57DDBD67D080FA Time : 0.0 sec. user=mdettweiler [2015-03-19 00:54:50] 727*2^1395677-1 is not prime. Res64: 51471F45779A8F48 Time : 0.0 sec. user=mdettweiler [2015-03-19 01:10:03] 769*2^1395677-1 is not prime. Res64: AEFB995B0AB8A4BA Time : 0.0 sec. user=mdettweiler [2015-03-19 01:10:03] 825*2^1395677-1 is not prime. Res64: 6D068AD6D0E51DC6 Time : 0.0 sec. user=mdettweiler [2015-03-19 01:12:49] 847*2^1395677-1 is not prime. Res64: 7A5172E4E79B4167 Time : 0.0 sec. user=mdettweiler [2015-03-19 01:12:49] 663*2^1395678-1 is not prime. Res64: 48B54EDB2398D23C Time : 0.0 sec. user=mdettweiler [2015-03-19 01:13:26] 695*2^1395678-1 is not prime. Res64: 72D5653C53877597 Time : 0.0 sec. user=mdettweiler [2015-03-19 01:13:26] 755*2^1395678-1 is not prime. Res64: 2F4E5993357B2991 Time : 0.0 sec. user=mdettweiler [2015-03-19 01:21:10] 765*2^1395678-1 is not prime. Res64: 263B7245DEA6AB86 Time : 0.0 sec. user=mdettweiler [2015-03-19 01:21:11] 801*2^1395678-1 is not prime. Res64: 364837E2A138FADD Time : 0.0 sec. user=mdettweiler [2015-03-19 01:36:38] 861*2^1395678-1 is not prime. Res64: AD66EA8569E6B46F Time : 0.0 sec. user=mdettweiler [2015-03-19 01:36:39] 891*2^1395678-1 is not prime. Res64: 131D5B1A90BDCFCA Time : 0.0 sec. user=mdettweiler [2015-03-19 01:39:47] 977*2^1395678-1 is not prime. Res64: C9222FC1D6CE5505 Time : 0.0 sec. user=mdettweiler [2015-03-19 01:39:48] 675*2^1395679-1 is not prime. Res64: F19D686489E8A98C Time : 0.0 sec. user=mdettweiler [2015-03-19 01:40:00] 759*2^1395679-1 is not prime. Res64: E575B40BBC613D7E Time : 0.0 sec. user=mdettweiler [2015-03-19 01:40:00] 775*2^1395679-1 is not prime. Res64: ADCAC7A032AD8D74 Time : 0.0 sec. user=mdettweiler [2015-03-19 01:48:37] 993*2^1395679-1 is not prime. Res64: C79B6D8FBC75E70C Time : 0.0 sec. user=mdettweiler [2015-03-19 01:48:37] 609*2^1395680-1 is not prime. Res64: 82FD84D72D5C996F Time : 0.0 sec. user=mdettweiler [2015-03-19 02:04:12] 789*2^1395680-1 is not prime. Res64: BA71C27D6DFFD77E Time : 0.0 sec. user=mdettweiler [2015-03-19 02:04:13] 813*2^1395680-1 is not prime. Res64: 29F34B610026DEDC Time : 0.0 sec. user=mdettweiler [2015-03-19 02:07:06] 625*2^1395681-1 is not prime. Res64: CAE83F5D512DCE8E Time : 0.0 sec. user=mdettweiler [2015-03-19 02:07:06] 657*2^1395681-1 is not prime. Res64: B1D630ED29790F2A Time : 0.0 sec. user=mdettweiler [2015-03-19 02:07:16] 621*2^1395682-1 is not prime. Res64: 1944BC7AF97DFB58 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:07:17] 635*2^1395682-1 is not prime. Res64: 894D4834671A40A1 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:15:01] 665*2^1395682-1 is not prime. Res64: DD79EACF0EBA2BB9 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:15:01] 747*2^1395682-1 is not prime. Res64: 8EF499CA16041B57 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:31:16] 831*2^1395682-1 is not prime. Res64: F09FF2E32E45B002 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:31:16] 911*2^1395682-1 is not prime. Res64: DC1D148BB72B0045 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:33:56] 983*2^1395682-1 is not prime. Res64: 668D21DCCFBD0C31 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:33:56] 609*2^1395683-1 is not prime. Res64: DD4C1810EA75A9A0 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:34:00] 621*2^1395683-1 is not prime. Res64: DCEBFB57464FA29B Time : 0.0 sec. user=mdettweiler [2015-03-19 02:34:01] 741*2^1395683-1 is not prime. Res64: C65C994505D3F092 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:42:15] 745*2^1395683-1 is not prime. Res64: 769DEFC52DF8D93D Time : 0.0 sec. user=mdettweiler [2015-03-19 02:42:15] 913*2^1395683-1 is not prime. Res64: A731F96203D4FEC0 Time : 0.0 sec. user=juhehe [2015-03-19 02:52:58] 693*2^1395684-1 is not prime. Res64: 2ACFC03F7FDB57AE Time : 0.0 sec. user=mdettweiler [2015-03-19 02:57:38] 719*2^1395684-1 is not prime. Res64: C9D670EC658110F7 Time : 0.0 sec. user=mdettweiler [2015-03-19 02:57:39] 765*2^1395684-1 is not prime. Res64: 780C876473E9660F Time : 0.0 sec. user=mdettweiler [2015-03-19 03:00:03] 645*2^1395685-1 is not prime. Res64: 3871C636A2843ABB Time : 0.0 sec. user=mdettweiler [2015-03-19 03:00:04] 819*2^1395685-1 is not prime. Res64: 6BE8CC0B8AD46E8A Time : 0.0 sec. user=mdettweiler [2015-03-19 03:00:11] 877*2^1395685-1 is not prime. Res64: 7724974DA2C2EAF9 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:00:12] 889*2^1395685-1 is not prime. Res64: 3C9FAA2DF6C66843 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:08:31] 925*2^1395685-1 is not prime. Res64: 6678139ECD0A316A Time : 0.0 sec. user=mdettweiler [2015-03-19 03:08:31] 999*2^1395685-1 is not prime. Res64: F7850808DD181170 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:23:46] 617*2^1395686-1 is not prime. Res64: EC249A72844AB932 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:23:46] 623*2^1395686-1 is not prime. Res64: EF3B08D67FFC5B4F Time : 0.0 sec. user=mdettweiler [2015-03-19 03:26:10] 677*2^1395686-1 is not prime. Res64: BFB9F8699922E8E6 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:26:11] 705*2^1395686-1 is not prime. Res64: 8778A5BB6EEBBC08 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:26:21] 761*2^1395686-1 is not prime. Res64: 3985BB1C9CD70457 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:26:22] 813*2^1395686-1 is not prime. Res64: F29BF9825FB3555F Time : 0.0 sec. user=mdettweiler [2015-03-19 03:34:50] 923*2^1395686-1 is not prime. Res64: 6871CE1C0C0444DB Time : 0.0 sec. user=mdettweiler [2015-03-19 03:34:51] 945*2^1395686-1 is not prime. Res64: B5727C8693FD7BA3 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:49:55] 625*2^1395687-1 is not prime. Res64: 8FFF6CC718E8ED2E Time : 0.0 sec. user=mdettweiler [2015-03-19 03:49:56] 633*2^1395687-1 is not prime. Res64: 29D9B1A7BDAF6DE0 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:52:20] 961*2^1395687-1 is not prime. Res64: 53DEC5B8A65743C5 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:52:20] 635*2^1395688-1 is not prime. Res64: 138A614B7CF9B4E7 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:52:30] 855*2^1395688-1 is not prime. Res64: 51299A40826BE1E5 Time : 0.0 sec. user=mdettweiler [2015-03-19 03:52:31] 993*2^1395688-1 is not prime. Res64: B39AE7C24DDC2478 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:00:58] 705*2^1395689-1 is not prime. Res64: 1D95F7433144E5CD Time : 0.0 sec. user=mdettweiler [2015-03-19 04:01:00] 789*2^1395689-1 is not prime. Res64: 4CA95F5F4AC5FA40 Time : 0.0 sec. user=juhehe [2015-03-19 04:06:56] 615*2^1395689-1 is not prime. Res64: 978B0DAD0D285583 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:16:07] 847*2^1395689-1 is not prime. Res64: 1B892A8A714E2B9C Time : 0.0 sec. user=mdettweiler [2015-03-19 04:16:07] 865*2^1395689-1 is not prime. Res64: E8A4453E86BA4608 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:18:49] 879*2^1395689-1 is not prime. Res64: 854D70C42AB11392 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:18:50] 945*2^1395689-1 is not prime. Res64: 84937A7DF73BE8DC Time : 0.0 sec. user=mdettweiler [2015-03-19 04:18:51] 967*2^1395689-1 is not prime. Res64: 58F5F75A3C8C09D1 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:18:52] 717*2^1395690-1 is not prime. Res64: 3B216C53B6827DD1 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:27:36] 723*2^1395690-1 is not prime. Res64: 116F2284D00FEBA4 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:27:36] 777*2^1395690-1 is not prime. Res64: 84B499BB0E6C8C0E Time : 0.0 sec. user=juhehe [2015-03-19 04:40:53] 801*2^1395690-1 is not prime. Res64: D3F6784055A17429 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:42:21] 851*2^1395690-1 is not prime. Res64: 843602C485F92CA2 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:42:22] 893*2^1395690-1 is not prime. Res64: D7972B16F5ACAD65 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:44:51] 835*2^1395691-1 is not prime. Res64: 6C205C752F246884 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:44:52] 859*2^1395691-1 is not prime. Res64: FA8782F8CA707E2D Time : 0.0 sec. user=mdettweiler [2015-03-19 04:44:56] 961*2^1395691-1 is not prime. Res64: 6A4A210ADD5454F8 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:44:57] 615*2^1395692-1 is not prime. Res64: A4337DC0707F1980 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:53:50] 635*2^1395692-1 is not prime. Res64: C460A69E92C8C938 Time : 0.0 sec. user=mdettweiler [2015-03-19 04:53:50] 719*2^1395692-1 is not prime. Res64: 54C484AC9BCF1AEB Time : 0.0 sec. user=mdettweiler [2015-03-19 05:08:32] 759*2^1395692-1 is not prime. Res64: 0E92B7E4F4E315FA Time : 0.0 sec. user=mdettweiler [2015-03-19 05:08:32] 785*2^1395692-1 is not prime. Res64: DE0E779B19C861CF Time : 0.0 sec. user=mdettweiler [2015-03-19 05:10:55] 855*2^1395692-1 is not prime. Res64: E03362AFDA8668DD Time : 0.0 sec. user=mdettweiler [2015-03-19 05:10:55] 875*2^1395692-1 is not prime. Res64: BACD4EDC6489CE69 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:11:17] 885*2^1395692-1 is not prime. Res64: 341365239529F79E Time : 0.0 sec. user=mdettweiler [2015-03-19 05:11:17] 999*2^1395692-1 is not prime. Res64: 4944FCFDE3B03138 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:20:00] 621*2^1395693-1 is not prime. Res64: D5CEA2D820CFADD1 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:20:00] 675*2^1395693-1 is not prime. Res64: 1606050438370762 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:34:42] 769*2^1395693-1 is not prime. Res64: 0C72019CBF86DE58 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:34:42] 789*2^1395693-1 is not prime. Res64: 6D01E0C6D646C855 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:37:08] 961*2^1395693-1 is not prime. Res64: 6B68257F5D224A6B Time : 0.0 sec. user=mdettweiler [2015-03-19 05:37:09] 605*2^1395694-1 is not prime. Res64: 207507305D9948A3 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:37:27] 755*2^1395694-1 is not prime. Res64: 8F83B790229B9F1A Time : 0.0 sec. user=mdettweiler [2015-03-19 05:37:28] 861*2^1395694-1 is not prime. Res64: 8C916013C2945586 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:46:04] 1001*2^1395694-1 is not prime. Res64: 17189E93D1EEC721 Time : 0.0 sec. user=mdettweiler [2015-03-19 05:46:04] 909*2^1395695-1 is not prime. Res64: 21749F4CD3A2D0E3 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:00:45] 939*2^1395695-1 is not prime. Res64: 6750C799E00160FD Time : 0.0 sec. user=mdettweiler [2015-03-19 06:00:46] 943*2^1395695-1 is not prime. Res64: 7AC313D5FA9581A0 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:03:05] 609*2^1395696-1 is not prime. Res64: 56CF3DA8E0C5CE67 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:03:07] 669*2^1395696-1 is not prime. Res64: 15A6D0EFC3EC0EB4 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:03:28] 693*2^1395696-1 is not prime. Res64: F91B16D4A0848625 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:03:28] 839*2^1395696-1 is not prime. Res64: 0C120AA1F1DB0A7E Time : 0.0 sec. user=mdettweiler [2015-03-19 06:12:05] 927*2^1395696-1 is not prime. Res64: 06CBE466B3FC8EA3 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:12:05] 945*2^1395696-1 is not prime. Res64: 08BBF967BFD85A31 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:27:07] 645*2^1395697-1 is not prime. Res64: 9591B1A3E4B17793 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:27:07] 687*2^1395697-1 is not prime. Res64: 1A0348F3E370A39A Time : 0.0 sec. user=mdettweiler [2015-03-19 06:29:13] 727*2^1395697-1 is not prime. Res64: 63B7234B4DC78813 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:29:14] 741*2^1395697-1 is not prime. Res64: 47C105CB7BF3C2AC Time : 0.0 sec. user=mdettweiler [2015-03-19 06:29:24] 747*2^1395697-1 is not prime. Res64: BC01D833285C3962 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:29:25] 765*2^1395697-1 is not prime. Res64: AC7AAA0F3E00C4BC Time : 0.0 sec. user=mdettweiler [2015-03-19 06:38:17] 807*2^1395697-1 is not prime. Res64: 37FAB52F377D1017 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:38:17] 831*2^1395697-1 is not prime. Res64: F40495C136587031 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:53:11] 895*2^1395697-1 is not prime. Res64: 802A4ECAC0A2E8D4 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:53:11] 945*2^1395697-1 is not prime. Res64: 825472B1718C1961 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:55:17] 635*2^1395698-1 is not prime. Res64: B061E693287EBBDA Time : 0.0 sec. user=mdettweiler [2015-03-19 06:55:17] 713*2^1395698-1 is not prime. Res64: 0E9C13FF9822D989 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:55:26] 797*2^1395698-1 is not prime. Res64: 136BF8E8835D8608 Time : 0.0 sec. user=mdettweiler [2015-03-19 06:55:26] 953*2^1395698-1 is not prime. Res64: 9013BD25753E1B8B Time : 0.0 sec. user=mdettweiler [2015-03-19 07:04:20] 987*2^1395698-1 is not prime. Res64: 9F8A2D5039C2C03B Time : 0.0 sec. user=mdettweiler [2015-03-19 07:04:21] 619*2^1395699-1 is not prime. Res64: 4B8160DEA01961BD Time : 0.0 sec. user=mdettweiler [2015-03-19 07:19:09] 753*2^1395699-1 is not prime. Res64: 2B04EA02C4BD2B32 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:19:10] 801*2^1395699-1 is not prime. Res64: 95AFC0E957977B9A Time : 0.0 sec. user=mdettweiler [2015-03-19 07:21:26] 903*2^1395699-1 is not prime. Res64: C6E761D2FF494DA4 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:21:26] 913*2^1395699-1 is not prime. Res64: 81BD7E9396CB4A75 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:21:36] 919*2^1395699-1 is not prime. Res64: 893A735C4D836B93 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:21:37] 979*2^1395699-1 is not prime. Res64: 6ACD1674E588BFA8 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:30:21] 609*2^1395700-1 is not prime. Res64: 788C8399437A617E Time : 0.0 sec. user=mdettweiler [2015-03-19 07:30:21] 743*2^1395700-1 is not prime. Res64: C5FE133E02044B1E Time : 0.0 sec. user=mdettweiler [2015-03-19 07:45:06] 839*2^1395700-1 is not prime. Res64: 3AF28E6578CF11DE Time : 0.0 sec. user=mdettweiler [2015-03-19 07:45:07] 915*2^1395700-1 is not prime. Res64: 2DEF061F701404F9 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:47:22] 923*2^1395700-1 is not prime. Res64: 54050CAC884A2E05 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:47:23] 927*2^1395700-1 is not prime. Res64: 705AEE0E06D03C30 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:47:37] 989*2^1395700-1 is not prime. Res64: CA0B8FEB328E0816 Time : 0.0 sec. user=mdettweiler [2015-03-19 07:47:37] 615*2^1395701-1 is not prime. Res64: 211DF2D85A418BBC Time : 0.0 sec. user=mdettweiler [2015-03-19 07:56:21] 675*2^1395701-1 is not prime. Res64: BE1071C386298EDB Time : 0.0 sec. user=mdettweiler [2015-03-19 07:56:22] 711*2^1395701-1 is not prime. Res64: C4EC80ABC91D12D4 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:11:04] 741*2^1395701-1 is not prime. Res64: 825E2DFFA1AAD52D Time : 0.0 sec. user=mdettweiler [2015-03-19 08:11:04] 777*2^1395701-1 is not prime. Res64: 4CD8837347F411C0 Time : 0.0 sec. user=juhehe [2015-03-19 08:12:40] 717*2^1395701-1 is not prime. Res64: FF107A89E4BE5675 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:13:19] 855*2^1395701-1 is not prime. Res64: 9B118E41F33102AC Time : 0.0 sec. user=mdettweiler [2015-03-19 08:13:19] 931*2^1395701-1 is not prime. Res64: ABA955DDDC91D0C6 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:13:26] 937*2^1395701-1 is not prime. Res64: 2A7F5FD24F7894A0 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:13:27] 957*2^1395701-1 is not prime. Res64: 5ADA2CCD62DD3B98 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:22:10] 615*2^1395702-1 is not prime. Res64: 0EB806D5ACAAF5C4 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:22:10] 825*2^1395702-1 is not prime. Res64: 8FBDEB635FD222BA Time : 0.0 sec. user=mdettweiler [2015-03-19 08:36:48] 977*2^1395702-1 is not prime. Res64: E4E0A54F2AF185D2 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:36:48] 615*2^1395703-1 is not prime. Res64: 135F6E1886044CF5 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:38:57] 649*2^1395703-1 is not prime. Res64: 7D0DC7C6AC8E7DC1 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:38:57] 703*2^1395703-1 is not prime. Res64: 425C50EB2EA1B117 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:39:04] 849*2^1395703-1 is not prime. Res64: F30D45D2FC9A7AE0 Time : 0.0 sec. user=mdettweiler [2015-03-19 08:39:04] 919*2^1395703-1 is not prime. Res64: 30911EDD5500C9BD Time : 0.0 sec. user=mdettweiler [2015-03-19 08:47:56] 623*2^1395704-1 is not prime. Res64: 396AD4BE8795D77F Time : 0.0 sec. user=mdettweiler [2015-03-19 08:47:56] 635*2^1395704-1 is not prime. Res64: 6E873782CA3B80D5 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:02:31] 753*2^1395704-1 is not prime. Res64: 7BF91DFEAAB8EC36 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:02:32] 789*2^1395704-1 is not prime. Res64: 9BC8D1AF9AB9E96E Time : 0.0 sec. user=mdettweiler [2015-03-19 09:04:34] 795*2^1395704-1 is not prime. Res64: A25DF5B35A692E20 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:04:35] 675*2^1395705-1 is not prime. Res64: A0A2FA6A319D8A51 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:04:42] 759*2^1395705-1 is not prime. Res64: E841811026CB8B64 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:04:43] 765*2^1395705-1 is not prime. Res64: 611B3E94C88CD54E Time : 0.0 sec. user=mdettweiler [2015-03-19 09:13:35] 695*2^1395706-1 is not prime. Res64: 1C1BE9BB6F2E1827 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:13:35] 735*2^1395706-1 is not prime. Res64: 1AC0A815F64630AB Time : 0.0 sec. user=juhehe [2015-03-19 09:22:43] 817*2^1395705-1 is not prime. Res64: 455792F83A419E3C Time : 0.0 sec. user=mdettweiler [2015-03-19 09:28:31] 765*2^1395706-1 is not prime. Res64: 00C30C465EBB277C Time : 0.0 sec. user=mdettweiler [2015-03-19 09:28:32] 777*2^1395706-1 is not prime. Res64: 51ABE6A659075A2B Time : 0.0 sec. user=mdettweiler [2015-03-19 09:30:14] 891*2^1395706-1 is not prime. Res64: 501AF923CD5C7E7B Time : 0.0 sec. user=mdettweiler [2015-03-19 09:30:14] 693*2^1395707-1 is not prime. Res64: 890609E734F24716 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:30:27] 705*2^1395707-1 is not prime. Res64: 876D8C3EA4CABB3B Time : 0.0 sec. user=mdettweiler [2015-03-19 09:30:28] 711*2^1395707-1 is not prime. Res64: 3CC3C032DC1FF6CD Time : 0.0 sec. user=mdettweiler [2015-03-19 09:39:26] 735*2^1395707-1 is not prime. Res64: 826258BE3619F0CA Time : 0.0 sec. user=mdettweiler [2015-03-19 09:39:26] 741*2^1395707-1 is not prime. Res64: ED9EB4DE2E6C20B4 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:54:07] 895*2^1395707-1 is not prime. Res64: F2ED5246C7D5A403 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:54:07] 909*2^1395707-1 is not prime. Res64: 1B1303CA7AC5F7A2 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:55:57] 993*2^1395707-1 is not prime. Res64: 88ADF3354BD2F5BA Time : 0.0 sec. user=mdettweiler [2015-03-19 09:55:57] 735*2^1395708-1 is not prime. Res64: 1D721CA4F4D048F5 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:56:11] 773*2^1395708-1 is not prime. Res64: 547F1806E0A2D509 Time : 0.0 sec. user=mdettweiler [2015-03-19 09:56:12] 879*2^1395708-1 is not prime. Res64: FD8B6AE8A6D502C1 Time : 0.0 sec. user=juhehe [2015-03-19 10:00:09] 861*2^1395707-1 is not prime. Res64: E3857651A839C2F6 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:05:13] 933*2^1395708-1 is not prime. Res64: 621604B111F00512 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:05:13] 615*2^1395709-1 is not prime. Res64: 24B437075480C5C6 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:19:55] 745*2^1395709-1 is not prime. Res64: F807D2B22B16335B Time : 0.0 sec. user=mdettweiler [2015-03-19 10:19:56] 751*2^1395709-1 is not prime. Res64: 74BB5D5D0BF1AE93 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:21:42] 759*2^1395709-1 is not prime. Res64: 00052C92CFDD1E88 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:21:42] 951*2^1395709-1 is not prime. Res64: B3B31D5494351F15 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:21:55] 957*2^1395709-1 is not prime. Res64: DC40380F28393107 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:21:55] 985*2^1395709-1 is not prime. Res64: 5C50E7893EE1A0EF Time : 0.0 sec. user=mdettweiler [2015-03-19 10:30:55] 627*2^1395710-1 is not prime. Res64: 68D387CD66BDFC1B Time : 0.0 sec. user=mdettweiler [2015-03-19 10:30:56] 851*2^1395710-1 is not prime. Res64: A2B97C4AF5C3F282 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:45:40] 885*2^1395710-1 is not prime. Res64: C271D5F2BB6DC4AA Time : 0.0 sec. user=mdettweiler [2015-03-19 10:45:40] 897*2^1395710-1 is not prime. Res64: 2092B9AC0EDC2187 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:47:23] 865*2^1395711-1 is not prime. Res64: EC32F46134445731 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:47:23] 895*2^1395711-1 is not prime. Res64: FFA5BDC92068B46C Time : 0.0 sec. user=mdettweiler [2015-03-19 10:47:40] 913*2^1395711-1 is not prime. Res64: B1CD101500602F48 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:47:40] 933*2^1395711-1 is not prime. Res64: 65ECE492AD0AECE5 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:56:50] 955*2^1395711-1 is not prime. Res64: 3030424D65C9D745 Time : 0.0 sec. user=mdettweiler [2015-03-19 10:56:51] 605*2^1395712-1 is not prime. Res64: A03ECCDFCC5C1A81 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:11:23] 653*2^1395712-1 is not prime. Res64: AF63F53DDD406639 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:11:23] 657*2^1395712-1 is not prime. Res64: 90835A67CD7CA7BB Time : 0.0 sec. user=mdettweiler [2015-03-19 11:13:12] 717*2^1395712-1 is not prime. Res64: 0868D84B46F54A8C Time : 0.0 sec. user=mdettweiler [2015-03-19 11:13:12] 723*2^1395712-1 is not prime. Res64: 34E4023332496150 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:13:28] 743*2^1395712-1 is not prime. Res64: C0EB47DBDAF01B4B Time : 0.0 sec. user=mdettweiler [2015-03-19 11:13:28] 897*2^1395712-1 is not prime. Res64: D501F7EE8A369BF6 Time : 0.0 sec. user=juhehe [2015-03-19 11:14:48] 629*2^1395712-1 is not prime. Res64: 7C9AA30690F82CE5 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:22:33] 903*2^1395712-1 is not prime. Res64: 0DB2D39E0DD2F25D Time : 0.0 sec. user=mdettweiler [2015-03-19 11:22:34] 975*2^1395712-1 is not prime. Res64: D3C93D63ACC96776 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:37:04] 989*2^1395712-1 is not prime. Res64: 452A2B9D0729FCE9 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:37:04] 615*2^1395713-1 is not prime. Res64: 0ACF328F62408683 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:38:47] 699*2^1395713-1 is not prime. Res64: 06901A665E370074 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:38:48] 801*2^1395713-1 is not prime. Res64: 9CF7E5D7C6849FA0 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:39:05] 621*2^1395714-1 is not prime. Res64: 57B7E27DF3683282 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:39:05] 791*2^1395714-1 is not prime. Res64: 0B66F3E12379E78D Time : 0.0 sec. user=mdettweiler [2015-03-19 11:48:25] 861*2^1395714-1 is not prime. Res64: 6F10B5443018CDB9 Time : 0.0 sec. user=mdettweiler [2015-03-19 11:48:25] 875*2^1395714-1 is not prime. Res64: 8F68A74020683761 Time : 0.0 sec. user=juhehe [2015-03-19 11:49:14] 797*2^1395714-1 is not prime. Res64: 9452C9F2F470813A Time : 0.0 sec. user=mdettweiler [2015-03-19 12:03:51] 921*2^1395714-1 is not prime. Res64: F56057B84428FA51 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:03:53] 951*2^1395714-1 is not prime. Res64: EC70A703EF3C96CC Time : 0.0 sec. user=mdettweiler [2015-03-19 12:05:30] 975*2^1395714-1 is not prime. Res64: DB6C835D811E4761 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:05:31] 649*2^1395715-1 is not prime. Res64: 95D3DE3486F41588 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:05:57] 805*2^1395715-1 is not prime. Res64: 87CF68E0FF6D322B Time : 0.0 sec. user=mdettweiler [2015-03-19 12:05:57] 853*2^1395715-1 is not prime. Res64: DCDEA00C8D4F4AF3 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:15:45] 885*2^1395715-1 is not prime. Res64: 87A73999DD509F95 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:15:46] 939*2^1395715-1 is not prime. Res64: C7E01A176F472613 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:33:27] 943*2^1395715-1 is not prime. Res64: F8418696EADAF32A Time : 0.0 sec. user=mdettweiler [2015-03-19 12:33:27] 893*2^1395716-1 is not prime. Res64: 7D2ACBBADD91A0F7 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:34:00] 945*2^1395716-1 is not prime. Res64: 0E62C81DF3FE0055 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:34:00] 999*2^1395716-1 is not prime. Res64: 5C9EB1BEF36A2792 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:34:47] 625*2^1395717-1 is not prime. Res64: 9B5657E24A990F44 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:34:47] 651*2^1395717-1 is not prime. Res64: FFF4453B532E7235 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:45:45] 747*2^1395717-1 is not prime. Res64: 2A2EB3833C375139 Time : 0.0 sec. user=mdettweiler [2015-03-19 12:45:45] 817*2^1395717-1 is not prime. Res64: 4472D07E341C5953 Time : 0.0 sec. user=juhehe [2015-03-19 12:56:58] 871*2^1395717-1 is not prime. Res64: 261A6ED5C416A8FC Time : 0.0 sec. user=mdettweiler [2015-03-19 13:00:06] 889*2^1395717-1 is not prime. Res64: E5A70DCD06B45B46 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:00:06] 955*2^1395717-1 is not prime. Res64: FDAC14958C94005A Time : 0.0 sec. user=mdettweiler [2015-03-19 13:01:11] 621*2^1395718-1 is not prime. Res64: F70EE690F52D2854 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:01:12] 881*2^1395718-1 is not prime. Res64: B31332D55C9F8ECD Time : 0.0 sec. user=mdettweiler [2015-03-19 13:01:50] 975*2^1395718-1 is not prime. Res64: 73725872BED03241 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:01:51] 711*2^1395719-1 is not prime. Res64: FD30E6792C21DC2C Time : 0.0 sec. user=mdettweiler [2015-03-19 13:11:35] 771*2^1395719-1 is not prime. Res64: 51754AE5A2E43A47 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:11:36] 829*2^1395719-1 is not prime. Res64: BF3EC089B878500D Time : 0.0 sec. user=mdettweiler [2015-03-19 13:25:48] 885*2^1395719-1 is not prime. Res64: C1317A039F9DE4F1 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:25:48] 991*2^1395719-1 is not prime. Res64: BB7E5BE78FFDBF74 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:26:53] 615*2^1395720-1 is not prime. Res64: 2FD8098CAEB34AC9 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:26:53] 635*2^1395720-1 is not prime. Res64: 34125FBF0680A52E Time : 0.0 sec. user=mdettweiler [2015-03-19 13:27:38] 717*2^1395720-1 is not prime. Res64: 30EEDD6E7B2FE17E Time : 0.0 sec. user=mdettweiler [2015-03-19 13:27:38] 765*2^1395720-1 is not prime. Res64: 307968FFAD0A4E6A Time : 0.0 sec. user=mdettweiler [2015-03-19 13:37:25] 819*2^1395720-1 is not prime. Res64: 4BD044427CFD3E0C Time : 0.0 sec. user=mdettweiler [2015-03-19 13:37:25] 843*2^1395720-1 is not prime. Res64: 1FC803A6A018A7A2 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:51:33] 905*2^1395720-1 is not prime. Res64: 8CC5919182F9FBE0 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:51:33] 927*2^1395720-1 is not prime. Res64: BDFF8F40A11B0150 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:52:40] 935*2^1395720-1 is not prime. Res64: 9A91E314C1D1BE32 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:52:41] 849*2^1395721-1 is not prime. Res64: C8AD9F0982337E66 Time : 0.0 sec. user=mdettweiler [2015-03-19 13:53:28] 861*2^1395721-1 is not prime. Res64: A50380CB397DFB9B Time : 0.0 sec. user=mdettweiler [2015-03-19 13:53:28] 735*2^1395722-1 is not prime. Res64: 38A90DF011DF5DEA Time : 0.0 sec. user=mdettweiler [2015-03-19 14:03:10] 741*2^1395722-1 is not prime. Res64: F1AA1A254F29A461 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:03:11] 767*2^1395722-1 is not prime. Res64: 0DA01BC939091A8D Time : 0.0 sec. user=mdettweiler [2015-03-19 14:17:20] 797*2^1395722-1 is not prime. Res64: 42AD6BEAE52CE750 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:17:21] 857*2^1395722-1 is not prime. Res64: E8481CCD924EBCFA Time : 0.0 sec. user=mdettweiler [2015-03-19 14:18:17] 893*2^1395722-1 is not prime. Res64: 96CA87EF76A6A755 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:18:17] 915*2^1395722-1 is not prime. Res64: 0AC27B523B358B79 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:19:12] 923*2^1395722-1 is not prime. Res64: 6538BCC5C80654CF Time : 0.0 sec. user=mdettweiler [2015-03-19 14:19:12] 951*2^1395722-1 is not prime. Res64: B90BA9485A6EA4D2 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:29:15] 703*2^1395723-1 is not prime. Res64: 994AFE8CDD3EB672 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:29:15] 705*2^1395723-1 is not prime. Res64: CA7617BE1B01FBA6 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:43:04] 861*2^1395723-1 is not prime. Res64: CA79CC7084363227 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:43:04] 605*2^1395724-1 is not prime. Res64: BABDA58F343F9468 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:44:00] 657*2^1395724-1 is not prime. Res64: D3B76470572430F0 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:44:00] 717*2^1395724-1 is not prime. Res64: 8541EF39524803CF Time : 0.0 sec. user=mdettweiler [2015-03-19 14:44:58] 869*2^1395724-1 is not prime. Res64: E27BAF2481A63CE3 Time : 0.0 sec. user=mdettweiler [2015-03-19 14:44:58] 887*2^1395724-1 is not prime. Res64: D570C4629E544C60 Time : 0.0 sec. user=juhehe [2015-03-19 14:48:40] 745*2^1395723-1 is not prime. Res64: D43629BB63F8C2CD Time : 0.0 sec. user=mdettweiler [2015-03-19 14:55:03] 903*2^1395724-1 is not prime. Res64: 7ED7FEDD66DE71DF Time : 0.0 sec. user=mdettweiler [2015-03-19 14:55:03] 655*2^1395725-1 is not prime. Res64: 57EB60A5585B0A95 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:08:50] 717*2^1395725-1 is not prime. Res64: 7CB71A8E4E42417C Time : 0.0 sec. user=mdettweiler [2015-03-19 15:08:50] 729*2^1395725-1 is not prime. Res64: 87547F7BE97F0167 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:09:42] 775*2^1395725-1 is not prime. Res64: 8E37F3180ED1D9DD Time : 0.0 sec. user=mdettweiler [2015-03-19 15:09:42] 787*2^1395725-1 is not prime. Res64: 8FAF279566132A71 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:10:44] 825*2^1395725-1 is not prime. Res64: DDCE8F45F583AC78 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:10:44] 949*2^1395725-1 is not prime. Res64: 64068E93A9D3D8F3 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:21:16] 713*2^1395726-1 is not prime. Res64: 4D3D096C4BCFD535 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:21:16] 795*2^1395726-1 is not prime. Res64: 2CC154AFD9DBDB12 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:35:21] 861*2^1395726-1 is not prime. Res64: 0E65B7C14778DA76 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:35:22] 867*2^1395726-1 is not prime. Res64: 4C4208C939A3F00B Time : 0.0 sec. user=mdettweiler [2015-03-19 15:36:17] 875*2^1395726-1 is not prime. Res64: 76D8054A4A6ECFF2 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:36:17] 993*2^1395726-1 is not prime. Res64: 337E8D854CF25DC9 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:37:17] 649*2^1395727-1 is not prime. Res64: D383162DF6CD1471 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:37:18] 735*2^1395727-1 is not prime. Res64: 9F0DD45DC7B95798 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:47:52] 751*2^1395727-1 is not prime. Res64: E392B86A49070209 Time : 0.0 sec. user=mdettweiler [2015-03-19 15:47:52] 793*2^1395727-1 is not prime. Res64: E82BEF4B24951EE3 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:01:55] 945*2^1395727-1 is not prime. Res64: F2AC1A8B790FEB07 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:01:56] 961*2^1395727-1 is not prime. Res64: 82D9752969F16481 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:03:02] 979*2^1395727-1 is not prime. Res64: 63630855ABB993ED Time : 0.0 sec. user=mdettweiler [2015-03-19 16:03:03] 603*2^1395728-1 is not prime. Res64: B7566ED449E86B79 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:04:15] 665*2^1395728-1 is not prime. Res64: 453BB6635D9847AE Time : 0.0 sec. user=mdettweiler [2015-03-19 16:04:16] 725*2^1395728-1 is not prime. Res64: CEE36C21B629FBB8 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:14:57] 869*2^1395728-1 is not prime. Res64: DF48B4D3C30F8F5F Time : 0.0 sec. user=mdettweiler [2015-03-19 16:14:57] 945*2^1395728-1 is not prime. Res64: 1E5C452D8CF82A90 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:28:38] 627*2^1395729-1 is not prime. Res64: 6F0140CCFC60F064 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:28:38] 679*2^1395729-1 is not prime. Res64: F4465FC498012049 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:29:41] 747*2^1395729-1 is not prime. Res64: 95817921DBACD84A Time : 0.0 sec. user=mdettweiler [2015-03-19 16:29:41] 795*2^1395729-1 is not prime. Res64: D6B3587E33D42F11 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:31:07] 847*2^1395729-1 is not prime. Res64: F88F305A92318CA7 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:31:07] 861*2^1395729-1 is not prime. Res64: 01CFFAFBED817891 Time : 0.0 sec. user=juhehe [2015-03-19 16:33:46] 959*2^1395728-1 is not prime. Res64: 757652EE29B2A30D Time : 0.0 sec. user=mdettweiler [2015-03-19 16:41:37] 867*2^1395729-1 is not prime. Res64: D663C67A9788F813 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:41:38] 885*2^1395729-1 is not prime. Res64: 4A27E2A184A9B4BE Time : 0.0 sec. user=mdettweiler [2015-03-19 16:55:25] 611*2^1395730-1 is not prime. Res64: A12C6883327D4098 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:55:26] 623*2^1395730-1 is not prime. Res64: 176117219AEC9DB2 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:56:29] 657*2^1395730-1 is not prime. Res64: FC9987E6303A81BB Time : 0.0 sec. user=mdettweiler [2015-03-19 16:56:30] 735*2^1395730-1 is not prime. Res64: AE87394FF57F0752 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:57:58] 741*2^1395730-1 is not prime. Res64: 344FF55A85D5C9B1 Time : 0.0 sec. user=mdettweiler [2015-03-19 16:57:58] 821*2^1395730-1 is not prime. Res64: 94DA66FD757AF7B0 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:08:20] 887*2^1395730-1 is not prime. Res64: 1C5C1EEE7B5A10B9 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:08:21] 981*2^1395730-1 is not prime. Res64: DEF1FDD0B2FBF1F0 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:22:04] 615*2^1395731-1 is not prime. Res64: FF569F0E53C7C180 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:22:04] 663*2^1395731-1 is not prime. Res64: 80A4982D6E64D3E2 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:23:02] 715*2^1395731-1 is not prime. Res64: 7B219FCDF47266E3 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:23:02] 889*2^1395731-1 is not prime. Res64: 4609B8EEDD850DC2 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:24:32] 909*2^1395731-1 is not prime. Res64: 2CF0A1C23EF9FFBB Time : 0.0 sec. user=mdettweiler [2015-03-19 17:24:33] 623*2^1395732-1 is not prime. Res64: 2CEB790BC72833A4 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:35:05] 689*2^1395732-1 is not prime. Res64: EDA5A5C21B8F2664 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:35:05] 695*2^1395732-1 is not prime. Res64: 0D0B80FFA3DD4683 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:48:46] 723*2^1395732-1 is not prime. Res64: 1095209D0EB67EF0 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:48:47] 765*2^1395732-1 is not prime. Res64: 8F0FE49842648470 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:49:43] 837*2^1395732-1 is not prime. Res64: 3F3911C06138DC0D Time : 0.0 sec. user=mdettweiler [2015-03-19 17:49:43] 675*2^1395733-1 is not prime. Res64: 55B9E1F1FE55EDB8 Time : 0.0 sec. user=mdettweiler [2015-03-19 17:51:08] 721*2^1395733-1 is not prime. Res64: F86188A2A51ABF1C Time : 0.0 sec. user=mdettweiler [2015-03-19 17:51:08] 895*2^1395733-1 is not prime. Res64: D8C4C15AE696EEBA Time : 0.0 sec. user=mdettweiler [2015-03-19 18:01:47] 945*2^1395733-1 is not prime. Res64: D2ADD86911991CA2 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:01:48] 979*2^1395733-1 is not prime. Res64: DBC518FAA3E206D6 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:15:24] 985*2^1395733-1 is not prime. Res64: E95920A6AACF9421 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:15:24] 677*2^1395734-1 is not prime. Res64: 3FE9EE9B016DE1F6 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:16:27] 711*2^1395734-1 is not prime. Res64: 8F9600C088546495 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:16:27] 815*2^1395734-1 is not prime. Res64: D9391129BC206198 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:17:40] 857*2^1395734-1 is not prime. Res64: ECBDBB4CC6A21D52 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:17:40] 887*2^1395734-1 is not prime. Res64: 54987BC0E8A8C976 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:28:34] 685*2^1395735-1 is not prime. Res64: F726DEF2F446AEAA Time : 0.0 sec. user=mdettweiler [2015-03-19 18:28:35] 789*2^1395735-1 is not prime. Res64: AA98E93EB9519DA7 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:42:05] 795*2^1395735-1 is not prime. Res64: 403FB94885E6D30B Time : 0.0 sec. user=mdettweiler [2015-03-19 18:42:06] 819*2^1395735-1 is not prime. Res64: C007448E70DE96DB Time : 0.0 sec. user=mdettweiler [2015-03-19 18:42:56] 853*2^1395735-1 is not prime. Res64: 0ED8E2D490161378 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:42:56] 895*2^1395735-1 is not prime. Res64: 6ACD5602DD4CF5BC Time : 0.0 sec. user=mdettweiler [2015-03-19 18:44:19] 933*2^1395735-1 is not prime. Res64: 343F2A8F04EFF67B Time : 0.0 sec. user=mdettweiler [2015-03-19 18:44:19] 979*2^1395735-1 is not prime. Res64: 7F51EA29D9B738E5 Time : 0.0 sec. user=mdettweiler [2015-03-19 18:55:20] 657*2^1395736-1 is not prime. Res64: 2BD061B18E81DDDE Time : 0.0 sec. user=mdettweiler [2015-03-19 18:55:21] 675*2^1395736-1 is not prime. Res64: DD8489CF5D82510C Time : 0.0 sec. user=juhehe [2015-03-19 18:58:08] 623*2^1395736-1 is not prime. Res64: 8F2AB662386E08FA Time : 0.0 sec. user=mdettweiler [2015-03-19 19:08:47] 813*2^1395736-1 is not prime. Res64: 6095DECF8D2CB0D9 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:08:48] 855*2^1395736-1 is not prime. Res64: DD3B070F43CC8917 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:09:32] 857*2^1395736-1 is not prime. Res64: 33E6ACBDC792EF0B Time : 0.0 sec. user=mdettweiler [2015-03-19 19:09:33] 917*2^1395736-1 is not prime. Res64: 9449D57132932F45 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:10:57] 999*2^1395736-1 is not prime. Res64: D18618C46A6B6324 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:10:58] 631*2^1395737-1 is not prime. Res64: 85B5CE04688C4AD6 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:21:58] 637*2^1395737-1 is not prime. Res64: C915BBA39D316233 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:21:59] 771*2^1395737-1 is not prime. Res64: 65959E643ABEE12B Time : 0.0 sec. user=mdettweiler [2015-03-19 19:35:27] 799*2^1395737-1 is not prime. Res64: 35C19CFD5A36F352 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:35:28] 885*2^1395737-1 is not prime. Res64: C7869D51434E1273 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:36:19] 915*2^1395737-1 is not prime. Res64: 15D656016BC92A0A Time : 0.0 sec. user=mdettweiler [2015-03-19 19:36:19] 635*2^1395738-1 is not prime. Res64: 18FDFA4736E92FB4 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:37:47] 663*2^1395738-1 is not prime. Res64: 4BE5DBA763F6C322 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:37:47] 671*2^1395738-1 is not prime. Res64: 45EC21C0F8C16EC2 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:48:44] 683*2^1395738-1 is not prime. Res64: 84B658128E961875 Time : 0.0 sec. user=mdettweiler [2015-03-19 19:48:44] 755*2^1395738-1 is not prime. Res64: F6BEA9E84648FA81 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:01:36] 791*2^1395738-1 is not prime. Res64: D219B9C7A1A56A8F Time : 0.0 sec. user=mdettweiler [2015-03-19 20:01:37] 803*2^1395738-1 is not prime. Res64: A02FA793697A9B4E Time : 0.0 sec. user=mdettweiler [2015-03-19 20:02:34] 815*2^1395738-1 is not prime. Res64: 9C813C9556E13ADD Time : 0.0 sec. user=mdettweiler [2015-03-19 20:02:35] 927*2^1395738-1 is not prime. Res64: E19D2D2C1DC218D8 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:04:00] 619*2^1395739-1 is not prime. Res64: 7CD2CC23B58BF712 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:04:01] 681*2^1395739-1 is not prime. Res64: 2FA0186EF9A4F81E Time : 0.0 sec. user=juhehe [2015-03-19 20:08:22] 767*2^1395738-1 is not prime. Res64: 7B118F18C74F4579 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:14:47] 685*2^1395739-1 is not prime. Res64: BF90C0A564EED0E1 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:14:47] 709*2^1395739-1 is not prime. Res64: D2BF3CBD5236086B Time : 0.0 sec. user=mdettweiler [2015-03-19 20:27:43] 771*2^1395739-1 is not prime. Res64: 2FFD0FEE9D3025A4 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:27:44] 801*2^1395739-1 is not prime. Res64: E4ADC7CDFF03E78C Time : 0.0 sec. user=mdettweiler [2015-03-19 20:28:42] 829*2^1395739-1 is not prime. Res64: 98DB5C0A6BCF0074 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:28:42] 861*2^1395739-1 is not prime. Res64: B763DBF07C115DD8 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:30:16] 759*2^1395740-1 is not prime. Res64: 005D1BCF3A1BC904 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:30:16] 893*2^1395740-1 is not prime. Res64: 8EAED28FEC81091A Time : 0.0 sec. user=mdettweiler [2015-03-19 20:41:04] 977*2^1395740-1 is not prime. Res64: 368003FD02D30E54 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:41:04] 805*2^1395741-1 is not prime. Res64: F7F1DDE83FF03D05 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:54:20] 847*2^1395741-1 is not prime. Res64: A6098B229F3AA2AF Time : 0.0 sec. user=mdettweiler [2015-03-19 20:54:21] 865*2^1395741-1 is not prime. Res64: 1378268B3E2443A7 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:55:17] 877*2^1395741-1 is not prime. Res64: A7E8E9D4B2A83246 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:55:17] 969*2^1395741-1 is not prime. Res64: 711A3C39DD1CBB6D Time : 0.0 sec. user=mdettweiler [2015-03-19 20:57:00] 713*2^1395742-1 is not prime. Res64: 01481B03A128D7B1 Time : 0.0 sec. user=mdettweiler [2015-03-19 20:57:00] 761*2^1395742-1 is not prime. Res64: B17EF179E46FC9A8 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:08:16] 843*2^1395742-1 is not prime. Res64: D0776F8A32961944 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:08:16] 911*2^1395742-1 is not prime. Res64: F5CEEB64E2209DBD Time : 0.0 sec. user=juhehe [2015-03-19 21:21:23] 951*2^1395742-1 is not prime. Res64: D79DE5CC63B4CF36 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:22:11] 983*2^1395742-1 is not prime. Res64: D4FD75E467468B5C Time : 0.0 sec. user=mdettweiler [2015-03-19 21:22:12] 633*2^1395743-1 is not prime. Res64: CD472D948E19D79E Time : 0.0 sec. user=mdettweiler [2015-03-19 21:22:19] 643*2^1395743-1 is not prime. Res64: C6738EC6E83196A1 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:22:20] 679*2^1395743-1 is not prime. Res64: C9270E220FB38106 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:24:09] 715*2^1395743-1 is not prime. Res64: 4653E3668297B2BE Time : 0.0 sec. user=mdettweiler [2015-03-19 21:24:09] 739*2^1395743-1 is not prime. Res64: A0931F480078E5B0 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:35:09] 775*2^1395743-1 is not prime. Res64: F038B733D48A7A01 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:35:09] 921*2^1395743-1 is not prime. Res64: FCEAF3596F069E4D Time : 0.0 sec. user=mdettweiler [2015-03-19 21:48:53] 985*2^1395743-1 is not prime. Res64: 53C78702B4FA6C2B Time : 0.0 sec. user=mdettweiler [2015-03-19 21:48:53] 609*2^1395744-1 is not prime. Res64: 14CE972F67D8AE80 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:48:54] 943*2^1395743-1 is not prime. Res64: ED3DF6D396F352CD Time : 0.0 sec. user=mdettweiler [2015-03-19 21:48:55] 981*2^1395743-1 is not prime. Res64: 6EEE6B173607E328 Time : 0.0 sec. user=mdettweiler [2015-03-19 21:50:48] 663*2^1395744-1 is not prime. Res64: E27B06E0ED498B1C Time : 0.0 sec. user=mdettweiler [2015-03-19 21:50:48] 725*2^1395744-1 is not prime. Res64: 6C6FC32CA6C0EDD8 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:02:15] 737*2^1395744-1 is not prime. Res64: 10205CA086992570 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:02:16] 765*2^1395744-1 is not prime. Res64: EEEC762B825E8A81 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:16:02] 863*2^1395744-1 is not prime. Res64: 6AD896A06678ADAF Time : 0.0 sec. user=mdettweiler [2015-03-19 22:16:02] 945*2^1395744-1 is not prime. Res64: 568D6356DBB426B4 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:16:34] 651*2^1395745-1 is not prime. Res64: 79C19F85FEF9746E Time : 0.0 sec. user=mdettweiler [2015-03-19 22:16:34] 979*2^1395745-1 is not prime. Res64: 35F73235CE907F5F Time : 0.0 sec. user=mdettweiler [2015-03-19 22:18:02] 633*2^1395746-1 is not prime. Res64: C96BA60606FFF16C Time : 0.0 sec. user=mdettweiler [2015-03-19 22:18:02] 635*2^1395746-1 is not prime. Res64: 664B4D591A64F3B8 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:29:39] 641*2^1395746-1 is not prime. Res64: 762E5DEF8B698827 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:29:39] 675*2^1395746-1 is not prime. Res64: 1542AC8F46ABB51B Time : 0.0 sec. user=mdettweiler [2015-03-19 22:43:09] 831*2^1395746-1 is not prime. Res64: C47642731C5A515F Time : 0.0 sec. user=mdettweiler [2015-03-19 22:43:09] 887*2^1395746-1 is not prime. Res64: 0568CB6FFB883A56 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:43:26] 945*2^1395746-1 is not prime. Res64: 7E14C069E70EEC07 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:43:26] 1001*2^1395746-1 is not prime. Res64: DA233840840957BD Time : 0.0 sec. user=mdettweiler [2015-03-19 22:45:21] 601*2^1395747-1 is not prime. Res64: 2D61642AA8908095 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:45:21] 643*2^1395747-1 is not prime. Res64: 7FC40C36C342A285 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:57:03] 829*2^1395747-1 is not prime. Res64: 89888602FFBF4B14 Time : 0.0 sec. user=mdettweiler [2015-03-19 22:57:03] 895*2^1395747-1 is not prime. Res64: F4C405F5736CAC7B Time : 0.0 sec. user=juhehe [2015-03-19 23:09:47] 903*2^1395747-1 is not prime. Res64: 48E7241A8B28AA46 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:10:17] 913*2^1395747-1 is not prime. Res64: 799D8EAD3B84188A Time : 0.0 sec. user=mdettweiler [2015-03-19 23:10:17] 705*2^1395748-1 is not prime. Res64: FC56A93EE28DBA93 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:10:28] 749*2^1395748-1 is not prime. Res64: 99A721528AAECAA1 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:10:28] 827*2^1395748-1 is not prime. Res64: 507165429B88E24E Time : 0.0 sec. user=mdettweiler [2015-03-19 23:12:30] 843*2^1395748-1 is not prime. Res64: 8330CB97984C2126 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:12:30] 855*2^1395748-1 is not prime. Res64: 0573238F69247689 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:24:17] 863*2^1395748-1 is not prime. Res64: C7ED9D5BBF7A11E2 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:24:17] 969*2^1395748-1 is not prime. Res64: 4F67FF33BF4838EA Time : 0.0 sec. user=mdettweiler [2015-03-19 23:36:43] 775*2^1395749-1 is not prime. Res64: 8E743D09C4A3CDEE Time : 0.0 sec. user=mdettweiler [2015-03-19 23:36:44] 801*2^1395749-1 is not prime. Res64: 6469A14359FCE2AD Time : 0.0 sec. user=mdettweiler [2015-03-19 23:36:57] 829*2^1395749-1 is not prime. Res64: 679160757E2716E1 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:36:58] 865*2^1395749-1 is not prime. Res64: 43F73A9E9A3A6D71 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:38:59] 927*2^1395749-1 is not prime. Res64: DA25DA415EA6F8F1 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:38:59] 635*2^1395750-1 is not prime. Res64: DAEC088F6FF646DD Time : 0.0 sec. user=mdettweiler [2015-03-19 23:50:54] 713*2^1395750-1 is not prime. Res64: 9523879AAF8CAA83 Time : 0.0 sec. user=mdettweiler [2015-03-19 23:50:54] 723*2^1395750-1 is not prime. Res64: 275897BBE2EFB5AB Time : 0.0 sec.