user=mdettweiler [2015-09-22 00:14:27] 885*2^1409901-1 is not prime. Res64: F34D5CA7C12C1079 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:14:28] 979*2^1409901-1 is not prime. Res64: BF34D30FD4D6D89D Time : 0.0 sec. user=mdettweiler [2015-09-22 00:14:28] 665*2^1409902-1 is not prime. Res64: A40D3E44379C5B68 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:14:29] 815*2^1409902-1 is not prime. Res64: 3E0423C0E067A70F Time : 0.0 sec. user=mdettweiler [2015-09-22 00:14:30] 863*2^1409902-1 is not prime. Res64: FE0C6B6EA40F7EB3 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:14:30] 917*2^1409902-1 is not prime. Res64: 08DD0928E78DE8FB Time : 0.0 sec. user=mdettweiler [2015-09-22 00:31:55] 685*2^1409903-1 is not prime. Res64: 4627731A6D4FD3F3 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:31:55] 973*2^1409903-1 is not prime. Res64: E9CAF638EF9C4E37 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:31:55] 957*2^1409902-1 is not prime. Res64: 8C08A016F343CA71 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:31:56] 763*2^1409903-1 is not prime. Res64: 51349DD23C30F995 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:31:56] 615*2^1409904-1 is not prime. Res64: BEC234B7EC298DFC Time : 0.0 sec. user=mdettweiler [2015-09-22 00:31:56] 965*2^1409902-1 is not prime. Res64: DBAB60172D265975 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:49:19] 629*2^1409904-1 is not prime. Res64: 153075F1087DDF8E Time : 0.0 sec. user=mdettweiler [2015-09-22 00:49:19] 747*2^1409904-1 is not prime. Res64: 02C265D01B950816 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:49:19] 635*2^1409904-1 is not prime. Res64: 54A4718D6F0FE854 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:49:19] 903*2^1409904-1 is not prime. Res64: F01777336438E82B Time : 0.0 sec. user=mdettweiler [2015-09-22 00:49:20] 899*2^1409904-1 is not prime. Res64: 7AFF250D0CD6E601 Time : 0.0 sec. user=mdettweiler [2015-09-22 00:49:20] 927*2^1409904-1 is not prime. Res64: B775BEB4394CA034 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:06:49] 861*2^1409905-1 is not prime. Res64: 4AE5E51106D4C912 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:06:49] 717*2^1409905-1 is not prime. Res64: 7F088E939FF93D55 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:06:49] 607*2^1409905-1 is not prime. Res64: 36BAC9650F5E6B1A Time : 0.0 sec. user=mdettweiler [2015-09-22 01:06:50] 721*2^1409905-1 is not prime. Res64: F0304B5088D4FE09 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:06:50] 649*2^1409905-1 is not prime. Res64: A5B9CDE3AD7345B1 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:06:50] 955*2^1409905-1 is not prime. Res64: 991A01358E22BC44 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:24:18] 911*2^1409906-1 is not prime. Res64: A44F4A1231271FE5 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:24:18] 975*2^1409905-1 is not prime. Res64: 7E0254B37BA9F9EC Time : 0.0 sec. user=mdettweiler [2015-09-22 01:24:18] 743*2^1409906-1 is not prime. Res64: 2007F74F92FA5998 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:24:18] 981*2^1409906-1 is not prime. Res64: 44E1CFFAF963C2F6 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:24:18] 999*2^1409905-1 is not prime. Res64: 6102D921B39C4BDB Time : 0.0 sec. user=mdettweiler [2015-09-22 01:24:19] 755*2^1409906-1 is not prime. Res64: 5DEFA7098905DCC6 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:41:41] 885*2^1409907-1 is not prime. Res64: A8EAAEF05ACE8EB6 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:41:41] 903*2^1409907-1 is not prime. Res64: 85F0B914973CFAC6 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:41:42] 895*2^1409907-1 is not prime. Res64: 59D67A6EDF807768 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:41:42] 919*2^1409907-1 is not prime. Res64: 65F491D2A4CEEECB Time : 0.0 sec. user=mdettweiler [2015-09-22 01:41:42] 963*2^1409907-1 is not prime. Res64: 37845CEBBA6CE058 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:41:42] 973*2^1409907-1 is not prime. Res64: 54AFD696B5F5C785 Time : 0.0 sec. user=juhehe [2015-09-22 01:53:29] 685*2^1409907-1 is not prime. Res64: 08ACACE22EC1F655 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:59:06] 615*2^1409908-1 is not prime. Res64: 06CAFFFE184DF346 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:59:06] 657*2^1409908-1 is not prime. Res64: A9B7A20DD79BA93D Time : 0.0 sec. user=mdettweiler [2015-09-22 01:59:07] 647*2^1409908-1 is not prime. Res64: 5AFB2D66246593A1 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:59:07] 825*2^1409908-1 is not prime. Res64: AACF53A1E9DF1371 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:59:08] 887*2^1409908-1 is not prime. Res64: 59A64D7FCBD9D746 Time : 0.0 sec. user=mdettweiler [2015-09-22 01:59:09] 927*2^1409908-1 is not prime. Res64: 6198055CE3220F57 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:16:35] 657*2^1409909-1 is not prime. Res64: 1A891AA818FA4389 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:16:36] 865*2^1409909-1 is not prime. Res64: A1DFC45D41502FFC Time : 0.0 sec. user=mdettweiler [2015-09-22 02:16:36] 769*2^1409909-1 is not prime. Res64: FAA9CC5EAF958259 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:16:36] 949*2^1409909-1 is not prime. Res64: 429F7065A12878FD Time : 0.0 sec. user=mdettweiler [2015-09-22 02:16:37] 987*2^1409909-1 is not prime. Res64: 0E18701299678E55 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:16:38] 611*2^1409910-1 is not prime. Res64: F138A49C551C9F69 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:34:03] 875*2^1409910-1 is not prime. Res64: DB363CD42A294395 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:34:03] 711*2^1409910-1 is not prime. Res64: 08A003738366CB37 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:34:04] 747*2^1409910-1 is not prime. Res64: D37E7F1B06015203 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:34:04] 887*2^1409910-1 is not prime. Res64: BBC687ED973B13EA Time : 0.0 sec. user=mdettweiler [2015-09-22 02:34:04] 713*2^1409910-1 is not prime. Res64: 282B72D713BC0805 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:34:04] 833*2^1409910-1 is not prime. Res64: 2E98A17DD1D0301D Time : 0.0 sec. user=mdettweiler [2015-09-22 02:51:30] 603*2^1409911-1 is not prime. Res64: 18F339B147AF0012 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:51:31] 685*2^1409911-1 is not prime. Res64: EF57D920B5D7D6A5 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:51:31] 945*2^1409910-1 is not prime. Res64: 1D00091726541936 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:51:31] 601*2^1409911-1 is not prime. Res64: 3D500D8C579C6EFC Time : 0.0 sec. user=mdettweiler [2015-09-22 02:51:35] 693*2^1409911-1 is not prime. Res64: 024665937B1B2BC7 Time : 0.0 sec. user=mdettweiler [2015-09-22 02:51:35] 741*2^1409911-1 is not prime. Res64: 673FFA47B811470C Time : 0.0 sec. user=mdettweiler [2015-09-22 03:08:55] 805*2^1409911-1 is not prime. Res64: 7979552A7412C276 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:08:55] 999*2^1409911-1 is not prime. Res64: C8420396144C0DFE Time : 0.0 sec. user=mdettweiler [2015-09-22 03:08:57] 669*2^1409912-1 is not prime. Res64: 0FC192105E0B4149 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:08:58] 735*2^1409912-1 is not prime. Res64: 9A0AD7ACDDFE96BF Time : 0.0 sec. user=mdettweiler [2015-09-22 03:08:59] 819*2^1409912-1 is not prime. Res64: 8F566F20B25BD569 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:09:00] 879*2^1409912-1 is not prime. Res64: 679B13B5FA65C0E7 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:26:25] 679*2^1409913-1 is not prime. Res64: D0BFBA060D02B65C Time : 0.0 sec. user=mdettweiler [2015-09-22 03:26:25] 899*2^1409912-1 is not prime. Res64: 18CD9F6B2378F8A2 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:26:26] 787*2^1409913-1 is not prime. Res64: 994E7FEB66A40049 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:26:26] 705*2^1409913-1 is not prime. Res64: EB282D954FFE8FE1 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:26:26] 609*2^1409913-1 is not prime. Res64: 40481CB15E9D824A Time : 0.0 sec. user=mdettweiler [2015-09-22 03:26:26] 805*2^1409913-1 is not prime. Res64: 18B14CBE509B34B4 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:43:54] 773*2^1409914-1 is not prime. Res64: A638E9C313012EFD Time : 0.0 sec. user=mdettweiler [2015-09-22 03:43:55] 849*2^1409913-1 is not prime. Res64: 2DF288A021BD4B69 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:43:55] 825*2^1409914-1 is not prime. Res64: C10E2C163562D9A0 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:43:55] 803*2^1409914-1 is not prime. Res64: 25EAD1B352B6754C Time : 0.0 sec. user=mdettweiler [2015-09-22 03:43:56] 717*2^1409914-1 is not prime. Res64: 3337391ADF324435 Time : 0.0 sec. user=mdettweiler [2015-09-22 03:43:56] 827*2^1409914-1 is not prime. Res64: 6078358BDE84D04E Time : 0.0 sec. user=juhehe [2015-09-22 03:46:39] 817*2^1409913-1 is not prime. Res64: A892C217846C45FA Time : 0.0 sec. user=mdettweiler [2015-09-22 04:01:36] 987*2^1409914-1 is not prime. Res64: 67C2867D14E8268E Time : 0.0 sec. user=mdettweiler [2015-09-22 04:01:36] 917*2^1409914-1 is not prime. Res64: F47D5D06256D7DAE Time : 0.0 sec. user=mdettweiler [2015-09-22 04:01:37] 643*2^1409915-1 is not prime. Res64: 829D3EB02693AF7C Time : 0.0 sec. user=mdettweiler [2015-09-22 04:01:37] 655*2^1409915-1 is not prime. Res64: F5E615DB5E2469F8 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:01:38] 945*2^1409914-1 is not prime. Res64: 8748CF8DDDA97F5C Time : 0.0 sec. user=mdettweiler [2015-09-22 04:01:38] 741*2^1409915-1 is not prime. Res64: ECEB79E01012492A Time : 0.0 sec. user=mdettweiler [2015-09-22 04:19:26] 647*2^1409916-1 is not prime. Res64: B4CC81B6AACFED75 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:19:26] 855*2^1409915-1 is not prime. Res64: B60539B913351DE9 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:19:27] 999*2^1409915-1 is not prime. Res64: 833307AD7479EB2A Time : 0.0 sec. user=mdettweiler [2015-09-22 04:19:27] 845*2^1409916-1 is not prime. Res64: D5499456AD155C57 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:19:27] 985*2^1409915-1 is not prime. Res64: BBE4AD65F694943C Time : 0.0 sec. user=mdettweiler [2015-09-22 04:19:27] 633*2^1409916-1 is not prime. Res64: D44CEB09F1BCBA40 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:36:53] 747*2^1409917-1 is not prime. Res64: 85EAF7AEF301D396 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:36:53] 751*2^1409917-1 is not prime. Res64: 21A26117AF903D0A Time : 0.0 sec. user=mdettweiler [2015-09-22 04:36:54] 933*2^1409916-1 is not prime. Res64: 7F6713447A7F3054 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:36:54] 987*2^1409916-1 is not prime. Res64: 58F868A0D0F6213F Time : 0.0 sec. user=mdettweiler [2015-09-22 04:36:55] 607*2^1409917-1 is not prime. Res64: 49232F56184192DB Time : 0.0 sec. user=mdettweiler [2015-09-22 04:36:55] 625*2^1409917-1 is not prime. Res64: FFC657D0BB6413FF Time : 0.0 sec. user=mdettweiler [2015-09-22 04:54:16] 771*2^1409917-1 is not prime. Res64: B1082B529952B788 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:54:16] 861*2^1409917-1 is not prime. Res64: D1D4501AB065E2A9 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:54:18] 997*2^1409917-1 is not prime. Res64: 3BDDDE6C22CD3C62 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:54:18] 871*2^1409917-1 is not prime. Res64: AD8A9C13890BE420 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:54:18] 603*2^1409918-1 is not prime. Res64: BCDF6283E90DFE05 Time : 0.0 sec. user=mdettweiler [2015-09-22 04:54:18] 931*2^1409917-1 is not prime. Res64: B3FA34A6F31DB591 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:11:41] 683*2^1409918-1 is not prime. Res64: 1DE1ED03DEE36183 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:11:41] 705*2^1409918-1 is not prime. Res64: 0C6BDE164D70D1FA Time : 0.0 sec. user=mdettweiler [2015-09-22 05:11:42] 801*2^1409918-1 is not prime. Res64: 0E3E60E3911AF2C8 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:11:42] 813*2^1409918-1 is not prime. Res64: AF2902558F283BB7 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:11:43] 707*2^1409918-1 is not prime. Res64: 3E4CFE89C5D39225 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:11:43] 755*2^1409918-1 is not prime. Res64: D056143D1E53D0FC Time : 0.0 sec. user=mdettweiler [2015-09-22 05:29:09] 609*2^1409919-1 is not prime. Res64: E8CF37A8C1C6D6B4 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:29:10] 895*2^1409919-1 is not prime. Res64: D648166F7B1975E3 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:29:10] 703*2^1409919-1 is not prime. Res64: 5DA6948C8EC7BB95 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:29:10] 979*2^1409919-1 is not prime. Res64: E56B4263CF35E12D Time : 0.0 sec. user=mdettweiler [2015-09-22 05:29:11] 751*2^1409919-1 is not prime. Res64: C31E14A6EDB7A195 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:29:11] 891*2^1409919-1 is not prime. Res64: E47EE9876B456F5D Time : 0.0 sec. user=mdettweiler [2015-09-22 05:46:34] 609*2^1409920-1 is not prime. Res64: A2B997FB178351AB Time : 0.0 sec. user=mdettweiler [2015-09-22 05:46:34] 663*2^1409920-1 is not prime. Res64: 5E28701A2938C58C Time : 0.0 sec. user=mdettweiler [2015-09-22 05:46:34] 635*2^1409920-1 is not prime. Res64: 2CEF9FC7872A912D Time : 0.0 sec. user=mdettweiler [2015-09-22 05:46:35] 695*2^1409920-1 is not prime. Res64: 84362E5622F0F2C8 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:46:36] 765*2^1409920-1 is not prime. Res64: B0BAA581477725F6 Time : 0.0 sec. user=mdettweiler [2015-09-22 05:46:37] 785*2^1409920-1 is not prime. Res64: 2F02AB6F07940CA7 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:03:59] 657*2^1409921-1 is not prime. Res64: 95F1E575121A59F0 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:04:00] 959*2^1409920-1 is not prime. Res64: C894DC5B96C15C67 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:04:01] 871*2^1409921-1 is not prime. Res64: D6AF721567692F49 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:04:02] 907*2^1409921-1 is not prime. Res64: 16C8652BAB834F17 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:04:03] 631*2^1409921-1 is not prime. Res64: 0B748E7ECFAC05C6 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:04:04] 945*2^1409921-1 is not prime. Res64: 0A0DF8CE7DDB3605 Time : 0.0 sec. user=juhehe [2015-09-22 06:12:58] 827*2^1409920-1 is not prime. Res64: 27650EB0A980F349 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:21:54] 955*2^1409921-1 is not prime. Res64: 15C07D298BE2D8E5 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:21:54] 683*2^1409922-1 is not prime. Res64: AF28418558C4B4A5 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:21:54] 705*2^1409922-1 is not prime. Res64: 41E4076C9D8D3C40 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:21:54] 713*2^1409922-1 is not prime. Res64: 07A9AFC488A6F471 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:21:55] 735*2^1409922-1 is not prime. Res64: 29F67E79404B9871 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:21:55] 737*2^1409922-1 is not prime. Res64: AC95C1B6E6B401EB Time : 0.0 sec. user=mdettweiler [2015-09-22 06:39:20] 859*2^1409923-1 is not prime. Res64: E3E04BB7C0EC364F Time : 0.0 sec. user=mdettweiler [2015-09-22 06:39:20] 883*2^1409923-1 is not prime. Res64: ADD65EDEEA0CE446 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:39:20] 923*2^1409922-1 is not prime. Res64: 8F90B9F89EF95715 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:39:21] 663*2^1409923-1 is not prime. Res64: 76163567D9DE6F49 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:39:22] 815*2^1409922-1 is not prime. Res64: 28B1177FCB9377F8 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:39:23] 915*2^1409922-1 is not prime. Res64: 64F585C5C485260E Time : 0.0 sec. user=mdettweiler [2015-09-22 06:56:43] 615*2^1409924-1 is not prime. Res64: 79F676FD74BB19A6 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:56:44] 617*2^1409924-1 is not prime. Res64: C21B991C24659801 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:56:44] 665*2^1409924-1 is not prime. Res64: C79D9B5726310A68 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:56:45] 903*2^1409924-1 is not prime. Res64: E175598273F2D3F8 Time : 0.0 sec. user=mdettweiler [2015-09-22 06:56:51] 915*2^1409924-1 is not prime. Res64: AE612280243E817D Time : 0.0 sec. user=mdettweiler [2015-09-22 06:56:52] 927*2^1409924-1 is not prime. Res64: 10B9A29BC30F55B1 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:14:06] 711*2^1409925-1 is not prime. Res64: F01728AC8126A29E Time : 0.0 sec. user=mdettweiler [2015-09-22 07:14:07] 727*2^1409925-1 is not prime. Res64: 23FF4F7DD01E7DE4 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:14:08] 951*2^1409925-1 is not prime. Res64: BC362176B7C5A408 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:14:08] 975*2^1409925-1 is not prime. Res64: 30C328F2DF00BE25 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:14:15] 647*2^1409926-1 is not prime. Res64: 97D404BE949B1E28 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:14:15] 821*2^1409926-1 is not prime. Res64: D358A673AE9BD77F Time : 0.0 sec. user=juhehe [2015-09-22 07:29:17] 929*2^1409924-1 is not prime. Res64: 5DD955FE8FA164DC Time : 0.0 sec. user=mdettweiler [2015-09-22 07:31:33] 945*2^1409926-1 is not prime. Res64: 3C652ED99A58EE7B Time : 0.0 sec. user=mdettweiler [2015-09-22 07:31:34] 603*2^1409927-1 is not prime. Res64: CB005373B9F09185 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:31:35] 735*2^1409927-1 is not prime. Res64: C1785244273DDAC9 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:31:36] 861*2^1409927-1 is not prime. Res64: 39DA83848C1274C0 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:31:43] 883*2^1409927-1 is not prime. Res64: 04AF4D7A53BD06F2 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:31:44] 895*2^1409927-1 is not prime. Res64: 77923001CABDC77C Time : 0.0 sec. user=mdettweiler [2015-09-22 07:48:58] 955*2^1409927-1 is not prime. Res64: 62810F92EE4D0F69 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:48:58] 615*2^1409928-1 is not prime. Res64: A2A15FDA090DFD74 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:48:58] 993*2^1409927-1 is not prime. Res64: 171D81855F8D2434 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:48:58] 663*2^1409928-1 is not prime. Res64: F538151165933B3C Time : 0.0 sec. user=mdettweiler [2015-09-22 07:49:09] 737*2^1409928-1 is not prime. Res64: 939212C1487C3A57 Time : 0.0 sec. user=mdettweiler [2015-09-22 07:49:09] 747*2^1409928-1 is not prime. Res64: EFF84C90F5A5B210 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:06:22] 929*2^1409928-1 is not prime. Res64: B7CA675C08CF26A3 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:06:22] 773*2^1409928-1 is not prime. Res64: 81258715EFC4346E Time : 0.0 sec. user=mdettweiler [2015-09-22 08:06:22] 927*2^1409928-1 is not prime. Res64: A38B059C5C6C8E14 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:06:22] 771*2^1409929-1 is not prime. Res64: 2D88408507B68733 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:06:34] 817*2^1409929-1 is not prime. Res64: 6B16588668384B88 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:06:34] 861*2^1409929-1 is not prime. Res64: FAC87AD8F48DCB9E Time : 0.0 sec. user=mdettweiler [2015-09-22 08:23:50] 877*2^1409929-1 is not prime. Res64: 3DA14C5C1115B5B6 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:23:50] 605*2^1409930-1 is not prime. Res64: 372F7E4434C68BA8 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:23:50] 633*2^1409930-1 is not prime. Res64: 67D41190FE84844F Time : 0.0 sec. user=mdettweiler [2015-09-22 08:23:51] 707*2^1409930-1 is not prime. Res64: D00E95389F94965E Time : 0.0 sec. user=mdettweiler [2015-09-22 08:23:57] 825*2^1409930-1 is not prime. Res64: F17896D0B652FEB8 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:23:57] 833*2^1409930-1 is not prime. Res64: C91BCEFA06C4640A Time : 0.0 sec. user=mdettweiler [2015-09-22 08:41:17] 601*2^1409931-1 is not prime. Res64: A77C14011A230FEE Time : 0.0 sec. user=mdettweiler [2015-09-22 08:41:17] 711*2^1409931-1 is not prime. Res64: F01B060986A2227A Time : 0.0 sec. user=mdettweiler [2015-09-22 08:41:17] 753*2^1409931-1 is not prime. Res64: 6F0F14718ECBB527 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:41:18] 805*2^1409931-1 is not prime. Res64: 658DB8D3B2CFC19B Time : 0.0 sec. user=mdettweiler [2015-09-22 08:41:24] 829*2^1409931-1 is not prime. Res64: 822A6C7D1BCF8DC6 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:41:25] 951*2^1409931-1 is not prime. Res64: 0B76B18AC9F07ABA Time : 0.0 sec. user=mdettweiler [2015-09-22 08:58:38] 999*2^1409931-1 is not prime. Res64: 9C0DEE24A87C2603 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:58:38] 803*2^1409932-1 is not prime. Res64: 8913DEABA22B0A79 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:58:39] 855*2^1409932-1 is not prime. Res64: 22750D3AF5B400DA Time : 0.0 sec. user=mdettweiler [2015-09-22 08:58:39] 705*2^1409932-1 is not prime. Res64: C60AB78A4FD5DB5F Time : 0.0 sec. user=mdettweiler [2015-09-22 08:58:46] 909*2^1409932-1 is not prime. Res64: 4873953D3D96D982 Time : 0.0 sec. user=mdettweiler [2015-09-22 08:58:46] 699*2^1409933-1 is not prime. Res64: 0A782992AF9AE2F9 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:16:00] 769*2^1409933-1 is not prime. Res64: F8A00E8474C00C40 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:16:00] 901*2^1409933-1 is not prime. Res64: 999C41284712A953 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:16:01] 871*2^1409933-1 is not prime. Res64: C294AA6E4B53961A Time : 0.0 sec. user=mdettweiler [2015-09-22 09:16:01] 915*2^1409933-1 is not prime. Res64: A85A9CED90153D0B Time : 0.0 sec. user=mdettweiler [2015-09-22 09:16:06] 957*2^1409933-1 is not prime. Res64: 8EE9F9A6B4E0DC66 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:16:06] 663*2^1409934-1 is not prime. Res64: 92192619FF15A3FD Time : 0.0 sec. user=juhehe [2015-09-22 09:24:24] 715*2^1409933-1 is not prime. Res64: 00B577E959145FC6 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:33:22] 921*2^1409934-1 is not prime. Res64: 536373D1FDDD6BBB Time : 0.0 sec. user=mdettweiler [2015-09-22 09:33:22] 807*2^1409934-1 is not prime. Res64: A7E2ACC662EB9D88 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:33:22] 831*2^1409935-1 is not prime. Res64: C4DEF87EFC97A818 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:33:22] 887*2^1409934-1 is not prime. Res64: 51C77965267727C5 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:33:28] 841*2^1409935-1 is not prime. Res64: 14B19FB8ACD406A8 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:33:28] 855*2^1409935-1 is not prime. Res64: A92C2E4F4B2FD8E8 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:50:43] 913*2^1409935-1 is not prime. Res64: 0D81CA39527CCED9 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:50:43] 939*2^1409935-1 is not prime. Res64: 6F17FDC836B658A2 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:50:44] 629*2^1409936-1 is not prime. Res64: E031FF15E186BBC0 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:50:45] 663*2^1409936-1 is not prime. Res64: 2B4BA5E7C2213603 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:50:50] 693*2^1409936-1 is not prime. Res64: E07FBD0E54BFB172 Time : 0.0 sec. user=mdettweiler [2015-09-22 09:50:51] 785*2^1409936-1 is not prime. Res64: 4DEE0D14F2FE4BB5 Time : 0.0 sec. user=juhehe [2015-09-22 10:02:44] 895*2^1409935-1 is not prime. Res64: F9E225FBD89711AD Time : 0.0 sec. user=mdettweiler [2015-09-22 10:08:06] 813*2^1409936-1 is not prime. Res64: 11A0078F95EEEA9C Time : 0.0 sec. user=mdettweiler [2015-09-22 10:08:06] 893*2^1409936-1 is not prime. Res64: B2159111CD745142 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:08:08] 927*2^1409936-1 is not prime. Res64: A8EF3052C6405E67 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:08:08] 963*2^1409936-1 is not prime. Res64: 814465833C1B7C1F Time : 0.0 sec. user=mdettweiler [2015-09-22 10:08:15] 609*2^1409937-1 is not prime. Res64: 5D473AA88B966F54 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:08:16] 625*2^1409937-1 is not prime. Res64: DDB77119A1A9FD02 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:25:31] 681*2^1409937-1 is not prime. Res64: 844FC0A12E8AD6B4 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:25:32] 717*2^1409937-1 is not prime. Res64: 8EEA68799FE7E533 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:25:32] 685*2^1409937-1 is not prime. Res64: 1CBC1B396DF08231 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:25:33] 985*2^1409937-1 is not prime. Res64: 14EE83E3C2D53417 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:25:39] 747*2^1409938-1 is not prime. Res64: EAD457B527B5D01E Time : 0.0 sec. user=mdettweiler [2015-09-22 10:25:40] 777*2^1409938-1 is not prime. Res64: 60EF0A59784CD472 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:42:55] 685*2^1409939-1 is not prime. Res64: 6ABA83D583137C0A Time : 0.0 sec. user=mdettweiler [2015-09-22 10:42:56] 735*2^1409939-1 is not prime. Res64: F1835D960493FB89 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:42:57] 811*2^1409939-1 is not prime. Res64: 33D32714747F327C Time : 0.0 sec. user=mdettweiler [2015-09-22 10:42:57] 859*2^1409939-1 is not prime. Res64: AEE4EC081D71FB13 Time : 0.0 sec. user=mdettweiler [2015-09-22 10:43:02] 939*2^1409939-1 is not prime. Res64: 648FC491416C2BAB Time : 0.0 sec. user=mdettweiler [2015-09-22 10:43:03] 949*2^1409939-1 is not prime. Res64: 0F2BFC1A712DBA9D Time : 0.0 sec. user=mdettweiler [2015-09-22 11:00:17] 669*2^1409940-1 is not prime. Res64: B96DF64773CAEF62 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:00:18] 695*2^1409940-1 is not prime. Res64: 5B6AEC4593D967E8 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:00:19] 789*2^1409940-1 is not prime. Res64: 5FD9E41463CF2855 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:00:20] 819*2^1409940-1 is not prime. Res64: CEB6C18D0FF473A1 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:00:23] 879*2^1409940-1 is not prime. Res64: F95E6EE1B308D719 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:00:24] 965*2^1409940-1 is not prime. Res64: 8FD097A78239C454 Time : 0.0 sec. user=juhehe [2015-09-22 11:17:38] 623*2^1409940-1 is not prime. Res64: B736CB9FCF989623 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:17:45] 999*2^1409940-1 is not prime. Res64: FCBB0851A695CC76 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:17:45] 717*2^1409941-1 is not prime. Res64: 4AB377694503FF70 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:17:45] 625*2^1409941-1 is not prime. Res64: 4D77991EFB921960 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:17:45] 775*2^1409941-1 is not prime. Res64: BF483A406735FBBE Time : 0.0 sec. user=mdettweiler [2015-09-22 11:17:48] 819*2^1409941-1 is not prime. Res64: 20EA95A037E31434 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:17:48] 849*2^1409941-1 is not prime. Res64: 2DC09BA66832ADF6 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:35:10] 855*2^1409941-1 is not prime. Res64: 1DEA72AC9BACBA4E Time : 0.0 sec. user=mdettweiler [2015-09-22 11:35:10] 753*2^1409942-1 is not prime. Res64: 55C84CEBF39C80E2 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:35:11] 889*2^1409941-1 is not prime. Res64: 6736916A11272422 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:35:11] 825*2^1409942-1 is not prime. Res64: 49696BA0AAE77283 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:35:12] 987*2^1409941-1 is not prime. Res64: C31AED9B400A3B32 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:35:12] 713*2^1409942-1 is not prime. Res64: 4D24A6AF303482BB Time : 0.0 sec. user=mdettweiler [2015-09-22 11:52:32] 875*2^1409942-1 is not prime. Res64: 41DEF36E75F9303A Time : 0.0 sec. user=mdettweiler [2015-09-22 11:52:32] 995*2^1409942-1 is not prime. Res64: 859A277BF8FD7911 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:52:33] 693*2^1409943-1 is not prime. Res64: 610782C43DE355A9 Time : 0.0 sec. user=mdettweiler [2015-09-22 11:52:33] 843*2^1409942-1 is not prime. Res64: CE53E4F622D7E78A Time : 0.0 sec. user=mdettweiler [2015-09-22 11:52:33] 789*2^1409943-1 is not prime. Res64: AF5094524AC03F9D Time : 0.0 sec. user=mdettweiler [2015-09-22 11:52:33] 873*2^1409942-1 is not prime. Res64: E3AF1F7FF3122C2C Time : 0.0 sec. user=mdettweiler [2015-09-22 12:09:55] 871*2^1409943-1 is not prime. Res64: BFF6D0D1EA9139FF Time : 0.0 sec. user=mdettweiler [2015-09-22 12:09:55] 963*2^1409943-1 is not prime. Res64: 7C34860B6B98B49A Time : 0.0 sec. user=mdettweiler [2015-09-22 12:09:56] 985*2^1409943-1 is not prime. Res64: 2DD4BB03D85B656D Time : 0.0 sec. user=mdettweiler [2015-09-22 12:09:56] 605*2^1409944-1 is not prime. Res64: E988024CCFDDB708 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:09:57] 645*2^1409944-1 is not prime. Res64: 55EC0C20F360324E Time : 0.0 sec. user=mdettweiler [2015-09-22 12:09:57] 705*2^1409944-1 is not prime. Res64: 52AF4FDEDBD79FDA Time : 0.0 sec. user=mdettweiler [2015-09-22 12:27:22] 855*2^1409944-1 is not prime. Res64: 65BBF8BA20CDB142 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:27:22] 915*2^1409944-1 is not prime. Res64: 30907248E6F7C0CF Time : 0.0 sec. user=mdettweiler [2015-09-22 12:27:22] 887*2^1409944-1 is not prime. Res64: 689245475BD94267 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:27:23] 959*2^1409944-1 is not prime. Res64: 72AD9FD9C4612C80 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:27:24] 607*2^1409945-1 is not prime. Res64: 181CE74C39FC0877 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:27:24] 657*2^1409945-1 is not prime. Res64: 692C2414301559F3 Time : 0.0 sec. user=juhehe [2015-09-22 12:35:45] 719*2^1409944-1 is not prime. Res64: 4CFE0A5FAF60394B Time : 0.0 sec. user=mdettweiler [2015-09-22 12:44:45] 867*2^1409945-1 is not prime. Res64: 8900A4C27C6DB4D1 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:44:45] 907*2^1409945-1 is not prime. Res64: E97D07FE8EF06B0E Time : 0.0 sec. user=mdettweiler [2015-09-22 12:44:46] 987*2^1409945-1 is not prime. Res64: 506382D872E91DB0 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:44:46] 669*2^1409945-1 is not prime. Res64: E28DAA2DA3EB2E19 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:44:46] 611*2^1409946-1 is not prime. Res64: 81C736EFCB694764 Time : 0.0 sec. user=mdettweiler [2015-09-22 12:44:46] 691*2^1409945-1 is not prime. Res64: B88F1C66120D33A2 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:02:07] 705*2^1409946-1 is not prime. Res64: C257B4DDBD42271F Time : 0.0 sec. user=mdettweiler [2015-09-22 13:02:09] 707*2^1409946-1 is not prime. Res64: 22026ABF4426EA26 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:02:10] 867*2^1409946-1 is not prime. Res64: B2FFDCDF58CDFC9C Time : 0.0 sec. user=mdettweiler [2015-09-22 13:02:10] 619*2^1409947-1 is not prime. Res64: 090DF6457E57EF0C Time : 0.0 sec. user=mdettweiler [2015-09-22 13:02:10] 615*2^1409947-1 is not prime. Res64: E473613F131E31CE Time : 0.0 sec. user=mdettweiler [2015-09-22 13:02:11] 693*2^1409947-1 is not prime. Res64: C63B1017D9D56E65 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:19:55] 885*2^1409947-1 is not prime. Res64: 8BED56C04D996DEE Time : 0.0 sec. user=mdettweiler [2015-09-22 13:19:55] 617*2^1409948-1 is not prime. Res64: 46E6983E2832FA06 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:19:55] 913*2^1409947-1 is not prime. Res64: 0DC0B22FE44BB3F9 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:19:56] 797*2^1409948-1 is not prime. Res64: E588A78DD3B645D8 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:19:57] 833*2^1409948-1 is not prime. Res64: 34D00448765F5CD8 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:19:57] 969*2^1409948-1 is not prime. Res64: 3E6A28735DD937E1 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:37:18] 615*2^1409949-1 is not prime. Res64: 60A90FBDB1BCE1A0 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:37:18] 769*2^1409949-1 is not prime. Res64: A80A15B7B4C649C4 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:37:18] 685*2^1409949-1 is not prime. Res64: 3F83746153B69771 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:37:18] 945*2^1409949-1 is not prime. Res64: B6F56487B3020BC7 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:37:19] 977*2^1409948-1 is not prime. Res64: 1D37B8BE77231E93 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:37:19] 609*2^1409949-1 is not prime. Res64: FE62287779F702B1 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:54:40] 675*2^1409950-1 is not prime. Res64: 1968FB65E274343F Time : 0.0 sec. user=mdettweiler [2015-09-22 13:54:40] 687*2^1409950-1 is not prime. Res64: B3785897A171D31C Time : 0.0 sec. user=mdettweiler [2015-09-22 13:54:40] 681*2^1409950-1 is not prime. Res64: 0AF2A861521A06D7 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:54:41] 827*2^1409950-1 is not prime. Res64: 07D31C1DCAB47FD4 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:54:43] 855*2^1409950-1 is not prime. Res64: 390A4AAFE32731B0 Time : 0.0 sec. user=mdettweiler [2015-09-22 13:54:43] 887*2^1409950-1 is not prime. Res64: 82628271F8197F29 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:12:01] 685*2^1409951-1 is not prime. Res64: 36714B43953B15DC Time : 0.0 sec. user=mdettweiler [2015-09-22 14:12:01] 705*2^1409951-1 is not prime. Res64: E6DFF31E4FA63D4C Time : 0.0 sec. user=mdettweiler [2015-09-22 14:12:02] 735*2^1409951-1 is not prime. Res64: 5157DB1E6E29B316 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:12:02] 741*2^1409951-1 is not prime. Res64: F1F7457A8716493A Time : 0.0 sec. user=mdettweiler [2015-09-22 14:12:03] 753*2^1409951-1 is not prime. Res64: B3640D8CA298C17B Time : 0.0 sec. user=mdettweiler [2015-09-22 14:12:04] 789*2^1409951-1 is not prime. Res64: 34D31C2C8C046875 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:29:25] 843*2^1409951-1 is not prime. Res64: FE9ECD63F98B94DC Time : 0.0 sec. user=mdettweiler [2015-09-22 14:29:26] 855*2^1409951-1 is not prime. Res64: 0003C3C109DBACBB Time : 0.0 sec. user=mdettweiler [2015-09-22 14:29:26] 859*2^1409951-1 is not prime. Res64: A66202F490AA9403 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:29:27] 885*2^1409951-1 is not prime. Res64: ED421C756CA15DA6 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:29:27] 939*2^1409951-1 is not prime. Res64: E31BD5089BF3F316 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:29:28] 689*2^1409952-1 is not prime. Res64: 5B82D7615B41340F Time : 0.0 sec. user=juhehe [2015-09-22 14:42:30] 981*2^1409950-1 is not prime. Res64: 812A47FEA2977322 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:46:48] 873*2^1409952-1 is not prime. Res64: C8DE32A15B05632F Time : 0.0 sec. user=mdettweiler [2015-09-22 14:46:48] 625*2^1409953-1 is not prime. Res64: C153E3B50F5641A4 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:46:48] 619*2^1409953-1 is not prime. Res64: EFF888B3347B4663 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:46:48] 729*2^1409953-1 is not prime. Res64: EB9DFAE4F57D1D10 Time : 0.0 sec. user=mdettweiler [2015-09-22 14:46:48] 801*2^1409953-1 is not prime. Res64: FCA72BBCAB0C6EFE Time : 0.0 sec. user=mdettweiler [2015-09-22 14:46:49] 805*2^1409953-1 is not prime. Res64: CAA90B929F9918D4 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:04:10] 807*2^1409953-1 is not prime. Res64: 78A6541E5522429F Time : 0.0 sec. user=mdettweiler [2015-09-22 15:04:10] 867*2^1409953-1 is not prime. Res64: EF0F034D87A143BD Time : 0.0 sec. user=mdettweiler [2015-09-22 15:04:10] 889*2^1409953-1 is not prime. Res64: 147B4E3364214F6F Time : 0.0 sec. user=mdettweiler [2015-09-22 15:04:11] 855*2^1409953-1 is not prime. Res64: E897793FDCA9E44A Time : 0.0 sec. user=mdettweiler [2015-09-22 15:04:12] 877*2^1409953-1 is not prime. Res64: 7F337EFE6CF72072 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:04:12] 985*2^1409953-1 is not prime. Res64: 481252D1A96BA04A Time : 0.0 sec. user=mdettweiler [2015-09-22 15:21:54] 617*2^1409954-1 is not prime. Res64: DB8CDD951A9505A6 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:21:54] 623*2^1409954-1 is not prime. Res64: 4F6C31FA37B21FEC Time : 0.0 sec. user=mdettweiler [2015-09-22 15:21:54] 705*2^1409954-1 is not prime. Res64: E2AB7A6FCA9A830A Time : 0.0 sec. user=mdettweiler [2015-09-22 15:21:54] 791*2^1409954-1 is not prime. Res64: A404E61C774A0874 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:21:57] 875*2^1409954-1 is not prime. Res64: 46FE4CD3A9EF4AA8 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:21:57] 971*2^1409954-1 is not prime. Res64: 182012A1C4A6F3DE Time : 0.0 sec. user=mdettweiler [2015-09-22 15:39:19] 895*2^1409955-1 is not prime. Res64: 654E099F8CE2C5CB Time : 0.0 sec. user=mdettweiler [2015-09-22 15:39:19] 619*2^1409955-1 is not prime. Res64: 06812905743D5FC8 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:39:19] 943*2^1409955-1 is not prime. Res64: F2CA49971B85A711 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:39:20] 643*2^1409955-1 is not prime. Res64: 01E47FDEC8D0D49D Time : 0.0 sec. user=mdettweiler [2015-09-22 15:39:21] 649*2^1409955-1 is not prime. Res64: 7C31DFFAA388E53C Time : 0.0 sec. user=mdettweiler [2015-09-22 15:39:21] 781*2^1409955-1 is not prime. Res64: 7B942BA59C5ABF06 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:56:42] 639*2^1409956-1 is not prime. Res64: E1410A3DE7D819DC Time : 0.0 sec. user=mdettweiler [2015-09-22 15:56:43] 647*2^1409956-1 is not prime. Res64: 52AD4694100555BD Time : 0.0 sec. user=mdettweiler [2015-09-22 15:56:45] 963*2^1409955-1 is not prime. Res64: 7C60A78479A837A6 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:56:46] 979*2^1409955-1 is not prime. Res64: 60D5445B31FEF7AD Time : 0.0 sec. user=mdettweiler [2015-09-22 15:56:47] 803*2^1409956-1 is not prime. Res64: D489C620622F28A9 Time : 0.0 sec. user=mdettweiler [2015-09-22 15:56:47] 833*2^1409956-1 is not prime. Res64: 3767A0D7EBE4D8E8 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:14:04] 923*2^1409956-1 is not prime. Res64: C0B6869440E1E394 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:14:04] 927*2^1409956-1 is not prime. Res64: C438B90CBF5428E5 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:14:08] 933*2^1409956-1 is not prime. Res64: 50BCBAA689A2329E Time : 0.0 sec. user=mdettweiler [2015-09-22 16:14:08] 717*2^1409957-1 is not prime. Res64: A4E4552AA5B9D2C5 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:14:09] 985*2^1409957-1 is not prime. Res64: F0B56A20AEB07D8F Time : 0.0 sec. user=mdettweiler [2015-09-22 16:14:09] 635*2^1409958-1 is not prime. Res64: 33BF7D059DEB6604 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:31:33] 693*2^1409958-1 is not prime. Res64: 397C268DF4A7399C Time : 0.0 sec. user=mdettweiler [2015-09-22 16:31:33] 843*2^1409958-1 is not prime. Res64: D10F978A7D9A260B Time : 0.0 sec. user=mdettweiler [2015-09-22 16:31:37] 709*2^1409959-1 is not prime. Res64: 6240106F20F019DD Time : 0.0 sec. user=mdettweiler [2015-09-22 16:31:38] 723*2^1409959-1 is not prime. Res64: 6B5FB6D36CA89508 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:31:40] 927*2^1409958-1 is not prime. Res64: C5D154EC437D404A Time : 0.0 sec. user=mdettweiler [2015-09-22 16:31:40] 685*2^1409959-1 is not prime. Res64: 4688E26FF762B926 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:50:02] 853*2^1409959-1 is not prime. Res64: 364907A4420D5CAE Time : 0.0 sec. user=mdettweiler [2015-09-22 16:50:02] 859*2^1409959-1 is not prime. Res64: 401B9E1CC85DD9F1 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:50:05] 919*2^1409959-1 is not prime. Res64: 8526A710A6710CE8 Time : 0.0 sec. user=mdettweiler [2015-09-22 16:50:06] 931*2^1409959-1 is not prime. Res64: C3255D463351923C Time : 0.0 sec. user=mdettweiler [2015-09-22 16:50:06] 951*2^1409959-1 is not prime. Res64: BBBB29666ADE9B1F Time : 0.0 sec. user=mdettweiler [2015-09-22 16:50:06] 669*2^1409960-1 is not prime. Res64: EC2DED52637D541B Time : 0.0 sec. user=mdettweiler [2015-09-22 17:10:23] 777*2^1409960-1 is not prime. Res64: 2111714814F880FF Time : 0.0 sec. user=mdettweiler [2015-09-22 17:10:23] 789*2^1409960-1 is not prime. Res64: D91D04E289C84043 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:10:24] 843*2^1409960-1 is not prime. Res64: 5B104874352BC908 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:10:24] 929*2^1409960-1 is not prime. Res64: 7DED705D42A33D6C Time : 0.0 sec. user=mdettweiler [2015-09-22 17:10:26] 817*2^1409961-1 is not prime. Res64: 95F5E97D1A43903E Time : 0.0 sec. user=mdettweiler [2015-09-22 17:10:27] 901*2^1409961-1 is not prime. Res64: 730FE2D8EE621B62 Time : 0.0 sec. user=juhehe [2015-09-22 17:18:09] 759*2^1409960-1 is not prime. Res64: 46EC0F6BC6382E0B Time : 0.0 sec. user=mdettweiler [2015-09-22 17:28:11] 909*2^1409961-1 is not prime. Res64: F3CAD2DEBB7EA5F8 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:28:11] 951*2^1409961-1 is not prime. Res64: 7BCE27A738E2DA9D Time : 0.0 sec. user=mdettweiler [2015-09-22 17:28:14] 603*2^1409962-1 is not prime. Res64: 7EF68520E9650657 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:28:15] 617*2^1409962-1 is not prime. Res64: 6C15DF26AEE227DD Time : 0.0 sec. user=mdettweiler [2015-09-22 17:28:15] 635*2^1409962-1 is not prime. Res64: 69080D1EE0D85DFA Time : 0.0 sec. user=mdettweiler [2015-09-22 17:28:16] 701*2^1409962-1 is not prime. Res64: A992233616C4E805 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:45:33] 777*2^1409962-1 is not prime. Res64: EC9FA3D1B4377BC4 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:45:34] 803*2^1409962-1 is not prime. Res64: 24052856079B7C43 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:45:36] 827*2^1409962-1 is not prime. Res64: AA7D03AD0CEF1294 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:45:36] 831*2^1409962-1 is not prime. Res64: 0DE477A2AE2F66D0 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:45:38] 947*2^1409962-1 is not prime. Res64: EB1A26E2EFBA4762 Time : 0.0 sec. user=mdettweiler [2015-09-22 17:45:38] 631*2^1409963-1 is not prime. Res64: BAEFEC652ED19D47 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:02:57] 783*2^1409963-1 is not prime. Res64: DFB04326ADC71E69 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:02:58] 943*2^1409963-1 is not prime. Res64: 4BF361341224199A Time : 0.0 sec. user=mdettweiler [2015-09-22 18:02:58] 811*2^1409963-1 is not prime. Res64: 56EDF7FC47E1EA7B Time : 0.0 sec. user=mdettweiler [2015-09-22 18:02:59] 981*2^1409963-1 is not prime. Res64: 637908953EA33BBF Time : 0.0 sec. user=mdettweiler [2015-09-22 18:03:01] 993*2^1409963-1 is not prime. Res64: 736968CC930A82FB Time : 0.0 sec. user=mdettweiler [2015-09-22 18:03:02] 605*2^1409964-1 is not prime. Res64: E87F082AA745FA01 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:20:36] 795*2^1409964-1 is not prime. Res64: 4F853883AEB2EC67 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:20:37] 651*2^1409965-1 is not prime. Res64: 9B5645668F2D3F65 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:20:37] 873*2^1409964-1 is not prime. Res64: 8E21BEF19B917A1C Time : 0.0 sec. user=mdettweiler [2015-09-22 18:20:37] 759*2^1409965-1 is not prime. Res64: A4736E295653A1BE Time : 0.0 sec. user=mdettweiler [2015-09-22 18:20:37] 831*2^1409965-1 is not prime. Res64: F49831DE9058D4A9 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:20:38] 955*2^1409965-1 is not prime. Res64: 1D939322DA1A5E3B Time : 0.0 sec. user=juhehe [2015-09-22 18:33:24] 693*2^1409964-1 is not prime. Res64: C6891DDDB70914FE Time : 0.0 sec. user=mdettweiler [2015-09-22 18:38:03] 651*2^1409966-1 is not prime. Res64: 33A06CC04EEA04B4 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:38:03] 711*2^1409966-1 is not prime. Res64: 265745621B241BA6 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:38:03] 957*2^1409965-1 is not prime. Res64: DEB21BB4B4412808 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:38:04] 985*2^1409965-1 is not prime. Res64: 4753E42B135C149D Time : 0.0 sec. user=mdettweiler [2015-09-22 18:38:06] 627*2^1409966-1 is not prime. Res64: 7D1633F9C4728778 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:38:06] 635*2^1409966-1 is not prime. Res64: 2D734CF5DCB5B2DF Time : 0.0 sec. user=mdettweiler [2015-09-22 18:55:26] 785*2^1409966-1 is not prime. Res64: 903949D0DAE52BA9 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:55:26] 801*2^1409966-1 is not prime. Res64: C391330F649D51F9 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:55:28] 861*2^1409967-1 is not prime. Res64: 713BB19CC01DB808 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:55:28] 973*2^1409967-1 is not prime. Res64: 6362F281FDF8329F Time : 0.0 sec. user=mdettweiler [2015-09-22 18:55:28] 917*2^1409966-1 is not prime. Res64: D8CD53B33F0F1127 Time : 0.0 sec. user=mdettweiler [2015-09-22 18:55:29] 823*2^1409967-1 is not prime. Res64: 2D6E470F336A4F35 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:12:49] 975*2^1409967-1 is not prime. Res64: E8A461587025359A Time : 0.0 sec. user=mdettweiler [2015-09-22 19:12:49] 657*2^1409968-1 is not prime. Res64: 9E43B82160D0ED90 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:12:51] 957*2^1409968-1 is not prime. Res64: 91601A3AC00028B4 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:12:52] 999*2^1409968-1 is not prime. Res64: 568300237A8C67D1 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:12:53] 695*2^1409968-1 is not prime. Res64: 6E9BD201F1692291 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:12:53] 699*2^1409968-1 is not prime. Res64: 677B6C33BA79FCBA Time : 0.0 sec. user=mdettweiler [2015-09-22 19:30:15] 811*2^1409969-1 is not prime. Res64: DA53BA1B6243060F Time : 0.0 sec. user=mdettweiler [2015-09-22 19:30:15] 615*2^1409969-1 is not prime. Res64: 3F68517CA89C0F67 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:30:16] 861*2^1409969-1 is not prime. Res64: C8304DB4FB9AC35E Time : 0.0 sec. user=mdettweiler [2015-09-22 19:30:16] 657*2^1409969-1 is not prime. Res64: D27538478B58155D Time : 0.0 sec. user=mdettweiler [2015-09-22 19:30:17] 727*2^1409969-1 is not prime. Res64: F421B2BEAF9F692B Time : 0.0 sec. user=mdettweiler [2015-09-22 19:30:17] 789*2^1409969-1 is not prime. Res64: FE6D591FA360FC38 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:47:38] 955*2^1409969-1 is not prime. Res64: 8987DDAFBC9226B0 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:47:38] 865*2^1409969-1 is not prime. Res64: 4877B9C1A750C5C9 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:47:38] 651*2^1409970-1 is not prime. Res64: 97E3DEF788DDDFFF Time : 0.0 sec. user=mdettweiler [2015-09-22 19:47:38] 997*2^1409969-1 is not prime. Res64: FBFC88D63BA09974 Time : 0.0 sec. user=mdettweiler [2015-09-22 19:47:38] 897*2^1409969-1 is not prime. Res64: D316550CC135F11E Time : 0.0 sec. user=mdettweiler [2015-09-22 19:47:39] 765*2^1409970-1 is not prime. Res64: BF778A399EF67B21 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:05:02] 845*2^1409970-1 is not prime. Res64: AB56B67650E020F4 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:05:02] 933*2^1409970-1 is not prime. Res64: 893FF2DC350308A7 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:05:03] 681*2^1409971-1 is not prime. Res64: 63E1E9970906E9DD Time : 0.0 sec. user=mdettweiler [2015-09-22 20:05:03] 875*2^1409970-1 is not prime. Res64: 027911CF5BA7565C Time : 0.0 sec. user=mdettweiler [2015-09-22 20:05:04] 751*2^1409971-1 is not prime. Res64: 66E1C87C17CCD700 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:05:06] 663*2^1409971-1 is not prime. Res64: A05F9CF401E511EC Time : 0.0 sec. user=mdettweiler [2015-09-22 20:22:58] 789*2^1409971-1 is not prime. Res64: 714664E2B7088B46 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:22:58] 793*2^1409971-1 is not prime. Res64: 7E135A5FB9AF1201 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:23:01] 859*2^1409971-1 is not prime. Res64: 22B30A77AF28329E Time : 0.0 sec. user=mdettweiler [2015-09-22 20:23:01] 913*2^1409971-1 is not prime. Res64: 159B5C96668A838C Time : 0.0 sec. user=mdettweiler [2015-09-22 20:23:04] 931*2^1409971-1 is not prime. Res64: 7A32FAB1CD3198BE Time : 0.0 sec. user=mdettweiler [2015-09-22 20:23:04] 961*2^1409971-1 is not prime. Res64: 41DA08389891E893 Time : 0.0 sec. user=juhehe [2015-09-22 20:29:18] 769*2^1409971-1 is not prime. Res64: A4154D02B21EEFBE Time : 0.0 sec. user=mdettweiler [2015-09-22 20:40:21] 993*2^1409971-1 is not prime. Res64: 371106462248C879 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:40:22] 767*2^1409972-1 is not prime. Res64: 7207A992065E537D Time : 0.0 sec. user=mdettweiler [2015-09-22 20:40:24] 929*2^1409972-1 is not prime. Res64: C33691E4652C880E Time : 0.0 sec. user=mdettweiler [2015-09-22 20:40:24] 987*2^1409972-1 is not prime. Res64: D31B865184F89EF6 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:40:26] 615*2^1409973-1 is not prime. Res64: 1130E243018A8FD4 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:40:26] 765*2^1409973-1 is not prime. Res64: 6CA94129191F67E2 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:57:43] 867*2^1409973-1 is not prime. Res64: 5587A20382E4EE36 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:57:43] 889*2^1409973-1 is not prime. Res64: 76B598BF89CFA9AA Time : 0.0 sec. user=mdettweiler [2015-09-22 20:57:49] 937*2^1409973-1 is not prime. Res64: D51B202DD4419F88 Time : 0.0 sec. user=mdettweiler [2015-09-22 20:57:49] 955*2^1409973-1 is not prime. Res64: 0012498329F35F2B Time : 0.0 sec. user=mdettweiler [2015-09-22 20:57:51] 623*2^1409974-1 is not prime. Res64: AB6488AA3401AB4D Time : 0.0 sec. user=mdettweiler [2015-09-22 20:57:51] 651*2^1409974-1 is not prime. Res64: 8B1AB8E4EE797B7C Time : 0.0 sec. user=mdettweiler [2015-09-22 21:15:05] 681*2^1409974-1 is not prime. Res64: F38BDEB388C765C9 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:15:06] 813*2^1409974-1 is not prime. Res64: 46C3EFB1FE961E00 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:15:09] 603*2^1409975-1 is not prime. Res64: A3E845D91B81BC39 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:15:10] 661*2^1409975-1 is not prime. Res64: 962989D53957E3DB Time : 0.0 sec. user=mdettweiler [2015-09-22 21:15:13] 685*2^1409975-1 is not prime. Res64: 11436EABF6B9D199 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:15:13] 783*2^1409975-1 is not prime. Res64: BCF630F8C446B723 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:32:27] 725*2^1409976-1 is not prime. Res64: 51578B544DDF8B6F Time : 0.0 sec. user=mdettweiler [2015-09-22 21:32:28] 765*2^1409976-1 is not prime. Res64: E69D8BE2F4D30496 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:32:31] 809*2^1409976-1 is not prime. Res64: 2A25316BC72F77D9 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:32:31] 845*2^1409976-1 is not prime. Res64: 7E9EAA338D5A9FB1 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:32:34] 849*2^1409976-1 is not prime. Res64: AC1E7AF5B36392DB Time : 0.0 sec. user=mdettweiler [2015-09-22 21:32:34] 927*2^1409976-1 is not prime. Res64: FC0A7B3B0D73E91C Time : 0.0 sec. user=mdettweiler [2015-09-22 21:49:51] 619*2^1409977-1 is not prime. Res64: DDF5C1C496812A23 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:49:51] 651*2^1409977-1 is not prime. Res64: 5329F9FCC74819EA Time : 0.0 sec. user=mdettweiler [2015-09-22 21:49:55] 741*2^1409977-1 is not prime. Res64: 01E446B0FF046B73 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:49:55] 747*2^1409977-1 is not prime. Res64: 6A9EA862F37E376A Time : 0.0 sec. user=mdettweiler [2015-09-22 21:49:56] 801*2^1409977-1 is not prime. Res64: 2B63C9802F7ED900 Time : 0.0 sec. user=mdettweiler [2015-09-22 21:49:57] 841*2^1409977-1 is not prime. Res64: 4CE95E7CA10A62B7 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:07:19] 945*2^1409977-1 is not prime. Res64: B5995D409B04E563 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:07:19] 743*2^1409978-1 is not prime. Res64: 69A265839D8D7E90 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:07:20] 797*2^1409978-1 is not prime. Res64: C039B6D30F4756B3 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:07:20] 641*2^1409978-1 is not prime. Res64: 750426C60EF52330 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:07:20] 815*2^1409978-1 is not prime. Res64: 2569D0F9D2825542 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:07:20] 875*2^1409978-1 is not prime. Res64: 9FF23946A9EF0910 Time : 0.0 sec. user=juhehe [2015-09-22 22:20:45] 897*2^1409977-1 is not prime. Res64: CE32D2C43966EE8F Time : 0.0 sec. user=mdettweiler [2015-09-22 22:25:16] 977*2^1409978-1 is not prime. Res64: D002BAAC79C68547 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:25:16] 843*2^1409979-1 is not prime. Res64: C89FEBCB679C085D Time : 0.0 sec. user=mdettweiler [2015-09-22 22:25:18] 745*2^1409979-1 is not prime. Res64: 509B93A91BA5EEF5 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:25:18] 709*2^1409979-1 is not prime. Res64: B1AE1BD74F9E1000 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:25:18] 751*2^1409979-1 is not prime. Res64: 3D46862761DA30FF Time : 0.0 sec. user=mdettweiler [2015-09-22 22:25:19] 723*2^1409979-1 is not prime. Res64: 569D9F4942B28378 Time : 0.0 sec. user=juhehe [2015-09-22 22:37:18] 927*2^1409978-1 is not prime. Res64: A4AB9E5126A11BFF Time : 0.0 sec. user=mdettweiler [2015-09-22 22:43:04] 859*2^1409979-1 is not prime. Res64: D5FB1E4686AEA4D3 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:43:05] 879*2^1409979-1 is not prime. Res64: 4425E7649EFB59C0 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:43:09] 921*2^1409979-1 is not prime. Res64: DEA1A768CAF74C84 Time : 0.0 sec. user=mdettweiler [2015-09-22 22:43:09] 975*2^1409979-1 is not prime. Res64: B2DD34423A8EBD4C Time : 0.0 sec. user=mdettweiler [2015-09-22 22:43:15] 615*2^1409980-1 is not prime. Res64: 9F129202316EB00C Time : 0.0 sec. user=mdettweiler [2015-09-22 22:43:16] 675*2^1409980-1 is not prime. Res64: 2FB2C9C1DA16A1A7 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:00:44] 687*2^1409980-1 is not prime. Res64: 0367655EEDDC4C15 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:00:45] 693*2^1409980-1 is not prime. Res64: B14BB675C744F230 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:00:49] 927*2^1409980-1 is not prime. Res64: 67D4393AC62116C7 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:00:50] 995*2^1409980-1 is not prime. Res64: D3C0FFACE293C247 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:00:56] 627*2^1409981-1 is not prime. Res64: 7D6E0ABAD04D2E34 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:00:57] 645*2^1409981-1 is not prime. Res64: 8756986DD7F202A2 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:18:40] 825*2^1409981-1 is not prime. Res64: 1134EFFA23D21C4F Time : 0.0 sec. user=mdettweiler [2015-09-22 23:18:40] 871*2^1409981-1 is not prime. Res64: DA2A6FE6A39AB2A8 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:18:42] 691*2^1409981-1 is not prime. Res64: A7CE98D1A3B484AD Time : 0.0 sec. user=mdettweiler [2015-09-22 23:18:43] 715*2^1409981-1 is not prime. Res64: 66472DEA9EB95D7F Time : 0.0 sec. user=mdettweiler [2015-09-22 23:18:49] 957*2^1409981-1 is not prime. Res64: 869420519AF8F10C Time : 0.0 sec. user=mdettweiler [2015-09-22 23:18:49] 647*2^1409982-1 is not prime. Res64: 753858425E64C14D Time : 0.0 sec. user=mdettweiler [2015-09-22 23:36:08] 731*2^1409982-1 is not prime. Res64: 0D5514684B986AA4 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:36:08] 797*2^1409982-1 is not prime. Res64: CB0DB28EB29B6CC0 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:36:08] 821*2^1409982-1 is not prime. Res64: 01DD2B941266832B Time : 0.0 sec. user=mdettweiler [2015-09-22 23:36:09] 867*2^1409982-1 is not prime. Res64: DA246787BE1874BD Time : 0.0 sec. user=mdettweiler [2015-09-22 23:36:16] 965*2^1409982-1 is not prime. Res64: F542D27C3038EB3B Time : 0.0 sec. user=mdettweiler [2015-09-22 23:36:16] 675*2^1409983-1 is not prime. Res64: 558644640883D764 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:53:33] 689*2^1409984-1 is not prime. Res64: 244F852566A1F7E1 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:53:33] 705*2^1409983-1 is not prime. Res64: 74628C33A8E30145 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:53:33] 759*2^1409984-1 is not prime. Res64: A19FBB6F9E889ECC Time : 0.0 sec. user=mdettweiler [2015-09-22 23:53:33] 735*2^1409983-1 is not prime. Res64: 23BC64379D51C13F Time : 0.0 sec. user=mdettweiler [2015-09-22 23:53:40] 609*2^1409985-1 is not prime. Res64: AB21252ABB62B723 Time : 0.0 sec. user=mdettweiler [2015-09-22 23:53:40] 649*2^1409985-1 is not prime. Res64: F3868D33D5E54EAC Time : 0.0 sec.