user=mdettweiler [2013-07-17 00:05:55] 685*2^1247777-1 is not prime. Res64: 39317BF27CB1122D Time : 0.0 sec. user=mdettweiler [2013-07-17 00:05:57] 711*2^1247777-1 is not prime. Res64: E6F429BAAC9A4241 Time : 0.0 sec. user=mdettweiler [2013-07-17 00:23:13] 841*2^1247777-1 is not prime. Res64: EF0B071F137BFDA7 Time : 0.0 sec. user=mdettweiler [2013-07-17 00:23:14] 901*2^1247777-1 is not prime. Res64: 8B346467D0468BA4 Time : 0.0 sec. user=vaughan [2013-07-17 00:35:10] 795*2^1247777-1 is not prime. Res64: 030D6CE883E44F86 Time : 0.0 sec. user=mdettweiler [2013-07-17 00:40:22] 621*2^1247778-1 is not prime. Res64: D0A5E26CCE8B2D70 Time : 0.0 sec. user=mdettweiler [2013-07-17 00:40:22] 635*2^1247778-1 is not prime. Res64: DF325ED93B1D480C Time : 0.0 sec. user=mdettweiler [2013-07-17 00:57:38] 797*2^1247778-1 is not prime. Res64: C888EECC6ED5BBD0 Time : 0.0 sec. user=mdettweiler [2013-07-17 00:57:39] 815*2^1247778-1 is not prime. Res64: F7C6EC9484F1A231 Time : 0.0 sec. user=vaughan [2013-07-17 01:13:08] 773*2^1247778-1 is not prime. Res64: 52F1D8A17A744C7F Time : 0.0 sec. user=mdettweiler [2013-07-17 01:16:17] 975*2^1247778-1 is not prime. Res64: B8DC90A8D51A2964 Time : 0.0 sec. user=mdettweiler [2013-07-17 01:16:18] 1001*2^1247778-1 is not prime. Res64: 763AF221A7B0764E Time : 0.0 sec. user=mdettweiler [2013-07-17 01:33:20] 663*2^1247779-1 is not prime. Res64: D7E9F78B0E2622AB Time : 0.0 sec. user=mdettweiler [2013-07-17 01:33:20] 765*2^1247779-1 is not prime. Res64: 5F2E7839AE9AB112 Time : 0.0 sec. user=mdettweiler [2013-07-17 01:50:22] 801*2^1247779-1 is not prime. Res64: CDBCD58982991B99 Time : 0.0 sec. user=mdettweiler [2013-07-17 01:50:22] 939*2^1247779-1 is not prime. Res64: B868615A3A7C4D91 Time : 0.0 sec. user=vaughan [2013-07-17 01:51:07] 625*2^1247779-1 is not prime. Res64: 1462425CDEECC430 Time : 0.0 sec. user=mdettweiler [2013-07-17 02:09:01] 975*2^1247779-1 is not prime. Res64: C1B3C1385715A6F9 Time : 0.0 sec. user=mdettweiler [2013-07-17 02:09:02] 999*2^1247779-1 is not prime. Res64: 57FD987C6704C0C8 Time : 0.0 sec. user=mdettweiler [2013-07-17 02:26:09] 633*2^1247780-1 is not prime. Res64: 61178274E46D1A54 Time : 0.0 sec. user=mdettweiler [2013-07-17 02:26:09] 797*2^1247780-1 is not prime. Res64: A6679580F0EBD38D Time : 0.0 sec. user=vaughan [2013-07-17 02:29:07] 605*2^1247780-1 is not prime. Res64: 1AB88ED41A98A13D Time : 0.0 sec. user=mdettweiler [2013-07-17 02:43:12] 657*2^1247781-1 is not prime. Res64: A543719F60E813F3 Time : 0.0 sec. user=mdettweiler [2013-07-17 02:43:14] 727*2^1247781-1 is not prime. Res64: ABC84C4BD20D764A Time : 0.0 sec. user=mdettweiler [2013-07-17 03:00:25] 751*2^1247781-1 is not prime. Res64: 39EFB809E5D2A0E5 Time : 0.0 sec. user=mdettweiler [2013-07-17 03:00:27] 777*2^1247781-1 is not prime. Res64: 6978B098C383CC8F Time : 0.0 sec. user=vaughan [2013-07-17 03:07:02] 735*2^1247781-1 is not prime. Res64: 2E9F9551D42EF5C6 Time : 0.0 sec. user=mdettweiler [2013-07-17 03:17:46] 849*2^1247781-1 is not prime. Res64: F69D0E8DD48ED9D8 Time : 0.0 sec. user=mdettweiler [2013-07-17 03:17:46] 895*2^1247781-1 is not prime. Res64: E0E2322D82FAFA46 Time : 0.0 sec. user=mdettweiler [2013-07-17 03:36:25] 951*2^1247781-1 is not prime. Res64: D56AB846E7A2805A Time : 0.0 sec. user=mdettweiler [2013-07-17 03:36:26] 997*2^1247781-1 is not prime. Res64: 4512B6A3B01EA3BB Time : 0.0 sec. user=vaughan [2013-07-17 03:49:58] 907*2^1247781-1 is not prime. Res64: 329BBBA735E831F3 Time : 0.0 sec. user=mdettweiler [2013-07-17 03:53:30] 603*2^1247782-1 is not prime. Res64: AD505BE508FD4F81 Time : 0.0 sec. user=mdettweiler [2013-07-17 03:53:31] 741*2^1247782-1 is not prime. Res64: 98B1834118A04752 Time : 0.0 sec. user=mdettweiler [2013-07-17 04:10:32] 755*2^1247782-1 is not prime. Res64: AE175DEB5063EDA9 Time : 0.0 sec. user=mdettweiler [2013-07-17 04:10:33] 833*2^1247782-1 is not prime. Res64: C3D2805E5826CF05 Time : 0.0 sec. user=mdettweiler [2013-07-17 04:27:38] 945*2^1247782-1 is not prime. Res64: AEEB6BC33B094DF4 Time : 0.0 sec. user=mdettweiler [2013-07-17 04:27:38] 685*2^1247783-1 is not prime. Res64: A875DABA1A929865 Time : 0.0 sec. user=vaughan [2013-07-17 04:27:58] 743*2^1247782-1 is not prime. Res64: DDFAF630F3919C5D Time : 0.0 sec. user=mdettweiler [2013-07-17 04:44:39] 693*2^1247783-1 is not prime. Res64: 58E128AF56FC9642 Time : 0.0 sec. user=mdettweiler [2013-07-17 04:44:40] 739*2^1247783-1 is not prime. Res64: 40305F772C30445C Time : 0.0 sec. user=mdettweiler [2013-07-17 05:01:41] 853*2^1247783-1 is not prime. Res64: 67AC1A6D9C869A4C Time : 0.0 sec. user=mdettweiler [2013-07-17 05:01:42] 879*2^1247783-1 is not prime. Res64: 9C3C68993E54B6DF Time : 0.0 sec. user=vaughan [2013-07-17 05:05:57] 789*2^1247783-1 is not prime. Res64: 890B7794ABA31F35 Time : 0.0 sec. user=mdettweiler [2013-07-17 05:18:58] 895*2^1247783-1 is not prime. Res64: A81BFC6A2875650D Time : 0.0 sec. user=mdettweiler [2013-07-17 05:18:59] 635*2^1247784-1 is not prime. Res64: 16F9104407DDB80D Time : 0.0 sec. user=mdettweiler [2013-07-17 05:36:01] 725*2^1247784-1 is not prime. Res64: A05AADDD1F3FCF52 Time : 0.0 sec. user=mdettweiler [2013-07-17 05:36:01] 927*2^1247784-1 is not prime. Res64: 15CA7C35EB6BF943 Time : 0.0 sec. user=vaughan [2013-07-17 05:43:57] 705*2^1247784-1 is not prime. Res64: 96547452490AB2F7 Time : 0.0 sec. user=mdettweiler [2013-07-17 05:53:52] 959*2^1247784-1 is not prime. Res64: 9558F952075545E5 Time : 0.0 sec. user=mdettweiler [2013-07-17 05:53:52] 625*2^1247785-1 is not prime. Res64: 730B49A233B07FE4 Time : 0.0 sec. user=mdettweiler [2013-07-17 06:10:55] 765*2^1247785-1 is not prime. Res64: 9A0C67F92866B894 Time : 0.0 sec. user=mdettweiler [2013-07-17 06:10:56] 841*2^1247785-1 is not prime. Res64: E0A7591A799122A0 Time : 0.0 sec. user=vaughan [2013-07-17 06:21:55] 729*2^1247785-1 is not prime. Res64: CDB0C1D86BB42790 Time : 0.0 sec. user=mdettweiler [2013-07-17 06:28:10] 705*2^1247786-1 is not prime. Res64: 0963FE175D4BF402 Time : 0.0 sec. user=mdettweiler [2013-07-17 06:28:11] 707*2^1247786-1 is not prime. Res64: 5156CBA05F69B04C Time : 0.0 sec. user=mdettweiler [2013-07-17 06:45:12] 851*2^1247786-1 is not prime. Res64: CE10DF545D0719F8 Time : 0.0 sec. user=mdettweiler [2013-07-17 06:45:13] 911*2^1247786-1 is not prime. Res64: C441F0C9E24B8E8C Time : 0.0 sec. user=vaughan [2013-07-17 06:59:54] 767*2^1247786-1 is not prime. Res64: 20A00902AA23EE00 Time : 0.0 sec. user=mdettweiler [2013-07-17 07:03:03] 981*2^1247786-1 is not prime. Res64: 2FD093782BFDE9A2 Time : 0.0 sec. user=mdettweiler [2013-07-17 07:03:04] 643*2^1247787-1 is not prime. Res64: 1E82CFA03326132E Time : 0.0 sec. user=mdettweiler [2013-07-17 07:20:06] 861*2^1247787-1 is not prime. Res64: 28F8334C5F2AEF3A Time : 0.0 sec. user=mdettweiler [2013-07-17 07:20:07] 879*2^1247787-1 is not prime. Res64: E9198C3656E3B9ED Time : 0.0 sec. user=vaughan [2013-07-17 07:37:54] 829*2^1247787-1 is not prime. Res64: D7B07BCC7B6612F3 Time : 0.0 sec. user=mdettweiler [2013-07-17 07:38:47] 961*2^1247787-1 is not prime. Res64: 52EE058D79D9A293 Time : 0.0 sec. user=mdettweiler [2013-07-17 07:38:48] 963*2^1247787-1 is not prime. Res64: 3960A631D4B60D18 Time : 0.0 sec. user=mdettweiler [2013-07-17 07:55:49] 635*2^1247788-1 is not prime. Res64: A26B8BB2C1BE8661 Time : 0.0 sec. user=mdettweiler [2013-07-17 07:55:49] 665*2^1247788-1 is not prime. Res64: 97D0B8DBBDC314FF Time : 0.0 sec. user=mdettweiler [2013-07-17 08:12:51] 699*2^1247788-1 is not prime. Res64: B7F536BFC1BF37FB Time : 0.0 sec. user=mdettweiler [2013-07-17 08:12:52] 749*2^1247788-1 is not prime. Res64: A2CD3AB6036CB4C5 Time : 0.0 sec. user=mdettweiler [2013-07-17 08:29:56] 899*2^1247788-1 is not prime. Res64: 505F874F4E2A0EB9 Time : 0.0 sec. user=mdettweiler [2013-07-17 08:29:57] 933*2^1247788-1 is not prime. Res64: CB03B8ABEC5A4D08 Time : 0.0 sec. user=mdettweiler [2013-07-17 08:46:58] 627*2^1247789-1 is not prime. Res64: CFD6406067C97389 Time : 0.0 sec. user=mdettweiler [2013-07-17 08:46:58] 691*2^1247789-1 is not prime. Res64: 1FA56CAB1A973899 Time : 0.0 sec. user=mdettweiler [2013-07-17 09:04:01] 801*2^1247789-1 is not prime. Res64: 1487F71557AC8CF5 Time : 0.0 sec. user=mdettweiler [2013-07-17 09:04:02] 855*2^1247789-1 is not prime. Res64: 7AF8BB38BA3C2D16 Time : 0.0 sec. user=mdettweiler [2013-07-17 09:22:56] 955*2^1247789-1 is not prime. Res64: F19588EAA937792B Time : 0.0 sec. user=mdettweiler [2013-07-17 09:22:56] 987*2^1247789-1 is not prime. Res64: 2350A5F48B60827B Time : 0.0 sec. user=mdettweiler [2013-07-17 09:39:59] 707*2^1247790-1 is not prime. Res64: 64B2E0CD9F56D6A9 Time : 0.0 sec. user=mdettweiler [2013-07-17 09:39:59] 891*2^1247790-1 is not prime. Res64: 87408F5C76A47CE2 Time : 0.0 sec. user=mdettweiler [2013-07-17 09:57:12] 933*2^1247790-1 is not prime. Res64: BFC0C327FABF777D Time : 0.0 sec. user=mdettweiler [2013-07-17 09:57:12] 619*2^1247791-1 is not prime. Res64: 694829C9358D83E6 Time : 0.0 sec. user=mdettweiler [2013-07-17 10:14:59] 703*2^1247791-1 is not prime. Res64: D0AA171DF80A11AE Time : 0.0 sec. user=mdettweiler [2013-07-17 10:15:00] 723*2^1247791-1 is not prime. Res64: D9113DF469BFA18C Time : 0.0 sec. user=mdettweiler [2013-07-17 10:32:29] 805*2^1247791-1 is not prime. Res64: BF08C02BC0776689 Time : 0.0 sec. user=mdettweiler [2013-07-17 10:32:30] 931*2^1247791-1 is not prime. Res64: 596D78033BE5661E Time : 0.0 sec. user=mdettweiler [2013-07-17 10:51:16] 951*2^1247791-1 is not prime. Res64: C783722CBFD4CA2F Time : 0.0 sec. user=mdettweiler [2013-07-17 10:51:17] 969*2^1247791-1 is not prime. Res64: 7C44B3227C2F0136 Time : 0.0 sec. user=mdettweiler [2013-07-17 11:08:30] 615*2^1247792-1 is not prime. Res64: D84321E7559BB037 Time : 0.0 sec. user=mdettweiler [2013-07-17 11:08:31] 675*2^1247792-1 is not prime. Res64: 976B84D26EE77A88 Time : 0.0 sec. user=mdettweiler [2013-07-17 11:25:48] 717*2^1247792-1 is not prime. Res64: CF8744347C86189B Time : 0.0 sec. user=mdettweiler [2013-07-17 11:25:49] 735*2^1247792-1 is not prime. Res64: 3133A0575FCDEC34 Time : 0.0 sec. user=mdettweiler [2013-07-17 11:43:09] 785*2^1247792-1 is not prime. Res64: 111F836965279F4F Time : 0.0 sec. user=mdettweiler [2013-07-17 11:43:09] 827*2^1247792-1 is not prime. Res64: F22AA809D0EAC98A Time : 0.0 sec. user=mdettweiler [2013-07-17 12:00:41] 651*2^1247793-1 is not prime. Res64: 31A603415B988E99 Time : 0.0 sec. user=mdettweiler [2013-07-17 12:00:41] 805*2^1247793-1 is not prime. Res64: 836DD680A497367E Time : 0.0 sec. user=juhehe [2013-07-17 12:14:31] 615*2^1247793-1 is not prime. Res64: 457263ACA6AC7A27 Time : 0.0 sec. user=mdettweiler [2013-07-17 12:18:40] 605*2^1247794-1 is not prime. Res64: C05276DA4A6AE723 Time : 0.0 sec. user=mdettweiler [2013-07-17 12:18:40] 611*2^1247794-1 is not prime. Res64: F0A098FD51851C14 Time : 0.0 sec. user=mdettweiler [2013-07-17 12:36:29] 701*2^1247794-1 is not prime. Res64: F7D71A3C010BD003 Time : 0.0 sec. user=mdettweiler [2013-07-17 12:36:29] 813*2^1247794-1 is not prime. Res64: B30B0DC4D907C6CF Time : 0.0 sec. user=mdettweiler [2013-07-17 12:55:09] 857*2^1247794-1 is not prime. Res64: E4DEFC0C84DE0B23 Time : 0.0 sec. user=mdettweiler [2013-07-17 12:55:10] 975*2^1247794-1 is not prime. Res64: 534B98DE568CB598 Time : 0.0 sec. user=juhehe [2013-07-17 12:57:29] 657*2^1247794-1 is not prime. Res64: 4C3C9030E9404840 Time : 0.0 sec. user=mdettweiler [2013-07-17 13:13:47] 987*2^1247794-1 is not prime. Res64: 052F27793FA1E5F1 Time : 0.0 sec. user=mdettweiler [2013-07-17 13:13:48] 673*2^1247795-1 is not prime. Res64: 2C18E04D29A52BFA Time : 0.0 sec. user=mdettweiler [2013-07-17 13:31:20] 783*2^1247795-1 is not prime. Res64: B1556C3112CC659A Time : 0.0 sec. user=mdettweiler [2013-07-17 13:31:20] 829*2^1247795-1 is not prime. Res64: CDE339D6A2ABF1DE Time : 0.0 sec. user=mdettweiler [2013-07-17 13:49:42] 913*2^1247795-1 is not prime. Res64: 51EAF3A2EB91DCF2 Time : 0.0 sec. user=mdettweiler [2013-07-17 13:49:42] 963*2^1247795-1 is not prime. Res64: F99643D2BE36C0CD Time : 0.0 sec. user=mdettweiler [2013-07-17 14:07:15] 707*2^1247796-1 is not prime. Res64: 21928F9B2F75D976 Time : 0.0 sec. user=mdettweiler [2013-07-17 14:07:16] 759*2^1247796-1 is not prime. Res64: 245EEE2628658997 Time : 0.0 sec. user=mdettweiler [2013-07-17 14:24:50] 779*2^1247796-1 is not prime. Res64: 7A68FB86984A7DA4 Time : 0.0 sec. user=mdettweiler [2013-07-17 14:24:50] 843*2^1247796-1 is not prime. Res64: 6E95891E19F88270 Time : 0.0 sec. user=mdettweiler [2013-07-17 14:42:22] 909*2^1247796-1 is not prime. Res64: CD8E62C153334012 Time : 0.0 sec. user=mdettweiler [2013-07-17 14:42:22] 691*2^1247797-1 is not prime. Res64: 1E213754289DA340 Time : 0.0 sec. user=mdettweiler [2013-07-17 15:00:11] 769*2^1247797-1 is not prime. Res64: EE7283C14B6E4310 Time : 0.0 sec. user=mdettweiler [2013-07-17 15:00:12] 819*2^1247797-1 is not prime. Res64: 0BD40502E5AEFA5B Time : 0.0 sec. user=mdettweiler [2013-07-17 15:18:09] 889*2^1247797-1 is not prime. Res64: 8C16F9AFF21469EA Time : 0.0 sec. user=mdettweiler [2013-07-17 15:18:10] 825*2^1247798-1 is not prime. Res64: 8ED9E608F7074661 Time : 0.0 sec. user=mdettweiler [2013-07-17 15:35:55] 861*2^1247798-1 is not prime. Res64: 7741006FB82F4BB3 Time : 0.0 sec. user=mdettweiler [2013-07-17 15:35:55] 885*2^1247798-1 is not prime. Res64: 98ADB92761E469C6 Time : 0.0 sec. user=mdettweiler [2013-07-17 15:53:36] 649*2^1247799-1 is not prime. Res64: E63807BB9883ED98 Time : 0.0 sec. user=mdettweiler [2013-07-17 15:53:36] 873*2^1247799-1 is not prime. Res64: 2B15D10E84D97BB2 Time : 0.0 sec. user=mdettweiler [2013-07-17 16:11:19] 635*2^1247800-1 is not prime. Res64: 842067500EF33FEB Time : 0.0 sec. user=mdettweiler [2013-07-17 16:11:20] 873*2^1247800-1 is not prime. Res64: 0DE07C14D5388207 Time : 0.0 sec. user=mdettweiler [2013-07-17 16:30:45] 957*2^1247800-1 is not prime. Res64: 1FA2684EE0F48715 Time : 0.0 sec. user=mdettweiler [2013-07-17 16:30:45] 995*2^1247800-1 is not prime. Res64: EF83CF47872B0F46 Time : 0.0 sec. user=mdettweiler [2013-07-17 16:48:24] 601*2^1247801-1 is not prime. Res64: 95741A5C6904A7C5 Time : 0.0 sec. user=mdettweiler [2013-07-17 16:48:24] 607*2^1247801-1 is not prime. Res64: 15BB97F4A24CAA4E Time : 0.0 sec. user=mdettweiler [2013-07-17 17:06:04] 697*2^1247801-1 is not prime. Res64: 2E7B99481792C783 Time : 0.0 sec. user=mdettweiler [2013-07-17 17:06:05] 735*2^1247801-1 is not prime. Res64: 1A1708CF6B218C76 Time : 0.0 sec. user=mdettweiler [2013-07-17 17:23:49] 861*2^1247801-1 is not prime. Res64: 6C3A360B37741DEA Time : 0.0 sec. user=mdettweiler [2013-07-17 17:23:49] 907*2^1247801-1 is not prime. Res64: BF85AFB5773239E7 Time : 0.0 sec. user=mdettweiler [2013-07-17 17:42:20] 939*2^1247801-1 is not prime. Res64: 1C8DD55261E83AAF Time : 0.0 sec. user=mdettweiler [2013-07-17 17:42:20] 957*2^1247801-1 is not prime. Res64: C431E868C5119CF3 Time : 0.0 sec. user=mdettweiler [2013-07-17 18:00:53] 997*2^1247801-1 is not prime. Res64: CF4D568D5F8793B7 Time : 0.0 sec. user=mdettweiler [2013-07-17 18:00:54] 681*2^1247802-1 is not prime. Res64: 192EBE3D8AB020F3 Time : 0.0 sec. user=mdettweiler [2013-07-17 18:19:41] 983*2^1247802-1 is not prime. Res64: 1CC5D4BF48F7DD16 Time : 0.0 sec. user=mdettweiler [2013-07-17 18:19:41] 685*2^1247803-1 is not prime. Res64: 187997970595C1C8 Time : 0.0 sec. user=mdettweiler [2013-07-17 18:37:22] 703*2^1247803-1 is not prime. Res64: 69AC55256DB38B37 Time : 0.0 sec. user=mdettweiler [2013-07-17 18:37:23] 835*2^1247803-1 is not prime. Res64: 152FA4EFF9346BF0 Time : 0.0 sec. user=mdettweiler [2013-07-17 18:56:04] 849*2^1247803-1 is not prime. Res64: 5AAFE625042E26C1 Time : 0.0 sec. user=mdettweiler [2013-07-17 18:56:04] 951*2^1247803-1 is not prime. Res64: D21C0863CDCD3A1B Time : 0.0 sec. user=mdettweiler [2013-07-17 19:13:46] 699*2^1247804-1 is not prime. Res64: 72C9E96A53289E46 Time : 0.0 sec. user=mdettweiler [2013-07-17 19:13:46] 725*2^1247804-1 is not prime. Res64: 4B66A0338B46FD85 Time : 0.0 sec. user=mdettweiler [2013-07-17 19:31:54] 873*2^1247804-1 is not prime. Res64: 1C240D71C34465A0 Time : 0.0 sec. user=mdettweiler [2013-07-17 19:31:55] 903*2^1247804-1 is not prime. Res64: 000D204B61490617 Time : 0.0 sec. user=mdettweiler [2013-07-17 19:50:48] 995*2^1247804-1 is not prime. Res64: D75927438B67D487 Time : 0.0 sec. user=mdettweiler [2013-07-17 19:50:49] 667*2^1247805-1 is not prime. Res64: 947774822BAFAA83 Time : 0.0 sec. user=mdettweiler [2013-07-17 20:08:49] 669*2^1247805-1 is not prime. Res64: 8F4EEA12B9656964 Time : 0.0 sec. user=mdettweiler [2013-07-17 20:08:50] 787*2^1247805-1 is not prime. Res64: EC548BFB00369CD7 Time : 0.0 sec. user=mdettweiler [2013-07-17 20:26:53] 885*2^1247805-1 is not prime. Res64: 5B2A5D4C6F70E9AA Time : 0.0 sec. user=mdettweiler [2013-07-17 20:26:53] 919*2^1247805-1 is not prime. Res64: EB100CEC6BAE7CF8 Time : 0.0 sec. user=mdettweiler [2013-07-17 20:44:49] 927*2^1247805-1 is not prime. Res64: 1EC7012352D16248 Time : 0.0 sec. user=mdettweiler [2013-07-17 20:44:49] 937*2^1247805-1 is not prime. Res64: 09D273A0A1C632D5 Time : 0.0 sec. user=mdettweiler [2013-07-17 21:02:49] 647*2^1247806-1 is not prime. Res64: 03475C6DCD647ECF Time : 0.0 sec. user=mdettweiler [2013-07-17 21:02:51] 653*2^1247806-1 is not prime. Res64: 0BF2027A5538186F Time : 0.0 sec. user=mdettweiler [2013-07-17 21:21:11] 675*2^1247806-1 is not prime. Res64: 2E2076331E34DB87 Time : 0.0 sec. user=mdettweiler [2013-07-17 21:21:11] 747*2^1247806-1 is not prime. Res64: 35C84850B4DCCB1E Time : 0.0 sec. user=mdettweiler [2013-07-17 21:38:40] 773*2^1247806-1 is not prime. Res64: BC6C4824C934997E Time : 0.0 sec. user=mdettweiler [2013-07-17 21:38:40] 815*2^1247806-1 is not prime. Res64: EC4C48906F57E72D Time : 0.0 sec. user=mdettweiler [2013-07-17 21:55:48] 843*2^1247806-1 is not prime. Res64: 31F613753BBBD18E Time : 0.0 sec. user=mdettweiler [2013-07-17 21:55:49] 705*2^1247807-1 is not prime. Res64: B232547B9963DEF2 Time : 0.0 sec. user=mdettweiler [2013-07-17 22:13:01] 775*2^1247807-1 is not prime. Res64: E242491592CF6D75 Time : 0.0 sec. user=mdettweiler [2013-07-17 22:13:02] 805*2^1247807-1 is not prime. Res64: D4E43899CC44F7DC Time : 0.0 sec. user=mdettweiler [2013-07-17 22:30:05] 819*2^1247807-1 is not prime. Res64: 2A51969575979957 Time : 0.0 sec. user=mdettweiler [2013-07-17 22:30:06] 657*2^1247808-1 is not prime. Res64: 6E207029620EC9E3 Time : 0.0 sec. user=mdettweiler [2013-07-17 22:47:09] 735*2^1247808-1 is not prime. Res64: 70D93CF7641B2779 Time : 0.0 sec. user=mdettweiler [2013-07-17 22:47:09] 899*2^1247808-1 is not prime. Res64: E1A54B6968DB4E54 Time : 0.0 sec. user=mdettweiler [2013-07-17 23:04:12] 667*2^1247809-1 is not prime. Res64: 684EFBBCF0C365A8 Time : 0.0 sec. user=mdettweiler [2013-07-17 23:04:14] 705*2^1247809-1 is not prime. Res64: 823D843E0C07DBF3 Time : 0.0 sec. user=mdettweiler [2013-07-17 23:21:22] 741*2^1247809-1 is not prime. Res64: 5625BF946C51C19E Time : 0.0 sec. user=mdettweiler [2013-07-17 23:21:22] 807*2^1247809-1 is not prime. Res64: 672B29BCF0B22F88 Time : 0.0 sec. user=mdettweiler [2013-07-17 23:38:31] 831*2^1247809-1 is not prime. Res64: 110A98234B2D0C00 Time : 0.0 sec. user=mdettweiler [2013-07-17 23:38:32] 877*2^1247809-1 is not prime. Res64: 9C0F9E540EA5A192 Time : 0.0 sec. user=mdettweiler [2013-07-17 23:56:23] 895*2^1247809-1 is not prime. Res64: 38AFF931B809D51B Time : 0.0 sec. user=mdettweiler [2013-07-17 23:56:23] 997*2^1247809-1 is not prime. Res64: 03A0125734CF2015 Time : 0.0 sec.