user=vaughan [2014-08-31 01:45:22] 931*2^1336667-1 is not prime. Res64: EAAE83E9543DD9CF Time : 0.0 sec. user=vaughan [2014-08-31 01:45:25] 675*2^1336667-1 is not prime. Res64: E64D46B03CDD7FA5 Time : 0.0 sec. user=vaughan [2014-08-31 01:45:26] 873*2^1336666-1 is not prime. Res64: 76A83E950521D3EF Time : 0.0 sec. user=vaughan [2014-08-31 01:45:31] 619*2^1336667-1 is not prime. Res64: 1CB0FE3830D68B1E Time : 0.0 sec. user=vaughan [2014-08-31 01:49:30] 723*2^1336666-1 is not prime. Res64: 660004F42D997C87 Time : 0.0 sec. user=vaughan [2014-08-31 01:58:01] 815*2^1336666-1 is not prime. Res64: F71545743685B094 Time : 0.0 sec. user=vaughan [2014-08-31 02:10:33] 825*2^1336666-1 is not prime. Res64: B4F251E98DB9E0BF Time : 0.0 sec. user=mdettweiler [2014-08-31 02:21:19] 841*2^1336519-1 is not prime. Res64: FC54B1912759295D Time : 0.0 sec. user=mdettweiler [2014-08-31 02:21:20] 985*2^1336519-1 is not prime. Res64: 555806C43017132E Time : 0.0 sec. user=vaughan [2014-08-31 02:24:16] 843*2^1336666-1 is not prime. Res64: B3EB1097ECDB5A5F Time : 0.0 sec. user=mdettweiler [2014-08-31 02:27:17] 843*2^1336518-1 is not prime. Res64: 80A1B2BC11B167C2 Time : 0.0 sec. user=mdettweiler [2014-08-31 02:27:17] 601*2^1336519-1 is not prime. Res64: FBAB4F10FD6099CF Time : 0.0 sec. user=mdettweiler [2014-08-31 02:40:25] 963*2^1336523-1 is not prime. Res64: 02898D401BDCDA53 Time : 0.0 sec. user=mdettweiler [2014-08-31 02:40:26] 699*2^1336524-1 is not prime. Res64: FEE3A6DC9407BABD Time : 0.0 sec. user=vaughan [2014-08-31 02:43:15] 963*2^1336667-1 is not prime. Res64: 1FCD687109ACB1CB Time : 0.0 sec. user=mdettweiler [2014-08-31 02:45:14] 615*2^1336520-1 is not prime. Res64: 90112CBDB0C1F4DA Time : 0.0 sec. user=mdettweiler [2014-08-31 02:45:15] 645*2^1336520-1 is not prime. Res64: 4E6AE4F0206EE5C7 Time : 0.0 sec. user=mdettweiler [2014-08-31 02:49:00] 689*2^1336668-1 is not prime. Res64: 22D248738D7D0B7B Time : 0.0 sec. user=mdettweiler [2014-08-31 02:49:01] 707*2^1336668-1 is not prime. Res64: 57D27D5B59C47A82 Time : 0.0 sec. user=vaughan [2014-08-31 02:50:34] 993*2^1336667-1 is not prime. Res64: F48B4443F0126A0B Time : 0.0 sec. user=mdettweiler [2014-08-31 02:54:39] 765*2^1336668-1 is not prime. Res64: 7E5FF06D5F984C50 Time : 0.0 sec. user=mdettweiler [2014-08-31 02:54:40] 773*2^1336668-1 is not prime. Res64: 827A2C875EB805B6 Time : 0.0 sec. user=vaughan [2014-08-31 03:02:34] 669*2^1336668-1 is not prime. Res64: B6BAFD0C8506959A Time : 0.0 sec. user=mdettweiler [2014-08-31 03:06:56] 797*2^1336668-1 is not prime. Res64: 2B76EB42FA3066FF Time : 0.0 sec. user=mdettweiler [2014-08-31 03:06:56] 867*2^1336668-1 is not prime. Res64: 25E59C5747AF20A1 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:11:31] 745*2^1336669-1 is not prime. Res64: FC956ADF36F6A7A9 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:11:31] 759*2^1336669-1 is not prime. Res64: 465CB7807A51253E Time : 0.0 sec. user=mdettweiler [2014-08-31 03:15:16] 955*2^1336669-1 is not prime. Res64: C00D68931A256B76 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:15:17] 755*2^1336670-1 is not prime. Res64: BFA905E1611B23DF Time : 0.0 sec. user=vaughan [2014-08-31 03:16:48] 759*2^1336668-1 is not prime. Res64: 1058923576A16BAD Time : 0.0 sec. user=mdettweiler [2014-08-31 03:20:51] 897*2^1336670-1 is not prime. Res64: AAAC0F831D1A1B66 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:20:51] 935*2^1336670-1 is not prime. Res64: 34F56A93CFC6F122 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:33:14] 953*2^1336670-1 is not prime. Res64: 6635E00ECCBB78C8 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:33:16] 981*2^1336670-1 is not prime. Res64: BCDAA80517F77A5E Time : 0.0 sec. user=vaughan [2014-08-31 03:34:07] 927*2^1336668-1 is not prime. Res64: A39334FC801A8F4C Time : 0.0 sec. user=mdettweiler [2014-08-31 03:37:50] 609*2^1336671-1 is not prime. Res64: D340BD950B87C67E Time : 0.0 sec. user=mdettweiler [2014-08-31 03:37:50] 649*2^1336671-1 is not prime. Res64: CD85DCF53CDC657B Time : 0.0 sec. user=vaughan [2014-08-31 03:39:27] 791*2^1336670-1 is not prime. Res64: 3600DF53571EFFEE Time : 0.0 sec. user=mdettweiler [2014-08-31 03:41:33] 661*2^1336671-1 is not prime. Res64: 2115C68F736874A4 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:41:34] 999*2^1336671-1 is not prime. Res64: E4F97E6D1974628C Time : 0.0 sec. user=mdettweiler [2014-08-31 03:47:08] 657*2^1336672-1 is not prime. Res64: 3094E755D024DDB6 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:47:10] 939*2^1336672-1 is not prime. Res64: 55FFD50E0A4D6C90 Time : 0.0 sec. user=vaughan [2014-08-31 03:53:01] 941*2^1336670-1 is not prime. Res64: 875C6176AF155ACB Time : 0.0 sec. user=mdettweiler [2014-08-31 03:59:42] 999*2^1336672-1 is not prime. Res64: 61024713195924F2 Time : 0.0 sec. user=mdettweiler [2014-08-31 03:59:42] 615*2^1336673-1 is not prime. Res64: E776D0474A6BBE87 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:04:25] 789*2^1336673-1 is not prime. Res64: 8A1FCB23653F0DB3 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:04:26] 829*2^1336673-1 is not prime. Res64: 5A13F3D9ECDBB344 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:08:34] 657*2^1336674-1 is not prime. Res64: 4AACB053E3F86488 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:08:34] 815*2^1336674-1 is not prime. Res64: 483DA4273D3B514E Time : 0.0 sec. user=vaughan [2014-08-31 04:09:30] 605*2^1336672-1 is not prime. Res64: 79CCED9BA800DB8D Time : 0.0 sec. user=mdettweiler [2014-08-31 04:14:37] 875*2^1336674-1 is not prime. Res64: 4857DFB0048E190B Time : 0.0 sec. user=mdettweiler [2014-08-31 04:14:37] 917*2^1336674-1 is not prime. Res64: AADEC112EDE08FDB Time : 0.0 sec. user=vaughan [2014-08-31 04:24:57] 705*2^1336673-1 is not prime. Res64: AA8CE504CCC8D33E Time : 0.0 sec. user=mdettweiler [2014-08-31 04:27:35] 603*2^1336675-1 is not prime. Res64: E1917CE33863C9C6 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:27:35] 645*2^1336675-1 is not prime. Res64: F831FD3801A3AAF1 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:32:23] 679*2^1336675-1 is not prime. Res64: D52D28861541C86A Time : 0.0 sec. user=mdettweiler [2014-08-31 04:32:26] 733*2^1336675-1 is not prime. Res64: 3C9747592FFA1A20 Time : 0.0 sec. user=vaughan [2014-08-31 04:32:33] 635*2^1336674-1 is not prime. Res64: 603DFB85405AF0FB Time : 0.0 sec. user=mdettweiler [2014-08-31 04:36:21] 759*2^1336675-1 is not prime. Res64: 8241EC73884E6ADE Time : 0.0 sec. user=mdettweiler [2014-08-31 04:36:21] 789*2^1336675-1 is not prime. Res64: BF8755860C5216F4 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:41:54] 909*2^1336675-1 is not prime. Res64: 46727566A2B962A5 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:41:55] 669*2^1336676-1 is not prime. Res64: FB0C056CB51EF9FA Time : 0.0 sec. user=vaughan [2014-08-31 04:45:43] 951*2^1336674-1 is not prime. Res64: E210B8B764446494 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:54:33] 699*2^1336676-1 is not prime. Res64: D90489B00BCE00F9 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:54:33] 785*2^1336676-1 is not prime. Res64: 81695095D2905484 Time : 0.0 sec. user=vaughan [2014-08-31 04:58:44] 843*2^1336675-1 is not prime. Res64: C0F60BC6D28AFFD7 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:59:03] 843*2^1336676-1 is not prime. Res64: 132BC12E44A56FA5 Time : 0.0 sec. user=mdettweiler [2014-08-31 04:59:03] 649*2^1336677-1 is not prime. Res64: 10746E5305ED49FE Time : 0.0 sec. user=mdettweiler [2014-08-31 05:03:01] 837*2^1336677-1 is not prime. Res64: E04CA358D7B36CDD Time : 0.0 sec. user=mdettweiler [2014-08-31 05:03:02] 849*2^1336677-1 is not prime. Res64: 37EE7B5CE74FD0FE Time : 0.0 sec. user=mdettweiler [2014-08-31 05:08:04] 663*2^1336678-1 is not prime. Res64: 47016BB1D81CE2C7 Time : 0.0 sec. user=mdettweiler [2014-08-31 05:08:05] 747*2^1336678-1 is not prime. Res64: 167221CB548CC630 Time : 0.0 sec. user=vaughan [2014-08-31 05:17:33] 689*2^1336676-1 is not prime. Res64: DEB32F2F9704C61C Time : 0.0 sec. user=mdettweiler [2014-08-31 05:20:51] 981*2^1336678-1 is not prime. Res64: 03E1A97D5B3F940C Time : 0.0 sec. user=mdettweiler [2014-08-31 05:20:51] 643*2^1336679-1 is not prime. Res64: E7AD811A31664B6E Time : 0.0 sec. user=vaughan [2014-08-31 05:23:36] 651*2^1336677-1 is not prime. Res64: A04B658BD0B18560 Time : 0.0 sec. user=mdettweiler [2014-08-31 05:25:18] 829*2^1336679-1 is not prime. Res64: 9D12E838B1BFDFC2 Time : 0.0 sec. user=mdettweiler [2014-08-31 05:25:18] 931*2^1336679-1 is not prime. Res64: 1A70961843960667 Time : 0.0 sec. user=mdettweiler [2014-08-31 05:29:20] 939*2^1336679-1 is not prime. Res64: 942E9F55BE56A52B Time : 0.0 sec. user=mdettweiler [2014-08-31 05:29:20] 955*2^1336679-1 is not prime. Res64: 74703CA12D49C523 Time : 0.0 sec. user=mdettweiler [2014-08-31 05:34:17] 973*2^1336679-1 is not prime. Res64: 132E6FE141F9A91B Time : 0.0 sec. user=mdettweiler [2014-08-31 05:34:17] 629*2^1336680-1 is not prime. Res64: 99E25CA5CC5C9ECB Time : 0.0 sec. user=vaughan [2014-08-31 05:36:49] 975*2^1336678-1 is not prime. Res64: CA40833550DE9B5B Time : 0.0 sec. user=mdettweiler [2014-08-31 05:47:09] 843*2^1336680-1 is not prime. Res64: D7D9202B8B8419DC Time : 0.0 sec. user=mdettweiler [2014-08-31 05:47:09] 899*2^1336680-1 is not prime. Res64: BC18FC05A89EB615 Time : 0.0 sec. user=vaughan [2014-08-31 05:48:11] 711*2^1336679-1 is not prime. Res64: EE27391AED8D9A4C Time : 0.0 sec. user=mdettweiler [2014-08-31 05:51:31] 741*2^1336681-1 is not prime. Res64: E17FC4B86F473E50 Time : 0.0 sec. user=mdettweiler [2014-08-31 05:51:31] 745*2^1336681-1 is not prime. Res64: F5BFF9648E24519F Time : 0.0 sec. user=mdettweiler [2014-08-31 05:55:31] 871*2^1336681-1 is not prime. Res64: 7B79894A862750E4 Time : 0.0 sec. user=mdettweiler [2014-08-31 05:55:31] 877*2^1336681-1 is not prime. Res64: 3B9A10B81B908B5C Time : 0.0 sec. user=mdettweiler [2014-08-31 06:00:31] 931*2^1336681-1 is not prime. Res64: 8E84F31E4F80D640 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:00:32] 937*2^1336681-1 is not prime. Res64: 368C19D000FEA17C Time : 0.0 sec. user=vaughan [2014-08-31 06:05:49] 759*2^1336680-1 is not prime. Res64: C1207D5CE1A37DD3 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:13:19] 603*2^1336682-1 is not prime. Res64: 3B0EE45EFF73866B Time : 0.0 sec. user=mdettweiler [2014-08-31 06:13:20] 701*2^1336682-1 is not prime. Res64: 0082A6C4758FFC27 Time : 0.0 sec. user=vaughan [2014-08-31 06:15:29] 645*2^1336681-1 is not prime. Res64: F0386669AC0B88BF Time : 0.0 sec. user=mdettweiler [2014-08-31 06:17:45] 893*2^1336682-1 is not prime. Res64: 34C22BD3973D2F94 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:17:45] 963*2^1336682-1 is not prime. Res64: 91C8073FC6D08A75 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:21:43] 699*2^1336683-1 is not prime. Res64: BD9C25B1881637F7 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:21:44] 735*2^1336683-1 is not prime. Res64: 0E3E566E4CF37C51 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:26:46] 741*2^1336683-1 is not prime. Res64: 4023B0626E5A8CDA Time : 0.0 sec. user=mdettweiler [2014-08-31 06:26:46] 781*2^1336683-1 is not prime. Res64: F81F5C7A92314828 Time : 0.0 sec. user=vaughan [2014-08-31 06:36:23] 987*2^1336681-1 is not prime. Res64: FCA482894D81A9AC Time : 0.0 sec. user=mdettweiler [2014-08-31 06:39:32] 853*2^1336683-1 is not prime. Res64: 09E5943F4C856F1A Time : 0.0 sec. user=mdettweiler [2014-08-31 06:39:32] 921*2^1336683-1 is not prime. Res64: FF77A75BA90246D8 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:43:56] 605*2^1336684-1 is not prime. Res64: A0DD6625B9928CBF Time : 0.0 sec. user=mdettweiler [2014-08-31 06:43:56] 615*2^1336684-1 is not prime. Res64: 7B298A40535F6CFA Time : 0.0 sec. user=mdettweiler [2014-08-31 06:47:55] 825*2^1336684-1 is not prime. Res64: B60F6B7046D79508 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:47:56] 827*2^1336684-1 is not prime. Res64: 5EA56BCA8F0A8BDD Time : 0.0 sec. user=vaughan [2014-08-31 06:50:58] 867*2^1336682-1 is not prime. Res64: 6A5D9BCD47A99571 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:53:06] 855*2^1336684-1 is not prime. Res64: 95C0184E4C4A8562 Time : 0.0 sec. user=mdettweiler [2014-08-31 06:53:06] 903*2^1336684-1 is not prime. Res64: 92CD04BD8DDA184B Time : 0.0 sec. user=vaughan [2014-08-31 06:58:37] 793*2^1336683-1 is not prime. Res64: E504F62EFBCF7C6D Time : 0.0 sec. user=mdettweiler [2014-08-31 07:05:41] 697*2^1336685-1 is not prime. Res64: CD22D06873DD30D9 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:05:42] 757*2^1336685-1 is not prime. Res64: 4676A79F0222D7A2 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:10:10] 789*2^1336685-1 is not prime. Res64: 584B049868F1FABC Time : 0.0 sec. user=mdettweiler [2014-08-31 07:10:10] 925*2^1336685-1 is not prime. Res64: 2AB466AA13D0BFC1 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:14:12] 981*2^1336685-1 is not prime. Res64: 6997271C7E3749B3 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:14:13] 683*2^1336686-1 is not prime. Res64: 0AA53229D87508D7 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:19:17] 767*2^1336686-1 is not prime. Res64: AA9B99776551EB36 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:19:17] 917*2^1336686-1 is not prime. Res64: FDD55016723F1594 Time : 0.0 sec. user=vaughan [2014-08-31 07:23:33] 945*2^1336683-1 is not prime. Res64: E34F4A509FDFDAC1 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:32:01] 769*2^1336687-1 is not prime. Res64: 7460DCF1EE14018E Time : 0.0 sec. user=mdettweiler [2014-08-31 07:32:01] 859*2^1336687-1 is not prime. Res64: 64E1765421E62433 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:36:20] 871*2^1336687-1 is not prime. Res64: C7BB6376DE0A81A6 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:36:21] 945*2^1336687-1 is not prime. Res64: 3E9E6988AFA14759 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:40:38] 951*2^1336687-1 is not prime. Res64: 7C50C9C4FB0BF191 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:40:38] 617*2^1336688-1 is not prime. Res64: 56AA2A506FC36330 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:45:30] 645*2^1336688-1 is not prime. Res64: 24A4633E7C89F5F7 Time : 0.0 sec. user=mdettweiler [2014-08-31 07:45:30] 699*2^1336688-1 is not prime. Res64: 8EA4EF26BB543D1A Time : 0.0 sec. user=vaughan [2014-08-31 07:50:08] 705*2^1336686-1 is not prime. Res64: 0B4CADB40519655D Time : 0.0 sec. user=mdettweiler [2014-08-31 07:58:17] 819*2^1336688-1 is not prime. Res64: EDE0BCE928CED6EB Time : 0.0 sec. user=mdettweiler [2014-08-31 07:58:17] 827*2^1336688-1 is not prime. Res64: 3825FE12E9CB766A Time : 0.0 sec. user=mdettweiler [2014-08-31 08:02:34] 969*2^1336688-1 is not prime. Res64: D9226AABC9A72E47 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:02:35] 625*2^1336689-1 is not prime. Res64: 966FD3EDF1BC1F62 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:06:53] 639*2^1336689-1 is not prime. Res64: 2D15190EA5F1A49F Time : 0.0 sec. user=mdettweiler [2014-08-31 08:06:53] 745*2^1336689-1 is not prime. Res64: E0B9DBF105B3EE05 Time : 0.0 sec. user=vaughan [2014-08-31 08:07:18] 655*2^1336685-1 is not prime. Res64: 1A30DF191F03B356 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:11:31] 751*2^1336689-1 is not prime. Res64: FBDB5264DEB1F2E9 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:11:31] 795*2^1336689-1 is not prime. Res64: 4AF8FA829250AECF Time : 0.0 sec. user=vaughan [2014-08-31 08:24:17] 743*2^1336688-1 is not prime. Res64: C9F10ECECB3D7D23 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:24:24] 951*2^1336689-1 is not prime. Res64: C0D71113FB600FBE Time : 0.0 sec. user=mdettweiler [2014-08-31 08:24:25] 605*2^1336690-1 is not prime. Res64: 509965DBE869C88B Time : 0.0 sec. user=vaughan [2014-08-31 08:24:51] 759*2^1336687-1 is not prime. Res64: 304A7C505E938E7A Time : 0.0 sec. user=mdettweiler [2014-08-31 08:28:44] 623*2^1336690-1 is not prime. Res64: 8D696ABBC053CCD9 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:28:44] 717*2^1336690-1 is not prime. Res64: 63F4D628E68E8CD4 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:33:10] 747*2^1336690-1 is not prime. Res64: AF4D4E976DBBC080 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:33:10] 755*2^1336690-1 is not prime. Res64: CCA122EE7FB2AA22 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:37:45] 813*2^1336690-1 is not prime. Res64: CCB64876ABA67431 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:37:45] 857*2^1336690-1 is not prime. Res64: 4C7F80CB14F729F0 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:50:38] 945*2^1336690-1 is not prime. Res64: E69CA07AA7E2DC3C Time : 0.0 sec. user=mdettweiler [2014-08-31 08:50:38] 957*2^1336690-1 is not prime. Res64: D7AA3E89155E8E1F Time : 0.0 sec. user=mdettweiler [2014-08-31 08:55:00] 651*2^1336691-1 is not prime. Res64: D419E179E129D5FF Time : 0.0 sec. user=mdettweiler [2014-08-31 08:55:00] 675*2^1336691-1 is not prime. Res64: C8D63E0EDF5B3BC6 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:59:25] 759*2^1336691-1 is not prime. Res64: ABBC8C33362C8B73 Time : 0.0 sec. user=mdettweiler [2014-08-31 08:59:25] 813*2^1336691-1 is not prime. Res64: 030B106983868027 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:03:53] 823*2^1336691-1 is not prime. Res64: 73A6A6089AF1F121 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:03:54] 889*2^1336691-1 is not prime. Res64: EFD81223586DE5EC Time : 0.0 sec. user=vaughan [2014-08-31 09:13:07] 817*2^1336689-1 is not prime. Res64: 84356310AFBF8C9E Time : 0.0 sec. user=vaughan [2014-08-31 09:13:09] 765*2^1336690-1 is not prime. Res64: B2485DDF423CC152 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:16:44] 993*2^1336691-1 is not prime. Res64: 24433F20E0C7F60C Time : 0.0 sec. user=mdettweiler [2014-08-31 09:16:44] 665*2^1336692-1 is not prime. Res64: 71DCA94314BCD78E Time : 0.0 sec. user=mdettweiler [2014-08-31 09:21:10] 737*2^1336692-1 is not prime. Res64: 33C7B5D8CF5A6F10 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:21:10] 753*2^1336692-1 is not prime. Res64: 3DA2540F35CC8886 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:25:35] 825*2^1336692-1 is not prime. Res64: 2A41B9434B27A991 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:25:35] 879*2^1336692-1 is not prime. Res64: EA193C0828A33FCF Time : 0.0 sec. user=mdettweiler [2014-08-31 09:30:21] 893*2^1336692-1 is not prime. Res64: F111B46C2287E691 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:30:21] 625*2^1336693-1 is not prime. Res64: C80F410F6FB4B86A Time : 0.0 sec. user=vaughan [2014-08-31 09:32:29] 615*2^1336691-1 is not prime. Res64: B8ABB6CE7B9CD13D Time : 0.0 sec. user=mdettweiler [2014-08-31 09:43:00] 801*2^1336693-1 is not prime. Res64: 28B6768B7552BC8A Time : 0.0 sec. user=mdettweiler [2014-08-31 09:43:01] 855*2^1336693-1 is not prime. Res64: 7B969A0734DC2F36 Time : 0.0 sec. user=vaughan [2014-08-31 09:45:57] 873*2^1336690-1 is not prime. Res64: ED3C95DD15CE2D36 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:47:14] 861*2^1336693-1 is not prime. Res64: C474EBACF7F1F033 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:47:14] 889*2^1336693-1 is not prime. Res64: DEF9F57395B49BBC Time : 0.0 sec. user=mdettweiler [2014-08-31 09:51:50] 897*2^1336693-1 is not prime. Res64: 9E69EA47DE6EFEEA Time : 0.0 sec. user=mdettweiler [2014-08-31 09:51:50] 951*2^1336693-1 is not prime. Res64: 7328AEC0C8C345DD Time : 0.0 sec. user=mdettweiler [2014-08-31 09:56:28] 615*2^1336694-1 is not prime. Res64: 8A84619EFDA310F9 Time : 0.0 sec. user=mdettweiler [2014-08-31 09:56:28] 645*2^1336694-1 is not prime. Res64: 7B6C0FEEEEB04A11 Time : 0.0 sec. user=vaughan [2014-08-31 10:08:31] 765*2^1336693-1 is not prime. Res64: 70CFB898B8E0447B Time : 0.0 sec. user=mdettweiler [2014-08-31 10:09:09] 971*2^1336694-1 is not prime. Res64: 4FB72E92003300C2 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:09:09] 709*2^1336695-1 is not prime. Res64: 9C353540D2B25447 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:13:30] 781*2^1336695-1 is not prime. Res64: 62454D4B24207710 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:13:30] 795*2^1336695-1 is not prime. Res64: D15721280E98A1A9 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:17:55] 873*2^1336695-1 is not prime. Res64: 6A8C7609B4D5022E Time : 0.0 sec. user=mdettweiler [2014-08-31 10:17:55] 933*2^1336695-1 is not prime. Res64: 2B68D8F6459271AF Time : 0.0 sec. user=mdettweiler [2014-08-31 10:22:39] 623*2^1336696-1 is not prime. Res64: 26A5A449A233F0A4 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:22:39] 639*2^1336696-1 is not prime. Res64: B4B130B10E177BC2 Time : 0.0 sec. user=vaughan [2014-08-31 10:32:11] 687*2^1336693-1 is not prime. Res64: D9187142B1A80999 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:35:21] 785*2^1336696-1 is not prime. Res64: 81889D6D0CFAF57B Time : 0.0 sec. user=mdettweiler [2014-08-31 10:35:21] 857*2^1336696-1 is not prime. Res64: 3D18CDDC64BEE955 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:39:41] 905*2^1336696-1 is not prime. Res64: 6A878FF2D6AAE249 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:39:41] 601*2^1336697-1 is not prime. Res64: B9AF4ABA1A7900A4 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:44:13] 615*2^1336697-1 is not prime. Res64: 93A3865DA21CFEAD Time : 0.0 sec. user=mdettweiler [2014-08-31 10:44:13] 691*2^1336697-1 is not prime. Res64: CCFDAC652DE85DD7 Time : 0.0 sec. user=mdettweiler [2014-08-31 10:48:47] 717*2^1336697-1 is not prime. Res64: 200186DDE1379C8B Time : 0.0 sec. user=mdettweiler [2014-08-31 10:48:47] 729*2^1336697-1 is not prime. Res64: ED43D62C04BB5ABB Time : 0.0 sec. user=vaughan [2014-08-31 10:49:49] 731*2^1336694-1 is not prime. Res64: DC2D76F8A8F6DFD5 Time : 0.0 sec. user=vaughan [2014-08-31 10:58:24] 751*2^1336695-1 is not prime. Res64: B8BB4DDBD9D2A0C4 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:01:31] 771*2^1336697-1 is not prime. Res64: A41547A656011C20 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:01:32] 865*2^1336697-1 is not prime. Res64: 172441E2A2314EAA Time : 0.0 sec. user=mdettweiler [2014-08-31 11:05:52] 635*2^1336698-1 is not prime. Res64: 388A5B0DF706DB22 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:05:52] 641*2^1336698-1 is not prime. Res64: B4E0F83D3282F00B Time : 0.0 sec. user=mdettweiler [2014-08-31 11:10:23] 683*2^1336698-1 is not prime. Res64: E9DF5F003240D3F8 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:10:23] 695*2^1336698-1 is not prime. Res64: CF7AE0543B9FB0B2 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:14:57] 735*2^1336698-1 is not prime. Res64: 0A56147A07F91F4E Time : 0.0 sec. user=mdettweiler [2014-08-31 11:14:58] 755*2^1336698-1 is not prime. Res64: 2488D284B3EBAAA6 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:27:45] 893*2^1336698-1 is not prime. Res64: EF8D820278840746 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:27:45] 957*2^1336698-1 is not prime. Res64: D74BBC9318A57F70 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:32:03] 971*2^1336698-1 is not prime. Res64: 049A4D6A98F8DFF0 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:32:03] 977*2^1336698-1 is not prime. Res64: 9D1BAD2F53FFB5D6 Time : 0.0 sec. user=vaughan [2014-08-31 11:33:30] 747*2^1336697-1 is not prime. Res64: DC76E73F320E9D01 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:36:42] 765*2^1336699-1 is not prime. Res64: F23443AEE630205A Time : 0.0 sec. user=mdettweiler [2014-08-31 11:36:43] 885*2^1336699-1 is not prime. Res64: DD26A6F37B30DEED Time : 0.0 sec. user=mdettweiler [2014-08-31 11:41:18] 919*2^1336699-1 is not prime. Res64: 58008A3752401370 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:41:19] 609*2^1336700-1 is not prime. Res64: 783C26D174FCEFAE Time : 0.0 sec. user=mdettweiler [2014-08-31 11:54:01] 663*2^1336700-1 is not prime. Res64: D5E6945B62493BF9 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:54:01] 819*2^1336700-1 is not prime. Res64: BB4A775ACD32DA42 Time : 0.0 sec. user=vaughan [2014-08-31 11:55:32] 843*2^1336698-1 is not prime. Res64: B67CDD68217CD7DF Time : 0.0 sec. user=mdettweiler [2014-08-31 11:58:13] 983*2^1336700-1 is not prime. Res64: 6A5FC2F2FAC48483 Time : 0.0 sec. user=mdettweiler [2014-08-31 11:58:13] 987*2^1336700-1 is not prime. Res64: 9F99765E999DFD74 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:02:53] 741*2^1336701-1 is not prime. Res64: F1C92D3B633A3719 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:02:54] 795*2^1336701-1 is not prime. Res64: 43820AAE17D79FD8 Time : 0.0 sec. user=vaughan [2014-08-31 12:03:16] 885*2^1336698-1 is not prime. Res64: 0CA949A64524EDD7 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:07:30] 979*2^1336701-1 is not prime. Res64: 6B9CA7FA478BB311 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:07:31] 991*2^1336701-1 is not prime. Res64: 0AFDEBD886809238 Time : 0.0 sec. user=vaughan [2014-08-31 12:11:37] 693*2^1336696-1 is not prime. Res64: F3E83B08211D3521 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:20:09] 761*2^1336702-1 is not prime. Res64: F9DBEBBBC5CD6E58 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:20:09] 815*2^1336702-1 is not prime. Res64: 42D6F27F05DBB5F8 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:24:21] 885*2^1336702-1 is not prime. Res64: 25E78B5940FD41F1 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:24:21] 965*2^1336702-1 is not prime. Res64: 3C0870D0CD0E3243 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:28:59] 703*2^1336703-1 is not prime. Res64: A3B9E1A93F67034C Time : 0.0 sec. user=mdettweiler [2014-08-31 12:28:59] 729*2^1336703-1 is not prime. Res64: 629CDE4CEA57D2C7 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:33:41] 759*2^1336703-1 is not prime. Res64: FA0FC67E2AD57453 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:33:42] 895*2^1336703-1 is not prime. Res64: E33AF1B049D9C821 Time : 0.0 sec. user=vaughan [2014-08-31 12:34:31] 727*2^1336701-1 is not prime. Res64: 6531738DF92E834D Time : 0.0 sec. user=mdettweiler [2014-08-31 12:46:18] 955*2^1336703-1 is not prime. Res64: 95E2303D572218B9 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:46:18] 963*2^1336703-1 is not prime. Res64: D9BD62417382CEF3 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:50:35] 993*2^1336703-1 is not prime. Res64: FD6143228B0047D5 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:50:35] 635*2^1336704-1 is not prime. Res64: 898F96C6CA260D17 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:55:07] 705*2^1336704-1 is not prime. Res64: 34E9A2A8C91CB736 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:55:08] 753*2^1336704-1 is not prime. Res64: 535B04892094E6DA Time : 0.0 sec. user=mdettweiler [2014-08-31 12:59:57] 767*2^1336704-1 is not prime. Res64: 8E5B4CA8EC27BEB6 Time : 0.0 sec. user=mdettweiler [2014-08-31 12:59:57] 863*2^1336704-1 is not prime. Res64: 4957678EE8AAD5CB Time : 0.0 sec. user=vaughan [2014-08-31 13:01:02] 857*2^1336702-1 is not prime. Res64: 0BB841DC4849F8EC Time : 0.0 sec. user=vaughan [2014-08-31 13:07:50] 735*2^1336703-1 is not prime. Res64: 805B4E2D63B96FB9 Time : 0.0 sec. user=vaughan [2014-08-31 13:12:02] 913*2^1336703-1 is not prime. Res64: 872B03C51619C419 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:12:37] 917*2^1336704-1 is not prime. Res64: 87EA78E0B2F5A9FE Time : 0.0 sec. user=mdettweiler [2014-08-31 13:12:37] 947*2^1336704-1 is not prime. Res64: 66648769129761F3 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:16:47] 721*2^1336705-1 is not prime. Res64: 1C9F3C6B390C48D4 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:16:47] 727*2^1336705-1 is not prime. Res64: 43AE128E236C8036 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:21:19] 759*2^1336705-1 is not prime. Res64: B3B75611D2A0207B Time : 0.0 sec. user=mdettweiler [2014-08-31 13:21:19] 847*2^1336705-1 is not prime. Res64: BACD9B96998A9840 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:26:21] 871*2^1336705-1 is not prime. Res64: 1474B9C0A32D95D1 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:26:21] 909*2^1336705-1 is not prime. Res64: 89E71B8EACA6EBCD Time : 0.0 sec. user=mdettweiler [2014-08-31 13:38:51] 827*2^1336706-1 is not prime. Res64: 9D07C474502C58F5 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:38:51] 833*2^1336706-1 is not prime. Res64: A46E14867742274C Time : 0.0 sec. user=mdettweiler [2014-08-31 13:43:05] 873*2^1336706-1 is not prime. Res64: B85A523D4A859A77 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:43:05] 923*2^1336706-1 is not prime. Res64: EECF08485DE5696F Time : 0.0 sec. user=mdettweiler [2014-08-31 13:47:41] 935*2^1336706-1 is not prime. Res64: 42864C607A40F8A6 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:47:41] 945*2^1336706-1 is not prime. Res64: 426D7FB8ECDE2AC6 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:52:37] 957*2^1336706-1 is not prime. Res64: B5BEDABC006941B9 Time : 0.0 sec. user=mdettweiler [2014-08-31 13:52:37] 601*2^1336707-1 is not prime. Res64: B07A35F009BF188D Time : 0.0 sec. user=vaughan [2014-08-31 13:55:57] 925*2^1336705-1 is not prime. Res64: 18BD9CD6E373B2FE Time : 0.0 sec. user=vaughan [2014-08-31 14:02:10] 683*2^1336706-1 is not prime. Res64: 160013F8BAFEC9AB Time : 0.0 sec. user=vaughan [2014-08-31 14:02:13] 905*2^1336704-1 is not prime. Res64: 4CBCD231610F5FBB Time : 0.0 sec. user=mdettweiler [2014-08-31 14:05:13] 619*2^1336707-1 is not prime. Res64: 6F079DE644647BD8 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:05:14] 643*2^1336707-1 is not prime. Res64: 8AFAB659EFCE5970 Time : 0.0 sec. user=vaughan [2014-08-31 14:07:16] 743*2^1336706-1 is not prime. Res64: 1396386367FF373B Time : 0.0 sec. user=mdettweiler [2014-08-31 14:09:24] 669*2^1336707-1 is not prime. Res64: 9C0064AA8F19AFA9 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:09:25] 705*2^1336707-1 is not prime. Res64: A322D8ED8A9D58C2 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:14:08] 801*2^1336707-1 is not prime. Res64: 13C699DA30C2FB1E Time : 0.0 sec. user=mdettweiler [2014-08-31 14:14:08] 961*2^1336707-1 is not prime. Res64: 4C833C2F3059C32C Time : 0.0 sec. user=mdettweiler [2014-08-31 14:19:05] 687*2^1336708-1 is not prime. Res64: 585F27AD1DCD18FF Time : 0.0 sec. user=mdettweiler [2014-08-31 14:19:05] 869*2^1336708-1 is not prime. Res64: BA6F1A035E7261E9 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:31:33] 969*2^1336708-1 is not prime. Res64: 011DAD2E850E1086 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:31:33] 995*2^1336708-1 is not prime. Res64: 645E6C4E36737AB1 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:35:41] 787*2^1336709-1 is not prime. Res64: 77AF6AD6E25083F6 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:35:41] 847*2^1336709-1 is not prime. Res64: 5830289290FDA9F6 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:40:21] 861*2^1336709-1 is not prime. Res64: E25C9A002A1FCAAD Time : 0.0 sec. user=mdettweiler [2014-08-31 14:40:22] 939*2^1336709-1 is not prime. Res64: 1BA2C298A42884DC Time : 0.0 sec. user=mdettweiler [2014-08-31 14:45:28] 747*2^1336710-1 is not prime. Res64: E451918D43B6CA8C Time : 0.0 sec. user=mdettweiler [2014-08-31 14:45:28] 791*2^1336710-1 is not prime. Res64: C543644371DB7234 Time : 0.0 sec. user=vaughan [2014-08-31 14:51:10] 875*2^1336708-1 is not prime. Res64: 41A6619721BF5507 Time : 0.0 sec. user=mdettweiler [2014-08-31 14:57:48] 797*2^1336710-1 is not prime. Res64: 33E10A228DF007AF Time : 0.0 sec. user=mdettweiler [2014-08-31 14:57:48] 945*2^1336710-1 is not prime. Res64: 2D3FE9D5C8274E5C Time : 0.0 sec. user=vaughan [2014-08-31 14:58:18] 887*2^1336708-1 is not prime. Res64: BEDB2C4917461806 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:02:02] 705*2^1336711-1 is not prime. Res64: 0CC6627AC0F87F38 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:02:02] 665*2^1336712-1 is not prime. Res64: 1CE0ABF4B5B8E145 Time : 0.0 sec. user=vaughan [2014-08-31 15:03:40] 771*2^1336709-1 is not prime. Res64: F822668C70FF18B6 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:06:38] 669*2^1336712-1 is not prime. Res64: 586B7FD36C0ECB0C Time : 0.0 sec. user=mdettweiler [2014-08-31 15:06:38] 717*2^1336712-1 is not prime. Res64: CCDEC72453F3B242 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:11:50] 735*2^1336712-1 is not prime. Res64: DC6B127604F4911A Time : 0.0 sec. user=mdettweiler [2014-08-31 15:11:50] 759*2^1336712-1 is not prime. Res64: 2CE91A64368FFB07 Time : 0.0 sec. user=vaughan [2014-08-31 15:12:55] 923*2^1336708-1 is not prime. Res64: DC2AD6071A826093 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:23:58] 957*2^1336712-1 is not prime. Res64: 0822E9D7D3B2160E Time : 0.0 sec. user=mdettweiler [2014-08-31 15:23:59] 977*2^1336712-1 is not prime. Res64: 35BA0CB74552118B Time : 0.0 sec. user=mdettweiler [2014-08-31 15:28:10] 847*2^1336713-1 is not prime. Res64: 06BB95B1AE80D53E Time : 0.0 sec. user=mdettweiler [2014-08-31 15:28:10] 991*2^1336713-1 is not prime. Res64: 89048C2ED75A1C1F Time : 0.0 sec. user=mdettweiler [2014-08-31 15:32:43] 665*2^1336714-1 is not prime. Res64: B8A5D68426801EBA Time : 0.0 sec. user=mdettweiler [2014-08-31 15:32:44] 701*2^1336714-1 is not prime. Res64: 35EBC14852784495 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:38:51] 773*2^1336714-1 is not prime. Res64: B8C2C575E805437E Time : 0.0 sec. user=mdettweiler [2014-08-31 15:38:51] 981*2^1336714-1 is not prime. Res64: 9A977BF2E9533887 Time : 0.0 sec. user=vaughan [2014-08-31 15:43:46] 915*2^1336712-1 is not prime. Res64: A7492723CD3BDE1D Time : 0.0 sec. user=vaughan [2014-08-31 15:49:43] 705*2^1336713-1 is not prime. Res64: 8CC3719BF1AF406D Time : 0.0 sec. user=vaughan [2014-08-31 15:52:52] 605*2^1336714-1 is not prime. Res64: 462C4DC028D6271A Time : 0.0 sec. user=mdettweiler [2014-08-31 15:53:24] 991*2^1336715-1 is not prime. Res64: 2CDC0CE8E46F7A52 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:53:24] 635*2^1336716-1 is not prime. Res64: 0AB8FC9D15A43197 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:58:40] 669*2^1336716-1 is not prime. Res64: AAB9D42D6080E444 Time : 0.0 sec. user=mdettweiler [2014-08-31 15:58:41] 689*2^1336716-1 is not prime. Res64: 851900C25BC37A05 Time : 0.0 sec. user=vaughan [2014-08-31 16:02:16] 609*2^1336715-1 is not prime. Res64: B006DE18CA989F25 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:03:56] 735*2^1336716-1 is not prime. Res64: DB29CFDC56D98D92 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:03:57] 825*2^1336716-1 is not prime. Res64: 932F8E20E5032A80 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:09:58] 845*2^1336716-1 is not prime. Res64: 68417FA9EEAD0CFD Time : 0.0 sec. user=mdettweiler [2014-08-31 16:09:58] 619*2^1336717-1 is not prime. Res64: FADBC25F9C62CEE2 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:24:10] 635*2^1336718-1 is not prime. Res64: 50D9C5CA1CC457AB Time : 0.0 sec. user=mdettweiler [2014-08-31 16:24:10] 683*2^1336718-1 is not prime. Res64: 7D8F83FEEE26B9D1 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:29:42] 711*2^1336718-1 is not prime. Res64: 997D2AACCB63DEA0 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:29:43] 743*2^1336718-1 is not prime. Res64: 1AE85B74C694AD73 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:35:11] 773*2^1336718-1 is not prime. Res64: ADB11BD52CFEE0B7 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:35:11] 843*2^1336718-1 is not prime. Res64: 4062B652463C20D1 Time : 0.0 sec. user=vaughan [2014-08-31 16:36:42] 937*2^1336717-1 is not prime. Res64: CD1BE072DF70429C Time : 0.0 sec. user=mdettweiler [2014-08-31 16:41:17] 897*2^1336718-1 is not prime. Res64: 59CD979DFBF94331 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:41:18] 971*2^1336718-1 is not prime. Res64: C448D73BD346C77E Time : 0.0 sec. user=vaughan [2014-08-31 16:41:45] 939*2^1336717-1 is not prime. Res64: DA4A094A56986B60 Time : 0.0 sec. user=vaughan [2014-08-31 16:43:40] 623*2^1336718-1 is not prime. Res64: F5F2D98A97F1A1F8 Time : 0.0 sec. user=vaughan [2014-08-31 16:52:51] 761*2^1336718-1 is not prime. Res64: 26218041F091F124 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:55:46] 663*2^1336719-1 is not prime. Res64: C80E2D1215956B07 Time : 0.0 sec. user=mdettweiler [2014-08-31 16:55:46] 763*2^1336719-1 is not prime. Res64: 1D76D51E0C08F6DB Time : 0.0 sec. user=mdettweiler [2014-08-31 17:02:04] 769*2^1336719-1 is not prime. Res64: EF19791CB03A2F8E Time : 0.0 sec. user=mdettweiler [2014-08-31 17:02:06] 825*2^1336719-1 is not prime. Res64: 4CEDB0DDD19CAD26 Time : 0.0 sec. user=mdettweiler [2014-08-31 17:09:03] 999*2^1336719-1 is not prime. Res64: C016DD11558BF4A3 Time : 0.0 sec. user=mdettweiler [2014-08-31 17:09:04] 609*2^1336720-1 is not prime. Res64: 111DF13304ABA97D Time : 0.0 sec. user=mdettweiler [2014-08-31 17:15:57] 843*2^1336720-1 is not prime. Res64: 7ED689D15C7C42AC Time : 0.0 sec. user=mdettweiler [2014-08-31 17:15:57] 927*2^1336720-1 is not prime. Res64: E9D7E9354E643DB4 Time : 0.0 sec. user=vaughan [2014-08-31 17:28:35] 773*2^1336720-1 is not prime. Res64: 6D387C72B32A3D2A Time : 0.0 sec. user=mdettweiler [2014-08-31 17:30:04] 685*2^1336721-1 is not prime. Res64: A6BA3D5F4D986BDD Time : 0.0 sec. user=mdettweiler [2014-08-31 17:30:04] 717*2^1336721-1 is not prime. Res64: 49B088D7245A1A04 Time : 0.0 sec. user=vaughan [2014-08-31 17:34:32] 959*2^1336720-1 is not prime. Res64: AB51676C7F11EC41 Time : 0.0 sec. user=mdettweiler [2014-08-31 17:34:34] 889*2^1336721-1 is not prime. Res64: A13E95E211DC1ED1 Time : 0.0 sec. user=mdettweiler [2014-08-31 17:34:34] 651*2^1336722-1 is not prime. Res64: 76DA221E0937632A Time : 0.0 sec. user=vaughan [2014-08-31 17:35:07] 999*2^1336720-1 is not prime. Res64: FE6CED453AD4532A Time : 0.0 sec. user=mdettweiler [2014-08-31 17:40:29] 653*2^1336722-1 is not prime. Res64: E6D83C1B97C43512 Time : 0.0 sec. user=mdettweiler [2014-08-31 17:40:29] 725*2^1336722-1 is not prime. Res64: 747C9CD83A0AE64C Time : 0.0 sec. user=mdettweiler [2014-08-31 17:45:10] 791*2^1336722-1 is not prime. Res64: F75F3E570131EFFC Time : 0.0 sec. user=mdettweiler [2014-08-31 17:45:10] 837*2^1336722-1 is not prime. Res64: D2891C91E72092ED Time : 0.0 sec. user=vaughan [2014-08-31 17:46:59] 601*2^1336721-1 is not prime. Res64: 85EFD2E01AA4C96A Time : 0.0 sec. user=mdettweiler [2014-08-31 17:57:04] 603*2^1336723-1 is not prime. Res64: 6C1ACB8284ADB6CB Time : 0.0 sec. user=mdettweiler [2014-08-31 17:57:05] 705*2^1336723-1 is not prime. Res64: 0BBD8A67AF4CED8A Time : 0.0 sec. user=mdettweiler [2014-08-31 18:01:33] 783*2^1336723-1 is not prime. Res64: E24A9EC485D7F146 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:01:34] 819*2^1336723-1 is not prime. Res64: 91273A0E615DF8C8 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:07:22] 901*2^1336723-1 is not prime. Res64: 3D73B84284FE0240 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:07:22] 919*2^1336723-1 is not prime. Res64: DEC1E70F2A2FE617 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:11:59] 945*2^1336723-1 is not prime. Res64: FF6470BC4608DF46 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:11:59] 951*2^1336723-1 is not prime. Res64: 8F1D261A380F1445 Time : 0.0 sec. user=vaughan [2014-08-31 18:19:54] 963*2^1336722-1 is not prime. Res64: A40F5D392A7307B1 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:24:09] 785*2^1336724-1 is not prime. Res64: B33A5342EC1A0B30 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:24:09] 875*2^1336724-1 is not prime. Res64: E8BCC909C3642AE0 Time : 0.0 sec. user=vaughan [2014-08-31 18:25:59] 835*2^1336723-1 is not prime. Res64: E809C712E1A61374 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:28:37] 885*2^1336724-1 is not prime. Res64: E3784E939152133D Time : 0.0 sec. user=mdettweiler [2014-08-31 18:28:37] 903*2^1336724-1 is not prime. Res64: F9661A3E72797D06 Time : 0.0 sec. user=vaughan [2014-08-31 18:29:36] 709*2^1336723-1 is not prime. Res64: AD5B6C558958E6FC Time : 0.0 sec. user=mdettweiler [2014-08-31 18:34:27] 923*2^1336724-1 is not prime. Res64: 1C176D12CACA841D Time : 0.0 sec. user=mdettweiler [2014-08-31 18:34:27] 945*2^1336724-1 is not prime. Res64: ECBD45A6C0030DC6 Time : 0.0 sec. user=vaughan [2014-08-31 18:37:17] 689*2^1336724-1 is not prime. Res64: 7CEE58706FBB2353 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:39:11] 649*2^1336725-1 is not prime. Res64: 1307BAC44A7BBA85 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:39:11] 679*2^1336725-1 is not prime. Res64: 97BE61CB3B8BAA4C Time : 0.0 sec. user=mdettweiler [2014-08-31 18:50:56] 817*2^1336725-1 is not prime. Res64: 428EE37167D52E4A Time : 0.0 sec. user=mdettweiler [2014-08-31 18:50:56] 837*2^1336725-1 is not prime. Res64: B972EB4ED2BCD580 Time : 0.0 sec. user=mdettweiler [2014-08-31 18:55:16] 867*2^1336725-1 is not prime. Res64: 802B0923675A9F8B Time : 0.0 sec. user=mdettweiler [2014-08-31 18:55:16] 895*2^1336725-1 is not prime. Res64: 079F9D3A144D5CE9 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:01:08] 677*2^1336726-1 is not prime. Res64: D4D7F2BF6247343E Time : 0.0 sec. user=mdettweiler [2014-08-31 19:01:09] 737*2^1336726-1 is not prime. Res64: 679166DA30236552 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:05:48] 923*2^1336726-1 is not prime. Res64: E62C1FCBA5474D84 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:05:49] 673*2^1336727-1 is not prime. Res64: 6ADEA5FF43F9D0F4 Time : 0.0 sec. user=vaughan [2014-08-31 19:14:20] 751*2^1336725-1 is not prime. Res64: 70930BFA7C920AD7 Time : 0.0 sec. user=vaughan [2014-08-31 19:17:19] 859*2^1336725-1 is not prime. Res64: 30DDE13BF14018F8 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:17:24] 675*2^1336727-1 is not prime. Res64: 7D2A04DFB9D155CB Time : 0.0 sec. user=mdettweiler [2014-08-31 19:17:24] 819*2^1336727-1 is not prime. Res64: FC4083BC3DD41EE6 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:21:39] 865*2^1336727-1 is not prime. Res64: 4E7236109D6C305C Time : 0.0 sec. user=mdettweiler [2014-08-31 19:21:40] 979*2^1336727-1 is not prime. Res64: 03475F99DF4446B9 Time : 0.0 sec. user=vaughan [2014-08-31 19:23:49] 955*2^1336725-1 is not prime. Res64: 01276E999CB23374 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:27:40] 635*2^1336728-1 is not prime. Res64: 9992BC73AC2520DD Time : 0.0 sec. user=mdettweiler [2014-08-31 19:27:40] 797*2^1336728-1 is not prime. Res64: D6B95AA4D0ACA62F Time : 0.0 sec. user=vaughan [2014-08-31 19:28:43] 783*2^1336726-1 is not prime. Res64: 7B5FAE0904A4363A Time : 0.0 sec. user=mdettweiler [2014-08-31 19:32:28] 839*2^1336728-1 is not prime. Res64: 8667928AD99A0674 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:32:28] 927*2^1336728-1 is not prime. Res64: CB9E013D1141D3CA Time : 0.0 sec. user=mdettweiler [2014-08-31 19:45:14] 639*2^1336729-1 is not prime. Res64: CD4772C58FB8B1E9 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:45:14] 675*2^1336729-1 is not prime. Res64: 922760EFBFD33554 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:49:15] 799*2^1336729-1 is not prime. Res64: 8BD149BBD45CA616 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:49:15] 877*2^1336729-1 is not prime. Res64: 17D42FE3F190432C Time : 0.0 sec. user=mdettweiler [2014-08-31 19:55:21] 997*2^1336729-1 is not prime. Res64: BB280E18C39F8D7D Time : 0.0 sec. user=mdettweiler [2014-08-31 19:55:22] 641*2^1336730-1 is not prime. Res64: 40EE0A7E850C491D Time : 0.0 sec. user=mdettweiler [2014-08-31 19:59:52] 677*2^1336730-1 is not prime. Res64: 764887774975A2F5 Time : 0.0 sec. user=mdettweiler [2014-08-31 19:59:52] 743*2^1336730-1 is not prime. Res64: 7F2AC16741BEB7DA Time : 0.0 sec. user=vaughan [2014-08-31 20:08:54] 929*2^1336728-1 is not prime. Res64: 71A41097F794D5F8 Time : 0.0 sec. user=vaughan [2014-08-31 20:10:19] 609*2^1336729-1 is not prime. Res64: 36CFBBC9D04CDDA5 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:11:39] 791*2^1336730-1 is not prime. Res64: 079A5597C2DFD545 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:11:40] 851*2^1336730-1 is not prime. Res64: 46FBE279174A0210 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:15:43] 615*2^1336731-1 is not prime. Res64: C9F0E6E6851AEE70 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:15:43] 849*2^1336731-1 is not prime. Res64: 74524201154E571C Time : 0.0 sec. user=vaughan [2014-08-31 20:18:12] 979*2^1336729-1 is not prime. Res64: CC10347D2923A311 Time : 0.0 sec. user=vaughan [2014-08-31 20:21:13] 665*2^1336730-1 is not prime. Res64: 3E5539BBB29406A7 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:21:46] 955*2^1336731-1 is not prime. Res64: 8EC0F9925A491653 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:21:46] 635*2^1336732-1 is not prime. Res64: F380DD584FE4BD48 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:26:23] 675*2^1336732-1 is not prime. Res64: 5C84A833924A8FF5 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:26:23] 689*2^1336732-1 is not prime. Res64: 86BBDFC838E28F46 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:38:05] 813*2^1336732-1 is not prime. Res64: 42951B752ED319D5 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:38:05] 827*2^1336732-1 is not prime. Res64: B74698FB83FC9A31 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:42:08] 855*2^1336732-1 is not prime. Res64: 655CA88E9BEA64B8 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:42:09] 875*2^1336732-1 is not prime. Res64: E4D56FD2C971D60E Time : 0.0 sec. user=mdettweiler [2014-08-31 20:48:09] 915*2^1336732-1 is not prime. Res64: E9A63214F73A8ADA Time : 0.0 sec. user=mdettweiler [2014-08-31 20:48:09] 939*2^1336732-1 is not prime. Res64: A8D8D50BA0759DD7 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:52:52] 631*2^1336733-1 is not prime. Res64: 65C71EEC4E7517D6 Time : 0.0 sec. user=mdettweiler [2014-08-31 20:52:52] 729*2^1336733-1 is not prime. Res64: 55F270FA4330AB21 Time : 0.0 sec. user=vaughan [2014-08-31 21:01:52] 777*2^1336732-1 is not prime. Res64: BDD252BA1BA3D171 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:04:39] 757*2^1336733-1 is not prime. Res64: 1D274AEA788D85E3 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:04:40] 859*2^1336733-1 is not prime. Res64: 7C0132660FED80DB Time : 0.0 sec. user=vaughan [2014-08-31 21:04:41] 719*2^1336732-1 is not prime. Res64: 6F897DBBFB292CD6 Time : 0.0 sec. user=vaughan [2014-08-31 21:07:45] 899*2^1336732-1 is not prime. Res64: 8BA67D9263DB3285 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:08:47] 871*2^1336733-1 is not prime. Res64: 5D4917CFE2DEE031 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:08:48] 879*2^1336733-1 is not prime. Res64: 2B3155520C8B9D9B Time : 0.0 sec. user=vaughan [2014-08-31 21:14:08] 903*2^1336732-1 is not prime. Res64: B4C01D65B08454B7 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:14:43] 901*2^1336733-1 is not prime. Res64: 9114BDFE0B57D296 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:14:44] 927*2^1336733-1 is not prime. Res64: 9A2E8A7996025EF3 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:19:22] 893*2^1336734-1 is not prime. Res64: FCDD6200E02B3221 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:19:22] 957*2^1336734-1 is not prime. Res64: 29F7E30AF30482C6 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:31:08] 619*2^1336735-1 is not prime. Res64: AD77108C7DE64F9A Time : 0.0 sec. user=mdettweiler [2014-08-31 21:31:08] 661*2^1336735-1 is not prime. Res64: B40399464A90EB27 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:35:20] 633*2^1336736-1 is not prime. Res64: DE04294B8D0E054C Time : 0.0 sec. user=mdettweiler [2014-08-31 21:35:20] 743*2^1336736-1 is not prime. Res64: 4C6FA0C8B420DE6F Time : 0.0 sec. user=mdettweiler [2014-08-31 21:41:09] 857*2^1336736-1 is not prime. Res64: 5499843EA18A1434 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:41:09] 875*2^1336736-1 is not prime. Res64: 86F123A677E99AF0 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:45:53] 903*2^1336736-1 is not prime. Res64: 16C7531595FF31C3 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:45:53] 637*2^1336737-1 is not prime. Res64: 9CC90D496A2291F2 Time : 0.0 sec. user=vaughan [2014-08-31 21:53:27] 993*2^1336734-1 is not prime. Res64: E5466CC2FE9E955F Time : 0.0 sec. user=vaughan [2014-08-31 21:54:41] 805*2^1336735-1 is not prime. Res64: 61DB83956A61BB25 Time : 0.0 sec. user=mdettweiler [2014-08-31 21:57:29] 675*2^1336737-1 is not prime. Res64: A2E6D2EF0E421BCB Time : 0.0 sec. user=mdettweiler [2014-08-31 21:57:29] 611*2^1336738-1 is not prime. Res64: BCF416E1D5AF677F Time : 0.0 sec. user=vaughan [2014-08-31 21:59:36] 909*2^1336735-1 is not prime. Res64: CAE96CFFA1EB452D Time : 0.0 sec. user=mdettweiler [2014-08-31 22:01:53] 663*2^1336738-1 is not prime. Res64: 77E02797FEFC3143 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:01:53] 677*2^1336738-1 is not prime. Res64: 6E1102658A7D501F Time : 0.0 sec. user=vaughan [2014-08-31 22:05:48] 839*2^1336736-1 is not prime. Res64: C96367C5C16E8CF4 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:07:34] 735*2^1336738-1 is not prime. Res64: 2CACEE0A969317FD Time : 0.0 sec. user=mdettweiler [2014-08-31 22:07:34] 601*2^1336739-1 is not prime. Res64: 815907939EB4A37A Time : 0.0 sec. user=mdettweiler [2014-08-31 22:12:15] 643*2^1336739-1 is not prime. Res64: 1C53579EAD8A2A51 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:12:15] 685*2^1336739-1 is not prime. Res64: B190D46C054DFB49 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:23:49] 771*2^1336739-1 is not prime. Res64: 000FD772214DABA9 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:23:49] 775*2^1336739-1 is not prime. Res64: 23C9C5332E1366D6 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:28:12] 853*2^1336739-1 is not prime. Res64: 56286BBB2AC7165D Time : 0.0 sec. user=mdettweiler [2014-08-31 22:28:13] 931*2^1336739-1 is not prime. Res64: 739E160B8963A864 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:33:58] 767*2^1336740-1 is not prime. Res64: 1B5A37E0FE0B3155 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:33:58] 825*2^1336740-1 is not prime. Res64: 3537F3D2BCF9ABC9 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:38:31] 839*2^1336740-1 is not prime. Res64: 3B53469F6CEBC253 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:38:31] 843*2^1336740-1 is not prime. Res64: 66D8491C18A0118C Time : 0.0 sec. user=vaughan [2014-08-31 22:46:00] 693*2^1336739-1 is not prime. Res64: D36996BBDC401DDF Time : 0.0 sec. user=vaughan [2014-08-31 22:46:06] 735*2^1336739-1 is not prime. Res64: 0B70F56F0A25F591 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:50:12] 863*2^1336740-1 is not prime. Res64: 14977A99C5DAE96E Time : 0.0 sec. user=mdettweiler [2014-08-31 22:50:12] 927*2^1336740-1 is not prime. Res64: E43B4A011FE9A691 Time : 0.0 sec. user=vaughan [2014-08-31 22:51:09] 843*2^1336739-1 is not prime. Res64: C81ADF5A42A08F53 Time : 0.0 sec. user=mdettweiler [2014-08-31 22:54:25] 965*2^1336740-1 is not prime. Res64: AD921D25CF5422CE Time : 0.0 sec. user=mdettweiler [2014-08-31 22:54:25] 651*2^1336741-1 is not prime. Res64: 155EE9E6FFB4772A Time : 0.0 sec. user=vaughan [2014-08-31 22:59:30] 615*2^1336740-1 is not prime. Res64: 0540D640096D16C2 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:00:11] 751*2^1336741-1 is not prime. Res64: 11AB35EAB4F42042 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:00:11] 825*2^1336741-1 is not prime. Res64: 85971932F880F0A7 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:04:51] 855*2^1336741-1 is not prime. Res64: 1925C51B6D0826E7 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:04:52] 931*2^1336741-1 is not prime. Res64: 910D5EA23B65638C Time : 0.0 sec. user=mdettweiler [2014-08-31 23:16:27] 711*2^1336742-1 is not prime. Res64: D710CC6E035574DB Time : 0.0 sec. user=mdettweiler [2014-08-31 23:16:27] 797*2^1336742-1 is not prime. Res64: CCC0FEF53765FBB7 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:20:43] 893*2^1336742-1 is not prime. Res64: 7665F7254292A323 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:20:44] 911*2^1336742-1 is not prime. Res64: 73956BC7114FD237 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:26:39] 613*2^1336743-1 is not prime. Res64: BAB5B569D133DF29 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:26:39] 639*2^1336743-1 is not prime. Res64: 87136FF071875576 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:31:20] 723*2^1336743-1 is not prime. Res64: 67E16F6A36D571E7 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:31:20] 775*2^1336743-1 is not prime. Res64: 5270208203CED179 Time : 0.0 sec. user=vaughan [2014-08-31 23:38:42] 937*2^1336741-1 is not prime. Res64: 4C7B5703D87A6591 Time : 0.0 sec. user=vaughan [2014-08-31 23:40:07] 979*2^1336741-1 is not prime. Res64: 876F036D58FC5D11 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:43:04] 793*2^1336743-1 is not prime. Res64: C14486A82BC78FCD Time : 0.0 sec. user=mdettweiler [2014-08-31 23:43:04] 933*2^1336743-1 is not prime. Res64: 48461362A68F65B8 Time : 0.0 sec. user=vaughan [2014-08-31 23:44:15] 831*2^1336742-1 is not prime. Res64: 52361EDE14E6C317 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:47:04] 943*2^1336743-1 is not prime. Res64: B73026BFA952C66F Time : 0.0 sec. user=mdettweiler [2014-08-31 23:47:05] 605*2^1336744-1 is not prime. Res64: 6CA4F7B4B5ECD52C Time : 0.0 sec. user=vaughan [2014-08-31 23:51:52] 981*2^1336742-1 is not prime. Res64: E5CE7150A461EE84 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:53:02] 609*2^1336744-1 is not prime. Res64: E056F263BDF50D7B Time : 0.0 sec. user=mdettweiler [2014-08-31 23:53:03] 615*2^1336744-1 is not prime. Res64: AE4100EC7ECE5EB0 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:57:49] 639*2^1336744-1 is not prime. Res64: 1E889E7F983941C6 Time : 0.0 sec. user=mdettweiler [2014-08-31 23:57:49] 705*2^1336744-1 is not prime. Res64: A6FFE04CACA3A40E Time : 0.0 sec.