user=mdettweiler [2015-01-16 02:08:47] 889*2^1388985-1 is not prime. Res64: 302FA8D98415E37B Time : 0.0 sec. user=mdettweiler [2015-01-16 02:08:50] 955*2^1388985-1 is not prime. Res64: 0BC4A1908F13D345 Time : 0.0 sec. user=mdettweiler [2015-01-16 02:39:57] 619*2^1388993-1 is not prime. Res64: 42D61C571943E630 Time : 0.0 sec. user=mdettweiler [2015-01-16 02:39:58] 697*2^1388993-1 is not prime. Res64: 3A8B9E18DB387CD4 Time : 0.0 sec. user=mdettweiler [2015-01-16 03:07:38] 995*2^1388992-1 is not prime. Res64: A3A31873AF3A43A5 Time : 0.0 sec. user=mdettweiler [2015-01-16 03:07:40] 727*2^1388993-1 is not prime. Res64: D0227F06A33EFC62 Time : 0.0 sec. user=mdettweiler [2015-01-16 05:47:01] 951*2^1388993-1 is not prime. Res64: 6E11D6CC1951E392 Time : 0.0 sec. user=mdettweiler [2015-01-16 05:47:03] 663*2^1388994-1 is not prime. Res64: BAF52B63B9864790 Time : 0.0 sec. user=mdettweiler [2015-01-16 06:14:47] 705*2^1388994-1 is not prime. Res64: 0D31BA2E917714B2 Time : 0.0 sec. user=mdettweiler [2015-01-16 06:14:48] 833*2^1388994-1 is not prime. Res64: DA7DBC1A415FF0CA Time : 0.0 sec. user=mdettweiler [2015-01-16 06:42:38] 861*2^1388994-1 is not prime. Res64: 32F9DFBE6EFC55DB Time : 0.0 sec. user=mdettweiler [2015-01-16 06:42:42] 873*2^1388994-1 is not prime. Res64: 2EF9F540BB7C09F3 Time : 0.0 sec. user=mdettweiler [2015-01-16 07:10:26] 915*2^1388994-1 is not prime. Res64: 3B7FB48EA2B058A4 Time : 0.0 sec. user=mdettweiler [2015-01-16 07:10:28] 941*2^1388994-1 is not prime. Res64: 741A78F55B19E4C7 Time : 0.0 sec. user=mdettweiler [2015-01-16 07:37:55] 947*2^1388994-1 is not prime. Res64: 998CB6873082A1E1 Time : 0.0 sec. user=mdettweiler [2015-01-16 07:37:57] 663*2^1388995-1 is not prime. Res64: 6704B9CEE95AF571 Time : 0.0 sec. user=mdettweiler [2015-01-16 08:05:24] 691*2^1388995-1 is not prime. Res64: A25653408C2E31D1 Time : 0.0 sec. user=mdettweiler [2015-01-16 08:05:26] 723*2^1388995-1 is not prime. Res64: CC2D3C90707640E7 Time : 0.0 sec. user=mdettweiler [2015-01-16 08:33:48] 925*2^1388995-1 is not prime. Res64: B39DF49CEA65AEB8 Time : 0.0 sec. user=mdettweiler [2015-01-16 08:33:48] 707*2^1388996-1 is not prime. Res64: A8F5E696E1579F44 Time : 0.0 sec. user=mdettweiler [2015-01-16 09:01:36] 735*2^1388996-1 is not prime. Res64: E65238A0CE232C6B Time : 0.0 sec. user=mdettweiler [2015-01-16 09:01:38] 759*2^1388996-1 is not prime. Res64: C70FBDC4D95E58FF Time : 0.0 sec. user=mdettweiler [2015-01-16 09:29:25] 773*2^1388996-1 is not prime. Res64: 9AADD44339FB4FF7 Time : 0.0 sec. user=mdettweiler [2015-01-16 09:29:25] 837*2^1388996-1 is not prime. Res64: AFCD2F826F2C038E Time : 0.0 sec. user=mdettweiler [2015-01-16 09:57:11] 893*2^1388996-1 is not prime. Res64: 20624A81B929331C Time : 0.0 sec. user=mdettweiler [2015-01-16 09:57:12] 999*2^1388996-1 is not prime. Res64: 47ADE1B4720188C0 Time : 0.0 sec. user=mdettweiler [2015-01-16 10:24:39] 601*2^1388997-1 is not prime. Res64: 934D4568213151C2 Time : 0.0 sec. user=mdettweiler [2015-01-16 10:24:40] 649*2^1388997-1 is not prime. Res64: B8756E8FBCEB4281 Time : 0.0 sec. user=mdettweiler [2015-01-16 10:52:15] 717*2^1388997-1 is not prime. Res64: E09C978EBE96E383 Time : 0.0 sec. user=mdettweiler [2015-01-16 10:52:15] 765*2^1388997-1 is not prime. Res64: 698BA2B33257745B Time : 0.0 sec. user=mdettweiler [2015-01-16 11:22:12] 955*2^1388997-1 is not prime. Res64: A6B5DA3A0E64D63F Time : 0.0 sec. user=mdettweiler [2015-01-16 11:22:13] 975*2^1388997-1 is not prime. Res64: 019CA8892153E958 Time : 0.0 sec. user=mdettweiler [2015-01-16 11:53:40] 991*2^1388997-1 is not prime. Res64: 30E1B1BC04C4F843 Time : 0.0 sec. user=mdettweiler [2015-01-16 11:53:40] 997*2^1388997-1 is not prime. Res64: 4DEE5153A50918B7 Time : 0.0 sec. user=mdettweiler [2015-01-16 12:22:08] 647*2^1388998-1 is not prime. Res64: 8FFBCECCD348C2E6 Time : 0.0 sec. user=mdettweiler [2015-01-16 12:22:08] 657*2^1388998-1 is not prime. Res64: 5780EA7C31B93871 Time : 0.0 sec. user=mdettweiler [2015-01-16 12:52:04] 663*2^1388998-1 is not prime. Res64: 5983B7B7C95662C0 Time : 0.0 sec. user=mdettweiler [2015-01-16 12:52:04] 815*2^1388998-1 is not prime. Res64: A392371F91DEA5DE Time : 0.0 sec. user=mdettweiler [2015-01-16 13:26:56] 827*2^1388998-1 is not prime. Res64: 8EF992B017DEC2BC Time : 0.0 sec. user=mdettweiler [2015-01-16 13:26:56] 843*2^1388998-1 is not prime. Res64: 4A008C05A916D97B Time : 0.0 sec. user=mdettweiler [2015-01-16 13:59:33] 885*2^1388998-1 is not prime. Res64: 27F60744864D6863 Time : 0.0 sec. user=mdettweiler [2015-01-16 13:59:33] 887*2^1388998-1 is not prime. Res64: C149502DDDD4D057 Time : 0.0 sec. user=mdettweiler [2015-01-16 14:31:02] 645*2^1388999-1 is not prime. Res64: 9523CC4820C25556 Time : 0.0 sec. user=mdettweiler [2015-01-16 14:31:02] 655*2^1388999-1 is not prime. Res64: E08509695CEEE9B2 Time : 0.0 sec. user=mdettweiler [2015-01-16 14:59:02] 959*2^1388992-1 is not prime. Res64: 46A59FAF2B319866 Time : 0.0 sec. user=mdettweiler [2015-01-16 15:02:03] 661*2^1388999-1 is not prime. Res64: D2F670DB2E3259B7 Time : 0.0 sec. user=mdettweiler [2015-01-16 15:40:41] 765*2^1388992-1 is not prime. Res64: EBE772156F34FBF5 Time : 0.0 sec. user=mdettweiler [2015-01-16 15:44:11] 723*2^1388992-1 is not prime. Res64: DC1A4DC95FB93959 Time : 0.0 sec. user=mdettweiler [2015-01-16 16:11:30] 819*2^1388999-1 is not prime. Res64: 15028B5943DCE7ED Time : 0.0 sec. user=mdettweiler [2015-01-16 16:49:53] 983*2^1388992-1 is not prime. Res64: D7E9F7C76389929F Time : 0.0 sec. user=mdettweiler [2015-01-16 16:55:17] 711*2^1388999-1 is not prime. Res64: 0A8BC366ED3AE129 Time : 0.0 sec. user=juhehe [2015-01-16 17:16:47] 933*2^1388992-1 is not prime. Res64: C0BA3AC25C90834B Time : 0.0 sec. user=mdettweiler [2015-01-16 17:17:10] 909*2^1388999-1 is not prime. Res64: EE8BDBB06EE32E26 Time : 0.0 sec. user=mdettweiler [2015-01-16 17:17:10] 943*2^1388999-1 is not prime. Res64: DF9AF66ADFFAE20B Time : 0.0 sec. user=mdettweiler [2015-01-16 17:22:16] 627*2^1389000-1 is not prime. Res64: 950C33A05CF5722B Time : 0.0 sec. user=mdettweiler [2015-01-16 17:22:16] 707*2^1389000-1 is not prime. Res64: 71880E0236252782 Time : 0.0 sec. user=mdettweiler [2015-01-16 17:40:42] 799*2^1388999-1 is not prime. Res64: 0F1886A0B8F9EA12 Time : 0.0 sec. user=mdettweiler [2015-01-16 17:40:43] 813*2^1388999-1 is not prime. Res64: 24D7EC486D8B1AEC Time : 0.0 sec. user=mdettweiler [2015-01-16 17:43:58] 753*2^1389000-1 is not prime. Res64: 6D4B98EB024B2469 Time : 0.0 sec. user=mdettweiler [2015-01-16 17:43:59] 797*2^1389000-1 is not prime. Res64: 7C885EFA01DD91B9 Time : 0.0 sec. user=mdettweiler [2015-01-16 17:47:17] 879*2^1388999-1 is not prime. Res64: C575A39C8CADCE35 Time : 0.0 sec. user=mdettweiler [2015-01-16 17:48:51] 839*2^1389000-1 is not prime. Res64: A9B6CF64370201A1 Time : 0.0 sec. user=mdettweiler [2015-01-16 17:48:52] 923*2^1389000-1 is not prime. Res64: AE435AE750C092F1 Time : 0.0 sec. user=juhehe [2015-01-16 18:01:51] 741*2^1388993-1 is not prime. Res64: 50EB14C491FCC1DD Time : 0.0 sec. user=mdettweiler [2015-01-16 18:06:36] 945*2^1389000-1 is not prime. Res64: 502EF380245F9907 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:06:39] 975*2^1389000-1 is not prime. Res64: C603C1B33C83ECE5 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:09:50] 637*2^1389001-1 is not prime. Res64: 1E2422678AC48577 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:09:53] 649*2^1389001-1 is not prime. Res64: CDC96136C1FBB607 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:13:00] 691*2^1389001-1 is not prime. Res64: 9AFB86B7728CC8D4 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:13:04] 705*2^1389001-1 is not prime. Res64: 7E4C4DCB82747765 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:14:32] 945*2^1389001-1 is not prime. Res64: 470F30FD0782553E Time : 0.0 sec. user=mdettweiler [2015-01-16 18:14:34] 627*2^1389002-1 is not prime. Res64: 12B7D2A1D4169D5F Time : 0.0 sec. user=mdettweiler [2015-01-16 18:33:16] 671*2^1389002-1 is not prime. Res64: D58D4BF8ADAB2F2C Time : 0.0 sec. user=mdettweiler [2015-01-16 18:37:09] 915*2^1389002-1 is not prime. Res64: 4DDA76D11B666700 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:37:09] 923*2^1389002-1 is not prime. Res64: DB0811A1C994A2A8 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:39:32] 935*2^1389002-1 is not prime. Res64: 47A266DFEC38C379 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:39:32] 1001*2^1389002-1 is not prime. Res64: 8054F13792FBFF1E Time : 0.0 sec. user=mdettweiler [2015-01-16 18:40:32] 705*2^1389003-1 is not prime. Res64: EBCFB40973A10F05 Time : 0.0 sec. user=mdettweiler [2015-01-16 18:40:32] 709*2^1389003-1 is not prime. Res64: B5EE2A5EE9ED4C2F Time : 0.0 sec. user=mdettweiler [2015-01-16 20:22:03] 825*2^1389002-1 is not prime. Res64: 41A48C1A921984C8 Time : 0.0 sec. user=mdettweiler [2015-01-16 20:48:24] 723*2^1389003-1 is not prime. Res64: FDCD68AF815862C3 Time : 0.0 sec. user=mdettweiler [2015-01-16 20:48:25] 795*2^1389003-1 is not prime. Res64: 89FE08226F4EABEE Time : 0.0 sec. user=mdettweiler [2015-01-16 20:51:58] 757*2^1389005-1 is not prime. Res64: B501DF10BFF355B8 Time : 0.0 sec. user=mdettweiler [2015-01-16 20:55:22] 801*2^1389003-1 is not prime. Res64: 4D158686A5775DB8 Time : 0.0 sec. user=mdettweiler [2015-01-16 20:55:22] 849*2^1389003-1 is not prime. Res64: 37F207C36FAB41B1 Time : 0.0 sec. user=mdettweiler [2015-01-16 21:02:21] 663*2^1389004-1 is not prime. Res64: AAA33B520B9ABB98 Time : 0.0 sec. user=mdettweiler [2015-01-16 21:02:22] 929*2^1389004-1 is not prime. Res64: A2D39D29E1706418 Time : 0.0 sec. user=mdettweiler [2015-01-16 21:15:34] 831*2^1389005-1 is not prime. Res64: EA3145F3289DF780 Time : 0.0 sec. user=mdettweiler [2015-01-16 21:15:35] 635*2^1389006-1 is not prime. Res64: 612D26107342EAAB Time : 0.0 sec. user=mdettweiler [2015-01-16 21:22:34] 671*2^1389006-1 is not prime. Res64: AD9ACFA2DF3A7D80 Time : 0.0 sec. user=mdettweiler [2015-01-16 21:29:36] 755*2^1389006-1 is not prime. Res64: 62C55B7CE0DCBECD Time : 0.0 sec. user=mdettweiler [2015-01-16 21:29:37] 765*2^1389006-1 is not prime. Res64: 0F6E6F441C2AE62D Time : 0.0 sec. user=mdettweiler [2015-01-16 21:45:49] 777*2^1389006-1 is not prime. Res64: E98C898C6E89A07E Time : 0.0 sec. user=mdettweiler [2015-01-16 21:45:49] 921*2^1389006-1 is not prime. Res64: D33F672B868F031A Time : 0.0 sec. user=mdettweiler [2015-01-16 22:04:02] 947*2^1389006-1 is not prime. Res64: F66DC85DFB8EA805 Time : 0.0 sec. user=mdettweiler [2015-01-16 22:04:03] 975*2^1389006-1 is not prime. Res64: DE4ABD474E405C4B Time : 0.0 sec. user=mdettweiler [2015-01-16 22:19:28] 603*2^1389007-1 is not prime. Res64: 0009E276D10FF849 Time : 0.0 sec. user=mdettweiler [2015-01-16 22:19:29] 615*2^1389007-1 is not prime. Res64: CA48896191404A31 Time : 0.0 sec. user=mdettweiler [2015-01-16 22:30:43] 795*2^1389005-1 is not prime. Res64: CC1FAA7C27DDD38E Time : 0.0 sec. user=mdettweiler [2015-01-16 22:50:12] 741*2^1389006-1 is not prime. Res64: B832C751406B2DBC Time : 0.0 sec. user=mdettweiler [2015-01-16 22:53:09] 871*2^1389007-1 is not prime. Res64: D48E5DE46C8F2DC2 Time : 0.0 sec. user=mdettweiler [2015-01-16 22:53:10] 885*2^1389007-1 is not prime. Res64: 220A1BCAA2DE6CCD Time : 0.0 sec. user=mdettweiler [2015-01-16 23:00:15] 915*2^1389007-1 is not prime. Res64: 4776C6828688869E Time : 0.0 sec. user=mdettweiler [2015-01-16 23:00:16] 985*2^1389007-1 is not prime. Res64: CA983BD9E2E4043C Time : 0.0 sec. user=mdettweiler [2015-01-16 23:23:28] 635*2^1389008-1 is not prime. Res64: 424D51110EAF42AB Time : 0.0 sec. user=mdettweiler [2015-01-16 23:23:28] 657*2^1389008-1 is not prime. Res64: B3D1F54F72AE0661 Time : 0.0 sec. user=mdettweiler [2015-01-16 23:29:56] 753*2^1389008-1 is not prime. Res64: A342990B078D9B2B Time : 0.0 sec. user=mdettweiler [2015-01-16 23:29:57] 995*2^1389008-1 is not prime. Res64: 22A8F1DC7A40A205 Time : 0.0 sec. user=mdettweiler [2015-01-16 23:43:09] 827*2^1389010-1 is not prime. Res64: DA879C7A054A22B5 Time : 0.0 sec. user=mdettweiler [2015-01-16 23:43:09] 619*2^1389011-1 is not prime. Res64: BA9E8D59A976EE94 Time : 0.0 sec. user=mdettweiler [2015-01-16 23:54:25] 667*2^1389009-1 is not prime. Res64: 06643E6936BE4557 Time : 0.0 sec. user=mdettweiler [2015-01-16 23:54:25] 861*2^1389009-1 is not prime. Res64: F48E3F1C4B4C5F1C Time : 0.0 sec.