user=mdettweiler [2015-06-29 00:12:18] 909*2^1401664-1 is not prime. Res64: 7DAC89AA0194ED3C Time : 0.0 sec. user=mdettweiler [2015-06-29 00:12:19] 995*2^1401664-1 is not prime. Res64: 6917E54BF0F05B76 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:12:19] 685*2^1401665-1 is not prime. Res64: 9565D653CA132079 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:12:20] 691*2^1401665-1 is not prime. Res64: 0024AF07184FD1B4 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:12:41] 699*2^1401665-1 is not prime. Res64: 46AF2A64C2098419 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:12:42] 721*2^1401665-1 is not prime. Res64: 93491A4245DE18B5 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:29:37] 727*2^1401665-1 is not prime. Res64: F824122DC32CA10C Time : 0.0 sec. user=mdettweiler [2015-06-29 00:29:38] 831*2^1401665-1 is not prime. Res64: 4CB56DA39CA9D2E5 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:29:40] 981*2^1401665-1 is not prime. Res64: 5150B9050424035A Time : 0.0 sec. user=mdettweiler [2015-06-29 00:29:41] 633*2^1401666-1 is not prime. Res64: 745B7AE15515881A Time : 0.0 sec. user=mdettweiler [2015-06-29 00:30:00] 755*2^1401666-1 is not prime. Res64: 791CC7B975B31449 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:30:01] 803*2^1401666-1 is not prime. Res64: 5D55A9D6413B6365 Time : 0.0 sec. user=juhehe [2015-06-29 00:31:14] 705*2^1401664-1 is not prime. Res64: E466C1E087EB36B3 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:46:56] 837*2^1401666-1 is not prime. Res64: 45907FDC0353BF16 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:46:56] 843*2^1401666-1 is not prime. Res64: 227B142FC9E18D22 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:46:59] 975*2^1401666-1 is not prime. Res64: 388ECA1C5C0CAA1F Time : 0.0 sec. user=mdettweiler [2015-06-29 00:46:59] 993*2^1401666-1 is not prime. Res64: 1ADEC6145FF40B46 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:47:19] 625*2^1401667-1 is not prime. Res64: E6BAE6CD858D44B6 Time : 0.0 sec. user=mdettweiler [2015-06-29 00:47:19] 835*2^1401667-1 is not prime. Res64: EE382B8722F6FBAB Time : 0.0 sec. user=S_K_ [2015-06-29 00:57:12] 873*2^1401664-1 is not prime. Res64: A7152F4B0E024F4B Time : 0.0 sec. user=mdettweiler [2015-06-29 01:04:15] 931*2^1401667-1 is not prime. Res64: CD2ECDCE25194C6B Time : 0.0 sec. user=mdettweiler [2015-06-29 01:04:17] 979*2^1401667-1 is not prime. Res64: 41B3397A6688994C Time : 0.0 sec. user=mdettweiler [2015-06-29 01:04:18] 647*2^1401668-1 is not prime. Res64: C2795C1954D7F865 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:04:19] 825*2^1401668-1 is not prime. Res64: 2932CA81621596D5 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:04:41] 879*2^1401668-1 is not prime. Res64: 533E08286973F556 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:04:42] 897*2^1401668-1 is not prime. Res64: 5FC67257B2BB3D96 Time : 0.0 sec. user=juhehe [2015-06-29 01:19:05] 915*2^1401667-1 is not prime. Res64: 11EF9A3450714D4D Time : 0.0 sec. user=mdettweiler [2015-06-29 01:21:48] 995*2^1401668-1 is not prime. Res64: 5DEA0A166E5D6C95 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:21:48] 667*2^1401669-1 is not prime. Res64: 016C08E871E09DDC Time : 0.0 sec. user=mdettweiler [2015-06-29 01:21:49] 681*2^1401669-1 is not prime. Res64: D667AAEBAB9F031A Time : 0.0 sec. user=mdettweiler [2015-06-29 01:21:50] 747*2^1401669-1 is not prime. Res64: 6C8F42A32F01863C Time : 0.0 sec. user=mdettweiler [2015-06-29 01:22:01] 751*2^1401669-1 is not prime. Res64: 7A937A630CBE8B65 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:22:02] 829*2^1401669-1 is not prime. Res64: 860223E620B10D5C Time : 0.0 sec. user=mdettweiler [2015-06-29 01:39:10] 919*2^1401669-1 is not prime. Res64: 10FCDD3826B337EF Time : 0.0 sec. user=mdettweiler [2015-06-29 01:39:10] 603*2^1401670-1 is not prime. Res64: A423C0EFB1A6AAF2 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:39:10] 605*2^1401670-1 is not prime. Res64: 1D5CE2CB92AB037E Time : 0.0 sec. user=mdettweiler [2015-06-29 01:39:11] 611*2^1401670-1 is not prime. Res64: 4857B848CBCFC46E Time : 0.0 sec. user=mdettweiler [2015-06-29 01:39:19] 663*2^1401670-1 is not prime. Res64: 9FC682842BC78BCC Time : 0.0 sec. user=mdettweiler [2015-06-29 01:39:20] 677*2^1401670-1 is not prime. Res64: F527C031AD3E9981 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:56:28] 827*2^1401670-1 is not prime. Res64: AADF9B0C242BA2EE Time : 0.0 sec. user=mdettweiler [2015-06-29 01:56:29] 693*2^1401671-1 is not prime. Res64: B7F07FEAF3736C0E Time : 0.0 sec. user=mdettweiler [2015-06-29 01:56:29] 867*2^1401670-1 is not prime. Res64: D99A35DC75FE6C82 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:56:29] 885*2^1401671-1 is not prime. Res64: E07412D553BD2B83 Time : 0.0 sec. user=mdettweiler [2015-06-29 01:56:37] 909*2^1401671-1 is not prime. Res64: 4A0F6601B5195CEB Time : 0.0 sec. user=mdettweiler [2015-06-29 01:56:38] 943*2^1401671-1 is not prime. Res64: A86E568D571B285D Time : 0.0 sec. user=mdettweiler [2015-06-29 02:13:49] 973*2^1401671-1 is not prime. Res64: B24477D59D673752 Time : 0.0 sec. user=mdettweiler [2015-06-29 02:13:49] 899*2^1401672-1 is not prime. Res64: 27F48BB0E0859B11 Time : 0.0 sec. user=mdettweiler [2015-06-29 02:13:49] 669*2^1401672-1 is not prime. Res64: 0C1C63CF656E0FB2 Time : 0.0 sec. user=mdettweiler [2015-06-29 02:13:49] 933*2^1401672-1 is not prime. Res64: 62051174B4D942E0 Time : 0.0 sec. user=mdettweiler [2015-06-29 02:13:56] 999*2^1401672-1 is not prime. Res64: D04E643C955335CB Time : 0.0 sec. user=mdettweiler [2015-06-29 02:13:56] 607*2^1401673-1 is not prime. Res64: EBDC236B9CEC9AEF Time : 0.0 sec. user=S_K_ [2015-06-29 02:17:12] 717*2^1401670-1 is not prime. Res64: CE14242C3AF4D246 Time : 0.0 sec. user=mdettweiler [2015-06-29 02:31:12] 637*2^1401673-1 is not prime. Res64: B0F0B3ED212398DF Time : 0.0 sec. user=mdettweiler [2015-06-29 02:31:12] 753*2^1401674-1 is not prime. Res64: 3B22EC38D6C19E06 Time : 0.0 sec. user=mdettweiler [2015-06-29 02:31:12] 671*2^1401674-1 is not prime. Res64: 188809944C333C1B Time : 0.0 sec. user=mdettweiler [2015-06-29 02:31:13] 831*2^1401674-1 is not prime. Res64: 0B1DD2C94C16A98F Time : 0.0 sec. user=mdettweiler [2015-06-29 02:31:14] 873*2^1401674-1 is not prime. Res64: 81BA99DB05B5281D Time : 0.0 sec. user=mdettweiler [2015-06-29 02:31:14] 885*2^1401674-1 is not prime. Res64: 52E78BBDC46D731F Time : 0.0 sec. user=mdettweiler [2015-06-29 02:48:44] 613*2^1401675-1 is not prime. Res64: 005FB9A872C232EE Time : 0.0 sec. user=mdettweiler [2015-06-29 02:48:45] 619*2^1401675-1 is not prime. Res64: 3D212996B517699D Time : 0.0 sec. user=mdettweiler [2015-06-29 02:48:45] 625*2^1401675-1 is not prime. Res64: C97A743580A89722 Time : 0.0 sec. user=mdettweiler [2015-06-29 02:48:45] 679*2^1401675-1 is not prime. Res64: 6FD45F0C8B98088E Time : 0.0 sec. user=mdettweiler [2015-06-29 02:48:45] 643*2^1401675-1 is not prime. Res64: 3DF2E34458DCFD7A Time : 0.0 sec. user=mdettweiler [2015-06-29 02:48:46] 765*2^1401675-1 is not prime. Res64: A89C7AE864D6428F Time : 0.0 sec. user=mdettweiler [2015-06-29 03:06:04] 871*2^1401675-1 is not prime. Res64: 01E80B026A91BA4F Time : 0.0 sec. user=mdettweiler [2015-06-29 03:06:05] 985*2^1401675-1 is not prime. Res64: 51D36D5C8F60B215 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:06:06] 639*2^1401676-1 is not prime. Res64: 9A33F0258158DE2B Time : 0.0 sec. user=mdettweiler [2015-06-29 03:06:07] 805*2^1401675-1 is not prime. Res64: 72E517A71BB53F8B Time : 0.0 sec. user=mdettweiler [2015-06-29 03:06:08] 657*2^1401676-1 is not prime. Res64: E270615B1F5A3456 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:06:08] 859*2^1401675-1 is not prime. Res64: 8F775AE3EA693D88 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:23:28] 887*2^1401676-1 is not prime. Res64: 95C7FCBBD9992743 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:23:29] 697*2^1401677-1 is not prime. Res64: 11571C2F0A1F2E32 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:23:29] 993*2^1401676-1 is not prime. Res64: 0A4BC4DFE31736FA Time : 0.0 sec. user=mdettweiler [2015-06-29 03:23:29] 619*2^1401677-1 is not prime. Res64: 26BD09D576593017 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:23:30] 711*2^1401677-1 is not prime. Res64: F8D7C33A91B71E81 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:23:31] 801*2^1401677-1 is not prime. Res64: 047579FA4266CD8D Time : 0.0 sec. user=juhehe [2015-06-29 03:35:52] 675*2^1401676-1 is not prime. Res64: 04A8A50C2C79334F Time : 0.0 sec. user=mdettweiler [2015-06-29 03:40:48] 885*2^1401677-1 is not prime. Res64: A42741FFF6A6BDCC Time : 0.0 sec. user=mdettweiler [2015-06-29 03:40:49] 663*2^1401678-1 is not prime. Res64: 1665C98FEB7D3BAE Time : 0.0 sec. user=mdettweiler [2015-06-29 03:40:49] 867*2^1401678-1 is not prime. Res64: 7E8E66E0E9289C55 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:40:49] 677*2^1401678-1 is not prime. Res64: 9E37FE2A249FB4AE Time : 0.0 sec. user=mdettweiler [2015-06-29 03:40:49] 921*2^1401678-1 is not prime. Res64: F434ED7E686E96F7 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:40:50] 833*2^1401678-1 is not prime. Res64: DDDECD9876A66FD8 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:58:22] 971*2^1401678-1 is not prime. Res64: 4952E5B00569E022 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:58:23] 1001*2^1401678-1 is not prime. Res64: D549ED3CB8E371FA Time : 0.0 sec. user=mdettweiler [2015-06-29 03:58:23] 609*2^1401679-1 is not prime. Res64: 1E206F40EC0CF62A Time : 0.0 sec. user=mdettweiler [2015-06-29 03:58:23] 615*2^1401679-1 is not prime. Res64: E46876F4BDC47748 Time : 0.0 sec. user=mdettweiler [2015-06-29 03:58:26] 645*2^1401679-1 is not prime. Res64: 5D2D627DC9AFB4AC Time : 0.0 sec. user=mdettweiler [2015-06-29 03:58:27] 661*2^1401679-1 is not prime. Res64: 43C4B760B1F82716 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:15:46] 663*2^1401679-1 is not prime. Res64: 6E735A22DE9F7DD5 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:15:46] 693*2^1401679-1 is not prime. Res64: 9B0AAA897F5ABD33 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:15:47] 829*2^1401679-1 is not prime. Res64: 0BFD78F846897994 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:15:47] 855*2^1401679-1 is not prime. Res64: 1B4017CB9E148F60 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:15:49] 735*2^1401679-1 is not prime. Res64: F22A3A4218E0E280 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:15:50] 763*2^1401679-1 is not prime. Res64: 3B3FE79E35C59E77 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:33:10] 951*2^1401679-1 is not prime. Res64: A060846D47329820 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:33:10] 969*2^1401679-1 is not prime. Res64: DB922DCBEFB01645 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:33:10] 973*2^1401679-1 is not prime. Res64: DAD2A96250FE4462 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:33:11] 993*2^1401679-1 is not prime. Res64: 509FD4AD1DF1881B Time : 0.0 sec. user=mdettweiler [2015-06-29 04:33:13] 873*2^1401679-1 is not prime. Res64: 953FC969EE01564D Time : 0.0 sec. user=mdettweiler [2015-06-29 04:33:13] 931*2^1401679-1 is not prime. Res64: B063E16E09083E63 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:50:29] 845*2^1401680-1 is not prime. Res64: E16381CF8DED9BCB Time : 0.0 sec. user=mdettweiler [2015-06-29 04:50:29] 773*2^1401680-1 is not prime. Res64: 1C26B2D64226C5DD Time : 0.0 sec. user=mdettweiler [2015-06-29 04:50:29] 839*2^1401680-1 is not prime. Res64: 9FADFC4B8504836F Time : 0.0 sec. user=mdettweiler [2015-06-29 04:50:29] 627*2^1401681-1 is not prime. Res64: 2482BE73725C4F68 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:50:30] 637*2^1401681-1 is not prime. Res64: 78CBFBAE5C121B23 Time : 0.0 sec. user=mdettweiler [2015-06-29 04:50:31] 741*2^1401681-1 is not prime. Res64: 01706E41A73AC551 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:07:49] 751*2^1401681-1 is not prime. Res64: AB9BC64D6F6FAF11 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:07:49] 777*2^1401681-1 is not prime. Res64: 641B1471744F4827 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:07:49] 865*2^1401681-1 is not prime. Res64: 1650BEF18217BA1D Time : 0.0 sec. user=mdettweiler [2015-06-29 05:07:50] 907*2^1401681-1 is not prime. Res64: A0B7EC7C709657DE Time : 0.0 sec. user=mdettweiler [2015-06-29 05:07:50] 937*2^1401681-1 is not prime. Res64: FB7E082232297EBC Time : 0.0 sec. user=mdettweiler [2015-06-29 05:07:51] 969*2^1401681-1 is not prime. Res64: D6091CCE554F2884 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:25:12] 617*2^1401682-1 is not prime. Res64: 04388D1DC59CCA70 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:25:12] 983*2^1401682-1 is not prime. Res64: 789BBEC7A6D740EB Time : 0.0 sec. user=mdettweiler [2015-06-29 05:25:12] 855*2^1401682-1 is not prime. Res64: EB1E927D197BE11C Time : 0.0 sec. user=mdettweiler [2015-06-29 05:25:13] 619*2^1401683-1 is not prime. Res64: BD344EF3A888A2F1 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:25:19] 843*2^1401682-1 is not prime. Res64: E0B9D4FE733928B0 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:25:20] 703*2^1401683-1 is not prime. Res64: B0CA56DC4CACEF25 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:42:31] 623*2^1401684-1 is not prime. Res64: CA40DD2B1A1CA09E Time : 0.0 sec. user=mdettweiler [2015-06-29 05:42:32] 635*2^1401684-1 is not prime. Res64: A4361AADEBDE8647 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:42:32] 771*2^1401683-1 is not prime. Res64: E641A55C352F3D44 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:42:32] 963*2^1401683-1 is not prime. Res64: 8A647DB4662C5F8A Time : 0.0 sec. user=mdettweiler [2015-06-29 05:42:40] 707*2^1401684-1 is not prime. Res64: B9B19D13F91C4698 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:42:41] 725*2^1401684-1 is not prime. Res64: 3E36160A9A4F1AB2 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:59:49] 753*2^1401684-1 is not prime. Res64: 65037F9E495E4CE5 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:59:50] 875*2^1401684-1 is not prime. Res64: 53E85F4D53CDE83C Time : 0.0 sec. user=mdettweiler [2015-06-29 05:59:50] 893*2^1401684-1 is not prime. Res64: 7A7EA23E84CEF275 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:59:50] 927*2^1401684-1 is not prime. Res64: 7CE30458B38D2149 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:59:58] 607*2^1401685-1 is not prime. Res64: 3B4F0955983DAAF7 Time : 0.0 sec. user=mdettweiler [2015-06-29 05:59:59] 691*2^1401685-1 is not prime. Res64: 7931196287795FD1 Time : 0.0 sec. user=juhehe [2015-06-29 06:00:34] 753*2^1401683-1 is not prime. Res64: 6A8FB8454BB99AEE Time : 0.0 sec. user=mdettweiler [2015-06-29 06:17:09] 825*2^1401685-1 is not prime. Res64: C8D1584C8EA8F976 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:17:09] 757*2^1401685-1 is not prime. Res64: D49A249127617571 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:17:09] 847*2^1401685-1 is not prime. Res64: D007353499433184 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:17:09] 777*2^1401685-1 is not prime. Res64: C544B7CE46555BDE Time : 0.0 sec. user=mdettweiler [2015-06-29 06:17:20] 855*2^1401685-1 is not prime. Res64: BCB776BC5DBD2E90 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:17:20] 919*2^1401685-1 is not prime. Res64: 1E13457CB4152BA1 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:34:28] 937*2^1401685-1 is not prime. Res64: 7F7D9BC87029669C Time : 0.0 sec. user=mdettweiler [2015-06-29 06:34:29] 997*2^1401685-1 is not prime. Res64: 85E0DFF587F18CEB Time : 0.0 sec. user=mdettweiler [2015-06-29 06:34:31] 999*2^1401685-1 is not prime. Res64: DA192A7AA11266F3 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:34:31] 615*2^1401686-1 is not prime. Res64: 5613ABFE790CBC56 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:34:39] 683*2^1401686-1 is not prime. Res64: 7602196F5C32E49E Time : 0.0 sec. user=mdettweiler [2015-06-29 06:34:39] 743*2^1401686-1 is not prime. Res64: 1FF36937FBC0FC5F Time : 0.0 sec. user=mdettweiler [2015-06-29 06:51:46] 813*2^1401686-1 is not prime. Res64: A1C75875C97F8D32 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:51:47] 963*2^1401686-1 is not prime. Res64: 8D29D5B2DB8FE3AC Time : 0.0 sec. user=mdettweiler [2015-06-29 06:51:50] 625*2^1401687-1 is not prime. Res64: F6D82C3E38068C89 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:51:51] 669*2^1401687-1 is not prime. Res64: 6B14E34B897F2620 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:51:56] 691*2^1401687-1 is not prime. Res64: FB928396E3D44647 Time : 0.0 sec. user=mdettweiler [2015-06-29 06:51:57] 693*2^1401687-1 is not prime. Res64: B3144B9D487284B5 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:09:05] 751*2^1401687-1 is not prime. Res64: 619C8D7D4CB2F942 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:09:05] 831*2^1401687-1 is not prime. Res64: 42FC21BE450E7245 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:09:08] 985*2^1401687-1 is not prime. Res64: 2ACB5204AEFE3099 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:09:08] 735*2^1401688-1 is not prime. Res64: C58002058DED0704 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:09:14] 743*2^1401688-1 is not prime. Res64: 938100EEEB4AE264 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:09:14] 813*2^1401688-1 is not prime. Res64: 806B481C64642032 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:26:28] 727*2^1401689-1 is not prime. Res64: 578448736C62EC43 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:26:28] 741*2^1401689-1 is not prime. Res64: 0843E113C6BDFEBA Time : 0.0 sec. user=mdettweiler [2015-06-29 07:26:28] 825*2^1401688-1 is not prime. Res64: 583A06F25197FFDF Time : 0.0 sec. user=mdettweiler [2015-06-29 07:26:29] 637*2^1401689-1 is not prime. Res64: AE87A8E54E1FD1FC Time : 0.0 sec. user=mdettweiler [2015-06-29 07:26:33] 781*2^1401689-1 is not prime. Res64: F636DB0DF8CAE58A Time : 0.0 sec. user=mdettweiler [2015-06-29 07:26:33] 795*2^1401689-1 is not prime. Res64: 4581C6F45FAAF7B1 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:43:46] 799*2^1401689-1 is not prime. Res64: 35AA0DDC63FCFA84 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:43:46] 861*2^1401689-1 is not prime. Res64: 381996C9EBBB05F3 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:43:47] 855*2^1401689-1 is not prime. Res64: A3495A6D3977F6C2 Time : 0.0 sec. user=mdettweiler [2015-06-29 07:43:47] 885*2^1401689-1 is not prime. Res64: 1BD166DEC8DAF80B Time : 0.0 sec. user=mdettweiler [2015-06-29 07:43:50] 949*2^1401689-1 is not prime. Res64: 07BA1D4CD9596C1B Time : 0.0 sec. user=mdettweiler [2015-06-29 07:43:51] 991*2^1401689-1 is not prime. Res64: 5457ECB610D93676 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:01:05] 695*2^1401690-1 is not prime. Res64: E89965CA597618CF Time : 0.0 sec. user=mdettweiler [2015-06-29 08:01:06] 735*2^1401690-1 is not prime. Res64: 0454A191BA7246A3 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:01:07] 707*2^1401690-1 is not prime. Res64: 9731A391D8B7FFD0 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:01:07] 851*2^1401690-1 is not prime. Res64: 7C3CCD3962AF4421 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:01:12] 927*2^1401690-1 is not prime. Res64: 00B57AC49A7F98B3 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:01:14] 977*2^1401690-1 is not prime. Res64: AB3FF627E25E2849 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:18:53] 663*2^1401691-1 is not prime. Res64: AB10921D47E7E1AE Time : 0.0 sec. user=mdettweiler [2015-06-29 08:18:53] 733*2^1401691-1 is not prime. Res64: 596BF876C956C98D Time : 0.0 sec. user=mdettweiler [2015-06-29 08:18:53] 723*2^1401691-1 is not prime. Res64: 876E43FA2B576C58 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:18:54] 819*2^1401691-1 is not prime. Res64: AC6F427FE7DC74F5 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:18:55] 861*2^1401691-1 is not prime. Res64: 384025F6CF5596C5 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:18:55] 931*2^1401691-1 is not prime. Res64: 8FED70E999B52453 Time : 0.0 sec. user=juhehe [2015-06-29 08:19:03] 997*2^1401689-1 is not prime. Res64: B7A534A73ADC948D Time : 0.0 sec. user=mdettweiler [2015-06-29 08:36:13] 623*2^1401692-1 is not prime. Res64: 2BF8615CA6AEADBE Time : 0.0 sec. user=mdettweiler [2015-06-29 08:36:13] 979*2^1401691-1 is not prime. Res64: C8E4820397BB3DD9 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:36:13] 677*2^1401692-1 is not prime. Res64: E596604D65642153 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:36:13] 609*2^1401692-1 is not prime. Res64: B6654C81A22B207F Time : 0.0 sec. user=mdettweiler [2015-06-29 08:36:13] 725*2^1401692-1 is not prime. Res64: 9473B861BB52277A Time : 0.0 sec. user=mdettweiler [2015-06-29 08:36:14] 753*2^1401692-1 is not prime. Res64: 56A91CC0DEFE4F15 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:53:31] 759*2^1401692-1 is not prime. Res64: 218145459ECD660A Time : 0.0 sec. user=mdettweiler [2015-06-29 08:53:32] 843*2^1401692-1 is not prime. Res64: FBEC8CF1CD5DE92A Time : 0.0 sec. user=mdettweiler [2015-06-29 08:53:32] 767*2^1401692-1 is not prime. Res64: 8DA43B0F88789C75 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:53:32] 983*2^1401692-1 is not prime. Res64: 18B6131E59C64336 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:53:33] 609*2^1401693-1 is not prime. Res64: 03E8FB586F864751 Time : 0.0 sec. user=mdettweiler [2015-06-29 08:53:34] 627*2^1401693-1 is not prime. Res64: EEE853BD960C3058 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:10:50] 679*2^1401693-1 is not prime. Res64: 4894C629012BD7F0 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:10:51] 727*2^1401693-1 is not prime. Res64: ED0CC126EC4D9AA4 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:10:51] 847*2^1401693-1 is not prime. Res64: 65E223C9B23C49EB Time : 0.0 sec. user=mdettweiler [2015-06-29 09:10:51] 861*2^1401693-1 is not prime. Res64: 9308BE60842BC5C3 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:10:52] 871*2^1401693-1 is not prime. Res64: E1284BF56D156D45 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:10:52] 937*2^1401693-1 is not prime. Res64: 95E78554F38E32D0 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:28:12] 999*2^1401693-1 is not prime. Res64: B5747C1D2C1A8F21 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:28:12] 785*2^1401694-1 is not prime. Res64: 6459876EDE4C44E3 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:28:12] 645*2^1401694-1 is not prime. Res64: 2227542B75272213 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:28:12] 825*2^1401694-1 is not prime. Res64: 9760DFA37AEE2E6D Time : 0.0 sec. user=mdettweiler [2015-06-29 09:28:14] 949*2^1401693-1 is not prime. Res64: 1BF3B383BCFC2A11 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:28:15] 951*2^1401693-1 is not prime. Res64: C55683AB7A1324E3 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:45:30] 915*2^1401694-1 is not prime. Res64: 87B16DAFE7722197 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:45:31] 601*2^1401695-1 is not prime. Res64: 229DE775CFCCAB76 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:45:31] 715*2^1401695-1 is not prime. Res64: DBC2FB8743C8BF32 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:45:32] 721*2^1401695-1 is not prime. Res64: 086A8285969C0A02 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:45:32] 799*2^1401695-1 is not prime. Res64: 2CF3B3196DE99CA1 Time : 0.0 sec. user=mdettweiler [2015-06-29 09:45:33] 825*2^1401695-1 is not prime. Res64: 71A8BCC5C4C9D4B6 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:02:51] 825*2^1401696-1 is not prime. Res64: 68B883916F174745 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:02:53] 879*2^1401696-1 is not prime. Res64: 460EE39E449DC09A Time : 0.0 sec. user=mdettweiler [2015-06-29 10:02:54] 963*2^1401695-1 is not prime. Res64: 395993742CCF8254 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:02:55] 725*2^1401696-1 is not prime. Res64: D7F1781551F04CB4 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:02:57] 859*2^1401695-1 is not prime. Res64: 156A3A233A38E5EB Time : 0.0 sec. user=mdettweiler [2015-06-29 10:02:58] 921*2^1401695-1 is not prime. Res64: 107DDD4CC5D95C82 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:20:59] 687*2^1401697-1 is not prime. Res64: D90FE73251372B86 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:20:59] 741*2^1401697-1 is not prime. Res64: 5AC4F6A3FF00399E Time : 0.0 sec. user=mdettweiler [2015-06-29 10:21:01] 717*2^1401697-1 is not prime. Res64: 42154B04839F4E11 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:21:01] 807*2^1401697-1 is not prime. Res64: 7C8A9AEB464EE87E Time : 0.0 sec. user=mdettweiler [2015-06-29 10:21:02] 831*2^1401697-1 is not prime. Res64: 9C93EDB499F33CA9 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:21:03] 955*2^1401697-1 is not prime. Res64: CF33E8B7D9BD2772 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:38:21] 893*2^1401698-1 is not prime. Res64: C74CDAC810CACCF6 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:38:21] 831*2^1401698-1 is not prime. Res64: 715D685146267D2B Time : 0.0 sec. user=mdettweiler [2015-06-29 10:38:21] 843*2^1401699-1 is not prime. Res64: E0A9438420580ED2 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:38:22] 741*2^1401699-1 is not prime. Res64: 3442C21B9CF2E389 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:38:22] 833*2^1401698-1 is not prime. Res64: 981FA4C7473D10D0 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:38:22] 891*2^1401699-1 is not prime. Res64: 797EEC251029ACA4 Time : 0.0 sec. user=juhehe [2015-06-29 10:38:46] 601*2^1401697-1 is not prime. Res64: ED253BAD797A1EFF Time : 0.0 sec. user=mdettweiler [2015-06-29 10:55:41] 773*2^1401700-1 is not prime. Res64: 61B3DE60F05A0D46 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:55:41] 933*2^1401700-1 is not prime. Res64: 7ECE1F2290235F73 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:55:42] 999*2^1401700-1 is not prime. Res64: 9AD2B0049A9513AB Time : 0.0 sec. user=mdettweiler [2015-06-29 10:55:43] 697*2^1401701-1 is not prime. Res64: 582C345A9BE37AF0 Time : 0.0 sec. user=mdettweiler [2015-06-29 10:55:43] 607*2^1401701-1 is not prime. Res64: 51F2DC0A0A9783ED Time : 0.0 sec. user=mdettweiler [2015-06-29 10:55:43] 777*2^1401701-1 is not prime. Res64: 4A6DD10715D0C750 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:13:01] 805*2^1401701-1 is not prime. Res64: 8A21053289119DB8 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:13:01] 815*2^1401702-1 is not prime. Res64: 0DCB76C50B46028B Time : 0.0 sec. user=mdettweiler [2015-06-29 11:13:02] 885*2^1401701-1 is not prime. Res64: EF3EF00F6985581B Time : 0.0 sec. user=mdettweiler [2015-06-29 11:13:02] 945*2^1401702-1 is not prime. Res64: 09CB829D55E292B9 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:13:03] 951*2^1401702-1 is not prime. Res64: 23CD0770F7CFCB81 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:13:04] 693*2^1401703-1 is not prime. Res64: D0C7D0C9DB761EDD Time : 0.0 sec. user=mdettweiler [2015-06-29 11:30:25] 805*2^1401703-1 is not prime. Res64: BEE33BC14D3877F4 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:30:26] 939*2^1401703-1 is not prime. Res64: 7B4EACCC879EA757 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:30:27] 943*2^1401703-1 is not prime. Res64: BAFFBE71C84F88A9 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:30:27] 961*2^1401703-1 is not prime. Res64: EBB4843E890CC7D2 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:30:33] 665*2^1401704-1 is not prime. Res64: 6FA32BD0B90560E6 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:30:33] 717*2^1401704-1 is not prime. Res64: CD1565703B8526A7 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:47:55] 893*2^1401704-1 is not prime. Res64: CC1F2B5A24BBAC8B Time : 0.0 sec. user=mdettweiler [2015-06-29 11:47:55] 639*2^1401705-1 is not prime. Res64: F17B739C7D73447B Time : 0.0 sec. user=mdettweiler [2015-06-29 11:47:55] 993*2^1401704-1 is not prime. Res64: 65BBC0C01CE3A380 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:47:55] 705*2^1401705-1 is not prime. Res64: D3480D681029F552 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:48:00] 751*2^1401705-1 is not prime. Res64: CD9BE4C603051852 Time : 0.0 sec. user=mdettweiler [2015-06-29 11:48:00] 837*2^1401705-1 is not prime. Res64: F6352E165A1DBE5F Time : 0.0 sec. user=mdettweiler [2015-06-29 12:05:15] 887*2^1401706-1 is not prime. Res64: 453196A495E122B3 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:05:16] 889*2^1401705-1 is not prime. Res64: 332AE8781C2E7E55 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:05:17] 923*2^1401706-1 is not prime. Res64: 28BCCF76C992C8B6 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:05:17] 857*2^1401706-1 is not prime. Res64: 10D3E0E907063388 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:05:20] 945*2^1401706-1 is not prime. Res64: E24520985AFDC0E5 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:05:21] 975*2^1401706-1 is not prime. Res64: ECB51C83E5A24465 Time : 0.0 sec. user=juhehe [2015-06-29 12:14:41] 767*2^1401704-1 is not prime. Res64: 834971D653754648 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:23:36] 601*2^1401707-1 is not prime. Res64: E52949B48700E753 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:23:36] 735*2^1401707-1 is not prime. Res64: 64535B2BE1EBDFE6 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:23:36] 913*2^1401707-1 is not prime. Res64: 0F4500A31CD96DC0 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:23:37] 699*2^1401707-1 is not prime. Res64: D283A9689073A343 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:23:37] 775*2^1401707-1 is not prime. Res64: CFE6F745EA619B4E Time : 0.0 sec. user=mdettweiler [2015-06-29 12:23:37] 993*2^1401707-1 is not prime. Res64: D813C9C13BA9B6B4 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:42:28] 837*2^1401708-1 is not prime. Res64: 61343C11BDDCBC44 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:42:28] 915*2^1401708-1 is not prime. Res64: 7781B32FD79B9D38 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:42:29] 647*2^1401708-1 is not prime. Res64: 70637454E95671C5 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:42:29] 753*2^1401708-1 is not prime. Res64: 4FA21AA63CD378D4 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:42:40] 741*2^1401709-1 is not prime. Res64: F004F856C83FC854 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:42:40] 931*2^1401709-1 is not prime. Res64: 8E4FD769B0BB5EC1 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:59:48] 941*2^1401710-1 is not prime. Res64: 0344A92752AE4BA7 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:59:48] 951*2^1401709-1 is not prime. Res64: BE3C76E30FCDF798 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:59:49] 615*2^1401711-1 is not prime. Res64: 912BE9B2807F5C7E Time : 0.0 sec. user=mdettweiler [2015-06-29 12:59:49] 825*2^1401710-1 is not prime. Res64: A6EEFC33BF8C7E0D Time : 0.0 sec. user=mdettweiler [2015-06-29 12:59:58] 783*2^1401711-1 is not prime. Res64: FD8D8B003777CF09 Time : 0.0 sec. user=mdettweiler [2015-06-29 12:59:59] 909*2^1401711-1 is not prime. Res64: BC5E02C7974CBF45 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:17:06] 945*2^1401711-1 is not prime. Res64: 4C1AB70EC5BF5F3D Time : 0.0 sec. user=mdettweiler [2015-06-29 13:17:07] 975*2^1401711-1 is not prime. Res64: 763C702ED8158CBF Time : 0.0 sec. user=mdettweiler [2015-06-29 13:17:07] 635*2^1401712-1 is not prime. Res64: 4E500C1033C4355C Time : 0.0 sec. user=mdettweiler [2015-06-29 13:17:08] 665*2^1401712-1 is not prime. Res64: 660B09280397D8C8 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:17:16] 863*2^1401712-1 is not prime. Res64: D54EF544DFA1CA61 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:17:17] 869*2^1401712-1 is not prime. Res64: 4D568AAE5E5294FD Time : 0.0 sec. user=mdettweiler [2015-06-29 13:34:27] 923*2^1401712-1 is not prime. Res64: 55492E44E293E6A5 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:34:27] 615*2^1401713-1 is not prime. Res64: 5FC9AE7D2108B493 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:34:28] 957*2^1401712-1 is not prime. Res64: E466CAFAE5414745 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:34:28] 637*2^1401713-1 is not prime. Res64: 914504434D1BF12E Time : 0.0 sec. user=mdettweiler [2015-06-29 13:34:37] 697*2^1401713-1 is not prime. Res64: B45549B3C2BCA0CA Time : 0.0 sec. user=mdettweiler [2015-06-29 13:34:38] 897*2^1401713-1 is not prime. Res64: 066438EB2CE7C6F2 Time : 0.0 sec. user=juhehe [2015-06-29 13:50:36] 899*2^1401712-1 is not prime. Res64: 9707ECADE26CF1FD Time : 0.0 sec. user=mdettweiler [2015-06-29 13:51:49] 645*2^1401715-1 is not prime. Res64: C3FD6D079CCF0E3E Time : 0.0 sec. user=mdettweiler [2015-06-29 13:51:50] 765*2^1401715-1 is not prime. Res64: 5B7A6BDCEC025177 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:51:50] 937*2^1401713-1 is not prime. Res64: 06FEC9D27C2596BA Time : 0.0 sec. user=mdettweiler [2015-06-29 13:51:50] 945*2^1401714-1 is not prime. Res64: 38A4CE85DBF29055 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:51:58] 895*2^1401715-1 is not prime. Res64: EA9B6E05FAF026E8 Time : 0.0 sec. user=mdettweiler [2015-06-29 13:51:58] 919*2^1401715-1 is not prime. Res64: 220064F76A22E837 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:09:07] 773*2^1401716-1 is not prime. Res64: 54E4A19980DE1E09 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:09:08] 999*2^1401716-1 is not prime. Res64: 33CA49CAA435EBDD Time : 0.0 sec. user=mdettweiler [2015-06-29 14:09:08] 607*2^1401717-1 is not prime. Res64: 87019C58A212B3AE Time : 0.0 sec. user=mdettweiler [2015-06-29 14:09:09] 711*2^1401717-1 is not prime. Res64: DF03B30C4F9B15CB Time : 0.0 sec. user=mdettweiler [2015-06-29 14:09:17] 819*2^1401717-1 is not prime. Res64: A952DBBB9DAA5D95 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:09:17] 835*2^1401717-1 is not prime. Res64: 698C801DC3FDF1D9 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:26:28] 847*2^1401717-1 is not prime. Res64: C2835CA02403B8CB Time : 0.0 sec. user=mdettweiler [2015-06-29 14:26:29] 731*2^1401718-1 is not prime. Res64: B0E72F2035EDCBF4 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:26:30] 889*2^1401717-1 is not prime. Res64: C0EB8F651894ED20 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:26:30] 801*2^1401718-1 is not prime. Res64: 9444146F8ECBE272 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:26:35] 827*2^1401718-1 is not prime. Res64: 50C4CD142E212568 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:26:36] 855*2^1401718-1 is not prime. Res64: 3599A29120E3FBEA Time : 0.0 sec. user=juhehe [2015-06-29 14:31:21] 633*2^1401716-1 is not prime. Res64: 5D0751BD4B57DAA7 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:43:49] 857*2^1401718-1 is not prime. Res64: 6496CE04FC79AD30 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:43:49] 863*2^1401718-1 is not prime. Res64: E000F187440E273B Time : 0.0 sec. user=mdettweiler [2015-06-29 14:43:53] 887*2^1401718-1 is not prime. Res64: ED03CB79A0E7D87A Time : 0.0 sec. user=mdettweiler [2015-06-29 14:43:53] 951*2^1401718-1 is not prime. Res64: 38E518B4AB2BA742 Time : 0.0 sec. user=mdettweiler [2015-06-29 14:43:54] 661*2^1401719-1 is not prime. Res64: 11BE833EDD6B34CB Time : 0.0 sec. user=mdettweiler [2015-06-29 14:43:55] 711*2^1401719-1 is not prime. Res64: 604EF6D7177C4B40 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:01:07] 729*2^1401719-1 is not prime. Res64: 6D4ECB78BAABB82F Time : 0.0 sec. user=mdettweiler [2015-06-29 15:01:09] 813*2^1401719-1 is not prime. Res64: 5322ED8A6A2ABB0F Time : 0.0 sec. user=mdettweiler [2015-06-29 15:01:13] 845*2^1401720-1 is not prime. Res64: B1144C897B5687B3 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:01:14] 915*2^1401720-1 is not prime. Res64: 6F8DC9DBBCDAF626 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:01:15] 895*2^1401719-1 is not prime. Res64: 357417B22EBFB5FA Time : 0.0 sec. user=mdettweiler [2015-06-29 15:01:16] 931*2^1401719-1 is not prime. Res64: 3E81AD4C2613A5A0 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:18:49] 619*2^1401721-1 is not prime. Res64: 49F3482ED1512C36 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:18:50] 805*2^1401721-1 is not prime. Res64: 8037C76997D93412 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:18:50] 741*2^1401721-1 is not prime. Res64: 5F1FEEB00FE40593 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:18:50] 871*2^1401721-1 is not prime. Res64: DA0E73A3ADB423BF Time : 0.0 sec. user=mdettweiler [2015-06-29 15:18:53] 945*2^1401720-1 is not prime. Res64: C11FC98FDC1265C7 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:18:53] 975*2^1401720-1 is not prime. Res64: EF9AE06A8372728E Time : 0.0 sec. user=mdettweiler [2015-06-29 15:36:09] 837*2^1401722-1 is not prime. Res64: 386C00784845CEE0 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:36:09] 893*2^1401722-1 is not prime. Res64: 5DBB29163A039DC7 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:36:10] 917*2^1401722-1 is not prime. Res64: A649E7D789E73109 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:36:11] 649*2^1401723-1 is not prime. Res64: 0F0BF3E0419E6AD0 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:36:12] 895*2^1401721-1 is not prime. Res64: D679309B44E50C84 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:36:12] 747*2^1401722-1 is not prime. Res64: 24294A1AF8789B5C Time : 0.0 sec. user=mdettweiler [2015-06-29 15:53:27] 679*2^1401723-1 is not prime. Res64: DB599BA5C63B89BA Time : 0.0 sec. user=mdettweiler [2015-06-29 15:53:28] 775*2^1401723-1 is not prime. Res64: C76A5B12BFC3FE6D Time : 0.0 sec. user=mdettweiler [2015-06-29 15:53:29] 805*2^1401723-1 is not prime. Res64: BD04E67295D7B3DF Time : 0.0 sec. user=mdettweiler [2015-06-29 15:53:29] 849*2^1401723-1 is not prime. Res64: 6D9056036120C132 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:53:30] 859*2^1401723-1 is not prime. Res64: 13B78ADF7E16AE33 Time : 0.0 sec. user=mdettweiler [2015-06-29 15:53:30] 871*2^1401723-1 is not prime. Res64: 44051A7F07C9F934 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:10:48] 921*2^1401723-1 is not prime. Res64: 80FD0E140A753E69 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:10:48] 929*2^1401724-1 is not prime. Res64: 29AB2DD1B26B6DBB Time : 0.0 sec. user=mdettweiler [2015-06-29 16:10:48] 615*2^1401724-1 is not prime. Res64: 6DE4F6815A29038C Time : 0.0 sec. user=mdettweiler [2015-06-29 16:10:48] 995*2^1401724-1 is not prime. Res64: E09D1FA6919447AD Time : 0.0 sec. user=mdettweiler [2015-06-29 16:10:50] 803*2^1401724-1 is not prime. Res64: 1543BE901EE01EC8 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:10:50] 923*2^1401724-1 is not prime. Res64: 39ED97E67B768596 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:28:09] 657*2^1401725-1 is not prime. Res64: BED4D4FDA1FF32D6 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:28:09] 729*2^1401725-1 is not prime. Res64: 8366C9C57E888B0C Time : 0.0 sec. user=mdettweiler [2015-06-29 16:28:09] 711*2^1401725-1 is not prime. Res64: FDCB5C9FF60841BE Time : 0.0 sec. user=mdettweiler [2015-06-29 16:28:09] 741*2^1401725-1 is not prime. Res64: 04C156DD30C6F4BA Time : 0.0 sec. user=mdettweiler [2015-06-29 16:28:10] 795*2^1401725-1 is not prime. Res64: 895321197CB490D4 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:28:10] 799*2^1401725-1 is not prime. Res64: A266BC3B015D9B80 Time : 0.0 sec. user=juhehe [2015-06-29 16:41:51] 645*2^1401725-1 is not prime. Res64: 1BD3A2043C1C5721 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:45:28] 867*2^1401725-1 is not prime. Res64: D50BE6C583E56DC8 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:45:28] 949*2^1401725-1 is not prime. Res64: 1C8AB01336F5634F Time : 0.0 sec. user=mdettweiler [2015-06-29 16:45:28] 969*2^1401725-1 is not prime. Res64: 15222C9A68E769D3 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:45:29] 635*2^1401726-1 is not prime. Res64: 08EF8CF07022CEC6 Time : 0.0 sec. user=mdettweiler [2015-06-29 16:45:29] 711*2^1401726-1 is not prime. Res64: 540826059691E5BA Time : 0.0 sec. user=mdettweiler [2015-06-29 16:45:30] 713*2^1401726-1 is not prime. Res64: 15CF09A2A190B59F Time : 0.0 sec. user=mdettweiler [2015-06-29 17:02:49] 947*2^1401726-1 is not prime. Res64: 01DF2FB66B37D684 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:02:50] 725*2^1401726-1 is not prime. Res64: FEA61DB80BB3BAC1 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:02:50] 825*2^1401726-1 is not prime. Res64: 9487D487F1782C3A Time : 0.0 sec. user=mdettweiler [2015-06-29 17:02:51] 861*2^1401726-1 is not prime. Res64: C16C8C00BCFFF846 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:02:52] 741*2^1401726-1 is not prime. Res64: C6D0A3EE6CDE33FD Time : 0.0 sec. user=mdettweiler [2015-06-29 17:02:52] 1001*2^1401726-1 is not prime. Res64: D51AE8D966256842 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:20:34] 609*2^1401727-1 is not prime. Res64: F63A15802D0D0888 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:20:34] 871*2^1401727-1 is not prime. Res64: C6151939FECF1D4D Time : 0.0 sec. user=mdettweiler [2015-06-29 17:20:35] 615*2^1401727-1 is not prime. Res64: 39432C31628D6F61 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:20:35] 913*2^1401727-1 is not prime. Res64: A7AD0BB45360D74E Time : 0.0 sec. user=mdettweiler [2015-06-29 17:20:36] 979*2^1401727-1 is not prime. Res64: DD936A50C9545962 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:20:36] 615*2^1401728-1 is not prime. Res64: 416F1A1F1C1B4017 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:37:55] 635*2^1401728-1 is not prime. Res64: F085B1F5D4F8F3C9 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:37:55] 683*2^1401728-1 is not prime. Res64: 288A3F82B205CD14 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:37:56] 759*2^1401728-1 is not prime. Res64: 41F85C0514B170D2 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:37:56] 639*2^1401729-1 is not prime. Res64: E1718EF0B3081723 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:37:56] 875*2^1401728-1 is not prime. Res64: 74BAAD25C200A648 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:37:57] 667*2^1401729-1 is not prime. Res64: 75A3025C80D64615 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:55:14] 681*2^1401729-1 is not prime. Res64: 09005E120B1FB812 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:55:14] 831*2^1401729-1 is not prime. Res64: 5FA2F559737C5E00 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:55:15] 955*2^1401729-1 is not prime. Res64: 2110F226D1C015F0 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:55:15] 665*2^1401730-1 is not prime. Res64: 8E15DE9D3AEFA7D7 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:55:16] 677*2^1401730-1 is not prime. Res64: 084B8C291A07EA22 Time : 0.0 sec. user=mdettweiler [2015-06-29 17:55:16] 695*2^1401730-1 is not prime. Res64: 4F2A797F5F0BF672 Time : 0.0 sec. user=mdettweiler [2015-06-29 18:12:32] 717*2^1401730-1 is not prime. Res64: 8A3EFC0D63D39F68 Time : 0.0 sec. user=mdettweiler [2015-06-29 18:12:32] 765*2^1401730-1 is not prime. Res64: 970E1AFFDAA9B04E Time : 0.0 sec. user=mdettweiler [2015-06-29 18:12:33] 861*2^1401730-1 is not prime. Res64: 8678894CEC79326F Time : 0.0 sec. user=mdettweiler [2015-06-29 18:12:33] 987*2^1401730-1 is not prime. Res64: E195A452DDABF7FE Time : 0.0 sec. user=mdettweiler [2015-06-29 18:12:35] 603*2^1401731-1 is not prime. Res64: DB309A5070BF72BA Time : 0.0 sec. user=mdettweiler [2015-06-29 18:12:35] 621*2^1401731-1 is not prime. Res64: D424F85E2F01D516 Time : 0.0 sec. user=mdettweiler [2015-06-29 18:29:52] 753*2^1401731-1 is not prime. Res64: 6EE73B65551C7F88 Time : 0.0 sec. user=mdettweiler [2015-06-29 18:29:53] 801*2^1401731-1 is not prime. Res64: 97379254245BBFE5 Time : 0.0 sec. user=mdettweiler [2015-06-29 18:29:53] 855*2^1401731-1 is not prime. Res64: 3378D602CDD616F3 Time : 0.0 sec. user=mdettweiler [2015-06-29 18:29:54] 981*2^1401731-1 is not prime. Res64: 1F7AAD9FD86C0A8D Time : 0.0 sec. user=mdettweiler [2015-06-29 18:29:54] 629*2^1401732-1 is not prime. Res64: 7B92413269BE9B5A Time : 0.0 sec. user=mdettweiler [2015-06-29 18:29:55] 653*2^1401732-1 is not prime. Res64: 0B11B32E2B6EE029 Time : 0.0 sec. user=juhehe [2015-06-29 18:43:30] 673*2^1401731-1 is not prime. Res64: 03C3B24305A34F1D Time : 0.0 sec. user=mdettweiler [2015-06-29 18:47:20] 737*2^1401732-1 is not prime. Res64: 7C5A1A7C4D3796C6 Time : 0.0 sec. user=mdettweiler [2015-06-29 18:47:20] 987*2^1401732-1 is not prime. Res64: 1D890508D26187BC Time : 0.0 sec. user=mdettweiler [2015-06-29 18:47:22] 717*2^1401732-1 is not prime. Res64: 7C7143427190AE37 Time : 0.0 sec. user=mdettweiler [2015-06-29 18:47:22] 607*2^1401733-1 is not prime. Res64: EA20DB1865A953CA Time : 0.0 sec. user=mdettweiler [2015-06-29 18:47:22] 619*2^1401733-1 is not prime. Res64: 6A5CFDAC125329AF Time : 0.0 sec. user=mdettweiler [2015-06-29 18:47:22] 747*2^1401733-1 is not prime. Res64: 52793452508A698D Time : 0.0 sec. user=mdettweiler [2015-06-29 19:04:39] 925*2^1401733-1 is not prime. Res64: F53CAA7B6C38C367 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:04:40] 705*2^1401734-1 is not prime. Res64: BCBA72D31E8813BA Time : 0.0 sec. user=mdettweiler [2015-06-29 19:04:40] 687*2^1401734-1 is not prime. Res64: AB7F5C8FF2F10EC3 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:04:41] 741*2^1401734-1 is not prime. Res64: 8C9061E626F16566 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:04:42] 747*2^1401734-1 is not prime. Res64: 02D59B36CDC18A4D Time : 0.0 sec. user=mdettweiler [2015-06-29 19:04:42] 753*2^1401734-1 is not prime. Res64: 1D8D8C24D6F096AD Time : 0.0 sec. user=mdettweiler [2015-06-29 19:22:24] 873*2^1401734-1 is not prime. Res64: C8E08C171960B841 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:22:24] 945*2^1401734-1 is not prime. Res64: 08B7D1CB460138A0 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:22:25] 825*2^1401734-1 is not prime. Res64: 52B5FBC08F0AE985 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:22:25] 723*2^1401735-1 is not prime. Res64: 8D7DCAECED9365F3 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:22:25] 875*2^1401734-1 is not prime. Res64: 0452E18F508BBACE Time : 0.0 sec. user=mdettweiler [2015-06-29 19:22:25] 805*2^1401735-1 is not prime. Res64: 76F0200524249FC1 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:39:45] 871*2^1401735-1 is not prime. Res64: BD7C34DB96C6FA6E Time : 0.0 sec. user=mdettweiler [2015-06-29 19:39:46] 895*2^1401735-1 is not prime. Res64: 7DA467D62A2431F6 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:39:46] 949*2^1401735-1 is not prime. Res64: AFC69455308E6CC9 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:39:46] 675*2^1401736-1 is not prime. Res64: 5A0BD1E02C613E64 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:39:47] 707*2^1401736-1 is not prime. Res64: 9BA9B7B9C2AB3DBD Time : 0.0 sec. user=mdettweiler [2015-06-29 19:39:48] 909*2^1401736-1 is not prime. Res64: F7B27E291E6E49BB Time : 0.0 sec. user=mdettweiler [2015-06-29 19:57:05] 993*2^1401736-1 is not prime. Res64: CA07E7BA7A3187A8 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:57:05] 615*2^1401737-1 is not prime. Res64: 6DCAE98E8BD8AE30 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:57:05] 861*2^1401737-1 is not prime. Res64: 93B3788E8794914E Time : 0.0 sec. user=mdettweiler [2015-06-29 19:57:06] 931*2^1401737-1 is not prime. Res64: 1CFAAF3847D7B694 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:57:06] 981*2^1401737-1 is not prime. Res64: 1AAFCDE6EFF3C7A8 Time : 0.0 sec. user=mdettweiler [2015-06-29 19:57:07] 641*2^1401738-1 is not prime. Res64: C74CB48913E7E508 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:14:25] 891*2^1401738-1 is not prime. Res64: DFCCFAA4F08BD564 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:14:26] 893*2^1401738-1 is not prime. Res64: D43FA652DA928AF1 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:14:26] 1001*2^1401738-1 is not prime. Res64: 6F84AB490DD34D90 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:14:26] 631*2^1401739-1 is not prime. Res64: 86BA1FD49CC5F752 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:14:27] 731*2^1401738-1 is not prime. Res64: CE3C067147AC9EA8 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:14:27] 815*2^1401738-1 is not prime. Res64: 2864335677BF0143 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:31:44] 975*2^1401739-1 is not prime. Res64: 619AB275EF67989F Time : 0.0 sec. user=mdettweiler [2015-06-29 20:31:44] 741*2^1401739-1 is not prime. Res64: DE813F8A8D094A56 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:31:44] 797*2^1401740-1 is not prime. Res64: 30292B5407C20C70 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:31:44] 951*2^1401739-1 is not prime. Res64: 46EE9C82D491A850 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:31:45] 819*2^1401740-1 is not prime. Res64: C664BF97A99689C1 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:31:46] 839*2^1401740-1 is not prime. Res64: 82D2C976E06B3D49 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:49:04] 857*2^1401740-1 is not prime. Res64: BB7E0E9C49D8532B Time : 0.0 sec. user=mdettweiler [2015-06-29 20:49:04] 909*2^1401740-1 is not prime. Res64: D7469089F4D9427D Time : 0.0 sec. user=mdettweiler [2015-06-29 20:49:05] 651*2^1401741-1 is not prime. Res64: 7AA7060626076EA8 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:49:05] 711*2^1401741-1 is not prime. Res64: 00E3865F35ACDBFD Time : 0.0 sec. user=mdettweiler [2015-06-29 20:49:05] 795*2^1401741-1 is not prime. Res64: D5AE8D00EDFA29C2 Time : 0.0 sec. user=mdettweiler [2015-06-29 20:49:05] 817*2^1401741-1 is not prime. Res64: 6FB0ADC87B42DDCE Time : 0.0 sec. user=juhehe [2015-06-29 21:01:13] 639*2^1401739-1 is not prime. Res64: EBD65BAFC5DC6DB7 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:06:22] 837*2^1401741-1 is not prime. Res64: 7B1F3FEB7355A867 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:06:23] 955*2^1401741-1 is not prime. Res64: 7FF3C1149C0AA994 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:06:23] 945*2^1401741-1 is not prime. Res64: 10A768B69C7D677F Time : 0.0 sec. user=mdettweiler [2015-06-29 21:06:24] 997*2^1401741-1 is not prime. Res64: 8D90A4C2C856B5C1 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:06:25] 999*2^1401741-1 is not prime. Res64: 58954D782589CC7D Time : 0.0 sec. user=mdettweiler [2015-06-29 21:06:27] 657*2^1401742-1 is not prime. Res64: 9F06F9BC8C25E147 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:24:10] 695*2^1401742-1 is not prime. Res64: 54186A82A2C2112F Time : 0.0 sec. user=mdettweiler [2015-06-29 21:24:11] 741*2^1401742-1 is not prime. Res64: F7E12EDB2B3CFDC5 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:24:13] 843*2^1401742-1 is not prime. Res64: 353D8A2E0E9183DC Time : 0.0 sec. user=mdettweiler [2015-06-29 21:24:13] 885*2^1401742-1 is not prime. Res64: 88C995B9BD755799 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:24:14] 897*2^1401742-1 is not prime. Res64: 53442B8CEF1B6657 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:24:14] 917*2^1401742-1 is not prime. Res64: 9BDCB5482026F282 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:41:34] 975*2^1401742-1 is not prime. Res64: 3618D7CE79DDE38C Time : 0.0 sec. user=mdettweiler [2015-06-29 21:41:34] 995*2^1401742-1 is not prime. Res64: 41DACF5777FA3689 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:41:35] 983*2^1401742-1 is not prime. Res64: 353D887A1E1E197C Time : 0.0 sec. user=mdettweiler [2015-06-29 21:41:35] 615*2^1401743-1 is not prime. Res64: 92C78F370D3FEB45 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:41:36] 621*2^1401743-1 is not prime. Res64: 822C9919065F65C1 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:41:37] 705*2^1401743-1 is not prime. Res64: 017B3B0BA92F683F Time : 0.0 sec. user=mdettweiler [2015-06-29 21:58:53] 715*2^1401743-1 is not prime. Res64: 929C9CACC027724F Time : 0.0 sec. user=mdettweiler [2015-06-29 21:58:54] 721*2^1401743-1 is not prime. Res64: E4960206BDB1C37B Time : 0.0 sec. user=mdettweiler [2015-06-29 21:58:55] 813*2^1401743-1 is not prime. Res64: CB28CA9854328EC2 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:58:55] 689*2^1401744-1 is not prime. Res64: 35FFE3DEEF78E5B4 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:58:55] 981*2^1401743-1 is not prime. Res64: F6EB007056172F01 Time : 0.0 sec. user=mdettweiler [2015-06-29 21:58:55] 737*2^1401744-1 is not prime. Res64: E7346815BD6E1DA1 Time : 0.0 sec. user=mdettweiler [2015-06-29 22:16:11] 765*2^1401744-1 is not prime. Res64: C7C52E11CA73FB89 Time : 0.0 sec. user=mdettweiler [2015-06-29 22:16:12] 685*2^1401745-1 is not prime. Res64: EB7F25EBC1675B6D Time : 0.0 sec. user=mdettweiler [2015-06-29 22:16:13] 895*2^1401745-1 is not prime. Res64: 455C0A2A39BB03FD Time : 0.0 sec. user=mdettweiler [2015-06-29 22:16:13] 691*2^1401745-1 is not prime. Res64: 10F25AA164031DFF Time : 0.0 sec. user=mdettweiler [2015-06-29 22:16:14] 951*2^1401745-1 is not prime. Res64: BA319522E823329A Time : 0.0 sec. user=mdettweiler [2015-06-29 22:16:14] 705*2^1401745-1 is not prime. Res64: 64E1361B3B8A505F Time : 0.0 sec. user=mdettweiler [2015-06-29 22:33:35] 987*2^1401745-1 is not prime. Res64: 164D1B423FB163BA Time : 0.0 sec. user=mdettweiler [2015-06-29 22:33:35] 603*2^1401746-1 is not prime. Res64: A4E2356A954B5F5B Time : 0.0 sec. user=mdettweiler [2015-06-29 22:33:36] 861*2^1401746-1 is not prime. Res64: BD96804E9A7B0035 Time : 0.0 sec. user=mdettweiler [2015-06-29 22:33:36] 783*2^1401746-1 is not prime. Res64: 6ECAE864C842195A Time : 0.0 sec. user=mdettweiler [2015-06-29 22:33:36] 953*2^1401746-1 is not prime. Res64: C4891DB5FC75E78B Time : 0.0 sec. user=mdettweiler [2015-06-29 22:33:36] 857*2^1401746-1 is not prime. Res64: BC29018482E31A7C Time : 0.0 sec. user=mdettweiler [2015-06-29 22:50:54] 615*2^1401747-1 is not prime. Res64: 9051189F130066F5 Time : 0.0 sec. user=mdettweiler [2015-06-29 22:50:55] 703*2^1401747-1 is not prime. Res64: 8430638B88227D23 Time : 0.0 sec. user=mdettweiler [2015-06-29 22:50:55] 955*2^1401747-1 is not prime. Res64: F639431802AF7F6E Time : 0.0 sec. user=mdettweiler [2015-06-29 22:50:55] 743*2^1401748-1 is not prime. Res64: C1B14845B2F466DA Time : 0.0 sec. user=mdettweiler [2015-06-29 22:50:56] 875*2^1401748-1 is not prime. Res64: 185B5B4222082771 Time : 0.0 sec. user=mdettweiler [2015-06-29 22:50:56] 947*2^1401748-1 is not prime. Res64: 867CF54A4389A2CC Time : 0.0 sec. user=S_K_ [2015-06-29 22:59:28] 695*2^1401676-1 is not prime. Res64: B4E9176283C693AA Time : 0.0 sec. user=mdettweiler [2015-06-29 23:08:13] 657*2^1401749-1 is not prime. Res64: 9A7BF3E2AED0D180 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:08:14] 745*2^1401749-1 is not prime. Res64: AF608110370A5E46 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:08:14] 889*2^1401749-1 is not prime. Res64: 827B02A8B866FD49 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:08:15] 759*2^1401749-1 is not prime. Res64: 70F838C2A6FFAE80 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:08:15] 681*2^1401750-1 is not prime. Res64: 2E6FD2FF00419A69 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:08:15] 837*2^1401749-1 is not prime. Res64: CA892327CE9294C8 Time : 0.0 sec. user=juhehe [2015-06-29 23:22:33] 655*2^1401749-1 is not prime. Res64: 43009BE03E73DE95 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:25:33] 707*2^1401750-1 is not prime. Res64: 8C42605831B043FC Time : 0.0 sec. user=mdettweiler [2015-06-29 23:25:33] 795*2^1401750-1 is not prime. Res64: BABD96E62D862D17 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:25:34] 619*2^1401751-1 is not prime. Res64: F968264FD34B23CE Time : 0.0 sec. user=mdettweiler [2015-06-29 23:25:35] 745*2^1401751-1 is not prime. Res64: DB0481B3EE701EF0 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:25:36] 833*2^1401750-1 is not prime. Res64: FB3B1F2435EED384 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:25:36] 917*2^1401750-1 is not prime. Res64: 7A8DECBA228C0214 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:42:51] 993*2^1401751-1 is not prime. Res64: 1DAE5B181EEDF03C Time : 0.0 sec. user=mdettweiler [2015-06-29 23:42:52] 603*2^1401752-1 is not prime. Res64: 507B3DB2B5A0A9D7 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:42:53] 609*2^1401752-1 is not prime. Res64: 4C48114D1140A913 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:42:54] 629*2^1401752-1 is not prime. Res64: DE3B0801A65D18EB Time : 0.0 sec. user=mdettweiler [2015-06-29 23:42:55] 635*2^1401752-1 is not prime. Res64: A9101FE61D7A40A1 Time : 0.0 sec. user=mdettweiler [2015-06-29 23:42:55] 743*2^1401752-1 is not prime. Res64: F94B36AA78F04A3F Time : 0.0 sec. user=mdettweiler [2015-06-30 00:00:11] 753*2^1401752-1 is not prime. Res64: F7812387C5EA9AAD Time : 0.0 sec. user=mdettweiler [2015-06-30 00:00:12] 797*2^1401752-1 is not prime. Res64: 35618E67DD8F4EBD Time : 0.0 sec. user=mdettweiler [2015-06-30 00:00:13] 827*2^1401752-1 is not prime. Res64: 0C2F61198604E0B8 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:00:13] 837*2^1401752-1 is not prime. Res64: 7B18FCE9F8649067 Time : 0.0 sec. user=mdettweiler [2015-06-30 00:00:24] 867*2^1401752-1 is not prime. Res64: 6A6EE20142EDB0AB Time : 0.0 sec. user=mdettweiler [2015-06-30 00:00:25] 873*2^1401752-1 is not prime. Res64: 97B7A396B159F352 Time : 0.0 sec.