user=mdettweiler [2012-10-23 00:02:24] 649*2^1232997-1 is not prime. Res64: 979B1426957E1E07 Time : 0.0 sec. user=mdettweiler [2012-10-23 00:04:29] 889*2^1232997-1 is not prime. Res64: 02FBE0890863C53B Time : 0.0 sec. user=mdettweiler [2012-10-23 00:04:30] 937*2^1232997-1 is not prime. Res64: FB63B3019E5DFE8C Time : 0.0 sec. user=vaughan [2012-10-23 00:04:56] 621*2^1232997-1 is not prime. Res64: EAA7AE12771CD9FE Time : 0.0 sec. user=mdettweiler [2012-10-23 00:25:24] 949*2^1232997-1 is not prime. Res64: 706BB5FD77CA1B04 Time : 0.0 sec. user=mdettweiler [2012-10-23 00:25:25] 985*2^1232997-1 is not prime. Res64: A262582F96188BAA Time : 0.0 sec. user=vaughan [2012-10-23 00:42:38] 991*2^1232997-1 is not prime. Res64: 0E7EFAEBD525F158 Time : 0.0 sec. user=mdettweiler [2012-10-23 00:46:26] 617*2^1232998-1 is not prime. Res64: 5ED3792D51F3C143 Time : 0.0 sec. user=mdettweiler [2012-10-23 00:46:27] 751*2^1232997-1 is not prime. Res64: 82D6C2805B632425 Time : 0.0 sec. user=mdettweiler [2012-10-23 01:07:10] 677*2^1232998-1 is not prime. Res64: 477FF1ED64C97162 Time : 0.0 sec. user=mdettweiler [2012-10-23 01:07:30] 681*2^1232998-1 is not prime. Res64: E4183546803873D4 Time : 0.0 sec. user=mdettweiler [2012-10-23 01:18:52] 621*2^1232998-1 is not prime. Res64: CA4090B18764DB91 Time : 0.0 sec. user=vaughan [2012-10-23 01:20:50] 663*2^1232998-1 is not prime. Res64: 1D042FA7F86B87A3 Time : 0.0 sec. user=mdettweiler [2012-10-23 02:13:01] 731*2^1232998-1 is not prime. Res64: 4ED5BACD363C364F Time : 0.0 sec. user=mdettweiler [2012-10-23 02:21:49] 857*2^1232998-1 is not prime. Res64: 6DE633ACDE1473F7 Time : 0.0 sec. user=vaughan [2012-10-23 02:34:09] 765*2^1232998-1 is not prime. Res64: 770C8BD6979BC326 Time : 0.0 sec. user=mdettweiler [2012-10-23 02:40:18] 737*2^1232998-1 is not prime. Res64: 73C82F661FC23E60 Time : 0.0 sec. user=mdettweiler [2012-10-23 03:05:12] 945*2^1232998-1 is not prime. Res64: 393C74ACB12CACBF Time : 0.0 sec. user=vaughan [2012-10-23 03:12:10] 1001*2^1232998-1 is not prime. Res64: 371387E1EA990886 Time : 0.0 sec. user=mdettweiler [2012-10-23 03:21:48] 601*2^1232999-1 is not prime. Res64: 83BAA0A95FF04643 Time : 0.0 sec. user=mdettweiler [2012-10-23 03:21:48] 619*2^1232999-1 is not prime. Res64: 24C77C48BD515FB9 Time : 0.0 sec. user=mdettweiler [2012-10-23 03:42:53] 661*2^1232999-1 is not prime. Res64: 9D1A67BEC874C27D Time : 0.0 sec. user=vaughan [2012-10-23 03:50:24] 645*2^1232999-1 is not prime. Res64: 52160C399A9A496D Time : 0.0 sec. user=mdettweiler [2012-10-23 03:53:07] 675*2^1232999-1 is not prime. Res64: BCAF1EE389D57D1C Time : 0.0 sec. user=mdettweiler [2012-10-23 03:53:07] 931*2^1232999-1 is not prime. Res64: E57FB2A380F3C55F Time : 0.0 sec. user=mdettweiler [2012-10-23 04:14:06] 943*2^1232999-1 is not prime. Res64: 65A68373FE8BF547 Time : 0.0 sec. user=mdettweiler [2012-10-23 04:17:00] 669*2^1232999-1 is not prime. Res64: F5342327A19C0F49 Time : 0.0 sec. user=mdettweiler [2012-10-23 04:55:47] 949*2^1232999-1 is not prime. Res64: 15CA733BEDC53021 Time : 0.0 sec. user=vaughan [2012-10-23 05:03:48] 955*2^1232999-1 is not prime. Res64: 0C56D21695A664F2 Time : 0.0 sec. user=mdettweiler [2012-10-23 05:09:23] 979*2^1232999-1 is not prime. Res64: F80CEAAB3455C101 Time : 0.0 sec. user=mdettweiler [2012-10-23 05:09:28] 689*2^1233000-1 is not prime. Res64: C83095B8ACFC27A7 Time : 0.0 sec. user=mdettweiler [2012-10-23 05:16:31] 699*2^1233000-1 is not prime. Res64: 6C65B3ACBD3F7D31 Time : 0.0 sec. user=mdettweiler [2012-10-23 05:16:34] 719*2^1233000-1 is not prime. Res64: 7D55DD264DF27E3D Time : 0.0 sec. user=mdettweiler [2012-10-23 05:30:31] 773*2^1233000-1 is not prime. Res64: 7D57D852EA7C4F99 Time : 0.0 sec. user=mdettweiler [2012-10-23 05:37:38] 893*2^1233000-1 is not prime. Res64: BE12F9F27FDEE488 Time : 0.0 sec. user=mdettweiler [2012-10-23 05:37:38] 933*2^1233000-1 is not prime. Res64: BDE631FDED229FC5 Time : 0.0 sec. user=vaughan [2012-10-23 05:41:53] 765*2^1233000-1 is not prime. Res64: EFA958DAF9109B9A Time : 0.0 sec. user=mdettweiler [2012-10-23 05:51:05] 849*2^1233000-1 is not prime. Res64: 02F2E9FBE7895145 Time : 0.0 sec. user=mdettweiler [2012-10-23 05:58:47] 999*2^1233000-1 is not prime. Res64: 9E2A1A55509070CE Time : 0.0 sec. user=mdettweiler [2012-10-23 05:58:47] 619*2^1233001-1 is not prime. Res64: 0C38FC9EC3EBE16D Time : 0.0 sec. user=mdettweiler [2012-10-23 06:11:49] 715*2^1233001-1 is not prime. Res64: FA0991392397127F Time : 0.0 sec. user=mdettweiler [2012-10-23 06:11:51] 801*2^1233001-1 is not prime. Res64: A99EF7CE42704566 Time : 0.0 sec. user=mdettweiler [2012-10-23 06:19:37] 817*2^1233001-1 is not prime. Res64: B6DF04B2B7C88A50 Time : 0.0 sec. user=mdettweiler [2012-10-23 06:19:39] 877*2^1233001-1 is not prime. Res64: 5A97765351336A0A Time : 0.0 sec. user=mdettweiler [2012-10-23 06:32:49] 665*2^1233002-1 is not prime. Res64: FD4F2DD587CB3074 Time : 0.0 sec. user=mdettweiler [2012-10-23 06:32:50] 683*2^1233002-1 is not prime. Res64: 16660950BB7FB668 Time : 0.0 sec. user=mdettweiler [2012-10-23 06:40:44] 797*2^1233002-1 is not prime. Res64: A8076B59D64974DB Time : 0.0 sec. user=mdettweiler [2012-10-23 06:40:44] 875*2^1233002-1 is not prime. Res64: 16E3D890DDC294C1 Time : 0.0 sec. user=mdettweiler [2012-10-23 06:53:51] 921*2^1233002-1 is not prime. Res64: 62533C4C6F5BC2FC Time : 0.0 sec. user=vaughan [2012-10-23 06:55:30] 713*2^1233002-1 is not prime. Res64: D3CDA7FFCF1F429E Time : 0.0 sec. user=mdettweiler [2012-10-23 07:01:33] 625*2^1233003-1 is not prime. Res64: 6D80423385D61E89 Time : 0.0 sec. user=mdettweiler [2012-10-23 07:01:35] 769*2^1233003-1 is not prime. Res64: 476E1EE1064385AA Time : 0.0 sec. user=mdettweiler [2012-10-23 07:22:57] 775*2^1233003-1 is not prime. Res64: 10E8AE44DB16EAED Time : 0.0 sec. user=mdettweiler [2012-10-23 07:36:44] 615*2^1233003-1 is not prime. Res64: DE5C9D5FA0BDB0D0 Time : 0.0 sec. user=mdettweiler [2012-10-23 07:53:03] 891*2^1233003-1 is not prime. Res64: B1327AE1A082FEF8 Time : 0.0 sec. user=mdettweiler [2012-10-23 07:57:57] 663*2^1233004-1 is not prime. Res64: 2124C673FADFDDA5 Time : 0.0 sec. user=vaughan [2012-10-23 08:08:58] 919*2^1233003-1 is not prime. Res64: 0DC951DEBEFA7F97 Time : 0.0 sec. user=mdettweiler [2012-10-23 08:13:50] 723*2^1233004-1 is not prime. Res64: 7A86AF98F95725B7 Time : 0.0 sec. user=mdettweiler [2012-10-23 08:13:51] 869*2^1233004-1 is not prime. Res64: 37D106FA811B0B52 Time : 0.0 sec. user=mdettweiler [2012-10-23 08:34:48] 959*2^1233004-1 is not prime. Res64: 6C5D85C3EAC026AC Time : 0.0 sec. user=mdettweiler [2012-10-23 08:34:49] 989*2^1233004-1 is not prime. Res64: EF433A78587A8E43 Time : 0.0 sec. user=mdettweiler [2012-10-23 08:39:20] 687*2^1233004-1 is not prime. Res64: 2BE80404D6AEAC1C Time : 0.0 sec. user=vaughan [2012-10-23 08:46:58] 927*2^1233004-1 is not prime. Res64: A75ADF6C472AB25B Time : 0.0 sec. user=mdettweiler [2012-10-23 08:55:46] 607*2^1233005-1 is not prime. Res64: 78442CF110FD5193 Time : 0.0 sec. user=mdettweiler [2012-10-23 09:22:28] 847*2^1233005-1 is not prime. Res64: F4D7EC10893FA91D Time : 0.0 sec. user=vaughan [2012-10-23 09:25:09] 955*2^1233005-1 is not prime. Res64: 716BBFEDDFB02E06 Time : 0.0 sec. user=mdettweiler [2012-10-23 09:39:14] 987*2^1233005-1 is not prime. Res64: AE7D0A1DC20AC10D Time : 0.0 sec. user=mdettweiler [2012-10-23 09:39:15] 615*2^1233006-1 is not prime. Res64: 07026E59690DB2AE Time : 0.0 sec. user=mdettweiler [2012-10-23 10:00:07] 755*2^1233006-1 is not prime. Res64: 30BED1A44193E403 Time : 0.0 sec. user=mdettweiler [2012-10-23 10:00:10] 765*2^1233006-1 is not prime. Res64: A25A0B436585AE05 Time : 0.0 sec. user=mdettweiler [2012-10-23 10:20:56] 767*2^1233006-1 is not prime. Res64: 0D0453207043B32C Time : 0.0 sec. user=mdettweiler [2012-10-23 10:20:57] 843*2^1233006-1 is not prime. Res64: D203F261FED4EB94 Time : 0.0 sec. user=mdettweiler [2012-10-23 10:22:56] 917*2^1233006-1 is not prime. Res64: F10101FCF21977F7 Time : 0.0 sec. user=vaughan [2012-10-23 10:38:58] 873*2^1233006-1 is not prime. Res64: DF8374376C125353 Time : 0.0 sec. user=mdettweiler [2012-10-23 10:42:19] 601*2^1233007-1 is not prime. Res64: BD130B5D9D858DBC Time : 0.0 sec. user=mdettweiler [2012-10-23 10:57:16] 983*2^1233006-1 is not prime. Res64: 9E7838329857801F Time : 0.0 sec. user=mdettweiler [2012-10-23 11:04:10] 625*2^1233007-1 is not prime. Res64: F7721CD6F49113EE Time : 0.0 sec. user=vaughan [2012-10-23 11:52:59] 645*2^1233007-1 is not prime. Res64: 85BC2A2890805B73 Time : 0.0 sec. user=mdettweiler [2012-10-23 12:09:57] 751*2^1233007-1 is not prime. Res64: 807BFA0B07022EC7 Time : 0.0 sec. user=mdettweiler [2012-10-23 12:17:27] 939*2^1233007-1 is not prime. Res64: E652443F8D3C87A7 Time : 0.0 sec. user=vaughan [2012-10-23 12:31:04] 859*2^1233007-1 is not prime. Res64: 55C84296A9377A8F Time : 0.0 sec. user=mdettweiler [2012-10-23 12:37:07] 645*2^1233008-1 is not prime. Res64: B4A37DF23DAF487B Time : 0.0 sec. user=mdettweiler [2012-10-23 12:42:37] 831*2^1233007-1 is not prime. Res64: 3D5262B9F57F50AF Time : 0.0 sec. user=mdettweiler [2012-10-23 12:57:51] 657*2^1233008-1 is not prime. Res64: 0037EF393140D78C Time : 0.0 sec. user=mdettweiler [2012-10-23 12:57:52] 669*2^1233008-1 is not prime. Res64: 0011D98357C42EA2 Time : 0.0 sec. user=mdettweiler [2012-10-23 13:18:35] 687*2^1233008-1 is not prime. Res64: 9E1A0C3A600023B6 Time : 0.0 sec. user=mdettweiler [2012-10-23 13:18:52] 743*2^1233008-1 is not prime. Res64: A32EEEB94BAE616C Time : 0.0 sec. user=mdettweiler [2012-10-23 13:37:24] 825*2^1233008-1 is not prime. Res64: ECAE747FE29A59AF Time : 0.0 sec. user=vaughan [2012-10-23 13:44:45] 803*2^1233008-1 is not prime. Res64: 7C9639891DC9EB2D Time : 0.0 sec. user=mdettweiler [2012-10-23 14:15:12] 839*2^1233008-1 is not prime. Res64: 3C6DCB40E71A8ED4 Time : 0.0 sec. user=vaughan [2012-10-23 14:22:34] 845*2^1233008-1 is not prime. Res64: 9324D082A9026FAF Time : 0.0 sec. user=mdettweiler [2012-10-23 14:24:03] 657*2^1233009-1 is not prime. Res64: AD454E298CFA15F9 Time : 0.0 sec. user=mdettweiler [2012-10-23 14:24:03] 669*2^1233009-1 is not prime. Res64: 8B1794A68183B659 Time : 0.0 sec. user=mdettweiler [2012-10-23 14:36:34] 685*2^1233009-1 is not prime. Res64: 2733CAEB551CC1D3 Time : 0.0 sec. user=mdettweiler [2012-10-23 14:36:35] 829*2^1233009-1 is not prime. Res64: 4AFB46A31E23582F Time : 0.0 sec. user=mdettweiler [2012-10-23 14:45:17] 895*2^1233009-1 is not prime. Res64: B9DC139414729CC9 Time : 0.0 sec. user=mdettweiler [2012-10-23 14:57:47] 773*2^1233010-1 is not prime. Res64: 1BE43D8EEFDA4ECB Time : 0.0 sec. user=vaughan [2012-10-23 15:00:20] 847*2^1233009-1 is not prime. Res64: DDB6009597E6F66E Time : 0.0 sec. user=mdettweiler [2012-10-23 15:29:14] 645*2^1233010-1 is not prime. Res64: B54FFE83B557AC53 Time : 0.0 sec. user=vaughan [2012-10-23 15:38:31] 619*2^1233011-1 is not prime. Res64: A26407A15148DDBA Time : 0.0 sec. user=mdettweiler [2012-10-23 15:43:46] 887*2^1233010-1 is not prime. Res64: AEA2607ED10A2281 Time : 0.0 sec. user=mdettweiler [2012-10-23 16:05:10] 703*2^1233011-1 is not prime. Res64: 73213A1751831F90 Time : 0.0 sec. user=mdettweiler [2012-10-23 16:05:11] 759*2^1233011-1 is not prime. Res64: 348A9390F5CEB153 Time : 0.0 sec. user=mdettweiler [2012-10-23 16:10:58] 913*2^1233011-1 is not prime. Res64: 08485E3C7B366186 Time : 0.0 sec. user=mdettweiler [2012-10-23 16:10:58] 609*2^1233012-1 is not prime. Res64: 6D91B95953DFF31F Time : 0.0 sec. user=vaughan [2012-10-23 16:16:41] 693*2^1233011-1 is not prime. Res64: 10078B782E850E65 Time : 0.0 sec. user=mdettweiler [2012-10-23 16:26:43] 633*2^1233012-1 is not prime. Res64: 8883D5A19EAD4F24 Time : 0.0 sec. user=mdettweiler [2012-10-23 16:26:44] 665*2^1233012-1 is not prime. Res64: E14F5926814B923B Time : 0.0 sec. user=mdettweiler [2012-10-23 16:32:30] 675*2^1233012-1 is not prime. Res64: 3ECDB8081FA1C0D3 Time : 0.0 sec. user=mdettweiler [2012-10-23 16:48:22] 747*2^1233013-1 is not prime. Res64: A9394CA47D7E85E5 Time : 0.0 sec. user=mdettweiler [2012-10-23 16:48:22] 775*2^1233013-1 is not prime. Res64: 3DFE9557FBC9D783 Time : 0.0 sec. user=vaughan [2012-10-23 16:54:56] 929*2^1233012-1 is not prime. Res64: 17AC6204B5E6F1CF Time : 0.0 sec. user=mdettweiler [2012-10-23 17:10:25] 889*2^1233013-1 is not prime. Res64: 6E0A539E6DEC3001 Time : 0.0 sec. user=mdettweiler [2012-10-23 17:17:21] 797*2^1233012-1 is not prime. Res64: FD3FA673687BB6BB Time : 0.0 sec. user=vaughan [2012-10-23 17:32:44] 663*2^1233014-1 is not prime. Res64: 576D0BD02E7AF3BF Time : 0.0 sec. user=mdettweiler [2012-10-23 18:05:41] 979*2^1233013-1 is not prime. Res64: 465F050EAD134C46 Time : 0.0 sec. user=mdettweiler [2012-10-23 18:10:04] 677*2^1233014-1 is not prime. Res64: 193A42CF89C86BD8 Time : 0.0 sec. user=mdettweiler [2012-10-23 18:10:25] 705*2^1233014-1 is not prime. Res64: 587EB052C671E6AD Time : 0.0 sec. user=vaughan [2012-10-23 18:10:50] 665*2^1233014-1 is not prime. Res64: 7178044259601019 Time : 0.0 sec. user=vaughan [2012-10-23 18:48:46] 707*2^1233014-1 is not prime. Res64: CB0A7F2C549D3C6A Time : 0.0 sec. user=mdettweiler [2012-10-23 19:11:20] 785*2^1233014-1 is not prime. Res64: CF32E68DE50D911E Time : 0.0 sec. user=mdettweiler [2012-10-23 19:11:22] 797*2^1233014-1 is not prime. Res64: C6A4456078470381 Time : 0.0 sec. user=mdettweiler [2012-10-23 19:19:59] 917*2^1233014-1 is not prime. Res64: 0EF6305537C8CF2F Time : 0.0 sec. user=mdettweiler [2012-10-23 19:19:59] 619*2^1233015-1 is not prime. Res64: A4F5DE64B9BC9C3B Time : 0.0 sec. user=vaughan [2012-10-23 19:26:36] 753*2^1233014-1 is not prime. Res64: 6716F692C20C7B7D Time : 0.0 sec. user=mdettweiler [2012-10-23 19:33:06] 633*2^1233015-1 is not prime. Res64: 0F7AC3638C9643DD Time : 0.0 sec. user=mdettweiler [2012-10-23 19:33:06] 679*2^1233015-1 is not prime. Res64: 10FE8DF9C79D6EEC Time : 0.0 sec. user=mdettweiler [2012-10-23 19:41:37] 775*2^1233015-1 is not prime. Res64: 4F9A3706BB2700EB Time : 0.0 sec. user=mdettweiler [2012-10-23 19:41:39] 861*2^1233015-1 is not prime. Res64: 42D54F32D5E9BEA7 Time : 0.0 sec. user=mdettweiler [2012-10-23 19:54:24] 891*2^1233015-1 is not prime. Res64: 02198795C55DC4BA Time : 0.0 sec. user=mdettweiler [2012-10-23 19:54:25] 909*2^1233015-1 is not prime. Res64: BB886212FE1681D0 Time : 0.0 sec. user=mdettweiler [2012-10-23 20:02:35] 985*2^1233015-1 is not prime. Res64: 863F7CDCC65B8DEB Time : 0.0 sec. user=mdettweiler [2012-10-23 20:02:36] 629*2^1233016-1 is not prime. Res64: 3F30305AF13A4AC4 Time : 0.0 sec. user=vaughan [2012-10-23 20:04:31] 865*2^1233015-1 is not prime. Res64: F920F370A1269B47 Time : 0.0 sec. user=mdettweiler [2012-10-23 20:15:27] 663*2^1233016-1 is not prime. Res64: 292304F8C5C1D18F Time : 0.0 sec. user=mdettweiler [2012-10-23 20:24:01] 779*2^1233016-1 is not prime. Res64: EAF741445D63456A Time : 0.0 sec. user=vaughan [2012-10-23 20:42:29] 905*2^1233016-1 is not prime. Res64: 4EAE79E91CC4FC13 Time : 0.0 sec. user=mdettweiler [2012-10-23 21:05:08] 855*2^1233016-1 is not prime. Res64: D1DFB698B72DD3DF Time : 0.0 sec. user=mdettweiler [2012-10-23 21:10:30] 695*2^1233016-1 is not prime. Res64: 4C0CDE9E9179A227 Time : 0.0 sec. user=mdettweiler [2012-10-23 21:26:42] 917*2^1233016-1 is not prime. Res64: 695FDDCC1E9C9864 Time : 0.0 sec. user=mdettweiler [2012-10-23 21:26:43] 939*2^1233016-1 is not prime. Res64: 9FE8E0502375B547 Time : 0.0 sec. user=mdettweiler [2012-10-23 21:31:43] 631*2^1233017-1 is not prime. Res64: 64B2E860AE832E61 Time : 0.0 sec. user=mdettweiler [2012-10-23 21:31:44] 637*2^1233017-1 is not prime. Res64: 9397545CB1A1FD70 Time : 0.0 sec. user=mdettweiler [2012-10-23 21:47:29] 909*2^1233017-1 is not prime. Res64: 15BF6FA8643702B0 Time : 0.0 sec. user=mdettweiler [2012-10-23 21:47:29] 991*2^1233017-1 is not prime. Res64: 5F817C8F18549E43 Time : 0.0 sec. user=mdettweiler [2012-10-23 21:53:05] 605*2^1233018-1 is not prime. Res64: 65F261C45F0F2676 Time : 0.0 sec. user=vaughan [2012-10-23 21:56:30] 697*2^1233017-1 is not prime. Res64: CDA62F405F1FCD1A Time : 0.0 sec. user=mdettweiler [2012-10-23 22:08:34] 803*2^1233018-1 is not prime. Res64: FF83235F21959A7C Time : 0.0 sec. user=mdettweiler [2012-10-23 22:08:35] 881*2^1233018-1 is not prime. Res64: FF0A91364A7BF5AE Time : 0.0 sec. user=mdettweiler [2012-10-23 22:29:44] 645*2^1233019-1 is not prime. Res64: A0CC8C475DF2045C Time : 0.0 sec. user=mdettweiler [2012-10-23 22:29:45] 765*2^1233019-1 is not prime. Res64: 87013D996BB21869 Time : 0.0 sec. user=vaughan [2012-10-23 22:34:15] 963*2^1233018-1 is not prime. Res64: E374501F6713D29E Time : 0.0 sec. user=mdettweiler [2012-10-23 22:34:47] 633*2^1233018-1 is not prime. Res64: 484C5E5B78E67E48 Time : 0.0 sec. user=mdettweiler [2012-10-23 22:50:31] 769*2^1233019-1 is not prime. Res64: 990C20C7F820F18D Time : 0.0 sec. user=mdettweiler [2012-10-23 22:50:32] 793*2^1233019-1 is not prime. Res64: BEFD301BF73D45CB Time : 0.0 sec. user=mdettweiler [2012-10-23 22:55:38] 835*2^1233019-1 is not prime. Res64: 29B3B5BA198325CF Time : 0.0 sec. user=mdettweiler [2012-10-23 22:55:39] 883*2^1233019-1 is not prime. Res64: 938ED47E82ABBB0C Time : 0.0 sec. user=mdettweiler [2012-10-23 23:11:56] 885*2^1233019-1 is not prime. Res64: 67C950CAA6A9C5FC Time : 0.0 sec. user=vaughan [2012-10-23 23:12:16] 829*2^1233019-1 is not prime. Res64: 7A385A266259FDE7 Time : 0.0 sec. user=mdettweiler [2012-10-23 23:16:28] 961*2^1233019-1 is not prime. Res64: 7F16326AB26A31D8 Time : 0.0 sec. user=mdettweiler [2012-10-23 23:16:33] 975*2^1233019-1 is not prime. Res64: 83722FE708EAE0E6 Time : 0.0 sec. user=mdettweiler [2012-10-23 23:33:30] 919*2^1233019-1 is not prime. Res64: CF59B6E87F7AA494 Time : 0.0 sec. user=mdettweiler [2012-10-23 23:37:54] 647*2^1233020-1 is not prime. Res64: FDD3CAC38A80350C Time : 0.0 sec. user=mdettweiler [2012-10-23 23:37:54] 665*2^1233020-1 is not prime. Res64: 7479AC675C75D4B1 Time : 0.0 sec. user=mdettweiler [2012-10-23 23:54:36] 719*2^1233020-1 is not prime. Res64: 3DA3D55C32188A2D Time : 0.0 sec. user=mdettweiler [2012-10-23 23:54:52] 795*2^1233020-1 is not prime. Res64: 37F94715F73640F8 Time : 0.0 sec. user=mdettweiler [2012-10-23 23:58:39] 839*2^1233020-1 is not prime. Res64: 513DE3EDD08FA0AC Time : 0.0 sec. user=mdettweiler [2012-10-23 23:58:40] 929*2^1233020-1 is not prime. Res64: 4BA06BD880756C60 Time : 0.0 sec.